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