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_USHR_8H_2OPIMM_TRACE_AARCH64_H_ 35 #define VIXL_SIM_USHR_8H_2OPIMM_TRACE_AARCH64_H_ 36 37 const uint16_t kExpected_NEON_ushr_8H_2OPIMM[] = { 38 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 39 0x3fe0, 0x3fe0, 0x3fe0, 0x3ffc, 0x3fff, 0x3fff, 0x3fff, 0x0000, 40 0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe, 0x1fff, 0x1fff, 0x1fff, 0x0000, 41 0x0ff8, 0x0ff8, 0x0ff8, 0x0fff, 0x0fff, 0x0fff, 0x0fff, 0x0000, 42 0x07fc, 0x07fc, 0x07fc, 0x07ff, 0x07ff, 0x07ff, 0x07ff, 0x0000, 43 0x03fe, 0x03fe, 0x03fe, 0x03ff, 0x03ff, 0x03ff, 0x03ff, 0x0000, 44 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x0000, 45 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 46 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x0000, 47 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x0000, 48 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x0000, 49 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x0000, 50 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0000, 51 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0000, 52 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0000, 53 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 54 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 55 0x3fe0, 0x3fe0, 0x3ffc, 0x3fff, 0x3fff, 0x3fff, 0x0000, 0x0000, 56 0x1ff0, 0x1ff0, 0x1ffe, 0x1fff, 0x1fff, 0x1fff, 0x0000, 0x0000, 57 0x0ff8, 0x0ff8, 0x0fff, 0x0fff, 0x0fff, 0x0fff, 0x0000, 0x0000, 58 0x07fc, 0x07fc, 0x07ff, 0x07ff, 0x07ff, 0x07ff, 0x0000, 0x0000, 59 0x03fe, 0x03fe, 0x03ff, 0x03ff, 0x03ff, 0x03ff, 0x0000, 0x0000, 60 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x0000, 0x0000, 61 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 62 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x0000, 0x0000, 63 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x0000, 0x0000, 64 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x0000, 0x0000, 65 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x0000, 0x0000, 66 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0000, 0x0000, 67 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0000, 0x0000, 68 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0000, 0x0000, 69 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 70 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 71 0x3fe0, 0x3ffc, 0x3fff, 0x3fff, 0x3fff, 0x0000, 0x0000, 0x0000, 72 0x1ff0, 0x1ffe, 0x1fff, 0x1fff, 0x1fff, 0x0000, 0x0000, 0x0000, 73 0x0ff8, 0x0fff, 0x0fff, 0x0fff, 0x0fff, 0x0000, 0x0000, 0x0000, 74 0x07fc, 0x07ff, 0x07ff, 0x07ff, 0x07ff, 0x0000, 0x0000, 0x0000, 75 0x03fe, 0x03ff, 0x03ff, 0x03ff, 0x03ff, 0x0000, 0x0000, 0x0000, 76 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x0000, 0x0000, 0x0000, 77 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 78 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x0000, 0x0000, 0x0000, 79 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x0000, 0x0000, 0x0000, 80 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x0000, 0x0000, 0x0000, 81 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x0000, 0x0000, 0x0000, 82 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0000, 0x0000, 0x0000, 83 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0000, 0x0000, 0x0000, 84 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0000, 0x0000, 0x0000, 85 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 86 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 87 0x3ffc, 0x3fff, 0x3fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0004, 88 0x1ffe, 0x1fff, 0x1fff, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0002, 89 0x0fff, 0x0fff, 0x0fff, 0x0fff, 0x0000, 0x0000, 0x0000, 0x0001, 90 0x07ff, 0x07ff, 0x07ff, 0x07ff, 0x0000, 0x0000, 0x0000, 0x0000, 91 0x03ff, 0x03ff, 0x03ff, 0x03ff, 0x0000, 0x0000, 0x0000, 0x0000, 92 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x0000, 0x0000, 0x0000, 0x0000, 93 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 94 0x007f, 0x007f, 0x007f, 0x007f, 0x0000, 0x0000, 0x0000, 0x0000, 95 0x003f, 0x003f, 0x003f, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000, 96 0x001f, 0x001f, 0x001f, 0x001f, 0x0000, 0x0000, 0x0000, 0x0000, 97 0x000f, 0x000f, 0x000f, 0x000f, 0x0000, 0x0000, 0x0000, 0x0000, 98 0x0007, 0x0007, 0x0007, 0x0007, 0x0000, 0x0000, 0x0000, 0x0000, 99 0x0003, 0x0003, 0x0003, 0x0003, 0x0000, 0x0000, 0x0000, 0x0000, 100 0x0001, 0x0001, 0x0001, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000, 101 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 102 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 103 0x3fff, 0x3fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 104 0x1fff, 0x1fff, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 105 0x0fff, 0x0fff, 0x0fff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 106 0x07ff, 0x07ff, 0x07ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 107 0x03ff, 0x03ff, 0x03ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 108 0x01ff, 0x01ff, 0x01ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 109 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 110 0x007f, 0x007f, 0x007f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 111 0x003f, 0x003f, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 112 0x001f, 0x001f, 0x001f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 113 0x000f, 0x000f, 0x000f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 114 0x0007, 0x0007, 0x0007, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 115 0x0003, 0x0003, 0x0003, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 116 0x0001, 0x0001, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 117 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 118 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 119 0x3fff, 0x3fff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 120 0x1fff, 0x1fff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 121 0x0fff, 0x0fff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 122 0x07ff, 0x07ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 123 0x03ff, 0x03ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 124 0x01ff, 0x01ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 125 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 126 0x007f, 0x007f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 127 0x003f, 0x003f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 128 0x001f, 0x001f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 129 0x000f, 0x000f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 130 0x0007, 0x0007, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 131 0x0003, 0x0003, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 132 0x0001, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 133 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 134 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 135 0x3fff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 136 0x1fff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 137 0x0fff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 138 0x07ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 139 0x03ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 140 0x01ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 141 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 142 0x007f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 143 0x003f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 144 0x001f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 145 0x000f, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 146 0x0007, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 147 0x0003, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 148 0x0001, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 149 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 150 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 151 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 152 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 153 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 154 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 155 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 156 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 157 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 158 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 159 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 160 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 161 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 162 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 163 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 164 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 165 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 166 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 167 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 168 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 169 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 170 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 171 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 172 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 173 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 174 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 175 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 176 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 177 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 178 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 179 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 180 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 181 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 182 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 183 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 184 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 185 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 186 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 187 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 188 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 189 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 190 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 191 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 192 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 193 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 194 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 195 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 196 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 197 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 198 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 199 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 200 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 201 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 202 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 203 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 204 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 205 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 206 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 207 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 208 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 209 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 210 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 211 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 212 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 213 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 214 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 215 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 216 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 217 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 218 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 219 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 220 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 221 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 222 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 223 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 224 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 225 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 226 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 227 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 228 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 229 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 230 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 231 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x2000, 232 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x1000, 233 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x0800, 234 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x0400, 235 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x0200, 236 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0100, 237 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x0080, 238 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0x0040, 239 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0x0020, 240 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0x0010, 241 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0x0008, 242 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0x0004, 243 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0002, 244 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 245 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 246 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 247 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x2000, 0x2000, 248 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x1000, 0x1000, 249 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x0800, 0x0800, 250 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x0400, 0x0400, 251 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x0200, 0x0200, 252 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0100, 0x0100, 253 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x0080, 0x0080, 254 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0x0040, 0x0040, 255 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0x0020, 0x0020, 256 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0x0010, 0x0010, 257 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0x0008, 0x0008, 258 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0x0004, 0x0004, 259 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0002, 0x0002, 260 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 261 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 262 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 263 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x2000, 0x2000, 0x2aaa, 264 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x1000, 0x1000, 0x1555, 265 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x0800, 0x0800, 0x0aaa, 266 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x0400, 0x0400, 0x0555, 267 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x0200, 0x0200, 0x02aa, 268 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0100, 0x0100, 0x0155, 269 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x0080, 0x0080, 0x00aa, 270 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0x0040, 0x0040, 0x0055, 271 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0x0020, 0x0020, 0x002a, 272 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0x0010, 0x0010, 0x0015, 273 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0x0008, 0x0008, 0x000a, 274 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0x0004, 0x0004, 0x0005, 275 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 276 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 277 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 278 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 279 0x1555, 0x1fff, 0x1fff, 0x1fff, 0x2000, 0x2000, 0x2aaa, 0x3333, 280 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0x1000, 0x1000, 0x1555, 0x1999, 281 0x0555, 0x07ff, 0x07ff, 0x07ff, 0x0800, 0x0800, 0x0aaa, 0x0ccc, 282 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0x0400, 0x0400, 0x0555, 0x0666, 283 0x0155, 0x01ff, 0x01ff, 0x01ff, 0x0200, 0x0200, 0x02aa, 0x0333, 284 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0100, 0x0100, 0x0155, 0x0199, 285 0x0055, 0x007f, 0x007f, 0x007f, 0x0080, 0x0080, 0x00aa, 0x00cc, 286 0x002a, 0x003f, 0x003f, 0x003f, 0x0040, 0x0040, 0x0055, 0x0066, 287 0x0015, 0x001f, 0x001f, 0x001f, 0x0020, 0x0020, 0x002a, 0x0033, 288 0x000a, 0x000f, 0x000f, 0x000f, 0x0010, 0x0010, 0x0015, 0x0019, 289 0x0005, 0x0007, 0x0007, 0x0007, 0x0008, 0x0008, 0x000a, 0x000c, 290 0x0002, 0x0003, 0x0003, 0x0003, 0x0004, 0x0004, 0x0005, 0x0006, 291 0x0001, 0x0001, 0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 0x0003, 292 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 293 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 294 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 295 0x1fff, 0x1fff, 0x1fff, 0x2000, 0x2000, 0x2aaa, 0x3333, 0x3fe0, 296 0x0fff, 0x0fff, 0x0fff, 0x1000, 0x1000, 0x1555, 0x1999, 0x1ff0, 297 0x07ff, 0x07ff, 0x07ff, 0x0800, 0x0800, 0x0aaa, 0x0ccc, 0x0ff8, 298 0x03ff, 0x03ff, 0x03ff, 0x0400, 0x0400, 0x0555, 0x0666, 0x07fc, 299 0x01ff, 0x01ff, 0x01ff, 0x0200, 0x0200, 0x02aa, 0x0333, 0x03fe, 300 0x00ff, 0x00ff, 0x00ff, 0x0100, 0x0100, 0x0155, 0x0199, 0x01ff, 301 0x007f, 0x007f, 0x007f, 0x0080, 0x0080, 0x00aa, 0x00cc, 0x00ff, 302 0x003f, 0x003f, 0x003f, 0x0040, 0x0040, 0x0055, 0x0066, 0x007f, 303 0x001f, 0x001f, 0x001f, 0x0020, 0x0020, 0x002a, 0x0033, 0x003f, 304 0x000f, 0x000f, 0x000f, 0x0010, 0x0010, 0x0015, 0x0019, 0x001f, 305 0x0007, 0x0007, 0x0007, 0x0008, 0x0008, 0x000a, 0x000c, 0x000f, 306 0x0003, 0x0003, 0x0003, 0x0004, 0x0004, 0x0005, 0x0006, 0x0007, 307 0x0001, 0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 0x0003, 0x0003, 308 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 309 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 310 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 311 0x1fff, 0x1fff, 0x2000, 0x2000, 0x2aaa, 0x3333, 0x3fe0, 0x3fe0, 312 0x0fff, 0x0fff, 0x1000, 0x1000, 0x1555, 0x1999, 0x1ff0, 0x1ff0, 313 0x07ff, 0x07ff, 0x0800, 0x0800, 0x0aaa, 0x0ccc, 0x0ff8, 0x0ff8, 314 0x03ff, 0x03ff, 0x0400, 0x0400, 0x0555, 0x0666, 0x07fc, 0x07fc, 315 0x01ff, 0x01ff, 0x0200, 0x0200, 0x02aa, 0x0333, 0x03fe, 0x03fe, 316 0x00ff, 0x00ff, 0x0100, 0x0100, 0x0155, 0x0199, 0x01ff, 0x01ff, 317 0x007f, 0x007f, 0x0080, 0x0080, 0x00aa, 0x00cc, 0x00ff, 0x00ff, 318 0x003f, 0x003f, 0x0040, 0x0040, 0x0055, 0x0066, 0x007f, 0x007f, 319 0x001f, 0x001f, 0x0020, 0x0020, 0x002a, 0x0033, 0x003f, 0x003f, 320 0x000f, 0x000f, 0x0010, 0x0010, 0x0015, 0x0019, 0x001f, 0x001f, 321 0x0007, 0x0007, 0x0008, 0x0008, 0x000a, 0x000c, 0x000f, 0x000f, 322 0x0003, 0x0003, 0x0004, 0x0004, 0x0005, 0x0006, 0x0007, 0x0007, 323 0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 0x0003, 0x0003, 0x0003, 324 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 325 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 326 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 327 0x1fff, 0x2000, 0x2000, 0x2aaa, 0x3333, 0x3fe0, 0x3fe0, 0x3fe0, 328 0x0fff, 0x1000, 0x1000, 0x1555, 0x1999, 0x1ff0, 0x1ff0, 0x1ff0, 329 0x07ff, 0x0800, 0x0800, 0x0aaa, 0x0ccc, 0x0ff8, 0x0ff8, 0x0ff8, 330 0x03ff, 0x0400, 0x0400, 0x0555, 0x0666, 0x07fc, 0x07fc, 0x07fc, 331 0x01ff, 0x0200, 0x0200, 0x02aa, 0x0333, 0x03fe, 0x03fe, 0x03fe, 332 0x00ff, 0x0100, 0x0100, 0x0155, 0x0199, 0x01ff, 0x01ff, 0x01ff, 333 0x007f, 0x0080, 0x0080, 0x00aa, 0x00cc, 0x00ff, 0x00ff, 0x00ff, 334 0x003f, 0x0040, 0x0040, 0x0055, 0x0066, 0x007f, 0x007f, 0x007f, 335 0x001f, 0x0020, 0x0020, 0x002a, 0x0033, 0x003f, 0x003f, 0x003f, 336 0x000f, 0x0010, 0x0010, 0x0015, 0x0019, 0x001f, 0x001f, 0x001f, 337 0x0007, 0x0008, 0x0008, 0x000a, 0x000c, 0x000f, 0x000f, 0x000f, 338 0x0003, 0x0004, 0x0004, 0x0005, 0x0006, 0x0007, 0x0007, 0x0007, 339 0x0001, 0x0002, 0x0002, 0x0002, 0x0003, 0x0003, 0x0003, 0x0003, 340 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 341 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 342 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 343 0x2000, 0x2000, 0x2aaa, 0x3333, 0x3fe0, 0x3fe0, 0x3fe0, 0x3fe0, 344 0x1000, 0x1000, 0x1555, 0x1999, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0, 345 0x0800, 0x0800, 0x0aaa, 0x0ccc, 0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8, 346 0x0400, 0x0400, 0x0555, 0x0666, 0x07fc, 0x07fc, 0x07fc, 0x07fc, 347 0x0200, 0x0200, 0x02aa, 0x0333, 0x03fe, 0x03fe, 0x03fe, 0x03fe, 348 0x0100, 0x0100, 0x0155, 0x0199, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 349 0x0080, 0x0080, 0x00aa, 0x00cc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 350 0x0040, 0x0040, 0x0055, 0x0066, 0x007f, 0x007f, 0x007f, 0x007f, 351 0x0020, 0x0020, 0x002a, 0x0033, 0x003f, 0x003f, 0x003f, 0x003f, 352 0x0010, 0x0010, 0x0015, 0x0019, 0x001f, 0x001f, 0x001f, 0x001f, 353 0x0008, 0x0008, 0x000a, 0x000c, 0x000f, 0x000f, 0x000f, 0x000f, 354 0x0004, 0x0004, 0x0005, 0x0006, 0x0007, 0x0007, 0x0007, 0x0007, 355 0x0002, 0x0002, 0x0002, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 356 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 357 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 358 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 359 0x2000, 0x2aaa, 0x3333, 0x3fe0, 0x3fe0, 0x3fe0, 0x3fe0, 0x3ffc, 360 0x1000, 0x1555, 0x1999, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe, 361 0x0800, 0x0aaa, 0x0ccc, 0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8, 0x0fff, 362 0x0400, 0x0555, 0x0666, 0x07fc, 0x07fc, 0x07fc, 0x07fc, 0x07ff, 363 0x0200, 0x02aa, 0x0333, 0x03fe, 0x03fe, 0x03fe, 0x03fe, 0x03ff, 364 0x0100, 0x0155, 0x0199, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 365 0x0080, 0x00aa, 0x00cc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 366 0x0040, 0x0055, 0x0066, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 367 0x0020, 0x002a, 0x0033, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 368 0x0010, 0x0015, 0x0019, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 369 0x0008, 0x000a, 0x000c, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 370 0x0004, 0x0005, 0x0006, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 371 0x0002, 0x0002, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 372 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 373 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 374 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 375 0x2aaa, 0x3333, 0x3fe0, 0x3fe0, 0x3fe0, 0x3fe0, 0x3ffc, 0x3fff, 376 0x1555, 0x1999, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe, 0x1fff, 377 0x0aaa, 0x0ccc, 0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8, 0x0fff, 0x0fff, 378 0x0555, 0x0666, 0x07fc, 0x07fc, 0x07fc, 0x07fc, 0x07ff, 0x07ff, 379 0x02aa, 0x0333, 0x03fe, 0x03fe, 0x03fe, 0x03fe, 0x03ff, 0x03ff, 380 0x0155, 0x0199, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 381 0x00aa, 0x00cc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 382 0x0055, 0x0066, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 383 0x002a, 0x0033, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 384 0x0015, 0x0019, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 385 0x000a, 0x000c, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 386 0x0005, 0x0006, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 387 0x0002, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 388 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 389 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 390 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 391 0x3333, 0x3fe0, 0x3fe0, 0x3fe0, 0x3fe0, 0x3ffc, 0x3fff, 0x3fff, 392 0x1999, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe, 0x1fff, 0x1fff, 393 0x0ccc, 0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8, 0x0fff, 0x0fff, 0x0fff, 394 0x0666, 0x07fc, 0x07fc, 0x07fc, 0x07fc, 0x07ff, 0x07ff, 0x07ff, 395 0x0333, 0x03fe, 0x03fe, 0x03fe, 0x03fe, 0x03ff, 0x03ff, 0x03ff, 396 0x0199, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 397 0x00cc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 398 0x0066, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 399 0x0033, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 400 0x0019, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 401 0x000c, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 402 0x0006, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 403 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 404 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 405 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 406 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 407 0x3fe0, 0x3fe0, 0x3fe0, 0x3fe0, 0x3ffc, 0x3fff, 0x3fff, 0x3fff, 408 0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe, 0x1fff, 0x1fff, 0x1fff, 409 0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8, 0x0fff, 0x0fff, 0x0fff, 0x0fff, 410 0x07fc, 0x07fc, 0x07fc, 0x07fc, 0x07ff, 0x07ff, 0x07ff, 0x07ff, 411 0x03fe, 0x03fe, 0x03fe, 0x03fe, 0x03ff, 0x03ff, 0x03ff, 0x03ff, 412 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 413 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 414 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 0x007f, 415 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 0x003f, 416 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 0x001f, 417 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 0x000f, 418 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 0x0007, 419 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 0x0003, 420 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 421 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 422 }; 423 const unsigned kExpectedCount_NEON_ushr_8H_2OPIMM = 384; 424 425 #endif // VIXL_SIM_USHR_8H_2OPIMM_TRACE_AARCH64_H_ 426