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_FMUL_H_TRACE_AARCH64_H_
35 #define VIXL_SIM_FMUL_H_TRACE_AARCH64_H_
36 
37 const uint16_t kExpected_fmul_h[] = {
38   0x0000,
39   0x0000,
40   0x0000,
41   0x0000,
42   0x0000,
43   0x0000,
44   0x0000,
45   0x0000,
46   0x0000,
47   0x0000,
48   0x0000,
49   0x7e00,
50   0x7f23,
51   0x7e00,
52   0x7f23,
53   0x7e01,
54   0x0000,
55   0x0000,
56   0x0000,
57   0x8000,
58   0x8000,
59   0x8000,
60   0x8000,
61   0x8000,
62   0x8000,
63   0x8000,
64   0x8000,
65   0x8000,
66   0x8000,
67   0x8000,
68   0x7e00,
69   0xff23,
70   0xfe00,
71   0xff23,
72   0xfe01,
73   0x8000,
74   0x8000,
75   0x8000,
76   0x0000,
77   0x0000,
78   0x0200,
79   0x0200,
80   0x0200,
81   0x0400,
82   0x0400,
83   0x0401,
84   0x0600,
85   0x1100,
86   0x43ff,
87   0x7c00,
88   0x7f23,
89   0x7e00,
90   0x7f23,
91   0x7e01,
92   0x0000,
93   0x0000,
94   0x0000,
95   0x8000,
96   0x8000,
97   0x8200,
98   0x8200,
99   0x8200,
100   0x8400,
101   0x8400,
102   0x8401,
103   0x8600,
104   0x9100,
105   0xc3ff,
106   0xfc00,
107   0xff23,
108   0xfe00,
109   0xff23,
110   0xfe01,
111   0x8000,
112   0x8000,
113   0x8000,
114   0x0000,
115   0x0200,
116   0x33fe,
117   0x33ff,
118   0x3400,
119   0x37fe,
120   0x37ff,
121   0x3800,
122   0x39ff,
123   0x44ff,
124   0x77fe,
125   0x7c00,
126   0x7f23,
127   0x7e00,
128   0x7f23,
129   0x7e01,
130   0x0009,
131   0x01ff,
132   0x0000,
133   0x8000,
134   0x8200,
135   0xb3fe,
136   0xb3ff,
137   0xb400,
138   0xb7fe,
139   0xb7ff,
140   0xb800,
141   0xb9ff,
142   0xc4ff,
143   0xf7fe,
144   0xfc00,
145   0xff23,
146   0xfe00,
147   0xff23,
148   0xfe01,
149   0x8009,
150   0x81ff,
151   0x8000,
152   0x0000,
153   0x0200,
154   0x33ff,
155   0x3400,
156   0x3401,
157   0x37ff,
158   0x3800,
159   0x3801,
160   0x3a00,
161   0x4500,
162   0x77ff,
163   0x7c00,
164   0x7f23,
165   0x7e00,
166   0x7f23,
167   0x7e01,
168   0x0009,
169   0x0200,
170   0x0000,
171   0x8000,
172   0x8200,
173   0xb3ff,
174   0xb400,
175   0xb401,
176   0xb7ff,
177   0xb800,
178   0xb801,
179   0xba00,
180   0xc500,
181   0xf7ff,
182   0xfc00,
183   0xff23,
184   0xfe00,
185   0xff23,
186   0xfe01,
187   0x8009,
188   0x8200,
189   0x8000,
190   0x0000,
191   0x0200,
192   0x3400,
193   0x3401,
194   0x3402,
195   0x3800,
196   0x3801,
197   0x3802,
198   0x3a02,
199   0x4501,
200   0x7800,
201   0x7c00,
202   0x7f23,
203   0x7e00,
204   0x7f23,
205   0x7e01,
206   0x0009,
207   0x0200,
208   0x0001,
209   0x8000,
210   0x8200,
211   0xb400,
212   0xb401,
213   0xb402,
214   0xb800,
215   0xb801,
216   0xb802,
217   0xba02,
218   0xc501,
219   0xf800,
220   0xfc00,
221   0xff23,
222   0xfe00,
223   0xff23,
224   0xfe01,
225   0x8009,
226   0x8200,
227   0x8001,
228   0x0000,
229   0x0400,
230   0x37fe,
231   0x37ff,
232   0x3800,
233   0x3bfe,
234   0x3bff,
235   0x3c00,
236   0x3dff,
237   0x48ff,
238   0x7bfe,
239   0x7c00,
240   0x7f23,
241   0x7e00,
242   0x7f23,
243   0x7e01,
244   0x0012,
245   0x03ff,
246   0x0001,
247   0x8000,
248   0x8400,
249   0xb7fe,
250   0xb7ff,
251   0xb800,
252   0xbbfe,
253   0xbbff,
254   0xbc00,
255   0xbdff,
256   0xc8ff,
257   0xfbfe,
258   0xfc00,
259   0xff23,
260   0xfe00,
261   0xff23,
262   0xfe01,
263   0x8012,
264   0x83ff,
265   0x8001,
266   0x0000,
267   0x0400,
268   0x37ff,
269   0x3800,
270   0x3801,
271   0x3bff,
272   0x3c00,
273   0x3c01,
274   0x3e00,
275   0x4900,
276   0x7bff,
277   0x7c00,
278   0x7f23,
279   0x7e00,
280   0x7f23,
281   0x7e01,
282   0x0012,
283   0x03ff,
284   0x0001,
285   0x8000,
286   0x8400,
287   0xb7ff,
288   0xb800,
289   0xb801,
290   0xbbff,
291   0xbc00,
292   0xbc01,
293   0xbe00,
294   0xc900,
295   0xfbff,
296   0xfc00,
297   0xff23,
298   0xfe00,
299   0xff23,
300   0xfe01,
301   0x8012,
302   0x83ff,
303   0x8001,
304   0x0000,
305   0x0401,
306   0x3800,
307   0x3801,
308   0x3802,
309   0x3c00,
310   0x3c01,
311   0x3c02,
312   0x3e02,
313   0x4901,
314   0x7c00,
315   0x7c00,
316   0x7f23,
317   0x7e00,
318   0x7f23,
319   0x7e01,
320   0x0012,
321   0x0400,
322   0x0001,
323   0x8000,
324   0x8401,
325   0xb800,
326   0xb801,
327   0xb802,
328   0xbc00,
329   0xbc01,
330   0xbc02,
331   0xbe02,
332   0xc901,
333   0xfc00,
334   0xfc00,
335   0xff23,
336   0xfe00,
337   0xff23,
338   0xfe01,
339   0x8012,
340   0x8400,
341   0x8001,
342   0x0000,
343   0x0600,
344   0x39ff,
345   0x3a00,
346   0x3a02,
347   0x3dff,
348   0x3e00,
349   0x3e02,
350   0x4080,
351   0x4b80,
352   0x7c00,
353   0x7c00,
354   0x7f23,
355   0x7e00,
356   0x7f23,
357   0x7e01,
358   0x001b,
359   0x05fe,
360   0x0002,
361   0x8000,
362   0x8600,
363   0xb9ff,
364   0xba00,
365   0xba02,
366   0xbdff,
367   0xbe00,
368   0xbe02,
369   0xc080,
370   0xcb80,
371   0xfc00,
372   0xfc00,
373   0xff23,
374   0xfe00,
375   0xff23,
376   0xfe01,
377   0x801b,
378   0x85fe,
379   0x8002,
380   0x0000,
381   0x1100,
382   0x44ff,
383   0x4500,
384   0x4501,
385   0x48ff,
386   0x4900,
387   0x4901,
388   0x4b80,
389   0x5640,
390   0x7c00,
391   0x7c00,
392   0x7f23,
393   0x7e00,
394   0x7f23,
395   0x7e01,
396   0x00b4,
397   0x10ff,
398   0x000a,
399   0x8000,
400   0x9100,
401   0xc4ff,
402   0xc500,
403   0xc501,
404   0xc8ff,
405   0xc900,
406   0xc901,
407   0xcb80,
408   0xd640,
409   0xfc00,
410   0xfc00,
411   0xff23,
412   0xfe00,
413   0xff23,
414   0xfe01,
415   0x80b4,
416   0x90ff,
417   0x800a,
418   0x0000,
419   0x43ff,
420   0x77fe,
421   0x77ff,
422   0x7800,
423   0x7bfe,
424   0x7bff,
425   0x7c00,
426   0x7c00,
427   0x7c00,
428   0x7c00,
429   0x7c00,
430   0x7f23,
431   0x7e00,
432   0x7f23,
433   0x7e01,
434   0x2c7f,
435   0x43fd,
436   0x1bff,
437   0x8000,
438   0xc3ff,
439   0xf7fe,
440   0xf7ff,
441   0xf800,
442   0xfbfe,
443   0xfbff,
444   0xfc00,
445   0xfc00,
446   0xfc00,
447   0xfc00,
448   0xfc00,
449   0xff23,
450   0xfe00,
451   0xff23,
452   0xfe01,
453   0xac7f,
454   0xc3fd,
455   0x9bff,
456   0x7e00,
457   0x7c00,
458   0x7c00,
459   0x7c00,
460   0x7c00,
461   0x7c00,
462   0x7c00,
463   0x7c00,
464   0x7c00,
465   0x7c00,
466   0x7c00,
467   0x7c00,
468   0x7f23,
469   0x7e00,
470   0x7f23,
471   0x7e01,
472   0x7c00,
473   0x7c00,
474   0x7c00,
475   0x7e00,
476   0xfc00,
477   0xfc00,
478   0xfc00,
479   0xfc00,
480   0xfc00,
481   0xfc00,
482   0xfc00,
483   0xfc00,
484   0xfc00,
485   0xfc00,
486   0xfc00,
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   0x0000,
647   0x0000,
648   0x0009,
649   0x0009,
650   0x0009,
651   0x0012,
652   0x0012,
653   0x0012,
654   0x001b,
655   0x00b4,
656   0x2c7f,
657   0x7c00,
658   0x7f23,
659   0x7e00,
660   0x7f23,
661   0x7e01,
662   0x0000,
663   0x0000,
664   0x0000,
665   0x8000,
666   0x8000,
667   0x8009,
668   0x8009,
669   0x8009,
670   0x8012,
671   0x8012,
672   0x8012,
673   0x801b,
674   0x80b4,
675   0xac7f,
676   0xfc00,
677   0xff23,
678   0xfe00,
679   0xff23,
680   0xfe01,
681   0x8000,
682   0x8000,
683   0x8000,
684   0x0000,
685   0x0000,
686   0x01ff,
687   0x0200,
688   0x0200,
689   0x03ff,
690   0x03ff,
691   0x0400,
692   0x05fe,
693   0x10ff,
694   0x43fd,
695   0x7c00,
696   0x7f23,
697   0x7e00,
698   0x7f23,
699   0x7e01,
700   0x0000,
701   0x0000,
702   0x0000,
703   0x8000,
704   0x8000,
705   0x81ff,
706   0x8200,
707   0x8200,
708   0x83ff,
709   0x83ff,
710   0x8400,
711   0x85fe,
712   0x90ff,
713   0xc3fd,
714   0xfc00,
715   0xff23,
716   0xfe00,
717   0xff23,
718   0xfe01,
719   0x8000,
720   0x8000,
721   0x8000,
722   0x0000,
723   0x0000,
724   0x0000,
725   0x0000,
726   0x0001,
727   0x0001,
728   0x0001,
729   0x0001,
730   0x0002,
731   0x000a,
732   0x1bff,
733   0x7c00,
734   0x7f23,
735   0x7e00,
736   0x7f23,
737   0x7e01,
738   0x0000,
739   0x0000,
740   0x0000,
741   0x8000,
742   0x8000,
743   0x8000,
744   0x8000,
745   0x8001,
746   0x8001,
747   0x8001,
748   0x8001,
749   0x8002,
750   0x800a,
751   0x9bff,
752   0xfc00,
753   0xff23,
754   0xfe00,
755   0xff23,
756   0xfe01,
757   0x8000,
758   0x8000,
759   0x8000,
760   0x8000,
761   0x8000,
762   0x8000,
763   0x8000,
764   0x8000,
765   0x8000,
766   0x8000,
767   0x8000,
768   0x8000,
769   0x8000,
770   0x8000,
771   0x7e00,
772   0x7f23,
773   0x7e00,
774   0x7f23,
775   0x7e01,
776   0x8000,
777   0x8000,
778   0x8000,
779   0x0000,
780   0x0000,
781   0x0000,
782   0x0000,
783   0x0000,
784   0x0000,
785   0x0000,
786   0x0000,
787   0x0000,
788   0x0000,
789   0x0000,
790   0x7e00,
791   0xff23,
792   0xfe00,
793   0xff23,
794   0xfe01,
795   0x0000,
796   0x0000,
797   0x0000,
798   0x8000,
799   0x8000,
800   0x8200,
801   0x8200,
802   0x8200,
803   0x8400,
804   0x8400,
805   0x8401,
806   0x8600,
807   0x9100,
808   0xc3ff,
809   0xfc00,
810   0x7f23,
811   0x7e00,
812   0x7f23,
813   0x7e01,
814   0x8000,
815   0x8000,
816   0x8000,
817   0x0000,
818   0x0000,
819   0x0200,
820   0x0200,
821   0x0200,
822   0x0400,
823   0x0400,
824   0x0401,
825   0x0600,
826   0x1100,
827   0x43ff,
828   0x7c00,
829   0xff23,
830   0xfe00,
831   0xff23,
832   0xfe01,
833   0x0000,
834   0x0000,
835   0x0000,
836   0x8000,
837   0x8200,
838   0xb3fe,
839   0xb3ff,
840   0xb400,
841   0xb7fe,
842   0xb7ff,
843   0xb800,
844   0xb9ff,
845   0xc4ff,
846   0xf7fe,
847   0xfc00,
848   0x7f23,
849   0x7e00,
850   0x7f23,
851   0x7e01,
852   0x8009,
853   0x81ff,
854   0x8000,
855   0x0000,
856   0x0200,
857   0x33fe,
858   0x33ff,
859   0x3400,
860   0x37fe,
861   0x37ff,
862   0x3800,
863   0x39ff,
864   0x44ff,
865   0x77fe,
866   0x7c00,
867   0xff23,
868   0xfe00,
869   0xff23,
870   0xfe01,
871   0x0009,
872   0x01ff,
873   0x0000,
874   0x8000,
875   0x8200,
876   0xb3ff,
877   0xb400,
878   0xb401,
879   0xb7ff,
880   0xb800,
881   0xb801,
882   0xba00,
883   0xc500,
884   0xf7ff,
885   0xfc00,
886   0x7f23,
887   0x7e00,
888   0x7f23,
889   0x7e01,
890   0x8009,
891   0x8200,
892   0x8000,
893   0x0000,
894   0x0200,
895   0x33ff,
896   0x3400,
897   0x3401,
898   0x37ff,
899   0x3800,
900   0x3801,
901   0x3a00,
902   0x4500,
903   0x77ff,
904   0x7c00,
905   0xff23,
906   0xfe00,
907   0xff23,
908   0xfe01,
909   0x0009,
910   0x0200,
911   0x0000,
912   0x8000,
913   0x8200,
914   0xb400,
915   0xb401,
916   0xb402,
917   0xb800,
918   0xb801,
919   0xb802,
920   0xba02,
921   0xc501,
922   0xf800,
923   0xfc00,
924   0x7f23,
925   0x7e00,
926   0x7f23,
927   0x7e01,
928   0x8009,
929   0x8200,
930   0x8001,
931   0x0000,
932   0x0200,
933   0x3400,
934   0x3401,
935   0x3402,
936   0x3800,
937   0x3801,
938   0x3802,
939   0x3a02,
940   0x4501,
941   0x7800,
942   0x7c00,
943   0xff23,
944   0xfe00,
945   0xff23,
946   0xfe01,
947   0x0009,
948   0x0200,
949   0x0001,
950   0x8000,
951   0x8400,
952   0xb7fe,
953   0xb7ff,
954   0xb800,
955   0xbbfe,
956   0xbbff,
957   0xbc00,
958   0xbdff,
959   0xc8ff,
960   0xfbfe,
961   0xfc00,
962   0x7f23,
963   0x7e00,
964   0x7f23,
965   0x7e01,
966   0x8012,
967   0x83ff,
968   0x8001,
969   0x0000,
970   0x0400,
971   0x37fe,
972   0x37ff,
973   0x3800,
974   0x3bfe,
975   0x3bff,
976   0x3c00,
977   0x3dff,
978   0x48ff,
979   0x7bfe,
980   0x7c00,
981   0xff23,
982   0xfe00,
983   0xff23,
984   0xfe01,
985   0x0012,
986   0x03ff,
987   0x0001,
988   0x8000,
989   0x8400,
990   0xb7ff,
991   0xb800,
992   0xb801,
993   0xbbff,
994   0xbc00,
995   0xbc01,
996   0xbe00,
997   0xc900,
998   0xfbff,
999   0xfc00,
1000   0x7f23,
1001   0x7e00,
1002   0x7f23,
1003   0x7e01,
1004   0x8012,
1005   0x83ff,
1006   0x8001,
1007   0x0000,
1008   0x0400,
1009   0x37ff,
1010   0x3800,
1011   0x3801,
1012   0x3bff,
1013   0x3c00,
1014   0x3c01,
1015   0x3e00,
1016   0x4900,
1017   0x7bff,
1018   0x7c00,
1019   0xff23,
1020   0xfe00,
1021   0xff23,
1022   0xfe01,
1023   0x0012,
1024   0x03ff,
1025   0x0001,
1026   0x8000,
1027   0x8401,
1028   0xb800,
1029   0xb801,
1030   0xb802,
1031   0xbc00,
1032   0xbc01,
1033   0xbc02,
1034   0xbe02,
1035   0xc901,
1036   0xfc00,
1037   0xfc00,
1038   0x7f23,
1039   0x7e00,
1040   0x7f23,
1041   0x7e01,
1042   0x8012,
1043   0x8400,
1044   0x8001,
1045   0x0000,
1046   0x0401,
1047   0x3800,
1048   0x3801,
1049   0x3802,
1050   0x3c00,
1051   0x3c01,
1052   0x3c02,
1053   0x3e02,
1054   0x4901,
1055   0x7c00,
1056   0x7c00,
1057   0xff23,
1058   0xfe00,
1059   0xff23,
1060   0xfe01,
1061   0x0012,
1062   0x0400,
1063   0x0001,
1064   0x8000,
1065   0x8600,
1066   0xb9ff,
1067   0xba00,
1068   0xba02,
1069   0xbdff,
1070   0xbe00,
1071   0xbe02,
1072   0xc080,
1073   0xcb80,
1074   0xfc00,
1075   0xfc00,
1076   0x7f23,
1077   0x7e00,
1078   0x7f23,
1079   0x7e01,
1080   0x801b,
1081   0x85fe,
1082   0x8002,
1083   0x0000,
1084   0x0600,
1085   0x39ff,
1086   0x3a00,
1087   0x3a02,
1088   0x3dff,
1089   0x3e00,
1090   0x3e02,
1091   0x4080,
1092   0x4b80,
1093   0x7c00,
1094   0x7c00,
1095   0xff23,
1096   0xfe00,
1097   0xff23,
1098   0xfe01,
1099   0x001b,
1100   0x05fe,
1101   0x0002,
1102   0x8000,
1103   0x9100,
1104   0xc4ff,
1105   0xc500,
1106   0xc501,
1107   0xc8ff,
1108   0xc900,
1109   0xc901,
1110   0xcb80,
1111   0xd640,
1112   0xfc00,
1113   0xfc00,
1114   0x7f23,
1115   0x7e00,
1116   0x7f23,
1117   0x7e01,
1118   0x80b4,
1119   0x90ff,
1120   0x800a,
1121   0x0000,
1122   0x1100,
1123   0x44ff,
1124   0x4500,
1125   0x4501,
1126   0x48ff,
1127   0x4900,
1128   0x4901,
1129   0x4b80,
1130   0x5640,
1131   0x7c00,
1132   0x7c00,
1133   0xff23,
1134   0xfe00,
1135   0xff23,
1136   0xfe01,
1137   0x00b4,
1138   0x10ff,
1139   0x000a,
1140   0x8000,
1141   0xc3ff,
1142   0xf7fe,
1143   0xf7ff,
1144   0xf800,
1145   0xfbfe,
1146   0xfbff,
1147   0xfc00,
1148   0xfc00,
1149   0xfc00,
1150   0xfc00,
1151   0xfc00,
1152   0x7f23,
1153   0x7e00,
1154   0x7f23,
1155   0x7e01,
1156   0xac7f,
1157   0xc3fd,
1158   0x9bff,
1159   0x0000,
1160   0x43ff,
1161   0x77fe,
1162   0x77ff,
1163   0x7800,
1164   0x7bfe,
1165   0x7bff,
1166   0x7c00,
1167   0x7c00,
1168   0x7c00,
1169   0x7c00,
1170   0x7c00,
1171   0xff23,
1172   0xfe00,
1173   0xff23,
1174   0xfe01,
1175   0x2c7f,
1176   0x43fd,
1177   0x1bff,
1178   0x7e00,
1179   0xfc00,
1180   0xfc00,
1181   0xfc00,
1182   0xfc00,
1183   0xfc00,
1184   0xfc00,
1185   0xfc00,
1186   0xfc00,
1187   0xfc00,
1188   0xfc00,
1189   0xfc00,
1190   0x7f23,
1191   0x7e00,
1192   0x7f23,
1193   0x7e01,
1194   0xfc00,
1195   0xfc00,
1196   0xfc00,
1197   0x7e00,
1198   0x7c00,
1199   0x7c00,
1200   0x7c00,
1201   0x7c00,
1202   0x7c00,
1203   0x7c00,
1204   0x7c00,
1205   0x7c00,
1206   0x7c00,
1207   0x7c00,
1208   0x7c00,
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   0x8000,
1369   0x8000,
1370   0x8009,
1371   0x8009,
1372   0x8009,
1373   0x8012,
1374   0x8012,
1375   0x8012,
1376   0x801b,
1377   0x80b4,
1378   0xac7f,
1379   0xfc00,
1380   0x7f23,
1381   0x7e00,
1382   0x7f23,
1383   0x7e01,
1384   0x8000,
1385   0x8000,
1386   0x8000,
1387   0x0000,
1388   0x0000,
1389   0x0009,
1390   0x0009,
1391   0x0009,
1392   0x0012,
1393   0x0012,
1394   0x0012,
1395   0x001b,
1396   0x00b4,
1397   0x2c7f,
1398   0x7c00,
1399   0xff23,
1400   0xfe00,
1401   0xff23,
1402   0xfe01,
1403   0x0000,
1404   0x0000,
1405   0x0000,
1406   0x8000,
1407   0x8000,
1408   0x81ff,
1409   0x8200,
1410   0x8200,
1411   0x83ff,
1412   0x83ff,
1413   0x8400,
1414   0x85fe,
1415   0x90ff,
1416   0xc3fd,
1417   0xfc00,
1418   0x7f23,
1419   0x7e00,
1420   0x7f23,
1421   0x7e01,
1422   0x8000,
1423   0x8000,
1424   0x8000,
1425   0x0000,
1426   0x0000,
1427   0x01ff,
1428   0x0200,
1429   0x0200,
1430   0x03ff,
1431   0x03ff,
1432   0x0400,
1433   0x05fe,
1434   0x10ff,
1435   0x43fd,
1436   0x7c00,
1437   0xff23,
1438   0xfe00,
1439   0xff23,
1440   0xfe01,
1441   0x0000,
1442   0x0000,
1443   0x0000,
1444   0x8000,
1445   0x8000,
1446   0x8000,
1447   0x8000,
1448   0x8001,
1449   0x8001,
1450   0x8001,
1451   0x8001,
1452   0x8002,
1453   0x800a,
1454   0x9bff,
1455   0xfc00,
1456   0x7f23,
1457   0x7e00,
1458   0x7f23,
1459   0x7e01,
1460   0x8000,
1461   0x8000,
1462   0x8000,
1463   0x0000,
1464   0x0000,
1465   0x0000,
1466   0x0000,
1467   0x0001,
1468   0x0001,
1469   0x0001,
1470   0x0001,
1471   0x0002,
1472   0x000a,
1473   0x1bff,
1474   0x7c00,
1475   0xff23,
1476   0xfe00,
1477   0xff23,
1478   0xfe01,
1479   0x0000,
1480   0x0000,
1481   0x0000,
1482 };
1483 const unsigned kExpectedCount_fmul_h = 1444;
1484 
1485 #endif  // VIXL_SIM_FMUL_H_TRACE_AARCH64_H_
1486