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_USHLL2_8H_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_USHLL2_8H_2OPIMM_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_ushll2_8H_2OPIMM[] = {
38  0x0083, 0x00aa, 0x00cc, 0x00f8, 0x00fd, 0x00fe, 0x00ff, 0x0000,
39  0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000,
40  0x020c, 0x02a8, 0x0330, 0x03e0, 0x03f4, 0x03f8, 0x03fc, 0x0000,
41  0x0418, 0x0550, 0x0660, 0x07c0, 0x07e8, 0x07f0, 0x07f8, 0x0000,
42  0x0830, 0x0aa0, 0x0cc0, 0x0f80, 0x0fd0, 0x0fe0, 0x0ff0, 0x0000,
43  0x1060, 0x1540, 0x1980, 0x1f00, 0x1fa0, 0x1fc0, 0x1fe0, 0x0000,
44  0x20c0, 0x2a80, 0x3300, 0x3e00, 0x3f40, 0x3f80, 0x3fc0, 0x0000,
45  0x4180, 0x5500, 0x6600, 0x7c00, 0x7e80, 0x7f00, 0x7f80, 0x0000,
46  0x00aa, 0x00cc, 0x00f8, 0x00fd, 0x00fe, 0x00ff, 0x0000, 0x0001,
47  0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002,
48  0x02a8, 0x0330, 0x03e0, 0x03f4, 0x03f8, 0x03fc, 0x0000, 0x0004,
49  0x0550, 0x0660, 0x07c0, 0x07e8, 0x07f0, 0x07f8, 0x0000, 0x0008,
50  0x0aa0, 0x0cc0, 0x0f80, 0x0fd0, 0x0fe0, 0x0ff0, 0x0000, 0x0010,
51  0x1540, 0x1980, 0x1f00, 0x1fa0, 0x1fc0, 0x1fe0, 0x0000, 0x0020,
52  0x2a80, 0x3300, 0x3e00, 0x3f40, 0x3f80, 0x3fc0, 0x0000, 0x0040,
53  0x5500, 0x6600, 0x7c00, 0x7e80, 0x7f00, 0x7f80, 0x0000, 0x0080,
54  0x00cc, 0x00f8, 0x00fd, 0x00fe, 0x00ff, 0x0000, 0x0001, 0x0002,
55  0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004,
56  0x0330, 0x03e0, 0x03f4, 0x03f8, 0x03fc, 0x0000, 0x0004, 0x0008,
57  0x0660, 0x07c0, 0x07e8, 0x07f0, 0x07f8, 0x0000, 0x0008, 0x0010,
58  0x0cc0, 0x0f80, 0x0fd0, 0x0fe0, 0x0ff0, 0x0000, 0x0010, 0x0020,
59  0x1980, 0x1f00, 0x1fa0, 0x1fc0, 0x1fe0, 0x0000, 0x0020, 0x0040,
60  0x3300, 0x3e00, 0x3f40, 0x3f80, 0x3fc0, 0x0000, 0x0040, 0x0080,
61  0x6600, 0x7c00, 0x7e80, 0x7f00, 0x7f80, 0x0000, 0x0080, 0x0100,
62  0x00f8, 0x00fd, 0x00fe, 0x00ff, 0x0000, 0x0001, 0x0002, 0x0008,
63  0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004, 0x0010,
64  0x03e0, 0x03f4, 0x03f8, 0x03fc, 0x0000, 0x0004, 0x0008, 0x0020,
65  0x07c0, 0x07e8, 0x07f0, 0x07f8, 0x0000, 0x0008, 0x0010, 0x0040,
66  0x0f80, 0x0fd0, 0x0fe0, 0x0ff0, 0x0000, 0x0010, 0x0020, 0x0080,
67  0x1f00, 0x1fa0, 0x1fc0, 0x1fe0, 0x0000, 0x0020, 0x0040, 0x0100,
68  0x3e00, 0x3f40, 0x3f80, 0x3fc0, 0x0000, 0x0040, 0x0080, 0x0200,
69  0x7c00, 0x7e80, 0x7f00, 0x7f80, 0x0000, 0x0080, 0x0100, 0x0400,
70  0x00fd, 0x00fe, 0x00ff, 0x0000, 0x0001, 0x0002, 0x0008, 0x0033,
71  0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066,
72  0x03f4, 0x03f8, 0x03fc, 0x0000, 0x0004, 0x0008, 0x0020, 0x00cc,
73  0x07e8, 0x07f0, 0x07f8, 0x0000, 0x0008, 0x0010, 0x0040, 0x0198,
74  0x0fd0, 0x0fe0, 0x0ff0, 0x0000, 0x0010, 0x0020, 0x0080, 0x0330,
75  0x1fa0, 0x1fc0, 0x1fe0, 0x0000, 0x0020, 0x0040, 0x0100, 0x0660,
76  0x3f40, 0x3f80, 0x3fc0, 0x0000, 0x0040, 0x0080, 0x0200, 0x0cc0,
77  0x7e80, 0x7f00, 0x7f80, 0x0000, 0x0080, 0x0100, 0x0400, 0x1980,
78  0x00fe, 0x00ff, 0x0000, 0x0001, 0x0002, 0x0008, 0x0033, 0x0055,
79  0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa,
80  0x03f8, 0x03fc, 0x0000, 0x0004, 0x0008, 0x0020, 0x00cc, 0x0154,
81  0x07f0, 0x07f8, 0x0000, 0x0008, 0x0010, 0x0040, 0x0198, 0x02a8,
82  0x0fe0, 0x0ff0, 0x0000, 0x0010, 0x0020, 0x0080, 0x0330, 0x0550,
83  0x1fc0, 0x1fe0, 0x0000, 0x0020, 0x0040, 0x0100, 0x0660, 0x0aa0,
84  0x3f80, 0x3fc0, 0x0000, 0x0040, 0x0080, 0x0200, 0x0cc0, 0x1540,
85  0x7f00, 0x7f80, 0x0000, 0x0080, 0x0100, 0x0400, 0x1980, 0x2a80,
86  0x00ff, 0x0000, 0x0001, 0x0002, 0x0008, 0x0033, 0x0055, 0x007d,
87  0x01fe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa,
88  0x03fc, 0x0000, 0x0004, 0x0008, 0x0020, 0x00cc, 0x0154, 0x01f4,
89  0x07f8, 0x0000, 0x0008, 0x0010, 0x0040, 0x0198, 0x02a8, 0x03e8,
90  0x0ff0, 0x0000, 0x0010, 0x0020, 0x0080, 0x0330, 0x0550, 0x07d0,
91  0x1fe0, 0x0000, 0x0020, 0x0040, 0x0100, 0x0660, 0x0aa0, 0x0fa0,
92  0x3fc0, 0x0000, 0x0040, 0x0080, 0x0200, 0x0cc0, 0x1540, 0x1f40,
93  0x7f80, 0x0000, 0x0080, 0x0100, 0x0400, 0x1980, 0x2a80, 0x3e80,
94  0x0000, 0x0001, 0x0002, 0x0008, 0x0033, 0x0055, 0x007d, 0x007e,
95  0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc,
96  0x0000, 0x0004, 0x0008, 0x0020, 0x00cc, 0x0154, 0x01f4, 0x01f8,
97  0x0000, 0x0008, 0x0010, 0x0040, 0x0198, 0x02a8, 0x03e8, 0x03f0,
98  0x0000, 0x0010, 0x0020, 0x0080, 0x0330, 0x0550, 0x07d0, 0x07e0,
99  0x0000, 0x0020, 0x0040, 0x0100, 0x0660, 0x0aa0, 0x0fa0, 0x0fc0,
100  0x0000, 0x0040, 0x0080, 0x0200, 0x0cc0, 0x1540, 0x1f40, 0x1f80,
101  0x0000, 0x0080, 0x0100, 0x0400, 0x1980, 0x2a80, 0x3e80, 0x3f00,
102  0x0001, 0x0002, 0x0008, 0x0033, 0x0055, 0x007d, 0x007e, 0x007f,
103  0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe,
104  0x0004, 0x0008, 0x0020, 0x00cc, 0x0154, 0x01f4, 0x01f8, 0x01fc,
105  0x0008, 0x0010, 0x0040, 0x0198, 0x02a8, 0x03e8, 0x03f0, 0x03f8,
106  0x0010, 0x0020, 0x0080, 0x0330, 0x0550, 0x07d0, 0x07e0, 0x07f0,
107  0x0020, 0x0040, 0x0100, 0x0660, 0x0aa0, 0x0fa0, 0x0fc0, 0x0fe0,
108  0x0040, 0x0080, 0x0200, 0x0cc0, 0x1540, 0x1f40, 0x1f80, 0x1fc0,
109  0x0080, 0x0100, 0x0400, 0x1980, 0x2a80, 0x3e80, 0x3f00, 0x3f80,
110  0x0002, 0x0008, 0x0033, 0x0055, 0x007d, 0x007e, 0x007f, 0x0080,
111  0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100,
112  0x0008, 0x0020, 0x00cc, 0x0154, 0x01f4, 0x01f8, 0x01fc, 0x0200,
113  0x0010, 0x0040, 0x0198, 0x02a8, 0x03e8, 0x03f0, 0x03f8, 0x0400,
114  0x0020, 0x0080, 0x0330, 0x0550, 0x07d0, 0x07e0, 0x07f0, 0x0800,
115  0x0040, 0x0100, 0x0660, 0x0aa0, 0x0fa0, 0x0fc0, 0x0fe0, 0x1000,
116  0x0080, 0x0200, 0x0cc0, 0x1540, 0x1f40, 0x1f80, 0x1fc0, 0x2000,
117  0x0100, 0x0400, 0x1980, 0x2a80, 0x3e80, 0x3f00, 0x3f80, 0x4000,
118  0x0008, 0x0033, 0x0055, 0x007d, 0x007e, 0x007f, 0x0080, 0x0081,
119  0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102,
120  0x0020, 0x00cc, 0x0154, 0x01f4, 0x01f8, 0x01fc, 0x0200, 0x0204,
121  0x0040, 0x0198, 0x02a8, 0x03e8, 0x03f0, 0x03f8, 0x0400, 0x0408,
122  0x0080, 0x0330, 0x0550, 0x07d0, 0x07e0, 0x07f0, 0x0800, 0x0810,
123  0x0100, 0x0660, 0x0aa0, 0x0fa0, 0x0fc0, 0x0fe0, 0x1000, 0x1020,
124  0x0200, 0x0cc0, 0x1540, 0x1f40, 0x1f80, 0x1fc0, 0x2000, 0x2040,
125  0x0400, 0x1980, 0x2a80, 0x3e80, 0x3f00, 0x3f80, 0x4000, 0x4080,
126  0x0033, 0x0055, 0x007d, 0x007e, 0x007f, 0x0080, 0x0081, 0x0082,
127  0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104,
128  0x00cc, 0x0154, 0x01f4, 0x01f8, 0x01fc, 0x0200, 0x0204, 0x0208,
129  0x0198, 0x02a8, 0x03e8, 0x03f0, 0x03f8, 0x0400, 0x0408, 0x0410,
130  0x0330, 0x0550, 0x07d0, 0x07e0, 0x07f0, 0x0800, 0x0810, 0x0820,
131  0x0660, 0x0aa0, 0x0fa0, 0x0fc0, 0x0fe0, 0x1000, 0x1020, 0x1040,
132  0x0cc0, 0x1540, 0x1f40, 0x1f80, 0x1fc0, 0x2000, 0x2040, 0x2080,
133  0x1980, 0x2a80, 0x3e80, 0x3f00, 0x3f80, 0x4000, 0x4080, 0x4100,
134  0x0055, 0x007d, 0x007e, 0x007f, 0x0080, 0x0081, 0x0082, 0x0083,
135  0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x0106,
136  0x0154, 0x01f4, 0x01f8, 0x01fc, 0x0200, 0x0204, 0x0208, 0x020c,
137  0x02a8, 0x03e8, 0x03f0, 0x03f8, 0x0400, 0x0408, 0x0410, 0x0418,
138  0x0550, 0x07d0, 0x07e0, 0x07f0, 0x0800, 0x0810, 0x0820, 0x0830,
139  0x0aa0, 0x0fa0, 0x0fc0, 0x0fe0, 0x1000, 0x1020, 0x1040, 0x1060,
140  0x1540, 0x1f40, 0x1f80, 0x1fc0, 0x2000, 0x2040, 0x2080, 0x20c0,
141  0x2a80, 0x3e80, 0x3f00, 0x3f80, 0x4000, 0x4080, 0x4100, 0x4180,
142  0x007d, 0x007e, 0x007f, 0x0080, 0x0081, 0x0082, 0x0083, 0x00aa,
143  0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x0106, 0x0154,
144  0x01f4, 0x01f8, 0x01fc, 0x0200, 0x0204, 0x0208, 0x020c, 0x02a8,
145  0x03e8, 0x03f0, 0x03f8, 0x0400, 0x0408, 0x0410, 0x0418, 0x0550,
146  0x07d0, 0x07e0, 0x07f0, 0x0800, 0x0810, 0x0820, 0x0830, 0x0aa0,
147  0x0fa0, 0x0fc0, 0x0fe0, 0x1000, 0x1020, 0x1040, 0x1060, 0x1540,
148  0x1f40, 0x1f80, 0x1fc0, 0x2000, 0x2040, 0x2080, 0x20c0, 0x2a80,
149  0x3e80, 0x3f00, 0x3f80, 0x4000, 0x4080, 0x4100, 0x4180, 0x5500,
150  0x007e, 0x007f, 0x0080, 0x0081, 0x0082, 0x0083, 0x00aa, 0x00cc,
151  0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x0106, 0x0154, 0x0198,
152  0x01f8, 0x01fc, 0x0200, 0x0204, 0x0208, 0x020c, 0x02a8, 0x0330,
153  0x03f0, 0x03f8, 0x0400, 0x0408, 0x0410, 0x0418, 0x0550, 0x0660,
154  0x07e0, 0x07f0, 0x0800, 0x0810, 0x0820, 0x0830, 0x0aa0, 0x0cc0,
155  0x0fc0, 0x0fe0, 0x1000, 0x1020, 0x1040, 0x1060, 0x1540, 0x1980,
156  0x1f80, 0x1fc0, 0x2000, 0x2040, 0x2080, 0x20c0, 0x2a80, 0x3300,
157  0x3f00, 0x3f80, 0x4000, 0x4080, 0x4100, 0x4180, 0x5500, 0x6600,
158  0x007f, 0x0080, 0x0081, 0x0082, 0x0083, 0x00aa, 0x00cc, 0x00f8,
159  0x00fe, 0x0100, 0x0102, 0x0104, 0x0106, 0x0154, 0x0198, 0x01f0,
160  0x01fc, 0x0200, 0x0204, 0x0208, 0x020c, 0x02a8, 0x0330, 0x03e0,
161  0x03f8, 0x0400, 0x0408, 0x0410, 0x0418, 0x0550, 0x0660, 0x07c0,
162  0x07f0, 0x0800, 0x0810, 0x0820, 0x0830, 0x0aa0, 0x0cc0, 0x0f80,
163  0x0fe0, 0x1000, 0x1020, 0x1040, 0x1060, 0x1540, 0x1980, 0x1f00,
164  0x1fc0, 0x2000, 0x2040, 0x2080, 0x20c0, 0x2a80, 0x3300, 0x3e00,
165  0x3f80, 0x4000, 0x4080, 0x4100, 0x4180, 0x5500, 0x6600, 0x7c00,
166  0x0080, 0x0081, 0x0082, 0x0083, 0x00aa, 0x00cc, 0x00f8, 0x00fd,
167  0x0100, 0x0102, 0x0104, 0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa,
168  0x0200, 0x0204, 0x0208, 0x020c, 0x02a8, 0x0330, 0x03e0, 0x03f4,
169  0x0400, 0x0408, 0x0410, 0x0418, 0x0550, 0x0660, 0x07c0, 0x07e8,
170  0x0800, 0x0810, 0x0820, 0x0830, 0x0aa0, 0x0cc0, 0x0f80, 0x0fd0,
171  0x1000, 0x1020, 0x1040, 0x1060, 0x1540, 0x1980, 0x1f00, 0x1fa0,
172  0x2000, 0x2040, 0x2080, 0x20c0, 0x2a80, 0x3300, 0x3e00, 0x3f40,
173  0x4000, 0x4080, 0x4100, 0x4180, 0x5500, 0x6600, 0x7c00, 0x7e80,
174  0x0081, 0x0082, 0x0083, 0x00aa, 0x00cc, 0x00f8, 0x00fd, 0x00fe,
175  0x0102, 0x0104, 0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc,
176  0x0204, 0x0208, 0x020c, 0x02a8, 0x0330, 0x03e0, 0x03f4, 0x03f8,
177  0x0408, 0x0410, 0x0418, 0x0550, 0x0660, 0x07c0, 0x07e8, 0x07f0,
178  0x0810, 0x0820, 0x0830, 0x0aa0, 0x0cc0, 0x0f80, 0x0fd0, 0x0fe0,
179  0x1020, 0x1040, 0x1060, 0x1540, 0x1980, 0x1f00, 0x1fa0, 0x1fc0,
180  0x2040, 0x2080, 0x20c0, 0x2a80, 0x3300, 0x3e00, 0x3f40, 0x3f80,
181  0x4080, 0x4100, 0x4180, 0x5500, 0x6600, 0x7c00, 0x7e80, 0x7f00,
182  0x0082, 0x0083, 0x00aa, 0x00cc, 0x00f8, 0x00fd, 0x00fe, 0x00ff,
183  0x0104, 0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe,
184  0x0208, 0x020c, 0x02a8, 0x0330, 0x03e0, 0x03f4, 0x03f8, 0x03fc,
185  0x0410, 0x0418, 0x0550, 0x0660, 0x07c0, 0x07e8, 0x07f0, 0x07f8,
186  0x0820, 0x0830, 0x0aa0, 0x0cc0, 0x0f80, 0x0fd0, 0x0fe0, 0x0ff0,
187  0x1040, 0x1060, 0x1540, 0x1980, 0x1f00, 0x1fa0, 0x1fc0, 0x1fe0,
188  0x2080, 0x20c0, 0x2a80, 0x3300, 0x3e00, 0x3f40, 0x3f80, 0x3fc0,
189  0x4100, 0x4180, 0x5500, 0x6600, 0x7c00, 0x7e80, 0x7f00, 0x7f80,
190};
191const unsigned kExpectedCount_NEON_ushll2_8H_2OPIMM = 152;
192
193#endif  // VIXL_SIM_USHLL2_8H_2OPIMM_TRACE_AARCH64_H_
194