| // Copyright 2015, VIXL authors |
| // All rights reserved. |
| // |
| // Redistribution and use in source and binary forms, with or without |
| // modification, are permitted provided that the following conditions are met: |
| // |
| // * Redistributions of source code must retain the above copyright notice, |
| // this list of conditions and the following disclaimer. |
| // * Redistributions in binary form must reproduce the above copyright notice, |
| // this list of conditions and the following disclaimer in the documentation |
| // and/or other materials provided with the distribution. |
| // * Neither the name of ARM Limited nor the names of its contributors may be |
| // used to endorse or promote products derived from this software without |
| // specific prior written permission. |
| // |
| // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND |
| // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED |
| // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE |
| // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE |
| // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL |
| // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR |
| // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER |
| // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, |
| // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| |
| |
| // --------------------------------------------------------------------- |
| // This file is auto generated using tools/generate_simulator_traces.py. |
| // |
| // PLEASE DO NOT EDIT. |
| // --------------------------------------------------------------------- |
| |
| #ifndef VIXL_SIM_FDIV_H_TRACE_AARCH64_H_ |
| #define VIXL_SIM_FDIV_H_TRACE_AARCH64_H_ |
| |
| const uint16_t kExpected_fdiv_h[] = { |
| 0x7e00, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x7e00, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x7c00, |
| 0x3c00, |
| 0x0801, |
| 0x0800, |
| 0x07fe, |
| 0x0401, |
| 0x0400, |
| 0x03ff, |
| 0x02ab, |
| 0x0066, |
| 0x0000, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x531c, |
| 0x3c01, |
| 0x6400, |
| 0xfc00, |
| 0xbc00, |
| 0x8801, |
| 0x8800, |
| 0x87fe, |
| 0x8401, |
| 0x8400, |
| 0x83ff, |
| 0x82ab, |
| 0x8066, |
| 0x8000, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xd31c, |
| 0xbc01, |
| 0xe400, |
| 0x7c00, |
| 0x6fff, |
| 0x3c00, |
| 0x3bff, |
| 0x3bfd, |
| 0x3800, |
| 0x37ff, |
| 0x37fd, |
| 0x3555, |
| 0x2a66, |
| 0x0080, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7001, |
| 0x7c00, |
| 0xfc00, |
| 0xefff, |
| 0xbc00, |
| 0xbbff, |
| 0xbbfd, |
| 0xb800, |
| 0xb7ff, |
| 0xb7fd, |
| 0xb555, |
| 0xaa66, |
| 0x8080, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xf001, |
| 0xfc00, |
| 0x7c00, |
| 0x7000, |
| 0x3c01, |
| 0x3c00, |
| 0x3bfe, |
| 0x3801, |
| 0x3800, |
| 0x37fe, |
| 0x3555, |
| 0x2a66, |
| 0x0080, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7001, |
| 0x7c00, |
| 0xfc00, |
| 0xf000, |
| 0xbc01, |
| 0xbc00, |
| 0xbbfe, |
| 0xb801, |
| 0xb800, |
| 0xb7fe, |
| 0xb555, |
| 0xaa66, |
| 0x8080, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xf001, |
| 0xfc00, |
| 0x7c00, |
| 0x7001, |
| 0x3c02, |
| 0x3c01, |
| 0x3c00, |
| 0x3802, |
| 0x3801, |
| 0x3800, |
| 0x3557, |
| 0x2a68, |
| 0x0080, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7002, |
| 0x7c00, |
| 0xfc00, |
| 0xf001, |
| 0xbc02, |
| 0xbc01, |
| 0xbc00, |
| 0xb802, |
| 0xb801, |
| 0xb800, |
| 0xb557, |
| 0xaa68, |
| 0x8080, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xf002, |
| 0xfc00, |
| 0x7c00, |
| 0x73ff, |
| 0x4000, |
| 0x3fff, |
| 0x3ffd, |
| 0x3c00, |
| 0x3bff, |
| 0x3bfd, |
| 0x3955, |
| 0x2e66, |
| 0x0100, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7401, |
| 0x7c00, |
| 0xfc00, |
| 0xf3ff, |
| 0xc000, |
| 0xbfff, |
| 0xbffd, |
| 0xbc00, |
| 0xbbff, |
| 0xbbfd, |
| 0xb955, |
| 0xae66, |
| 0x8100, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xf401, |
| 0xfc00, |
| 0x7c00, |
| 0x7400, |
| 0x4001, |
| 0x4000, |
| 0x3ffe, |
| 0x3c01, |
| 0x3c00, |
| 0x3bfe, |
| 0x3955, |
| 0x2e66, |
| 0x0100, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7401, |
| 0x7c00, |
| 0xfc00, |
| 0xf400, |
| 0xc001, |
| 0xc000, |
| 0xbffe, |
| 0xbc01, |
| 0xbc00, |
| 0xbbfe, |
| 0xb955, |
| 0xae66, |
| 0x8100, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xf401, |
| 0xfc00, |
| 0x7c00, |
| 0x7401, |
| 0x4002, |
| 0x4001, |
| 0x4000, |
| 0x3c02, |
| 0x3c01, |
| 0x3c00, |
| 0x3957, |
| 0x2e68, |
| 0x0100, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7402, |
| 0x7c00, |
| 0xfc00, |
| 0xf401, |
| 0xc002, |
| 0xc001, |
| 0xc000, |
| 0xbc02, |
| 0xbc01, |
| 0xbc00, |
| 0xb957, |
| 0xae68, |
| 0x8100, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xf402, |
| 0xfc00, |
| 0x7c00, |
| 0x7600, |
| 0x4201, |
| 0x4200, |
| 0x41ff, |
| 0x3e01, |
| 0x3e00, |
| 0x3dff, |
| 0x3c00, |
| 0x30cd, |
| 0x0180, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7602, |
| 0x7c00, |
| 0xfc00, |
| 0xf600, |
| 0xc201, |
| 0xc200, |
| 0xc1ff, |
| 0xbe01, |
| 0xbe00, |
| 0xbdff, |
| 0xbc00, |
| 0xb0cd, |
| 0x8180, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xf602, |
| 0xfc00, |
| 0x7c00, |
| 0x7c00, |
| 0x4d01, |
| 0x4d00, |
| 0x4cff, |
| 0x4901, |
| 0x4900, |
| 0x48ff, |
| 0x46ab, |
| 0x3c00, |
| 0x0901, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0xfc00, |
| 0xfc00, |
| 0xcd01, |
| 0xcd00, |
| 0xccff, |
| 0xc901, |
| 0xc900, |
| 0xc8ff, |
| 0xc6ab, |
| 0xbc00, |
| 0x8901, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7bff, |
| 0x7bfd, |
| 0x7955, |
| 0x6e66, |
| 0x3c00, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfbff, |
| 0xfbfd, |
| 0xf955, |
| 0xee66, |
| 0xbc00, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7e00, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0x7e00, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7e01, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0xff23, |
| 0xfe01, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0xff23, |
| 0xfe01, |
| 0x7e00, |
| 0x7e00, |
| 0x7e00, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7f23, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7e01, |
| 0x7c00, |
| 0x2480, |
| 0x0024, |
| 0x0024, |
| 0x0024, |
| 0x0012, |
| 0x0012, |
| 0x0012, |
| 0x000c, |
| 0x0002, |
| 0x0000, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x3c00, |
| 0x2481, |
| 0x4c80, |
| 0xfc00, |
| 0xa480, |
| 0x8024, |
| 0x8024, |
| 0x8024, |
| 0x8012, |
| 0x8012, |
| 0x8012, |
| 0x800c, |
| 0x8002, |
| 0x8000, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xbc00, |
| 0xa481, |
| 0xcc80, |
| 0x7c00, |
| 0x3bfe, |
| 0x07ff, |
| 0x07fe, |
| 0x07fc, |
| 0x03ff, |
| 0x03ff, |
| 0x03fe, |
| 0x02aa, |
| 0x0066, |
| 0x0000, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x531b, |
| 0x3c00, |
| 0x63fe, |
| 0xfc00, |
| 0xbbfe, |
| 0x87ff, |
| 0x87fe, |
| 0x87fc, |
| 0x83ff, |
| 0x83ff, |
| 0x83fe, |
| 0x82aa, |
| 0x8066, |
| 0x8000, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xd31b, |
| 0xbc00, |
| 0xe3fe, |
| 0x7c00, |
| 0x1400, |
| 0x0002, |
| 0x0002, |
| 0x0002, |
| 0x0001, |
| 0x0001, |
| 0x0001, |
| 0x0001, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x2b1c, |
| 0x1401, |
| 0x3c00, |
| 0xfc00, |
| 0x9400, |
| 0x8002, |
| 0x8002, |
| 0x8002, |
| 0x8001, |
| 0x8001, |
| 0x8001, |
| 0x8001, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xab1c, |
| 0x9401, |
| 0xbc00, |
| 0x7e00, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x7e00, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0xfc00, |
| 0xbc00, |
| 0x8801, |
| 0x8800, |
| 0x87fe, |
| 0x8401, |
| 0x8400, |
| 0x83ff, |
| 0x82ab, |
| 0x8066, |
| 0x8000, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xd31c, |
| 0xbc01, |
| 0xe400, |
| 0x7c00, |
| 0x3c00, |
| 0x0801, |
| 0x0800, |
| 0x07fe, |
| 0x0401, |
| 0x0400, |
| 0x03ff, |
| 0x02ab, |
| 0x0066, |
| 0x0000, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x531c, |
| 0x3c01, |
| 0x6400, |
| 0xfc00, |
| 0xefff, |
| 0xbc00, |
| 0xbbff, |
| 0xbbfd, |
| 0xb800, |
| 0xb7ff, |
| 0xb7fd, |
| 0xb555, |
| 0xaa66, |
| 0x8080, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xf001, |
| 0xfc00, |
| 0x7c00, |
| 0x6fff, |
| 0x3c00, |
| 0x3bff, |
| 0x3bfd, |
| 0x3800, |
| 0x37ff, |
| 0x37fd, |
| 0x3555, |
| 0x2a66, |
| 0x0080, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7001, |
| 0x7c00, |
| 0xfc00, |
| 0xf000, |
| 0xbc01, |
| 0xbc00, |
| 0xbbfe, |
| 0xb801, |
| 0xb800, |
| 0xb7fe, |
| 0xb555, |
| 0xaa66, |
| 0x8080, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xf001, |
| 0xfc00, |
| 0x7c00, |
| 0x7000, |
| 0x3c01, |
| 0x3c00, |
| 0x3bfe, |
| 0x3801, |
| 0x3800, |
| 0x37fe, |
| 0x3555, |
| 0x2a66, |
| 0x0080, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7001, |
| 0x7c00, |
| 0xfc00, |
| 0xf001, |
| 0xbc02, |
| 0xbc01, |
| 0xbc00, |
| 0xb802, |
| 0xb801, |
| 0xb800, |
| 0xb557, |
| 0xaa68, |
| 0x8080, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xf002, |
| 0xfc00, |
| 0x7c00, |
| 0x7001, |
| 0x3c02, |
| 0x3c01, |
| 0x3c00, |
| 0x3802, |
| 0x3801, |
| 0x3800, |
| 0x3557, |
| 0x2a68, |
| 0x0080, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7002, |
| 0x7c00, |
| 0xfc00, |
| 0xf3ff, |
| 0xc000, |
| 0xbfff, |
| 0xbffd, |
| 0xbc00, |
| 0xbbff, |
| 0xbbfd, |
| 0xb955, |
| 0xae66, |
| 0x8100, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xf401, |
| 0xfc00, |
| 0x7c00, |
| 0x73ff, |
| 0x4000, |
| 0x3fff, |
| 0x3ffd, |
| 0x3c00, |
| 0x3bff, |
| 0x3bfd, |
| 0x3955, |
| 0x2e66, |
| 0x0100, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7401, |
| 0x7c00, |
| 0xfc00, |
| 0xf400, |
| 0xc001, |
| 0xc000, |
| 0xbffe, |
| 0xbc01, |
| 0xbc00, |
| 0xbbfe, |
| 0xb955, |
| 0xae66, |
| 0x8100, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xf401, |
| 0xfc00, |
| 0x7c00, |
| 0x7400, |
| 0x4001, |
| 0x4000, |
| 0x3ffe, |
| 0x3c01, |
| 0x3c00, |
| 0x3bfe, |
| 0x3955, |
| 0x2e66, |
| 0x0100, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7401, |
| 0x7c00, |
| 0xfc00, |
| 0xf401, |
| 0xc002, |
| 0xc001, |
| 0xc000, |
| 0xbc02, |
| 0xbc01, |
| 0xbc00, |
| 0xb957, |
| 0xae68, |
| 0x8100, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xf402, |
| 0xfc00, |
| 0x7c00, |
| 0x7401, |
| 0x4002, |
| 0x4001, |
| 0x4000, |
| 0x3c02, |
| 0x3c01, |
| 0x3c00, |
| 0x3957, |
| 0x2e68, |
| 0x0100, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7402, |
| 0x7c00, |
| 0xfc00, |
| 0xf600, |
| 0xc201, |
| 0xc200, |
| 0xc1ff, |
| 0xbe01, |
| 0xbe00, |
| 0xbdff, |
| 0xbc00, |
| 0xb0cd, |
| 0x8180, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xf602, |
| 0xfc00, |
| 0x7c00, |
| 0x7600, |
| 0x4201, |
| 0x4200, |
| 0x41ff, |
| 0x3e01, |
| 0x3e00, |
| 0x3dff, |
| 0x3c00, |
| 0x30cd, |
| 0x0180, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7602, |
| 0x7c00, |
| 0xfc00, |
| 0xfc00, |
| 0xcd01, |
| 0xcd00, |
| 0xccff, |
| 0xc901, |
| 0xc900, |
| 0xc8ff, |
| 0xc6ab, |
| 0xbc00, |
| 0x8901, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0x7c00, |
| 0x7c00, |
| 0x4d01, |
| 0x4d00, |
| 0x4cff, |
| 0x4901, |
| 0x4900, |
| 0x48ff, |
| 0x46ab, |
| 0x3c00, |
| 0x0901, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfbff, |
| 0xfbfd, |
| 0xf955, |
| 0xee66, |
| 0xbc00, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7bff, |
| 0x7bfd, |
| 0x7955, |
| 0x6e66, |
| 0x3c00, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0x7e00, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xfc00, |
| 0xfc00, |
| 0xfc00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0x7e00, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x7c00, |
| 0x7c00, |
| 0x7c00, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0x7f23, |
| 0x7e01, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xfe01, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0x7f23, |
| 0x7e01, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0xfe00, |
| 0xfe00, |
| 0xfe00, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xff23, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfe01, |
| 0xfc00, |
| 0xa480, |
| 0x8024, |
| 0x8024, |
| 0x8024, |
| 0x8012, |
| 0x8012, |
| 0x8012, |
| 0x800c, |
| 0x8002, |
| 0x8000, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xbc00, |
| 0xa481, |
| 0xcc80, |
| 0x7c00, |
| 0x2480, |
| 0x0024, |
| 0x0024, |
| 0x0024, |
| 0x0012, |
| 0x0012, |
| 0x0012, |
| 0x000c, |
| 0x0002, |
| 0x0000, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x3c00, |
| 0x2481, |
| 0x4c80, |
| 0xfc00, |
| 0xbbfe, |
| 0x87ff, |
| 0x87fe, |
| 0x87fc, |
| 0x83ff, |
| 0x83ff, |
| 0x83fe, |
| 0x82aa, |
| 0x8066, |
| 0x8000, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xd31b, |
| 0xbc00, |
| 0xe3fe, |
| 0x7c00, |
| 0x3bfe, |
| 0x07ff, |
| 0x07fe, |
| 0x07fc, |
| 0x03ff, |
| 0x03ff, |
| 0x03fe, |
| 0x02aa, |
| 0x0066, |
| 0x0000, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x531b, |
| 0x3c00, |
| 0x63fe, |
| 0xfc00, |
| 0x9400, |
| 0x8002, |
| 0x8002, |
| 0x8002, |
| 0x8001, |
| 0x8001, |
| 0x8001, |
| 0x8001, |
| 0x8000, |
| 0x8000, |
| 0x8000, |
| 0x7f23, |
| 0x7e00, |
| 0x7f23, |
| 0x7e01, |
| 0xab1c, |
| 0x9401, |
| 0xbc00, |
| 0x7c00, |
| 0x1400, |
| 0x0002, |
| 0x0002, |
| 0x0002, |
| 0x0001, |
| 0x0001, |
| 0x0001, |
| 0x0001, |
| 0x0000, |
| 0x0000, |
| 0x0000, |
| 0xff23, |
| 0xfe00, |
| 0xff23, |
| 0xfe01, |
| 0x2b1c, |
| 0x1401, |
| 0x3c00, |
| }; |
| const unsigned kExpectedCount_fdiv_h = 1444; |
| |
| #endif // VIXL_SIM_FDIV_H_TRACE_AARCH64_H_ |
