• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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_FMINNM_S_TRACE_AARCH64_H_
35 #define VIXL_SIM_FMINNM_S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_fminnm_s[] = {
38   0x00000000,
39   0x00000000,
40   0x00000000,
41   0x00000000,
42   0x00000000,
43   0x00000000,
44   0x00000000,
45   0x00000000,
46   0x00000000,
47   0x00000000,
48   0x7fcfffff,
49   0x00000000,
50   0x00000000,
51   0x00000000,
52   0x7fd23456,
53   0x7fc00001,
54   0x00000000,
55   0x00000000,
56   0x00000000,
57   0x80000000,
58   0x80800000,
59   0xbeffffff,
60   0xbf000000,
61   0xbf000001,
62   0xbf7fffff,
63   0xbf800000,
64   0xbf800001,
65   0xbfc00000,
66   0xc1200000,
67   0xffcfffff,
68   0xff800000,
69   0x00000000,
70   0x00000000,
71   0xffd23456,
72   0xffc00001,
73   0x80123456,
74   0x807fffff,
75   0x80000001,
76   0x00000000,
77   0x00800000,
78   0x00800000,
79   0x00800000,
80   0x00800000,
81   0x00800000,
82   0x00800000,
83   0x00800000,
84   0x00800000,
85   0x00800000,
86   0x7fcfffff,
87   0x00800000,
88   0x00800000,
89   0x00800000,
90   0x7fd23456,
91   0x7fc00001,
92   0x00123456,
93   0x007fffff,
94   0x00000001,
95   0x80000000,
96   0x80800000,
97   0xbeffffff,
98   0xbf000000,
99   0xbf000001,
100   0xbf7fffff,
101   0xbf800000,
102   0xbf800001,
103   0xbfc00000,
104   0xc1200000,
105   0xffcfffff,
106   0xff800000,
107   0x00800000,
108   0x00800000,
109   0xffd23456,
110   0xffc00001,
111   0x80123456,
112   0x807fffff,
113   0x80000001,
114   0x00000000,
115   0x00800000,
116   0x3effffff,
117   0x3effffff,
118   0x3effffff,
119   0x3effffff,
120   0x3effffff,
121   0x3effffff,
122   0x3effffff,
123   0x3effffff,
124   0x7fcfffff,
125   0x3effffff,
126   0x3effffff,
127   0x3effffff,
128   0x7fd23456,
129   0x7fc00001,
130   0x00123456,
131   0x007fffff,
132   0x00000001,
133   0x80000000,
134   0x80800000,
135   0xbeffffff,
136   0xbf000000,
137   0xbf000001,
138   0xbf7fffff,
139   0xbf800000,
140   0xbf800001,
141   0xbfc00000,
142   0xc1200000,
143   0xffcfffff,
144   0xff800000,
145   0x3effffff,
146   0x3effffff,
147   0xffd23456,
148   0xffc00001,
149   0x80123456,
150   0x807fffff,
151   0x80000001,
152   0x00000000,
153   0x00800000,
154   0x3effffff,
155   0x3f000000,
156   0x3f000000,
157   0x3f000000,
158   0x3f000000,
159   0x3f000000,
160   0x3f000000,
161   0x3f000000,
162   0x7fcfffff,
163   0x3f000000,
164   0x3f000000,
165   0x3f000000,
166   0x7fd23456,
167   0x7fc00001,
168   0x00123456,
169   0x007fffff,
170   0x00000001,
171   0x80000000,
172   0x80800000,
173   0xbeffffff,
174   0xbf000000,
175   0xbf000001,
176   0xbf7fffff,
177   0xbf800000,
178   0xbf800001,
179   0xbfc00000,
180   0xc1200000,
181   0xffcfffff,
182   0xff800000,
183   0x3f000000,
184   0x3f000000,
185   0xffd23456,
186   0xffc00001,
187   0x80123456,
188   0x807fffff,
189   0x80000001,
190   0x00000000,
191   0x00800000,
192   0x3effffff,
193   0x3f000000,
194   0x3f000001,
195   0x3f000001,
196   0x3f000001,
197   0x3f000001,
198   0x3f000001,
199   0x3f000001,
200   0x7fcfffff,
201   0x3f000001,
202   0x3f000001,
203   0x3f000001,
204   0x7fd23456,
205   0x7fc00001,
206   0x00123456,
207   0x007fffff,
208   0x00000001,
209   0x80000000,
210   0x80800000,
211   0xbeffffff,
212   0xbf000000,
213   0xbf000001,
214   0xbf7fffff,
215   0xbf800000,
216   0xbf800001,
217   0xbfc00000,
218   0xc1200000,
219   0xffcfffff,
220   0xff800000,
221   0x3f000001,
222   0x3f000001,
223   0xffd23456,
224   0xffc00001,
225   0x80123456,
226   0x807fffff,
227   0x80000001,
228   0x00000000,
229   0x00800000,
230   0x3effffff,
231   0x3f000000,
232   0x3f000001,
233   0x3f7fffff,
234   0x3f7fffff,
235   0x3f7fffff,
236   0x3f7fffff,
237   0x3f7fffff,
238   0x7fcfffff,
239   0x3f7fffff,
240   0x3f7fffff,
241   0x3f7fffff,
242   0x7fd23456,
243   0x7fc00001,
244   0x00123456,
245   0x007fffff,
246   0x00000001,
247   0x80000000,
248   0x80800000,
249   0xbeffffff,
250   0xbf000000,
251   0xbf000001,
252   0xbf7fffff,
253   0xbf800000,
254   0xbf800001,
255   0xbfc00000,
256   0xc1200000,
257   0xffcfffff,
258   0xff800000,
259   0x3f7fffff,
260   0x3f7fffff,
261   0xffd23456,
262   0xffc00001,
263   0x80123456,
264   0x807fffff,
265   0x80000001,
266   0x00000000,
267   0x00800000,
268   0x3effffff,
269   0x3f000000,
270   0x3f000001,
271   0x3f7fffff,
272   0x3f800000,
273   0x3f800000,
274   0x3f800000,
275   0x3f800000,
276   0x7fcfffff,
277   0x3f800000,
278   0x3f800000,
279   0x3f800000,
280   0x7fd23456,
281   0x7fc00001,
282   0x00123456,
283   0x007fffff,
284   0x00000001,
285   0x80000000,
286   0x80800000,
287   0xbeffffff,
288   0xbf000000,
289   0xbf000001,
290   0xbf7fffff,
291   0xbf800000,
292   0xbf800001,
293   0xbfc00000,
294   0xc1200000,
295   0xffcfffff,
296   0xff800000,
297   0x3f800000,
298   0x3f800000,
299   0xffd23456,
300   0xffc00001,
301   0x80123456,
302   0x807fffff,
303   0x80000001,
304   0x00000000,
305   0x00800000,
306   0x3effffff,
307   0x3f000000,
308   0x3f000001,
309   0x3f7fffff,
310   0x3f800000,
311   0x3f800001,
312   0x3f800001,
313   0x3f800001,
314   0x7fcfffff,
315   0x3f800001,
316   0x3f800001,
317   0x3f800001,
318   0x7fd23456,
319   0x7fc00001,
320   0x00123456,
321   0x007fffff,
322   0x00000001,
323   0x80000000,
324   0x80800000,
325   0xbeffffff,
326   0xbf000000,
327   0xbf000001,
328   0xbf7fffff,
329   0xbf800000,
330   0xbf800001,
331   0xbfc00000,
332   0xc1200000,
333   0xffcfffff,
334   0xff800000,
335   0x3f800001,
336   0x3f800001,
337   0xffd23456,
338   0xffc00001,
339   0x80123456,
340   0x807fffff,
341   0x80000001,
342   0x00000000,
343   0x00800000,
344   0x3effffff,
345   0x3f000000,
346   0x3f000001,
347   0x3f7fffff,
348   0x3f800000,
349   0x3f800001,
350   0x3fc00000,
351   0x3fc00000,
352   0x7fcfffff,
353   0x3fc00000,
354   0x3fc00000,
355   0x3fc00000,
356   0x7fd23456,
357   0x7fc00001,
358   0x00123456,
359   0x007fffff,
360   0x00000001,
361   0x80000000,
362   0x80800000,
363   0xbeffffff,
364   0xbf000000,
365   0xbf000001,
366   0xbf7fffff,
367   0xbf800000,
368   0xbf800001,
369   0xbfc00000,
370   0xc1200000,
371   0xffcfffff,
372   0xff800000,
373   0x3fc00000,
374   0x3fc00000,
375   0xffd23456,
376   0xffc00001,
377   0x80123456,
378   0x807fffff,
379   0x80000001,
380   0x00000000,
381   0x00800000,
382   0x3effffff,
383   0x3f000000,
384   0x3f000001,
385   0x3f7fffff,
386   0x3f800000,
387   0x3f800001,
388   0x3fc00000,
389   0x41200000,
390   0x7fcfffff,
391   0x41200000,
392   0x41200000,
393   0x41200000,
394   0x7fd23456,
395   0x7fc00001,
396   0x00123456,
397   0x007fffff,
398   0x00000001,
399   0x80000000,
400   0x80800000,
401   0xbeffffff,
402   0xbf000000,
403   0xbf000001,
404   0xbf7fffff,
405   0xbf800000,
406   0xbf800001,
407   0xbfc00000,
408   0xc1200000,
409   0xffcfffff,
410   0xff800000,
411   0x41200000,
412   0x41200000,
413   0xffd23456,
414   0xffc00001,
415   0x80123456,
416   0x807fffff,
417   0x80000001,
418   0x7fcfffff,
419   0x7fcfffff,
420   0x7fcfffff,
421   0x7fcfffff,
422   0x7fcfffff,
423   0x7fcfffff,
424   0x7fcfffff,
425   0x7fcfffff,
426   0x7fcfffff,
427   0x7fcfffff,
428   0x7fcfffff,
429   0x7fcfffff,
430   0x7fcfffff,
431   0x7fcfffff,
432   0x7fcfffff,
433   0x7fcfffff,
434   0x7fcfffff,
435   0x7fcfffff,
436   0x7fcfffff,
437   0x7fcfffff,
438   0x7fcfffff,
439   0x7fcfffff,
440   0x7fcfffff,
441   0x7fcfffff,
442   0x7fcfffff,
443   0x7fcfffff,
444   0x7fcfffff,
445   0x7fcfffff,
446   0x7fcfffff,
447   0x7fcfffff,
448   0x7fcfffff,
449   0x7fcfffff,
450   0x7fcfffff,
451   0x7fcfffff,
452   0x7fcfffff,
453   0x7fcfffff,
454   0x7fcfffff,
455   0x7fcfffff,
456   0x00000000,
457   0x00800000,
458   0x3effffff,
459   0x3f000000,
460   0x3f000001,
461   0x3f7fffff,
462   0x3f800000,
463   0x3f800001,
464   0x3fc00000,
465   0x41200000,
466   0x7fcfffff,
467   0x7f800000,
468   0x7f800000,
469   0x7f800000,
470   0x7fd23456,
471   0x7fc00001,
472   0x00123456,
473   0x007fffff,
474   0x00000001,
475   0x80000000,
476   0x80800000,
477   0xbeffffff,
478   0xbf000000,
479   0xbf000001,
480   0xbf7fffff,
481   0xbf800000,
482   0xbf800001,
483   0xbfc00000,
484   0xc1200000,
485   0xffcfffff,
486   0xff800000,
487   0x7f800000,
488   0x7f800000,
489   0xffd23456,
490   0xffc00001,
491   0x80123456,
492   0x807fffff,
493   0x80000001,
494   0x00000000,
495   0x00800000,
496   0x3effffff,
497   0x3f000000,
498   0x3f000001,
499   0x3f7fffff,
500   0x3f800000,
501   0x3f800001,
502   0x3fc00000,
503   0x41200000,
504   0x7fcfffff,
505   0x7f800000,
506   0x7fd23456,
507   0x7fd23456,
508   0x7fd23456,
509   0x7fc00001,
510   0x00123456,
511   0x007fffff,
512   0x00000001,
513   0x80000000,
514   0x80800000,
515   0xbeffffff,
516   0xbf000000,
517   0xbf000001,
518   0xbf7fffff,
519   0xbf800000,
520   0xbf800001,
521   0xbfc00000,
522   0xc1200000,
523   0xffcfffff,
524   0xff800000,
525   0x7fd23456,
526   0x7fd23456,
527   0xffd23456,
528   0xffc00001,
529   0x80123456,
530   0x807fffff,
531   0x80000001,
532   0x00000000,
533   0x00800000,
534   0x3effffff,
535   0x3f000000,
536   0x3f000001,
537   0x3f7fffff,
538   0x3f800000,
539   0x3f800001,
540   0x3fc00000,
541   0x41200000,
542   0x7fcfffff,
543   0x7f800000,
544   0x7fc00000,
545   0x7fc00000,
546   0x7fd23456,
547   0x7fc00001,
548   0x00123456,
549   0x007fffff,
550   0x00000001,
551   0x80000000,
552   0x80800000,
553   0xbeffffff,
554   0xbf000000,
555   0xbf000001,
556   0xbf7fffff,
557   0xbf800000,
558   0xbf800001,
559   0xbfc00000,
560   0xc1200000,
561   0xffcfffff,
562   0xff800000,
563   0x7fc00000,
564   0x7fc00000,
565   0xffd23456,
566   0xffc00001,
567   0x80123456,
568   0x807fffff,
569   0x80000001,
570   0x7fd23456,
571   0x7fd23456,
572   0x7fd23456,
573   0x7fd23456,
574   0x7fd23456,
575   0x7fd23456,
576   0x7fd23456,
577   0x7fd23456,
578   0x7fd23456,
579   0x7fd23456,
580   0x7fd23456,
581   0x7fd23456,
582   0x7fd23456,
583   0x7fd23456,
584   0x7fd23456,
585   0x7fd23456,
586   0x7fd23456,
587   0x7fd23456,
588   0x7fd23456,
589   0x7fd23456,
590   0x7fd23456,
591   0x7fd23456,
592   0x7fd23456,
593   0x7fd23456,
594   0x7fd23456,
595   0x7fd23456,
596   0x7fd23456,
597   0x7fd23456,
598   0x7fd23456,
599   0x7fd23456,
600   0x7fd23456,
601   0x7fd23456,
602   0x7fd23456,
603   0x7fd23456,
604   0x7fd23456,
605   0x7fd23456,
606   0x7fd23456,
607   0x7fd23456,
608   0x7fc00001,
609   0x7fc00001,
610   0x7fc00001,
611   0x7fc00001,
612   0x7fc00001,
613   0x7fc00001,
614   0x7fc00001,
615   0x7fc00001,
616   0x7fc00001,
617   0x7fc00001,
618   0x7fc00001,
619   0x7fc00001,
620   0x7fc00001,
621   0x7fc00001,
622   0x7fc00001,
623   0x7fc00001,
624   0x7fc00001,
625   0x7fc00001,
626   0x7fc00001,
627   0x7fc00001,
628   0x7fc00001,
629   0x7fc00001,
630   0x7fc00001,
631   0x7fc00001,
632   0x7fc00001,
633   0x7fc00001,
634   0x7fc00001,
635   0x7fc00001,
636   0x7fc00001,
637   0x7fc00001,
638   0x7fc00001,
639   0x7fc00001,
640   0x7fc00001,
641   0x7fc00001,
642   0x7fc00001,
643   0x7fc00001,
644   0x7fc00001,
645   0x7fc00001,
646   0x00000000,
647   0x00123456,
648   0x00123456,
649   0x00123456,
650   0x00123456,
651   0x00123456,
652   0x00123456,
653   0x00123456,
654   0x00123456,
655   0x00123456,
656   0x7fcfffff,
657   0x00123456,
658   0x00123456,
659   0x00123456,
660   0x7fd23456,
661   0x7fc00001,
662   0x00123456,
663   0x00123456,
664   0x00000001,
665   0x80000000,
666   0x80800000,
667   0xbeffffff,
668   0xbf000000,
669   0xbf000001,
670   0xbf7fffff,
671   0xbf800000,
672   0xbf800001,
673   0xbfc00000,
674   0xc1200000,
675   0xffcfffff,
676   0xff800000,
677   0x00123456,
678   0x00123456,
679   0xffd23456,
680   0xffc00001,
681   0x80123456,
682   0x807fffff,
683   0x80000001,
684   0x00000000,
685   0x007fffff,
686   0x007fffff,
687   0x007fffff,
688   0x007fffff,
689   0x007fffff,
690   0x007fffff,
691   0x007fffff,
692   0x007fffff,
693   0x007fffff,
694   0x7fcfffff,
695   0x007fffff,
696   0x007fffff,
697   0x007fffff,
698   0x7fd23456,
699   0x7fc00001,
700   0x00123456,
701   0x007fffff,
702   0x00000001,
703   0x80000000,
704   0x80800000,
705   0xbeffffff,
706   0xbf000000,
707   0xbf000001,
708   0xbf7fffff,
709   0xbf800000,
710   0xbf800001,
711   0xbfc00000,
712   0xc1200000,
713   0xffcfffff,
714   0xff800000,
715   0x007fffff,
716   0x007fffff,
717   0xffd23456,
718   0xffc00001,
719   0x80123456,
720   0x807fffff,
721   0x80000001,
722   0x00000000,
723   0x00000001,
724   0x00000001,
725   0x00000001,
726   0x00000001,
727   0x00000001,
728   0x00000001,
729   0x00000001,
730   0x00000001,
731   0x00000001,
732   0x7fcfffff,
733   0x00000001,
734   0x00000001,
735   0x00000001,
736   0x7fd23456,
737   0x7fc00001,
738   0x00000001,
739   0x00000001,
740   0x00000001,
741   0x80000000,
742   0x80800000,
743   0xbeffffff,
744   0xbf000000,
745   0xbf000001,
746   0xbf7fffff,
747   0xbf800000,
748   0xbf800001,
749   0xbfc00000,
750   0xc1200000,
751   0xffcfffff,
752   0xff800000,
753   0x00000001,
754   0x00000001,
755   0xffd23456,
756   0xffc00001,
757   0x80123456,
758   0x807fffff,
759   0x80000001,
760   0x80000000,
761   0x80000000,
762   0x80000000,
763   0x80000000,
764   0x80000000,
765   0x80000000,
766   0x80000000,
767   0x80000000,
768   0x80000000,
769   0x80000000,
770   0x7fcfffff,
771   0x80000000,
772   0x80000000,
773   0x80000000,
774   0x7fd23456,
775   0x7fc00001,
776   0x80000000,
777   0x80000000,
778   0x80000000,
779   0x80000000,
780   0x80800000,
781   0xbeffffff,
782   0xbf000000,
783   0xbf000001,
784   0xbf7fffff,
785   0xbf800000,
786   0xbf800001,
787   0xbfc00000,
788   0xc1200000,
789   0xffcfffff,
790   0xff800000,
791   0x80000000,
792   0x80000000,
793   0xffd23456,
794   0xffc00001,
795   0x80123456,
796   0x807fffff,
797   0x80000001,
798   0x80800000,
799   0x80800000,
800   0x80800000,
801   0x80800000,
802   0x80800000,
803   0x80800000,
804   0x80800000,
805   0x80800000,
806   0x80800000,
807   0x80800000,
808   0x7fcfffff,
809   0x80800000,
810   0x80800000,
811   0x80800000,
812   0x7fd23456,
813   0x7fc00001,
814   0x80800000,
815   0x80800000,
816   0x80800000,
817   0x80800000,
818   0x80800000,
819   0xbeffffff,
820   0xbf000000,
821   0xbf000001,
822   0xbf7fffff,
823   0xbf800000,
824   0xbf800001,
825   0xbfc00000,
826   0xc1200000,
827   0xffcfffff,
828   0xff800000,
829   0x80800000,
830   0x80800000,
831   0xffd23456,
832   0xffc00001,
833   0x80800000,
834   0x80800000,
835   0x80800000,
836   0xbeffffff,
837   0xbeffffff,
838   0xbeffffff,
839   0xbeffffff,
840   0xbeffffff,
841   0xbeffffff,
842   0xbeffffff,
843   0xbeffffff,
844   0xbeffffff,
845   0xbeffffff,
846   0x7fcfffff,
847   0xbeffffff,
848   0xbeffffff,
849   0xbeffffff,
850   0x7fd23456,
851   0x7fc00001,
852   0xbeffffff,
853   0xbeffffff,
854   0xbeffffff,
855   0xbeffffff,
856   0xbeffffff,
857   0xbeffffff,
858   0xbf000000,
859   0xbf000001,
860   0xbf7fffff,
861   0xbf800000,
862   0xbf800001,
863   0xbfc00000,
864   0xc1200000,
865   0xffcfffff,
866   0xff800000,
867   0xbeffffff,
868   0xbeffffff,
869   0xffd23456,
870   0xffc00001,
871   0xbeffffff,
872   0xbeffffff,
873   0xbeffffff,
874   0xbf000000,
875   0xbf000000,
876   0xbf000000,
877   0xbf000000,
878   0xbf000000,
879   0xbf000000,
880   0xbf000000,
881   0xbf000000,
882   0xbf000000,
883   0xbf000000,
884   0x7fcfffff,
885   0xbf000000,
886   0xbf000000,
887   0xbf000000,
888   0x7fd23456,
889   0x7fc00001,
890   0xbf000000,
891   0xbf000000,
892   0xbf000000,
893   0xbf000000,
894   0xbf000000,
895   0xbf000000,
896   0xbf000000,
897   0xbf000001,
898   0xbf7fffff,
899   0xbf800000,
900   0xbf800001,
901   0xbfc00000,
902   0xc1200000,
903   0xffcfffff,
904   0xff800000,
905   0xbf000000,
906   0xbf000000,
907   0xffd23456,
908   0xffc00001,
909   0xbf000000,
910   0xbf000000,
911   0xbf000000,
912   0xbf000001,
913   0xbf000001,
914   0xbf000001,
915   0xbf000001,
916   0xbf000001,
917   0xbf000001,
918   0xbf000001,
919   0xbf000001,
920   0xbf000001,
921   0xbf000001,
922   0x7fcfffff,
923   0xbf000001,
924   0xbf000001,
925   0xbf000001,
926   0x7fd23456,
927   0x7fc00001,
928   0xbf000001,
929   0xbf000001,
930   0xbf000001,
931   0xbf000001,
932   0xbf000001,
933   0xbf000001,
934   0xbf000001,
935   0xbf000001,
936   0xbf7fffff,
937   0xbf800000,
938   0xbf800001,
939   0xbfc00000,
940   0xc1200000,
941   0xffcfffff,
942   0xff800000,
943   0xbf000001,
944   0xbf000001,
945   0xffd23456,
946   0xffc00001,
947   0xbf000001,
948   0xbf000001,
949   0xbf000001,
950   0xbf7fffff,
951   0xbf7fffff,
952   0xbf7fffff,
953   0xbf7fffff,
954   0xbf7fffff,
955   0xbf7fffff,
956   0xbf7fffff,
957   0xbf7fffff,
958   0xbf7fffff,
959   0xbf7fffff,
960   0x7fcfffff,
961   0xbf7fffff,
962   0xbf7fffff,
963   0xbf7fffff,
964   0x7fd23456,
965   0x7fc00001,
966   0xbf7fffff,
967   0xbf7fffff,
968   0xbf7fffff,
969   0xbf7fffff,
970   0xbf7fffff,
971   0xbf7fffff,
972   0xbf7fffff,
973   0xbf7fffff,
974   0xbf7fffff,
975   0xbf800000,
976   0xbf800001,
977   0xbfc00000,
978   0xc1200000,
979   0xffcfffff,
980   0xff800000,
981   0xbf7fffff,
982   0xbf7fffff,
983   0xffd23456,
984   0xffc00001,
985   0xbf7fffff,
986   0xbf7fffff,
987   0xbf7fffff,
988   0xbf800000,
989   0xbf800000,
990   0xbf800000,
991   0xbf800000,
992   0xbf800000,
993   0xbf800000,
994   0xbf800000,
995   0xbf800000,
996   0xbf800000,
997   0xbf800000,
998   0x7fcfffff,
999   0xbf800000,
1000   0xbf800000,
1001   0xbf800000,
1002   0x7fd23456,
1003   0x7fc00001,
1004   0xbf800000,
1005   0xbf800000,
1006   0xbf800000,
1007   0xbf800000,
1008   0xbf800000,
1009   0xbf800000,
1010   0xbf800000,
1011   0xbf800000,
1012   0xbf800000,
1013   0xbf800000,
1014   0xbf800001,
1015   0xbfc00000,
1016   0xc1200000,
1017   0xffcfffff,
1018   0xff800000,
1019   0xbf800000,
1020   0xbf800000,
1021   0xffd23456,
1022   0xffc00001,
1023   0xbf800000,
1024   0xbf800000,
1025   0xbf800000,
1026   0xbf800001,
1027   0xbf800001,
1028   0xbf800001,
1029   0xbf800001,
1030   0xbf800001,
1031   0xbf800001,
1032   0xbf800001,
1033   0xbf800001,
1034   0xbf800001,
1035   0xbf800001,
1036   0x7fcfffff,
1037   0xbf800001,
1038   0xbf800001,
1039   0xbf800001,
1040   0x7fd23456,
1041   0x7fc00001,
1042   0xbf800001,
1043   0xbf800001,
1044   0xbf800001,
1045   0xbf800001,
1046   0xbf800001,
1047   0xbf800001,
1048   0xbf800001,
1049   0xbf800001,
1050   0xbf800001,
1051   0xbf800001,
1052   0xbf800001,
1053   0xbfc00000,
1054   0xc1200000,
1055   0xffcfffff,
1056   0xff800000,
1057   0xbf800001,
1058   0xbf800001,
1059   0xffd23456,
1060   0xffc00001,
1061   0xbf800001,
1062   0xbf800001,
1063   0xbf800001,
1064   0xbfc00000,
1065   0xbfc00000,
1066   0xbfc00000,
1067   0xbfc00000,
1068   0xbfc00000,
1069   0xbfc00000,
1070   0xbfc00000,
1071   0xbfc00000,
1072   0xbfc00000,
1073   0xbfc00000,
1074   0x7fcfffff,
1075   0xbfc00000,
1076   0xbfc00000,
1077   0xbfc00000,
1078   0x7fd23456,
1079   0x7fc00001,
1080   0xbfc00000,
1081   0xbfc00000,
1082   0xbfc00000,
1083   0xbfc00000,
1084   0xbfc00000,
1085   0xbfc00000,
1086   0xbfc00000,
1087   0xbfc00000,
1088   0xbfc00000,
1089   0xbfc00000,
1090   0xbfc00000,
1091   0xbfc00000,
1092   0xc1200000,
1093   0xffcfffff,
1094   0xff800000,
1095   0xbfc00000,
1096   0xbfc00000,
1097   0xffd23456,
1098   0xffc00001,
1099   0xbfc00000,
1100   0xbfc00000,
1101   0xbfc00000,
1102   0xc1200000,
1103   0xc1200000,
1104   0xc1200000,
1105   0xc1200000,
1106   0xc1200000,
1107   0xc1200000,
1108   0xc1200000,
1109   0xc1200000,
1110   0xc1200000,
1111   0xc1200000,
1112   0x7fcfffff,
1113   0xc1200000,
1114   0xc1200000,
1115   0xc1200000,
1116   0x7fd23456,
1117   0x7fc00001,
1118   0xc1200000,
1119   0xc1200000,
1120   0xc1200000,
1121   0xc1200000,
1122   0xc1200000,
1123   0xc1200000,
1124   0xc1200000,
1125   0xc1200000,
1126   0xc1200000,
1127   0xc1200000,
1128   0xc1200000,
1129   0xc1200000,
1130   0xc1200000,
1131   0xffcfffff,
1132   0xff800000,
1133   0xc1200000,
1134   0xc1200000,
1135   0xffd23456,
1136   0xffc00001,
1137   0xc1200000,
1138   0xc1200000,
1139   0xc1200000,
1140   0xffcfffff,
1141   0xffcfffff,
1142   0xffcfffff,
1143   0xffcfffff,
1144   0xffcfffff,
1145   0xffcfffff,
1146   0xffcfffff,
1147   0xffcfffff,
1148   0xffcfffff,
1149   0xffcfffff,
1150   0xffcfffff,
1151   0xffcfffff,
1152   0xffcfffff,
1153   0xffcfffff,
1154   0xffcfffff,
1155   0xffcfffff,
1156   0xffcfffff,
1157   0xffcfffff,
1158   0xffcfffff,
1159   0xffcfffff,
1160   0xffcfffff,
1161   0xffcfffff,
1162   0xffcfffff,
1163   0xffcfffff,
1164   0xffcfffff,
1165   0xffcfffff,
1166   0xffcfffff,
1167   0xffcfffff,
1168   0xffcfffff,
1169   0xffcfffff,
1170   0xffcfffff,
1171   0xffcfffff,
1172   0xffcfffff,
1173   0xffcfffff,
1174   0xffcfffff,
1175   0xffcfffff,
1176   0xffcfffff,
1177   0xffcfffff,
1178   0xff800000,
1179   0xff800000,
1180   0xff800000,
1181   0xff800000,
1182   0xff800000,
1183   0xff800000,
1184   0xff800000,
1185   0xff800000,
1186   0xff800000,
1187   0xff800000,
1188   0x7fcfffff,
1189   0xff800000,
1190   0xff800000,
1191   0xff800000,
1192   0x7fd23456,
1193   0x7fc00001,
1194   0xff800000,
1195   0xff800000,
1196   0xff800000,
1197   0xff800000,
1198   0xff800000,
1199   0xff800000,
1200   0xff800000,
1201   0xff800000,
1202   0xff800000,
1203   0xff800000,
1204   0xff800000,
1205   0xff800000,
1206   0xff800000,
1207   0xffcfffff,
1208   0xff800000,
1209   0xff800000,
1210   0xff800000,
1211   0xffd23456,
1212   0xffc00001,
1213   0xff800000,
1214   0xff800000,
1215   0xff800000,
1216   0x00000000,
1217   0x00800000,
1218   0x3effffff,
1219   0x3f000000,
1220   0x3f000001,
1221   0x3f7fffff,
1222   0x3f800000,
1223   0x3f800001,
1224   0x3fc00000,
1225   0x41200000,
1226   0x7fcfffff,
1227   0x7f800000,
1228   0xffd23456,
1229   0xffd23456,
1230   0x7fd23456,
1231   0x7fc00001,
1232   0x00123456,
1233   0x007fffff,
1234   0x00000001,
1235   0x80000000,
1236   0x80800000,
1237   0xbeffffff,
1238   0xbf000000,
1239   0xbf000001,
1240   0xbf7fffff,
1241   0xbf800000,
1242   0xbf800001,
1243   0xbfc00000,
1244   0xc1200000,
1245   0xffcfffff,
1246   0xff800000,
1247   0xffd23456,
1248   0xffd23456,
1249   0xffd23456,
1250   0xffc00001,
1251   0x80123456,
1252   0x807fffff,
1253   0x80000001,
1254   0x00000000,
1255   0x00800000,
1256   0x3effffff,
1257   0x3f000000,
1258   0x3f000001,
1259   0x3f7fffff,
1260   0x3f800000,
1261   0x3f800001,
1262   0x3fc00000,
1263   0x41200000,
1264   0x7fcfffff,
1265   0x7f800000,
1266   0xffc00000,
1267   0xffc00000,
1268   0x7fd23456,
1269   0x7fc00001,
1270   0x00123456,
1271   0x007fffff,
1272   0x00000001,
1273   0x80000000,
1274   0x80800000,
1275   0xbeffffff,
1276   0xbf000000,
1277   0xbf000001,
1278   0xbf7fffff,
1279   0xbf800000,
1280   0xbf800001,
1281   0xbfc00000,
1282   0xc1200000,
1283   0xffcfffff,
1284   0xff800000,
1285   0xffc00000,
1286   0xffc00000,
1287   0xffd23456,
1288   0xffc00001,
1289   0x80123456,
1290   0x807fffff,
1291   0x80000001,
1292   0xffd23456,
1293   0xffd23456,
1294   0xffd23456,
1295   0xffd23456,
1296   0xffd23456,
1297   0xffd23456,
1298   0xffd23456,
1299   0xffd23456,
1300   0xffd23456,
1301   0xffd23456,
1302   0xffd23456,
1303   0xffd23456,
1304   0xffd23456,
1305   0xffd23456,
1306   0xffd23456,
1307   0xffd23456,
1308   0xffd23456,
1309   0xffd23456,
1310   0xffd23456,
1311   0xffd23456,
1312   0xffd23456,
1313   0xffd23456,
1314   0xffd23456,
1315   0xffd23456,
1316   0xffd23456,
1317   0xffd23456,
1318   0xffd23456,
1319   0xffd23456,
1320   0xffd23456,
1321   0xffd23456,
1322   0xffd23456,
1323   0xffd23456,
1324   0xffd23456,
1325   0xffd23456,
1326   0xffd23456,
1327   0xffd23456,
1328   0xffd23456,
1329   0xffd23456,
1330   0xffc00001,
1331   0xffc00001,
1332   0xffc00001,
1333   0xffc00001,
1334   0xffc00001,
1335   0xffc00001,
1336   0xffc00001,
1337   0xffc00001,
1338   0xffc00001,
1339   0xffc00001,
1340   0xffc00001,
1341   0xffc00001,
1342   0xffc00001,
1343   0xffc00001,
1344   0xffc00001,
1345   0xffc00001,
1346   0xffc00001,
1347   0xffc00001,
1348   0xffc00001,
1349   0xffc00001,
1350   0xffc00001,
1351   0xffc00001,
1352   0xffc00001,
1353   0xffc00001,
1354   0xffc00001,
1355   0xffc00001,
1356   0xffc00001,
1357   0xffc00001,
1358   0xffc00001,
1359   0xffc00001,
1360   0xffc00001,
1361   0xffc00001,
1362   0xffc00001,
1363   0xffc00001,
1364   0xffc00001,
1365   0xffc00001,
1366   0xffc00001,
1367   0xffc00001,
1368   0x80123456,
1369   0x80123456,
1370   0x80123456,
1371   0x80123456,
1372   0x80123456,
1373   0x80123456,
1374   0x80123456,
1375   0x80123456,
1376   0x80123456,
1377   0x80123456,
1378   0x7fcfffff,
1379   0x80123456,
1380   0x80123456,
1381   0x80123456,
1382   0x7fd23456,
1383   0x7fc00001,
1384   0x80123456,
1385   0x80123456,
1386   0x80123456,
1387   0x80123456,
1388   0x80800000,
1389   0xbeffffff,
1390   0xbf000000,
1391   0xbf000001,
1392   0xbf7fffff,
1393   0xbf800000,
1394   0xbf800001,
1395   0xbfc00000,
1396   0xc1200000,
1397   0xffcfffff,
1398   0xff800000,
1399   0x80123456,
1400   0x80123456,
1401   0xffd23456,
1402   0xffc00001,
1403   0x80123456,
1404   0x807fffff,
1405   0x80123456,
1406   0x807fffff,
1407   0x807fffff,
1408   0x807fffff,
1409   0x807fffff,
1410   0x807fffff,
1411   0x807fffff,
1412   0x807fffff,
1413   0x807fffff,
1414   0x807fffff,
1415   0x807fffff,
1416   0x7fcfffff,
1417   0x807fffff,
1418   0x807fffff,
1419   0x807fffff,
1420   0x7fd23456,
1421   0x7fc00001,
1422   0x807fffff,
1423   0x807fffff,
1424   0x807fffff,
1425   0x807fffff,
1426   0x80800000,
1427   0xbeffffff,
1428   0xbf000000,
1429   0xbf000001,
1430   0xbf7fffff,
1431   0xbf800000,
1432   0xbf800001,
1433   0xbfc00000,
1434   0xc1200000,
1435   0xffcfffff,
1436   0xff800000,
1437   0x807fffff,
1438   0x807fffff,
1439   0xffd23456,
1440   0xffc00001,
1441   0x807fffff,
1442   0x807fffff,
1443   0x807fffff,
1444   0x80000001,
1445   0x80000001,
1446   0x80000001,
1447   0x80000001,
1448   0x80000001,
1449   0x80000001,
1450   0x80000001,
1451   0x80000001,
1452   0x80000001,
1453   0x80000001,
1454   0x7fcfffff,
1455   0x80000001,
1456   0x80000001,
1457   0x80000001,
1458   0x7fd23456,
1459   0x7fc00001,
1460   0x80000001,
1461   0x80000001,
1462   0x80000001,
1463   0x80000001,
1464   0x80800000,
1465   0xbeffffff,
1466   0xbf000000,
1467   0xbf000001,
1468   0xbf7fffff,
1469   0xbf800000,
1470   0xbf800001,
1471   0xbfc00000,
1472   0xc1200000,
1473   0xffcfffff,
1474   0xff800000,
1475   0x80000001,
1476   0x80000001,
1477   0xffd23456,
1478   0xffc00001,
1479   0x80123456,
1480   0x807fffff,
1481   0x80000001,
1482 };
1483 const unsigned kExpectedCount_fminnm_s = 1444;
1484 
1485 #endif  // VIXL_SIM_FMINNM_S_TRACE_AARCH64_H_
1486