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_SIMULATOR_COND_RD_OPERAND_RN_SXTB_A32_H_
35#define VIXL_SIMULATOR_COND_RD_OPERAND_RN_SXTB_A32_H_
36
37const Inputs kOutputs_Sxtb_Condition_eq_r0_r0[] = {
38  { 0x80000000, 0xabababab, 0xabababab },
39  { 0x40000000, 0xffffffab, 0xffffffab },
40  { 0x20000000, 0xabababab, 0xabababab },
41  { 0x10000000, 0xabababab, 0xabababab },
42  { 0xc0000000, 0xffffffab, 0xffffffab },
43  { 0xa0000000, 0xabababab, 0xabababab },
44  { 0x90000000, 0xabababab, 0xabababab },
45  { 0x60000000, 0xffffffab, 0xffffffab },
46  { 0x50000000, 0xffffffab, 0xffffffab },
47  { 0x30000000, 0xabababab, 0xabababab },
48  { 0xe0000000, 0xffffffab, 0xffffffab },
49  { 0xd0000000, 0xffffffab, 0xffffffab },
50  { 0xb0000000, 0xabababab, 0xabababab },
51  { 0x70000000, 0xffffffab, 0xffffffab },
52  { 0xf0000000, 0xffffffab, 0xffffffab },
53};
54const Inputs kOutputs_Sxtb_Condition_ne_r0_r0[] = {
55  { 0x80000000, 0xffffffab, 0xffffffab },
56  { 0x40000000, 0xabababab, 0xabababab },
57  { 0x20000000, 0xffffffab, 0xffffffab },
58  { 0x10000000, 0xffffffab, 0xffffffab },
59  { 0xc0000000, 0xabababab, 0xabababab },
60  { 0xa0000000, 0xffffffab, 0xffffffab },
61  { 0x90000000, 0xffffffab, 0xffffffab },
62  { 0x60000000, 0xabababab, 0xabababab },
63  { 0x50000000, 0xabababab, 0xabababab },
64  { 0x30000000, 0xffffffab, 0xffffffab },
65  { 0xe0000000, 0xabababab, 0xabababab },
66  { 0xd0000000, 0xabababab, 0xabababab },
67  { 0xb0000000, 0xffffffab, 0xffffffab },
68  { 0x70000000, 0xabababab, 0xabababab },
69  { 0xf0000000, 0xabababab, 0xabababab },
70};
71const Inputs kOutputs_Sxtb_Condition_cs_r0_r0[] = {
72  { 0x80000000, 0xabababab, 0xabababab },
73  { 0x40000000, 0xabababab, 0xabababab },
74  { 0x20000000, 0xffffffab, 0xffffffab },
75  { 0x10000000, 0xabababab, 0xabababab },
76  { 0xc0000000, 0xabababab, 0xabababab },
77  { 0xa0000000, 0xffffffab, 0xffffffab },
78  { 0x90000000, 0xabababab, 0xabababab },
79  { 0x60000000, 0xffffffab, 0xffffffab },
80  { 0x50000000, 0xabababab, 0xabababab },
81  { 0x30000000, 0xffffffab, 0xffffffab },
82  { 0xe0000000, 0xffffffab, 0xffffffab },
83  { 0xd0000000, 0xabababab, 0xabababab },
84  { 0xb0000000, 0xffffffab, 0xffffffab },
85  { 0x70000000, 0xffffffab, 0xffffffab },
86  { 0xf0000000, 0xffffffab, 0xffffffab },
87};
88const Inputs kOutputs_Sxtb_Condition_cc_r0_r0[] = {
89  { 0x80000000, 0xffffffab, 0xffffffab },
90  { 0x40000000, 0xffffffab, 0xffffffab },
91  { 0x20000000, 0xabababab, 0xabababab },
92  { 0x10000000, 0xffffffab, 0xffffffab },
93  { 0xc0000000, 0xffffffab, 0xffffffab },
94  { 0xa0000000, 0xabababab, 0xabababab },
95  { 0x90000000, 0xffffffab, 0xffffffab },
96  { 0x60000000, 0xabababab, 0xabababab },
97  { 0x50000000, 0xffffffab, 0xffffffab },
98  { 0x30000000, 0xabababab, 0xabababab },
99  { 0xe0000000, 0xabababab, 0xabababab },
100  { 0xd0000000, 0xffffffab, 0xffffffab },
101  { 0xb0000000, 0xabababab, 0xabababab },
102  { 0x70000000, 0xabababab, 0xabababab },
103  { 0xf0000000, 0xabababab, 0xabababab },
104};
105const Inputs kOutputs_Sxtb_Condition_mi_r0_r0[] = {
106  { 0x80000000, 0xffffffab, 0xffffffab },
107  { 0x40000000, 0xabababab, 0xabababab },
108  { 0x20000000, 0xabababab, 0xabababab },
109  { 0x10000000, 0xabababab, 0xabababab },
110  { 0xc0000000, 0xffffffab, 0xffffffab },
111  { 0xa0000000, 0xffffffab, 0xffffffab },
112  { 0x90000000, 0xffffffab, 0xffffffab },
113  { 0x60000000, 0xabababab, 0xabababab },
114  { 0x50000000, 0xabababab, 0xabababab },
115  { 0x30000000, 0xabababab, 0xabababab },
116  { 0xe0000000, 0xffffffab, 0xffffffab },
117  { 0xd0000000, 0xffffffab, 0xffffffab },
118  { 0xb0000000, 0xffffffab, 0xffffffab },
119  { 0x70000000, 0xabababab, 0xabababab },
120  { 0xf0000000, 0xffffffab, 0xffffffab },
121};
122const Inputs kOutputs_Sxtb_Condition_pl_r0_r0[] = {
123  { 0x80000000, 0xabababab, 0xabababab },
124  { 0x40000000, 0xffffffab, 0xffffffab },
125  { 0x20000000, 0xffffffab, 0xffffffab },
126  { 0x10000000, 0xffffffab, 0xffffffab },
127  { 0xc0000000, 0xabababab, 0xabababab },
128  { 0xa0000000, 0xabababab, 0xabababab },
129  { 0x90000000, 0xabababab, 0xabababab },
130  { 0x60000000, 0xffffffab, 0xffffffab },
131  { 0x50000000, 0xffffffab, 0xffffffab },
132  { 0x30000000, 0xffffffab, 0xffffffab },
133  { 0xe0000000, 0xabababab, 0xabababab },
134  { 0xd0000000, 0xabababab, 0xabababab },
135  { 0xb0000000, 0xabababab, 0xabababab },
136  { 0x70000000, 0xffffffab, 0xffffffab },
137  { 0xf0000000, 0xabababab, 0xabababab },
138};
139const Inputs kOutputs_Sxtb_Condition_vs_r0_r0[] = {
140  { 0x80000000, 0xabababab, 0xabababab },
141  { 0x40000000, 0xabababab, 0xabababab },
142  { 0x20000000, 0xabababab, 0xabababab },
143  { 0x10000000, 0xffffffab, 0xffffffab },
144  { 0xc0000000, 0xabababab, 0xabababab },
145  { 0xa0000000, 0xabababab, 0xabababab },
146  { 0x90000000, 0xffffffab, 0xffffffab },
147  { 0x60000000, 0xabababab, 0xabababab },
148  { 0x50000000, 0xffffffab, 0xffffffab },
149  { 0x30000000, 0xffffffab, 0xffffffab },
150  { 0xe0000000, 0xabababab, 0xabababab },
151  { 0xd0000000, 0xffffffab, 0xffffffab },
152  { 0xb0000000, 0xffffffab, 0xffffffab },
153  { 0x70000000, 0xffffffab, 0xffffffab },
154  { 0xf0000000, 0xffffffab, 0xffffffab },
155};
156const Inputs kOutputs_Sxtb_Condition_vc_r0_r0[] = {
157  { 0x80000000, 0xffffffab, 0xffffffab },
158  { 0x40000000, 0xffffffab, 0xffffffab },
159  { 0x20000000, 0xffffffab, 0xffffffab },
160  { 0x10000000, 0xabababab, 0xabababab },
161  { 0xc0000000, 0xffffffab, 0xffffffab },
162  { 0xa0000000, 0xffffffab, 0xffffffab },
163  { 0x90000000, 0xabababab, 0xabababab },
164  { 0x60000000, 0xffffffab, 0xffffffab },
165  { 0x50000000, 0xabababab, 0xabababab },
166  { 0x30000000, 0xabababab, 0xabababab },
167  { 0xe0000000, 0xffffffab, 0xffffffab },
168  { 0xd0000000, 0xabababab, 0xabababab },
169  { 0xb0000000, 0xabababab, 0xabababab },
170  { 0x70000000, 0xabababab, 0xabababab },
171  { 0xf0000000, 0xabababab, 0xabababab },
172};
173const Inputs kOutputs_Sxtb_Condition_hi_r0_r0[] = {
174  { 0x80000000, 0xabababab, 0xabababab },
175  { 0x40000000, 0xabababab, 0xabababab },
176  { 0x20000000, 0xffffffab, 0xffffffab },
177  { 0x10000000, 0xabababab, 0xabababab },
178  { 0xc0000000, 0xabababab, 0xabababab },
179  { 0xa0000000, 0xffffffab, 0xffffffab },
180  { 0x90000000, 0xabababab, 0xabababab },
181  { 0x60000000, 0xabababab, 0xabababab },
182  { 0x50000000, 0xabababab, 0xabababab },
183  { 0x30000000, 0xffffffab, 0xffffffab },
184  { 0xe0000000, 0xabababab, 0xabababab },
185  { 0xd0000000, 0xabababab, 0xabababab },
186  { 0xb0000000, 0xffffffab, 0xffffffab },
187  { 0x70000000, 0xabababab, 0xabababab },
188  { 0xf0000000, 0xabababab, 0xabababab },
189};
190const Inputs kOutputs_Sxtb_Condition_ls_r0_r0[] = {
191  { 0x80000000, 0xffffffab, 0xffffffab },
192  { 0x40000000, 0xffffffab, 0xffffffab },
193  { 0x20000000, 0xabababab, 0xabababab },
194  { 0x10000000, 0xffffffab, 0xffffffab },
195  { 0xc0000000, 0xffffffab, 0xffffffab },
196  { 0xa0000000, 0xabababab, 0xabababab },
197  { 0x90000000, 0xffffffab, 0xffffffab },
198  { 0x60000000, 0xffffffab, 0xffffffab },
199  { 0x50000000, 0xffffffab, 0xffffffab },
200  { 0x30000000, 0xabababab, 0xabababab },
201  { 0xe0000000, 0xffffffab, 0xffffffab },
202  { 0xd0000000, 0xffffffab, 0xffffffab },
203  { 0xb0000000, 0xabababab, 0xabababab },
204  { 0x70000000, 0xffffffab, 0xffffffab },
205  { 0xf0000000, 0xffffffab, 0xffffffab },
206};
207const Inputs kOutputs_Sxtb_Condition_ge_r0_r0[] = {
208  { 0x80000000, 0xabababab, 0xabababab },
209  { 0x40000000, 0xffffffab, 0xffffffab },
210  { 0x20000000, 0xffffffab, 0xffffffab },
211  { 0x10000000, 0xabababab, 0xabababab },
212  { 0xc0000000, 0xabababab, 0xabababab },
213  { 0xa0000000, 0xabababab, 0xabababab },
214  { 0x90000000, 0xffffffab, 0xffffffab },
215  { 0x60000000, 0xffffffab, 0xffffffab },
216  { 0x50000000, 0xabababab, 0xabababab },
217  { 0x30000000, 0xabababab, 0xabababab },
218  { 0xe0000000, 0xabababab, 0xabababab },
219  { 0xd0000000, 0xffffffab, 0xffffffab },
220  { 0xb0000000, 0xffffffab, 0xffffffab },
221  { 0x70000000, 0xabababab, 0xabababab },
222  { 0xf0000000, 0xffffffab, 0xffffffab },
223};
224const Inputs kOutputs_Sxtb_Condition_lt_r0_r0[] = {
225  { 0x80000000, 0xffffffab, 0xffffffab },
226  { 0x40000000, 0xabababab, 0xabababab },
227  { 0x20000000, 0xabababab, 0xabababab },
228  { 0x10000000, 0xffffffab, 0xffffffab },
229  { 0xc0000000, 0xffffffab, 0xffffffab },
230  { 0xa0000000, 0xffffffab, 0xffffffab },
231  { 0x90000000, 0xabababab, 0xabababab },
232  { 0x60000000, 0xabababab, 0xabababab },
233  { 0x50000000, 0xffffffab, 0xffffffab },
234  { 0x30000000, 0xffffffab, 0xffffffab },
235  { 0xe0000000, 0xffffffab, 0xffffffab },
236  { 0xd0000000, 0xabababab, 0xabababab },
237  { 0xb0000000, 0xabababab, 0xabababab },
238  { 0x70000000, 0xffffffab, 0xffffffab },
239  { 0xf0000000, 0xabababab, 0xabababab },
240};
241const Inputs kOutputs_Sxtb_Condition_gt_r0_r0[] = {
242  { 0x80000000, 0xabababab, 0xabababab },
243  { 0x40000000, 0xabababab, 0xabababab },
244  { 0x20000000, 0xffffffab, 0xffffffab },
245  { 0x10000000, 0xabababab, 0xabababab },
246  { 0xc0000000, 0xabababab, 0xabababab },
247  { 0xa0000000, 0xabababab, 0xabababab },
248  { 0x90000000, 0xffffffab, 0xffffffab },
249  { 0x60000000, 0xabababab, 0xabababab },
250  { 0x50000000, 0xabababab, 0xabababab },
251  { 0x30000000, 0xabababab, 0xabababab },
252  { 0xe0000000, 0xabababab, 0xabababab },
253  { 0xd0000000, 0xabababab, 0xabababab },
254  { 0xb0000000, 0xffffffab, 0xffffffab },
255  { 0x70000000, 0xabababab, 0xabababab },
256  { 0xf0000000, 0xabababab, 0xabababab },
257};
258const Inputs kOutputs_Sxtb_Condition_le_r0_r0[] = {
259  { 0x80000000, 0xffffffab, 0xffffffab },
260  { 0x40000000, 0xffffffab, 0xffffffab },
261  { 0x20000000, 0xabababab, 0xabababab },
262  { 0x10000000, 0xffffffab, 0xffffffab },
263  { 0xc0000000, 0xffffffab, 0xffffffab },
264  { 0xa0000000, 0xffffffab, 0xffffffab },
265  { 0x90000000, 0xabababab, 0xabababab },
266  { 0x60000000, 0xffffffab, 0xffffffab },
267  { 0x50000000, 0xffffffab, 0xffffffab },
268  { 0x30000000, 0xffffffab, 0xffffffab },
269  { 0xe0000000, 0xffffffab, 0xffffffab },
270  { 0xd0000000, 0xffffffab, 0xffffffab },
271  { 0xb0000000, 0xabababab, 0xabababab },
272  { 0x70000000, 0xffffffab, 0xffffffab },
273  { 0xf0000000, 0xffffffab, 0xffffffab },
274};
275const Inputs kOutputs_Sxtb_Condition_al_r0_r0[] = {
276  { 0x80000000, 0xffffffab, 0xffffffab },
277  { 0x40000000, 0xffffffab, 0xffffffab },
278  { 0x20000000, 0xffffffab, 0xffffffab },
279  { 0x10000000, 0xffffffab, 0xffffffab },
280  { 0xc0000000, 0xffffffab, 0xffffffab },
281  { 0xa0000000, 0xffffffab, 0xffffffab },
282  { 0x90000000, 0xffffffab, 0xffffffab },
283  { 0x60000000, 0xffffffab, 0xffffffab },
284  { 0x50000000, 0xffffffab, 0xffffffab },
285  { 0x30000000, 0xffffffab, 0xffffffab },
286  { 0xe0000000, 0xffffffab, 0xffffffab },
287  { 0xd0000000, 0xffffffab, 0xffffffab },
288  { 0xb0000000, 0xffffffab, 0xffffffab },
289  { 0x70000000, 0xffffffab, 0xffffffab },
290  { 0xf0000000, 0xffffffab, 0xffffffab },
291};
292const Inputs kOutputs_Sxtb_RdIsRn_al_r0_r0[] = {
293  { 0x00000000, 0x00000000, 0x00000000 },
294  { 0x00000000, 0x00000001, 0x00000001 },
295  { 0x00000000, 0x00000002, 0x00000002 },
296  { 0x00000000, 0x00000020, 0x00000020 },
297  { 0x00000000, 0x0000007d, 0x0000007d },
298  { 0x00000000, 0x0000007e, 0x0000007e },
299  { 0x00000000, 0x0000007f, 0x0000007f },
300  { 0x00000000, 0xfffffffd, 0xfffffffd },
301  { 0x00000000, 0xfffffffe, 0xfffffffe },
302  { 0x00000000, 0xffffffff, 0xffffffff },
303  { 0x00000000, 0x00000033, 0x00000033 },
304  { 0x00000000, 0x00000055, 0x00000055 },
305  { 0x00000000, 0xfffffffd, 0xfffffffd },
306  { 0x00000000, 0xfffffffe, 0xfffffffe },
307  { 0x00000000, 0xffffffff, 0xffffffff },
308  { 0x00000000, 0x00000000, 0x00000000 },
309  { 0x00000000, 0x00000001, 0x00000001 },
310  { 0x00000000, 0xffffffaa, 0xffffffaa },
311  { 0x00000000, 0xffffffcc, 0xffffffcc },
312  { 0x00000000, 0x00000000, 0x00000000 },
313  { 0x00000000, 0x00000001, 0x00000001 },
314  { 0x00000000, 0x00000002, 0x00000002 },
315  { 0x00000000, 0x00000003, 0x00000003 },
316  { 0x00000000, 0xffffff80, 0xffffff80 },
317  { 0x00000000, 0xffffff81, 0xffffff81 },
318  { 0x00000000, 0xffffff82, 0xffffff82 },
319  { 0x00000000, 0xffffff83, 0xffffff83 },
320  { 0x00000000, 0xffffffe0, 0xffffffe0 },
321  { 0x00000000, 0xfffffffd, 0xfffffffd },
322  { 0x00000000, 0xfffffffe, 0xfffffffe },
323  { 0x00000000, 0xffffffff, 0xffffffff },
324};
325const Inputs kOutputs_Sxtb_RdIsRn_al_r1_r1[] = {
326  { 0x00000000, 0x00000000, 0x00000000 },
327  { 0x00000000, 0x00000001, 0x00000001 },
328  { 0x00000000, 0x00000002, 0x00000002 },
329  { 0x00000000, 0x00000020, 0x00000020 },
330  { 0x00000000, 0x0000007d, 0x0000007d },
331  { 0x00000000, 0x0000007e, 0x0000007e },
332  { 0x00000000, 0x0000007f, 0x0000007f },
333  { 0x00000000, 0xfffffffd, 0xfffffffd },
334  { 0x00000000, 0xfffffffe, 0xfffffffe },
335  { 0x00000000, 0xffffffff, 0xffffffff },
336  { 0x00000000, 0x00000033, 0x00000033 },
337  { 0x00000000, 0x00000055, 0x00000055 },
338  { 0x00000000, 0xfffffffd, 0xfffffffd },
339  { 0x00000000, 0xfffffffe, 0xfffffffe },
340  { 0x00000000, 0xffffffff, 0xffffffff },
341  { 0x00000000, 0x00000000, 0x00000000 },
342  { 0x00000000, 0x00000001, 0x00000001 },
343  { 0x00000000, 0xffffffaa, 0xffffffaa },
344  { 0x00000000, 0xffffffcc, 0xffffffcc },
345  { 0x00000000, 0x00000000, 0x00000000 },
346  { 0x00000000, 0x00000001, 0x00000001 },
347  { 0x00000000, 0x00000002, 0x00000002 },
348  { 0x00000000, 0x00000003, 0x00000003 },
349  { 0x00000000, 0xffffff80, 0xffffff80 },
350  { 0x00000000, 0xffffff81, 0xffffff81 },
351  { 0x00000000, 0xffffff82, 0xffffff82 },
352  { 0x00000000, 0xffffff83, 0xffffff83 },
353  { 0x00000000, 0xffffffe0, 0xffffffe0 },
354  { 0x00000000, 0xfffffffd, 0xfffffffd },
355  { 0x00000000, 0xfffffffe, 0xfffffffe },
356  { 0x00000000, 0xffffffff, 0xffffffff },
357};
358const Inputs kOutputs_Sxtb_RdIsRn_al_r2_r2[] = {
359  { 0x00000000, 0x00000000, 0x00000000 },
360  { 0x00000000, 0x00000001, 0x00000001 },
361  { 0x00000000, 0x00000002, 0x00000002 },
362  { 0x00000000, 0x00000020, 0x00000020 },
363  { 0x00000000, 0x0000007d, 0x0000007d },
364  { 0x00000000, 0x0000007e, 0x0000007e },
365  { 0x00000000, 0x0000007f, 0x0000007f },
366  { 0x00000000, 0xfffffffd, 0xfffffffd },
367  { 0x00000000, 0xfffffffe, 0xfffffffe },
368  { 0x00000000, 0xffffffff, 0xffffffff },
369  { 0x00000000, 0x00000033, 0x00000033 },
370  { 0x00000000, 0x00000055, 0x00000055 },
371  { 0x00000000, 0xfffffffd, 0xfffffffd },
372  { 0x00000000, 0xfffffffe, 0xfffffffe },
373  { 0x00000000, 0xffffffff, 0xffffffff },
374  { 0x00000000, 0x00000000, 0x00000000 },
375  { 0x00000000, 0x00000001, 0x00000001 },
376  { 0x00000000, 0xffffffaa, 0xffffffaa },
377  { 0x00000000, 0xffffffcc, 0xffffffcc },
378  { 0x00000000, 0x00000000, 0x00000000 },
379  { 0x00000000, 0x00000001, 0x00000001 },
380  { 0x00000000, 0x00000002, 0x00000002 },
381  { 0x00000000, 0x00000003, 0x00000003 },
382  { 0x00000000, 0xffffff80, 0xffffff80 },
383  { 0x00000000, 0xffffff81, 0xffffff81 },
384  { 0x00000000, 0xffffff82, 0xffffff82 },
385  { 0x00000000, 0xffffff83, 0xffffff83 },
386  { 0x00000000, 0xffffffe0, 0xffffffe0 },
387  { 0x00000000, 0xfffffffd, 0xfffffffd },
388  { 0x00000000, 0xfffffffe, 0xfffffffe },
389  { 0x00000000, 0xffffffff, 0xffffffff },
390};
391const Inputs kOutputs_Sxtb_RdIsRn_al_r3_r3[] = {
392  { 0x00000000, 0x00000000, 0x00000000 },
393  { 0x00000000, 0x00000001, 0x00000001 },
394  { 0x00000000, 0x00000002, 0x00000002 },
395  { 0x00000000, 0x00000020, 0x00000020 },
396  { 0x00000000, 0x0000007d, 0x0000007d },
397  { 0x00000000, 0x0000007e, 0x0000007e },
398  { 0x00000000, 0x0000007f, 0x0000007f },
399  { 0x00000000, 0xfffffffd, 0xfffffffd },
400  { 0x00000000, 0xfffffffe, 0xfffffffe },
401  { 0x00000000, 0xffffffff, 0xffffffff },
402  { 0x00000000, 0x00000033, 0x00000033 },
403  { 0x00000000, 0x00000055, 0x00000055 },
404  { 0x00000000, 0xfffffffd, 0xfffffffd },
405  { 0x00000000, 0xfffffffe, 0xfffffffe },
406  { 0x00000000, 0xffffffff, 0xffffffff },
407  { 0x00000000, 0x00000000, 0x00000000 },
408  { 0x00000000, 0x00000001, 0x00000001 },
409  { 0x00000000, 0xffffffaa, 0xffffffaa },
410  { 0x00000000, 0xffffffcc, 0xffffffcc },
411  { 0x00000000, 0x00000000, 0x00000000 },
412  { 0x00000000, 0x00000001, 0x00000001 },
413  { 0x00000000, 0x00000002, 0x00000002 },
414  { 0x00000000, 0x00000003, 0x00000003 },
415  { 0x00000000, 0xffffff80, 0xffffff80 },
416  { 0x00000000, 0xffffff81, 0xffffff81 },
417  { 0x00000000, 0xffffff82, 0xffffff82 },
418  { 0x00000000, 0xffffff83, 0xffffff83 },
419  { 0x00000000, 0xffffffe0, 0xffffffe0 },
420  { 0x00000000, 0xfffffffd, 0xfffffffd },
421  { 0x00000000, 0xfffffffe, 0xfffffffe },
422  { 0x00000000, 0xffffffff, 0xffffffff },
423};
424const Inputs kOutputs_Sxtb_RdIsRn_al_r4_r4[] = {
425  { 0x00000000, 0x00000000, 0x00000000 },
426  { 0x00000000, 0x00000001, 0x00000001 },
427  { 0x00000000, 0x00000002, 0x00000002 },
428  { 0x00000000, 0x00000020, 0x00000020 },
429  { 0x00000000, 0x0000007d, 0x0000007d },
430  { 0x00000000, 0x0000007e, 0x0000007e },
431  { 0x00000000, 0x0000007f, 0x0000007f },
432  { 0x00000000, 0xfffffffd, 0xfffffffd },
433  { 0x00000000, 0xfffffffe, 0xfffffffe },
434  { 0x00000000, 0xffffffff, 0xffffffff },
435  { 0x00000000, 0x00000033, 0x00000033 },
436  { 0x00000000, 0x00000055, 0x00000055 },
437  { 0x00000000, 0xfffffffd, 0xfffffffd },
438  { 0x00000000, 0xfffffffe, 0xfffffffe },
439  { 0x00000000, 0xffffffff, 0xffffffff },
440  { 0x00000000, 0x00000000, 0x00000000 },
441  { 0x00000000, 0x00000001, 0x00000001 },
442  { 0x00000000, 0xffffffaa, 0xffffffaa },
443  { 0x00000000, 0xffffffcc, 0xffffffcc },
444  { 0x00000000, 0x00000000, 0x00000000 },
445  { 0x00000000, 0x00000001, 0x00000001 },
446  { 0x00000000, 0x00000002, 0x00000002 },
447  { 0x00000000, 0x00000003, 0x00000003 },
448  { 0x00000000, 0xffffff80, 0xffffff80 },
449  { 0x00000000, 0xffffff81, 0xffffff81 },
450  { 0x00000000, 0xffffff82, 0xffffff82 },
451  { 0x00000000, 0xffffff83, 0xffffff83 },
452  { 0x00000000, 0xffffffe0, 0xffffffe0 },
453  { 0x00000000, 0xfffffffd, 0xfffffffd },
454  { 0x00000000, 0xfffffffe, 0xfffffffe },
455  { 0x00000000, 0xffffffff, 0xffffffff },
456};
457const Inputs kOutputs_Sxtb_RdIsRn_al_r5_r5[] = {
458  { 0x00000000, 0x00000000, 0x00000000 },
459  { 0x00000000, 0x00000001, 0x00000001 },
460  { 0x00000000, 0x00000002, 0x00000002 },
461  { 0x00000000, 0x00000020, 0x00000020 },
462  { 0x00000000, 0x0000007d, 0x0000007d },
463  { 0x00000000, 0x0000007e, 0x0000007e },
464  { 0x00000000, 0x0000007f, 0x0000007f },
465  { 0x00000000, 0xfffffffd, 0xfffffffd },
466  { 0x00000000, 0xfffffffe, 0xfffffffe },
467  { 0x00000000, 0xffffffff, 0xffffffff },
468  { 0x00000000, 0x00000033, 0x00000033 },
469  { 0x00000000, 0x00000055, 0x00000055 },
470  { 0x00000000, 0xfffffffd, 0xfffffffd },
471  { 0x00000000, 0xfffffffe, 0xfffffffe },
472  { 0x00000000, 0xffffffff, 0xffffffff },
473  { 0x00000000, 0x00000000, 0x00000000 },
474  { 0x00000000, 0x00000001, 0x00000001 },
475  { 0x00000000, 0xffffffaa, 0xffffffaa },
476  { 0x00000000, 0xffffffcc, 0xffffffcc },
477  { 0x00000000, 0x00000000, 0x00000000 },
478  { 0x00000000, 0x00000001, 0x00000001 },
479  { 0x00000000, 0x00000002, 0x00000002 },
480  { 0x00000000, 0x00000003, 0x00000003 },
481  { 0x00000000, 0xffffff80, 0xffffff80 },
482  { 0x00000000, 0xffffff81, 0xffffff81 },
483  { 0x00000000, 0xffffff82, 0xffffff82 },
484  { 0x00000000, 0xffffff83, 0xffffff83 },
485  { 0x00000000, 0xffffffe0, 0xffffffe0 },
486  { 0x00000000, 0xfffffffd, 0xfffffffd },
487  { 0x00000000, 0xfffffffe, 0xfffffffe },
488  { 0x00000000, 0xffffffff, 0xffffffff },
489};
490const Inputs kOutputs_Sxtb_RdIsRn_al_r6_r6[] = {
491  { 0x00000000, 0x00000000, 0x00000000 },
492  { 0x00000000, 0x00000001, 0x00000001 },
493  { 0x00000000, 0x00000002, 0x00000002 },
494  { 0x00000000, 0x00000020, 0x00000020 },
495  { 0x00000000, 0x0000007d, 0x0000007d },
496  { 0x00000000, 0x0000007e, 0x0000007e },
497  { 0x00000000, 0x0000007f, 0x0000007f },
498  { 0x00000000, 0xfffffffd, 0xfffffffd },
499  { 0x00000000, 0xfffffffe, 0xfffffffe },
500  { 0x00000000, 0xffffffff, 0xffffffff },
501  { 0x00000000, 0x00000033, 0x00000033 },
502  { 0x00000000, 0x00000055, 0x00000055 },
503  { 0x00000000, 0xfffffffd, 0xfffffffd },
504  { 0x00000000, 0xfffffffe, 0xfffffffe },
505  { 0x00000000, 0xffffffff, 0xffffffff },
506  { 0x00000000, 0x00000000, 0x00000000 },
507  { 0x00000000, 0x00000001, 0x00000001 },
508  { 0x00000000, 0xffffffaa, 0xffffffaa },
509  { 0x00000000, 0xffffffcc, 0xffffffcc },
510  { 0x00000000, 0x00000000, 0x00000000 },
511  { 0x00000000, 0x00000001, 0x00000001 },
512  { 0x00000000, 0x00000002, 0x00000002 },
513  { 0x00000000, 0x00000003, 0x00000003 },
514  { 0x00000000, 0xffffff80, 0xffffff80 },
515  { 0x00000000, 0xffffff81, 0xffffff81 },
516  { 0x00000000, 0xffffff82, 0xffffff82 },
517  { 0x00000000, 0xffffff83, 0xffffff83 },
518  { 0x00000000, 0xffffffe0, 0xffffffe0 },
519  { 0x00000000, 0xfffffffd, 0xfffffffd },
520  { 0x00000000, 0xfffffffe, 0xfffffffe },
521  { 0x00000000, 0xffffffff, 0xffffffff },
522};
523const Inputs kOutputs_Sxtb_RdIsRn_al_r7_r7[] = {
524  { 0x00000000, 0x00000000, 0x00000000 },
525  { 0x00000000, 0x00000001, 0x00000001 },
526  { 0x00000000, 0x00000002, 0x00000002 },
527  { 0x00000000, 0x00000020, 0x00000020 },
528  { 0x00000000, 0x0000007d, 0x0000007d },
529  { 0x00000000, 0x0000007e, 0x0000007e },
530  { 0x00000000, 0x0000007f, 0x0000007f },
531  { 0x00000000, 0xfffffffd, 0xfffffffd },
532  { 0x00000000, 0xfffffffe, 0xfffffffe },
533  { 0x00000000, 0xffffffff, 0xffffffff },
534  { 0x00000000, 0x00000033, 0x00000033 },
535  { 0x00000000, 0x00000055, 0x00000055 },
536  { 0x00000000, 0xfffffffd, 0xfffffffd },
537  { 0x00000000, 0xfffffffe, 0xfffffffe },
538  { 0x00000000, 0xffffffff, 0xffffffff },
539  { 0x00000000, 0x00000000, 0x00000000 },
540  { 0x00000000, 0x00000001, 0x00000001 },
541  { 0x00000000, 0xffffffaa, 0xffffffaa },
542  { 0x00000000, 0xffffffcc, 0xffffffcc },
543  { 0x00000000, 0x00000000, 0x00000000 },
544  { 0x00000000, 0x00000001, 0x00000001 },
545  { 0x00000000, 0x00000002, 0x00000002 },
546  { 0x00000000, 0x00000003, 0x00000003 },
547  { 0x00000000, 0xffffff80, 0xffffff80 },
548  { 0x00000000, 0xffffff81, 0xffffff81 },
549  { 0x00000000, 0xffffff82, 0xffffff82 },
550  { 0x00000000, 0xffffff83, 0xffffff83 },
551  { 0x00000000, 0xffffffe0, 0xffffffe0 },
552  { 0x00000000, 0xfffffffd, 0xfffffffd },
553  { 0x00000000, 0xfffffffe, 0xfffffffe },
554  { 0x00000000, 0xffffffff, 0xffffffff },
555};
556const Inputs kOutputs_Sxtb_RdIsRn_al_r8_r8[] = {
557  { 0x00000000, 0x00000000, 0x00000000 },
558  { 0x00000000, 0x00000001, 0x00000001 },
559  { 0x00000000, 0x00000002, 0x00000002 },
560  { 0x00000000, 0x00000020, 0x00000020 },
561  { 0x00000000, 0x0000007d, 0x0000007d },
562  { 0x00000000, 0x0000007e, 0x0000007e },
563  { 0x00000000, 0x0000007f, 0x0000007f },
564  { 0x00000000, 0xfffffffd, 0xfffffffd },
565  { 0x00000000, 0xfffffffe, 0xfffffffe },
566  { 0x00000000, 0xffffffff, 0xffffffff },
567  { 0x00000000, 0x00000033, 0x00000033 },
568  { 0x00000000, 0x00000055, 0x00000055 },
569  { 0x00000000, 0xfffffffd, 0xfffffffd },
570  { 0x00000000, 0xfffffffe, 0xfffffffe },
571  { 0x00000000, 0xffffffff, 0xffffffff },
572  { 0x00000000, 0x00000000, 0x00000000 },
573  { 0x00000000, 0x00000001, 0x00000001 },
574  { 0x00000000, 0xffffffaa, 0xffffffaa },
575  { 0x00000000, 0xffffffcc, 0xffffffcc },
576  { 0x00000000, 0x00000000, 0x00000000 },
577  { 0x00000000, 0x00000001, 0x00000001 },
578  { 0x00000000, 0x00000002, 0x00000002 },
579  { 0x00000000, 0x00000003, 0x00000003 },
580  { 0x00000000, 0xffffff80, 0xffffff80 },
581  { 0x00000000, 0xffffff81, 0xffffff81 },
582  { 0x00000000, 0xffffff82, 0xffffff82 },
583  { 0x00000000, 0xffffff83, 0xffffff83 },
584  { 0x00000000, 0xffffffe0, 0xffffffe0 },
585  { 0x00000000, 0xfffffffd, 0xfffffffd },
586  { 0x00000000, 0xfffffffe, 0xfffffffe },
587  { 0x00000000, 0xffffffff, 0xffffffff },
588};
589const Inputs kOutputs_Sxtb_RdIsRn_al_r9_r9[] = {
590  { 0x00000000, 0x00000000, 0x00000000 },
591  { 0x00000000, 0x00000001, 0x00000001 },
592  { 0x00000000, 0x00000002, 0x00000002 },
593  { 0x00000000, 0x00000020, 0x00000020 },
594  { 0x00000000, 0x0000007d, 0x0000007d },
595  { 0x00000000, 0x0000007e, 0x0000007e },
596  { 0x00000000, 0x0000007f, 0x0000007f },
597  { 0x00000000, 0xfffffffd, 0xfffffffd },
598  { 0x00000000, 0xfffffffe, 0xfffffffe },
599  { 0x00000000, 0xffffffff, 0xffffffff },
600  { 0x00000000, 0x00000033, 0x00000033 },
601  { 0x00000000, 0x00000055, 0x00000055 },
602  { 0x00000000, 0xfffffffd, 0xfffffffd },
603  { 0x00000000, 0xfffffffe, 0xfffffffe },
604  { 0x00000000, 0xffffffff, 0xffffffff },
605  { 0x00000000, 0x00000000, 0x00000000 },
606  { 0x00000000, 0x00000001, 0x00000001 },
607  { 0x00000000, 0xffffffaa, 0xffffffaa },
608  { 0x00000000, 0xffffffcc, 0xffffffcc },
609  { 0x00000000, 0x00000000, 0x00000000 },
610  { 0x00000000, 0x00000001, 0x00000001 },
611  { 0x00000000, 0x00000002, 0x00000002 },
612  { 0x00000000, 0x00000003, 0x00000003 },
613  { 0x00000000, 0xffffff80, 0xffffff80 },
614  { 0x00000000, 0xffffff81, 0xffffff81 },
615  { 0x00000000, 0xffffff82, 0xffffff82 },
616  { 0x00000000, 0xffffff83, 0xffffff83 },
617  { 0x00000000, 0xffffffe0, 0xffffffe0 },
618  { 0x00000000, 0xfffffffd, 0xfffffffd },
619  { 0x00000000, 0xfffffffe, 0xfffffffe },
620  { 0x00000000, 0xffffffff, 0xffffffff },
621};
622const Inputs kOutputs_Sxtb_RdIsRn_al_r10_r10[] = {
623  { 0x00000000, 0x00000000, 0x00000000 },
624  { 0x00000000, 0x00000001, 0x00000001 },
625  { 0x00000000, 0x00000002, 0x00000002 },
626  { 0x00000000, 0x00000020, 0x00000020 },
627  { 0x00000000, 0x0000007d, 0x0000007d },
628  { 0x00000000, 0x0000007e, 0x0000007e },
629  { 0x00000000, 0x0000007f, 0x0000007f },
630  { 0x00000000, 0xfffffffd, 0xfffffffd },
631  { 0x00000000, 0xfffffffe, 0xfffffffe },
632  { 0x00000000, 0xffffffff, 0xffffffff },
633  { 0x00000000, 0x00000033, 0x00000033 },
634  { 0x00000000, 0x00000055, 0x00000055 },
635  { 0x00000000, 0xfffffffd, 0xfffffffd },
636  { 0x00000000, 0xfffffffe, 0xfffffffe },
637  { 0x00000000, 0xffffffff, 0xffffffff },
638  { 0x00000000, 0x00000000, 0x00000000 },
639  { 0x00000000, 0x00000001, 0x00000001 },
640  { 0x00000000, 0xffffffaa, 0xffffffaa },
641  { 0x00000000, 0xffffffcc, 0xffffffcc },
642  { 0x00000000, 0x00000000, 0x00000000 },
643  { 0x00000000, 0x00000001, 0x00000001 },
644  { 0x00000000, 0x00000002, 0x00000002 },
645  { 0x00000000, 0x00000003, 0x00000003 },
646  { 0x00000000, 0xffffff80, 0xffffff80 },
647  { 0x00000000, 0xffffff81, 0xffffff81 },
648  { 0x00000000, 0xffffff82, 0xffffff82 },
649  { 0x00000000, 0xffffff83, 0xffffff83 },
650  { 0x00000000, 0xffffffe0, 0xffffffe0 },
651  { 0x00000000, 0xfffffffd, 0xfffffffd },
652  { 0x00000000, 0xfffffffe, 0xfffffffe },
653  { 0x00000000, 0xffffffff, 0xffffffff },
654};
655const Inputs kOutputs_Sxtb_RdIsRn_al_r11_r11[] = {
656  { 0x00000000, 0x00000000, 0x00000000 },
657  { 0x00000000, 0x00000001, 0x00000001 },
658  { 0x00000000, 0x00000002, 0x00000002 },
659  { 0x00000000, 0x00000020, 0x00000020 },
660  { 0x00000000, 0x0000007d, 0x0000007d },
661  { 0x00000000, 0x0000007e, 0x0000007e },
662  { 0x00000000, 0x0000007f, 0x0000007f },
663  { 0x00000000, 0xfffffffd, 0xfffffffd },
664  { 0x00000000, 0xfffffffe, 0xfffffffe },
665  { 0x00000000, 0xffffffff, 0xffffffff },
666  { 0x00000000, 0x00000033, 0x00000033 },
667  { 0x00000000, 0x00000055, 0x00000055 },
668  { 0x00000000, 0xfffffffd, 0xfffffffd },
669  { 0x00000000, 0xfffffffe, 0xfffffffe },
670  { 0x00000000, 0xffffffff, 0xffffffff },
671  { 0x00000000, 0x00000000, 0x00000000 },
672  { 0x00000000, 0x00000001, 0x00000001 },
673  { 0x00000000, 0xffffffaa, 0xffffffaa },
674  { 0x00000000, 0xffffffcc, 0xffffffcc },
675  { 0x00000000, 0x00000000, 0x00000000 },
676  { 0x00000000, 0x00000001, 0x00000001 },
677  { 0x00000000, 0x00000002, 0x00000002 },
678  { 0x00000000, 0x00000003, 0x00000003 },
679  { 0x00000000, 0xffffff80, 0xffffff80 },
680  { 0x00000000, 0xffffff81, 0xffffff81 },
681  { 0x00000000, 0xffffff82, 0xffffff82 },
682  { 0x00000000, 0xffffff83, 0xffffff83 },
683  { 0x00000000, 0xffffffe0, 0xffffffe0 },
684  { 0x00000000, 0xfffffffd, 0xfffffffd },
685  { 0x00000000, 0xfffffffe, 0xfffffffe },
686  { 0x00000000, 0xffffffff, 0xffffffff },
687};
688const Inputs kOutputs_Sxtb_RdIsRn_al_r12_r12[] = {
689  { 0x00000000, 0x00000000, 0x00000000 },
690  { 0x00000000, 0x00000001, 0x00000001 },
691  { 0x00000000, 0x00000002, 0x00000002 },
692  { 0x00000000, 0x00000020, 0x00000020 },
693  { 0x00000000, 0x0000007d, 0x0000007d },
694  { 0x00000000, 0x0000007e, 0x0000007e },
695  { 0x00000000, 0x0000007f, 0x0000007f },
696  { 0x00000000, 0xfffffffd, 0xfffffffd },
697  { 0x00000000, 0xfffffffe, 0xfffffffe },
698  { 0x00000000, 0xffffffff, 0xffffffff },
699  { 0x00000000, 0x00000033, 0x00000033 },
700  { 0x00000000, 0x00000055, 0x00000055 },
701  { 0x00000000, 0xfffffffd, 0xfffffffd },
702  { 0x00000000, 0xfffffffe, 0xfffffffe },
703  { 0x00000000, 0xffffffff, 0xffffffff },
704  { 0x00000000, 0x00000000, 0x00000000 },
705  { 0x00000000, 0x00000001, 0x00000001 },
706  { 0x00000000, 0xffffffaa, 0xffffffaa },
707  { 0x00000000, 0xffffffcc, 0xffffffcc },
708  { 0x00000000, 0x00000000, 0x00000000 },
709  { 0x00000000, 0x00000001, 0x00000001 },
710  { 0x00000000, 0x00000002, 0x00000002 },
711  { 0x00000000, 0x00000003, 0x00000003 },
712  { 0x00000000, 0xffffff80, 0xffffff80 },
713  { 0x00000000, 0xffffff81, 0xffffff81 },
714  { 0x00000000, 0xffffff82, 0xffffff82 },
715  { 0x00000000, 0xffffff83, 0xffffff83 },
716  { 0x00000000, 0xffffffe0, 0xffffffe0 },
717  { 0x00000000, 0xfffffffd, 0xfffffffd },
718  { 0x00000000, 0xfffffffe, 0xfffffffe },
719  { 0x00000000, 0xffffffff, 0xffffffff },
720};
721const Inputs kOutputs_Sxtb_RdIsRn_al_r14_r14[] = {
722  { 0x00000000, 0x00000000, 0x00000000 },
723  { 0x00000000, 0x00000001, 0x00000001 },
724  { 0x00000000, 0x00000002, 0x00000002 },
725  { 0x00000000, 0x00000020, 0x00000020 },
726  { 0x00000000, 0x0000007d, 0x0000007d },
727  { 0x00000000, 0x0000007e, 0x0000007e },
728  { 0x00000000, 0x0000007f, 0x0000007f },
729  { 0x00000000, 0xfffffffd, 0xfffffffd },
730  { 0x00000000, 0xfffffffe, 0xfffffffe },
731  { 0x00000000, 0xffffffff, 0xffffffff },
732  { 0x00000000, 0x00000033, 0x00000033 },
733  { 0x00000000, 0x00000055, 0x00000055 },
734  { 0x00000000, 0xfffffffd, 0xfffffffd },
735  { 0x00000000, 0xfffffffe, 0xfffffffe },
736  { 0x00000000, 0xffffffff, 0xffffffff },
737  { 0x00000000, 0x00000000, 0x00000000 },
738  { 0x00000000, 0x00000001, 0x00000001 },
739  { 0x00000000, 0xffffffaa, 0xffffffaa },
740  { 0x00000000, 0xffffffcc, 0xffffffcc },
741  { 0x00000000, 0x00000000, 0x00000000 },
742  { 0x00000000, 0x00000001, 0x00000001 },
743  { 0x00000000, 0x00000002, 0x00000002 },
744  { 0x00000000, 0x00000003, 0x00000003 },
745  { 0x00000000, 0xffffff80, 0xffffff80 },
746  { 0x00000000, 0xffffff81, 0xffffff81 },
747  { 0x00000000, 0xffffff82, 0xffffff82 },
748  { 0x00000000, 0xffffff83, 0xffffff83 },
749  { 0x00000000, 0xffffffe0, 0xffffffe0 },
750  { 0x00000000, 0xfffffffd, 0xfffffffd },
751  { 0x00000000, 0xfffffffe, 0xfffffffe },
752  { 0x00000000, 0xffffffff, 0xffffffff },
753};
754const Inputs kOutputs_Sxtb_RdIsNotRn_al_r1_r8[] = {
755  { 0x00000000, 0xffffffcc, 0xcccccccc },
756  { 0x00000000, 0xfffffffe, 0x00007ffe },
757  { 0x00000000, 0x00000020, 0x00000020 },
758  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
759  { 0x00000000, 0xffffff82, 0xffffff82 },
760  { 0x00000000, 0xfffffffe, 0x7ffffffe },
761  { 0x00000000, 0xfffffffe, 0x00007ffe },
762  { 0x00000000, 0x00000000, 0x80000000 },
763  { 0x00000000, 0x00000033, 0x33333333 },
764  { 0x00000000, 0xfffffffe, 0x7ffffffe },
765  { 0x00000000, 0xffffffcc, 0xcccccccc },
766  { 0x00000000, 0x00000055, 0x55555555 },
767  { 0x00000000, 0xffffffff, 0xffffffff },
768  { 0x00000000, 0x00000002, 0xffff8002 },
769  { 0x00000000, 0xfffffffd, 0x7ffffffd },
770  { 0x00000000, 0x0000007e, 0x0000007e },
771  { 0x00000000, 0x00000001, 0xffff8001 },
772  { 0x00000000, 0xfffffffd, 0x00007ffd },
773  { 0x00000000, 0x00000002, 0x00000002 },
774  { 0x00000000, 0x00000055, 0x55555555 },
775  { 0x00000000, 0xffffff80, 0xffffff80 },
776  { 0x00000000, 0x00000000, 0xffff8000 },
777  { 0x00000000, 0xfffffffe, 0x7ffffffe },
778  { 0x00000000, 0x00000000, 0x00000000 },
779  { 0x00000000, 0x0000007e, 0x0000007e },
780  { 0x00000000, 0xffffffff, 0xffffffff },
781  { 0x00000000, 0x00000001, 0x80000001 },
782  { 0x00000000, 0x0000007f, 0x0000007f },
783  { 0x00000000, 0xffffffcc, 0xcccccccc },
784  { 0x00000000, 0xfffffffe, 0x00007ffe },
785  { 0x00000000, 0x0000007e, 0x0000007e },
786  { 0x00000000, 0xffffffcc, 0xcccccccc },
787  { 0x00000000, 0x00000002, 0xffff8002 },
788  { 0x00000000, 0xfffffffe, 0x7ffffffe },
789  { 0x00000000, 0x00000001, 0x00000001 },
790  { 0x00000000, 0x00000020, 0x00000020 },
791  { 0x00000000, 0x00000001, 0xffff8001 },
792  { 0x00000000, 0xfffffffe, 0xfffffffe },
793  { 0x00000000, 0x00000055, 0x55555555 },
794  { 0x00000000, 0xffffff83, 0xffffff83 },
795  { 0x00000000, 0x00000001, 0xffff8001 },
796  { 0x00000000, 0x00000000, 0xffff8000 },
797  { 0x00000000, 0x00000002, 0x00000002 },
798  { 0x00000000, 0x00000000, 0xffff8000 },
799  { 0x00000000, 0xffffff81, 0xffffff81 },
800  { 0x00000000, 0x00000000, 0x00000000 },
801  { 0x00000000, 0xffffff81, 0xffffff81 },
802  { 0x00000000, 0xffffff82, 0xffffff82 },
803  { 0x00000000, 0x00000003, 0xffff8003 },
804  { 0x00000000, 0xfffffffd, 0x7ffffffd },
805  { 0x00000000, 0xfffffffe, 0x00007ffe },
806  { 0x00000000, 0x0000007d, 0x0000007d },
807  { 0x00000000, 0xfffffffd, 0x00007ffd },
808  { 0x00000000, 0xffffff82, 0xffffff82 },
809  { 0x00000000, 0xfffffffe, 0x7ffffffe },
810  { 0x00000000, 0xffffff83, 0xffffff83 },
811  { 0x00000000, 0x00000002, 0x00000002 },
812  { 0x00000000, 0xffffff82, 0xffffff82 },
813  { 0x00000000, 0x00000020, 0x00000020 },
814  { 0x00000000, 0xffffff82, 0xffffff82 },
815  { 0x00000000, 0xffffff82, 0xffffff82 },
816  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
817  { 0x00000000, 0x00000001, 0x00000001 },
818  { 0x00000000, 0xffffffe0, 0xffffffe0 },
819  { 0x00000000, 0xffffff83, 0xffffff83 },
820  { 0x00000000, 0x00000000, 0x00000000 },
821  { 0x00000000, 0x00000000, 0xffff8000 },
822  { 0x00000000, 0xffffffff, 0x7fffffff },
823  { 0x00000000, 0x00000000, 0x80000000 },
824  { 0x00000000, 0x00000001, 0x00000001 },
825  { 0x00000000, 0xffffff82, 0xffffff82 },
826  { 0x00000000, 0xfffffffe, 0x00007ffe },
827  { 0x00000000, 0xfffffffd, 0xfffffffd },
828  { 0x00000000, 0x00000033, 0x33333333 },
829  { 0x00000000, 0x00000000, 0x80000000 },
830  { 0x00000000, 0xffffffff, 0x00007fff },
831  { 0x00000000, 0xffffffe0, 0xffffffe0 },
832  { 0x00000000, 0x0000007f, 0x0000007f },
833  { 0x00000000, 0x00000001, 0xffff8001 },
834  { 0x00000000, 0x00000001, 0x00000001 },
835  { 0x00000000, 0xffffffff, 0xffffffff },
836  { 0x00000000, 0xffffffcc, 0xcccccccc },
837  { 0x00000000, 0xfffffffe, 0x7ffffffe },
838  { 0x00000000, 0x00000000, 0x00000000 },
839  { 0x00000000, 0xffffffcc, 0xcccccccc },
840  { 0x00000000, 0xffffff83, 0xffffff83 },
841  { 0x00000000, 0xffffffe0, 0xffffffe0 },
842  { 0x00000000, 0xffffffff, 0x00007fff },
843  { 0x00000000, 0x00000002, 0x00000002 },
844  { 0x00000000, 0xffffffcc, 0xcccccccc },
845  { 0x00000000, 0xffffff80, 0xffffff80 },
846  { 0x00000000, 0x00000020, 0x00000020 },
847  { 0x00000000, 0xfffffffe, 0xfffffffe },
848  { 0x00000000, 0xffffff81, 0xffffff81 },
849  { 0x00000000, 0x0000007f, 0x0000007f },
850  { 0x00000000, 0xfffffffd, 0x7ffffffd },
851  { 0x00000000, 0xfffffffe, 0xfffffffe },
852  { 0x00000000, 0x00000002, 0xffff8002 },
853  { 0x00000000, 0xffffffff, 0xffffffff },
854  { 0x00000000, 0xffffff80, 0xffffff80 },
855  { 0x00000000, 0xffffffff, 0x00007fff },
856  { 0x00000000, 0x00000001, 0xffff8001 },
857  { 0x00000000, 0x00000002, 0xffff8002 },
858  { 0x00000000, 0xffffff83, 0xffffff83 },
859  { 0x00000000, 0x0000007f, 0x0000007f },
860  { 0x00000000, 0xfffffffe, 0xfffffffe },
861  { 0x00000000, 0x00000003, 0xffff8003 },
862  { 0x00000000, 0x00000002, 0xffff8002 },
863  { 0x00000000, 0x0000007f, 0x0000007f },
864  { 0x00000000, 0x00000002, 0x00000002 },
865  { 0x00000000, 0x00000001, 0xffff8001 },
866  { 0x00000000, 0x00000001, 0x00000001 },
867  { 0x00000000, 0x00000002, 0xffff8002 },
868  { 0x00000000, 0xffffffff, 0x7fffffff },
869  { 0x00000000, 0x00000000, 0xffff8000 },
870  { 0x00000000, 0xfffffffd, 0x00007ffd },
871  { 0x00000000, 0xffffff81, 0xffffff81 },
872  { 0x00000000, 0x00000055, 0x55555555 },
873  { 0x00000000, 0x00000020, 0x00000020 },
874  { 0x00000000, 0x00000001, 0x00000001 },
875  { 0x00000000, 0x00000002, 0xffff8002 },
876  { 0x00000000, 0xfffffffe, 0xfffffffe },
877  { 0x00000000, 0xfffffffd, 0x00007ffd },
878  { 0x00000000, 0xfffffffd, 0xfffffffd },
879  { 0x00000000, 0xffffff80, 0xffffff80 },
880  { 0x00000000, 0xffffff80, 0xffffff80 },
881  { 0x00000000, 0x00000002, 0xffff8002 },
882  { 0x00000000, 0x00000002, 0xffff8002 },
883  { 0x00000000, 0xfffffffe, 0x00007ffe },
884  { 0x00000000, 0x00000001, 0xffff8001 },
885  { 0x00000000, 0xffffff80, 0xffffff80 },
886  { 0x00000000, 0x00000000, 0x80000000 },
887  { 0x00000000, 0xfffffffe, 0x00007ffe },
888  { 0x00000000, 0x00000000, 0xffff8000 },
889  { 0x00000000, 0xffffffff, 0x00007fff },
890  { 0x00000000, 0x0000007d, 0x0000007d },
891  { 0x00000000, 0x00000000, 0x00000000 },
892  { 0x00000000, 0x00000055, 0x55555555 },
893  { 0x00000000, 0x00000000, 0x80000000 },
894  { 0x00000000, 0xffffff80, 0xffffff80 },
895  { 0x00000000, 0x00000003, 0xffff8003 },
896  { 0x00000000, 0x00000001, 0x80000001 },
897  { 0x00000000, 0x00000001, 0xffff8001 },
898  { 0x00000000, 0x00000002, 0x00000002 },
899  { 0x00000000, 0xffffff81, 0xffffff81 },
900  { 0x00000000, 0x00000001, 0xffff8001 },
901  { 0x00000000, 0xfffffffe, 0xfffffffe },
902  { 0x00000000, 0xfffffffd, 0xfffffffd },
903  { 0x00000000, 0xffffffff, 0xffffffff },
904  { 0x00000000, 0x00000000, 0x80000000 },
905  { 0x00000000, 0x00000001, 0x80000001 },
906  { 0x00000000, 0xfffffffd, 0x7ffffffd },
907  { 0x00000000, 0x00000000, 0x00000000 },
908  { 0x00000000, 0x00000001, 0x00000001 },
909  { 0x00000000, 0xffffffff, 0x7fffffff },
910  { 0x00000000, 0xffffffff, 0xffffffff },
911  { 0x00000000, 0xffffffff, 0x00007fff },
912  { 0x00000000, 0xffffffff, 0x00007fff },
913  { 0x00000000, 0x00000055, 0x55555555 },
914  { 0x00000000, 0x00000033, 0x33333333 },
915  { 0x00000000, 0xfffffffd, 0xfffffffd },
916  { 0x00000000, 0x00000001, 0x00000001 },
917  { 0x00000000, 0xffffffe0, 0xffffffe0 },
918  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
919  { 0x00000000, 0x00000033, 0x33333333 },
920  { 0x00000000, 0x00000003, 0xffff8003 },
921  { 0x00000000, 0xffffffff, 0x7fffffff },
922  { 0x00000000, 0xffffff83, 0xffffff83 },
923  { 0x00000000, 0x00000000, 0xffff8000 },
924  { 0x00000000, 0x00000055, 0x55555555 },
925  { 0x00000000, 0xffffff81, 0xffffff81 },
926  { 0x00000000, 0xfffffffe, 0xfffffffe },
927  { 0x00000000, 0xffffffff, 0x7fffffff },
928  { 0x00000000, 0xffffffff, 0x7fffffff },
929  { 0x00000000, 0x00000003, 0xffff8003 },
930  { 0x00000000, 0xffffffff, 0xffffffff },
931  { 0x00000000, 0xfffffffd, 0x00007ffd },
932  { 0x00000000, 0xffffffff, 0x00007fff },
933  { 0x00000000, 0xffffffff, 0xffffffff },
934  { 0x00000000, 0x00000003, 0xffff8003 },
935  { 0x00000000, 0xfffffffd, 0xfffffffd },
936  { 0x00000000, 0x00000000, 0x80000000 },
937  { 0x00000000, 0x00000020, 0x00000020 },
938  { 0x00000000, 0x00000002, 0x00000002 },
939  { 0x00000000, 0x00000002, 0x00000002 },
940  { 0x00000000, 0xffffffff, 0x00007fff },
941  { 0x00000000, 0x00000001, 0x00000001 },
942  { 0x00000000, 0xffffffff, 0x00007fff },
943  { 0x00000000, 0x00000020, 0x00000020 },
944  { 0x00000000, 0xffffffe0, 0xffffffe0 },
945  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
946  { 0x00000000, 0x00000001, 0xffff8001 },
947  { 0x00000000, 0x00000001, 0x80000001 },
948  { 0x00000000, 0x00000000, 0xffff8000 },
949  { 0x00000000, 0x00000001, 0xffff8001 },
950  { 0x00000000, 0x00000000, 0x00000000 },
951  { 0x00000000, 0x00000033, 0x33333333 },
952  { 0x00000000, 0xffffff80, 0xffffff80 },
953  { 0x00000000, 0x00000055, 0x55555555 },
954  { 0x00000000, 0xffffffff, 0xffffffff },
955};
956const Inputs kOutputs_Sxtb_RdIsNotRn_al_r7_r4[] = {
957  { 0x00000000, 0xffffffcc, 0xcccccccc },
958  { 0x00000000, 0xfffffffe, 0x00007ffe },
959  { 0x00000000, 0x00000020, 0x00000020 },
960  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
961  { 0x00000000, 0xffffff82, 0xffffff82 },
962  { 0x00000000, 0xfffffffe, 0x7ffffffe },
963  { 0x00000000, 0xfffffffe, 0x00007ffe },
964  { 0x00000000, 0x00000000, 0x80000000 },
965  { 0x00000000, 0x00000033, 0x33333333 },
966  { 0x00000000, 0xfffffffe, 0x7ffffffe },
967  { 0x00000000, 0xffffffcc, 0xcccccccc },
968  { 0x00000000, 0x00000055, 0x55555555 },
969  { 0x00000000, 0xffffffff, 0xffffffff },
970  { 0x00000000, 0x00000002, 0xffff8002 },
971  { 0x00000000, 0xfffffffd, 0x7ffffffd },
972  { 0x00000000, 0x0000007e, 0x0000007e },
973  { 0x00000000, 0x00000001, 0xffff8001 },
974  { 0x00000000, 0xfffffffd, 0x00007ffd },
975  { 0x00000000, 0x00000002, 0x00000002 },
976  { 0x00000000, 0x00000055, 0x55555555 },
977  { 0x00000000, 0xffffff80, 0xffffff80 },
978  { 0x00000000, 0x00000000, 0xffff8000 },
979  { 0x00000000, 0xfffffffe, 0x7ffffffe },
980  { 0x00000000, 0x00000000, 0x00000000 },
981  { 0x00000000, 0x0000007e, 0x0000007e },
982  { 0x00000000, 0xffffffff, 0xffffffff },
983  { 0x00000000, 0x00000001, 0x80000001 },
984  { 0x00000000, 0x0000007f, 0x0000007f },
985  { 0x00000000, 0xffffffcc, 0xcccccccc },
986  { 0x00000000, 0xfffffffe, 0x00007ffe },
987  { 0x00000000, 0x0000007e, 0x0000007e },
988  { 0x00000000, 0xffffffcc, 0xcccccccc },
989  { 0x00000000, 0x00000002, 0xffff8002 },
990  { 0x00000000, 0xfffffffe, 0x7ffffffe },
991  { 0x00000000, 0x00000001, 0x00000001 },
992  { 0x00000000, 0x00000020, 0x00000020 },
993  { 0x00000000, 0x00000001, 0xffff8001 },
994  { 0x00000000, 0xfffffffe, 0xfffffffe },
995  { 0x00000000, 0x00000055, 0x55555555 },
996  { 0x00000000, 0xffffff83, 0xffffff83 },
997  { 0x00000000, 0x00000001, 0xffff8001 },
998  { 0x00000000, 0x00000000, 0xffff8000 },
999  { 0x00000000, 0x00000002, 0x00000002 },
1000  { 0x00000000, 0x00000000, 0xffff8000 },
1001  { 0x00000000, 0xffffff81, 0xffffff81 },
1002  { 0x00000000, 0x00000000, 0x00000000 },
1003  { 0x00000000, 0xffffff81, 0xffffff81 },
1004  { 0x00000000, 0xffffff82, 0xffffff82 },
1005  { 0x00000000, 0x00000003, 0xffff8003 },
1006  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1007  { 0x00000000, 0xfffffffe, 0x00007ffe },
1008  { 0x00000000, 0x0000007d, 0x0000007d },
1009  { 0x00000000, 0xfffffffd, 0x00007ffd },
1010  { 0x00000000, 0xffffff82, 0xffffff82 },
1011  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1012  { 0x00000000, 0xffffff83, 0xffffff83 },
1013  { 0x00000000, 0x00000002, 0x00000002 },
1014  { 0x00000000, 0xffffff82, 0xffffff82 },
1015  { 0x00000000, 0x00000020, 0x00000020 },
1016  { 0x00000000, 0xffffff82, 0xffffff82 },
1017  { 0x00000000, 0xffffff82, 0xffffff82 },
1018  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1019  { 0x00000000, 0x00000001, 0x00000001 },
1020  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1021  { 0x00000000, 0xffffff83, 0xffffff83 },
1022  { 0x00000000, 0x00000000, 0x00000000 },
1023  { 0x00000000, 0x00000000, 0xffff8000 },
1024  { 0x00000000, 0xffffffff, 0x7fffffff },
1025  { 0x00000000, 0x00000000, 0x80000000 },
1026  { 0x00000000, 0x00000001, 0x00000001 },
1027  { 0x00000000, 0xffffff82, 0xffffff82 },
1028  { 0x00000000, 0xfffffffe, 0x00007ffe },
1029  { 0x00000000, 0xfffffffd, 0xfffffffd },
1030  { 0x00000000, 0x00000033, 0x33333333 },
1031  { 0x00000000, 0x00000000, 0x80000000 },
1032  { 0x00000000, 0xffffffff, 0x00007fff },
1033  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1034  { 0x00000000, 0x0000007f, 0x0000007f },
1035  { 0x00000000, 0x00000001, 0xffff8001 },
1036  { 0x00000000, 0x00000001, 0x00000001 },
1037  { 0x00000000, 0xffffffff, 0xffffffff },
1038  { 0x00000000, 0xffffffcc, 0xcccccccc },
1039  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1040  { 0x00000000, 0x00000000, 0x00000000 },
1041  { 0x00000000, 0xffffffcc, 0xcccccccc },
1042  { 0x00000000, 0xffffff83, 0xffffff83 },
1043  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1044  { 0x00000000, 0xffffffff, 0x00007fff },
1045  { 0x00000000, 0x00000002, 0x00000002 },
1046  { 0x00000000, 0xffffffcc, 0xcccccccc },
1047  { 0x00000000, 0xffffff80, 0xffffff80 },
1048  { 0x00000000, 0x00000020, 0x00000020 },
1049  { 0x00000000, 0xfffffffe, 0xfffffffe },
1050  { 0x00000000, 0xffffff81, 0xffffff81 },
1051  { 0x00000000, 0x0000007f, 0x0000007f },
1052  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1053  { 0x00000000, 0xfffffffe, 0xfffffffe },
1054  { 0x00000000, 0x00000002, 0xffff8002 },
1055  { 0x00000000, 0xffffffff, 0xffffffff },
1056  { 0x00000000, 0xffffff80, 0xffffff80 },
1057  { 0x00000000, 0xffffffff, 0x00007fff },
1058  { 0x00000000, 0x00000001, 0xffff8001 },
1059  { 0x00000000, 0x00000002, 0xffff8002 },
1060  { 0x00000000, 0xffffff83, 0xffffff83 },
1061  { 0x00000000, 0x0000007f, 0x0000007f },
1062  { 0x00000000, 0xfffffffe, 0xfffffffe },
1063  { 0x00000000, 0x00000003, 0xffff8003 },
1064  { 0x00000000, 0x00000002, 0xffff8002 },
1065  { 0x00000000, 0x0000007f, 0x0000007f },
1066  { 0x00000000, 0x00000002, 0x00000002 },
1067  { 0x00000000, 0x00000001, 0xffff8001 },
1068  { 0x00000000, 0x00000001, 0x00000001 },
1069  { 0x00000000, 0x00000002, 0xffff8002 },
1070  { 0x00000000, 0xffffffff, 0x7fffffff },
1071  { 0x00000000, 0x00000000, 0xffff8000 },
1072  { 0x00000000, 0xfffffffd, 0x00007ffd },
1073  { 0x00000000, 0xffffff81, 0xffffff81 },
1074  { 0x00000000, 0x00000055, 0x55555555 },
1075  { 0x00000000, 0x00000020, 0x00000020 },
1076  { 0x00000000, 0x00000001, 0x00000001 },
1077  { 0x00000000, 0x00000002, 0xffff8002 },
1078  { 0x00000000, 0xfffffffe, 0xfffffffe },
1079  { 0x00000000, 0xfffffffd, 0x00007ffd },
1080  { 0x00000000, 0xfffffffd, 0xfffffffd },
1081  { 0x00000000, 0xffffff80, 0xffffff80 },
1082  { 0x00000000, 0xffffff80, 0xffffff80 },
1083  { 0x00000000, 0x00000002, 0xffff8002 },
1084  { 0x00000000, 0x00000002, 0xffff8002 },
1085  { 0x00000000, 0xfffffffe, 0x00007ffe },
1086  { 0x00000000, 0x00000001, 0xffff8001 },
1087  { 0x00000000, 0xffffff80, 0xffffff80 },
1088  { 0x00000000, 0x00000000, 0x80000000 },
1089  { 0x00000000, 0xfffffffe, 0x00007ffe },
1090  { 0x00000000, 0x00000000, 0xffff8000 },
1091  { 0x00000000, 0xffffffff, 0x00007fff },
1092  { 0x00000000, 0x0000007d, 0x0000007d },
1093  { 0x00000000, 0x00000000, 0x00000000 },
1094  { 0x00000000, 0x00000055, 0x55555555 },
1095  { 0x00000000, 0x00000000, 0x80000000 },
1096  { 0x00000000, 0xffffff80, 0xffffff80 },
1097  { 0x00000000, 0x00000003, 0xffff8003 },
1098  { 0x00000000, 0x00000001, 0x80000001 },
1099  { 0x00000000, 0x00000001, 0xffff8001 },
1100  { 0x00000000, 0x00000002, 0x00000002 },
1101  { 0x00000000, 0xffffff81, 0xffffff81 },
1102  { 0x00000000, 0x00000001, 0xffff8001 },
1103  { 0x00000000, 0xfffffffe, 0xfffffffe },
1104  { 0x00000000, 0xfffffffd, 0xfffffffd },
1105  { 0x00000000, 0xffffffff, 0xffffffff },
1106  { 0x00000000, 0x00000000, 0x80000000 },
1107  { 0x00000000, 0x00000001, 0x80000001 },
1108  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1109  { 0x00000000, 0x00000000, 0x00000000 },
1110  { 0x00000000, 0x00000001, 0x00000001 },
1111  { 0x00000000, 0xffffffff, 0x7fffffff },
1112  { 0x00000000, 0xffffffff, 0xffffffff },
1113  { 0x00000000, 0xffffffff, 0x00007fff },
1114  { 0x00000000, 0xffffffff, 0x00007fff },
1115  { 0x00000000, 0x00000055, 0x55555555 },
1116  { 0x00000000, 0x00000033, 0x33333333 },
1117  { 0x00000000, 0xfffffffd, 0xfffffffd },
1118  { 0x00000000, 0x00000001, 0x00000001 },
1119  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1120  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1121  { 0x00000000, 0x00000033, 0x33333333 },
1122  { 0x00000000, 0x00000003, 0xffff8003 },
1123  { 0x00000000, 0xffffffff, 0x7fffffff },
1124  { 0x00000000, 0xffffff83, 0xffffff83 },
1125  { 0x00000000, 0x00000000, 0xffff8000 },
1126  { 0x00000000, 0x00000055, 0x55555555 },
1127  { 0x00000000, 0xffffff81, 0xffffff81 },
1128  { 0x00000000, 0xfffffffe, 0xfffffffe },
1129  { 0x00000000, 0xffffffff, 0x7fffffff },
1130  { 0x00000000, 0xffffffff, 0x7fffffff },
1131  { 0x00000000, 0x00000003, 0xffff8003 },
1132  { 0x00000000, 0xffffffff, 0xffffffff },
1133  { 0x00000000, 0xfffffffd, 0x00007ffd },
1134  { 0x00000000, 0xffffffff, 0x00007fff },
1135  { 0x00000000, 0xffffffff, 0xffffffff },
1136  { 0x00000000, 0x00000003, 0xffff8003 },
1137  { 0x00000000, 0xfffffffd, 0xfffffffd },
1138  { 0x00000000, 0x00000000, 0x80000000 },
1139  { 0x00000000, 0x00000020, 0x00000020 },
1140  { 0x00000000, 0x00000002, 0x00000002 },
1141  { 0x00000000, 0x00000002, 0x00000002 },
1142  { 0x00000000, 0xffffffff, 0x00007fff },
1143  { 0x00000000, 0x00000001, 0x00000001 },
1144  { 0x00000000, 0xffffffff, 0x00007fff },
1145  { 0x00000000, 0x00000020, 0x00000020 },
1146  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1147  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1148  { 0x00000000, 0x00000001, 0xffff8001 },
1149  { 0x00000000, 0x00000001, 0x80000001 },
1150  { 0x00000000, 0x00000000, 0xffff8000 },
1151  { 0x00000000, 0x00000001, 0xffff8001 },
1152  { 0x00000000, 0x00000000, 0x00000000 },
1153  { 0x00000000, 0x00000033, 0x33333333 },
1154  { 0x00000000, 0xffffff80, 0xffffff80 },
1155  { 0x00000000, 0x00000055, 0x55555555 },
1156  { 0x00000000, 0xffffffff, 0xffffffff },
1157};
1158const Inputs kOutputs_Sxtb_RdIsNotRn_al_r14_r10[] = {
1159  { 0x00000000, 0xffffffcc, 0xcccccccc },
1160  { 0x00000000, 0xfffffffe, 0x00007ffe },
1161  { 0x00000000, 0x00000020, 0x00000020 },
1162  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1163  { 0x00000000, 0xffffff82, 0xffffff82 },
1164  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1165  { 0x00000000, 0xfffffffe, 0x00007ffe },
1166  { 0x00000000, 0x00000000, 0x80000000 },
1167  { 0x00000000, 0x00000033, 0x33333333 },
1168  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1169  { 0x00000000, 0xffffffcc, 0xcccccccc },
1170  { 0x00000000, 0x00000055, 0x55555555 },
1171  { 0x00000000, 0xffffffff, 0xffffffff },
1172  { 0x00000000, 0x00000002, 0xffff8002 },
1173  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1174  { 0x00000000, 0x0000007e, 0x0000007e },
1175  { 0x00000000, 0x00000001, 0xffff8001 },
1176  { 0x00000000, 0xfffffffd, 0x00007ffd },
1177  { 0x00000000, 0x00000002, 0x00000002 },
1178  { 0x00000000, 0x00000055, 0x55555555 },
1179  { 0x00000000, 0xffffff80, 0xffffff80 },
1180  { 0x00000000, 0x00000000, 0xffff8000 },
1181  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1182  { 0x00000000, 0x00000000, 0x00000000 },
1183  { 0x00000000, 0x0000007e, 0x0000007e },
1184  { 0x00000000, 0xffffffff, 0xffffffff },
1185  { 0x00000000, 0x00000001, 0x80000001 },
1186  { 0x00000000, 0x0000007f, 0x0000007f },
1187  { 0x00000000, 0xffffffcc, 0xcccccccc },
1188  { 0x00000000, 0xfffffffe, 0x00007ffe },
1189  { 0x00000000, 0x0000007e, 0x0000007e },
1190  { 0x00000000, 0xffffffcc, 0xcccccccc },
1191  { 0x00000000, 0x00000002, 0xffff8002 },
1192  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1193  { 0x00000000, 0x00000001, 0x00000001 },
1194  { 0x00000000, 0x00000020, 0x00000020 },
1195  { 0x00000000, 0x00000001, 0xffff8001 },
1196  { 0x00000000, 0xfffffffe, 0xfffffffe },
1197  { 0x00000000, 0x00000055, 0x55555555 },
1198  { 0x00000000, 0xffffff83, 0xffffff83 },
1199  { 0x00000000, 0x00000001, 0xffff8001 },
1200  { 0x00000000, 0x00000000, 0xffff8000 },
1201  { 0x00000000, 0x00000002, 0x00000002 },
1202  { 0x00000000, 0x00000000, 0xffff8000 },
1203  { 0x00000000, 0xffffff81, 0xffffff81 },
1204  { 0x00000000, 0x00000000, 0x00000000 },
1205  { 0x00000000, 0xffffff81, 0xffffff81 },
1206  { 0x00000000, 0xffffff82, 0xffffff82 },
1207  { 0x00000000, 0x00000003, 0xffff8003 },
1208  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1209  { 0x00000000, 0xfffffffe, 0x00007ffe },
1210  { 0x00000000, 0x0000007d, 0x0000007d },
1211  { 0x00000000, 0xfffffffd, 0x00007ffd },
1212  { 0x00000000, 0xffffff82, 0xffffff82 },
1213  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1214  { 0x00000000, 0xffffff83, 0xffffff83 },
1215  { 0x00000000, 0x00000002, 0x00000002 },
1216  { 0x00000000, 0xffffff82, 0xffffff82 },
1217  { 0x00000000, 0x00000020, 0x00000020 },
1218  { 0x00000000, 0xffffff82, 0xffffff82 },
1219  { 0x00000000, 0xffffff82, 0xffffff82 },
1220  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1221  { 0x00000000, 0x00000001, 0x00000001 },
1222  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1223  { 0x00000000, 0xffffff83, 0xffffff83 },
1224  { 0x00000000, 0x00000000, 0x00000000 },
1225  { 0x00000000, 0x00000000, 0xffff8000 },
1226  { 0x00000000, 0xffffffff, 0x7fffffff },
1227  { 0x00000000, 0x00000000, 0x80000000 },
1228  { 0x00000000, 0x00000001, 0x00000001 },
1229  { 0x00000000, 0xffffff82, 0xffffff82 },
1230  { 0x00000000, 0xfffffffe, 0x00007ffe },
1231  { 0x00000000, 0xfffffffd, 0xfffffffd },
1232  { 0x00000000, 0x00000033, 0x33333333 },
1233  { 0x00000000, 0x00000000, 0x80000000 },
1234  { 0x00000000, 0xffffffff, 0x00007fff },
1235  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1236  { 0x00000000, 0x0000007f, 0x0000007f },
1237  { 0x00000000, 0x00000001, 0xffff8001 },
1238  { 0x00000000, 0x00000001, 0x00000001 },
1239  { 0x00000000, 0xffffffff, 0xffffffff },
1240  { 0x00000000, 0xffffffcc, 0xcccccccc },
1241  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1242  { 0x00000000, 0x00000000, 0x00000000 },
1243  { 0x00000000, 0xffffffcc, 0xcccccccc },
1244  { 0x00000000, 0xffffff83, 0xffffff83 },
1245  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1246  { 0x00000000, 0xffffffff, 0x00007fff },
1247  { 0x00000000, 0x00000002, 0x00000002 },
1248  { 0x00000000, 0xffffffcc, 0xcccccccc },
1249  { 0x00000000, 0xffffff80, 0xffffff80 },
1250  { 0x00000000, 0x00000020, 0x00000020 },
1251  { 0x00000000, 0xfffffffe, 0xfffffffe },
1252  { 0x00000000, 0xffffff81, 0xffffff81 },
1253  { 0x00000000, 0x0000007f, 0x0000007f },
1254  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1255  { 0x00000000, 0xfffffffe, 0xfffffffe },
1256  { 0x00000000, 0x00000002, 0xffff8002 },
1257  { 0x00000000, 0xffffffff, 0xffffffff },
1258  { 0x00000000, 0xffffff80, 0xffffff80 },
1259  { 0x00000000, 0xffffffff, 0x00007fff },
1260  { 0x00000000, 0x00000001, 0xffff8001 },
1261  { 0x00000000, 0x00000002, 0xffff8002 },
1262  { 0x00000000, 0xffffff83, 0xffffff83 },
1263  { 0x00000000, 0x0000007f, 0x0000007f },
1264  { 0x00000000, 0xfffffffe, 0xfffffffe },
1265  { 0x00000000, 0x00000003, 0xffff8003 },
1266  { 0x00000000, 0x00000002, 0xffff8002 },
1267  { 0x00000000, 0x0000007f, 0x0000007f },
1268  { 0x00000000, 0x00000002, 0x00000002 },
1269  { 0x00000000, 0x00000001, 0xffff8001 },
1270  { 0x00000000, 0x00000001, 0x00000001 },
1271  { 0x00000000, 0x00000002, 0xffff8002 },
1272  { 0x00000000, 0xffffffff, 0x7fffffff },
1273  { 0x00000000, 0x00000000, 0xffff8000 },
1274  { 0x00000000, 0xfffffffd, 0x00007ffd },
1275  { 0x00000000, 0xffffff81, 0xffffff81 },
1276  { 0x00000000, 0x00000055, 0x55555555 },
1277  { 0x00000000, 0x00000020, 0x00000020 },
1278  { 0x00000000, 0x00000001, 0x00000001 },
1279  { 0x00000000, 0x00000002, 0xffff8002 },
1280  { 0x00000000, 0xfffffffe, 0xfffffffe },
1281  { 0x00000000, 0xfffffffd, 0x00007ffd },
1282  { 0x00000000, 0xfffffffd, 0xfffffffd },
1283  { 0x00000000, 0xffffff80, 0xffffff80 },
1284  { 0x00000000, 0xffffff80, 0xffffff80 },
1285  { 0x00000000, 0x00000002, 0xffff8002 },
1286  { 0x00000000, 0x00000002, 0xffff8002 },
1287  { 0x00000000, 0xfffffffe, 0x00007ffe },
1288  { 0x00000000, 0x00000001, 0xffff8001 },
1289  { 0x00000000, 0xffffff80, 0xffffff80 },
1290  { 0x00000000, 0x00000000, 0x80000000 },
1291  { 0x00000000, 0xfffffffe, 0x00007ffe },
1292  { 0x00000000, 0x00000000, 0xffff8000 },
1293  { 0x00000000, 0xffffffff, 0x00007fff },
1294  { 0x00000000, 0x0000007d, 0x0000007d },
1295  { 0x00000000, 0x00000000, 0x00000000 },
1296  { 0x00000000, 0x00000055, 0x55555555 },
1297  { 0x00000000, 0x00000000, 0x80000000 },
1298  { 0x00000000, 0xffffff80, 0xffffff80 },
1299  { 0x00000000, 0x00000003, 0xffff8003 },
1300  { 0x00000000, 0x00000001, 0x80000001 },
1301  { 0x00000000, 0x00000001, 0xffff8001 },
1302  { 0x00000000, 0x00000002, 0x00000002 },
1303  { 0x00000000, 0xffffff81, 0xffffff81 },
1304  { 0x00000000, 0x00000001, 0xffff8001 },
1305  { 0x00000000, 0xfffffffe, 0xfffffffe },
1306  { 0x00000000, 0xfffffffd, 0xfffffffd },
1307  { 0x00000000, 0xffffffff, 0xffffffff },
1308  { 0x00000000, 0x00000000, 0x80000000 },
1309  { 0x00000000, 0x00000001, 0x80000001 },
1310  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1311  { 0x00000000, 0x00000000, 0x00000000 },
1312  { 0x00000000, 0x00000001, 0x00000001 },
1313  { 0x00000000, 0xffffffff, 0x7fffffff },
1314  { 0x00000000, 0xffffffff, 0xffffffff },
1315  { 0x00000000, 0xffffffff, 0x00007fff },
1316  { 0x00000000, 0xffffffff, 0x00007fff },
1317  { 0x00000000, 0x00000055, 0x55555555 },
1318  { 0x00000000, 0x00000033, 0x33333333 },
1319  { 0x00000000, 0xfffffffd, 0xfffffffd },
1320  { 0x00000000, 0x00000001, 0x00000001 },
1321  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1322  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1323  { 0x00000000, 0x00000033, 0x33333333 },
1324  { 0x00000000, 0x00000003, 0xffff8003 },
1325  { 0x00000000, 0xffffffff, 0x7fffffff },
1326  { 0x00000000, 0xffffff83, 0xffffff83 },
1327  { 0x00000000, 0x00000000, 0xffff8000 },
1328  { 0x00000000, 0x00000055, 0x55555555 },
1329  { 0x00000000, 0xffffff81, 0xffffff81 },
1330  { 0x00000000, 0xfffffffe, 0xfffffffe },
1331  { 0x00000000, 0xffffffff, 0x7fffffff },
1332  { 0x00000000, 0xffffffff, 0x7fffffff },
1333  { 0x00000000, 0x00000003, 0xffff8003 },
1334  { 0x00000000, 0xffffffff, 0xffffffff },
1335  { 0x00000000, 0xfffffffd, 0x00007ffd },
1336  { 0x00000000, 0xffffffff, 0x00007fff },
1337  { 0x00000000, 0xffffffff, 0xffffffff },
1338  { 0x00000000, 0x00000003, 0xffff8003 },
1339  { 0x00000000, 0xfffffffd, 0xfffffffd },
1340  { 0x00000000, 0x00000000, 0x80000000 },
1341  { 0x00000000, 0x00000020, 0x00000020 },
1342  { 0x00000000, 0x00000002, 0x00000002 },
1343  { 0x00000000, 0x00000002, 0x00000002 },
1344  { 0x00000000, 0xffffffff, 0x00007fff },
1345  { 0x00000000, 0x00000001, 0x00000001 },
1346  { 0x00000000, 0xffffffff, 0x00007fff },
1347  { 0x00000000, 0x00000020, 0x00000020 },
1348  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1349  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1350  { 0x00000000, 0x00000001, 0xffff8001 },
1351  { 0x00000000, 0x00000001, 0x80000001 },
1352  { 0x00000000, 0x00000000, 0xffff8000 },
1353  { 0x00000000, 0x00000001, 0xffff8001 },
1354  { 0x00000000, 0x00000000, 0x00000000 },
1355  { 0x00000000, 0x00000033, 0x33333333 },
1356  { 0x00000000, 0xffffff80, 0xffffff80 },
1357  { 0x00000000, 0x00000055, 0x55555555 },
1358  { 0x00000000, 0xffffffff, 0xffffffff },
1359};
1360const Inputs kOutputs_Sxtb_RdIsNotRn_al_r10_r6[] = {
1361  { 0x00000000, 0xffffffcc, 0xcccccccc },
1362  { 0x00000000, 0xfffffffe, 0x00007ffe },
1363  { 0x00000000, 0x00000020, 0x00000020 },
1364  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1365  { 0x00000000, 0xffffff82, 0xffffff82 },
1366  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1367  { 0x00000000, 0xfffffffe, 0x00007ffe },
1368  { 0x00000000, 0x00000000, 0x80000000 },
1369  { 0x00000000, 0x00000033, 0x33333333 },
1370  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1371  { 0x00000000, 0xffffffcc, 0xcccccccc },
1372  { 0x00000000, 0x00000055, 0x55555555 },
1373  { 0x00000000, 0xffffffff, 0xffffffff },
1374  { 0x00000000, 0x00000002, 0xffff8002 },
1375  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1376  { 0x00000000, 0x0000007e, 0x0000007e },
1377  { 0x00000000, 0x00000001, 0xffff8001 },
1378  { 0x00000000, 0xfffffffd, 0x00007ffd },
1379  { 0x00000000, 0x00000002, 0x00000002 },
1380  { 0x00000000, 0x00000055, 0x55555555 },
1381  { 0x00000000, 0xffffff80, 0xffffff80 },
1382  { 0x00000000, 0x00000000, 0xffff8000 },
1383  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1384  { 0x00000000, 0x00000000, 0x00000000 },
1385  { 0x00000000, 0x0000007e, 0x0000007e },
1386  { 0x00000000, 0xffffffff, 0xffffffff },
1387  { 0x00000000, 0x00000001, 0x80000001 },
1388  { 0x00000000, 0x0000007f, 0x0000007f },
1389  { 0x00000000, 0xffffffcc, 0xcccccccc },
1390  { 0x00000000, 0xfffffffe, 0x00007ffe },
1391  { 0x00000000, 0x0000007e, 0x0000007e },
1392  { 0x00000000, 0xffffffcc, 0xcccccccc },
1393  { 0x00000000, 0x00000002, 0xffff8002 },
1394  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1395  { 0x00000000, 0x00000001, 0x00000001 },
1396  { 0x00000000, 0x00000020, 0x00000020 },
1397  { 0x00000000, 0x00000001, 0xffff8001 },
1398  { 0x00000000, 0xfffffffe, 0xfffffffe },
1399  { 0x00000000, 0x00000055, 0x55555555 },
1400  { 0x00000000, 0xffffff83, 0xffffff83 },
1401  { 0x00000000, 0x00000001, 0xffff8001 },
1402  { 0x00000000, 0x00000000, 0xffff8000 },
1403  { 0x00000000, 0x00000002, 0x00000002 },
1404  { 0x00000000, 0x00000000, 0xffff8000 },
1405  { 0x00000000, 0xffffff81, 0xffffff81 },
1406  { 0x00000000, 0x00000000, 0x00000000 },
1407  { 0x00000000, 0xffffff81, 0xffffff81 },
1408  { 0x00000000, 0xffffff82, 0xffffff82 },
1409  { 0x00000000, 0x00000003, 0xffff8003 },
1410  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1411  { 0x00000000, 0xfffffffe, 0x00007ffe },
1412  { 0x00000000, 0x0000007d, 0x0000007d },
1413  { 0x00000000, 0xfffffffd, 0x00007ffd },
1414  { 0x00000000, 0xffffff82, 0xffffff82 },
1415  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1416  { 0x00000000, 0xffffff83, 0xffffff83 },
1417  { 0x00000000, 0x00000002, 0x00000002 },
1418  { 0x00000000, 0xffffff82, 0xffffff82 },
1419  { 0x00000000, 0x00000020, 0x00000020 },
1420  { 0x00000000, 0xffffff82, 0xffffff82 },
1421  { 0x00000000, 0xffffff82, 0xffffff82 },
1422  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1423  { 0x00000000, 0x00000001, 0x00000001 },
1424  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1425  { 0x00000000, 0xffffff83, 0xffffff83 },
1426  { 0x00000000, 0x00000000, 0x00000000 },
1427  { 0x00000000, 0x00000000, 0xffff8000 },
1428  { 0x00000000, 0xffffffff, 0x7fffffff },
1429  { 0x00000000, 0x00000000, 0x80000000 },
1430  { 0x00000000, 0x00000001, 0x00000001 },
1431  { 0x00000000, 0xffffff82, 0xffffff82 },
1432  { 0x00000000, 0xfffffffe, 0x00007ffe },
1433  { 0x00000000, 0xfffffffd, 0xfffffffd },
1434  { 0x00000000, 0x00000033, 0x33333333 },
1435  { 0x00000000, 0x00000000, 0x80000000 },
1436  { 0x00000000, 0xffffffff, 0x00007fff },
1437  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1438  { 0x00000000, 0x0000007f, 0x0000007f },
1439  { 0x00000000, 0x00000001, 0xffff8001 },
1440  { 0x00000000, 0x00000001, 0x00000001 },
1441  { 0x00000000, 0xffffffff, 0xffffffff },
1442  { 0x00000000, 0xffffffcc, 0xcccccccc },
1443  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1444  { 0x00000000, 0x00000000, 0x00000000 },
1445  { 0x00000000, 0xffffffcc, 0xcccccccc },
1446  { 0x00000000, 0xffffff83, 0xffffff83 },
1447  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1448  { 0x00000000, 0xffffffff, 0x00007fff },
1449  { 0x00000000, 0x00000002, 0x00000002 },
1450  { 0x00000000, 0xffffffcc, 0xcccccccc },
1451  { 0x00000000, 0xffffff80, 0xffffff80 },
1452  { 0x00000000, 0x00000020, 0x00000020 },
1453  { 0x00000000, 0xfffffffe, 0xfffffffe },
1454  { 0x00000000, 0xffffff81, 0xffffff81 },
1455  { 0x00000000, 0x0000007f, 0x0000007f },
1456  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1457  { 0x00000000, 0xfffffffe, 0xfffffffe },
1458  { 0x00000000, 0x00000002, 0xffff8002 },
1459  { 0x00000000, 0xffffffff, 0xffffffff },
1460  { 0x00000000, 0xffffff80, 0xffffff80 },
1461  { 0x00000000, 0xffffffff, 0x00007fff },
1462  { 0x00000000, 0x00000001, 0xffff8001 },
1463  { 0x00000000, 0x00000002, 0xffff8002 },
1464  { 0x00000000, 0xffffff83, 0xffffff83 },
1465  { 0x00000000, 0x0000007f, 0x0000007f },
1466  { 0x00000000, 0xfffffffe, 0xfffffffe },
1467  { 0x00000000, 0x00000003, 0xffff8003 },
1468  { 0x00000000, 0x00000002, 0xffff8002 },
1469  { 0x00000000, 0x0000007f, 0x0000007f },
1470  { 0x00000000, 0x00000002, 0x00000002 },
1471  { 0x00000000, 0x00000001, 0xffff8001 },
1472  { 0x00000000, 0x00000001, 0x00000001 },
1473  { 0x00000000, 0x00000002, 0xffff8002 },
1474  { 0x00000000, 0xffffffff, 0x7fffffff },
1475  { 0x00000000, 0x00000000, 0xffff8000 },
1476  { 0x00000000, 0xfffffffd, 0x00007ffd },
1477  { 0x00000000, 0xffffff81, 0xffffff81 },
1478  { 0x00000000, 0x00000055, 0x55555555 },
1479  { 0x00000000, 0x00000020, 0x00000020 },
1480  { 0x00000000, 0x00000001, 0x00000001 },
1481  { 0x00000000, 0x00000002, 0xffff8002 },
1482  { 0x00000000, 0xfffffffe, 0xfffffffe },
1483  { 0x00000000, 0xfffffffd, 0x00007ffd },
1484  { 0x00000000, 0xfffffffd, 0xfffffffd },
1485  { 0x00000000, 0xffffff80, 0xffffff80 },
1486  { 0x00000000, 0xffffff80, 0xffffff80 },
1487  { 0x00000000, 0x00000002, 0xffff8002 },
1488  { 0x00000000, 0x00000002, 0xffff8002 },
1489  { 0x00000000, 0xfffffffe, 0x00007ffe },
1490  { 0x00000000, 0x00000001, 0xffff8001 },
1491  { 0x00000000, 0xffffff80, 0xffffff80 },
1492  { 0x00000000, 0x00000000, 0x80000000 },
1493  { 0x00000000, 0xfffffffe, 0x00007ffe },
1494  { 0x00000000, 0x00000000, 0xffff8000 },
1495  { 0x00000000, 0xffffffff, 0x00007fff },
1496  { 0x00000000, 0x0000007d, 0x0000007d },
1497  { 0x00000000, 0x00000000, 0x00000000 },
1498  { 0x00000000, 0x00000055, 0x55555555 },
1499  { 0x00000000, 0x00000000, 0x80000000 },
1500  { 0x00000000, 0xffffff80, 0xffffff80 },
1501  { 0x00000000, 0x00000003, 0xffff8003 },
1502  { 0x00000000, 0x00000001, 0x80000001 },
1503  { 0x00000000, 0x00000001, 0xffff8001 },
1504  { 0x00000000, 0x00000002, 0x00000002 },
1505  { 0x00000000, 0xffffff81, 0xffffff81 },
1506  { 0x00000000, 0x00000001, 0xffff8001 },
1507  { 0x00000000, 0xfffffffe, 0xfffffffe },
1508  { 0x00000000, 0xfffffffd, 0xfffffffd },
1509  { 0x00000000, 0xffffffff, 0xffffffff },
1510  { 0x00000000, 0x00000000, 0x80000000 },
1511  { 0x00000000, 0x00000001, 0x80000001 },
1512  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1513  { 0x00000000, 0x00000000, 0x00000000 },
1514  { 0x00000000, 0x00000001, 0x00000001 },
1515  { 0x00000000, 0xffffffff, 0x7fffffff },
1516  { 0x00000000, 0xffffffff, 0xffffffff },
1517  { 0x00000000, 0xffffffff, 0x00007fff },
1518  { 0x00000000, 0xffffffff, 0x00007fff },
1519  { 0x00000000, 0x00000055, 0x55555555 },
1520  { 0x00000000, 0x00000033, 0x33333333 },
1521  { 0x00000000, 0xfffffffd, 0xfffffffd },
1522  { 0x00000000, 0x00000001, 0x00000001 },
1523  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1524  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1525  { 0x00000000, 0x00000033, 0x33333333 },
1526  { 0x00000000, 0x00000003, 0xffff8003 },
1527  { 0x00000000, 0xffffffff, 0x7fffffff },
1528  { 0x00000000, 0xffffff83, 0xffffff83 },
1529  { 0x00000000, 0x00000000, 0xffff8000 },
1530  { 0x00000000, 0x00000055, 0x55555555 },
1531  { 0x00000000, 0xffffff81, 0xffffff81 },
1532  { 0x00000000, 0xfffffffe, 0xfffffffe },
1533  { 0x00000000, 0xffffffff, 0x7fffffff },
1534  { 0x00000000, 0xffffffff, 0x7fffffff },
1535  { 0x00000000, 0x00000003, 0xffff8003 },
1536  { 0x00000000, 0xffffffff, 0xffffffff },
1537  { 0x00000000, 0xfffffffd, 0x00007ffd },
1538  { 0x00000000, 0xffffffff, 0x00007fff },
1539  { 0x00000000, 0xffffffff, 0xffffffff },
1540  { 0x00000000, 0x00000003, 0xffff8003 },
1541  { 0x00000000, 0xfffffffd, 0xfffffffd },
1542  { 0x00000000, 0x00000000, 0x80000000 },
1543  { 0x00000000, 0x00000020, 0x00000020 },
1544  { 0x00000000, 0x00000002, 0x00000002 },
1545  { 0x00000000, 0x00000002, 0x00000002 },
1546  { 0x00000000, 0xffffffff, 0x00007fff },
1547  { 0x00000000, 0x00000001, 0x00000001 },
1548  { 0x00000000, 0xffffffff, 0x00007fff },
1549  { 0x00000000, 0x00000020, 0x00000020 },
1550  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1551  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1552  { 0x00000000, 0x00000001, 0xffff8001 },
1553  { 0x00000000, 0x00000001, 0x80000001 },
1554  { 0x00000000, 0x00000000, 0xffff8000 },
1555  { 0x00000000, 0x00000001, 0xffff8001 },
1556  { 0x00000000, 0x00000000, 0x00000000 },
1557  { 0x00000000, 0x00000033, 0x33333333 },
1558  { 0x00000000, 0xffffff80, 0xffffff80 },
1559  { 0x00000000, 0x00000055, 0x55555555 },
1560  { 0x00000000, 0xffffffff, 0xffffffff },
1561};
1562const Inputs kOutputs_Sxtb_RdIsNotRn_al_r6_r5[] = {
1563  { 0x00000000, 0xffffffcc, 0xcccccccc },
1564  { 0x00000000, 0xfffffffe, 0x00007ffe },
1565  { 0x00000000, 0x00000020, 0x00000020 },
1566  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1567  { 0x00000000, 0xffffff82, 0xffffff82 },
1568  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1569  { 0x00000000, 0xfffffffe, 0x00007ffe },
1570  { 0x00000000, 0x00000000, 0x80000000 },
1571  { 0x00000000, 0x00000033, 0x33333333 },
1572  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1573  { 0x00000000, 0xffffffcc, 0xcccccccc },
1574  { 0x00000000, 0x00000055, 0x55555555 },
1575  { 0x00000000, 0xffffffff, 0xffffffff },
1576  { 0x00000000, 0x00000002, 0xffff8002 },
1577  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1578  { 0x00000000, 0x0000007e, 0x0000007e },
1579  { 0x00000000, 0x00000001, 0xffff8001 },
1580  { 0x00000000, 0xfffffffd, 0x00007ffd },
1581  { 0x00000000, 0x00000002, 0x00000002 },
1582  { 0x00000000, 0x00000055, 0x55555555 },
1583  { 0x00000000, 0xffffff80, 0xffffff80 },
1584  { 0x00000000, 0x00000000, 0xffff8000 },
1585  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1586  { 0x00000000, 0x00000000, 0x00000000 },
1587  { 0x00000000, 0x0000007e, 0x0000007e },
1588  { 0x00000000, 0xffffffff, 0xffffffff },
1589  { 0x00000000, 0x00000001, 0x80000001 },
1590  { 0x00000000, 0x0000007f, 0x0000007f },
1591  { 0x00000000, 0xffffffcc, 0xcccccccc },
1592  { 0x00000000, 0xfffffffe, 0x00007ffe },
1593  { 0x00000000, 0x0000007e, 0x0000007e },
1594  { 0x00000000, 0xffffffcc, 0xcccccccc },
1595  { 0x00000000, 0x00000002, 0xffff8002 },
1596  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1597  { 0x00000000, 0x00000001, 0x00000001 },
1598  { 0x00000000, 0x00000020, 0x00000020 },
1599  { 0x00000000, 0x00000001, 0xffff8001 },
1600  { 0x00000000, 0xfffffffe, 0xfffffffe },
1601  { 0x00000000, 0x00000055, 0x55555555 },
1602  { 0x00000000, 0xffffff83, 0xffffff83 },
1603  { 0x00000000, 0x00000001, 0xffff8001 },
1604  { 0x00000000, 0x00000000, 0xffff8000 },
1605  { 0x00000000, 0x00000002, 0x00000002 },
1606  { 0x00000000, 0x00000000, 0xffff8000 },
1607  { 0x00000000, 0xffffff81, 0xffffff81 },
1608  { 0x00000000, 0x00000000, 0x00000000 },
1609  { 0x00000000, 0xffffff81, 0xffffff81 },
1610  { 0x00000000, 0xffffff82, 0xffffff82 },
1611  { 0x00000000, 0x00000003, 0xffff8003 },
1612  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1613  { 0x00000000, 0xfffffffe, 0x00007ffe },
1614  { 0x00000000, 0x0000007d, 0x0000007d },
1615  { 0x00000000, 0xfffffffd, 0x00007ffd },
1616  { 0x00000000, 0xffffff82, 0xffffff82 },
1617  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1618  { 0x00000000, 0xffffff83, 0xffffff83 },
1619  { 0x00000000, 0x00000002, 0x00000002 },
1620  { 0x00000000, 0xffffff82, 0xffffff82 },
1621  { 0x00000000, 0x00000020, 0x00000020 },
1622  { 0x00000000, 0xffffff82, 0xffffff82 },
1623  { 0x00000000, 0xffffff82, 0xffffff82 },
1624  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1625  { 0x00000000, 0x00000001, 0x00000001 },
1626  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1627  { 0x00000000, 0xffffff83, 0xffffff83 },
1628  { 0x00000000, 0x00000000, 0x00000000 },
1629  { 0x00000000, 0x00000000, 0xffff8000 },
1630  { 0x00000000, 0xffffffff, 0x7fffffff },
1631  { 0x00000000, 0x00000000, 0x80000000 },
1632  { 0x00000000, 0x00000001, 0x00000001 },
1633  { 0x00000000, 0xffffff82, 0xffffff82 },
1634  { 0x00000000, 0xfffffffe, 0x00007ffe },
1635  { 0x00000000, 0xfffffffd, 0xfffffffd },
1636  { 0x00000000, 0x00000033, 0x33333333 },
1637  { 0x00000000, 0x00000000, 0x80000000 },
1638  { 0x00000000, 0xffffffff, 0x00007fff },
1639  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1640  { 0x00000000, 0x0000007f, 0x0000007f },
1641  { 0x00000000, 0x00000001, 0xffff8001 },
1642  { 0x00000000, 0x00000001, 0x00000001 },
1643  { 0x00000000, 0xffffffff, 0xffffffff },
1644  { 0x00000000, 0xffffffcc, 0xcccccccc },
1645  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1646  { 0x00000000, 0x00000000, 0x00000000 },
1647  { 0x00000000, 0xffffffcc, 0xcccccccc },
1648  { 0x00000000, 0xffffff83, 0xffffff83 },
1649  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1650  { 0x00000000, 0xffffffff, 0x00007fff },
1651  { 0x00000000, 0x00000002, 0x00000002 },
1652  { 0x00000000, 0xffffffcc, 0xcccccccc },
1653  { 0x00000000, 0xffffff80, 0xffffff80 },
1654  { 0x00000000, 0x00000020, 0x00000020 },
1655  { 0x00000000, 0xfffffffe, 0xfffffffe },
1656  { 0x00000000, 0xffffff81, 0xffffff81 },
1657  { 0x00000000, 0x0000007f, 0x0000007f },
1658  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1659  { 0x00000000, 0xfffffffe, 0xfffffffe },
1660  { 0x00000000, 0x00000002, 0xffff8002 },
1661  { 0x00000000, 0xffffffff, 0xffffffff },
1662  { 0x00000000, 0xffffff80, 0xffffff80 },
1663  { 0x00000000, 0xffffffff, 0x00007fff },
1664  { 0x00000000, 0x00000001, 0xffff8001 },
1665  { 0x00000000, 0x00000002, 0xffff8002 },
1666  { 0x00000000, 0xffffff83, 0xffffff83 },
1667  { 0x00000000, 0x0000007f, 0x0000007f },
1668  { 0x00000000, 0xfffffffe, 0xfffffffe },
1669  { 0x00000000, 0x00000003, 0xffff8003 },
1670  { 0x00000000, 0x00000002, 0xffff8002 },
1671  { 0x00000000, 0x0000007f, 0x0000007f },
1672  { 0x00000000, 0x00000002, 0x00000002 },
1673  { 0x00000000, 0x00000001, 0xffff8001 },
1674  { 0x00000000, 0x00000001, 0x00000001 },
1675  { 0x00000000, 0x00000002, 0xffff8002 },
1676  { 0x00000000, 0xffffffff, 0x7fffffff },
1677  { 0x00000000, 0x00000000, 0xffff8000 },
1678  { 0x00000000, 0xfffffffd, 0x00007ffd },
1679  { 0x00000000, 0xffffff81, 0xffffff81 },
1680  { 0x00000000, 0x00000055, 0x55555555 },
1681  { 0x00000000, 0x00000020, 0x00000020 },
1682  { 0x00000000, 0x00000001, 0x00000001 },
1683  { 0x00000000, 0x00000002, 0xffff8002 },
1684  { 0x00000000, 0xfffffffe, 0xfffffffe },
1685  { 0x00000000, 0xfffffffd, 0x00007ffd },
1686  { 0x00000000, 0xfffffffd, 0xfffffffd },
1687  { 0x00000000, 0xffffff80, 0xffffff80 },
1688  { 0x00000000, 0xffffff80, 0xffffff80 },
1689  { 0x00000000, 0x00000002, 0xffff8002 },
1690  { 0x00000000, 0x00000002, 0xffff8002 },
1691  { 0x00000000, 0xfffffffe, 0x00007ffe },
1692  { 0x00000000, 0x00000001, 0xffff8001 },
1693  { 0x00000000, 0xffffff80, 0xffffff80 },
1694  { 0x00000000, 0x00000000, 0x80000000 },
1695  { 0x00000000, 0xfffffffe, 0x00007ffe },
1696  { 0x00000000, 0x00000000, 0xffff8000 },
1697  { 0x00000000, 0xffffffff, 0x00007fff },
1698  { 0x00000000, 0x0000007d, 0x0000007d },
1699  { 0x00000000, 0x00000000, 0x00000000 },
1700  { 0x00000000, 0x00000055, 0x55555555 },
1701  { 0x00000000, 0x00000000, 0x80000000 },
1702  { 0x00000000, 0xffffff80, 0xffffff80 },
1703  { 0x00000000, 0x00000003, 0xffff8003 },
1704  { 0x00000000, 0x00000001, 0x80000001 },
1705  { 0x00000000, 0x00000001, 0xffff8001 },
1706  { 0x00000000, 0x00000002, 0x00000002 },
1707  { 0x00000000, 0xffffff81, 0xffffff81 },
1708  { 0x00000000, 0x00000001, 0xffff8001 },
1709  { 0x00000000, 0xfffffffe, 0xfffffffe },
1710  { 0x00000000, 0xfffffffd, 0xfffffffd },
1711  { 0x00000000, 0xffffffff, 0xffffffff },
1712  { 0x00000000, 0x00000000, 0x80000000 },
1713  { 0x00000000, 0x00000001, 0x80000001 },
1714  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1715  { 0x00000000, 0x00000000, 0x00000000 },
1716  { 0x00000000, 0x00000001, 0x00000001 },
1717  { 0x00000000, 0xffffffff, 0x7fffffff },
1718  { 0x00000000, 0xffffffff, 0xffffffff },
1719  { 0x00000000, 0xffffffff, 0x00007fff },
1720  { 0x00000000, 0xffffffff, 0x00007fff },
1721  { 0x00000000, 0x00000055, 0x55555555 },
1722  { 0x00000000, 0x00000033, 0x33333333 },
1723  { 0x00000000, 0xfffffffd, 0xfffffffd },
1724  { 0x00000000, 0x00000001, 0x00000001 },
1725  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1726  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1727  { 0x00000000, 0x00000033, 0x33333333 },
1728  { 0x00000000, 0x00000003, 0xffff8003 },
1729  { 0x00000000, 0xffffffff, 0x7fffffff },
1730  { 0x00000000, 0xffffff83, 0xffffff83 },
1731  { 0x00000000, 0x00000000, 0xffff8000 },
1732  { 0x00000000, 0x00000055, 0x55555555 },
1733  { 0x00000000, 0xffffff81, 0xffffff81 },
1734  { 0x00000000, 0xfffffffe, 0xfffffffe },
1735  { 0x00000000, 0xffffffff, 0x7fffffff },
1736  { 0x00000000, 0xffffffff, 0x7fffffff },
1737  { 0x00000000, 0x00000003, 0xffff8003 },
1738  { 0x00000000, 0xffffffff, 0xffffffff },
1739  { 0x00000000, 0xfffffffd, 0x00007ffd },
1740  { 0x00000000, 0xffffffff, 0x00007fff },
1741  { 0x00000000, 0xffffffff, 0xffffffff },
1742  { 0x00000000, 0x00000003, 0xffff8003 },
1743  { 0x00000000, 0xfffffffd, 0xfffffffd },
1744  { 0x00000000, 0x00000000, 0x80000000 },
1745  { 0x00000000, 0x00000020, 0x00000020 },
1746  { 0x00000000, 0x00000002, 0x00000002 },
1747  { 0x00000000, 0x00000002, 0x00000002 },
1748  { 0x00000000, 0xffffffff, 0x00007fff },
1749  { 0x00000000, 0x00000001, 0x00000001 },
1750  { 0x00000000, 0xffffffff, 0x00007fff },
1751  { 0x00000000, 0x00000020, 0x00000020 },
1752  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1753  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1754  { 0x00000000, 0x00000001, 0xffff8001 },
1755  { 0x00000000, 0x00000001, 0x80000001 },
1756  { 0x00000000, 0x00000000, 0xffff8000 },
1757  { 0x00000000, 0x00000001, 0xffff8001 },
1758  { 0x00000000, 0x00000000, 0x00000000 },
1759  { 0x00000000, 0x00000033, 0x33333333 },
1760  { 0x00000000, 0xffffff80, 0xffffff80 },
1761  { 0x00000000, 0x00000055, 0x55555555 },
1762  { 0x00000000, 0xffffffff, 0xffffffff },
1763};
1764const Inputs kOutputs_Sxtb_RdIsNotRn_al_r12_r2[] = {
1765  { 0x00000000, 0xffffffcc, 0xcccccccc },
1766  { 0x00000000, 0xfffffffe, 0x00007ffe },
1767  { 0x00000000, 0x00000020, 0x00000020 },
1768  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1769  { 0x00000000, 0xffffff82, 0xffffff82 },
1770  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1771  { 0x00000000, 0xfffffffe, 0x00007ffe },
1772  { 0x00000000, 0x00000000, 0x80000000 },
1773  { 0x00000000, 0x00000033, 0x33333333 },
1774  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1775  { 0x00000000, 0xffffffcc, 0xcccccccc },
1776  { 0x00000000, 0x00000055, 0x55555555 },
1777  { 0x00000000, 0xffffffff, 0xffffffff },
1778  { 0x00000000, 0x00000002, 0xffff8002 },
1779  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1780  { 0x00000000, 0x0000007e, 0x0000007e },
1781  { 0x00000000, 0x00000001, 0xffff8001 },
1782  { 0x00000000, 0xfffffffd, 0x00007ffd },
1783  { 0x00000000, 0x00000002, 0x00000002 },
1784  { 0x00000000, 0x00000055, 0x55555555 },
1785  { 0x00000000, 0xffffff80, 0xffffff80 },
1786  { 0x00000000, 0x00000000, 0xffff8000 },
1787  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1788  { 0x00000000, 0x00000000, 0x00000000 },
1789  { 0x00000000, 0x0000007e, 0x0000007e },
1790  { 0x00000000, 0xffffffff, 0xffffffff },
1791  { 0x00000000, 0x00000001, 0x80000001 },
1792  { 0x00000000, 0x0000007f, 0x0000007f },
1793  { 0x00000000, 0xffffffcc, 0xcccccccc },
1794  { 0x00000000, 0xfffffffe, 0x00007ffe },
1795  { 0x00000000, 0x0000007e, 0x0000007e },
1796  { 0x00000000, 0xffffffcc, 0xcccccccc },
1797  { 0x00000000, 0x00000002, 0xffff8002 },
1798  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1799  { 0x00000000, 0x00000001, 0x00000001 },
1800  { 0x00000000, 0x00000020, 0x00000020 },
1801  { 0x00000000, 0x00000001, 0xffff8001 },
1802  { 0x00000000, 0xfffffffe, 0xfffffffe },
1803  { 0x00000000, 0x00000055, 0x55555555 },
1804  { 0x00000000, 0xffffff83, 0xffffff83 },
1805  { 0x00000000, 0x00000001, 0xffff8001 },
1806  { 0x00000000, 0x00000000, 0xffff8000 },
1807  { 0x00000000, 0x00000002, 0x00000002 },
1808  { 0x00000000, 0x00000000, 0xffff8000 },
1809  { 0x00000000, 0xffffff81, 0xffffff81 },
1810  { 0x00000000, 0x00000000, 0x00000000 },
1811  { 0x00000000, 0xffffff81, 0xffffff81 },
1812  { 0x00000000, 0xffffff82, 0xffffff82 },
1813  { 0x00000000, 0x00000003, 0xffff8003 },
1814  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1815  { 0x00000000, 0xfffffffe, 0x00007ffe },
1816  { 0x00000000, 0x0000007d, 0x0000007d },
1817  { 0x00000000, 0xfffffffd, 0x00007ffd },
1818  { 0x00000000, 0xffffff82, 0xffffff82 },
1819  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1820  { 0x00000000, 0xffffff83, 0xffffff83 },
1821  { 0x00000000, 0x00000002, 0x00000002 },
1822  { 0x00000000, 0xffffff82, 0xffffff82 },
1823  { 0x00000000, 0x00000020, 0x00000020 },
1824  { 0x00000000, 0xffffff82, 0xffffff82 },
1825  { 0x00000000, 0xffffff82, 0xffffff82 },
1826  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1827  { 0x00000000, 0x00000001, 0x00000001 },
1828  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1829  { 0x00000000, 0xffffff83, 0xffffff83 },
1830  { 0x00000000, 0x00000000, 0x00000000 },
1831  { 0x00000000, 0x00000000, 0xffff8000 },
1832  { 0x00000000, 0xffffffff, 0x7fffffff },
1833  { 0x00000000, 0x00000000, 0x80000000 },
1834  { 0x00000000, 0x00000001, 0x00000001 },
1835  { 0x00000000, 0xffffff82, 0xffffff82 },
1836  { 0x00000000, 0xfffffffe, 0x00007ffe },
1837  { 0x00000000, 0xfffffffd, 0xfffffffd },
1838  { 0x00000000, 0x00000033, 0x33333333 },
1839  { 0x00000000, 0x00000000, 0x80000000 },
1840  { 0x00000000, 0xffffffff, 0x00007fff },
1841  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1842  { 0x00000000, 0x0000007f, 0x0000007f },
1843  { 0x00000000, 0x00000001, 0xffff8001 },
1844  { 0x00000000, 0x00000001, 0x00000001 },
1845  { 0x00000000, 0xffffffff, 0xffffffff },
1846  { 0x00000000, 0xffffffcc, 0xcccccccc },
1847  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1848  { 0x00000000, 0x00000000, 0x00000000 },
1849  { 0x00000000, 0xffffffcc, 0xcccccccc },
1850  { 0x00000000, 0xffffff83, 0xffffff83 },
1851  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1852  { 0x00000000, 0xffffffff, 0x00007fff },
1853  { 0x00000000, 0x00000002, 0x00000002 },
1854  { 0x00000000, 0xffffffcc, 0xcccccccc },
1855  { 0x00000000, 0xffffff80, 0xffffff80 },
1856  { 0x00000000, 0x00000020, 0x00000020 },
1857  { 0x00000000, 0xfffffffe, 0xfffffffe },
1858  { 0x00000000, 0xffffff81, 0xffffff81 },
1859  { 0x00000000, 0x0000007f, 0x0000007f },
1860  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1861  { 0x00000000, 0xfffffffe, 0xfffffffe },
1862  { 0x00000000, 0x00000002, 0xffff8002 },
1863  { 0x00000000, 0xffffffff, 0xffffffff },
1864  { 0x00000000, 0xffffff80, 0xffffff80 },
1865  { 0x00000000, 0xffffffff, 0x00007fff },
1866  { 0x00000000, 0x00000001, 0xffff8001 },
1867  { 0x00000000, 0x00000002, 0xffff8002 },
1868  { 0x00000000, 0xffffff83, 0xffffff83 },
1869  { 0x00000000, 0x0000007f, 0x0000007f },
1870  { 0x00000000, 0xfffffffe, 0xfffffffe },
1871  { 0x00000000, 0x00000003, 0xffff8003 },
1872  { 0x00000000, 0x00000002, 0xffff8002 },
1873  { 0x00000000, 0x0000007f, 0x0000007f },
1874  { 0x00000000, 0x00000002, 0x00000002 },
1875  { 0x00000000, 0x00000001, 0xffff8001 },
1876  { 0x00000000, 0x00000001, 0x00000001 },
1877  { 0x00000000, 0x00000002, 0xffff8002 },
1878  { 0x00000000, 0xffffffff, 0x7fffffff },
1879  { 0x00000000, 0x00000000, 0xffff8000 },
1880  { 0x00000000, 0xfffffffd, 0x00007ffd },
1881  { 0x00000000, 0xffffff81, 0xffffff81 },
1882  { 0x00000000, 0x00000055, 0x55555555 },
1883  { 0x00000000, 0x00000020, 0x00000020 },
1884  { 0x00000000, 0x00000001, 0x00000001 },
1885  { 0x00000000, 0x00000002, 0xffff8002 },
1886  { 0x00000000, 0xfffffffe, 0xfffffffe },
1887  { 0x00000000, 0xfffffffd, 0x00007ffd },
1888  { 0x00000000, 0xfffffffd, 0xfffffffd },
1889  { 0x00000000, 0xffffff80, 0xffffff80 },
1890  { 0x00000000, 0xffffff80, 0xffffff80 },
1891  { 0x00000000, 0x00000002, 0xffff8002 },
1892  { 0x00000000, 0x00000002, 0xffff8002 },
1893  { 0x00000000, 0xfffffffe, 0x00007ffe },
1894  { 0x00000000, 0x00000001, 0xffff8001 },
1895  { 0x00000000, 0xffffff80, 0xffffff80 },
1896  { 0x00000000, 0x00000000, 0x80000000 },
1897  { 0x00000000, 0xfffffffe, 0x00007ffe },
1898  { 0x00000000, 0x00000000, 0xffff8000 },
1899  { 0x00000000, 0xffffffff, 0x00007fff },
1900  { 0x00000000, 0x0000007d, 0x0000007d },
1901  { 0x00000000, 0x00000000, 0x00000000 },
1902  { 0x00000000, 0x00000055, 0x55555555 },
1903  { 0x00000000, 0x00000000, 0x80000000 },
1904  { 0x00000000, 0xffffff80, 0xffffff80 },
1905  { 0x00000000, 0x00000003, 0xffff8003 },
1906  { 0x00000000, 0x00000001, 0x80000001 },
1907  { 0x00000000, 0x00000001, 0xffff8001 },
1908  { 0x00000000, 0x00000002, 0x00000002 },
1909  { 0x00000000, 0xffffff81, 0xffffff81 },
1910  { 0x00000000, 0x00000001, 0xffff8001 },
1911  { 0x00000000, 0xfffffffe, 0xfffffffe },
1912  { 0x00000000, 0xfffffffd, 0xfffffffd },
1913  { 0x00000000, 0xffffffff, 0xffffffff },
1914  { 0x00000000, 0x00000000, 0x80000000 },
1915  { 0x00000000, 0x00000001, 0x80000001 },
1916  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1917  { 0x00000000, 0x00000000, 0x00000000 },
1918  { 0x00000000, 0x00000001, 0x00000001 },
1919  { 0x00000000, 0xffffffff, 0x7fffffff },
1920  { 0x00000000, 0xffffffff, 0xffffffff },
1921  { 0x00000000, 0xffffffff, 0x00007fff },
1922  { 0x00000000, 0xffffffff, 0x00007fff },
1923  { 0x00000000, 0x00000055, 0x55555555 },
1924  { 0x00000000, 0x00000033, 0x33333333 },
1925  { 0x00000000, 0xfffffffd, 0xfffffffd },
1926  { 0x00000000, 0x00000001, 0x00000001 },
1927  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1928  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1929  { 0x00000000, 0x00000033, 0x33333333 },
1930  { 0x00000000, 0x00000003, 0xffff8003 },
1931  { 0x00000000, 0xffffffff, 0x7fffffff },
1932  { 0x00000000, 0xffffff83, 0xffffff83 },
1933  { 0x00000000, 0x00000000, 0xffff8000 },
1934  { 0x00000000, 0x00000055, 0x55555555 },
1935  { 0x00000000, 0xffffff81, 0xffffff81 },
1936  { 0x00000000, 0xfffffffe, 0xfffffffe },
1937  { 0x00000000, 0xffffffff, 0x7fffffff },
1938  { 0x00000000, 0xffffffff, 0x7fffffff },
1939  { 0x00000000, 0x00000003, 0xffff8003 },
1940  { 0x00000000, 0xffffffff, 0xffffffff },
1941  { 0x00000000, 0xfffffffd, 0x00007ffd },
1942  { 0x00000000, 0xffffffff, 0x00007fff },
1943  { 0x00000000, 0xffffffff, 0xffffffff },
1944  { 0x00000000, 0x00000003, 0xffff8003 },
1945  { 0x00000000, 0xfffffffd, 0xfffffffd },
1946  { 0x00000000, 0x00000000, 0x80000000 },
1947  { 0x00000000, 0x00000020, 0x00000020 },
1948  { 0x00000000, 0x00000002, 0x00000002 },
1949  { 0x00000000, 0x00000002, 0x00000002 },
1950  { 0x00000000, 0xffffffff, 0x00007fff },
1951  { 0x00000000, 0x00000001, 0x00000001 },
1952  { 0x00000000, 0xffffffff, 0x00007fff },
1953  { 0x00000000, 0x00000020, 0x00000020 },
1954  { 0x00000000, 0xffffffe0, 0xffffffe0 },
1955  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1956  { 0x00000000, 0x00000001, 0xffff8001 },
1957  { 0x00000000, 0x00000001, 0x80000001 },
1958  { 0x00000000, 0x00000000, 0xffff8000 },
1959  { 0x00000000, 0x00000001, 0xffff8001 },
1960  { 0x00000000, 0x00000000, 0x00000000 },
1961  { 0x00000000, 0x00000033, 0x33333333 },
1962  { 0x00000000, 0xffffff80, 0xffffff80 },
1963  { 0x00000000, 0x00000055, 0x55555555 },
1964  { 0x00000000, 0xffffffff, 0xffffffff },
1965};
1966const Inputs kOutputs_Sxtb_RdIsNotRn_al_r0_r11[] = {
1967  { 0x00000000, 0xffffffcc, 0xcccccccc },
1968  { 0x00000000, 0xfffffffe, 0x00007ffe },
1969  { 0x00000000, 0x00000020, 0x00000020 },
1970  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
1971  { 0x00000000, 0xffffff82, 0xffffff82 },
1972  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1973  { 0x00000000, 0xfffffffe, 0x00007ffe },
1974  { 0x00000000, 0x00000000, 0x80000000 },
1975  { 0x00000000, 0x00000033, 0x33333333 },
1976  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1977  { 0x00000000, 0xffffffcc, 0xcccccccc },
1978  { 0x00000000, 0x00000055, 0x55555555 },
1979  { 0x00000000, 0xffffffff, 0xffffffff },
1980  { 0x00000000, 0x00000002, 0xffff8002 },
1981  { 0x00000000, 0xfffffffd, 0x7ffffffd },
1982  { 0x00000000, 0x0000007e, 0x0000007e },
1983  { 0x00000000, 0x00000001, 0xffff8001 },
1984  { 0x00000000, 0xfffffffd, 0x00007ffd },
1985  { 0x00000000, 0x00000002, 0x00000002 },
1986  { 0x00000000, 0x00000055, 0x55555555 },
1987  { 0x00000000, 0xffffff80, 0xffffff80 },
1988  { 0x00000000, 0x00000000, 0xffff8000 },
1989  { 0x00000000, 0xfffffffe, 0x7ffffffe },
1990  { 0x00000000, 0x00000000, 0x00000000 },
1991  { 0x00000000, 0x0000007e, 0x0000007e },
1992  { 0x00000000, 0xffffffff, 0xffffffff },
1993  { 0x00000000, 0x00000001, 0x80000001 },
1994  { 0x00000000, 0x0000007f, 0x0000007f },
1995  { 0x00000000, 0xffffffcc, 0xcccccccc },
1996  { 0x00000000, 0xfffffffe, 0x00007ffe },
1997  { 0x00000000, 0x0000007e, 0x0000007e },
1998  { 0x00000000, 0xffffffcc, 0xcccccccc },
1999  { 0x00000000, 0x00000002, 0xffff8002 },
2000  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2001  { 0x00000000, 0x00000001, 0x00000001 },
2002  { 0x00000000, 0x00000020, 0x00000020 },
2003  { 0x00000000, 0x00000001, 0xffff8001 },
2004  { 0x00000000, 0xfffffffe, 0xfffffffe },
2005  { 0x00000000, 0x00000055, 0x55555555 },
2006  { 0x00000000, 0xffffff83, 0xffffff83 },
2007  { 0x00000000, 0x00000001, 0xffff8001 },
2008  { 0x00000000, 0x00000000, 0xffff8000 },
2009  { 0x00000000, 0x00000002, 0x00000002 },
2010  { 0x00000000, 0x00000000, 0xffff8000 },
2011  { 0x00000000, 0xffffff81, 0xffffff81 },
2012  { 0x00000000, 0x00000000, 0x00000000 },
2013  { 0x00000000, 0xffffff81, 0xffffff81 },
2014  { 0x00000000, 0xffffff82, 0xffffff82 },
2015  { 0x00000000, 0x00000003, 0xffff8003 },
2016  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2017  { 0x00000000, 0xfffffffe, 0x00007ffe },
2018  { 0x00000000, 0x0000007d, 0x0000007d },
2019  { 0x00000000, 0xfffffffd, 0x00007ffd },
2020  { 0x00000000, 0xffffff82, 0xffffff82 },
2021  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2022  { 0x00000000, 0xffffff83, 0xffffff83 },
2023  { 0x00000000, 0x00000002, 0x00000002 },
2024  { 0x00000000, 0xffffff82, 0xffffff82 },
2025  { 0x00000000, 0x00000020, 0x00000020 },
2026  { 0x00000000, 0xffffff82, 0xffffff82 },
2027  { 0x00000000, 0xffffff82, 0xffffff82 },
2028  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2029  { 0x00000000, 0x00000001, 0x00000001 },
2030  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2031  { 0x00000000, 0xffffff83, 0xffffff83 },
2032  { 0x00000000, 0x00000000, 0x00000000 },
2033  { 0x00000000, 0x00000000, 0xffff8000 },
2034  { 0x00000000, 0xffffffff, 0x7fffffff },
2035  { 0x00000000, 0x00000000, 0x80000000 },
2036  { 0x00000000, 0x00000001, 0x00000001 },
2037  { 0x00000000, 0xffffff82, 0xffffff82 },
2038  { 0x00000000, 0xfffffffe, 0x00007ffe },
2039  { 0x00000000, 0xfffffffd, 0xfffffffd },
2040  { 0x00000000, 0x00000033, 0x33333333 },
2041  { 0x00000000, 0x00000000, 0x80000000 },
2042  { 0x00000000, 0xffffffff, 0x00007fff },
2043  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2044  { 0x00000000, 0x0000007f, 0x0000007f },
2045  { 0x00000000, 0x00000001, 0xffff8001 },
2046  { 0x00000000, 0x00000001, 0x00000001 },
2047  { 0x00000000, 0xffffffff, 0xffffffff },
2048  { 0x00000000, 0xffffffcc, 0xcccccccc },
2049  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2050  { 0x00000000, 0x00000000, 0x00000000 },
2051  { 0x00000000, 0xffffffcc, 0xcccccccc },
2052  { 0x00000000, 0xffffff83, 0xffffff83 },
2053  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2054  { 0x00000000, 0xffffffff, 0x00007fff },
2055  { 0x00000000, 0x00000002, 0x00000002 },
2056  { 0x00000000, 0xffffffcc, 0xcccccccc },
2057  { 0x00000000, 0xffffff80, 0xffffff80 },
2058  { 0x00000000, 0x00000020, 0x00000020 },
2059  { 0x00000000, 0xfffffffe, 0xfffffffe },
2060  { 0x00000000, 0xffffff81, 0xffffff81 },
2061  { 0x00000000, 0x0000007f, 0x0000007f },
2062  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2063  { 0x00000000, 0xfffffffe, 0xfffffffe },
2064  { 0x00000000, 0x00000002, 0xffff8002 },
2065  { 0x00000000, 0xffffffff, 0xffffffff },
2066  { 0x00000000, 0xffffff80, 0xffffff80 },
2067  { 0x00000000, 0xffffffff, 0x00007fff },
2068  { 0x00000000, 0x00000001, 0xffff8001 },
2069  { 0x00000000, 0x00000002, 0xffff8002 },
2070  { 0x00000000, 0xffffff83, 0xffffff83 },
2071  { 0x00000000, 0x0000007f, 0x0000007f },
2072  { 0x00000000, 0xfffffffe, 0xfffffffe },
2073  { 0x00000000, 0x00000003, 0xffff8003 },
2074  { 0x00000000, 0x00000002, 0xffff8002 },
2075  { 0x00000000, 0x0000007f, 0x0000007f },
2076  { 0x00000000, 0x00000002, 0x00000002 },
2077  { 0x00000000, 0x00000001, 0xffff8001 },
2078  { 0x00000000, 0x00000001, 0x00000001 },
2079  { 0x00000000, 0x00000002, 0xffff8002 },
2080  { 0x00000000, 0xffffffff, 0x7fffffff },
2081  { 0x00000000, 0x00000000, 0xffff8000 },
2082  { 0x00000000, 0xfffffffd, 0x00007ffd },
2083  { 0x00000000, 0xffffff81, 0xffffff81 },
2084  { 0x00000000, 0x00000055, 0x55555555 },
2085  { 0x00000000, 0x00000020, 0x00000020 },
2086  { 0x00000000, 0x00000001, 0x00000001 },
2087  { 0x00000000, 0x00000002, 0xffff8002 },
2088  { 0x00000000, 0xfffffffe, 0xfffffffe },
2089  { 0x00000000, 0xfffffffd, 0x00007ffd },
2090  { 0x00000000, 0xfffffffd, 0xfffffffd },
2091  { 0x00000000, 0xffffff80, 0xffffff80 },
2092  { 0x00000000, 0xffffff80, 0xffffff80 },
2093  { 0x00000000, 0x00000002, 0xffff8002 },
2094  { 0x00000000, 0x00000002, 0xffff8002 },
2095  { 0x00000000, 0xfffffffe, 0x00007ffe },
2096  { 0x00000000, 0x00000001, 0xffff8001 },
2097  { 0x00000000, 0xffffff80, 0xffffff80 },
2098  { 0x00000000, 0x00000000, 0x80000000 },
2099  { 0x00000000, 0xfffffffe, 0x00007ffe },
2100  { 0x00000000, 0x00000000, 0xffff8000 },
2101  { 0x00000000, 0xffffffff, 0x00007fff },
2102  { 0x00000000, 0x0000007d, 0x0000007d },
2103  { 0x00000000, 0x00000000, 0x00000000 },
2104  { 0x00000000, 0x00000055, 0x55555555 },
2105  { 0x00000000, 0x00000000, 0x80000000 },
2106  { 0x00000000, 0xffffff80, 0xffffff80 },
2107  { 0x00000000, 0x00000003, 0xffff8003 },
2108  { 0x00000000, 0x00000001, 0x80000001 },
2109  { 0x00000000, 0x00000001, 0xffff8001 },
2110  { 0x00000000, 0x00000002, 0x00000002 },
2111  { 0x00000000, 0xffffff81, 0xffffff81 },
2112  { 0x00000000, 0x00000001, 0xffff8001 },
2113  { 0x00000000, 0xfffffffe, 0xfffffffe },
2114  { 0x00000000, 0xfffffffd, 0xfffffffd },
2115  { 0x00000000, 0xffffffff, 0xffffffff },
2116  { 0x00000000, 0x00000000, 0x80000000 },
2117  { 0x00000000, 0x00000001, 0x80000001 },
2118  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2119  { 0x00000000, 0x00000000, 0x00000000 },
2120  { 0x00000000, 0x00000001, 0x00000001 },
2121  { 0x00000000, 0xffffffff, 0x7fffffff },
2122  { 0x00000000, 0xffffffff, 0xffffffff },
2123  { 0x00000000, 0xffffffff, 0x00007fff },
2124  { 0x00000000, 0xffffffff, 0x00007fff },
2125  { 0x00000000, 0x00000055, 0x55555555 },
2126  { 0x00000000, 0x00000033, 0x33333333 },
2127  { 0x00000000, 0xfffffffd, 0xfffffffd },
2128  { 0x00000000, 0x00000001, 0x00000001 },
2129  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2130  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2131  { 0x00000000, 0x00000033, 0x33333333 },
2132  { 0x00000000, 0x00000003, 0xffff8003 },
2133  { 0x00000000, 0xffffffff, 0x7fffffff },
2134  { 0x00000000, 0xffffff83, 0xffffff83 },
2135  { 0x00000000, 0x00000000, 0xffff8000 },
2136  { 0x00000000, 0x00000055, 0x55555555 },
2137  { 0x00000000, 0xffffff81, 0xffffff81 },
2138  { 0x00000000, 0xfffffffe, 0xfffffffe },
2139  { 0x00000000, 0xffffffff, 0x7fffffff },
2140  { 0x00000000, 0xffffffff, 0x7fffffff },
2141  { 0x00000000, 0x00000003, 0xffff8003 },
2142  { 0x00000000, 0xffffffff, 0xffffffff },
2143  { 0x00000000, 0xfffffffd, 0x00007ffd },
2144  { 0x00000000, 0xffffffff, 0x00007fff },
2145  { 0x00000000, 0xffffffff, 0xffffffff },
2146  { 0x00000000, 0x00000003, 0xffff8003 },
2147  { 0x00000000, 0xfffffffd, 0xfffffffd },
2148  { 0x00000000, 0x00000000, 0x80000000 },
2149  { 0x00000000, 0x00000020, 0x00000020 },
2150  { 0x00000000, 0x00000002, 0x00000002 },
2151  { 0x00000000, 0x00000002, 0x00000002 },
2152  { 0x00000000, 0xffffffff, 0x00007fff },
2153  { 0x00000000, 0x00000001, 0x00000001 },
2154  { 0x00000000, 0xffffffff, 0x00007fff },
2155  { 0x00000000, 0x00000020, 0x00000020 },
2156  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2157  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2158  { 0x00000000, 0x00000001, 0xffff8001 },
2159  { 0x00000000, 0x00000001, 0x80000001 },
2160  { 0x00000000, 0x00000000, 0xffff8000 },
2161  { 0x00000000, 0x00000001, 0xffff8001 },
2162  { 0x00000000, 0x00000000, 0x00000000 },
2163  { 0x00000000, 0x00000033, 0x33333333 },
2164  { 0x00000000, 0xffffff80, 0xffffff80 },
2165  { 0x00000000, 0x00000055, 0x55555555 },
2166  { 0x00000000, 0xffffffff, 0xffffffff },
2167};
2168const Inputs kOutputs_Sxtb_RdIsNotRn_al_r10_r14[] = {
2169  { 0x00000000, 0xffffffcc, 0xcccccccc },
2170  { 0x00000000, 0xfffffffe, 0x00007ffe },
2171  { 0x00000000, 0x00000020, 0x00000020 },
2172  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2173  { 0x00000000, 0xffffff82, 0xffffff82 },
2174  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2175  { 0x00000000, 0xfffffffe, 0x00007ffe },
2176  { 0x00000000, 0x00000000, 0x80000000 },
2177  { 0x00000000, 0x00000033, 0x33333333 },
2178  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2179  { 0x00000000, 0xffffffcc, 0xcccccccc },
2180  { 0x00000000, 0x00000055, 0x55555555 },
2181  { 0x00000000, 0xffffffff, 0xffffffff },
2182  { 0x00000000, 0x00000002, 0xffff8002 },
2183  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2184  { 0x00000000, 0x0000007e, 0x0000007e },
2185  { 0x00000000, 0x00000001, 0xffff8001 },
2186  { 0x00000000, 0xfffffffd, 0x00007ffd },
2187  { 0x00000000, 0x00000002, 0x00000002 },
2188  { 0x00000000, 0x00000055, 0x55555555 },
2189  { 0x00000000, 0xffffff80, 0xffffff80 },
2190  { 0x00000000, 0x00000000, 0xffff8000 },
2191  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2192  { 0x00000000, 0x00000000, 0x00000000 },
2193  { 0x00000000, 0x0000007e, 0x0000007e },
2194  { 0x00000000, 0xffffffff, 0xffffffff },
2195  { 0x00000000, 0x00000001, 0x80000001 },
2196  { 0x00000000, 0x0000007f, 0x0000007f },
2197  { 0x00000000, 0xffffffcc, 0xcccccccc },
2198  { 0x00000000, 0xfffffffe, 0x00007ffe },
2199  { 0x00000000, 0x0000007e, 0x0000007e },
2200  { 0x00000000, 0xffffffcc, 0xcccccccc },
2201  { 0x00000000, 0x00000002, 0xffff8002 },
2202  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2203  { 0x00000000, 0x00000001, 0x00000001 },
2204  { 0x00000000, 0x00000020, 0x00000020 },
2205  { 0x00000000, 0x00000001, 0xffff8001 },
2206  { 0x00000000, 0xfffffffe, 0xfffffffe },
2207  { 0x00000000, 0x00000055, 0x55555555 },
2208  { 0x00000000, 0xffffff83, 0xffffff83 },
2209  { 0x00000000, 0x00000001, 0xffff8001 },
2210  { 0x00000000, 0x00000000, 0xffff8000 },
2211  { 0x00000000, 0x00000002, 0x00000002 },
2212  { 0x00000000, 0x00000000, 0xffff8000 },
2213  { 0x00000000, 0xffffff81, 0xffffff81 },
2214  { 0x00000000, 0x00000000, 0x00000000 },
2215  { 0x00000000, 0xffffff81, 0xffffff81 },
2216  { 0x00000000, 0xffffff82, 0xffffff82 },
2217  { 0x00000000, 0x00000003, 0xffff8003 },
2218  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2219  { 0x00000000, 0xfffffffe, 0x00007ffe },
2220  { 0x00000000, 0x0000007d, 0x0000007d },
2221  { 0x00000000, 0xfffffffd, 0x00007ffd },
2222  { 0x00000000, 0xffffff82, 0xffffff82 },
2223  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2224  { 0x00000000, 0xffffff83, 0xffffff83 },
2225  { 0x00000000, 0x00000002, 0x00000002 },
2226  { 0x00000000, 0xffffff82, 0xffffff82 },
2227  { 0x00000000, 0x00000020, 0x00000020 },
2228  { 0x00000000, 0xffffff82, 0xffffff82 },
2229  { 0x00000000, 0xffffff82, 0xffffff82 },
2230  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2231  { 0x00000000, 0x00000001, 0x00000001 },
2232  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2233  { 0x00000000, 0xffffff83, 0xffffff83 },
2234  { 0x00000000, 0x00000000, 0x00000000 },
2235  { 0x00000000, 0x00000000, 0xffff8000 },
2236  { 0x00000000, 0xffffffff, 0x7fffffff },
2237  { 0x00000000, 0x00000000, 0x80000000 },
2238  { 0x00000000, 0x00000001, 0x00000001 },
2239  { 0x00000000, 0xffffff82, 0xffffff82 },
2240  { 0x00000000, 0xfffffffe, 0x00007ffe },
2241  { 0x00000000, 0xfffffffd, 0xfffffffd },
2242  { 0x00000000, 0x00000033, 0x33333333 },
2243  { 0x00000000, 0x00000000, 0x80000000 },
2244  { 0x00000000, 0xffffffff, 0x00007fff },
2245  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2246  { 0x00000000, 0x0000007f, 0x0000007f },
2247  { 0x00000000, 0x00000001, 0xffff8001 },
2248  { 0x00000000, 0x00000001, 0x00000001 },
2249  { 0x00000000, 0xffffffff, 0xffffffff },
2250  { 0x00000000, 0xffffffcc, 0xcccccccc },
2251  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2252  { 0x00000000, 0x00000000, 0x00000000 },
2253  { 0x00000000, 0xffffffcc, 0xcccccccc },
2254  { 0x00000000, 0xffffff83, 0xffffff83 },
2255  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2256  { 0x00000000, 0xffffffff, 0x00007fff },
2257  { 0x00000000, 0x00000002, 0x00000002 },
2258  { 0x00000000, 0xffffffcc, 0xcccccccc },
2259  { 0x00000000, 0xffffff80, 0xffffff80 },
2260  { 0x00000000, 0x00000020, 0x00000020 },
2261  { 0x00000000, 0xfffffffe, 0xfffffffe },
2262  { 0x00000000, 0xffffff81, 0xffffff81 },
2263  { 0x00000000, 0x0000007f, 0x0000007f },
2264  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2265  { 0x00000000, 0xfffffffe, 0xfffffffe },
2266  { 0x00000000, 0x00000002, 0xffff8002 },
2267  { 0x00000000, 0xffffffff, 0xffffffff },
2268  { 0x00000000, 0xffffff80, 0xffffff80 },
2269  { 0x00000000, 0xffffffff, 0x00007fff },
2270  { 0x00000000, 0x00000001, 0xffff8001 },
2271  { 0x00000000, 0x00000002, 0xffff8002 },
2272  { 0x00000000, 0xffffff83, 0xffffff83 },
2273  { 0x00000000, 0x0000007f, 0x0000007f },
2274  { 0x00000000, 0xfffffffe, 0xfffffffe },
2275  { 0x00000000, 0x00000003, 0xffff8003 },
2276  { 0x00000000, 0x00000002, 0xffff8002 },
2277  { 0x00000000, 0x0000007f, 0x0000007f },
2278  { 0x00000000, 0x00000002, 0x00000002 },
2279  { 0x00000000, 0x00000001, 0xffff8001 },
2280  { 0x00000000, 0x00000001, 0x00000001 },
2281  { 0x00000000, 0x00000002, 0xffff8002 },
2282  { 0x00000000, 0xffffffff, 0x7fffffff },
2283  { 0x00000000, 0x00000000, 0xffff8000 },
2284  { 0x00000000, 0xfffffffd, 0x00007ffd },
2285  { 0x00000000, 0xffffff81, 0xffffff81 },
2286  { 0x00000000, 0x00000055, 0x55555555 },
2287  { 0x00000000, 0x00000020, 0x00000020 },
2288  { 0x00000000, 0x00000001, 0x00000001 },
2289  { 0x00000000, 0x00000002, 0xffff8002 },
2290  { 0x00000000, 0xfffffffe, 0xfffffffe },
2291  { 0x00000000, 0xfffffffd, 0x00007ffd },
2292  { 0x00000000, 0xfffffffd, 0xfffffffd },
2293  { 0x00000000, 0xffffff80, 0xffffff80 },
2294  { 0x00000000, 0xffffff80, 0xffffff80 },
2295  { 0x00000000, 0x00000002, 0xffff8002 },
2296  { 0x00000000, 0x00000002, 0xffff8002 },
2297  { 0x00000000, 0xfffffffe, 0x00007ffe },
2298  { 0x00000000, 0x00000001, 0xffff8001 },
2299  { 0x00000000, 0xffffff80, 0xffffff80 },
2300  { 0x00000000, 0x00000000, 0x80000000 },
2301  { 0x00000000, 0xfffffffe, 0x00007ffe },
2302  { 0x00000000, 0x00000000, 0xffff8000 },
2303  { 0x00000000, 0xffffffff, 0x00007fff },
2304  { 0x00000000, 0x0000007d, 0x0000007d },
2305  { 0x00000000, 0x00000000, 0x00000000 },
2306  { 0x00000000, 0x00000055, 0x55555555 },
2307  { 0x00000000, 0x00000000, 0x80000000 },
2308  { 0x00000000, 0xffffff80, 0xffffff80 },
2309  { 0x00000000, 0x00000003, 0xffff8003 },
2310  { 0x00000000, 0x00000001, 0x80000001 },
2311  { 0x00000000, 0x00000001, 0xffff8001 },
2312  { 0x00000000, 0x00000002, 0x00000002 },
2313  { 0x00000000, 0xffffff81, 0xffffff81 },
2314  { 0x00000000, 0x00000001, 0xffff8001 },
2315  { 0x00000000, 0xfffffffe, 0xfffffffe },
2316  { 0x00000000, 0xfffffffd, 0xfffffffd },
2317  { 0x00000000, 0xffffffff, 0xffffffff },
2318  { 0x00000000, 0x00000000, 0x80000000 },
2319  { 0x00000000, 0x00000001, 0x80000001 },
2320  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2321  { 0x00000000, 0x00000000, 0x00000000 },
2322  { 0x00000000, 0x00000001, 0x00000001 },
2323  { 0x00000000, 0xffffffff, 0x7fffffff },
2324  { 0x00000000, 0xffffffff, 0xffffffff },
2325  { 0x00000000, 0xffffffff, 0x00007fff },
2326  { 0x00000000, 0xffffffff, 0x00007fff },
2327  { 0x00000000, 0x00000055, 0x55555555 },
2328  { 0x00000000, 0x00000033, 0x33333333 },
2329  { 0x00000000, 0xfffffffd, 0xfffffffd },
2330  { 0x00000000, 0x00000001, 0x00000001 },
2331  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2332  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2333  { 0x00000000, 0x00000033, 0x33333333 },
2334  { 0x00000000, 0x00000003, 0xffff8003 },
2335  { 0x00000000, 0xffffffff, 0x7fffffff },
2336  { 0x00000000, 0xffffff83, 0xffffff83 },
2337  { 0x00000000, 0x00000000, 0xffff8000 },
2338  { 0x00000000, 0x00000055, 0x55555555 },
2339  { 0x00000000, 0xffffff81, 0xffffff81 },
2340  { 0x00000000, 0xfffffffe, 0xfffffffe },
2341  { 0x00000000, 0xffffffff, 0x7fffffff },
2342  { 0x00000000, 0xffffffff, 0x7fffffff },
2343  { 0x00000000, 0x00000003, 0xffff8003 },
2344  { 0x00000000, 0xffffffff, 0xffffffff },
2345  { 0x00000000, 0xfffffffd, 0x00007ffd },
2346  { 0x00000000, 0xffffffff, 0x00007fff },
2347  { 0x00000000, 0xffffffff, 0xffffffff },
2348  { 0x00000000, 0x00000003, 0xffff8003 },
2349  { 0x00000000, 0xfffffffd, 0xfffffffd },
2350  { 0x00000000, 0x00000000, 0x80000000 },
2351  { 0x00000000, 0x00000020, 0x00000020 },
2352  { 0x00000000, 0x00000002, 0x00000002 },
2353  { 0x00000000, 0x00000002, 0x00000002 },
2354  { 0x00000000, 0xffffffff, 0x00007fff },
2355  { 0x00000000, 0x00000001, 0x00000001 },
2356  { 0x00000000, 0xffffffff, 0x00007fff },
2357  { 0x00000000, 0x00000020, 0x00000020 },
2358  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2359  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2360  { 0x00000000, 0x00000001, 0xffff8001 },
2361  { 0x00000000, 0x00000001, 0x80000001 },
2362  { 0x00000000, 0x00000000, 0xffff8000 },
2363  { 0x00000000, 0x00000001, 0xffff8001 },
2364  { 0x00000000, 0x00000000, 0x00000000 },
2365  { 0x00000000, 0x00000033, 0x33333333 },
2366  { 0x00000000, 0xffffff80, 0xffffff80 },
2367  { 0x00000000, 0x00000055, 0x55555555 },
2368  { 0x00000000, 0xffffffff, 0xffffffff },
2369};
2370const Inputs kOutputs_Sxtb_RdIsNotRn_al_r0_r5[] = {
2371  { 0x00000000, 0xffffffcc, 0xcccccccc },
2372  { 0x00000000, 0xfffffffe, 0x00007ffe },
2373  { 0x00000000, 0x00000020, 0x00000020 },
2374  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2375  { 0x00000000, 0xffffff82, 0xffffff82 },
2376  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2377  { 0x00000000, 0xfffffffe, 0x00007ffe },
2378  { 0x00000000, 0x00000000, 0x80000000 },
2379  { 0x00000000, 0x00000033, 0x33333333 },
2380  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2381  { 0x00000000, 0xffffffcc, 0xcccccccc },
2382  { 0x00000000, 0x00000055, 0x55555555 },
2383  { 0x00000000, 0xffffffff, 0xffffffff },
2384  { 0x00000000, 0x00000002, 0xffff8002 },
2385  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2386  { 0x00000000, 0x0000007e, 0x0000007e },
2387  { 0x00000000, 0x00000001, 0xffff8001 },
2388  { 0x00000000, 0xfffffffd, 0x00007ffd },
2389  { 0x00000000, 0x00000002, 0x00000002 },
2390  { 0x00000000, 0x00000055, 0x55555555 },
2391  { 0x00000000, 0xffffff80, 0xffffff80 },
2392  { 0x00000000, 0x00000000, 0xffff8000 },
2393  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2394  { 0x00000000, 0x00000000, 0x00000000 },
2395  { 0x00000000, 0x0000007e, 0x0000007e },
2396  { 0x00000000, 0xffffffff, 0xffffffff },
2397  { 0x00000000, 0x00000001, 0x80000001 },
2398  { 0x00000000, 0x0000007f, 0x0000007f },
2399  { 0x00000000, 0xffffffcc, 0xcccccccc },
2400  { 0x00000000, 0xfffffffe, 0x00007ffe },
2401  { 0x00000000, 0x0000007e, 0x0000007e },
2402  { 0x00000000, 0xffffffcc, 0xcccccccc },
2403  { 0x00000000, 0x00000002, 0xffff8002 },
2404  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2405  { 0x00000000, 0x00000001, 0x00000001 },
2406  { 0x00000000, 0x00000020, 0x00000020 },
2407  { 0x00000000, 0x00000001, 0xffff8001 },
2408  { 0x00000000, 0xfffffffe, 0xfffffffe },
2409  { 0x00000000, 0x00000055, 0x55555555 },
2410  { 0x00000000, 0xffffff83, 0xffffff83 },
2411  { 0x00000000, 0x00000001, 0xffff8001 },
2412  { 0x00000000, 0x00000000, 0xffff8000 },
2413  { 0x00000000, 0x00000002, 0x00000002 },
2414  { 0x00000000, 0x00000000, 0xffff8000 },
2415  { 0x00000000, 0xffffff81, 0xffffff81 },
2416  { 0x00000000, 0x00000000, 0x00000000 },
2417  { 0x00000000, 0xffffff81, 0xffffff81 },
2418  { 0x00000000, 0xffffff82, 0xffffff82 },
2419  { 0x00000000, 0x00000003, 0xffff8003 },
2420  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2421  { 0x00000000, 0xfffffffe, 0x00007ffe },
2422  { 0x00000000, 0x0000007d, 0x0000007d },
2423  { 0x00000000, 0xfffffffd, 0x00007ffd },
2424  { 0x00000000, 0xffffff82, 0xffffff82 },
2425  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2426  { 0x00000000, 0xffffff83, 0xffffff83 },
2427  { 0x00000000, 0x00000002, 0x00000002 },
2428  { 0x00000000, 0xffffff82, 0xffffff82 },
2429  { 0x00000000, 0x00000020, 0x00000020 },
2430  { 0x00000000, 0xffffff82, 0xffffff82 },
2431  { 0x00000000, 0xffffff82, 0xffffff82 },
2432  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2433  { 0x00000000, 0x00000001, 0x00000001 },
2434  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2435  { 0x00000000, 0xffffff83, 0xffffff83 },
2436  { 0x00000000, 0x00000000, 0x00000000 },
2437  { 0x00000000, 0x00000000, 0xffff8000 },
2438  { 0x00000000, 0xffffffff, 0x7fffffff },
2439  { 0x00000000, 0x00000000, 0x80000000 },
2440  { 0x00000000, 0x00000001, 0x00000001 },
2441  { 0x00000000, 0xffffff82, 0xffffff82 },
2442  { 0x00000000, 0xfffffffe, 0x00007ffe },
2443  { 0x00000000, 0xfffffffd, 0xfffffffd },
2444  { 0x00000000, 0x00000033, 0x33333333 },
2445  { 0x00000000, 0x00000000, 0x80000000 },
2446  { 0x00000000, 0xffffffff, 0x00007fff },
2447  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2448  { 0x00000000, 0x0000007f, 0x0000007f },
2449  { 0x00000000, 0x00000001, 0xffff8001 },
2450  { 0x00000000, 0x00000001, 0x00000001 },
2451  { 0x00000000, 0xffffffff, 0xffffffff },
2452  { 0x00000000, 0xffffffcc, 0xcccccccc },
2453  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2454  { 0x00000000, 0x00000000, 0x00000000 },
2455  { 0x00000000, 0xffffffcc, 0xcccccccc },
2456  { 0x00000000, 0xffffff83, 0xffffff83 },
2457  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2458  { 0x00000000, 0xffffffff, 0x00007fff },
2459  { 0x00000000, 0x00000002, 0x00000002 },
2460  { 0x00000000, 0xffffffcc, 0xcccccccc },
2461  { 0x00000000, 0xffffff80, 0xffffff80 },
2462  { 0x00000000, 0x00000020, 0x00000020 },
2463  { 0x00000000, 0xfffffffe, 0xfffffffe },
2464  { 0x00000000, 0xffffff81, 0xffffff81 },
2465  { 0x00000000, 0x0000007f, 0x0000007f },
2466  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2467  { 0x00000000, 0xfffffffe, 0xfffffffe },
2468  { 0x00000000, 0x00000002, 0xffff8002 },
2469  { 0x00000000, 0xffffffff, 0xffffffff },
2470  { 0x00000000, 0xffffff80, 0xffffff80 },
2471  { 0x00000000, 0xffffffff, 0x00007fff },
2472  { 0x00000000, 0x00000001, 0xffff8001 },
2473  { 0x00000000, 0x00000002, 0xffff8002 },
2474  { 0x00000000, 0xffffff83, 0xffffff83 },
2475  { 0x00000000, 0x0000007f, 0x0000007f },
2476  { 0x00000000, 0xfffffffe, 0xfffffffe },
2477  { 0x00000000, 0x00000003, 0xffff8003 },
2478  { 0x00000000, 0x00000002, 0xffff8002 },
2479  { 0x00000000, 0x0000007f, 0x0000007f },
2480  { 0x00000000, 0x00000002, 0x00000002 },
2481  { 0x00000000, 0x00000001, 0xffff8001 },
2482  { 0x00000000, 0x00000001, 0x00000001 },
2483  { 0x00000000, 0x00000002, 0xffff8002 },
2484  { 0x00000000, 0xffffffff, 0x7fffffff },
2485  { 0x00000000, 0x00000000, 0xffff8000 },
2486  { 0x00000000, 0xfffffffd, 0x00007ffd },
2487  { 0x00000000, 0xffffff81, 0xffffff81 },
2488  { 0x00000000, 0x00000055, 0x55555555 },
2489  { 0x00000000, 0x00000020, 0x00000020 },
2490  { 0x00000000, 0x00000001, 0x00000001 },
2491  { 0x00000000, 0x00000002, 0xffff8002 },
2492  { 0x00000000, 0xfffffffe, 0xfffffffe },
2493  { 0x00000000, 0xfffffffd, 0x00007ffd },
2494  { 0x00000000, 0xfffffffd, 0xfffffffd },
2495  { 0x00000000, 0xffffff80, 0xffffff80 },
2496  { 0x00000000, 0xffffff80, 0xffffff80 },
2497  { 0x00000000, 0x00000002, 0xffff8002 },
2498  { 0x00000000, 0x00000002, 0xffff8002 },
2499  { 0x00000000, 0xfffffffe, 0x00007ffe },
2500  { 0x00000000, 0x00000001, 0xffff8001 },
2501  { 0x00000000, 0xffffff80, 0xffffff80 },
2502  { 0x00000000, 0x00000000, 0x80000000 },
2503  { 0x00000000, 0xfffffffe, 0x00007ffe },
2504  { 0x00000000, 0x00000000, 0xffff8000 },
2505  { 0x00000000, 0xffffffff, 0x00007fff },
2506  { 0x00000000, 0x0000007d, 0x0000007d },
2507  { 0x00000000, 0x00000000, 0x00000000 },
2508  { 0x00000000, 0x00000055, 0x55555555 },
2509  { 0x00000000, 0x00000000, 0x80000000 },
2510  { 0x00000000, 0xffffff80, 0xffffff80 },
2511  { 0x00000000, 0x00000003, 0xffff8003 },
2512  { 0x00000000, 0x00000001, 0x80000001 },
2513  { 0x00000000, 0x00000001, 0xffff8001 },
2514  { 0x00000000, 0x00000002, 0x00000002 },
2515  { 0x00000000, 0xffffff81, 0xffffff81 },
2516  { 0x00000000, 0x00000001, 0xffff8001 },
2517  { 0x00000000, 0xfffffffe, 0xfffffffe },
2518  { 0x00000000, 0xfffffffd, 0xfffffffd },
2519  { 0x00000000, 0xffffffff, 0xffffffff },
2520  { 0x00000000, 0x00000000, 0x80000000 },
2521  { 0x00000000, 0x00000001, 0x80000001 },
2522  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2523  { 0x00000000, 0x00000000, 0x00000000 },
2524  { 0x00000000, 0x00000001, 0x00000001 },
2525  { 0x00000000, 0xffffffff, 0x7fffffff },
2526  { 0x00000000, 0xffffffff, 0xffffffff },
2527  { 0x00000000, 0xffffffff, 0x00007fff },
2528  { 0x00000000, 0xffffffff, 0x00007fff },
2529  { 0x00000000, 0x00000055, 0x55555555 },
2530  { 0x00000000, 0x00000033, 0x33333333 },
2531  { 0x00000000, 0xfffffffd, 0xfffffffd },
2532  { 0x00000000, 0x00000001, 0x00000001 },
2533  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2534  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2535  { 0x00000000, 0x00000033, 0x33333333 },
2536  { 0x00000000, 0x00000003, 0xffff8003 },
2537  { 0x00000000, 0xffffffff, 0x7fffffff },
2538  { 0x00000000, 0xffffff83, 0xffffff83 },
2539  { 0x00000000, 0x00000000, 0xffff8000 },
2540  { 0x00000000, 0x00000055, 0x55555555 },
2541  { 0x00000000, 0xffffff81, 0xffffff81 },
2542  { 0x00000000, 0xfffffffe, 0xfffffffe },
2543  { 0x00000000, 0xffffffff, 0x7fffffff },
2544  { 0x00000000, 0xffffffff, 0x7fffffff },
2545  { 0x00000000, 0x00000003, 0xffff8003 },
2546  { 0x00000000, 0xffffffff, 0xffffffff },
2547  { 0x00000000, 0xfffffffd, 0x00007ffd },
2548  { 0x00000000, 0xffffffff, 0x00007fff },
2549  { 0x00000000, 0xffffffff, 0xffffffff },
2550  { 0x00000000, 0x00000003, 0xffff8003 },
2551  { 0x00000000, 0xfffffffd, 0xfffffffd },
2552  { 0x00000000, 0x00000000, 0x80000000 },
2553  { 0x00000000, 0x00000020, 0x00000020 },
2554  { 0x00000000, 0x00000002, 0x00000002 },
2555  { 0x00000000, 0x00000002, 0x00000002 },
2556  { 0x00000000, 0xffffffff, 0x00007fff },
2557  { 0x00000000, 0x00000001, 0x00000001 },
2558  { 0x00000000, 0xffffffff, 0x00007fff },
2559  { 0x00000000, 0x00000020, 0x00000020 },
2560  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2561  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2562  { 0x00000000, 0x00000001, 0xffff8001 },
2563  { 0x00000000, 0x00000001, 0x80000001 },
2564  { 0x00000000, 0x00000000, 0xffff8000 },
2565  { 0x00000000, 0x00000001, 0xffff8001 },
2566  { 0x00000000, 0x00000000, 0x00000000 },
2567  { 0x00000000, 0x00000033, 0x33333333 },
2568  { 0x00000000, 0xffffff80, 0xffffff80 },
2569  { 0x00000000, 0x00000055, 0x55555555 },
2570  { 0x00000000, 0xffffffff, 0xffffffff },
2571};
2572const Inputs kOutputs_Sxtb_RdIsNotRn_al_r0_r3[] = {
2573  { 0x00000000, 0xffffffcc, 0xcccccccc },
2574  { 0x00000000, 0xfffffffe, 0x00007ffe },
2575  { 0x00000000, 0x00000020, 0x00000020 },
2576  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2577  { 0x00000000, 0xffffff82, 0xffffff82 },
2578  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2579  { 0x00000000, 0xfffffffe, 0x00007ffe },
2580  { 0x00000000, 0x00000000, 0x80000000 },
2581  { 0x00000000, 0x00000033, 0x33333333 },
2582  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2583  { 0x00000000, 0xffffffcc, 0xcccccccc },
2584  { 0x00000000, 0x00000055, 0x55555555 },
2585  { 0x00000000, 0xffffffff, 0xffffffff },
2586  { 0x00000000, 0x00000002, 0xffff8002 },
2587  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2588  { 0x00000000, 0x0000007e, 0x0000007e },
2589  { 0x00000000, 0x00000001, 0xffff8001 },
2590  { 0x00000000, 0xfffffffd, 0x00007ffd },
2591  { 0x00000000, 0x00000002, 0x00000002 },
2592  { 0x00000000, 0x00000055, 0x55555555 },
2593  { 0x00000000, 0xffffff80, 0xffffff80 },
2594  { 0x00000000, 0x00000000, 0xffff8000 },
2595  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2596  { 0x00000000, 0x00000000, 0x00000000 },
2597  { 0x00000000, 0x0000007e, 0x0000007e },
2598  { 0x00000000, 0xffffffff, 0xffffffff },
2599  { 0x00000000, 0x00000001, 0x80000001 },
2600  { 0x00000000, 0x0000007f, 0x0000007f },
2601  { 0x00000000, 0xffffffcc, 0xcccccccc },
2602  { 0x00000000, 0xfffffffe, 0x00007ffe },
2603  { 0x00000000, 0x0000007e, 0x0000007e },
2604  { 0x00000000, 0xffffffcc, 0xcccccccc },
2605  { 0x00000000, 0x00000002, 0xffff8002 },
2606  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2607  { 0x00000000, 0x00000001, 0x00000001 },
2608  { 0x00000000, 0x00000020, 0x00000020 },
2609  { 0x00000000, 0x00000001, 0xffff8001 },
2610  { 0x00000000, 0xfffffffe, 0xfffffffe },
2611  { 0x00000000, 0x00000055, 0x55555555 },
2612  { 0x00000000, 0xffffff83, 0xffffff83 },
2613  { 0x00000000, 0x00000001, 0xffff8001 },
2614  { 0x00000000, 0x00000000, 0xffff8000 },
2615  { 0x00000000, 0x00000002, 0x00000002 },
2616  { 0x00000000, 0x00000000, 0xffff8000 },
2617  { 0x00000000, 0xffffff81, 0xffffff81 },
2618  { 0x00000000, 0x00000000, 0x00000000 },
2619  { 0x00000000, 0xffffff81, 0xffffff81 },
2620  { 0x00000000, 0xffffff82, 0xffffff82 },
2621  { 0x00000000, 0x00000003, 0xffff8003 },
2622  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2623  { 0x00000000, 0xfffffffe, 0x00007ffe },
2624  { 0x00000000, 0x0000007d, 0x0000007d },
2625  { 0x00000000, 0xfffffffd, 0x00007ffd },
2626  { 0x00000000, 0xffffff82, 0xffffff82 },
2627  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2628  { 0x00000000, 0xffffff83, 0xffffff83 },
2629  { 0x00000000, 0x00000002, 0x00000002 },
2630  { 0x00000000, 0xffffff82, 0xffffff82 },
2631  { 0x00000000, 0x00000020, 0x00000020 },
2632  { 0x00000000, 0xffffff82, 0xffffff82 },
2633  { 0x00000000, 0xffffff82, 0xffffff82 },
2634  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2635  { 0x00000000, 0x00000001, 0x00000001 },
2636  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2637  { 0x00000000, 0xffffff83, 0xffffff83 },
2638  { 0x00000000, 0x00000000, 0x00000000 },
2639  { 0x00000000, 0x00000000, 0xffff8000 },
2640  { 0x00000000, 0xffffffff, 0x7fffffff },
2641  { 0x00000000, 0x00000000, 0x80000000 },
2642  { 0x00000000, 0x00000001, 0x00000001 },
2643  { 0x00000000, 0xffffff82, 0xffffff82 },
2644  { 0x00000000, 0xfffffffe, 0x00007ffe },
2645  { 0x00000000, 0xfffffffd, 0xfffffffd },
2646  { 0x00000000, 0x00000033, 0x33333333 },
2647  { 0x00000000, 0x00000000, 0x80000000 },
2648  { 0x00000000, 0xffffffff, 0x00007fff },
2649  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2650  { 0x00000000, 0x0000007f, 0x0000007f },
2651  { 0x00000000, 0x00000001, 0xffff8001 },
2652  { 0x00000000, 0x00000001, 0x00000001 },
2653  { 0x00000000, 0xffffffff, 0xffffffff },
2654  { 0x00000000, 0xffffffcc, 0xcccccccc },
2655  { 0x00000000, 0xfffffffe, 0x7ffffffe },
2656  { 0x00000000, 0x00000000, 0x00000000 },
2657  { 0x00000000, 0xffffffcc, 0xcccccccc },
2658  { 0x00000000, 0xffffff83, 0xffffff83 },
2659  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2660  { 0x00000000, 0xffffffff, 0x00007fff },
2661  { 0x00000000, 0x00000002, 0x00000002 },
2662  { 0x00000000, 0xffffffcc, 0xcccccccc },
2663  { 0x00000000, 0xffffff80, 0xffffff80 },
2664  { 0x00000000, 0x00000020, 0x00000020 },
2665  { 0x00000000, 0xfffffffe, 0xfffffffe },
2666  { 0x00000000, 0xffffff81, 0xffffff81 },
2667  { 0x00000000, 0x0000007f, 0x0000007f },
2668  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2669  { 0x00000000, 0xfffffffe, 0xfffffffe },
2670  { 0x00000000, 0x00000002, 0xffff8002 },
2671  { 0x00000000, 0xffffffff, 0xffffffff },
2672  { 0x00000000, 0xffffff80, 0xffffff80 },
2673  { 0x00000000, 0xffffffff, 0x00007fff },
2674  { 0x00000000, 0x00000001, 0xffff8001 },
2675  { 0x00000000, 0x00000002, 0xffff8002 },
2676  { 0x00000000, 0xffffff83, 0xffffff83 },
2677  { 0x00000000, 0x0000007f, 0x0000007f },
2678  { 0x00000000, 0xfffffffe, 0xfffffffe },
2679  { 0x00000000, 0x00000003, 0xffff8003 },
2680  { 0x00000000, 0x00000002, 0xffff8002 },
2681  { 0x00000000, 0x0000007f, 0x0000007f },
2682  { 0x00000000, 0x00000002, 0x00000002 },
2683  { 0x00000000, 0x00000001, 0xffff8001 },
2684  { 0x00000000, 0x00000001, 0x00000001 },
2685  { 0x00000000, 0x00000002, 0xffff8002 },
2686  { 0x00000000, 0xffffffff, 0x7fffffff },
2687  { 0x00000000, 0x00000000, 0xffff8000 },
2688  { 0x00000000, 0xfffffffd, 0x00007ffd },
2689  { 0x00000000, 0xffffff81, 0xffffff81 },
2690  { 0x00000000, 0x00000055, 0x55555555 },
2691  { 0x00000000, 0x00000020, 0x00000020 },
2692  { 0x00000000, 0x00000001, 0x00000001 },
2693  { 0x00000000, 0x00000002, 0xffff8002 },
2694  { 0x00000000, 0xfffffffe, 0xfffffffe },
2695  { 0x00000000, 0xfffffffd, 0x00007ffd },
2696  { 0x00000000, 0xfffffffd, 0xfffffffd },
2697  { 0x00000000, 0xffffff80, 0xffffff80 },
2698  { 0x00000000, 0xffffff80, 0xffffff80 },
2699  { 0x00000000, 0x00000002, 0xffff8002 },
2700  { 0x00000000, 0x00000002, 0xffff8002 },
2701  { 0x00000000, 0xfffffffe, 0x00007ffe },
2702  { 0x00000000, 0x00000001, 0xffff8001 },
2703  { 0x00000000, 0xffffff80, 0xffffff80 },
2704  { 0x00000000, 0x00000000, 0x80000000 },
2705  { 0x00000000, 0xfffffffe, 0x00007ffe },
2706  { 0x00000000, 0x00000000, 0xffff8000 },
2707  { 0x00000000, 0xffffffff, 0x00007fff },
2708  { 0x00000000, 0x0000007d, 0x0000007d },
2709  { 0x00000000, 0x00000000, 0x00000000 },
2710  { 0x00000000, 0x00000055, 0x55555555 },
2711  { 0x00000000, 0x00000000, 0x80000000 },
2712  { 0x00000000, 0xffffff80, 0xffffff80 },
2713  { 0x00000000, 0x00000003, 0xffff8003 },
2714  { 0x00000000, 0x00000001, 0x80000001 },
2715  { 0x00000000, 0x00000001, 0xffff8001 },
2716  { 0x00000000, 0x00000002, 0x00000002 },
2717  { 0x00000000, 0xffffff81, 0xffffff81 },
2718  { 0x00000000, 0x00000001, 0xffff8001 },
2719  { 0x00000000, 0xfffffffe, 0xfffffffe },
2720  { 0x00000000, 0xfffffffd, 0xfffffffd },
2721  { 0x00000000, 0xffffffff, 0xffffffff },
2722  { 0x00000000, 0x00000000, 0x80000000 },
2723  { 0x00000000, 0x00000001, 0x80000001 },
2724  { 0x00000000, 0xfffffffd, 0x7ffffffd },
2725  { 0x00000000, 0x00000000, 0x00000000 },
2726  { 0x00000000, 0x00000001, 0x00000001 },
2727  { 0x00000000, 0xffffffff, 0x7fffffff },
2728  { 0x00000000, 0xffffffff, 0xffffffff },
2729  { 0x00000000, 0xffffffff, 0x00007fff },
2730  { 0x00000000, 0xffffffff, 0x00007fff },
2731  { 0x00000000, 0x00000055, 0x55555555 },
2732  { 0x00000000, 0x00000033, 0x33333333 },
2733  { 0x00000000, 0xfffffffd, 0xfffffffd },
2734  { 0x00000000, 0x00000001, 0x00000001 },
2735  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2736  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2737  { 0x00000000, 0x00000033, 0x33333333 },
2738  { 0x00000000, 0x00000003, 0xffff8003 },
2739  { 0x00000000, 0xffffffff, 0x7fffffff },
2740  { 0x00000000, 0xffffff83, 0xffffff83 },
2741  { 0x00000000, 0x00000000, 0xffff8000 },
2742  { 0x00000000, 0x00000055, 0x55555555 },
2743  { 0x00000000, 0xffffff81, 0xffffff81 },
2744  { 0x00000000, 0xfffffffe, 0xfffffffe },
2745  { 0x00000000, 0xffffffff, 0x7fffffff },
2746  { 0x00000000, 0xffffffff, 0x7fffffff },
2747  { 0x00000000, 0x00000003, 0xffff8003 },
2748  { 0x00000000, 0xffffffff, 0xffffffff },
2749  { 0x00000000, 0xfffffffd, 0x00007ffd },
2750  { 0x00000000, 0xffffffff, 0x00007fff },
2751  { 0x00000000, 0xffffffff, 0xffffffff },
2752  { 0x00000000, 0x00000003, 0xffff8003 },
2753  { 0x00000000, 0xfffffffd, 0xfffffffd },
2754  { 0x00000000, 0x00000000, 0x80000000 },
2755  { 0x00000000, 0x00000020, 0x00000020 },
2756  { 0x00000000, 0x00000002, 0x00000002 },
2757  { 0x00000000, 0x00000002, 0x00000002 },
2758  { 0x00000000, 0xffffffff, 0x00007fff },
2759  { 0x00000000, 0x00000001, 0x00000001 },
2760  { 0x00000000, 0xffffffff, 0x00007fff },
2761  { 0x00000000, 0x00000020, 0x00000020 },
2762  { 0x00000000, 0xffffffe0, 0xffffffe0 },
2763  { 0x00000000, 0xffffffaa, 0xaaaaaaaa },
2764  { 0x00000000, 0x00000001, 0xffff8001 },
2765  { 0x00000000, 0x00000001, 0x80000001 },
2766  { 0x00000000, 0x00000000, 0xffff8000 },
2767  { 0x00000000, 0x00000001, 0xffff8001 },
2768  { 0x00000000, 0x00000000, 0x00000000 },
2769  { 0x00000000, 0x00000033, 0x33333333 },
2770  { 0x00000000, 0xffffff80, 0xffffff80 },
2771  { 0x00000000, 0x00000055, 0x55555555 },
2772  { 0x00000000, 0xffffffff, 0xffffffff },
2773};
2774const TestResult kReferenceSxtb[] = {
2775  {
2776    ARRAY_SIZE(kOutputs_Sxtb_Condition_eq_r0_r0),
2777    kOutputs_Sxtb_Condition_eq_r0_r0,
2778  },
2779  {
2780    ARRAY_SIZE(kOutputs_Sxtb_Condition_ne_r0_r0),
2781    kOutputs_Sxtb_Condition_ne_r0_r0,
2782  },
2783  {
2784    ARRAY_SIZE(kOutputs_Sxtb_Condition_cs_r0_r0),
2785    kOutputs_Sxtb_Condition_cs_r0_r0,
2786  },
2787  {
2788    ARRAY_SIZE(kOutputs_Sxtb_Condition_cc_r0_r0),
2789    kOutputs_Sxtb_Condition_cc_r0_r0,
2790  },
2791  {
2792    ARRAY_SIZE(kOutputs_Sxtb_Condition_mi_r0_r0),
2793    kOutputs_Sxtb_Condition_mi_r0_r0,
2794  },
2795  {
2796    ARRAY_SIZE(kOutputs_Sxtb_Condition_pl_r0_r0),
2797    kOutputs_Sxtb_Condition_pl_r0_r0,
2798  },
2799  {
2800    ARRAY_SIZE(kOutputs_Sxtb_Condition_vs_r0_r0),
2801    kOutputs_Sxtb_Condition_vs_r0_r0,
2802  },
2803  {
2804    ARRAY_SIZE(kOutputs_Sxtb_Condition_vc_r0_r0),
2805    kOutputs_Sxtb_Condition_vc_r0_r0,
2806  },
2807  {
2808    ARRAY_SIZE(kOutputs_Sxtb_Condition_hi_r0_r0),
2809    kOutputs_Sxtb_Condition_hi_r0_r0,
2810  },
2811  {
2812    ARRAY_SIZE(kOutputs_Sxtb_Condition_ls_r0_r0),
2813    kOutputs_Sxtb_Condition_ls_r0_r0,
2814  },
2815  {
2816    ARRAY_SIZE(kOutputs_Sxtb_Condition_ge_r0_r0),
2817    kOutputs_Sxtb_Condition_ge_r0_r0,
2818  },
2819  {
2820    ARRAY_SIZE(kOutputs_Sxtb_Condition_lt_r0_r0),
2821    kOutputs_Sxtb_Condition_lt_r0_r0,
2822  },
2823  {
2824    ARRAY_SIZE(kOutputs_Sxtb_Condition_gt_r0_r0),
2825    kOutputs_Sxtb_Condition_gt_r0_r0,
2826  },
2827  {
2828    ARRAY_SIZE(kOutputs_Sxtb_Condition_le_r0_r0),
2829    kOutputs_Sxtb_Condition_le_r0_r0,
2830  },
2831  {
2832    ARRAY_SIZE(kOutputs_Sxtb_Condition_al_r0_r0),
2833    kOutputs_Sxtb_Condition_al_r0_r0,
2834  },
2835  {
2836    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r0_r0),
2837    kOutputs_Sxtb_RdIsRn_al_r0_r0,
2838  },
2839  {
2840    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r1_r1),
2841    kOutputs_Sxtb_RdIsRn_al_r1_r1,
2842  },
2843  {
2844    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r2_r2),
2845    kOutputs_Sxtb_RdIsRn_al_r2_r2,
2846  },
2847  {
2848    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r3_r3),
2849    kOutputs_Sxtb_RdIsRn_al_r3_r3,
2850  },
2851  {
2852    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r4_r4),
2853    kOutputs_Sxtb_RdIsRn_al_r4_r4,
2854  },
2855  {
2856    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r5_r5),
2857    kOutputs_Sxtb_RdIsRn_al_r5_r5,
2858  },
2859  {
2860    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r6_r6),
2861    kOutputs_Sxtb_RdIsRn_al_r6_r6,
2862  },
2863  {
2864    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r7_r7),
2865    kOutputs_Sxtb_RdIsRn_al_r7_r7,
2866  },
2867  {
2868    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r8_r8),
2869    kOutputs_Sxtb_RdIsRn_al_r8_r8,
2870  },
2871  {
2872    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r9_r9),
2873    kOutputs_Sxtb_RdIsRn_al_r9_r9,
2874  },
2875  {
2876    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r10_r10),
2877    kOutputs_Sxtb_RdIsRn_al_r10_r10,
2878  },
2879  {
2880    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r11_r11),
2881    kOutputs_Sxtb_RdIsRn_al_r11_r11,
2882  },
2883  {
2884    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r12_r12),
2885    kOutputs_Sxtb_RdIsRn_al_r12_r12,
2886  },
2887  {
2888    ARRAY_SIZE(kOutputs_Sxtb_RdIsRn_al_r14_r14),
2889    kOutputs_Sxtb_RdIsRn_al_r14_r14,
2890  },
2891  {
2892    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r1_r8),
2893    kOutputs_Sxtb_RdIsNotRn_al_r1_r8,
2894  },
2895  {
2896    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r7_r4),
2897    kOutputs_Sxtb_RdIsNotRn_al_r7_r4,
2898  },
2899  {
2900    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r14_r10),
2901    kOutputs_Sxtb_RdIsNotRn_al_r14_r10,
2902  },
2903  {
2904    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r10_r6),
2905    kOutputs_Sxtb_RdIsNotRn_al_r10_r6,
2906  },
2907  {
2908    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r6_r5),
2909    kOutputs_Sxtb_RdIsNotRn_al_r6_r5,
2910  },
2911  {
2912    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r12_r2),
2913    kOutputs_Sxtb_RdIsNotRn_al_r12_r2,
2914  },
2915  {
2916    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r0_r11),
2917    kOutputs_Sxtb_RdIsNotRn_al_r0_r11,
2918  },
2919  {
2920    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r10_r14),
2921    kOutputs_Sxtb_RdIsNotRn_al_r10_r14,
2922  },
2923  {
2924    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r0_r5),
2925    kOutputs_Sxtb_RdIsNotRn_al_r0_r5,
2926  },
2927  {
2928    ARRAY_SIZE(kOutputs_Sxtb_RdIsNotRn_al_r0_r3),
2929    kOutputs_Sxtb_RdIsNotRn_al_r0_r3,
2930  },
2931};
2932
2933#endif  // VIXL_SIMULATOR_COND_RD_OPERAND_RN_SXTB_A32_H_
2934