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