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