1// Copyright 2015, VIXL authors
2// All rights reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are met:
6//
7//   * Redistributions of source code must retain the above copyright notice,
8//     this list of conditions and the following disclaimer.
9//   * Redistributions in binary form must reproduce the above copyright notice,
10//     this list of conditions and the following disclaimer in the documentation
11//     and/or other materials provided with the distribution.
12//   * Neither the name of ARM Limited nor the names of its contributors may be
13//     used to endorse or promote products derived from this software without
14//     specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
27
28// ---------------------------------------------------------------------
29// This file is auto generated using tools/generate_simulator_traces.py.
30//
31// PLEASE DO NOT EDIT.
32// ---------------------------------------------------------------------
33
34#ifndef VIXL_SIM_FCVTZS_S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_FCVTZS_S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_fcvtzs_S_2OPIMM[] = {
38  0x00000000,
39  0x00000000,
40  0x00000000,
41  0x00000000,
42  0x00000000,
43  0x00000000,
44  0x00000000,
45  0x00000000,
46  0x00000000,
47  0x00000000,
48  0x00000000,
49  0x00000000,
50  0x00000000,
51  0x00000000,
52  0x00000000,
53  0x00000000,
54  0x00000000,
55  0x00000000,
56  0x00000000,
57  0x00000000,
58  0x00000000,
59  0x00000000,
60  0x00000000,
61  0x00000000,
62  0x00000000,
63  0x00000000,
64  0x00000000,
65  0x00000000,
66  0x00000000,
67  0x00000000,
68  0x00000000,
69  0x00000000,
70  0x00000000,
71  0x00000000,
72  0x00000000,
73  0x00000000,
74  0x00000000,
75  0x00000000,
76  0x00000000,
77  0x00000000,
78  0x00000000,
79  0x00000000,
80  0x00000000,
81  0x00000000,
82  0x00000000,
83  0x00000000,
84  0x00000000,
85  0x00000000,
86  0x00000000,
87  0x00000000,
88  0x00000000,
89  0x00000000,
90  0x00000000,
91  0x00000000,
92  0x00000000,
93  0x00000000,
94  0x00000000,
95  0x00000000,
96  0x00000000,
97  0x00000000,
98  0x00000000,
99  0x00000000,
100  0x00000000,
101  0x00000000,
102  0x00000000,
103  0x00000000,
104  0x00000000,
105  0x00000000,
106  0x00000000,
107  0x00000000,
108  0x00000000,
109  0x00000000,
110  0x00000000,
111  0x00000000,
112  0x00000000,
113  0x00000000,
114  0x00000000,
115  0x00000000,
116  0x00000000,
117  0x00000000,
118  0x00000000,
119  0x00000000,
120  0x00000000,
121  0x00000000,
122  0x00000000,
123  0x00000000,
124  0x00000000,
125  0x00000000,
126  0x00000000,
127  0x00000000,
128  0x00000000,
129  0x00000000,
130  0x00000000,
131  0x00000000,
132  0x00000000,
133  0x00000000,
134  0x00000000,
135  0x00000000,
136  0x00000000,
137  0x00000000,
138  0x00000000,
139  0x00000000,
140  0x00000000,
141  0x00000000,
142  0x00000000,
143  0x00000000,
144  0x00000000,
145  0x00000000,
146  0x00000000,
147  0x00000000,
148  0x00000000,
149  0x00000000,
150  0x00000000,
151  0x00000000,
152  0x00000000,
153  0x00000000,
154  0x00000000,
155  0x00000000,
156  0x00000000,
157  0x00000000,
158  0x00000000,
159  0x00000000,
160  0x00000000,
161  0x00000000,
162  0x00000000,
163  0x00000000,
164  0x00000000,
165  0x00000000,
166  0x00000000,
167  0x00000000,
168  0x00000000,
169  0x00000000,
170  0x00000000,
171  0x00000000,
172  0x00000000,
173  0x00000000,
174  0x00000000,
175  0x00000000,
176  0x00000000,
177  0x00000000,
178  0x00000000,
179  0x00000000,
180  0x00000000,
181  0x00000000,
182  0x00000000,
183  0x00000000,
184  0x00000000,
185  0x00000000,
186  0x00000000,
187  0x00000000,
188  0x00000000,
189  0x00000000,
190  0x00000000,
191  0x00000000,
192  0x00000000,
193  0x00000000,
194  0x00000000,
195  0x00000000,
196  0x00000000,
197  0x00000000,
198  0x00000000,
199  0x00000000,
200  0x00000000,
201  0x00000000,
202  0x00000000,
203  0x00000000,
204  0x00000000,
205  0x00000001,
206  0x00000003,
207  0x00000007,
208  0x0000000f,
209  0x0000001f,
210  0x0000003f,
211  0x0000007f,
212  0x000000ff,
213  0x000001ff,
214  0x000003ff,
215  0x000007ff,
216  0x00000fff,
217  0x00001fff,
218  0x00003fff,
219  0x00007fff,
220  0x0000ffff,
221  0x0001ffff,
222  0x0003ffff,
223  0x0007ffff,
224  0x000fffff,
225  0x001fffff,
226  0x003fffff,
227  0x007fffff,
228  0x00ffffff,
229  0x01fffffe,
230  0x03fffffc,
231  0x07fffff8,
232  0x0ffffff0,
233  0x1fffffe0,
234  0x3fffffc0,
235  0x7fffff80,
236  0x00000000,
237  0x00000001,
238  0x00000002,
239  0x00000004,
240  0x00000008,
241  0x00000010,
242  0x00000020,
243  0x00000040,
244  0x00000080,
245  0x00000100,
246  0x00000200,
247  0x00000400,
248  0x00000800,
249  0x00001000,
250  0x00002000,
251  0x00004000,
252  0x00008000,
253  0x00010000,
254  0x00020000,
255  0x00040000,
256  0x00080000,
257  0x00100000,
258  0x00200000,
259  0x00400000,
260  0x00800000,
261  0x01000000,
262  0x02000000,
263  0x04000000,
264  0x08000000,
265  0x10000000,
266  0x20000000,
267  0x40000000,
268  0x7fffffff,
269  0x00000000,
270  0x00000001,
271  0x00000002,
272  0x00000004,
273  0x00000008,
274  0x00000010,
275  0x00000020,
276  0x00000040,
277  0x00000080,
278  0x00000100,
279  0x00000200,
280  0x00000400,
281  0x00000800,
282  0x00001000,
283  0x00002000,
284  0x00004000,
285  0x00008000,
286  0x00010000,
287  0x00020000,
288  0x00040000,
289  0x00080000,
290  0x00100000,
291  0x00200000,
292  0x00400000,
293  0x00800001,
294  0x01000002,
295  0x02000004,
296  0x04000008,
297  0x08000010,
298  0x10000020,
299  0x20000040,
300  0x40000080,
301  0x7fffffff,
302  0x00000000,
303  0x00000001,
304  0x00000003,
305  0x00000007,
306  0x0000000f,
307  0x0000001f,
308  0x0000003f,
309  0x0000007f,
310  0x000000ff,
311  0x000001ff,
312  0x000003ff,
313  0x000007ff,
314  0x00000fff,
315  0x00001fff,
316  0x00003fff,
317  0x00007fff,
318  0x0000ffff,
319  0x0001ffff,
320  0x0003ffff,
321  0x0007ffff,
322  0x000fffff,
323  0x001fffff,
324  0x003fffff,
325  0x007fffff,
326  0x00ffffff,
327  0x01fffffe,
328  0x03fffffc,
329  0x07fffff8,
330  0x0ffffff0,
331  0x1fffffe0,
332  0x3fffffc0,
333  0x7fffff80,
334  0x7fffffff,
335  0x00000001,
336  0x00000002,
337  0x00000004,
338  0x00000008,
339  0x00000010,
340  0x00000020,
341  0x00000040,
342  0x00000080,
343  0x00000100,
344  0x00000200,
345  0x00000400,
346  0x00000800,
347  0x00001000,
348  0x00002000,
349  0x00004000,
350  0x00008000,
351  0x00010000,
352  0x00020000,
353  0x00040000,
354  0x00080000,
355  0x00100000,
356  0x00200000,
357  0x00400000,
358  0x00800000,
359  0x01000000,
360  0x02000000,
361  0x04000000,
362  0x08000000,
363  0x10000000,
364  0x20000000,
365  0x40000000,
366  0x7fffffff,
367  0x7fffffff,
368  0x00000001,
369  0x00000002,
370  0x00000004,
371  0x00000008,
372  0x00000010,
373  0x00000020,
374  0x00000040,
375  0x00000080,
376  0x00000100,
377  0x00000200,
378  0x00000400,
379  0x00000800,
380  0x00001000,
381  0x00002000,
382  0x00004000,
383  0x00008000,
384  0x00010000,
385  0x00020000,
386  0x00040000,
387  0x00080000,
388  0x00100000,
389  0x00200000,
390  0x00400000,
391  0x00800001,
392  0x01000002,
393  0x02000004,
394  0x04000008,
395  0x08000010,
396  0x10000020,
397  0x20000040,
398  0x40000080,
399  0x7fffffff,
400  0x7fffffff,
401  0x00000001,
402  0x00000003,
403  0x00000006,
404  0x0000000c,
405  0x00000018,
406  0x00000030,
407  0x00000060,
408  0x000000c0,
409  0x00000180,
410  0x00000300,
411  0x00000600,
412  0x00000c00,
413  0x00001800,
414  0x00003000,
415  0x00006000,
416  0x0000c000,
417  0x00018000,
418  0x00030000,
419  0x00060000,
420  0x000c0000,
421  0x00180000,
422  0x00300000,
423  0x00600000,
424  0x00c00000,
425  0x01800000,
426  0x03000000,
427  0x06000000,
428  0x0c000000,
429  0x18000000,
430  0x30000000,
431  0x60000000,
432  0x7fffffff,
433  0x7fffffff,
434  0x0000000a,
435  0x00000014,
436  0x00000028,
437  0x00000050,
438  0x000000a0,
439  0x00000140,
440  0x00000280,
441  0x00000500,
442  0x00000a00,
443  0x00001400,
444  0x00002800,
445  0x00005000,
446  0x0000a000,
447  0x00014000,
448  0x00028000,
449  0x00050000,
450  0x000a0000,
451  0x00140000,
452  0x00280000,
453  0x00500000,
454  0x00a00000,
455  0x01400000,
456  0x02800000,
457  0x05000000,
458  0x0a000000,
459  0x14000000,
460  0x28000000,
461  0x50000000,
462  0x7fffffff,
463  0x7fffffff,
464  0x7fffffff,
465  0x7fffffff,
466  0x7fffffff,
467  0x00000000,
468  0x00000000,
469  0x00000000,
470  0x00000000,
471  0x00000000,
472  0x00000000,
473  0x00000000,
474  0x00000000,
475  0x00000000,
476  0x00000000,
477  0x00000000,
478  0x00000000,
479  0x00000000,
480  0x00000000,
481  0x00000000,
482  0x00000000,
483  0x00000000,
484  0x00000000,
485  0x00000000,
486  0x00000000,
487  0x00000000,
488  0x00000000,
489  0x00000000,
490  0x00000000,
491  0x00000000,
492  0x00000000,
493  0x00000000,
494  0x00000000,
495  0x00000000,
496  0x00000000,
497  0x00000000,
498  0x00000000,
499  0x00000000,
500  0x7fffffff,
501  0x7fffffff,
502  0x7fffffff,
503  0x7fffffff,
504  0x7fffffff,
505  0x7fffffff,
506  0x7fffffff,
507  0x7fffffff,
508  0x7fffffff,
509  0x7fffffff,
510  0x7fffffff,
511  0x7fffffff,
512  0x7fffffff,
513  0x7fffffff,
514  0x7fffffff,
515  0x7fffffff,
516  0x7fffffff,
517  0x7fffffff,
518  0x7fffffff,
519  0x7fffffff,
520  0x7fffffff,
521  0x7fffffff,
522  0x7fffffff,
523  0x7fffffff,
524  0x7fffffff,
525  0x7fffffff,
526  0x7fffffff,
527  0x7fffffff,
528  0x7fffffff,
529  0x7fffffff,
530  0x7fffffff,
531  0x7fffffff,
532  0x7fffffff,
533  0x00000000,
534  0x00000000,
535  0x00000000,
536  0x00000000,
537  0x00000000,
538  0x00000000,
539  0x00000000,
540  0x00000000,
541  0x00000000,
542  0x00000000,
543  0x00000000,
544  0x00000000,
545  0x00000000,
546  0x00000000,
547  0x00000000,
548  0x00000000,
549  0x00000000,
550  0x00000000,
551  0x00000000,
552  0x00000000,
553  0x00000000,
554  0x00000000,
555  0x00000000,
556  0x00000000,
557  0x00000000,
558  0x00000000,
559  0x00000000,
560  0x00000000,
561  0x00000000,
562  0x00000000,
563  0x00000000,
564  0x00000000,
565  0x00000000,
566  0x00000000,
567  0x00000000,
568  0x00000000,
569  0x00000000,
570  0x00000000,
571  0x00000000,
572  0x00000000,
573  0x00000000,
574  0x00000000,
575  0x00000000,
576  0x00000000,
577  0x00000000,
578  0x00000000,
579  0x00000000,
580  0x00000000,
581  0x00000000,
582  0x00000000,
583  0x00000000,
584  0x00000000,
585  0x00000000,
586  0x00000000,
587  0x00000000,
588  0x00000000,
589  0x00000000,
590  0x00000000,
591  0x00000000,
592  0x00000000,
593  0x00000000,
594  0x00000000,
595  0x00000000,
596  0x00000000,
597  0x00000000,
598  0x00000000,
599  0x00000000,
600  0x00000000,
601  0x00000000,
602  0x00000000,
603  0x00000000,
604  0x00000000,
605  0x00000000,
606  0x00000000,
607  0x00000000,
608  0x00000000,
609  0x00000000,
610  0x00000000,
611  0x00000000,
612  0x00000000,
613  0x00000000,
614  0x00000000,
615  0x00000000,
616  0x00000000,
617  0x00000000,
618  0x00000000,
619  0x00000000,
620  0x00000000,
621  0x00000000,
622  0x00000000,
623  0x00000000,
624  0x00000000,
625  0x00000000,
626  0x00000000,
627  0x00000000,
628  0x00000000,
629  0x00000000,
630  0x00000000,
631  0x00000000,
632  0x00000000,
633  0x00000000,
634  0x00000000,
635  0x00000000,
636  0x00000000,
637  0x00000000,
638  0x00000000,
639  0x00000000,
640  0x00000000,
641  0x00000000,
642  0x00000000,
643  0x00000000,
644  0x00000000,
645  0x00000000,
646  0x00000000,
647  0x00000000,
648  0x00000000,
649  0x00000000,
650  0x00000000,
651  0x00000000,
652  0x00000000,
653  0x00000000,
654  0x00000000,
655  0x00000000,
656  0x00000000,
657  0x00000000,
658  0x00000000,
659  0x00000000,
660  0x00000000,
661  0x00000000,
662  0x00000000,
663  0x00000000,
664  0x00000000,
665  0x00000000,
666  0x00000000,
667  0x00000000,
668  0x00000000,
669  0x00000000,
670  0x00000000,
671  0x00000000,
672  0x00000000,
673  0x00000000,
674  0x00000000,
675  0x00000000,
676  0x00000000,
677  0x00000000,
678  0x00000000,
679  0x00000000,
680  0x00000000,
681  0x00000000,
682  0x00000000,
683  0x00000000,
684  0x00000000,
685  0x00000000,
686  0x00000000,
687  0x00000000,
688  0x00000000,
689  0x00000000,
690  0x00000000,
691  0x00000000,
692  0x00000000,
693  0x00000000,
694  0x00000000,
695  0x00000000,
696  0x00000000,
697  0x00000000,
698  0x00000000,
699  0x00000000,
700  0x00000000,
701  0x00000000,
702  0x00000000,
703  0x00000000,
704  0x00000000,
705  0x00000000,
706  0x00000000,
707  0x00000000,
708  0x00000000,
709  0x00000000,
710  0x00000000,
711  0x00000000,
712  0x00000000,
713  0x00000000,
714  0x00000000,
715  0x00000000,
716  0x00000000,
717  0x00000000,
718  0x00000000,
719  0x00000000,
720  0x00000000,
721  0x00000000,
722  0x00000000,
723  0x00000000,
724  0x00000000,
725  0x00000000,
726  0x00000000,
727  0x00000000,
728  0x00000000,
729  0x00000000,
730  0x00000000,
731  0x00000000,
732  0x00000000,
733  0x00000000,
734  0x00000000,
735  0x00000000,
736  0x00000000,
737  0x00000000,
738  0x00000000,
739  0x00000000,
740  0x00000000,
741  0x00000000,
742  0x00000000,
743  0x00000000,
744  0x00000000,
745  0x00000000,
746  0x00000000,
747  0x00000000,
748  0x00000000,
749  0x00000000,
750  0x00000000,
751  0x00000000,
752  0x00000000,
753  0x00000000,
754  0x00000000,
755  0x00000000,
756  0x00000000,
757  0x00000000,
758  0x00000000,
759  0x00000000,
760  0x00000000,
761  0x00000000,
762  0x00000000,
763  0x00000000,
764  0x00000000,
765  0x00000000,
766  0x00000000,
767  0x00000000,
768  0x00000000,
769  0x00000000,
770  0x00000000,
771  0x00000000,
772  0x00000000,
773  0x00000000,
774  0x00000000,
775  0x00000000,
776  0x00000000,
777  0x00000000,
778  0x00000000,
779  0x00000000,
780  0x00000000,
781  0x00000000,
782  0x00000000,
783  0x00000000,
784  0x00000000,
785  0x00000000,
786  0x00000000,
787  0x00000000,
788  0x00000000,
789  0x00000000,
790  0x00000000,
791  0x00000000,
792  0x00000000,
793  0x00000000,
794  0x00000000,
795  0x00000000,
796  0x00000000,
797  0x00000000,
798  0x00000000,
799  0x00000000,
800  0x00000000,
801  0x00000000,
802  0x00000000,
803  0x00000000,
804  0x00000000,
805  0x00000000,
806  0x00000000,
807  0x00000000,
808  0x00000000,
809  0x00000000,
810  0x00000000,
811  0x00000000,
812  0x00000000,
813  0x00000000,
814  0x00000000,
815  0x00000000,
816  0x00000000,
817  0x00000000,
818  0x00000000,
819  0x00000000,
820  0x00000000,
821  0x00000000,
822  0x00000000,
823  0x00000000,
824  0x00000000,
825  0x00000000,
826  0x00000000,
827  0x00000000,
828  0x00000000,
829  0x00000000,
830  0x00000000,
831  0x00000000,
832  0xffffffff,
833  0xfffffffd,
834  0xfffffff9,
835  0xfffffff1,
836  0xffffffe1,
837  0xffffffc1,
838  0xffffff81,
839  0xffffff01,
840  0xfffffe01,
841  0xfffffc01,
842  0xfffff801,
843  0xfffff001,
844  0xffffe001,
845  0xffffc001,
846  0xffff8001,
847  0xffff0001,
848  0xfffe0001,
849  0xfffc0001,
850  0xfff80001,
851  0xfff00001,
852  0xffe00001,
853  0xffc00001,
854  0xff800001,
855  0xff000001,
856  0xfe000002,
857  0xfc000004,
858  0xf8000008,
859  0xf0000010,
860  0xe0000020,
861  0xc0000040,
862  0x80000080,
863  0x00000000,
864  0xffffffff,
865  0xfffffffe,
866  0xfffffffc,
867  0xfffffff8,
868  0xfffffff0,
869  0xffffffe0,
870  0xffffffc0,
871  0xffffff80,
872  0xffffff00,
873  0xfffffe00,
874  0xfffffc00,
875  0xfffff800,
876  0xfffff000,
877  0xffffe000,
878  0xffffc000,
879  0xffff8000,
880  0xffff0000,
881  0xfffe0000,
882  0xfffc0000,
883  0xfff80000,
884  0xfff00000,
885  0xffe00000,
886  0xffc00000,
887  0xff800000,
888  0xff000000,
889  0xfe000000,
890  0xfc000000,
891  0xf8000000,
892  0xf0000000,
893  0xe0000000,
894  0xc0000000,
895  0x80000000,
896  0x00000000,
897  0xffffffff,
898  0xfffffffe,
899  0xfffffffc,
900  0xfffffff8,
901  0xfffffff0,
902  0xffffffe0,
903  0xffffffc0,
904  0xffffff80,
905  0xffffff00,
906  0xfffffe00,
907  0xfffffc00,
908  0xfffff800,
909  0xfffff000,
910  0xffffe000,
911  0xffffc000,
912  0xffff8000,
913  0xffff0000,
914  0xfffe0000,
915  0xfffc0000,
916  0xfff80000,
917  0xfff00000,
918  0xffe00000,
919  0xffc00000,
920  0xff7fffff,
921  0xfefffffe,
922  0xfdfffffc,
923  0xfbfffff8,
924  0xf7fffff0,
925  0xefffffe0,
926  0xdfffffc0,
927  0xbfffff80,
928  0x80000000,
929  0x00000000,
930  0xffffffff,
931  0xfffffffd,
932  0xfffffff9,
933  0xfffffff1,
934  0xffffffe1,
935  0xffffffc1,
936  0xffffff81,
937  0xffffff01,
938  0xfffffe01,
939  0xfffffc01,
940  0xfffff801,
941  0xfffff001,
942  0xffffe001,
943  0xffffc001,
944  0xffff8001,
945  0xffff0001,
946  0xfffe0001,
947  0xfffc0001,
948  0xfff80001,
949  0xfff00001,
950  0xffe00001,
951  0xffc00001,
952  0xff800001,
953  0xff000001,
954  0xfe000002,
955  0xfc000004,
956  0xf8000008,
957  0xf0000010,
958  0xe0000020,
959  0xc0000040,
960  0x80000080,
961  0x80000000,
962  0xffffffff,
963  0xfffffffe,
964  0xfffffffc,
965  0xfffffff8,
966  0xfffffff0,
967  0xffffffe0,
968  0xffffffc0,
969  0xffffff80,
970  0xffffff00,
971  0xfffffe00,
972  0xfffffc00,
973  0xfffff800,
974  0xfffff000,
975  0xffffe000,
976  0xffffc000,
977  0xffff8000,
978  0xffff0000,
979  0xfffe0000,
980  0xfffc0000,
981  0xfff80000,
982  0xfff00000,
983  0xffe00000,
984  0xffc00000,
985  0xff800000,
986  0xff000000,
987  0xfe000000,
988  0xfc000000,
989  0xf8000000,
990  0xf0000000,
991  0xe0000000,
992  0xc0000000,
993  0x80000000,
994  0x80000000,
995  0xffffffff,
996  0xfffffffe,
997  0xfffffffc,
998  0xfffffff8,
999  0xfffffff0,
1000  0xffffffe0,
1001  0xffffffc0,
1002  0xffffff80,
1003  0xffffff00,
1004  0xfffffe00,
1005  0xfffffc00,
1006  0xfffff800,
1007  0xfffff000,
1008  0xffffe000,
1009  0xffffc000,
1010  0xffff8000,
1011  0xffff0000,
1012  0xfffe0000,
1013  0xfffc0000,
1014  0xfff80000,
1015  0xfff00000,
1016  0xffe00000,
1017  0xffc00000,
1018  0xff7fffff,
1019  0xfefffffe,
1020  0xfdfffffc,
1021  0xfbfffff8,
1022  0xf7fffff0,
1023  0xefffffe0,
1024  0xdfffffc0,
1025  0xbfffff80,
1026  0x80000000,
1027  0x80000000,
1028  0xffffffff,
1029  0xfffffffd,
1030  0xfffffffa,
1031  0xfffffff4,
1032  0xffffffe8,
1033  0xffffffd0,
1034  0xffffffa0,
1035  0xffffff40,
1036  0xfffffe80,
1037  0xfffffd00,
1038  0xfffffa00,
1039  0xfffff400,
1040  0xffffe800,
1041  0xffffd000,
1042  0xffffa000,
1043  0xffff4000,
1044  0xfffe8000,
1045  0xfffd0000,
1046  0xfffa0000,
1047  0xfff40000,
1048  0xffe80000,
1049  0xffd00000,
1050  0xffa00000,
1051  0xff400000,
1052  0xfe800000,
1053  0xfd000000,
1054  0xfa000000,
1055  0xf4000000,
1056  0xe8000000,
1057  0xd0000000,
1058  0xa0000000,
1059  0x80000000,
1060  0x80000000,
1061  0xfffffff6,
1062  0xffffffec,
1063  0xffffffd8,
1064  0xffffffb0,
1065  0xffffff60,
1066  0xfffffec0,
1067  0xfffffd80,
1068  0xfffffb00,
1069  0xfffff600,
1070  0xffffec00,
1071  0xffffd800,
1072  0xffffb000,
1073  0xffff6000,
1074  0xfffec000,
1075  0xfffd8000,
1076  0xfffb0000,
1077  0xfff60000,
1078  0xffec0000,
1079  0xffd80000,
1080  0xffb00000,
1081  0xff600000,
1082  0xfec00000,
1083  0xfd800000,
1084  0xfb000000,
1085  0xf6000000,
1086  0xec000000,
1087  0xd8000000,
1088  0xb0000000,
1089  0x80000000,
1090  0x80000000,
1091  0x80000000,
1092  0x80000000,
1093  0x80000000,
1094  0x00000000,
1095  0x00000000,
1096  0x00000000,
1097  0x00000000,
1098  0x00000000,
1099  0x00000000,
1100  0x00000000,
1101  0x00000000,
1102  0x00000000,
1103  0x00000000,
1104  0x00000000,
1105  0x00000000,
1106  0x00000000,
1107  0x00000000,
1108  0x00000000,
1109  0x00000000,
1110  0x00000000,
1111  0x00000000,
1112  0x00000000,
1113  0x00000000,
1114  0x00000000,
1115  0x00000000,
1116  0x00000000,
1117  0x00000000,
1118  0x00000000,
1119  0x00000000,
1120  0x00000000,
1121  0x00000000,
1122  0x00000000,
1123  0x00000000,
1124  0x00000000,
1125  0x00000000,
1126  0x00000000,
1127  0x80000000,
1128  0x80000000,
1129  0x80000000,
1130  0x80000000,
1131  0x80000000,
1132  0x80000000,
1133  0x80000000,
1134  0x80000000,
1135  0x80000000,
1136  0x80000000,
1137  0x80000000,
1138  0x80000000,
1139  0x80000000,
1140  0x80000000,
1141  0x80000000,
1142  0x80000000,
1143  0x80000000,
1144  0x80000000,
1145  0x80000000,
1146  0x80000000,
1147  0x80000000,
1148  0x80000000,
1149  0x80000000,
1150  0x80000000,
1151  0x80000000,
1152  0x80000000,
1153  0x80000000,
1154  0x80000000,
1155  0x80000000,
1156  0x80000000,
1157  0x80000000,
1158  0x80000000,
1159  0x80000000,
1160  0x00000000,
1161  0x00000000,
1162  0x00000000,
1163  0x00000000,
1164  0x00000000,
1165  0x00000000,
1166  0x00000000,
1167  0x00000000,
1168  0x00000000,
1169  0x00000000,
1170  0x00000000,
1171  0x00000000,
1172  0x00000000,
1173  0x00000000,
1174  0x00000000,
1175  0x00000000,
1176  0x00000000,
1177  0x00000000,
1178  0x00000000,
1179  0x00000000,
1180  0x00000000,
1181  0x00000000,
1182  0x00000000,
1183  0x00000000,
1184  0x00000000,
1185  0x00000000,
1186  0x00000000,
1187  0x00000000,
1188  0x00000000,
1189  0x00000000,
1190  0x00000000,
1191  0x00000000,
1192  0x00000000,
1193  0x00000000,
1194  0x00000000,
1195  0x00000000,
1196  0x00000000,
1197  0x00000000,
1198  0x00000000,
1199  0x00000000,
1200  0x00000000,
1201  0x00000000,
1202  0x00000000,
1203  0x00000000,
1204  0x00000000,
1205  0x00000000,
1206  0x00000000,
1207  0x00000000,
1208  0x00000000,
1209  0x00000000,
1210  0x00000000,
1211  0x00000000,
1212  0x00000000,
1213  0x00000000,
1214  0x00000000,
1215  0x00000000,
1216  0x00000000,
1217  0x00000000,
1218  0x00000000,
1219  0x00000000,
1220  0x00000000,
1221  0x00000000,
1222  0x00000000,
1223  0x00000000,
1224  0x00000000,
1225  0x00000000,
1226  0x00000000,
1227  0x00000000,
1228  0x00000000,
1229  0x00000000,
1230  0x00000000,
1231  0x00000000,
1232  0x00000000,
1233  0x00000000,
1234  0x00000000,
1235  0x00000000,
1236  0x00000000,
1237  0x00000000,
1238  0x00000000,
1239  0x00000000,
1240  0x00000000,
1241  0x00000000,
1242  0x00000000,
1243  0x00000000,
1244  0x00000000,
1245  0x00000000,
1246  0x00000000,
1247  0x00000000,
1248  0x00000000,
1249  0x00000000,
1250  0x00000000,
1251  0x00000000,
1252  0x00000000,
1253  0x00000000,
1254  0x00000000,
1255  0x00000000,
1256  0x00000000,
1257  0x00000000,
1258  0x00000000,
1259  0x00000000,
1260  0x00000000,
1261  0x00000000,
1262  0x00000000,
1263  0x00000000,
1264  0x00000000,
1265  0x00000000,
1266  0x00000000,
1267  0x00000000,
1268  0x00000000,
1269  0x00000000,
1270  0x00000000,
1271  0x00000000,
1272  0x00000000,
1273  0x00000000,
1274  0x00000000,
1275  0x00000000,
1276  0x00000000,
1277  0x00000000,
1278  0x00000000,
1279  0x00000000,
1280  0x00000000,
1281  0x00000000,
1282  0x00000000,
1283  0x00000000,
1284  0x00000000,
1285  0x00000000,
1286  0x00000000,
1287  0x00000000,
1288  0x00000000,
1289  0x00000000,
1290  0x00000000,
1291  0x00000000,
1292};
1293const unsigned kExpectedCount_NEON_fcvtzs_S_2OPIMM = 1254;
1294
1295#endif  // VIXL_SIM_FCVTZS_S_2OPIMM_TRACE_AARCH64_H_
1296