@@ -1001,69 +1001,69 @@ let u_ILBasicType st =
10011001let u_ILVolatility st = ( match u_ int stwith 0 -> Volatile| 1 -> Nonvolatile| _ -> ufailwith st" u_ILVolatility" )
10021002let u_ILReadonly st = ( match u_ int stwith 0 -> ReadonlyAddress| 1 -> NormalAddress| _ -> ufailwith st" u_ILReadonly" )
10031003
1004- let itag_nop = 0
1005- let itag_ldarg = 1
1006- let itag_ldnull = 2
1007- let itag_ilzero = 3
1008- let itag_call = 4
1009- let itag_add = 5
1010- let itag_sub = 6
1011- let itag_mul = 7
1012- let itag_div = 8
1013- let itag_div_un = 9
1014- let itag_rem = 10
1015- let itag_rem_un = 11
1016- let itag_and = 12
1017- let itag_or = 13
1018- let itag_xor = 14
1019- let itag_shl = 15
1020- let itag_shr = 16
1021- let itag_shr_un = 17
1022- let itag_neg = 18
1023- let itag_not = 19
1024- let itag_conv = 20
1025- let itag_conv_un = 21
1026- let itag_conv_ovf = 22
1027- let itag_conv_ovf_un = 23
1028- let itag_callvirt = 24
1029- let itag_ldobj = 25
1030- let itag_ldstr = 26
1031- let itag_castclass = 27
1032- let itag_isinst = 28
1033- let itag_unbox = 29
1034- let itag_throw = 30
1035- let itag_ldfld = 31
1036- let itag_ldflda = 32
1037- let itag_stfld = 33
1038- let itag_ldsfld = 34
1039- let itag_ldsflda = 35
1040- let itag_stsfld = 36
1041- let itag_stobj = 37
1042- let itag_box = 38
1043- let itag_newarr = 39
1044- let itag_ldlen = 40
1045- let itag_ldelema = 41
1046- let itag_ckfinite = 42
1047- let itag_ldtoken = 43
1048- let itag_add_ovf = 44
1049- let itag_add_ovf_un = 45
1050- let itag_mul_ovf = 46
1051- let itag_mul_ovf_un = 47
1052- let itag_sub_ovf = 48
1053- let itag_sub_ovf_un = 49
1054- let itag_ceq = 50
1055- let itag_cgt = 51
1056- let itag_cgt_un = 52
1057- let itag_clt = 53
1058- let itag_clt_un = 54
1059- let itag_ldvirtftn = 55
1060- let itag_localloc = 56
1061- let itag_rethrow = 57
1062- let itag_sizeof = 58
1063- let itag_ldelem_any = 59
1064- let itag_stelem_any = 60
1065- let itag_unbox_any = 61
1066- let itag_ldlen_multi = 62
1004+ let [<Literal>] itag_nop = 0
1005+ let [<Literal>] itag_ldarg = 1
1006+ let [<Literal>] itag_ldnull = 2
1007+ let [<Literal>] itag_ilzero = 3
1008+ let [<Literal>] itag_call = 4
1009+ let [<Literal>] itag_add = 5
1010+ let [<Literal>] itag_sub = 6
1011+ let [<Literal>] itag_mul = 7
1012+ let [<Literal>] itag_div = 8
1013+ let [<Literal>] itag_div_un = 9
1014+ let [<Literal>] itag_rem = 10
1015+ let [<Literal>] itag_rem_un = 11
1016+ let [<Literal>] itag_and = 12
1017+ let [<Literal>] itag_or = 13
1018+ let [<Literal>] itag_xor = 14
1019+ let [<Literal>] itag_shl = 15
1020+ let [<Literal>] itag_shr = 16
1021+ let [<Literal>] itag_shr_un = 17
1022+ let [<Literal>] itag_neg = 18
1023+ let [<Literal>] itag_not = 19
1024+ let [<Literal>] itag_conv = 20
1025+ let [<Literal>] itag_conv_un = 21
1026+ let [<Literal>] itag_conv_ovf = 22
1027+ let [<Literal>] itag_conv_ovf_un = 23
1028+ let [<Literal>] itag_callvirt = 24
1029+ let [<Literal>] itag_ldobj = 25
1030+ let [<Literal>] itag_ldstr = 26
1031+ let [<Literal>] itag_castclass = 27
1032+ let [<Literal>] itag_isinst = 28
1033+ let [<Literal>] itag_unbox = 29
1034+ let [<Literal>] itag_throw = 30
1035+ let [<Literal>] itag_ldfld = 31
1036+ let [<Literal>] itag_ldflda = 32
1037+ let [<Literal>] itag_stfld = 33
1038+ let [<Literal>] itag_ldsfld = 34
1039+ let [<Literal>] itag_ldsflda = 35
1040+ let [<Literal>] itag_stsfld = 36
1041+ let [<Literal>] itag_stobj = 37
1042+ let [<Literal>] itag_box = 38
1043+ let [<Literal>] itag_newarr = 39
1044+ let [<Literal>] itag_ldlen = 40
1045+ let [<Literal>] itag_ldelema = 41
1046+ let [<Literal>] itag_ckfinite = 42
1047+ let [<Literal>] itag_ldtoken = 43
1048+ let [<Literal>] itag_add_ovf = 44
1049+ let [<Literal>] itag_add_ovf_un = 45
1050+ let [<Literal>] itag_mul_ovf = 46
1051+ let [<Literal>] itag_mul_ovf_un = 47
1052+ let [<Literal>] itag_sub_ovf = 48
1053+ let [<Literal>] itag_sub_ovf_un = 49
1054+ let [<Literal>] itag_ceq = 50
1055+ let [<Literal>] itag_cgt = 51
1056+ let [<Literal>] itag_cgt_un = 52
1057+ let [<Literal>] itag_clt = 53
1058+ let [<Literal>] itag_clt_un = 54
1059+ let [<Literal>] itag_ldvirtftn = 55
1060+ let [<Literal>] itag_localloc = 56
1061+ let [<Literal>] itag_rethrow = 57
1062+ let [<Literal>] itag_sizeof = 58
1063+ let [<Literal>] itag_ldelem_any = 59
1064+ let [<Literal>] itag_stelem_any = 60
1065+ let [<Literal>] itag_unbox_any = 61
1066+ let [<Literal>] itag_ldlen_multi = 62
10671067
10681068let simple_instrs =
10691069[ itag_ add, AI_ add;