forked from sarahjelinek/capstone
-
Notifications
You must be signed in to change notification settings - Fork 0
/
x86_const.ml
1686 lines (1667 loc) · 46.4 KB
/
x86_const.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(* For Capstone Engine. AUTO-GENERATED FILE, DO NOT EDIT [x86_const.ml] *)
(* X86 registers *)
let _X86_REG_INVALID = 0;;
let _X86_REG_AH = 1;;
let _X86_REG_AL = 2;;
let _X86_REG_AX = 3;;
let _X86_REG_BH = 4;;
let _X86_REG_BL = 5;;
let _X86_REG_BP = 6;;
let _X86_REG_BPL = 7;;
let _X86_REG_BX = 8;;
let _X86_REG_CH = 9;;
let _X86_REG_CL = 10;;
let _X86_REG_CS = 11;;
let _X86_REG_CX = 12;;
let _X86_REG_DH = 13;;
let _X86_REG_DI = 14;;
let _X86_REG_DIL = 15;;
let _X86_REG_DL = 16;;
let _X86_REG_DS = 17;;
let _X86_REG_DX = 18;;
let _X86_REG_EAX = 19;;
let _X86_REG_EBP = 20;;
let _X86_REG_EBX = 21;;
let _X86_REG_ECX = 22;;
let _X86_REG_EDI = 23;;
let _X86_REG_EDX = 24;;
let _X86_REG_EFLAGS = 25;;
let _X86_REG_EIP = 26;;
let _X86_REG_EIZ = 27;;
let _X86_REG_ES = 28;;
let _X86_REG_ESI = 29;;
let _X86_REG_ESP = 30;;
let _X86_REG_FPSW = 31;;
let _X86_REG_FS = 32;;
let _X86_REG_GS = 33;;
let _X86_REG_IP = 34;;
let _X86_REG_RAX = 35;;
let _X86_REG_RBP = 36;;
let _X86_REG_RBX = 37;;
let _X86_REG_RCX = 38;;
let _X86_REG_RDI = 39;;
let _X86_REG_RDX = 40;;
let _X86_REG_RIP = 41;;
let _X86_REG_RIZ = 42;;
let _X86_REG_RSI = 43;;
let _X86_REG_RSP = 44;;
let _X86_REG_SI = 45;;
let _X86_REG_SIL = 46;;
let _X86_REG_SP = 47;;
let _X86_REG_SPL = 48;;
let _X86_REG_SS = 49;;
let _X86_REG_CR0 = 50;;
let _X86_REG_CR1 = 51;;
let _X86_REG_CR2 = 52;;
let _X86_REG_CR3 = 53;;
let _X86_REG_CR4 = 54;;
let _X86_REG_CR5 = 55;;
let _X86_REG_CR6 = 56;;
let _X86_REG_CR7 = 57;;
let _X86_REG_CR8 = 58;;
let _X86_REG_CR9 = 59;;
let _X86_REG_CR10 = 60;;
let _X86_REG_CR11 = 61;;
let _X86_REG_CR12 = 62;;
let _X86_REG_CR13 = 63;;
let _X86_REG_CR14 = 64;;
let _X86_REG_CR15 = 65;;
let _X86_REG_DR0 = 66;;
let _X86_REG_DR1 = 67;;
let _X86_REG_DR2 = 68;;
let _X86_REG_DR3 = 69;;
let _X86_REG_DR4 = 70;;
let _X86_REG_DR5 = 71;;
let _X86_REG_DR6 = 72;;
let _X86_REG_DR7 = 73;;
let _X86_REG_FP0 = 74;;
let _X86_REG_FP1 = 75;;
let _X86_REG_FP2 = 76;;
let _X86_REG_FP3 = 77;;
let _X86_REG_FP4 = 78;;
let _X86_REG_FP5 = 79;;
let _X86_REG_FP6 = 80;;
let _X86_REG_FP7 = 81;;
let _X86_REG_K0 = 82;;
let _X86_REG_K1 = 83;;
let _X86_REG_K2 = 84;;
let _X86_REG_K3 = 85;;
let _X86_REG_K4 = 86;;
let _X86_REG_K5 = 87;;
let _X86_REG_K6 = 88;;
let _X86_REG_K7 = 89;;
let _X86_REG_MM0 = 90;;
let _X86_REG_MM1 = 91;;
let _X86_REG_MM2 = 92;;
let _X86_REG_MM3 = 93;;
let _X86_REG_MM4 = 94;;
let _X86_REG_MM5 = 95;;
let _X86_REG_MM6 = 96;;
let _X86_REG_MM7 = 97;;
let _X86_REG_R8 = 98;;
let _X86_REG_R9 = 99;;
let _X86_REG_R10 = 100;;
let _X86_REG_R11 = 101;;
let _X86_REG_R12 = 102;;
let _X86_REG_R13 = 103;;
let _X86_REG_R14 = 104;;
let _X86_REG_R15 = 105;;
let _X86_REG_ST0 = 106;;
let _X86_REG_ST1 = 107;;
let _X86_REG_ST2 = 108;;
let _X86_REG_ST3 = 109;;
let _X86_REG_ST4 = 110;;
let _X86_REG_ST5 = 111;;
let _X86_REG_ST6 = 112;;
let _X86_REG_ST7 = 113;;
let _X86_REG_XMM0 = 114;;
let _X86_REG_XMM1 = 115;;
let _X86_REG_XMM2 = 116;;
let _X86_REG_XMM3 = 117;;
let _X86_REG_XMM4 = 118;;
let _X86_REG_XMM5 = 119;;
let _X86_REG_XMM6 = 120;;
let _X86_REG_XMM7 = 121;;
let _X86_REG_XMM8 = 122;;
let _X86_REG_XMM9 = 123;;
let _X86_REG_XMM10 = 124;;
let _X86_REG_XMM11 = 125;;
let _X86_REG_XMM12 = 126;;
let _X86_REG_XMM13 = 127;;
let _X86_REG_XMM14 = 128;;
let _X86_REG_XMM15 = 129;;
let _X86_REG_XMM16 = 130;;
let _X86_REG_XMM17 = 131;;
let _X86_REG_XMM18 = 132;;
let _X86_REG_XMM19 = 133;;
let _X86_REG_XMM20 = 134;;
let _X86_REG_XMM21 = 135;;
let _X86_REG_XMM22 = 136;;
let _X86_REG_XMM23 = 137;;
let _X86_REG_XMM24 = 138;;
let _X86_REG_XMM25 = 139;;
let _X86_REG_XMM26 = 140;;
let _X86_REG_XMM27 = 141;;
let _X86_REG_XMM28 = 142;;
let _X86_REG_XMM29 = 143;;
let _X86_REG_XMM30 = 144;;
let _X86_REG_XMM31 = 145;;
let _X86_REG_YMM0 = 146;;
let _X86_REG_YMM1 = 147;;
let _X86_REG_YMM2 = 148;;
let _X86_REG_YMM3 = 149;;
let _X86_REG_YMM4 = 150;;
let _X86_REG_YMM5 = 151;;
let _X86_REG_YMM6 = 152;;
let _X86_REG_YMM7 = 153;;
let _X86_REG_YMM8 = 154;;
let _X86_REG_YMM9 = 155;;
let _X86_REG_YMM10 = 156;;
let _X86_REG_YMM11 = 157;;
let _X86_REG_YMM12 = 158;;
let _X86_REG_YMM13 = 159;;
let _X86_REG_YMM14 = 160;;
let _X86_REG_YMM15 = 161;;
let _X86_REG_YMM16 = 162;;
let _X86_REG_YMM17 = 163;;
let _X86_REG_YMM18 = 164;;
let _X86_REG_YMM19 = 165;;
let _X86_REG_YMM20 = 166;;
let _X86_REG_YMM21 = 167;;
let _X86_REG_YMM22 = 168;;
let _X86_REG_YMM23 = 169;;
let _X86_REG_YMM24 = 170;;
let _X86_REG_YMM25 = 171;;
let _X86_REG_YMM26 = 172;;
let _X86_REG_YMM27 = 173;;
let _X86_REG_YMM28 = 174;;
let _X86_REG_YMM29 = 175;;
let _X86_REG_YMM30 = 176;;
let _X86_REG_YMM31 = 177;;
let _X86_REG_ZMM0 = 178;;
let _X86_REG_ZMM1 = 179;;
let _X86_REG_ZMM2 = 180;;
let _X86_REG_ZMM3 = 181;;
let _X86_REG_ZMM4 = 182;;
let _X86_REG_ZMM5 = 183;;
let _X86_REG_ZMM6 = 184;;
let _X86_REG_ZMM7 = 185;;
let _X86_REG_ZMM8 = 186;;
let _X86_REG_ZMM9 = 187;;
let _X86_REG_ZMM10 = 188;;
let _X86_REG_ZMM11 = 189;;
let _X86_REG_ZMM12 = 190;;
let _X86_REG_ZMM13 = 191;;
let _X86_REG_ZMM14 = 192;;
let _X86_REG_ZMM15 = 193;;
let _X86_REG_ZMM16 = 194;;
let _X86_REG_ZMM17 = 195;;
let _X86_REG_ZMM18 = 196;;
let _X86_REG_ZMM19 = 197;;
let _X86_REG_ZMM20 = 198;;
let _X86_REG_ZMM21 = 199;;
let _X86_REG_ZMM22 = 200;;
let _X86_REG_ZMM23 = 201;;
let _X86_REG_ZMM24 = 202;;
let _X86_REG_ZMM25 = 203;;
let _X86_REG_ZMM26 = 204;;
let _X86_REG_ZMM27 = 205;;
let _X86_REG_ZMM28 = 206;;
let _X86_REG_ZMM29 = 207;;
let _X86_REG_ZMM30 = 208;;
let _X86_REG_ZMM31 = 209;;
let _X86_REG_R8B = 210;;
let _X86_REG_R9B = 211;;
let _X86_REG_R10B = 212;;
let _X86_REG_R11B = 213;;
let _X86_REG_R12B = 214;;
let _X86_REG_R13B = 215;;
let _X86_REG_R14B = 216;;
let _X86_REG_R15B = 217;;
let _X86_REG_R8D = 218;;
let _X86_REG_R9D = 219;;
let _X86_REG_R10D = 220;;
let _X86_REG_R11D = 221;;
let _X86_REG_R12D = 222;;
let _X86_REG_R13D = 223;;
let _X86_REG_R14D = 224;;
let _X86_REG_R15D = 225;;
let _X86_REG_R8W = 226;;
let _X86_REG_R9W = 227;;
let _X86_REG_R10W = 228;;
let _X86_REG_R11W = 229;;
let _X86_REG_R12W = 230;;
let _X86_REG_R13W = 231;;
let _X86_REG_R14W = 232;;
let _X86_REG_R15W = 233;;
let _X86_REG_ENDING = 234;;
(* Operand type for instruction's operands *)
let _X86_OP_INVALID = 0;;
let _X86_OP_REG = 1;;
let _X86_OP_IMM = 2;;
let _X86_OP_MEM = 3;;
let _X86_OP_FP = 4;;
(* AVX broadcast type *)
let _X86_AVX_BCAST_INVALID = 0;;
let _X86_AVX_BCAST_2 = 1;;
let _X86_AVX_BCAST_4 = 2;;
let _X86_AVX_BCAST_8 = 3;;
let _X86_AVX_BCAST_16 = 4;;
(* SSE Code Condition type *)
let _X86_SSE_CC_INVALID = 0;;
let _X86_SSE_CC_EQ = 1;;
let _X86_SSE_CC_LT = 2;;
let _X86_SSE_CC_LE = 3;;
let _X86_SSE_CC_UNORD = 4;;
let _X86_SSE_CC_NEQ = 5;;
let _X86_SSE_CC_NLT = 6;;
let _X86_SSE_CC_NLE = 7;;
let _X86_SSE_CC_ORD = 8;;
let _X86_SSE_CC_EQ_UQ = 9;;
let _X86_SSE_CC_NGE = 10;;
let _X86_SSE_CC_NGT = 11;;
let _X86_SSE_CC_FALSE = 12;;
let _X86_SSE_CC_NEQ_OQ = 13;;
let _X86_SSE_CC_GE = 14;;
let _X86_SSE_CC_GT = 15;;
let _X86_SSE_CC_TRUE = 16;;
(* AVX Code Condition type *)
let _X86_AVX_CC_INVALID = 0;;
let _X86_AVX_CC_EQ = 1;;
let _X86_AVX_CC_LT = 2;;
let _X86_AVX_CC_LE = 3;;
let _X86_AVX_CC_UNORD = 4;;
let _X86_AVX_CC_NEQ = 5;;
let _X86_AVX_CC_NLT = 6;;
let _X86_AVX_CC_NLE = 7;;
let _X86_AVX_CC_ORD = 8;;
let _X86_AVX_CC_EQ_UQ = 9;;
let _X86_AVX_CC_NGE = 10;;
let _X86_AVX_CC_NGT = 11;;
let _X86_AVX_CC_FALSE = 12;;
let _X86_AVX_CC_NEQ_OQ = 13;;
let _X86_AVX_CC_GE = 14;;
let _X86_AVX_CC_GT = 15;;
let _X86_AVX_CC_TRUE = 16;;
let _X86_AVX_CC_EQ_OS = 17;;
let _X86_AVX_CC_LT_OQ = 18;;
let _X86_AVX_CC_LE_OQ = 19;;
let _X86_AVX_CC_UNORD_S = 20;;
let _X86_AVX_CC_NEQ_US = 21;;
let _X86_AVX_CC_NLT_UQ = 22;;
let _X86_AVX_CC_NLE_UQ = 23;;
let _X86_AVX_CC_ORD_S = 24;;
let _X86_AVX_CC_EQ_US = 25;;
let _X86_AVX_CC_NGE_UQ = 26;;
let _X86_AVX_CC_NGT_UQ = 27;;
let _X86_AVX_CC_FALSE_OS = 28;;
let _X86_AVX_CC_NEQ_OS = 29;;
let _X86_AVX_CC_GE_OQ = 30;;
let _X86_AVX_CC_GT_OQ = 31;;
let _X86_AVX_CC_TRUE_US = 32;;
(* AVX static rounding mode type *)
let _X86_AVX_RM_INVALID = 0;;
let _X86_AVX_RM_RN = 1;;
let _X86_AVX_RM_RD = 2;;
let _X86_AVX_RM_RU = 3;;
let _X86_AVX_RM_RZ = 4;;
(* Instruction prefixes - to be used in cs_x86.prefix[] *)
let _X86_PREFIX_LOCK = 0xf0;;
let _X86_PREFIX_REP = 0xf3;;
let _X86_PREFIX_REPNE = 0xf2;;
let _X86_PREFIX_CS = 0x2e;;
let _X86_PREFIX_SS = 0x36;;
let _X86_PREFIX_DS = 0x3e;;
let _X86_PREFIX_ES = 0x26;;
let _X86_PREFIX_FS = 0x64;;
let _X86_PREFIX_GS = 0x65;;
let _X86_PREFIX_OPSIZE = 0x66;;
let _X86_PREFIX_ADDRSIZE = 0x67;;
(* X86 instructions *)
let _X86_INS_INVALID = 0;;
let _X86_INS_AAA = 1;;
let _X86_INS_AAD = 2;;
let _X86_INS_AAM = 3;;
let _X86_INS_AAS = 4;;
let _X86_INS_FABS = 5;;
let _X86_INS_ADC = 6;;
let _X86_INS_ADCX = 7;;
let _X86_INS_ADD = 8;;
let _X86_INS_ADDPD = 9;;
let _X86_INS_ADDPS = 10;;
let _X86_INS_ADDSD = 11;;
let _X86_INS_ADDSS = 12;;
let _X86_INS_ADDSUBPD = 13;;
let _X86_INS_ADDSUBPS = 14;;
let _X86_INS_FADD = 15;;
let _X86_INS_FIADD = 16;;
let _X86_INS_FADDP = 17;;
let _X86_INS_ADOX = 18;;
let _X86_INS_AESDECLAST = 19;;
let _X86_INS_AESDEC = 20;;
let _X86_INS_AESENCLAST = 21;;
let _X86_INS_AESENC = 22;;
let _X86_INS_AESIMC = 23;;
let _X86_INS_AESKEYGENASSIST = 24;;
let _X86_INS_AND = 25;;
let _X86_INS_ANDN = 26;;
let _X86_INS_ANDNPD = 27;;
let _X86_INS_ANDNPS = 28;;
let _X86_INS_ANDPD = 29;;
let _X86_INS_ANDPS = 30;;
let _X86_INS_ARPL = 31;;
let _X86_INS_BEXTR = 32;;
let _X86_INS_BLCFILL = 33;;
let _X86_INS_BLCI = 34;;
let _X86_INS_BLCIC = 35;;
let _X86_INS_BLCMSK = 36;;
let _X86_INS_BLCS = 37;;
let _X86_INS_BLENDPD = 38;;
let _X86_INS_BLENDPS = 39;;
let _X86_INS_BLENDVPD = 40;;
let _X86_INS_BLENDVPS = 41;;
let _X86_INS_BLSFILL = 42;;
let _X86_INS_BLSI = 43;;
let _X86_INS_BLSIC = 44;;
let _X86_INS_BLSMSK = 45;;
let _X86_INS_BLSR = 46;;
let _X86_INS_BOUND = 47;;
let _X86_INS_BSF = 48;;
let _X86_INS_BSR = 49;;
let _X86_INS_BSWAP = 50;;
let _X86_INS_BT = 51;;
let _X86_INS_BTC = 52;;
let _X86_INS_BTR = 53;;
let _X86_INS_BTS = 54;;
let _X86_INS_BZHI = 55;;
let _X86_INS_CALL = 56;;
let _X86_INS_CBW = 57;;
let _X86_INS_CDQ = 58;;
let _X86_INS_CDQE = 59;;
let _X86_INS_FCHS = 60;;
let _X86_INS_CLAC = 61;;
let _X86_INS_CLC = 62;;
let _X86_INS_CLD = 63;;
let _X86_INS_CLFLUSH = 64;;
let _X86_INS_CLGI = 65;;
let _X86_INS_CLI = 66;;
let _X86_INS_CLTS = 67;;
let _X86_INS_CMC = 68;;
let _X86_INS_CMOVA = 69;;
let _X86_INS_CMOVAE = 70;;
let _X86_INS_CMOVB = 71;;
let _X86_INS_CMOVBE = 72;;
let _X86_INS_FCMOVBE = 73;;
let _X86_INS_FCMOVB = 74;;
let _X86_INS_CMOVE = 75;;
let _X86_INS_FCMOVE = 76;;
let _X86_INS_CMOVG = 77;;
let _X86_INS_CMOVGE = 78;;
let _X86_INS_CMOVL = 79;;
let _X86_INS_CMOVLE = 80;;
let _X86_INS_FCMOVNBE = 81;;
let _X86_INS_FCMOVNB = 82;;
let _X86_INS_CMOVNE = 83;;
let _X86_INS_FCMOVNE = 84;;
let _X86_INS_CMOVNO = 85;;
let _X86_INS_CMOVNP = 86;;
let _X86_INS_FCMOVNU = 87;;
let _X86_INS_CMOVNS = 88;;
let _X86_INS_CMOVO = 89;;
let _X86_INS_CMOVP = 90;;
let _X86_INS_FCMOVU = 91;;
let _X86_INS_CMOVS = 92;;
let _X86_INS_CMP = 93;;
let _X86_INS_CMPPD = 94;;
let _X86_INS_CMPPS = 95;;
let _X86_INS_CMPSB = 96;;
let _X86_INS_CMPSD = 97;;
let _X86_INS_CMPSQ = 98;;
let _X86_INS_CMPSS = 99;;
let _X86_INS_CMPSW = 100;;
let _X86_INS_CMPXCHG16B = 101;;
let _X86_INS_CMPXCHG = 102;;
let _X86_INS_CMPXCHG8B = 103;;
let _X86_INS_COMISD = 104;;
let _X86_INS_COMISS = 105;;
let _X86_INS_FCOMP = 106;;
let _X86_INS_FCOMPI = 107;;
let _X86_INS_FCOMI = 108;;
let _X86_INS_FCOM = 109;;
let _X86_INS_FCOS = 110;;
let _X86_INS_CPUID = 111;;
let _X86_INS_CQO = 112;;
let _X86_INS_CRC32 = 113;;
let _X86_INS_CVTDQ2PD = 114;;
let _X86_INS_CVTDQ2PS = 115;;
let _X86_INS_CVTPD2DQ = 116;;
let _X86_INS_CVTPD2PS = 117;;
let _X86_INS_CVTPS2DQ = 118;;
let _X86_INS_CVTPS2PD = 119;;
let _X86_INS_CVTSD2SI = 120;;
let _X86_INS_CVTSD2SS = 121;;
let _X86_INS_CVTSI2SD = 122;;
let _X86_INS_CVTSI2SS = 123;;
let _X86_INS_CVTSS2SD = 124;;
let _X86_INS_CVTSS2SI = 125;;
let _X86_INS_CVTTPD2DQ = 126;;
let _X86_INS_CVTTPS2DQ = 127;;
let _X86_INS_CVTTSD2SI = 128;;
let _X86_INS_CVTTSS2SI = 129;;
let _X86_INS_CWD = 130;;
let _X86_INS_CWDE = 131;;
let _X86_INS_DAA = 132;;
let _X86_INS_DAS = 133;;
let _X86_INS_DATA16 = 134;;
let _X86_INS_DEC = 135;;
let _X86_INS_DIV = 136;;
let _X86_INS_DIVPD = 137;;
let _X86_INS_DIVPS = 138;;
let _X86_INS_FDIVR = 139;;
let _X86_INS_FIDIVR = 140;;
let _X86_INS_FDIVRP = 141;;
let _X86_INS_DIVSD = 142;;
let _X86_INS_DIVSS = 143;;
let _X86_INS_FDIV = 144;;
let _X86_INS_FIDIV = 145;;
let _X86_INS_FDIVP = 146;;
let _X86_INS_DPPD = 147;;
let _X86_INS_DPPS = 148;;
let _X86_INS_RET = 149;;
let _X86_INS_ENCLS = 150;;
let _X86_INS_ENCLU = 151;;
let _X86_INS_ENTER = 152;;
let _X86_INS_EXTRACTPS = 153;;
let _X86_INS_EXTRQ = 154;;
let _X86_INS_F2XM1 = 155;;
let _X86_INS_LCALL = 156;;
let _X86_INS_LJMP = 157;;
let _X86_INS_FBLD = 158;;
let _X86_INS_FBSTP = 159;;
let _X86_INS_FCOMPP = 160;;
let _X86_INS_FDECSTP = 161;;
let _X86_INS_FEMMS = 162;;
let _X86_INS_FFREE = 163;;
let _X86_INS_FICOM = 164;;
let _X86_INS_FICOMP = 165;;
let _X86_INS_FINCSTP = 166;;
let _X86_INS_FLDCW = 167;;
let _X86_INS_FLDENV = 168;;
let _X86_INS_FLDL2E = 169;;
let _X86_INS_FLDL2T = 170;;
let _X86_INS_FLDLG2 = 171;;
let _X86_INS_FLDLN2 = 172;;
let _X86_INS_FLDPI = 173;;
let _X86_INS_FNCLEX = 174;;
let _X86_INS_FNINIT = 175;;
let _X86_INS_FNOP = 176;;
let _X86_INS_FNSTCW = 177;;
let _X86_INS_FNSTSW = 178;;
let _X86_INS_FPATAN = 179;;
let _X86_INS_FPREM = 180;;
let _X86_INS_FPREM1 = 181;;
let _X86_INS_FPTAN = 182;;
let _X86_INS_FRNDINT = 183;;
let _X86_INS_FRSTOR = 184;;
let _X86_INS_FNSAVE = 185;;
let _X86_INS_FSCALE = 186;;
let _X86_INS_FSETPM = 187;;
let _X86_INS_FSINCOS = 188;;
let _X86_INS_FNSTENV = 189;;
let _X86_INS_FXAM = 190;;
let _X86_INS_FXRSTOR = 191;;
let _X86_INS_FXRSTOR64 = 192;;
let _X86_INS_FXSAVE = 193;;
let _X86_INS_FXSAVE64 = 194;;
let _X86_INS_FXTRACT = 195;;
let _X86_INS_FYL2X = 196;;
let _X86_INS_FYL2XP1 = 197;;
let _X86_INS_MOVAPD = 198;;
let _X86_INS_MOVAPS = 199;;
let _X86_INS_ORPD = 200;;
let _X86_INS_ORPS = 201;;
let _X86_INS_VMOVAPD = 202;;
let _X86_INS_VMOVAPS = 203;;
let _X86_INS_XORPD = 204;;
let _X86_INS_XORPS = 205;;
let _X86_INS_GETSEC = 206;;
let _X86_INS_HADDPD = 207;;
let _X86_INS_HADDPS = 208;;
let _X86_INS_HLT = 209;;
let _X86_INS_HSUBPD = 210;;
let _X86_INS_HSUBPS = 211;;
let _X86_INS_IDIV = 212;;
let _X86_INS_FILD = 213;;
let _X86_INS_IMUL = 214;;
let _X86_INS_IN = 215;;
let _X86_INS_INC = 216;;
let _X86_INS_INSB = 217;;
let _X86_INS_INSERTPS = 218;;
let _X86_INS_INSERTQ = 219;;
let _X86_INS_INSD = 220;;
let _X86_INS_INSW = 221;;
let _X86_INS_INT = 222;;
let _X86_INS_INT1 = 223;;
let _X86_INS_INT3 = 224;;
let _X86_INS_INTO = 225;;
let _X86_INS_INVD = 226;;
let _X86_INS_INVEPT = 227;;
let _X86_INS_INVLPG = 228;;
let _X86_INS_INVLPGA = 229;;
let _X86_INS_INVPCID = 230;;
let _X86_INS_INVVPID = 231;;
let _X86_INS_IRET = 232;;
let _X86_INS_IRETD = 233;;
let _X86_INS_IRETQ = 234;;
let _X86_INS_FISTTP = 235;;
let _X86_INS_FIST = 236;;
let _X86_INS_FISTP = 237;;
let _X86_INS_UCOMISD = 238;;
let _X86_INS_UCOMISS = 239;;
let _X86_INS_VCMP = 240;;
let _X86_INS_VCOMISD = 241;;
let _X86_INS_VCOMISS = 242;;
let _X86_INS_VCVTSD2SS = 243;;
let _X86_INS_VCVTSI2SD = 244;;
let _X86_INS_VCVTSI2SS = 245;;
let _X86_INS_VCVTSS2SD = 246;;
let _X86_INS_VCVTTSD2SI = 247;;
let _X86_INS_VCVTTSD2USI = 248;;
let _X86_INS_VCVTTSS2SI = 249;;
let _X86_INS_VCVTTSS2USI = 250;;
let _X86_INS_VCVTUSI2SD = 251;;
let _X86_INS_VCVTUSI2SS = 252;;
let _X86_INS_VUCOMISD = 253;;
let _X86_INS_VUCOMISS = 254;;
let _X86_INS_JAE = 255;;
let _X86_INS_JA = 256;;
let _X86_INS_JBE = 257;;
let _X86_INS_JB = 258;;
let _X86_INS_JCXZ = 259;;
let _X86_INS_JECXZ = 260;;
let _X86_INS_JE = 261;;
let _X86_INS_JGE = 262;;
let _X86_INS_JG = 263;;
let _X86_INS_JLE = 264;;
let _X86_INS_JL = 265;;
let _X86_INS_JMP = 266;;
let _X86_INS_JNE = 267;;
let _X86_INS_JNO = 268;;
let _X86_INS_JNP = 269;;
let _X86_INS_JNS = 270;;
let _X86_INS_JO = 271;;
let _X86_INS_JP = 272;;
let _X86_INS_JRCXZ = 273;;
let _X86_INS_JS = 274;;
let _X86_INS_KANDB = 275;;
let _X86_INS_KANDD = 276;;
let _X86_INS_KANDNB = 277;;
let _X86_INS_KANDND = 278;;
let _X86_INS_KANDNQ = 279;;
let _X86_INS_KANDNW = 280;;
let _X86_INS_KANDQ = 281;;
let _X86_INS_KANDW = 282;;
let _X86_INS_KMOVB = 283;;
let _X86_INS_KMOVD = 284;;
let _X86_INS_KMOVQ = 285;;
let _X86_INS_KMOVW = 286;;
let _X86_INS_KNOTB = 287;;
let _X86_INS_KNOTD = 288;;
let _X86_INS_KNOTQ = 289;;
let _X86_INS_KNOTW = 290;;
let _X86_INS_KORB = 291;;
let _X86_INS_KORD = 292;;
let _X86_INS_KORQ = 293;;
let _X86_INS_KORTESTW = 294;;
let _X86_INS_KORW = 295;;
let _X86_INS_KSHIFTLW = 296;;
let _X86_INS_KSHIFTRW = 297;;
let _X86_INS_KUNPCKBW = 298;;
let _X86_INS_KXNORB = 299;;
let _X86_INS_KXNORD = 300;;
let _X86_INS_KXNORQ = 301;;
let _X86_INS_KXNORW = 302;;
let _X86_INS_KXORB = 303;;
let _X86_INS_KXORD = 304;;
let _X86_INS_KXORQ = 305;;
let _X86_INS_KXORW = 306;;
let _X86_INS_LAHF = 307;;
let _X86_INS_LAR = 308;;
let _X86_INS_LDDQU = 309;;
let _X86_INS_LDMXCSR = 310;;
let _X86_INS_LDS = 311;;
let _X86_INS_FLDZ = 312;;
let _X86_INS_FLD1 = 313;;
let _X86_INS_FLD = 314;;
let _X86_INS_LEA = 315;;
let _X86_INS_LEAVE = 316;;
let _X86_INS_LES = 317;;
let _X86_INS_LFENCE = 318;;
let _X86_INS_LFS = 319;;
let _X86_INS_LGDT = 320;;
let _X86_INS_LGS = 321;;
let _X86_INS_LIDT = 322;;
let _X86_INS_LLDT = 323;;
let _X86_INS_LMSW = 324;;
let _X86_INS_OR = 325;;
let _X86_INS_SUB = 326;;
let _X86_INS_XOR = 327;;
let _X86_INS_LODSB = 328;;
let _X86_INS_LODSD = 329;;
let _X86_INS_LODSQ = 330;;
let _X86_INS_LODSW = 331;;
let _X86_INS_LOOP = 332;;
let _X86_INS_LOOPE = 333;;
let _X86_INS_LOOPNE = 334;;
let _X86_INS_RETF = 335;;
let _X86_INS_RETFQ = 336;;
let _X86_INS_LSL = 337;;
let _X86_INS_LSS = 338;;
let _X86_INS_LTR = 339;;
let _X86_INS_XADD = 340;;
let _X86_INS_LZCNT = 341;;
let _X86_INS_MASKMOVDQU = 342;;
let _X86_INS_MAXPD = 343;;
let _X86_INS_MAXPS = 344;;
let _X86_INS_MAXSD = 345;;
let _X86_INS_MAXSS = 346;;
let _X86_INS_MFENCE = 347;;
let _X86_INS_MINPD = 348;;
let _X86_INS_MINPS = 349;;
let _X86_INS_MINSD = 350;;
let _X86_INS_MINSS = 351;;
let _X86_INS_CVTPD2PI = 352;;
let _X86_INS_CVTPI2PD = 353;;
let _X86_INS_CVTPI2PS = 354;;
let _X86_INS_CVTPS2PI = 355;;
let _X86_INS_CVTTPD2PI = 356;;
let _X86_INS_CVTTPS2PI = 357;;
let _X86_INS_EMMS = 358;;
let _X86_INS_MASKMOVQ = 359;;
let _X86_INS_MOVD = 360;;
let _X86_INS_MOVDQ2Q = 361;;
let _X86_INS_MOVNTQ = 362;;
let _X86_INS_MOVQ2DQ = 363;;
let _X86_INS_MOVQ = 364;;
let _X86_INS_PABSB = 365;;
let _X86_INS_PABSD = 366;;
let _X86_INS_PABSW = 367;;
let _X86_INS_PACKSSDW = 368;;
let _X86_INS_PACKSSWB = 369;;
let _X86_INS_PACKUSWB = 370;;
let _X86_INS_PADDB = 371;;
let _X86_INS_PADDD = 372;;
let _X86_INS_PADDQ = 373;;
let _X86_INS_PADDSB = 374;;
let _X86_INS_PADDSW = 375;;
let _X86_INS_PADDUSB = 376;;
let _X86_INS_PADDUSW = 377;;
let _X86_INS_PADDW = 378;;
let _X86_INS_PALIGNR = 379;;
let _X86_INS_PANDN = 380;;
let _X86_INS_PAND = 381;;
let _X86_INS_PAVGB = 382;;
let _X86_INS_PAVGW = 383;;
let _X86_INS_PCMPEQB = 384;;
let _X86_INS_PCMPEQD = 385;;
let _X86_INS_PCMPEQW = 386;;
let _X86_INS_PCMPGTB = 387;;
let _X86_INS_PCMPGTD = 388;;
let _X86_INS_PCMPGTW = 389;;
let _X86_INS_PEXTRW = 390;;
let _X86_INS_PHADDSW = 391;;
let _X86_INS_PHADDW = 392;;
let _X86_INS_PHADDD = 393;;
let _X86_INS_PHSUBD = 394;;
let _X86_INS_PHSUBSW = 395;;
let _X86_INS_PHSUBW = 396;;
let _X86_INS_PINSRW = 397;;
let _X86_INS_PMADDUBSW = 398;;
let _X86_INS_PMADDWD = 399;;
let _X86_INS_PMAXSW = 400;;
let _X86_INS_PMAXUB = 401;;
let _X86_INS_PMINSW = 402;;
let _X86_INS_PMINUB = 403;;
let _X86_INS_PMOVMSKB = 404;;
let _X86_INS_PMULHRSW = 405;;
let _X86_INS_PMULHUW = 406;;
let _X86_INS_PMULHW = 407;;
let _X86_INS_PMULLW = 408;;
let _X86_INS_PMULUDQ = 409;;
let _X86_INS_POR = 410;;
let _X86_INS_PSADBW = 411;;
let _X86_INS_PSHUFB = 412;;
let _X86_INS_PSHUFW = 413;;
let _X86_INS_PSIGNB = 414;;
let _X86_INS_PSIGND = 415;;
let _X86_INS_PSIGNW = 416;;
let _X86_INS_PSLLD = 417;;
let _X86_INS_PSLLQ = 418;;
let _X86_INS_PSLLW = 419;;
let _X86_INS_PSRAD = 420;;
let _X86_INS_PSRAW = 421;;
let _X86_INS_PSRLD = 422;;
let _X86_INS_PSRLQ = 423;;
let _X86_INS_PSRLW = 424;;
let _X86_INS_PSUBB = 425;;
let _X86_INS_PSUBD = 426;;
let _X86_INS_PSUBQ = 427;;
let _X86_INS_PSUBSB = 428;;
let _X86_INS_PSUBSW = 429;;
let _X86_INS_PSUBUSB = 430;;
let _X86_INS_PSUBUSW = 431;;
let _X86_INS_PSUBW = 432;;
let _X86_INS_PUNPCKHBW = 433;;
let _X86_INS_PUNPCKHDQ = 434;;
let _X86_INS_PUNPCKHWD = 435;;
let _X86_INS_PUNPCKLBW = 436;;
let _X86_INS_PUNPCKLDQ = 437;;
let _X86_INS_PUNPCKLWD = 438;;
let _X86_INS_PXOR = 439;;
let _X86_INS_MONITOR = 440;;
let _X86_INS_MONTMUL = 441;;
let _X86_INS_MOV = 442;;
let _X86_INS_MOVABS = 443;;
let _X86_INS_MOVBE = 444;;
let _X86_INS_MOVDDUP = 445;;
let _X86_INS_MOVDQA = 446;;
let _X86_INS_MOVDQU = 447;;
let _X86_INS_MOVHLPS = 448;;
let _X86_INS_MOVHPD = 449;;
let _X86_INS_MOVHPS = 450;;
let _X86_INS_MOVLHPS = 451;;
let _X86_INS_MOVLPD = 452;;
let _X86_INS_MOVLPS = 453;;
let _X86_INS_MOVMSKPD = 454;;
let _X86_INS_MOVMSKPS = 455;;
let _X86_INS_MOVNTDQA = 456;;
let _X86_INS_MOVNTDQ = 457;;
let _X86_INS_MOVNTI = 458;;
let _X86_INS_MOVNTPD = 459;;
let _X86_INS_MOVNTPS = 460;;
let _X86_INS_MOVNTSD = 461;;
let _X86_INS_MOVNTSS = 462;;
let _X86_INS_MOVSB = 463;;
let _X86_INS_MOVSD = 464;;
let _X86_INS_MOVSHDUP = 465;;
let _X86_INS_MOVSLDUP = 466;;
let _X86_INS_MOVSQ = 467;;
let _X86_INS_MOVSS = 468;;
let _X86_INS_MOVSW = 469;;
let _X86_INS_MOVSX = 470;;
let _X86_INS_MOVSXD = 471;;
let _X86_INS_MOVUPD = 472;;
let _X86_INS_MOVUPS = 473;;
let _X86_INS_MOVZX = 474;;
let _X86_INS_MPSADBW = 475;;
let _X86_INS_MUL = 476;;
let _X86_INS_MULPD = 477;;
let _X86_INS_MULPS = 478;;
let _X86_INS_MULSD = 479;;
let _X86_INS_MULSS = 480;;
let _X86_INS_MULX = 481;;
let _X86_INS_FMUL = 482;;
let _X86_INS_FIMUL = 483;;
let _X86_INS_FMULP = 484;;
let _X86_INS_MWAIT = 485;;
let _X86_INS_NEG = 486;;
let _X86_INS_NOP = 487;;
let _X86_INS_NOT = 488;;
let _X86_INS_OUT = 489;;
let _X86_INS_OUTSB = 490;;
let _X86_INS_OUTSD = 491;;
let _X86_INS_OUTSW = 492;;
let _X86_INS_PACKUSDW = 493;;
let _X86_INS_PAUSE = 494;;
let _X86_INS_PAVGUSB = 495;;
let _X86_INS_PBLENDVB = 496;;
let _X86_INS_PBLENDW = 497;;
let _X86_INS_PCLMULQDQ = 498;;
let _X86_INS_PCMPEQQ = 499;;
let _X86_INS_PCMPESTRI = 500;;
let _X86_INS_PCMPESTRM = 501;;
let _X86_INS_PCMPGTQ = 502;;
let _X86_INS_PCMPISTRI = 503;;
let _X86_INS_PCMPISTRM = 504;;
let _X86_INS_PDEP = 505;;
let _X86_INS_PEXT = 506;;
let _X86_INS_PEXTRB = 507;;
let _X86_INS_PEXTRD = 508;;
let _X86_INS_PEXTRQ = 509;;
let _X86_INS_PF2ID = 510;;
let _X86_INS_PF2IW = 511;;
let _X86_INS_PFACC = 512;;
let _X86_INS_PFADD = 513;;
let _X86_INS_PFCMPEQ = 514;;
let _X86_INS_PFCMPGE = 515;;
let _X86_INS_PFCMPGT = 516;;
let _X86_INS_PFMAX = 517;;
let _X86_INS_PFMIN = 518;;
let _X86_INS_PFMUL = 519;;
let _X86_INS_PFNACC = 520;;
let _X86_INS_PFPNACC = 521;;
let _X86_INS_PFRCPIT1 = 522;;
let _X86_INS_PFRCPIT2 = 523;;
let _X86_INS_PFRCP = 524;;
let _X86_INS_PFRSQIT1 = 525;;
let _X86_INS_PFRSQRT = 526;;
let _X86_INS_PFSUBR = 527;;
let _X86_INS_PFSUB = 528;;
let _X86_INS_PHMINPOSUW = 529;;
let _X86_INS_PI2FD = 530;;
let _X86_INS_PI2FW = 531;;
let _X86_INS_PINSRB = 532;;
let _X86_INS_PINSRD = 533;;
let _X86_INS_PINSRQ = 534;;
let _X86_INS_PMAXSB = 535;;
let _X86_INS_PMAXSD = 536;;
let _X86_INS_PMAXUD = 537;;
let _X86_INS_PMAXUW = 538;;
let _X86_INS_PMINSB = 539;;
let _X86_INS_PMINSD = 540;;
let _X86_INS_PMINUD = 541;;
let _X86_INS_PMINUW = 542;;
let _X86_INS_PMOVSXBD = 543;;
let _X86_INS_PMOVSXBQ = 544;;
let _X86_INS_PMOVSXBW = 545;;
let _X86_INS_PMOVSXDQ = 546;;
let _X86_INS_PMOVSXWD = 547;;
let _X86_INS_PMOVSXWQ = 548;;
let _X86_INS_PMOVZXBD = 549;;
let _X86_INS_PMOVZXBQ = 550;;
let _X86_INS_PMOVZXBW = 551;;
let _X86_INS_PMOVZXDQ = 552;;
let _X86_INS_PMOVZXWD = 553;;
let _X86_INS_PMOVZXWQ = 554;;
let _X86_INS_PMULDQ = 555;;
let _X86_INS_PMULHRW = 556;;
let _X86_INS_PMULLD = 557;;
let _X86_INS_POP = 558;;
let _X86_INS_POPAW = 559;;
let _X86_INS_POPAL = 560;;
let _X86_INS_POPCNT = 561;;
let _X86_INS_POPF = 562;;
let _X86_INS_POPFD = 563;;
let _X86_INS_POPFQ = 564;;
let _X86_INS_PREFETCH = 565;;
let _X86_INS_PREFETCHNTA = 566;;
let _X86_INS_PREFETCHT0 = 567;;
let _X86_INS_PREFETCHT1 = 568;;
let _X86_INS_PREFETCHT2 = 569;;
let _X86_INS_PREFETCHW = 570;;
let _X86_INS_PSHUFD = 571;;
let _X86_INS_PSHUFHW = 572;;
let _X86_INS_PSHUFLW = 573;;
let _X86_INS_PSLLDQ = 574;;
let _X86_INS_PSRLDQ = 575;;
let _X86_INS_PSWAPD = 576;;
let _X86_INS_PTEST = 577;;
let _X86_INS_PUNPCKHQDQ = 578;;
let _X86_INS_PUNPCKLQDQ = 579;;
let _X86_INS_PUSH = 580;;
let _X86_INS_PUSHAW = 581;;
let _X86_INS_PUSHAL = 582;;
let _X86_INS_PUSHF = 583;;
let _X86_INS_PUSHFD = 584;;
let _X86_INS_PUSHFQ = 585;;
let _X86_INS_RCL = 586;;
let _X86_INS_RCPPS = 587;;
let _X86_INS_RCPSS = 588;;
let _X86_INS_RCR = 589;;
let _X86_INS_RDFSBASE = 590;;
let _X86_INS_RDGSBASE = 591;;
let _X86_INS_RDMSR = 592;;
let _X86_INS_RDPMC = 593;;
let _X86_INS_RDRAND = 594;;
let _X86_INS_RDSEED = 595;;
let _X86_INS_RDTSC = 596;;
let _X86_INS_RDTSCP = 597;;
let _X86_INS_ROL = 598;;
let _X86_INS_ROR = 599;;
let _X86_INS_RORX = 600;;
let _X86_INS_ROUNDPD = 601;;
let _X86_INS_ROUNDPS = 602;;
let _X86_INS_ROUNDSD = 603;;
let _X86_INS_ROUNDSS = 604;;
let _X86_INS_RSM = 605;;
let _X86_INS_RSQRTPS = 606;;
let _X86_INS_RSQRTSS = 607;;
let _X86_INS_SAHF = 608;;
let _X86_INS_SAL = 609;;
let _X86_INS_SALC = 610;;
let _X86_INS_SAR = 611;;
let _X86_INS_SARX = 612;;
let _X86_INS_SBB = 613;;
let _X86_INS_SCASB = 614;;
let _X86_INS_SCASD = 615;;
let _X86_INS_SCASQ = 616;;
let _X86_INS_SCASW = 617;;
let _X86_INS_SETAE = 618;;
let _X86_INS_SETA = 619;;
let _X86_INS_SETBE = 620;;
let _X86_INS_SETB = 621;;
let _X86_INS_SETE = 622;;
let _X86_INS_SETGE = 623;;
let _X86_INS_SETG = 624;;
let _X86_INS_SETLE = 625;;
let _X86_INS_SETL = 626;;
let _X86_INS_SETNE = 627;;
let _X86_INS_SETNO = 628;;
let _X86_INS_SETNP = 629;;
let _X86_INS_SETNS = 630;;
let _X86_INS_SETO = 631;;
let _X86_INS_SETP = 632;;
let _X86_INS_SETS = 633;;
let _X86_INS_SFENCE = 634;;
let _X86_INS_SGDT = 635;;
let _X86_INS_SHA1MSG1 = 636;;
let _X86_INS_SHA1MSG2 = 637;;
let _X86_INS_SHA1NEXTE = 638;;
let _X86_INS_SHA1RNDS4 = 639;;
let _X86_INS_SHA256MSG1 = 640;;
let _X86_INS_SHA256MSG2 = 641;;
let _X86_INS_SHA256RNDS2 = 642;;
let _X86_INS_SHL = 643;;
let _X86_INS_SHLD = 644;;
let _X86_INS_SHLX = 645;;
let _X86_INS_SHR = 646;;
let _X86_INS_SHRD = 647;;
let _X86_INS_SHRX = 648;;
let _X86_INS_SHUFPD = 649;;
let _X86_INS_SHUFPS = 650;;
let _X86_INS_SIDT = 651;;
let _X86_INS_FSIN = 652;;
let _X86_INS_SKINIT = 653;;
let _X86_INS_SLDT = 654;;
let _X86_INS_SMSW = 655;;
let _X86_INS_SQRTPD = 656;;
let _X86_INS_SQRTPS = 657;;
let _X86_INS_SQRTSD = 658;;
let _X86_INS_SQRTSS = 659;;
let _X86_INS_FSQRT = 660;;
let _X86_INS_STAC = 661;;
let _X86_INS_STC = 662;;
let _X86_INS_STD = 663;;
let _X86_INS_STGI = 664;;