1 // Copyright 2015, VIXL authors 2 // All rights reserved. 3 // 4 // Redistribution and use in source and binary forms, with or without 5 // modification, are permitted provided that the following conditions are met: 6 // 7 // * Redistributions of source code must retain the above copyright notice, 8 // this list of conditions and the following disclaimer. 9 // * Redistributions in binary form must reproduce the above copyright notice, 10 // this list of conditions and the following disclaimer in the documentation 11 // and/or other materials provided with the distribution. 12 // * Neither the name of ARM Limited nor the names of its contributors may be 13 // used to endorse or promote products derived from this software without 14 // specific prior written permission. 15 // 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND 17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE 20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 27 28 // --------------------------------------------------------------------- 29 // This file is auto generated using tools/generate_simulator_traces.py. 30 // 31 // PLEASE DO NOT EDIT. 32 // --------------------------------------------------------------------- 33 34 #ifndef VIXL_SIM_SABDL2_4S_TRACE_AARCH64_H_ 35 #define VIXL_SIM_SABDL2_4S_TRACE_AARCH64_H_ 36 37 const uint32_t kExpected_NEON_sabdl2_4S[] = { 38 0x00000000, 0x00000000, 0x00000000, 0x00000000, 39 0x00000001, 0x00000001, 0x00007fff, 0x00000001, 40 0x00000002, 0x00007ffe, 0x00007ffe, 0x00000002, 41 0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00000010, 42 0x00007ffc, 0x00007ffc, 0x00007fef, 0x0000007d, 43 0x00007ffb, 0x00007fee, 0x00007f82, 0x0000007e, 44 0x00007fed, 0x00007f81, 0x00007f81, 0x0000007f, 45 0x00007f80, 0x00007f80, 0x00007f80, 0x00003333, 46 0x00007f7f, 0x00007f7f, 0x00004ccc, 0x00005555, 47 0x00007f7e, 0x00004ccb, 0x00002aaa, 0x00007ffd, 48 0x00004cca, 0x00002aa9, 0x00000002, 0x00007ffe, 49 0x00002aa8, 0x00000001, 0x00000001, 0x00007fff, 50 0x00000000, 0x00000000, 0x00000000, 0x00008000, 51 0x00000001, 0x00000001, 0x0000ffff, 0x00007fff, 52 0x00000002, 0x0000fffe, 0x0000fffe, 0x00005556, 53 0x0000fffd, 0x0000fffd, 0x0000d555, 0x00003334, 54 0x0000fffc, 0x0000d554, 0x0000b333, 0x00000080, 55 0x0000d553, 0x0000b332, 0x0000807f, 0x0000007f, 56 0x0000b331, 0x0000807e, 0x0000807e, 0x0000007e, 57 0x0000807d, 0x0000807d, 0x0000807d, 0x0000007d, 58 0x0000807c, 0x0000807c, 0x0000807c, 0x00000010, 59 0x0000807b, 0x0000807b, 0x0000800f, 0x00000003, 60 0x0000807a, 0x0000800e, 0x00008002, 0x00000002, 61 0x0000800d, 0x00008001, 0x00008001, 0x00000001, 62 0x00008001, 0x00008001, 0x00000001, 0x00000001, 63 0x00008000, 0x00008000, 0x00000000, 0x00000000, 64 0x00007fff, 0x00007fff, 0x00000001, 0x00000001, 65 0x00007ffe, 0x00007ffe, 0x00000002, 0x0000000f, 66 0x00007ffd, 0x00007ffd, 0x00000010, 0x0000007c, 67 0x00007ffc, 0x00007fef, 0x0000007d, 0x0000007d, 68 0x00007fee, 0x00007f82, 0x0000007e, 0x0000007e, 69 0x00007f81, 0x00007f81, 0x0000007f, 0x00003332, 70 0x00007f80, 0x00007f80, 0x00003333, 0x00005554, 71 0x00007f7f, 0x00004ccc, 0x00005555, 0x00007ffc, 72 0x00004ccb, 0x00002aaa, 0x00007ffd, 0x00007ffd, 73 0x00002aa9, 0x00000002, 0x00007ffe, 0x00007ffe, 74 0x00000001, 0x00000001, 0x00007fff, 0x00008001, 75 0x00000000, 0x00000000, 0x00008000, 0x00008000, 76 0x00000001, 0x0000ffff, 0x00007fff, 0x00005557, 77 0x0000fffe, 0x0000fffe, 0x00005556, 0x00003335, 78 0x0000fffd, 0x0000d555, 0x00003334, 0x00000081, 79 0x0000d554, 0x0000b333, 0x00000080, 0x00000080, 80 0x0000b332, 0x0000807f, 0x0000007f, 0x0000007f, 81 0x0000807e, 0x0000807e, 0x0000007e, 0x0000007e, 82 0x0000807d, 0x0000807d, 0x0000007d, 0x00000011, 83 0x0000807c, 0x0000807c, 0x00000010, 0x00000004, 84 0x0000807b, 0x0000800f, 0x00000003, 0x00000003, 85 0x0000800e, 0x00008002, 0x00000002, 0x00000002, 86 0x00008002, 0x00000002, 0x00000002, 0x00000002, 87 0x00008001, 0x00000001, 0x00000001, 0x00000001, 88 0x00008000, 0x00000000, 0x00000000, 0x00000000, 89 0x00007fff, 0x00000001, 0x00000001, 0x0000000e, 90 0x00007ffe, 0x00000002, 0x0000000f, 0x0000007b, 91 0x00007ffd, 0x00000010, 0x0000007c, 0x0000007c, 92 0x00007fef, 0x0000007d, 0x0000007d, 0x0000007d, 93 0x00007f82, 0x0000007e, 0x0000007e, 0x00003331, 94 0x00007f81, 0x0000007f, 0x00003332, 0x00005553, 95 0x00007f80, 0x00003333, 0x00005554, 0x00007ffb, 96 0x00004ccc, 0x00005555, 0x00007ffc, 0x00007ffc, 97 0x00002aaa, 0x00007ffd, 0x00007ffd, 0x00007ffd, 98 0x00000002, 0x00007ffe, 0x00007ffe, 0x00008002, 99 0x00000001, 0x00007fff, 0x00008001, 0x00008001, 100 0x00000000, 0x00008000, 0x00008000, 0x00005558, 101 0x0000ffff, 0x00007fff, 0x00005557, 0x00003336, 102 0x0000fffe, 0x00005556, 0x00003335, 0x00000082, 103 0x0000d555, 0x00003334, 0x00000081, 0x00000081, 104 0x0000b333, 0x00000080, 0x00000080, 0x00000080, 105 0x0000807f, 0x0000007f, 0x0000007f, 0x0000007f, 106 0x0000807e, 0x0000007e, 0x0000007e, 0x00000012, 107 0x0000807d, 0x0000007d, 0x00000011, 0x00000005, 108 0x0000807c, 0x00000010, 0x00000004, 0x00000004, 109 0x0000800f, 0x00000003, 0x00000003, 0x00000003, 110 0x00000003, 0x00000003, 0x00000003, 0x00000010, 111 0x00000002, 0x00000002, 0x00000002, 0x0000000f, 112 0x00000001, 0x00000001, 0x00000001, 0x0000000e, 113 0x00000000, 0x00000000, 0x00000000, 0x00000000, 114 0x00000001, 0x00000001, 0x0000000e, 0x0000006d, 115 0x00000002, 0x0000000f, 0x0000007b, 0x0000006e, 116 0x00000010, 0x0000007c, 0x0000007c, 0x0000006f, 117 0x0000007d, 0x0000007d, 0x0000007d, 0x00003323, 118 0x0000007e, 0x0000007e, 0x00003331, 0x00005545, 119 0x0000007f, 0x00003332, 0x00005553, 0x00007fed, 120 0x00003333, 0x00005554, 0x00007ffb, 0x00007fee, 121 0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef, 122 0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00008010, 123 0x00007ffe, 0x00007ffe, 0x00008002, 0x0000800f, 124 0x00007fff, 0x00008001, 0x00008001, 0x00005566, 125 0x00008000, 0x00008000, 0x00005558, 0x00003344, 126 0x00007fff, 0x00005557, 0x00003336, 0x00000090, 127 0x00005556, 0x00003335, 0x00000082, 0x0000008f, 128 0x00003334, 0x00000081, 0x00000081, 0x0000008e, 129 0x00000080, 0x00000080, 0x00000080, 0x0000008d, 130 0x0000007f, 0x0000007f, 0x0000007f, 0x00000020, 131 0x0000007e, 0x0000007e, 0x00000012, 0x00000013, 132 0x0000007d, 0x00000011, 0x00000005, 0x00000012, 133 0x00000010, 0x00000004, 0x00000004, 0x00000011, 134 0x00000004, 0x00000004, 0x00000011, 0x0000007d, 135 0x00000003, 0x00000003, 0x00000010, 0x0000007c, 136 0x00000002, 0x00000002, 0x0000000f, 0x0000007b, 137 0x00000001, 0x00000001, 0x0000000e, 0x0000006d, 138 0x00000000, 0x00000000, 0x00000000, 0x00000000, 139 0x00000001, 0x0000000e, 0x0000006d, 0x00000001, 140 0x0000000f, 0x0000007b, 0x0000006e, 0x00000002, 141 0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6, 142 0x0000007d, 0x0000007d, 0x00003323, 0x000054d8, 143 0x0000007e, 0x00003331, 0x00005545, 0x00007f80, 144 0x00003332, 0x00005553, 0x00007fed, 0x00007f81, 145 0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82, 146 0x00007ffc, 0x00007ffc, 0x00007fef, 0x0000807d, 147 0x00007ffd, 0x00007ffd, 0x00008010, 0x0000807c, 148 0x00007ffe, 0x00008002, 0x0000800f, 0x000055d3, 149 0x00008001, 0x00008001, 0x00005566, 0x000033b1, 150 0x00008000, 0x00005558, 0x00003344, 0x000000fd, 151 0x00005557, 0x00003336, 0x00000090, 0x000000fc, 152 0x00003335, 0x00000082, 0x0000008f, 0x000000fb, 153 0x00000081, 0x00000081, 0x0000008e, 0x000000fa, 154 0x00000080, 0x00000080, 0x0000008d, 0x0000008d, 155 0x0000007f, 0x0000007f, 0x00000020, 0x00000080, 156 0x0000007e, 0x00000012, 0x00000013, 0x0000007f, 157 0x00000011, 0x00000005, 0x00000012, 0x0000007e, 158 0x00000005, 0x00000012, 0x0000007e, 0x0000007e, 159 0x00000004, 0x00000011, 0x0000007d, 0x0000007d, 160 0x00000003, 0x00000010, 0x0000007c, 0x0000007c, 161 0x00000002, 0x0000000f, 0x0000007b, 0x0000006e, 162 0x00000001, 0x0000000e, 0x0000006d, 0x00000001, 163 0x00000000, 0x00000000, 0x00000000, 0x00000000, 164 0x0000000e, 0x0000006d, 0x00000001, 0x00000001, 165 0x0000007b, 0x0000006e, 0x00000002, 0x000032b5, 166 0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7, 167 0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f, 168 0x00003331, 0x00005545, 0x00007f80, 0x00007f80, 169 0x00005553, 0x00007fed, 0x00007f81, 0x00007f81, 170 0x00007ffb, 0x00007fee, 0x00007f82, 0x0000807e, 171 0x00007ffc, 0x00007fef, 0x0000807d, 0x0000807d, 172 0x00007ffd, 0x00008010, 0x0000807c, 0x000055d4, 173 0x00008002, 0x0000800f, 0x000055d3, 0x000033b2, 174 0x00008001, 0x00005566, 0x000033b1, 0x000000fe, 175 0x00005558, 0x00003344, 0x000000fd, 0x000000fd, 176 0x00003336, 0x00000090, 0x000000fc, 0x000000fc, 177 0x00000082, 0x0000008f, 0x000000fb, 0x000000fb, 178 0x00000081, 0x0000008e, 0x000000fa, 0x0000008e, 179 0x00000080, 0x0000008d, 0x0000008d, 0x00000081, 180 0x0000007f, 0x00000020, 0x00000080, 0x00000080, 181 0x00000012, 0x00000013, 0x0000007f, 0x0000007f, 182 0x00000013, 0x0000007f, 0x0000007f, 0x0000007f, 183 0x00000012, 0x0000007e, 0x0000007e, 0x0000007e, 184 0x00000011, 0x0000007d, 0x0000007d, 0x0000007d, 185 0x00000010, 0x0000007c, 0x0000007c, 0x0000006f, 186 0x0000000f, 0x0000007b, 0x0000006e, 0x00000002, 187 0x0000000e, 0x0000006d, 0x00000001, 0x00000001, 188 0x00000000, 0x00000000, 0x00000000, 0x00000000, 189 0x0000006d, 0x00000001, 0x00000001, 0x000032b4, 190 0x0000006e, 0x00000002, 0x000032b5, 0x000054d6, 191 0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e, 192 0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f, 193 0x00005545, 0x00007f80, 0x00007f80, 0x00007f80, 194 0x00007fed, 0x00007f81, 0x00007f81, 0x0000807f, 195 0x00007fee, 0x00007f82, 0x0000807e, 0x0000807e, 196 0x00007fef, 0x0000807d, 0x0000807d, 0x000055d5, 197 0x00008010, 0x0000807c, 0x000055d4, 0x000033b3, 198 0x0000800f, 0x000055d3, 0x000033b2, 0x000000ff, 199 0x00005566, 0x000033b1, 0x000000fe, 0x000000fe, 200 0x00003344, 0x000000fd, 0x000000fd, 0x000000fd, 201 0x00000090, 0x000000fc, 0x000000fc, 0x000000fc, 202 0x0000008f, 0x000000fb, 0x000000fb, 0x0000008f, 203 0x0000008e, 0x000000fa, 0x0000008e, 0x00000082, 204 0x0000008d, 0x0000008d, 0x00000081, 0x00000081, 205 0x00000020, 0x00000080, 0x00000080, 0x00000080, 206 0x00000080, 0x00000080, 0x00000080, 0x00003333, 207 0x0000007f, 0x0000007f, 0x0000007f, 0x00003332, 208 0x0000007e, 0x0000007e, 0x0000007e, 0x00003331, 209 0x0000007d, 0x0000007d, 0x0000007d, 0x00003323, 210 0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6, 211 0x0000007b, 0x0000006e, 0x00000002, 0x000032b5, 212 0x0000006d, 0x00000001, 0x00000001, 0x000032b4, 213 0x00000000, 0x00000000, 0x00000000, 0x00000000, 214 0x00000001, 0x00000001, 0x000032b4, 0x00002222, 215 0x00000002, 0x000032b5, 0x000054d6, 0x00004cca, 216 0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb, 217 0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc, 218 0x00007f80, 0x00007f80, 0x00007f80, 0x0000b333, 219 0x00007f81, 0x00007f81, 0x0000807f, 0x0000b332, 220 0x00007f82, 0x0000807e, 0x0000807e, 0x00008889, 221 0x0000807d, 0x0000807d, 0x000055d5, 0x00006667, 222 0x0000807c, 0x000055d4, 0x000033b3, 0x000033b3, 223 0x000055d3, 0x000033b2, 0x000000ff, 0x000033b2, 224 0x000033b1, 0x000000fe, 0x000000fe, 0x000033b1, 225 0x000000fd, 0x000000fd, 0x000000fd, 0x000033b0, 226 0x000000fc, 0x000000fc, 0x000000fc, 0x00003343, 227 0x000000fb, 0x000000fb, 0x0000008f, 0x00003336, 228 0x000000fa, 0x0000008e, 0x00000082, 0x00003335, 229 0x0000008d, 0x00000081, 0x00000081, 0x00003334, 230 0x00000081, 0x00000081, 0x00003334, 0x00005555, 231 0x00000080, 0x00000080, 0x00003333, 0x00005554, 232 0x0000007f, 0x0000007f, 0x00003332, 0x00005553, 233 0x0000007e, 0x0000007e, 0x00003331, 0x00005545, 234 0x0000007d, 0x0000007d, 0x00003323, 0x000054d8, 235 0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7, 236 0x0000006e, 0x00000002, 0x000032b5, 0x000054d6, 237 0x00000001, 0x00000001, 0x000032b4, 0x00002222, 238 0x00000000, 0x00000000, 0x00000000, 0x00000000, 239 0x00000001, 0x000032b4, 0x00002222, 0x00002aa8, 240 0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9, 241 0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa, 242 0x00007f7f, 0x00007f7f, 0x00004ccc, 0x0000d555, 243 0x00007f80, 0x00007f80, 0x0000b333, 0x0000d554, 244 0x00007f81, 0x0000807f, 0x0000b332, 0x0000aaab, 245 0x0000807e, 0x0000807e, 0x00008889, 0x00008889, 246 0x0000807d, 0x000055d5, 0x00006667, 0x000055d5, 247 0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4, 248 0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3, 249 0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2, 250 0x000000fd, 0x000000fd, 0x000033b0, 0x00005565, 251 0x000000fc, 0x000000fc, 0x00003343, 0x00005558, 252 0x000000fb, 0x0000008f, 0x00003336, 0x00005557, 253 0x0000008e, 0x00000082, 0x00003335, 0x00005556, 254 0x00000082, 0x00003335, 0x00005556, 0x00007ffd, 255 0x00000081, 0x00003334, 0x00005555, 0x00007ffc, 256 0x00000080, 0x00003333, 0x00005554, 0x00007ffb, 257 0x0000007f, 0x00003332, 0x00005553, 0x00007fed, 258 0x0000007e, 0x00003331, 0x00005545, 0x00007f80, 259 0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f, 260 0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e, 261 0x00000002, 0x000032b5, 0x000054d6, 0x00004cca, 262 0x00000001, 0x000032b4, 0x00002222, 0x00002aa8, 263 0x00000000, 0x00000000, 0x00000000, 0x00000000, 264 0x000032b4, 0x00002222, 0x00002aa8, 0x00000001, 265 0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002, 266 0x00007f7e, 0x00004ccb, 0x00002aaa, 0x0000fffd, 267 0x00007f7f, 0x00004ccc, 0x0000d555, 0x0000fffc, 268 0x00007f80, 0x0000b333, 0x0000d554, 0x0000d553, 269 0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331, 270 0x0000807e, 0x00008889, 0x00008889, 0x0000807d, 271 0x000055d5, 0x00006667, 0x000055d5, 0x0000807c, 272 0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b, 273 0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a, 274 0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d, 275 0x000000fd, 0x000033b0, 0x00005565, 0x00008000, 276 0x000000fc, 0x00003343, 0x00005558, 0x00007fff, 277 0x0000008f, 0x00003336, 0x00005557, 0x00007ffe, 278 0x00003336, 0x00005557, 0x00007ffe, 0x00007ffe, 279 0x00003335, 0x00005556, 0x00007ffd, 0x00007ffd, 280 0x00003334, 0x00005555, 0x00007ffc, 0x00007ffc, 281 0x00003333, 0x00005554, 0x00007ffb, 0x00007fee, 282 0x00003332, 0x00005553, 0x00007fed, 0x00007f81, 283 0x00003331, 0x00005545, 0x00007f80, 0x00007f80, 284 0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f, 285 0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb, 286 0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9, 287 0x000032b4, 0x00002222, 0x00002aa8, 0x00000001, 288 0x00000000, 0x00000000, 0x00000000, 0x00000000, 289 0x00002222, 0x00002aa8, 0x00000001, 0x00000001, 290 0x00004cca, 0x00002aa9, 0x00000002, 0x0000fffe, 291 0x00004ccb, 0x00002aaa, 0x0000fffd, 0x0000fffd, 292 0x00004ccc, 0x0000d555, 0x0000fffc, 0x0000d554, 293 0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332, 294 0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e, 295 0x00008889, 0x00008889, 0x0000807d, 0x0000807d, 296 0x00006667, 0x000055d5, 0x0000807c, 0x0000807c, 297 0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b, 298 0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e, 299 0x000033b1, 0x000055d2, 0x0000800d, 0x00008001, 300 0x000033b0, 0x00005565, 0x00008000, 0x00008000, 301 0x00003343, 0x00005558, 0x00007fff, 0x00007fff, 302 0x00005558, 0x00007fff, 0x00007fff, 0x00007fff, 303 0x00005557, 0x00007ffe, 0x00007ffe, 0x00007ffe, 304 0x00005556, 0x00007ffd, 0x00007ffd, 0x00007ffd, 305 0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef, 306 0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82, 307 0x00005553, 0x00007fed, 0x00007f81, 0x00007f81, 308 0x00005545, 0x00007f80, 0x00007f80, 0x00007f80, 309 0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc, 310 0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa, 311 0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002, 312 0x00002222, 0x00002aa8, 0x00000001, 0x00000001, 313 0x00000000, 0x00000000, 0x00000000, 0x00000000, 314 0x00002aa8, 0x00000001, 0x00000001, 0x0000ffff, 315 0x00002aa9, 0x00000002, 0x0000fffe, 0x0000fffe, 316 0x00002aaa, 0x0000fffd, 0x0000fffd, 0x0000d555, 317 0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333, 318 0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f, 319 0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e, 320 0x00008889, 0x0000807d, 0x0000807d, 0x0000807d, 321 0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c, 322 0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f, 323 0x000055d3, 0x0000807a, 0x0000800e, 0x00008002, 324 0x000055d2, 0x0000800d, 0x00008001, 0x00008001, 325 0x00005565, 0x00008000, 0x00008000, 0x00008000, 326 0x00008000, 0x00008000, 0x00008000, 0x00008000, 327 0x00007fff, 0x00007fff, 0x00007fff, 0x00008001, 328 0x00007ffe, 0x00007ffe, 0x00007ffe, 0x00008002, 329 0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00008010, 330 0x00007ffc, 0x00007ffc, 0x00007fef, 0x0000807d, 331 0x00007ffb, 0x00007fee, 0x00007f82, 0x0000807e, 332 0x00007fed, 0x00007f81, 0x00007f81, 0x0000807f, 333 0x00007f80, 0x00007f80, 0x00007f80, 0x0000b333, 334 0x00007f7f, 0x00007f7f, 0x00004ccc, 0x0000d555, 335 0x00007f7e, 0x00004ccb, 0x00002aaa, 0x0000fffd, 336 0x00004cca, 0x00002aa9, 0x00000002, 0x0000fffe, 337 0x00002aa8, 0x00000001, 0x00000001, 0x0000ffff, 338 0x00000000, 0x00000000, 0x00000000, 0x00000000, 339 0x00000001, 0x00000001, 0x0000ffff, 0x00000001, 340 0x00000002, 0x0000fffe, 0x0000fffe, 0x00002aaa, 341 0x0000fffd, 0x0000fffd, 0x0000d555, 0x00004ccc, 342 0x0000fffc, 0x0000d554, 0x0000b333, 0x00007f80, 343 0x0000d553, 0x0000b332, 0x0000807f, 0x00007f81, 344 0x0000b331, 0x0000807e, 0x0000807e, 0x00007f82, 345 0x0000807d, 0x0000807d, 0x0000807d, 0x00007f83, 346 0x0000807c, 0x0000807c, 0x0000807c, 0x00007ff0, 347 0x0000807b, 0x0000807b, 0x0000800f, 0x00007ffd, 348 0x0000807a, 0x0000800e, 0x00008002, 0x00007ffe, 349 0x0000800d, 0x00008001, 0x00008001, 0x00007fff, 350 0x00008001, 0x00008001, 0x00007fff, 0x00007fff, 351 0x00008000, 0x00008000, 0x00008000, 0x00008000, 352 0x00007fff, 0x00007fff, 0x00008001, 0x00008001, 353 0x00007ffe, 0x00007ffe, 0x00008002, 0x0000800f, 354 0x00007ffd, 0x00007ffd, 0x00008010, 0x0000807c, 355 0x00007ffc, 0x00007fef, 0x0000807d, 0x0000807d, 356 0x00007fee, 0x00007f82, 0x0000807e, 0x0000807e, 357 0x00007f81, 0x00007f81, 0x0000807f, 0x0000b332, 358 0x00007f80, 0x00007f80, 0x0000b333, 0x0000d554, 359 0x00007f7f, 0x00004ccc, 0x0000d555, 0x0000fffc, 360 0x00004ccb, 0x00002aaa, 0x0000fffd, 0x0000fffd, 361 0x00002aa9, 0x00000002, 0x0000fffe, 0x0000fffe, 362 0x00000001, 0x00000001, 0x0000ffff, 0x00000001, 363 0x00000000, 0x00000000, 0x00000000, 0x00000000, 364 0x00000001, 0x0000ffff, 0x00000001, 0x00002aa9, 365 0x0000fffe, 0x0000fffe, 0x00002aaa, 0x00004ccb, 366 0x0000fffd, 0x0000d555, 0x00004ccc, 0x00007f7f, 367 0x0000d554, 0x0000b333, 0x00007f80, 0x00007f80, 368 0x0000b332, 0x0000807f, 0x00007f81, 0x00007f81, 369 0x0000807e, 0x0000807e, 0x00007f82, 0x00007f82, 370 0x0000807d, 0x0000807d, 0x00007f83, 0x00007fef, 371 0x0000807c, 0x0000807c, 0x00007ff0, 0x00007ffc, 372 0x0000807b, 0x0000800f, 0x00007ffd, 0x00007ffd, 373 0x0000800e, 0x00008002, 0x00007ffe, 0x00007ffe, 374 0x00008002, 0x00007ffe, 0x00007ffe, 0x00005556, 375 0x00008001, 0x00007fff, 0x00007fff, 0x00005557, 376 0x00008000, 0x00008000, 0x00008000, 0x00005558, 377 0x00007fff, 0x00008001, 0x00008001, 0x00005566, 378 0x00007ffe, 0x00008002, 0x0000800f, 0x000055d3, 379 0x00007ffd, 0x00008010, 0x0000807c, 0x000055d4, 380 0x00007fef, 0x0000807d, 0x0000807d, 0x000055d5, 381 0x00007f82, 0x0000807e, 0x0000807e, 0x00008889, 382 0x00007f81, 0x0000807f, 0x0000b332, 0x0000aaab, 383 0x00007f80, 0x0000b333, 0x0000d554, 0x0000d553, 384 0x00004ccc, 0x0000d555, 0x0000fffc, 0x0000d554, 385 0x00002aaa, 0x0000fffd, 0x0000fffd, 0x0000d555, 386 0x00000002, 0x0000fffe, 0x0000fffe, 0x00002aaa, 387 0x00000001, 0x0000ffff, 0x00000001, 0x00002aa9, 388 0x00000000, 0x00000000, 0x00000000, 0x00000000, 389 0x0000ffff, 0x00000001, 0x00002aa9, 0x00002222, 390 0x0000fffe, 0x00002aaa, 0x00004ccb, 0x000054d6, 391 0x0000d555, 0x00004ccc, 0x00007f7f, 0x000054d7, 392 0x0000b333, 0x00007f80, 0x00007f80, 0x000054d8, 393 0x0000807f, 0x00007f81, 0x00007f81, 0x000054d9, 394 0x0000807e, 0x00007f82, 0x00007f82, 0x00005546, 395 0x0000807d, 0x00007f83, 0x00007fef, 0x00005553, 396 0x0000807c, 0x00007ff0, 0x00007ffc, 0x00005554, 397 0x0000800f, 0x00007ffd, 0x00007ffd, 0x00005555, 398 0x00007ffd, 0x00007ffd, 0x00005555, 0x00003334, 399 0x00007ffe, 0x00007ffe, 0x00005556, 0x00003335, 400 0x00007fff, 0x00007fff, 0x00005557, 0x00003336, 401 0x00008000, 0x00008000, 0x00005558, 0x00003344, 402 0x00008001, 0x00008001, 0x00005566, 0x000033b1, 403 0x00008002, 0x0000800f, 0x000055d3, 0x000033b2, 404 0x00008010, 0x0000807c, 0x000055d4, 0x000033b3, 405 0x0000807d, 0x0000807d, 0x000055d5, 0x00006667, 406 0x0000807e, 0x0000807e, 0x00008889, 0x00008889, 407 0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331, 408 0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332, 409 0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333, 410 0x0000fffd, 0x0000fffd, 0x0000d555, 0x00004ccc, 411 0x0000fffe, 0x0000fffe, 0x00002aaa, 0x00004ccb, 412 0x0000ffff, 0x00000001, 0x00002aa9, 0x00002222, 413 0x00000000, 0x00000000, 0x00000000, 0x00000000, 414 0x00000001, 0x00002aa9, 0x00002222, 0x000032b4, 415 0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5, 416 0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6, 417 0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7, 418 0x00007f81, 0x00007f81, 0x000054d9, 0x00003324, 419 0x00007f82, 0x00007f82, 0x00005546, 0x00003331, 420 0x00007f83, 0x00007fef, 0x00005553, 0x00003332, 421 0x00007ff0, 0x00007ffc, 0x00005554, 0x00003333, 422 0x00007ffc, 0x00005554, 0x00003333, 0x00000080, 423 0x00007ffd, 0x00005555, 0x00003334, 0x00000081, 424 0x00007ffe, 0x00005556, 0x00003335, 0x00000082, 425 0x00007fff, 0x00005557, 0x00003336, 0x00000090, 426 0x00008000, 0x00005558, 0x00003344, 0x000000fd, 427 0x00008001, 0x00005566, 0x000033b1, 0x000000fe, 428 0x0000800f, 0x000055d3, 0x000033b2, 0x000000ff, 429 0x0000807c, 0x000055d4, 0x000033b3, 0x000033b3, 430 0x0000807d, 0x000055d5, 0x00006667, 0x000055d5, 431 0x0000807e, 0x00008889, 0x00008889, 0x0000807d, 432 0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e, 433 0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f, 434 0x0000fffc, 0x0000d554, 0x0000b333, 0x00007f80, 435 0x0000fffd, 0x0000d555, 0x00004ccc, 0x00007f7f, 436 0x0000fffe, 0x00002aaa, 0x00004ccb, 0x000054d6, 437 0x00000001, 0x00002aa9, 0x00002222, 0x000032b4, 438 0x00000000, 0x00000000, 0x00000000, 0x00000000, 439 0x00002aa9, 0x00002222, 0x000032b4, 0x00000001, 440 0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002, 441 0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003, 442 0x00007f80, 0x000054d8, 0x000032b7, 0x00000070, 443 0x00007f81, 0x000054d9, 0x00003324, 0x0000007d, 444 0x00007f82, 0x00005546, 0x00003331, 0x0000007e, 445 0x00007fef, 0x00005553, 0x00003332, 0x0000007f, 446 0x00005553, 0x00003332, 0x0000007f, 0x0000007f, 447 0x00005554, 0x00003333, 0x00000080, 0x00000080, 448 0x00005555, 0x00003334, 0x00000081, 0x00000081, 449 0x00005556, 0x00003335, 0x00000082, 0x0000008f, 450 0x00005557, 0x00003336, 0x00000090, 0x000000fc, 451 0x00005558, 0x00003344, 0x000000fd, 0x000000fd, 452 0x00005566, 0x000033b1, 0x000000fe, 0x000000fe, 453 0x000055d3, 0x000033b2, 0x000000ff, 0x000033b2, 454 0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4, 455 0x000055d5, 0x00006667, 0x000055d5, 0x0000807c, 456 0x00008889, 0x00008889, 0x0000807d, 0x0000807d, 457 0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e, 458 0x0000d553, 0x0000b332, 0x0000807f, 0x00007f81, 459 0x0000d554, 0x0000b333, 0x00007f80, 0x00007f80, 460 0x0000d555, 0x00004ccc, 0x00007f7f, 0x000054d7, 461 0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5, 462 0x00002aa9, 0x00002222, 0x000032b4, 0x00000001, 463 0x00000000, 0x00000000, 0x00000000, 0x00000000, 464 0x00002222, 0x000032b4, 0x00000001, 0x00000001, 465 0x000054d6, 0x000032b5, 0x00000002, 0x00000002, 466 0x000054d7, 0x000032b6, 0x00000003, 0x0000006f, 467 0x000054d8, 0x000032b7, 0x00000070, 0x0000007c, 468 0x000054d9, 0x00003324, 0x0000007d, 0x0000007d, 469 0x00005546, 0x00003331, 0x0000007e, 0x0000007e, 470 0x00003331, 0x0000007e, 0x0000007e, 0x0000007e, 471 0x00003332, 0x0000007f, 0x0000007f, 0x0000007f, 472 0x00003333, 0x00000080, 0x00000080, 0x00000080, 473 0x00003334, 0x00000081, 0x00000081, 0x0000008e, 474 0x00003335, 0x00000082, 0x0000008f, 0x000000fb, 475 0x00003336, 0x00000090, 0x000000fc, 0x000000fc, 476 0x00003344, 0x000000fd, 0x000000fd, 0x000000fd, 477 0x000033b1, 0x000000fe, 0x000000fe, 0x000033b1, 478 0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3, 479 0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b, 480 0x00006667, 0x000055d5, 0x0000807c, 0x0000807c, 481 0x00008889, 0x0000807d, 0x0000807d, 0x0000807d, 482 0x0000b331, 0x0000807e, 0x0000807e, 0x00007f82, 483 0x0000b332, 0x0000807f, 0x00007f81, 0x00007f81, 484 0x0000b333, 0x00007f80, 0x00007f80, 0x000054d8, 485 0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6, 486 0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002, 487 0x00002222, 0x000032b4, 0x00000001, 0x00000001, 488 0x00000000, 0x00000000, 0x00000000, 0x00000000, 489 0x000032b4, 0x00000001, 0x00000001, 0x00000001, 490 0x000032b5, 0x00000002, 0x00000002, 0x0000006e, 491 0x000032b6, 0x00000003, 0x0000006f, 0x0000007b, 492 0x000032b7, 0x00000070, 0x0000007c, 0x0000007c, 493 0x00003324, 0x0000007d, 0x0000007d, 0x0000007d, 494 0x0000007d, 0x0000007d, 0x0000007d, 0x0000007d, 495 0x0000007e, 0x0000007e, 0x0000007e, 0x0000007e, 496 0x0000007f, 0x0000007f, 0x0000007f, 0x0000007f, 497 0x00000080, 0x00000080, 0x00000080, 0x0000008d, 498 0x00000081, 0x00000081, 0x0000008e, 0x000000fa, 499 0x00000082, 0x0000008f, 0x000000fb, 0x000000fb, 500 0x00000090, 0x000000fc, 0x000000fc, 0x000000fc, 501 0x000000fd, 0x000000fd, 0x000000fd, 0x000033b0, 502 0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2, 503 0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a, 504 0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b, 505 0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c, 506 0x0000807d, 0x0000807d, 0x0000807d, 0x00007f83, 507 0x0000807e, 0x0000807e, 0x00007f82, 0x00007f82, 508 0x0000807f, 0x00007f81, 0x00007f81, 0x000054d9, 509 0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7, 510 0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003, 511 0x000054d6, 0x000032b5, 0x00000002, 0x00000002, 512 0x000032b4, 0x00000001, 0x00000001, 0x00000001, 513 0x00000000, 0x00000000, 0x00000000, 0x00000000, 514 0x00000001, 0x00000001, 0x00000001, 0x0000006d, 515 0x00000002, 0x00000002, 0x0000006e, 0x0000007a, 516 0x00000003, 0x0000006f, 0x0000007b, 0x0000007b, 517 0x00000070, 0x0000007c, 0x0000007c, 0x0000007c, 518 0x0000007c, 0x0000007c, 0x0000007c, 0x00000010, 519 0x0000007d, 0x0000007d, 0x0000007d, 0x00000011, 520 0x0000007e, 0x0000007e, 0x0000007e, 0x00000012, 521 0x0000007f, 0x0000007f, 0x0000007f, 0x00000020, 522 0x00000080, 0x00000080, 0x0000008d, 0x0000008d, 523 0x00000081, 0x0000008e, 0x000000fa, 0x0000008e, 524 0x0000008f, 0x000000fb, 0x000000fb, 0x0000008f, 525 0x000000fc, 0x000000fc, 0x000000fc, 0x00003343, 526 0x000000fd, 0x000000fd, 0x000033b0, 0x00005565, 527 0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d, 528 0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e, 529 0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f, 530 0x0000807c, 0x0000807c, 0x0000807c, 0x00007ff0, 531 0x0000807d, 0x0000807d, 0x00007f83, 0x00007fef, 532 0x0000807e, 0x00007f82, 0x00007f82, 0x00005546, 533 0x00007f81, 0x00007f81, 0x000054d9, 0x00003324, 534 0x00007f80, 0x000054d8, 0x000032b7, 0x00000070, 535 0x000054d7, 0x000032b6, 0x00000003, 0x0000006f, 536 0x000032b5, 0x00000002, 0x00000002, 0x0000006e, 537 0x00000001, 0x00000001, 0x00000001, 0x0000006d, 538 0x00000000, 0x00000000, 0x00000000, 0x00000000, 539 0x00000001, 0x00000001, 0x0000006d, 0x0000000d, 540 0x00000002, 0x0000006e, 0x0000007a, 0x0000000e, 541 0x0000006f, 0x0000007b, 0x0000007b, 0x0000000f, 542 0x0000007b, 0x0000007b, 0x0000000f, 0x00000003, 543 0x0000007c, 0x0000007c, 0x00000010, 0x00000004, 544 0x0000007d, 0x0000007d, 0x00000011, 0x00000005, 545 0x0000007e, 0x0000007e, 0x00000012, 0x00000013, 546 0x0000007f, 0x0000007f, 0x00000020, 0x00000080, 547 0x00000080, 0x0000008d, 0x0000008d, 0x00000081, 548 0x0000008e, 0x000000fa, 0x0000008e, 0x00000082, 549 0x000000fb, 0x000000fb, 0x0000008f, 0x00003336, 550 0x000000fc, 0x000000fc, 0x00003343, 0x00005558, 551 0x000000fd, 0x000033b0, 0x00005565, 0x00008000, 552 0x000033b1, 0x000055d2, 0x0000800d, 0x00008001, 553 0x000055d3, 0x0000807a, 0x0000800e, 0x00008002, 554 0x0000807b, 0x0000807b, 0x0000800f, 0x00007ffd, 555 0x0000807c, 0x0000807c, 0x00007ff0, 0x00007ffc, 556 0x0000807d, 0x00007f83, 0x00007fef, 0x00005553, 557 0x00007f82, 0x00007f82, 0x00005546, 0x00003331, 558 0x00007f81, 0x000054d9, 0x00003324, 0x0000007d, 559 0x000054d8, 0x000032b7, 0x00000070, 0x0000007c, 560 0x000032b6, 0x00000003, 0x0000006f, 0x0000007b, 561 0x00000002, 0x00000002, 0x0000006e, 0x0000007a, 562 0x00000001, 0x00000001, 0x0000006d, 0x0000000d, 563 0x00000000, 0x00000000, 0x00000000, 0x00000000, 564 0x00000001, 0x0000006d, 0x0000000d, 0x00000001, 565 0x0000006e, 0x0000007a, 0x0000000e, 0x00000002, 566 0x0000007a, 0x0000000e, 0x00000002, 0x00000002, 567 0x0000007b, 0x0000000f, 0x00000003, 0x00000003, 568 0x0000007c, 0x00000010, 0x00000004, 0x00000004, 569 0x0000007d, 0x00000011, 0x00000005, 0x00000012, 570 0x0000007e, 0x00000012, 0x00000013, 0x0000007f, 571 0x0000007f, 0x00000020, 0x00000080, 0x00000080, 572 0x0000008d, 0x0000008d, 0x00000081, 0x00000081, 573 0x000000fa, 0x0000008e, 0x00000082, 0x00003335, 574 0x000000fb, 0x0000008f, 0x00003336, 0x00005557, 575 0x000000fc, 0x00003343, 0x00005558, 0x00007fff, 576 0x000033b0, 0x00005565, 0x00008000, 0x00008000, 577 0x000055d2, 0x0000800d, 0x00008001, 0x00008001, 578 0x0000807a, 0x0000800e, 0x00008002, 0x00007ffe, 579 0x0000807b, 0x0000800f, 0x00007ffd, 0x00007ffd, 580 0x0000807c, 0x00007ff0, 0x00007ffc, 0x00005554, 581 0x00007f83, 0x00007fef, 0x00005553, 0x00003332, 582 0x00007f82, 0x00005546, 0x00003331, 0x0000007e, 583 0x000054d9, 0x00003324, 0x0000007d, 0x0000007d, 584 0x000032b7, 0x00000070, 0x0000007c, 0x0000007c, 585 0x00000003, 0x0000006f, 0x0000007b, 0x0000007b, 586 0x00000002, 0x0000006e, 0x0000007a, 0x0000000e, 587 0x00000001, 0x0000006d, 0x0000000d, 0x00000001, 588 0x00000000, 0x00000000, 0x00000000, 0x00000000, 589 0x0000006d, 0x0000000d, 0x00000001, 0x00000001, 590 0x0000000d, 0x00000001, 0x00000001, 0x00000001, 591 0x0000000e, 0x00000002, 0x00000002, 0x00000002, 592 0x0000000f, 0x00000003, 0x00000003, 0x00000003, 593 0x00000010, 0x00000004, 0x00000004, 0x00000011, 594 0x00000011, 0x00000005, 0x00000012, 0x0000007e, 595 0x00000012, 0x00000013, 0x0000007f, 0x0000007f, 596 0x00000020, 0x00000080, 0x00000080, 0x00000080, 597 0x0000008d, 0x00000081, 0x00000081, 0x00003334, 598 0x0000008e, 0x00000082, 0x00003335, 0x00005556, 599 0x0000008f, 0x00003336, 0x00005557, 0x00007ffe, 600 0x00003343, 0x00005558, 0x00007fff, 0x00007fff, 601 0x00005565, 0x00008000, 0x00008000, 0x00008000, 602 0x0000800d, 0x00008001, 0x00008001, 0x00007fff, 603 0x0000800e, 0x00008002, 0x00007ffe, 0x00007ffe, 604 0x0000800f, 0x00007ffd, 0x00007ffd, 0x00005555, 605 0x00007ff0, 0x00007ffc, 0x00005554, 0x00003333, 606 0x00007fef, 0x00005553, 0x00003332, 0x0000007f, 607 0x00005546, 0x00003331, 0x0000007e, 0x0000007e, 608 0x00003324, 0x0000007d, 0x0000007d, 0x0000007d, 609 0x00000070, 0x0000007c, 0x0000007c, 0x0000007c, 610 0x0000006f, 0x0000007b, 0x0000007b, 0x0000000f, 611 0x0000006e, 0x0000007a, 0x0000000e, 0x00000002, 612 0x0000006d, 0x0000000d, 0x00000001, 0x00000001, 613 0x00000000, 0x00000000, 0x00000000, 0x00000000, 614 }; 615 const unsigned kExpectedCount_NEON_sabdl2_4S = 576; 616 617 #endif // VIXL_SIM_SABDL2_4S_TRACE_AARCH64_H_ 618