• 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_FDIV_S_TRACE_AARCH64_H_
35 #define VIXL_SIM_FDIV_S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_fdiv_s[] = {
38   0x7fc00000,
39   0x00000000,
40   0x00000000,
41   0x00000000,
42   0x00000000,
43   0x00000000,
44   0x00000000,
45   0x00000000,
46   0x00000000,
47   0x00000000,
48   0x7fcfffff,
49   0x00000000,
50   0x7fd23456,
51   0x7fc00000,
52   0x7fd23456,
53   0x7fc00001,
54   0x00000000,
55   0x00000000,
56   0x00000000,
57   0x7fc00000,
58   0x80000000,
59   0x80000000,
60   0x80000000,
61   0x80000000,
62   0x80000000,
63   0x80000000,
64   0x80000000,
65   0x80000000,
66   0x80000000,
67   0xffcfffff,
68   0x80000000,
69   0xffd23456,
70   0xffc00000,
71   0xffd23456,
72   0xffc00001,
73   0x80000000,
74   0x80000000,
75   0x80000000,
76   0x7f800000,
77   0x3f800000,
78   0x01000001,
79   0x01000000,
80   0x00fffffe,
81   0x00800001,
82   0x00800000,
83   0x007fffff,
84   0x00555555,
85   0x000ccccd,
86   0x7fcfffff,
87   0x00000000,
88   0x7fd23456,
89   0x7fc00000,
90   0x7fd23456,
91   0x7fc00001,
92   0x40e10006,
93   0x3f800001,
94   0x4b000000,
95   0xff800000,
96   0xbf800000,
97   0x81000001,
98   0x81000000,
99   0x80fffffe,
100   0x80800001,
101   0x80800000,
102   0x807fffff,
103   0x80555555,
104   0x800ccccd,
105   0xffcfffff,
106   0x80000000,
107   0xffd23456,
108   0xffc00000,
109   0xffd23456,
110   0xffc00001,
111   0xc0e10006,
112   0xbf800001,
113   0xcb000000,
114   0x7f800000,
115   0x7dffffff,
116   0x3f800000,
117   0x3f7fffff,
118   0x3f7ffffd,
119   0x3f000000,
120   0x3effffff,
121   0x3efffffd,
122   0x3eaaaaaa,
123   0x3d4ccccc,
124   0x7fcfffff,
125   0x00000000,
126   0x7fd23456,
127   0x7fc00000,
128   0x7fd23456,
129   0x7fc00001,
130   0x7f610005,
131   0x7e000001,
132   0x7f800000,
133   0xff800000,
134   0xfdffffff,
135   0xbf800000,
136   0xbf7fffff,
137   0xbf7ffffd,
138   0xbf000000,
139   0xbeffffff,
140   0xbefffffd,
141   0xbeaaaaaa,
142   0xbd4ccccc,
143   0xffcfffff,
144   0x80000000,
145   0xffd23456,
146   0xffc00000,
147   0xffd23456,
148   0xffc00001,
149   0xff610005,
150   0xfe000001,
151   0xff800000,
152   0x7f800000,
153   0x7e000000,
154   0x3f800001,
155   0x3f800000,
156   0x3f7ffffe,
157   0x3f000001,
158   0x3f000000,
159   0x3efffffe,
160   0x3eaaaaab,
161   0x3d4ccccd,
162   0x7fcfffff,
163   0x00000000,
164   0x7fd23456,
165   0x7fc00000,
166   0x7fd23456,
167   0x7fc00001,
168   0x7f610006,
169   0x7e000001,
170   0x7f800000,
171   0xff800000,
172   0xfe000000,
173   0xbf800001,
174   0xbf800000,
175   0xbf7ffffe,
176   0xbf000001,
177   0xbf000000,
178   0xbefffffe,
179   0xbeaaaaab,
180   0xbd4ccccd,
181   0xffcfffff,
182   0x80000000,
183   0xffd23456,
184   0xffc00000,
185   0xffd23456,
186   0xffc00001,
187   0xff610006,
188   0xfe000001,
189   0xff800000,
190   0x7f800000,
191   0x7e000001,
192   0x3f800002,
193   0x3f800001,
194   0x3f800000,
195   0x3f000002,
196   0x3f000001,
197   0x3f000000,
198   0x3eaaaaac,
199   0x3d4cccce,
200   0x7fcfffff,
201   0x00000000,
202   0x7fd23456,
203   0x7fc00000,
204   0x7fd23456,
205   0x7fc00001,
206   0x7f610008,
207   0x7e000002,
208   0x7f800000,
209   0xff800000,
210   0xfe000001,
211   0xbf800002,
212   0xbf800001,
213   0xbf800000,
214   0xbf000002,
215   0xbf000001,
216   0xbf000000,
217   0xbeaaaaac,
218   0xbd4cccce,
219   0xffcfffff,
220   0x80000000,
221   0xffd23456,
222   0xffc00000,
223   0xffd23456,
224   0xffc00001,
225   0xff610008,
226   0xfe000002,
227   0xff800000,
228   0x7f800000,
229   0x7e7fffff,
230   0x40000000,
231   0x3fffffff,
232   0x3ffffffd,
233   0x3f800000,
234   0x3f7fffff,
235   0x3f7ffffd,
236   0x3f2aaaaa,
237   0x3dcccccc,
238   0x7fcfffff,
239   0x00000000,
240   0x7fd23456,
241   0x7fc00000,
242   0x7fd23456,
243   0x7fc00001,
244   0x7f800000,
245   0x7e800001,
246   0x7f800000,
247   0xff800000,
248   0xfe7fffff,
249   0xc0000000,
250   0xbfffffff,
251   0xbffffffd,
252   0xbf800000,
253   0xbf7fffff,
254   0xbf7ffffd,
255   0xbf2aaaaa,
256   0xbdcccccc,
257   0xffcfffff,
258   0x80000000,
259   0xffd23456,
260   0xffc00000,
261   0xffd23456,
262   0xffc00001,
263   0xff800000,
264   0xfe800001,
265   0xff800000,
266   0x7f800000,
267   0x7e800000,
268   0x40000001,
269   0x40000000,
270   0x3ffffffe,
271   0x3f800001,
272   0x3f800000,
273   0x3f7ffffe,
274   0x3f2aaaab,
275   0x3dcccccd,
276   0x7fcfffff,
277   0x00000000,
278   0x7fd23456,
279   0x7fc00000,
280   0x7fd23456,
281   0x7fc00001,
282   0x7f800000,
283   0x7e800001,
284   0x7f800000,
285   0xff800000,
286   0xfe800000,
287   0xc0000001,
288   0xc0000000,
289   0xbffffffe,
290   0xbf800001,
291   0xbf800000,
292   0xbf7ffffe,
293   0xbf2aaaab,
294   0xbdcccccd,
295   0xffcfffff,
296   0x80000000,
297   0xffd23456,
298   0xffc00000,
299   0xffd23456,
300   0xffc00001,
301   0xff800000,
302   0xfe800001,
303   0xff800000,
304   0x7f800000,
305   0x7e800001,
306   0x40000002,
307   0x40000001,
308   0x40000000,
309   0x3f800002,
310   0x3f800001,
311   0x3f800000,
312   0x3f2aaaac,
313   0x3dccccce,
314   0x7fcfffff,
315   0x00000000,
316   0x7fd23456,
317   0x7fc00000,
318   0x7fd23456,
319   0x7fc00001,
320   0x7f800000,
321   0x7e800002,
322   0x7f800000,
323   0xff800000,
324   0xfe800001,
325   0xc0000002,
326   0xc0000001,
327   0xc0000000,
328   0xbf800002,
329   0xbf800001,
330   0xbf800000,
331   0xbf2aaaac,
332   0xbdccccce,
333   0xffcfffff,
334   0x80000000,
335   0xffd23456,
336   0xffc00000,
337   0xffd23456,
338   0xffc00001,
339   0xff800000,
340   0xfe800002,
341   0xff800000,
342   0x7f800000,
343   0x7ec00000,
344   0x40400001,
345   0x40400000,
346   0x403fffff,
347   0x3fc00001,
348   0x3fc00000,
349   0x3fbfffff,
350   0x3f800000,
351   0x3e19999a,
352   0x7fcfffff,
353   0x00000000,
354   0x7fd23456,
355   0x7fc00000,
356   0x7fd23456,
357   0x7fc00001,
358   0x7f800000,
359   0x7ec00002,
360   0x7f800000,
361   0xff800000,
362   0xfec00000,
363   0xc0400001,
364   0xc0400000,
365   0xc03fffff,
366   0xbfc00001,
367   0xbfc00000,
368   0xbfbfffff,
369   0xbf800000,
370   0xbe19999a,
371   0xffcfffff,
372   0x80000000,
373   0xffd23456,
374   0xffc00000,
375   0xffd23456,
376   0xffc00001,
377   0xff800000,
378   0xfec00002,
379   0xff800000,
380   0x7f800000,
381   0x7f800000,
382   0x41a00001,
383   0x41a00000,
384   0x419fffff,
385   0x41200001,
386   0x41200000,
387   0x411fffff,
388   0x40d55555,
389   0x3f800000,
390   0x7fcfffff,
391   0x00000000,
392   0x7fd23456,
393   0x7fc00000,
394   0x7fd23456,
395   0x7fc00001,
396   0x7f800000,
397   0x7f800000,
398   0x7f800000,
399   0xff800000,
400   0xff800000,
401   0xc1a00001,
402   0xc1a00000,
403   0xc19fffff,
404   0xc1200001,
405   0xc1200000,
406   0xc11fffff,
407   0xc0d55555,
408   0xbf800000,
409   0xffcfffff,
410   0x80000000,
411   0xffd23456,
412   0xffc00000,
413   0xffd23456,
414   0xffc00001,
415   0xff800000,
416   0xff800000,
417   0xff800000,
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   0x7f800000,
457   0x7f800000,
458   0x7f800000,
459   0x7f800000,
460   0x7f800000,
461   0x7f800000,
462   0x7f800000,
463   0x7f800000,
464   0x7f800000,
465   0x7f800000,
466   0x7fcfffff,
467   0x7fc00000,
468   0x7fd23456,
469   0x7fc00000,
470   0x7fd23456,
471   0x7fc00001,
472   0x7f800000,
473   0x7f800000,
474   0x7f800000,
475   0xff800000,
476   0xff800000,
477   0xff800000,
478   0xff800000,
479   0xff800000,
480   0xff800000,
481   0xff800000,
482   0xff800000,
483   0xff800000,
484   0xff800000,
485   0xffcfffff,
486   0x7fc00000,
487   0xffd23456,
488   0xffc00000,
489   0xffd23456,
490   0xffc00001,
491   0xff800000,
492   0xff800000,
493   0xff800000,
494   0x7fd23456,
495   0x7fd23456,
496   0x7fd23456,
497   0x7fd23456,
498   0x7fd23456,
499   0x7fd23456,
500   0x7fd23456,
501   0x7fd23456,
502   0x7fd23456,
503   0x7fd23456,
504   0x7fcfffff,
505   0x7fd23456,
506   0x7fd23456,
507   0x7fd23456,
508   0x7fd23456,
509   0x7fc00001,
510   0x7fd23456,
511   0x7fd23456,
512   0x7fd23456,
513   0x7fd23456,
514   0x7fd23456,
515   0x7fd23456,
516   0x7fd23456,
517   0x7fd23456,
518   0x7fd23456,
519   0x7fd23456,
520   0x7fd23456,
521   0x7fd23456,
522   0x7fd23456,
523   0xffcfffff,
524   0x7fd23456,
525   0x7fd23456,
526   0x7fd23456,
527   0xffd23456,
528   0xffc00001,
529   0x7fd23456,
530   0x7fd23456,
531   0x7fd23456,
532   0x7fc00000,
533   0x7fc00000,
534   0x7fc00000,
535   0x7fc00000,
536   0x7fc00000,
537   0x7fc00000,
538   0x7fc00000,
539   0x7fc00000,
540   0x7fc00000,
541   0x7fc00000,
542   0x7fcfffff,
543   0x7fc00000,
544   0x7fc00000,
545   0x7fc00000,
546   0x7fd23456,
547   0x7fc00001,
548   0x7fc00000,
549   0x7fc00000,
550   0x7fc00000,
551   0x7fc00000,
552   0x7fc00000,
553   0x7fc00000,
554   0x7fc00000,
555   0x7fc00000,
556   0x7fc00000,
557   0x7fc00000,
558   0x7fc00000,
559   0x7fc00000,
560   0x7fc00000,
561   0xffcfffff,
562   0x7fc00000,
563   0x7fc00000,
564   0x7fc00000,
565   0xffd23456,
566   0xffc00001,
567   0x7fc00000,
568   0x7fc00000,
569   0x7fc00000,
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   0x7f800000,
647   0x3e11a2b0,
648   0x002468ac,
649   0x002468ac,
650   0x002468ac,
651   0x00123456,
652   0x00123456,
653   0x00123456,
654   0x000c22e4,
655   0x0001d209,
656   0x7fcfffff,
657   0x00000000,
658   0x7fd23456,
659   0x7fc00000,
660   0x7fd23456,
661   0x7fc00001,
662   0x3f800000,
663   0x3e11a2b1,
664   0x4991a2b0,
665   0xff800000,
666   0xbe11a2b0,
667   0x802468ac,
668   0x802468ac,
669   0x802468ac,
670   0x80123456,
671   0x80123456,
672   0x80123456,
673   0x800c22e4,
674   0x8001d209,
675   0xffcfffff,
676   0x80000000,
677   0xffd23456,
678   0xffc00000,
679   0xffd23456,
680   0xffc00001,
681   0xbf800000,
682   0xbe11a2b1,
683   0xc991a2b0,
684   0x7f800000,
685   0x3f7ffffe,
686   0x00ffffff,
687   0x00fffffe,
688   0x00fffffc,
689   0x007fffff,
690   0x007fffff,
691   0x007ffffe,
692   0x00555555,
693   0x000ccccd,
694   0x7fcfffff,
695   0x00000000,
696   0x7fd23456,
697   0x7fc00000,
698   0x7fd23456,
699   0x7fc00001,
700   0x40e10004,
701   0x3f800000,
702   0x4afffffe,
703   0xff800000,
704   0xbf7ffffe,
705   0x80ffffff,
706   0x80fffffe,
707   0x80fffffc,
708   0x807fffff,
709   0x807fffff,
710   0x807ffffe,
711   0x80555555,
712   0x800ccccd,
713   0xffcfffff,
714   0x80000000,
715   0xffd23456,
716   0xffc00000,
717   0xffd23456,
718   0xffc00001,
719   0xc0e10004,
720   0xbf800000,
721   0xcafffffe,
722   0x7f800000,
723   0x34000000,
724   0x00000002,
725   0x00000002,
726   0x00000002,
727   0x00000001,
728   0x00000001,
729   0x00000001,
730   0x00000001,
731   0x00000000,
732   0x7fcfffff,
733   0x00000000,
734   0x7fd23456,
735   0x7fc00000,
736   0x7fd23456,
737   0x7fc00001,
738   0x35610006,
739   0x34000001,
740   0x3f800000,
741   0xff800000,
742   0xb4000000,
743   0x80000002,
744   0x80000002,
745   0x80000002,
746   0x80000001,
747   0x80000001,
748   0x80000001,
749   0x80000001,
750   0x80000000,
751   0xffcfffff,
752   0x80000000,
753   0xffd23456,
754   0xffc00000,
755   0xffd23456,
756   0xffc00001,
757   0xb5610006,
758   0xb4000001,
759   0xbf800000,
760   0x7fc00000,
761   0x80000000,
762   0x80000000,
763   0x80000000,
764   0x80000000,
765   0x80000000,
766   0x80000000,
767   0x80000000,
768   0x80000000,
769   0x80000000,
770   0x7fcfffff,
771   0x80000000,
772   0x7fd23456,
773   0x7fc00000,
774   0x7fd23456,
775   0x7fc00001,
776   0x80000000,
777   0x80000000,
778   0x80000000,
779   0x7fc00000,
780   0x00000000,
781   0x00000000,
782   0x00000000,
783   0x00000000,
784   0x00000000,
785   0x00000000,
786   0x00000000,
787   0x00000000,
788   0x00000000,
789   0xffcfffff,
790   0x00000000,
791   0xffd23456,
792   0xffc00000,
793   0xffd23456,
794   0xffc00001,
795   0x00000000,
796   0x00000000,
797   0x00000000,
798   0xff800000,
799   0xbf800000,
800   0x81000001,
801   0x81000000,
802   0x80fffffe,
803   0x80800001,
804   0x80800000,
805   0x807fffff,
806   0x80555555,
807   0x800ccccd,
808   0x7fcfffff,
809   0x80000000,
810   0x7fd23456,
811   0x7fc00000,
812   0x7fd23456,
813   0x7fc00001,
814   0xc0e10006,
815   0xbf800001,
816   0xcb000000,
817   0x7f800000,
818   0x3f800000,
819   0x01000001,
820   0x01000000,
821   0x00fffffe,
822   0x00800001,
823   0x00800000,
824   0x007fffff,
825   0x00555555,
826   0x000ccccd,
827   0xffcfffff,
828   0x00000000,
829   0xffd23456,
830   0xffc00000,
831   0xffd23456,
832   0xffc00001,
833   0x40e10006,
834   0x3f800001,
835   0x4b000000,
836   0xff800000,
837   0xfdffffff,
838   0xbf800000,
839   0xbf7fffff,
840   0xbf7ffffd,
841   0xbf000000,
842   0xbeffffff,
843   0xbefffffd,
844   0xbeaaaaaa,
845   0xbd4ccccc,
846   0x7fcfffff,
847   0x80000000,
848   0x7fd23456,
849   0x7fc00000,
850   0x7fd23456,
851   0x7fc00001,
852   0xff610005,
853   0xfe000001,
854   0xff800000,
855   0x7f800000,
856   0x7dffffff,
857   0x3f800000,
858   0x3f7fffff,
859   0x3f7ffffd,
860   0x3f000000,
861   0x3effffff,
862   0x3efffffd,
863   0x3eaaaaaa,
864   0x3d4ccccc,
865   0xffcfffff,
866   0x00000000,
867   0xffd23456,
868   0xffc00000,
869   0xffd23456,
870   0xffc00001,
871   0x7f610005,
872   0x7e000001,
873   0x7f800000,
874   0xff800000,
875   0xfe000000,
876   0xbf800001,
877   0xbf800000,
878   0xbf7ffffe,
879   0xbf000001,
880   0xbf000000,
881   0xbefffffe,
882   0xbeaaaaab,
883   0xbd4ccccd,
884   0x7fcfffff,
885   0x80000000,
886   0x7fd23456,
887   0x7fc00000,
888   0x7fd23456,
889   0x7fc00001,
890   0xff610006,
891   0xfe000001,
892   0xff800000,
893   0x7f800000,
894   0x7e000000,
895   0x3f800001,
896   0x3f800000,
897   0x3f7ffffe,
898   0x3f000001,
899   0x3f000000,
900   0x3efffffe,
901   0x3eaaaaab,
902   0x3d4ccccd,
903   0xffcfffff,
904   0x00000000,
905   0xffd23456,
906   0xffc00000,
907   0xffd23456,
908   0xffc00001,
909   0x7f610006,
910   0x7e000001,
911   0x7f800000,
912   0xff800000,
913   0xfe000001,
914   0xbf800002,
915   0xbf800001,
916   0xbf800000,
917   0xbf000002,
918   0xbf000001,
919   0xbf000000,
920   0xbeaaaaac,
921   0xbd4cccce,
922   0x7fcfffff,
923   0x80000000,
924   0x7fd23456,
925   0x7fc00000,
926   0x7fd23456,
927   0x7fc00001,
928   0xff610008,
929   0xfe000002,
930   0xff800000,
931   0x7f800000,
932   0x7e000001,
933   0x3f800002,
934   0x3f800001,
935   0x3f800000,
936   0x3f000002,
937   0x3f000001,
938   0x3f000000,
939   0x3eaaaaac,
940   0x3d4cccce,
941   0xffcfffff,
942   0x00000000,
943   0xffd23456,
944   0xffc00000,
945   0xffd23456,
946   0xffc00001,
947   0x7f610008,
948   0x7e000002,
949   0x7f800000,
950   0xff800000,
951   0xfe7fffff,
952   0xc0000000,
953   0xbfffffff,
954   0xbffffffd,
955   0xbf800000,
956   0xbf7fffff,
957   0xbf7ffffd,
958   0xbf2aaaaa,
959   0xbdcccccc,
960   0x7fcfffff,
961   0x80000000,
962   0x7fd23456,
963   0x7fc00000,
964   0x7fd23456,
965   0x7fc00001,
966   0xff800000,
967   0xfe800001,
968   0xff800000,
969   0x7f800000,
970   0x7e7fffff,
971   0x40000000,
972   0x3fffffff,
973   0x3ffffffd,
974   0x3f800000,
975   0x3f7fffff,
976   0x3f7ffffd,
977   0x3f2aaaaa,
978   0x3dcccccc,
979   0xffcfffff,
980   0x00000000,
981   0xffd23456,
982   0xffc00000,
983   0xffd23456,
984   0xffc00001,
985   0x7f800000,
986   0x7e800001,
987   0x7f800000,
988   0xff800000,
989   0xfe800000,
990   0xc0000001,
991   0xc0000000,
992   0xbffffffe,
993   0xbf800001,
994   0xbf800000,
995   0xbf7ffffe,
996   0xbf2aaaab,
997   0xbdcccccd,
998   0x7fcfffff,
999   0x80000000,
1000   0x7fd23456,
1001   0x7fc00000,
1002   0x7fd23456,
1003   0x7fc00001,
1004   0xff800000,
1005   0xfe800001,
1006   0xff800000,
1007   0x7f800000,
1008   0x7e800000,
1009   0x40000001,
1010   0x40000000,
1011   0x3ffffffe,
1012   0x3f800001,
1013   0x3f800000,
1014   0x3f7ffffe,
1015   0x3f2aaaab,
1016   0x3dcccccd,
1017   0xffcfffff,
1018   0x00000000,
1019   0xffd23456,
1020   0xffc00000,
1021   0xffd23456,
1022   0xffc00001,
1023   0x7f800000,
1024   0x7e800001,
1025   0x7f800000,
1026   0xff800000,
1027   0xfe800001,
1028   0xc0000002,
1029   0xc0000001,
1030   0xc0000000,
1031   0xbf800002,
1032   0xbf800001,
1033   0xbf800000,
1034   0xbf2aaaac,
1035   0xbdccccce,
1036   0x7fcfffff,
1037   0x80000000,
1038   0x7fd23456,
1039   0x7fc00000,
1040   0x7fd23456,
1041   0x7fc00001,
1042   0xff800000,
1043   0xfe800002,
1044   0xff800000,
1045   0x7f800000,
1046   0x7e800001,
1047   0x40000002,
1048   0x40000001,
1049   0x40000000,
1050   0x3f800002,
1051   0x3f800001,
1052   0x3f800000,
1053   0x3f2aaaac,
1054   0x3dccccce,
1055   0xffcfffff,
1056   0x00000000,
1057   0xffd23456,
1058   0xffc00000,
1059   0xffd23456,
1060   0xffc00001,
1061   0x7f800000,
1062   0x7e800002,
1063   0x7f800000,
1064   0xff800000,
1065   0xfec00000,
1066   0xc0400001,
1067   0xc0400000,
1068   0xc03fffff,
1069   0xbfc00001,
1070   0xbfc00000,
1071   0xbfbfffff,
1072   0xbf800000,
1073   0xbe19999a,
1074   0x7fcfffff,
1075   0x80000000,
1076   0x7fd23456,
1077   0x7fc00000,
1078   0x7fd23456,
1079   0x7fc00001,
1080   0xff800000,
1081   0xfec00002,
1082   0xff800000,
1083   0x7f800000,
1084   0x7ec00000,
1085   0x40400001,
1086   0x40400000,
1087   0x403fffff,
1088   0x3fc00001,
1089   0x3fc00000,
1090   0x3fbfffff,
1091   0x3f800000,
1092   0x3e19999a,
1093   0xffcfffff,
1094   0x00000000,
1095   0xffd23456,
1096   0xffc00000,
1097   0xffd23456,
1098   0xffc00001,
1099   0x7f800000,
1100   0x7ec00002,
1101   0x7f800000,
1102   0xff800000,
1103   0xff800000,
1104   0xc1a00001,
1105   0xc1a00000,
1106   0xc19fffff,
1107   0xc1200001,
1108   0xc1200000,
1109   0xc11fffff,
1110   0xc0d55555,
1111   0xbf800000,
1112   0x7fcfffff,
1113   0x80000000,
1114   0x7fd23456,
1115   0x7fc00000,
1116   0x7fd23456,
1117   0x7fc00001,
1118   0xff800000,
1119   0xff800000,
1120   0xff800000,
1121   0x7f800000,
1122   0x7f800000,
1123   0x41a00001,
1124   0x41a00000,
1125   0x419fffff,
1126   0x41200001,
1127   0x41200000,
1128   0x411fffff,
1129   0x40d55555,
1130   0x3f800000,
1131   0xffcfffff,
1132   0x00000000,
1133   0xffd23456,
1134   0xffc00000,
1135   0xffd23456,
1136   0xffc00001,
1137   0x7f800000,
1138   0x7f800000,
1139   0x7f800000,
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   0x7fc00000,
1190   0x7fd23456,
1191   0x7fc00000,
1192   0x7fd23456,
1193   0x7fc00001,
1194   0xff800000,
1195   0xff800000,
1196   0xff800000,
1197   0x7f800000,
1198   0x7f800000,
1199   0x7f800000,
1200   0x7f800000,
1201   0x7f800000,
1202   0x7f800000,
1203   0x7f800000,
1204   0x7f800000,
1205   0x7f800000,
1206   0x7f800000,
1207   0xffcfffff,
1208   0x7fc00000,
1209   0xffd23456,
1210   0xffc00000,
1211   0xffd23456,
1212   0xffc00001,
1213   0x7f800000,
1214   0x7f800000,
1215   0x7f800000,
1216   0xffd23456,
1217   0xffd23456,
1218   0xffd23456,
1219   0xffd23456,
1220   0xffd23456,
1221   0xffd23456,
1222   0xffd23456,
1223   0xffd23456,
1224   0xffd23456,
1225   0xffd23456,
1226   0x7fcfffff,
1227   0xffd23456,
1228   0xffd23456,
1229   0xffd23456,
1230   0x7fd23456,
1231   0x7fc00001,
1232   0xffd23456,
1233   0xffd23456,
1234   0xffd23456,
1235   0xffd23456,
1236   0xffd23456,
1237   0xffd23456,
1238   0xffd23456,
1239   0xffd23456,
1240   0xffd23456,
1241   0xffd23456,
1242   0xffd23456,
1243   0xffd23456,
1244   0xffd23456,
1245   0xffcfffff,
1246   0xffd23456,
1247   0xffd23456,
1248   0xffd23456,
1249   0xffd23456,
1250   0xffc00001,
1251   0xffd23456,
1252   0xffd23456,
1253   0xffd23456,
1254   0xffc00000,
1255   0xffc00000,
1256   0xffc00000,
1257   0xffc00000,
1258   0xffc00000,
1259   0xffc00000,
1260   0xffc00000,
1261   0xffc00000,
1262   0xffc00000,
1263   0xffc00000,
1264   0x7fcfffff,
1265   0xffc00000,
1266   0xffc00000,
1267   0xffc00000,
1268   0x7fd23456,
1269   0x7fc00001,
1270   0xffc00000,
1271   0xffc00000,
1272   0xffc00000,
1273   0xffc00000,
1274   0xffc00000,
1275   0xffc00000,
1276   0xffc00000,
1277   0xffc00000,
1278   0xffc00000,
1279   0xffc00000,
1280   0xffc00000,
1281   0xffc00000,
1282   0xffc00000,
1283   0xffcfffff,
1284   0xffc00000,
1285   0xffc00000,
1286   0xffc00000,
1287   0xffd23456,
1288   0xffc00001,
1289   0xffc00000,
1290   0xffc00000,
1291   0xffc00000,
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   0xff800000,
1369   0xbe11a2b0,
1370   0x802468ac,
1371   0x802468ac,
1372   0x802468ac,
1373   0x80123456,
1374   0x80123456,
1375   0x80123456,
1376   0x800c22e4,
1377   0x8001d209,
1378   0x7fcfffff,
1379   0x80000000,
1380   0x7fd23456,
1381   0x7fc00000,
1382   0x7fd23456,
1383   0x7fc00001,
1384   0xbf800000,
1385   0xbe11a2b1,
1386   0xc991a2b0,
1387   0x7f800000,
1388   0x3e11a2b0,
1389   0x002468ac,
1390   0x002468ac,
1391   0x002468ac,
1392   0x00123456,
1393   0x00123456,
1394   0x00123456,
1395   0x000c22e4,
1396   0x0001d209,
1397   0xffcfffff,
1398   0x00000000,
1399   0xffd23456,
1400   0xffc00000,
1401   0xffd23456,
1402   0xffc00001,
1403   0x3f800000,
1404   0x3e11a2b1,
1405   0x4991a2b0,
1406   0xff800000,
1407   0xbf7ffffe,
1408   0x80ffffff,
1409   0x80fffffe,
1410   0x80fffffc,
1411   0x807fffff,
1412   0x807fffff,
1413   0x807ffffe,
1414   0x80555555,
1415   0x800ccccd,
1416   0x7fcfffff,
1417   0x80000000,
1418   0x7fd23456,
1419   0x7fc00000,
1420   0x7fd23456,
1421   0x7fc00001,
1422   0xc0e10004,
1423   0xbf800000,
1424   0xcafffffe,
1425   0x7f800000,
1426   0x3f7ffffe,
1427   0x00ffffff,
1428   0x00fffffe,
1429   0x00fffffc,
1430   0x007fffff,
1431   0x007fffff,
1432   0x007ffffe,
1433   0x00555555,
1434   0x000ccccd,
1435   0xffcfffff,
1436   0x00000000,
1437   0xffd23456,
1438   0xffc00000,
1439   0xffd23456,
1440   0xffc00001,
1441   0x40e10004,
1442   0x3f800000,
1443   0x4afffffe,
1444   0xff800000,
1445   0xb4000000,
1446   0x80000002,
1447   0x80000002,
1448   0x80000002,
1449   0x80000001,
1450   0x80000001,
1451   0x80000001,
1452   0x80000001,
1453   0x80000000,
1454   0x7fcfffff,
1455   0x80000000,
1456   0x7fd23456,
1457   0x7fc00000,
1458   0x7fd23456,
1459   0x7fc00001,
1460   0xb5610006,
1461   0xb4000001,
1462   0xbf800000,
1463   0x7f800000,
1464   0x34000000,
1465   0x00000002,
1466   0x00000002,
1467   0x00000002,
1468   0x00000001,
1469   0x00000001,
1470   0x00000001,
1471   0x00000001,
1472   0x00000000,
1473   0xffcfffff,
1474   0x00000000,
1475   0xffd23456,
1476   0xffc00000,
1477   0xffd23456,
1478   0xffc00001,
1479   0x35610006,
1480   0x34000001,
1481   0x3f800000,
1482 };
1483 const unsigned kExpectedCount_fdiv_s = 1444;
1484 
1485 #endif  // VIXL_SIM_FDIV_S_TRACE_AARCH64_H_
1486