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_SHRN_8B_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SHRN_8B_2OPIMM_TRACE_AARCH64_H_
36
37const uint8_t kExpected_NEON_shrn_8B_2OPIMM[] = {
38  0x00c0, 0x00c1, 0x00c1, 0x00f8, 0x00fe, 0x00ff, 0x00ff, 0x0000,
39  0x00e0, 0x00e0, 0x00e0, 0x00fc, 0x00ff, 0x00ff, 0x00ff, 0x0000,
40  0x00f0, 0x00f0, 0x00f0, 0x00fe, 0x00ff, 0x00ff, 0x00ff, 0x0000,
41  0x00f8, 0x00f8, 0x00f8, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000,
42  0x00fc, 0x00fc, 0x00fc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000,
43  0x00fe, 0x00fe, 0x00fe, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000,
44  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000,
45  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000,
46  0x00c1, 0x00c1, 0x00f8, 0x00fe, 0x00ff, 0x00ff, 0x0000, 0x0000,
47  0x00e0, 0x00e0, 0x00fc, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
48  0x00f0, 0x00f0, 0x00fe, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
49  0x00f8, 0x00f8, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
50  0x00fc, 0x00fc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
51  0x00fe, 0x00fe, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
52  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
53  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
54  0x00c1, 0x00f8, 0x00fe, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0001,
55  0x00e0, 0x00fc, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000,
56  0x00f0, 0x00fe, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000,
57  0x00f8, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000,
58  0x00fc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000,
59  0x00fe, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000,
60  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000,
61  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000,
62  0x00f8, 0x00fe, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0001, 0x0008,
63  0x00fc, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0004,
64  0x00fe, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0002,
65  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0001,
66  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000,
67  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000,
68  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000,
69  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000,
70  0x00fe, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e,
71  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f,
72  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f,
73  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007,
74  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003,
75  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
76  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
77  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
78  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f,
79  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f,
80  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f,
81  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007,
82  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003,
83  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
84  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
85  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
86  0x00ff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f,
87  0x00ff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f,
88  0x00ff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f,
89  0x00ff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007,
90  0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003,
91  0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
92  0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
93  0x00ff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
94  0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x0099,
95  0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x00cc,
96  0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0066,
97  0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0033,
98  0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0099,
99  0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc,
100  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066,
101  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033,
102  0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x0099, 0x00aa,
103  0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x00cc, 0x0055,
104  0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0066, 0x00aa,
105  0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0033, 0x0055,
106  0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0099, 0x00aa,
107  0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0055,
108  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa,
109  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055,
110  0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x0099, 0x00aa, 0x00fe,
111  0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x00cc, 0x0055, 0x00ff,
112  0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0066, 0x00aa, 0x00ff,
113  0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0033, 0x0055, 0x00ff,
114  0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0099, 0x00aa, 0x00ff,
115  0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0055, 0x00ff,
116  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff,
117  0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f,
118  0x0008, 0x003e, 0x003f, 0x003f, 0x0099, 0x00aa, 0x00fe, 0x00ff,
119  0x0004, 0x001f, 0x001f, 0x001f, 0x00cc, 0x0055, 0x00ff, 0x00ff,
120  0x0002, 0x000f, 0x000f, 0x000f, 0x0066, 0x00aa, 0x00ff, 0x00ff,
121  0x0001, 0x0007, 0x0007, 0x0007, 0x0033, 0x0055, 0x00ff, 0x00ff,
122  0x0000, 0x0003, 0x0003, 0x0003, 0x0099, 0x00aa, 0x00ff, 0x00ff,
123  0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0055, 0x00ff, 0x00ff,
124  0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff,
125  0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f,
126  0x003e, 0x003f, 0x003f, 0x0099, 0x00aa, 0x00fe, 0x00ff, 0x00ff,
127  0x001f, 0x001f, 0x001f, 0x00cc, 0x0055, 0x00ff, 0x00ff, 0x00ff,
128  0x000f, 0x000f, 0x000f, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff,
129  0x0007, 0x0007, 0x0007, 0x0033, 0x0055, 0x00ff, 0x00ff, 0x00ff,
130  0x0003, 0x0003, 0x0003, 0x0099, 0x00aa, 0x00ff, 0x00ff, 0x00ff,
131  0x0001, 0x0001, 0x0001, 0x00cc, 0x0055, 0x00ff, 0x00ff, 0x00ff,
132  0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff,
133  0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f,
134  0x003f, 0x003f, 0x0099, 0x00aa, 0x00fe, 0x00ff, 0x00ff, 0x0000,
135  0x001f, 0x001f, 0x00cc, 0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000,
136  0x000f, 0x000f, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000,
137  0x0007, 0x0007, 0x0033, 0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000,
138  0x0003, 0x0003, 0x0099, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000,
139  0x0001, 0x0001, 0x00cc, 0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000,
140  0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000,
141  0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x0080,
142  0x003f, 0x0099, 0x00aa, 0x00fe, 0x00ff, 0x00ff, 0x0000, 0x0000,
143  0x001f, 0x00cc, 0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
144  0x000f, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
145  0x0007, 0x0033, 0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
146  0x0003, 0x0099, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
147  0x0001, 0x00cc, 0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
148  0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000,
149  0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x0080, 0x0080,
150  0x0099, 0x00aa, 0x00fe, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055,
151  0x00cc, 0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa,
152  0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055,
153  0x0033, 0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa,
154  0x0099, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055,
155  0x00cc, 0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa,
156  0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055,
157  0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0x0080, 0x0080, 0x00aa,
158  0x00aa, 0x00fe, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0066,
159  0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa, 0x0033,
160  0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0099,
161  0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa, 0x00cc,
162  0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0066,
163  0x0055, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa, 0x0033,
164  0x00aa, 0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0099,
165  0x0055, 0x007f, 0x007f, 0x007f, 0x0080, 0x0080, 0x00aa, 0x00cc,
166  0x00fe, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0066, 0x00c0,
167  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa, 0x0033, 0x00e0,
168  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0099, 0x00f0,
169  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa, 0x00cc, 0x00f8,
170  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0066, 0x00fc,
171  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa, 0x0033, 0x00fe,
172  0x00ff, 0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0099, 0x00ff,
173  0x007f, 0x007f, 0x007f, 0x0080, 0x0080, 0x00aa, 0x00cc, 0x00ff,
174  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0066, 0x00c0, 0x00c0,
175  0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa, 0x0033, 0x00e0, 0x00e0,
176  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0099, 0x00f0, 0x00f0,
177  0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa, 0x00cc, 0x00f8, 0x00f8,
178  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0066, 0x00fc, 0x00fc,
179  0x00ff, 0x00ff, 0x0000, 0x0000, 0x00aa, 0x0033, 0x00fe, 0x00fe,
180  0x00ff, 0x00ff, 0x0000, 0x0000, 0x0055, 0x0099, 0x00ff, 0x00ff,
181  0x007f, 0x007f, 0x0080, 0x0080, 0x00aa, 0x00cc, 0x00ff, 0x00ff,
182  0x00ff, 0x0000, 0x0000, 0x0055, 0x0066, 0x00c0, 0x00c0, 0x00c1,
183  0x00ff, 0x0000, 0x0000, 0x00aa, 0x0033, 0x00e0, 0x00e0, 0x00e0,
184  0x00ff, 0x0000, 0x0000, 0x0055, 0x0099, 0x00f0, 0x00f0, 0x00f0,
185  0x00ff, 0x0000, 0x0000, 0x00aa, 0x00cc, 0x00f8, 0x00f8, 0x00f8,
186  0x00ff, 0x0000, 0x0000, 0x0055, 0x0066, 0x00fc, 0x00fc, 0x00fc,
187  0x00ff, 0x0000, 0x0000, 0x00aa, 0x0033, 0x00fe, 0x00fe, 0x00fe,
188  0x00ff, 0x0000, 0x0000, 0x0055, 0x0099, 0x00ff, 0x00ff, 0x00ff,
189  0x007f, 0x0080, 0x0080, 0x00aa, 0x00cc, 0x00ff, 0x00ff, 0x00ff,
190  0x0000, 0x0000, 0x0055, 0x0066, 0x00c0, 0x00c0, 0x00c1, 0x00c1,
191  0x0000, 0x0000, 0x00aa, 0x0033, 0x00e0, 0x00e0, 0x00e0, 0x00e0,
192  0x0000, 0x0000, 0x0055, 0x0099, 0x00f0, 0x00f0, 0x00f0, 0x00f0,
193  0x0000, 0x0000, 0x00aa, 0x00cc, 0x00f8, 0x00f8, 0x00f8, 0x00f8,
194  0x0000, 0x0000, 0x0055, 0x0066, 0x00fc, 0x00fc, 0x00fc, 0x00fc,
195  0x0000, 0x0000, 0x00aa, 0x0033, 0x00fe, 0x00fe, 0x00fe, 0x00fe,
196  0x0000, 0x0000, 0x0055, 0x0099, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
197  0x0080, 0x0080, 0x00aa, 0x00cc, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
198  0x0000, 0x0055, 0x0066, 0x00c0, 0x00c0, 0x00c1, 0x00c1, 0x00f8,
199  0x0000, 0x00aa, 0x0033, 0x00e0, 0x00e0, 0x00e0, 0x00e0, 0x00fc,
200  0x0000, 0x0055, 0x0099, 0x00f0, 0x00f0, 0x00f0, 0x00f0, 0x00fe,
201  0x0000, 0x00aa, 0x00cc, 0x00f8, 0x00f8, 0x00f8, 0x00f8, 0x00ff,
202  0x0000, 0x0055, 0x0066, 0x00fc, 0x00fc, 0x00fc, 0x00fc, 0x00ff,
203  0x0000, 0x00aa, 0x0033, 0x00fe, 0x00fe, 0x00fe, 0x00fe, 0x00ff,
204  0x0000, 0x0055, 0x0099, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
205  0x0080, 0x00aa, 0x00cc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
206  0x0055, 0x0066, 0x00c0, 0x00c0, 0x00c1, 0x00c1, 0x00f8, 0x00fe,
207  0x00aa, 0x0033, 0x00e0, 0x00e0, 0x00e0, 0x00e0, 0x00fc, 0x00ff,
208  0x0055, 0x0099, 0x00f0, 0x00f0, 0x00f0, 0x00f0, 0x00fe, 0x00ff,
209  0x00aa, 0x00cc, 0x00f8, 0x00f8, 0x00f8, 0x00f8, 0x00ff, 0x00ff,
210  0x0055, 0x0066, 0x00fc, 0x00fc, 0x00fc, 0x00fc, 0x00ff, 0x00ff,
211  0x00aa, 0x0033, 0x00fe, 0x00fe, 0x00fe, 0x00fe, 0x00ff, 0x00ff,
212  0x0055, 0x0099, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
213  0x00aa, 0x00cc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
214  0x0066, 0x00c0, 0x00c0, 0x00c1, 0x00c1, 0x00f8, 0x00fe, 0x00ff,
215  0x0033, 0x00e0, 0x00e0, 0x00e0, 0x00e0, 0x00fc, 0x00ff, 0x00ff,
216  0x0099, 0x00f0, 0x00f0, 0x00f0, 0x00f0, 0x00fe, 0x00ff, 0x00ff,
217  0x00cc, 0x00f8, 0x00f8, 0x00f8, 0x00f8, 0x00ff, 0x00ff, 0x00ff,
218  0x0066, 0x00fc, 0x00fc, 0x00fc, 0x00fc, 0x00ff, 0x00ff, 0x00ff,
219  0x0033, 0x00fe, 0x00fe, 0x00fe, 0x00fe, 0x00ff, 0x00ff, 0x00ff,
220  0x0099, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
221  0x00cc, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
222  0x00c0, 0x00c0, 0x00c1, 0x00c1, 0x00f8, 0x00fe, 0x00ff, 0x00ff,
223  0x00e0, 0x00e0, 0x00e0, 0x00e0, 0x00fc, 0x00ff, 0x00ff, 0x00ff,
224  0x00f0, 0x00f0, 0x00f0, 0x00f0, 0x00fe, 0x00ff, 0x00ff, 0x00ff,
225  0x00f8, 0x00f8, 0x00f8, 0x00f8, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
226  0x00fc, 0x00fc, 0x00fc, 0x00fc, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
227  0x00fe, 0x00fe, 0x00fe, 0x00fe, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
228  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
229  0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff, 0x00ff,
230};
231const unsigned kExpectedCount_NEON_shrn_8B_2OPIMM = 192;
232
233#endif  // VIXL_SIM_SHRN_8B_2OPIMM_TRACE_AARCH64_H_
234