• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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