Lines Matching refs:Call
409 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
452 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
527 Call("reg'PSR",F32,Var("x",CTy"PSR")))
531 Call("rec'PSR",CTy"PSR",Var("x",F32)))
612 Call("reg'SCTLR",F32,Var("x",CTy"SCTLR")))
616 Call("rec'SCTLR",CTy"SCTLR",Var("x",F32)))
699 Call("reg'HSCTLR",F32,Var("x",CTy"HSCTLR")))
703 Call("rec'HSCTLR",CTy"HSCTLR",Var("x",F32)))
753 Call("reg'HSR",F32,Var("x",CTy"HSR")))
757 Call("rec'HSR",CTy"HSR",Var("x",F32)))
824 Call("reg'SCR",F32,Var("x",CTy"SCR")))
828 Call("rec'SCR",CTy"SCR",Var("x",F32)))
897 Call("reg'NSACR",F32,Var("x",CTy"NSACR")))
901 Call("rec'NSACR",CTy"NSACR",Var("x",F32)))
966 Call("reg'HCR",F32,Var("x",CTy"HCR")))
970 Call("rec'HCR",CTy"HCR",Var("x",F32)))
1003 MB(Call("HaveSecurityExt",ATy(qTy,PTy(bTy,qTy)),LU),
1034 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
1058 MB(Call("HaveSecurityExt",ATy(qTy,PTy(bTy,qTy)),LU),
1062 MB(Call("HaveVirtExt",ATy(qTy,PTy(bTy,qTy)),LU),
1075 Call("BadMode",ATy(qTy,PTy(bTy,qTy)),Var("v",FTy 5)))),
1094 MU(Call
1099 Call
1123 Call("BadMode",ATy(qTy,PTy(bTy,qTy)),Var("v",FTy 5)))),
1142 MU(Call
1147 Call
1171 Call("BadMode",ATy(qTy,PTy(bTy,qTy)),Var("v",FTy 5)))),
1190 MU(Call
1195 Call
1284 MB(Call("CurrentInstrSet",ATy(qTy,PTy(CTy"InstrSet",qTy)),LU),
1292 Call
1294 Call
1297 Call
1300 Call("write'ISETSTATE",ATy(qTy,PTy(uTy,qTy)),LW(1,2))),
1302 Call("write'ISETSTATE",ATy(qTy,PTy(uTy,qTy)),LW(2,2))),
1304 Call("write'ISETSTATE",ATy(qTy,PTy(uTy,qTy)),LW(3,2)))]))
1308 MB(Call("HaveThumb2",ATy(qTy,PTy(bTy,qTy)),LU),
1334 MB(Call("HaveThumb2",ATy(qTy,PTy(bTy,qTy)),LU),
1359 Call
1390 Call
1451 Call
1454 Call
1469 MB(Call("CurrentCond",ATy(qTy,PTy(F4,qTy)),LU),
1577 Call("BadMode",ATy(qTy,PTy(bTy,qTy)),Var("v",FTy 5)))),
1596 MU(Call
1601 Call
1648 Call
1651 Call
1663 Call("BadMode",ATy(qTy,PTy(bTy,qTy)),Var("v",FTy 5)))),
1682 MU(Call
1687 Call
1747 Call
1750 Call
1757 MB(Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
1774 MB(MB(MU(Call
1802 MU(Call
1828 MB(MU(Call
1864 MU(Call
1890 MB(MU(Call
1920 MU(Call
1949 MB(MU(Call
1986 MU(Call
2013 MB(MB(MU(Call
2050 MU(Call
2069 MB(Call
2122 MB(MU(Call
2160 MU(Call
2192 MB(MU(Call
2229 MU(Call
2249 MB(Call
2288 Call
2322 MB(MU(Call
2360 MU(Call
2391 MB(MU(Call
2429 MU(Call
2452 MB(Call
2467 Call
2472 Call
2486 MB(Call
2514 Call
2519 Call
2529 MB(Call
2586 Call
2591 Call
2647 Call
2652 Call
2662 MB(Call
2723 Call
2728 Call
2786 Call
2791 Call
2810 MB(MU(Call
2848 MU(Call
2871 MB(Call("CurrentModeIsUserOrSystem",ATy(qTy,PTy(bTy,qTy)),LU),
2875 Call
2877 Call
2886 Call
2888 Call
2894 Call
2904 Call
2906 Call
2912 Call
2923 Call
2926 Call
2932 Call
2944 MB(Call
2947 Call
2956 Call
2963 MB(Call
2972 Call
2977 Call
2999 Call
3004 Call
3020 Call
3032 MB(Call("BadMode",ATy(qTy,PTy(bTy,qTy)),Var("mode",FTy 5)),
3036 Call
3038 Call
3056 Call
3075 Call
3080 Call
3085 Call
3090 Call
3095 Call
3100 Call
3108 Call
3116 Call
3118 Call
3123 MB(Call("IsSecure",ATy(qTy,PTy(bTy,qTy)),LU),
3131 Call
3133 Call("UNPREDICTABLE",CTy"exception",LS"Rmode")),
3158 Call
3161 Call
3174 MB(Call
3196 MB(Call("IsSecure",ATy(qTy,PTy(bTy,qTy)),LU),
3204 Call
3207 Call
3246 Call
3250 Call
3257 MB(Call
3298 Call
3303 Call
3312 MB(Call
3361 MB(Call("CurrentInstrSet",ATy(qTy,PTy(CTy"InstrSet",qTy)),LU),
3390 Call
3403 Call
3407 val SP_def = Def0 ("SP",Call("R",ATy(qTy,PTy(F32,qTy)),LW(13,4)))
3411 Call("write'R",ATy(qTy,PTy(uTy,qTy)),TP[Var("value",F32),LW(13,4)]))
3413 val LR_def = Def0 ("LR",Call("R",ATy(qTy,PTy(F32,qTy)),LW(14,4)))
3417 Call("write'R",ATy(qTy,PTy(uTy,qTy)),TP[Var("value",F32),LW(14,4)]))
3419 val PC_def = Def0 ("PC",Call("R",ATy(qTy,PTy(F32,qTy)),LW(15,4)))
3440 MB(Call("CurrentInstrSet",ATy(qTy,PTy(CTy"InstrSet",qTy)),LU),
3448 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
3462 Call
3465 Call
3471 Call
3475 Call
3481 MB(Call("CurrentInstrSet",ATy(qTy,PTy(CTy"InstrSet",qTy)),LU),
3490 Call
3494 Call
3496 Call
3500 MB(Call
3505 Call
3510 MB(Call
3515 Call
3518 Call
3520 Call("UNPREDICTABLE",CTy"exception",LS"BXWritePC"))))))))
3524 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
3531 Call
3533 Call
3539 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
3546 MB(Call
3557 Call
3559 Call
3582 MB(Call("ThisInstrLength",ATy(qTy,PTy(nTy,qTy)),LU),
3594 Call("BranchTo",ATy(qTy,PTy(uTy,qTy)),Var("v",F32)))))))
3691 MB(Call
3696 MB(Call
3701 MB(MB(Call
3708 MB(Call
3713 MB(MB(Call
3718 MB(MB(Call
3724 MB(MB(Call
3744 MB(Call
3749 MB(MB(Call
3754 MB(MB(Call
3760 MB(MB(Call
3768 MB(MB(Call
3779 MB(MB(Call
3791 MB(MB(Call
3803 MB(MB(Call
3848 Call
3850 Call
4310 Call
4312 Call
4339 Call
4341 Call
4352 EQ(Var("w",BTy"N"),Call("Align",BTy"N",TP[Var("w",BTy"N"),nVar"n"])))
4361 MB(ITE(Call("Aligned",bTy,TP[Var("address",F32),nVar"size"]),
4400 MD(Call
4405 TP[Call
4419 MD(Call
4425 MB(MD(Call
4519 MD(MD(Call
4570 MB(ITE(Call("Aligned",bTy,TP[Var("address",F32),nVar"size"]),
4609 MD(Call
4614 TP[Call
4628 MD(Call
4674 MD(Call
4685 MD(Call
4694 Call
4701 Call
4707 MB(Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
4716 Call
4722 MB(Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
4731 Call
4777 Call
4783 MB(ITE(Call("Aligned",bTy,TP[Var("VA",F32),nVar"size"]),
4784 MB(MD(Call
4827 MD(Call
4846 MB(MB(MD(Call
4938 MD(Call
5001 Call
5006 ITE(Call("Aligned",bTy,TP[Var("VA",F32),nVar"size"]),
5007 Call
5023 Call
5039 Call
5058 Call
5088 Call
5095 Call
5101 MB(Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
5110 Call
5116 MB(Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
5125 Call
5132 MB(MD(Call("CurrentInstrSet",ATy(qTy,PTy(CTy"InstrSet",qTy)),LU),bTy),
5148 MU(Call
5160 MD(Call
5163 Call
5178 MD(Call
5181 Call
5187 MB(MD(Call
5220 MD(Call
5230 MB(MD(Call
5273 MD(Call
5311 Call("HighestSetBit",iTy,Var("w",BTy"N")))))
5315 Call("CountLeadingZeroBits",nTy,Mop(Rev,Var("w",BTy"N"))))
5357 Call
5359 Call("ASSERT",CTy"exception",LS"SignedSatQ: M < N")),
5375 Call
5377 Call("ASSERT",CTy"exception",LS"UnsignedSatQ: M < N")),
5390 MB(Call
5399 MB(Call
5409 Call
5411 Call("ASSERT",CTy"exception",LS"LSL_C")),MU(LU,qTy)),
5423 MB(Call
5433 Call
5435 Call("ASSERT",CTy"exception",LS"LSR_C")),MU(LU,qTy)),
5446 MB(Call
5456 Call
5458 Call("ASSERT",CTy"exception",LS"ASR_C")),MU(LU,qTy)),
5469 MB(Call
5479 Call
5481 Call("ASSERT",CTy"exception",LS"ROR_C")),MU(LU,qTy)),
5491 MB(Call
5509 Call("RRX_C",PTy(BTy"N",bTy),TP[Var("x",BTy"N"),bVar"carry_in"])))
5546 Call
5550 Call
5554 Call
5558 Call
5562 MU(Call
5570 MB(Call
5580 Call
5596 Call
5611 Call
5613 Call
5620 Call
5622 Call
5629 Call
5631 Call
5640 Call
5656 Call
5659 Call
5689 Call
5693 Call
5697 Call
5701 Call
5705 Call
5709 Call
5713 Call
5717 Call
5746 MB(Call("HaveSecurityExt",ATy(qTy,PTy(bTy,qTy)),LU),
5775 MB(Call
5780 MB(Call
6096 Call
6121 MB(Call
6126 MB(Call
6442 Call
6465 MB(Call("HaveSecurityExt",ATy(qTy,PTy(bTy,qTy)),LU),
6798 MB(Call
6816 Call
6847 MB(Call("HaveVirtExt",ATy(qTy,PTy(bTy,qTy)),LU),
6851 Call
6905 MB(Call
6911 Call
6921 MB(Call
7023 Call
7035 Call
7169 MB(Call
7179 MB(Call
7424 MB(Call
7442 Call
7452 MB(Call("ITAdvance",ATy(qTy,PTy(uTy,qTy)),LU),
7476 MB(Call
7482 Call
7542 MB(Call
7548 Call
7558 MB(Call
7629 Call
7641 Call
7775 MB(Call
7785 MB(Call
8030 MB(Call
8048 Call
8058 MB(Call("ITAdvance",ATy(qTy,PTy(uTy,qTy)),LU),
8178 Call
8188 MB(Call("ITAdvance",ATy(qTy,PTy(uTy,qTy)),LU),
8221 Call
8228 Call
8262 MB(Call
8295 Call
8302 MB(Call
8309 Call
8463 Call
8475 Call
8487 Call
8498 MB(Call
8632 MB(Call
8642 MB(Call
8690 MB(Call
8706 Call
9013 MB(Call
9031 Call
9072 MB(Call
9105 Call
9112 MB(Call
9119 Call
9273 Call
9285 Call
9297 Call
9308 MB(Call
9442 MB(Call
9452 MB(Call
9500 MB(Call
9516 Call
9823 MB(Call
9841 Call
9876 MB(Call
9899 MB(Call
9905 Call
9976 MB(Call
10104 Call
10152 Call
10288 MB(Call
10298 MB(Call
10346 MB(Call
10362 Call
10696 Call
10701 Call
10706 MB(Call
10724 Call
10769 MB(Call
10774 MB(Call
11073 Call
11078 Call
11083 MB(Call
11101 Call
11128 MB(Call
11151 MB(Call
11157 Call
11228 MB(Call
11356 Call
11404 Call
11540 MB(Call
11550 MB(Call
11598 MB(Call
11614 Call
11724 MB(Call
11740 Call
12074 Call
12079 Call
12084 MB(Call
12102 Call
12147 MB(Call
12152 MB(Call
12487 Call
12492 Call
12497 MB(Call
12515 Call
12545 Call
12576 MB(MB(MD(Call
12609 MB(MD(Call
12664 MB(MB(MD(Call
12749 MB(MD(Call
12771 MD(Call
12819 MB(MB(MD(Call
12957 MU(Call
13005 MB(Call("CurrentModeIsHyp",ATy(qTy,PTy(bTy,qTy)),LU),
13009 MB(Call("HaveVirtExt",ATy(qTy,PTy(bTy,qTy)),LU),
13013 MB(Call
13022 MB(Call
13055 MB(MB(MB(MD(Call
13097 MD(Call
13107 (AVar uTy,Call("TakeSVCException",ATy(qTy,PTy(uTy,qTy)),LU))))))
13111 MB(Call
13114 Close(AVar uTy,Call("TakeHVCException",ATy(qTy,PTy(uTy,qTy)),LU))))
13120 Call
13122 Call
13127 Call
13129 Call
13134 Call
13136 Call
13140 Call
13142 Call
13157 MB(Call
13172 Call
13174 Call
13179 Call
13181 Call
13185 MB(Call("IsSecure",ATy(qTy,PTy(bTy,qTy)),LU),
13196 Call
13198 Call
13203 Call
13205 Call
13214 MB(Call("IsSecure",ATy(qTy,PTy(bTy,qTy)),LU),
13242 Call
13244 Call
13249 Call
13251 Call("UNPREDICTABLE",CTy"exception",LS"SPSRAccessValid")),
13255 Call
13257 Call("UNPREDICTABLE",CTy"exception",LS"SPSRAccessValid")),
13261 Call
13263 Call("UNPREDICTABLE",CTy"exception",LS"SPSRAccessValid")),
13267 Call
13269 Call("UNPREDICTABLE",CTy"exception",LS"SPSRAccessValid")),
13272 MB(Call("IsSecure",ATy(qTy,PTy(bTy,qTy)),LU),
13283 Call
13285 Call
13290 Call
13292 Call("UNPREDICTABLE",CTy"exception",LS"SPSRAccessValid")),
13295 Call
13297 Call("UNPREDICTABLE",CTy"exception",LS"SPSRAccessValid")))]))
13307 Call("BranchWritePC",ATy(qTy,PTy(uTy,qTy)),Var("v",F32)))))))
13311 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
13313 (Var("v",F32),Call("BXWritePC",ATy(qTy,PTy(uTy,qTy)),Var("v",F32)))))
13318 MB(Call("CurrentInstrSet",ATy(qTy,PTy(CTy"InstrSet",qTy)),LU),
13332 Call
13345 Call
13358 MU(Call
13371 MB(Call
13376 Call
13382 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
13385 MB(Call("CurrentInstrSet",ATy(qTy,PTy(CTy"InstrSet",qTy)),LU),
13399 Call
13409 Call
13417 Call
13423 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
13438 Call
13441 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))))
13445 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
13450 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
13453 MB(MB(MB(Call
13461 Call
13474 Call
13477 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
13480 MB(MB(MB(Call
13492 Call
13501 Call
13514 Call
13522 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
13525 MB(MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
13542 Call
13547 MB(Call
13569 Call
13573 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))))
13585 Call
13601 Call
13607 MB(Call("write'R",ATy(qTy,PTy(uTy,qTy)),TP[Var("imm32",F32),LW(8,4)]),
13616 MB(Call
13636 Call
13644 MB(Call("write'R",ATy(qTy,PTy(uTy,qTy)),TP[Var("imm32",F32),LW(8,4)]),
13657 Call
13663 MB(Call("CurrentModeIsHyp",ATy(qTy,PTy(bTy,qTy)),LU),
13667 Call("TakeUndefInstrException",ATy(qTy,PTy(uTy,qTy)),LU),
13668 MB(Call
13671 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))),
13672 MB(Call
13675 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))
13693 MB(Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU),
13704 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
13707 MB(MB(MB(MB(MU(Call("CountLeadingZeroBits",nTy,Var("v",F32)),qTy),
13712 Call
13714 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
13719 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("d",F4)),
13722 Call
13726 Call
13729 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))
13747 MU(Call("Align",F32,Var("v",PTy(F32,nTy))),qTy))))))],
13748 Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4))),
13752 Call
13756 Call
13853 ITE(Call
13895 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))))))
13912 MU(Call("Align",F32,Var("v",PTy(F32,nTy))),qTy))))))],
13913 Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4))),
13917 Call
13921 MB(Call("CurrentModeIsHyp",ATy(qTy,PTy(bTy,qTy)),LU),
13925 Call
13928 MB(Call
13934 Call
13937 Call
13945 MB(MB(MB(MU(Call
13958 Call
13992 MB(Call
14011 Call
14016 Call
14021 Call
14028 Call
14043 Call
14051 Call
14055 Call
14063 Call
14078 Call
14085 Call
14101 Call
14109 Call
14113 Call
14122 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
14142 Call
14149 MB(ITE(Call("ArithmeticOpcode",bTy,Var("opc",F4)),
14159 Call
14164 Call
14174 Call
14183 Call
14193 Call
14197 Call
14206 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
14209 MB(MB(MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("s",F4)),
14240 Call
14247 MB(ITE(Call("ArithmeticOpcode",bTy,Var("opc",F4)),
14256 Call
14265 Call
14275 Call
14279 Call
14291 MB(MD(MD(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),F32),
14299 MB(MD(MD(Call
14319 MD(MD(Call
14349 MB(MD(MD(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),F32),
14357 MB(MD(MD(Call
14377 MD(MD(Call
14407 MB(MD(MD(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),F32),
14423 MD(MD(Call
14431 MB(MD(MD(Call
14455 MD(MD(Call
14500 MB(MD(MD(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),F32),
14516 MD(MD(Call
14524 MB(MD(MD(Call
14548 MD(MD(Call
14605 MD(MD(Call
14679 MD(MD(Call
14687 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
14690 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
14694 MB(Call
14764 MB(Call
14865 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))))))))
14870 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
14873 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
14876 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("a",F4)),
14882 MB(Call
14958 MB(Call
15074 Call
15081 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15084 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15087 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("dhi",F4)),
15090 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("dlo",F4)),
15104 MB(Call
15110 MB(Call
15195 MB(Call
15444 Call
15452 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15458 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15468 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("dhi",F4)),
15478 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("dlo",F4)),
15487 MB(Call
15493 MB(Call
15498 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))))))
15503 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("a",F4)),
15506 MB(MB(MB(MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15509 MB(MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15520 Call
15522 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
15529 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15531 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15536 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15540 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15545 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("a",F4)),
15560 MB(Call
15601 Call
15609 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15611 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15616 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15620 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15625 MB(Call
15631 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))))
15637 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15639 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15644 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15655 MB(Call
15675 MB(Call
15716 Call
15724 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15726 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15730 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15743 MB(Call
15747 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))))))
15754 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15756 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15761 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15765 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15770 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("dhi",F4)),
15773 MB(MB(MB(MB(Call
15793 MB(Call
15799 MB(Call
15807 Call
15816 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15822 Call
15824 Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4))),
15827 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15841 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15859 Call
15878 MB(Call
15927 Call
15938 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
15942 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
15948 Call
15951 Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4))),
15962 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("dhi",F4)),
15965 MB(MB(Call
15987 MB(Call
15995 MB(Call
16004 Call
16013 Call("R",ATy(qTy,PTy(F32,qTy)),Var("a",F4))),
16016 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
16022 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
16037 MB(Call
16045 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))))))
16050 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("a",F4)),
16059 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
16065 MB(Call
16080 MB(Call
16087 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))))
16091 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
16094 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
16147 MB(Call
16154 MB(Call
16252 Call
16259 MB(Call
16266 MB(Call
16270 MB(MB(MB(MB(Call
16281 Call
16285 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))]))))
16290 MB(Call
16297 MB(Call
16302 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))]))))
16306 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
16309 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
16341 MB(Call
16349 MB(Call
16570 Call
16580 MB(Call
16588 MB(Call
16592 MB(MB(MB(MB(Call
16597 MB(MB(Call
16603 MB(MB(Call
16625 Call
16629 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))]))))
16634 MB(Call
16642 MB(Call
16649 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))]))))
16653 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
16656 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
16662 Call
16665 Call
16669 Call
16672 Call
16677 Call
16680 Call
16684 Call
16687 Call
16692 Call
16695 Call
16699 Call
16702 Call
16707 Call
16710 Call
16714 Call
16717 Call
16725 MB(Call
16732 MB(Call
16848 Call
16855 MB(Call
16862 MB(Call
16867 MB(MB(MB(MB(Call
16878 Call
16882 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))]))))
16887 MB(Call
16894 MB(Call
16899 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))]))))
16903 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
16906 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
16911 Call
16913 Call
16916 Call
16918 Call
16921 Call
16924 Call
16928 Call
16931 Call
16935 Call
16937 Call
16940 Call
16942 Call
16945 Call
16948 Call
16952 Call
16955 Call
16962 MB(Call
16970 MB(Call
17197 Call
17207 MB(Call
17215 MB(Call
17219 MB(MB(MB(MB(Call
17224 MB(MB(Call
17230 MB(MB(Call
17252 Call
17256 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))]))))
17261 MB(Call
17269 MB(Call
17276 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))]))))
17282 Call("R",ATy(qTy,PTy(F32,qTy)),Var("a",F4))),
17285 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17288 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17291 MB(Call
17298 Call
17303 Call
17309 Call
17317 Call
17321 Call
17327 Call
17331 Call
17337 Call
17341 Call
17347 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))))))
17351 Call("TakeUndefInstrException",ATy(qTy,PTy(uTy,qTy)),LU))
17355 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17362 MB(Call
17368 Call
17371 MB(Call
17376 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))),
17378 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17381 MB(Call
17388 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17391 MB(Call
17403 Call
17408 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))))))))
17414 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17434 Call
17441 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17448 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17455 MB(Call
17461 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))))))))
17467 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17487 Call
17493 Call
17497 Call
17505 MB(Call
17508 Call
17545 Call
17551 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17555 MB(Call
17561 MB(Call
17570 MB(Call
17576 MB(Call
17590 MB(Call
17594 CC[Call
17598 Call
17631 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))]))))))
17637 Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4))),
17640 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17646 Call
17651 MB(Call
17654 Call
17660 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))))))
17666 Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4))),
17669 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17675 Call
17682 Call
17686 MB(Call
17692 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))))))))
17698 Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4))),
17701 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17707 Call
17712 MB(Call
17715 Call
17721 (AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))))))
17725 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17728 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17838 MB(Call
17856 Call
17865 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17868 MB(Call
17874 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
17878 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17881 MB(Call
17887 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
17891 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17894 MB(Call
17898 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
17902 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
17909 Call
17911 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
17918 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17922 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
17932 MU(Call
17940 Call
17943 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))))
17949 Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4))),
17955 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("d",F4)),
18003 MD(Call
18014 MD(Call
18025 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
18029 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
18033 [(Call
18037 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
18074 Call
18080 (Call
18092 MB(Call
18105 Call
18110 Call
18122 ITE(Call
18128 Call
18135 Call
18140 Call
18145 MB(Call
18155 Call
18166 Call
18192 MB(Call
18223 Call
18240 Call
18251 Call
18261 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),LW(15,4)),
18271 MU(Call("Align",F32,Var("v",PTy(F32,nTy))),qTy))),
18278 MB(Call
18289 Call
18293 ITE(Call
18297 Call
18301 Call
18304 Call
18308 MB(Call
18316 Call
18326 Call
18352 MB(Call
18383 Call
18400 Call
18410 Call
18422 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
18426 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
18430 [(Call
18434 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
18471 Call
18477 (Call
18489 MB(Call
18503 Call
18508 Call
18518 MB(Call
18528 Call
18539 Call
18565 MB(Call
18596 Call
18613 Call
18624 Call
18636 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
18640 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
18644 [(Call
18648 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
18685 Call
18691 (Call
18700 MB(Call
18713 Call
18716 MB(Call
18719 TP[Call
18727 Call
18738 Call
18749 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),LW(15,4)),
18759 MU(Call("Align",F32,Var("v",PTy(F32,nTy))),qTy))),
18762 MB(Call
18777 Call
18780 MB(Call
18783 TP[Call
18790 Call
18799 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
18803 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
18807 [(Call
18811 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
18848 Call
18854 (Call
18863 MB(Call
18875 Call
18878 MB(Call
18887 Call
18898 Call
18910 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
18914 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
18918 [(Call("register_form2",CTy"offset2",Var("m",F4)),
18919 Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4))),
18920 (Call
18929 MB(Call
18941 Call
18944 MB(Call
18953 Call
18964 Call
18976 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
18980 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
18984 [(Call
18988 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
19025 Call
19031 (Call
19043 MB(Call
19056 Call
19061 Call
19071 MB(Call
19081 Call
19092 Call
19097 TP[Call
19114 Call
19125 Call
19136 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),LW(15,4)),
19146 MU(Call("Align",F32,Var("v",PTy(F32,nTy))),qTy))),
19153 MB(Call
19164 Call
19167 MB(Call
19175 Call
19185 Call
19190 TP[Call
19207 Call
19217 Call
19229 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
19233 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
19237 [(Call("register_form2",CTy"offset2",Var("m",F4)),
19238 Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4))),
19239 (Call
19251 MB(Call
19265 Call
19270 Call
19280 MB(Call
19290 Call
19301 Call
19306 TP[Call
19323 Call
19334 Call
19346 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
19350 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
19353 MB(Call
19429 MD(Call
19452 MD(Call
19534 MD(Call
19567 MD(Call
19613 MD(Call
19620 MD(Call
19628 MD(Call
19663 MD(Call
19672 MD(Call
19700 MB(Call("CurrentModeIsHyp",ATy(qTy,PTy(bTy,qTy)),LU),
19704 Call("TakeUndefInstrException",ATy(qTy,PTy(uTy,qTy)),LU),
19708 MB(Call
19713 Call
19715 Call
19721 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
19724 MB(Call
19826 MD(Call
19849 MD(Call
19918 MD(Call
19964 MD(Call
19997 MD(Call
20006 MD(Call
20040 MB(MB(MB(MU(Call
20062 MD(Call
20075 MD(Call
20087 MB(Call("CurrentModeIsHyp",ATy(qTy,PTy(bTy,qTy)),LU),
20091 Call("TakeUndefInstrException",ATy(qTy,PTy(uTy,qTy)),LU),
20095 MB(Call
20100 Call
20102 Call
20108 MB(Call
20121 Call
20125 MB(Call
20218 MD(Call
20244 MD(Call
20327 MD(Call
20334 MD(Call
20346 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
20350 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
20354 [(Call("register_form2",CTy"offset2",Var("m",F4)),
20355 Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4))),
20356 (Call
20368 MB(Call
20373 MB(Call
20388 Call
20393 MB(Call
20403 MB(Call
20416 Call
20430 Call
20441 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),LW(15,4)),
20452 MU(Call
20465 MU(Call
20474 MB(Call
20479 MB(Call
20491 Call
20494 MB(Call
20501 MB(Call
20508 Call
20517 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
20521 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
20614 MB(Call
20627 Call
20632 MB(Call
20641 Call
20651 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
20655 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
20738 MB(Call
20750 Call
20753 MB(Call
20761 Call
20770 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
20774 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
20857 MB(Call
20869 Call
20872 MB(Call
20880 Call
20889 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
20893 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
20976 MB(Call
20988 Call
20991 MB(Call
21025 Call
21035 MB(Call
21071 Call
21082 Call
21094 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
21098 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
21102 [(Call
21106 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
21143 Call
21149 (Call
21162 Call
21165 Call
21170 MB(Call
21176 Call
21187 MB(Call
21204 Call
21214 MB(Call
21257 Call
21264 Call
21278 Call
21290 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
21294 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
21298 [(Call
21302 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
21339 Call
21345 (Call
21358 Call
21361 Call
21366 MB(Call
21372 Call
21383 MB(Call
21400 Call
21410 MB(Call
21453 Call
21460 Call
21474 Call
21486 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
21490 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
21494 [(Call
21498 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
21535 Call
21541 (Call
21550 MB(MB(Call
21567 Call
21580 Call
21584 Call
21594 Call
21604 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
21608 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
21612 [(Call
21616 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
21653 Call
21659 (Call
21668 MB(MB(Call
21685 Call
21698 Call
21702 Call
21712 Call
21722 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
21726 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
21730 [(Call
21734 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4)),
21771 Call
21777 (Call
21789 MB(Call
21795 Call
21803 MB(Call
21832 Call
21841 MB(Call
21882 Call
21888 Call
21900 Call
21912 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
21916 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
21920 [(Call("register_form2",CTy"offset2",Var("m",F4)),
21921 Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4))),
21922 (Call
21934 MB(Call
21940 Call
21948 MB(Call
21977 Call
21986 MB(Call
22027 Call
22033 Call
22045 Call
22057 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
22061 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
22064 MB(Call
22129 Call
22155 MD(Call
22227 MB(MD(Call
22251 MD(Call
22325 MB(MD(Call
22347 MD(Call
22395 MD(Call
22403 MD(Call
22428 MD(Call
22440 MB(Call("CurrentModeIsHyp",ATy(qTy,PTy(bTy,qTy)),LU),
22444 Call("TakeUndefInstrException",ATy(qTy,PTy(uTy,qTy)),LU),
22448 MB(Call
22453 Call
22455 Call
22461 MB(Call
22474 Call
22478 MB(Call
22572 MB(MD(Call
22598 MD(Call
22673 MB(MD(Call
22695 MD(Call
22745 MD(Call
22752 MD(Call
22764 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
22768 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
22772 [(Call("register_form2",CTy"offset2",Var("m",F4)),
22773 Call("R",ATy(qTy,PTy(F32,qTy)),Var("m",F4))),
22774 (Call
22791 MB(MB(Call
22803 Call
22813 MB(MB(Call
22830 Call
22860 Call
22867 Call
22881 Call
22892 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
22896 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
22974 MB(MB(Call
22989 Call
23013 Call
23024 Call
23037 Call
23040 Call
23047 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
23051 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
23120 MB(MB(Call
23138 Call
23160 Call
23169 Call
23180 Call
23183 Call
23189 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
23193 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
23262 MB(MB(Call
23280 Call
23302 Call
23311 Call
23322 Call
23325 Call
23332 MB(Call("NullCheckIfThumbEE",ATy(qTy,PTy(bTy,qTy)),Var("n",F4)),
23336 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
23339 MB(Call("BigEndian",ATy(qTy,PTy(bTy,qTy)),LU),
23343 MB(Call
23348 MB(Call
23355 MB(Call
23360 MB(Call
23441 MB(Call
23464 Call
23475 Call
23490 Call
23495 Call
23521 MB(MU(TP[Call("ProcessorID",iTy,LU),
23546 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
23550 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
23554 MB(Call
23558 MB(MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("t2",F4)),
23568 Call
23574 Call
23577 MB(Call
23581 MB(MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("t2",F4)),
23588 Call
23594 MB(Call
23606 Call
23616 Call
23619 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU)))))))))
23625 MB(Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
23936 MB(MB(MB(MU(Call
23956 MD(Call
24001 MB(MD(Call
24023 MD(Call
24028 Call
24038 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
24044 Call
24052 Call
24059 MB(Call("CurrentModeIsUserOrSystem",ATy(qTy,PTy(bTy,qTy)),LU),
24063 MB(Call
24072 Call
24074 Call
24077 MB(Call("CurrentModeIsHyp",ATy(qTy,PTy(bTy,qTy)),LU),
24083 Call("R",ATy(qTy,PTy(F32,qTy)),LW(14,4))),
24089 MB(MB(MB(MU(Call
24098 Call
24126 MB(Call
24144 Call
24149 Call
24154 Call
24164 MB(Call("HaveVirtExt",ATy(qTy,PTy(bTy,qTy)),LU),
24171 Call("IsSecure",ATy(qTy,PTy(bTy,qTy)),LU)))),
24175 MB(Call
24181 Call
24183 Call
24199 MB(Call
24205 Call
24208 Call
24212 Call
24215 Call
24223 MB(Call("CurrentModeIsUserOrSystem",ATy(qTy,PTy(bTy,qTy)),LU),
24227 Call
24229 Call
24235 MB(MB(MU(Call("reg'PSR",F32,Var("v",CTy"PSR")),
24242 Call
24248 MB(MB(MB(MU(Call("reg'PSR",F32,Var("v",CTy"PSR")),qTy),
24257 Call
24260 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))
24265 MB(Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
24272 Call
24274 Call
24284 MB(Call
24301 MB(MB(MU(Call
24319 Call
24336 MB(MB(MU(Call
24354 Call
24371 MB(MB(MU(Call
24389 Call
24406 MB(MB(MU(Call
24424 Call
24441 MB(MB(MU(Call
24459 Call
24476 MB(MB(MU(Call
24494 Call
24511 MB(MB(MU(Call
24529 Call
24538 MB(Call
24548 MB(Call
24572 Call
24583 MB(Call
24607 Call
24623 MB(Call
24650 Call
24663 MB(Call
24681 Call
24706 Call
24952 MD(Call
24957 Call
24992 MD(Call
25014 MD(Call
25023 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
25029 Call
25032 MB(Call
25047 MB(Call
25060 Call
25063 Call
25067 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))
25073 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
25079 Call
25082 MB(Call("R",ATy(qTy,PTy(F32,qTy)),Var("n",F4)),
25088 Call
25104 MB(Call
25118 Call
25121 Call
25126 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))
25131 MB(Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
25138 Call
25140 Call
25150 MB(Call
25167 MB(MB(MB(Call
25186 MU(Call
25212 MB(MB(MB(Call
25231 MU(Call
25257 MB(MB(MB(Call
25276 MU(Call
25302 MB(MB(MB(Call
25321 MU(Call
25347 MB(MB(MB(Call
25366 MU(Call
25392 MB(MB(MB(Call
25411 MU(Call
25437 MB(MB(MB(Call
25456 MU(Call
25474 MB(Call
25484 MB(Call
25512 Call
25524 MB(Call
25552 Call
25569 MB(Call
25597 Call
25611 MB(Call
25631 Call
25640 MB(Call
25893 MD(Call
25898 Call
25933 MB(MD(Call
25956 MD(Call
25968 Call
25974 MB(Call("CurrentModeIsHyp",ATy(qTy,PTy(bTy,qTy)),LU),
25978 Call("TakeUndefInstrException",ATy(qTy,PTy(uTy,qTy)),LU),
25979 MB(Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
25986 MB(Call
25997 Call
25999 Call
26002 MB(Call
26014 MB(Call
26021 MB(Call
26041 Call
26047 MB(Call
26126 Call
26131 Call
26136 Call
26146 MB(Call("HaveSecurityExt",ATy(qTy,PTy(bTy,qTy)),LU),
26150 Call("CurrentModeIsNotUser",ATy(qTy,PTy(bTy,qTy)),LU),
26155 MB(Call("HaveVirtExt",ATy(qTy,PTy(bTy,qTy)),LU),
26159 MB(Call
26169 MB(Call
26198 MB(Call
26203 Call
26224 MB(Call
26232 Call
26237 Call
26242 Call
26248 Call
26252 Call
26257 Call
26264 MB(Call("CurrentModeIsHyp",ATy(qTy,PTy(bTy,qTy)),LU),
26268 Call("TakeUndefInstrException",ATy(qTy,PTy(uTy,qTy)),LU),
26269 MB(Call("CurrentModeIsUserOrSystem",ATy(qTy,PTy(bTy,qTy)),LU),
26273 MB(Call
26284 Call
26286 Call
26290 Call
26292 Call
26295 MB(Call("IsSecure",ATy(qTy,PTy(bTy,qTy)),LU),
26346 Call
26351 Call
26360 MB(Call
26401 Call
26420 MB(MB(MU(Call
26444 Call
26465 Call
26472 Call
26497 Call
26517 Close(AVar uTy,Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))))))
26521 Call("TakeUndefInstrException",ATy(qTy,PTy(uTy,qTy)),LU))
26524 ("dfn'NoOperation",Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26528 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26531 ("dfn'Debug",Var("option",F4),Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26535 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26539 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26543 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26548 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26552 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26557 Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26560 ("dfn'SendEvent",Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26563 ("dfn'WaitForEvent",Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26566 ("dfn'WaitForInterrupt",Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26569 ("dfn'Yield",Call("IncPC",ATy(qTy,PTy(uTy,qTy)),LU))
26578 (Call
26581 Call
26584 (Call("IfThen",CTy"instruction",Var("v127",PTy(F4,F4))),
26585 Call("dfn'IfThen",ATy(qTy,PTy(uTy,qTy)),Var("v127",PTy(F4,F4)))),
26586 (Call
26588 Call
26591 (Call("Undefined",CTy"instruction",Var("v129",F32)),
26592 Call("dfn'Undefined",ATy(qTy,PTy(uTy,qTy)),Var("v129",F32))),
26593 (Call("Branch",CTy"instruction",Var("v1",CTy"Branch")),
26595 [(Call("BranchExchange",CTy"Branch",Var("v2",F4)),
26596 Call("dfn'BranchExchange",ATy(qTy,PTy(uTy,qTy)),Var("v2",F4))),
26597 (Call
26600 Call
26603 (Call("BranchLinkExchangeRegister",CTy"Branch",Var("v4",F4)),
26604 Call
26607 (Call("BranchTarget",CTy"Branch",Var("v5",F32)),
26608 Call("dfn'BranchTarget",ATy(qTy,PTy(uTy,qTy)),Var("v5",F32))),
26609 (Call("CheckArray",CTy"Branch",Var("v6",PTy(F4,F4))),
26610 Call
26613 (Call
26615 Call
26618 (Call("HandlerBranchLink",CTy"Branch",Var("v8",PTy(bTy,F32))),
26619 Call
26622 (Call
26625 Call
26628 (Call
26631 Call
26634 (Call
26637 Call
26640 (Call("Data",CTy"instruction",Var("v12",CTy"Data")),
26642 [(Call
26645 Call
26648 (Call
26651 Call
26654 (Call("CountLeadingZeroes",CTy"Data",Var("v15",PTy(F4,F4))),
26655 Call
26658 (Call
26661 Call
26664 (Call
26666 Call
26669 (Call
26675 Call
26681 (Call
26687 Call
26693 (Call
26697 Call
26701 (Call
26705 Call
26709 (Call
26712 Call
26715 (Call
26718 Call
26721 (Call("Hint",CTy"instruction",Var("v24",CTy"Hint")),
26731 (Call("Breakpoint",CTy"Hint",Var("v25",F32)),
26732 Call("dfn'Breakpoint",ATy(qTy,PTy(uTy,qTy)),Var("v25",F32))),
26733 (Call("DataMemoryBarrier",CTy"Hint",Var("v26",F4)),
26734 Call
26737 (Call("DataSynchronizationBarrier",CTy"Hint",Var("v27",F4)),
26738 Call
26741 (Call("Debug",CTy"Hint",Var("v28",F4)),
26742 Call("dfn'Debug",ATy(qTy,PTy(uTy,qTy)),Var("v28",F4))),
26743 (Call
26746 Call
26749 (Call
26752 Call
26755 (Call("PreloadDataLiteral",CTy"Hint",Var("v31",PTy(bTy,F32))),
26756 Call
26759 (Call
26762 Call
26765 (Call("Load",CTy"instruction",Var("v33",CTy"Load")),
26767 [(Call
26773 Call
26779 (Call
26782 Call
26785 (Call
26788 Call
26791 (Call
26797 Call
26803 (Call
26806 Call
26809 (Call
26811 Call
26814 (Call("LoadExclusiveByte",CTy"Load",Var("v40",PTy(F4,F4))),
26815 Call
26818 (Call
26821 Call
26824 (Call("LoadExclusiveHalf",CTy"Load",Var("v42",PTy(F4,F4))),
26825 Call
26828 (Call
26834 Call
26840 (Call
26843 Call
26846 (Call
26850 Call
26854 (Call("LoadLiteral",CTy"Load",Var("v46",PTy(bTy,PTy(F4,F32)))),
26855 Call
26858 (Call
26861 Call
26864 (Call
26867 Call
26870 (Call
26873 Call
26876 (Call
26879 Call
26882 (Call
26885 Call
26888 (Call
26892 Call
26896 (Call("Media",CTy"instruction",Var("v53",CTy"Media")),
26898 [(Call
26901 Call
26904 (Call
26907 Call
26910 (Call("ByteReverse",CTy"Media",Var("v56",PTy(F4,F4))),
26911 Call
26914 (Call
26917 Call
26920 (Call
26923 Call
26926 (Call
26929 Call
26932 (Call
26935 Call
26938 (Call
26941 Call
26944 (Call
26948 Call
26952 (Call("ReverseBits",CTy"Media",Var("v63",PTy(F4,F4))),
26953 Call
26956 (Call
26960 Call
26964 (Call
26967 Call
26970 (Call
26973 Call
26976 (Call("SelectBytes",CTy"Media",Var("v67",PTy(F4,PTy(F4,F4)))),
26977 Call
26980 (Call("Multiply",CTy"instruction",Var("v68",CTy"Multiply")),
26982 [(Call
26985 Call
26988 (Call
26991 Call
26994 (Call
26997 Call
27000 (Call
27004 Call
27008 (Call
27011 Call
27014 (Call
27017 Call
27020 (Call
27023 Call
27026 (Call
27029 Call
27032 (Call
27035 Call
27039 (Call
27042 Call
27045 (Call
27048 Call
27051 (Call
27054 Call
27058 (Call
27061 Call
27064 (Call
27067 Call
27070 (Call("SIMD",CTy"instruction",Var("v83",CTy"SIMD")),
27072 [(Call
27075 Call
27078 (Call
27081 Call
27084 (Call
27087 Call
27090 (Call
27093 Call
27096 (Call
27099 Call
27102 (Call
27105 Call
27108 (Call
27111 Call
27114 (Call
27117 Call
27120 (Call
27123 Call
27126 (Call
27129 Call
27132 (Call
27135 Call
27138 (Call
27141 Call
27144 (Call
27147 Call
27151 (Call("Store",CTy"instruction",Var("v97",CTy"Store")),
27153 [(Call
27157 Call
27161 (Call
27164 Call
27167 (Call
27173 Call
27179 (Call
27182 Call
27185 (Call
27188 Call
27191 (Call
27194 Call
27197 (Call
27200 Call
27203 (Call
27207 Call
27211 (Call
27214 Call
27217 (Call
27220 Call
27223 (Call
27226 Call
27229 (Call
27232 Call
27235 (Call
27239 Call
27243 (Call("System",CTy"instruction",Var("v111",CTy"System")),
27247 (Call
27252 Call
27257 (Call
27260 Call
27263 (Call("EnterxLeavex",CTy"System",bVar"v114"),
27264 Call("dfn'EnterxLeavex",ATy(qTy,PTy(uTy,qTy)),bVar"v114")),
27265 (Call("HypervisorCall",CTy"System",Var("v115",F16)),
27266 Call
27268 (Call
27271 Call
27274 (Call
27277 Call
27280 (Call
27283 Call
27286 (Call
27289 Call
27292 (Call
27295 Call
27298 (Call
27301 Call
27304 (Call("SecureMonitorCall",CTy"System",Var("v122",F4)),
27305 Call
27308 (Call("Setend",CTy"System",bVar"v123"),
27309 Call("dfn'Setend",ATy(qTy,PTy(uTy,qTy)),bVar"v123")),
27310 (Call
27313 Call
27316 (Call("SupervisorCall",CTy"System",Var("v125",F32)),
27317 Call
27322 MB(Call("CurrentInstrSet",ATy(qTy,PTy(CTy"InstrSet",qTy)),LU),
27367 Call
27373 MU(Call
27378 Call
27381 Call
27393 MB(Call
27431 MB(Call
27454 MU(Call
27470 MB(Call
27493 Call
27498 Call
27511 MB(Call("ConditionPassed",ATy(qTy,PTy(bTy,qTy)),LU),
27528 MU(ITE(bVar"b",Call("Undefined",CTy"instruction",LW(0,32)),
27537 MB(Call("ConditionPassed",ATy(qTy,PTy(bTy,qTy)),LU),
27540 MU(ITE(bVar"b",Call("Undefined",CTy"instruction",LW(0,32)),
27545 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
27548 Call
27553 Call
27555 Call
27559 [(Call("ARM",CTy"MachineCode",Var("opc",F32)),
27561 (Call("Thumb",CTy"MachineCode",Var("opc",F16)),
27564 (Call("ThumbEE",CTy"MachineCode",Var("opc",F16)),
27567 (Call
27617 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
27660 Call
27691 Call
27716 Call
27741 Call
27767 Call
27777 Call
27780 Call
27790 Call
27802 Call
27804 Call
27809 Call
27811 Call
27815 Call
27817 Call
27821 Call
27823 Call
27828 Call
27830 Call
27834 Call
27836 Call
27840 Call
27842 Call
27847 Call
27849 Call
27853 Call
27855 Call
27859 Call("Undefined",CTy"instruction",LW(0,32)))]),
27862 Call
27864 Call
27869 Call
27871 Call
27875 Call
27877 Call
27881 Call
27883 Call
27888 Call
27890 Call
27894 Call
27896 Call
27900 Call
27902 Call
27907 Call
27909 Call
27913 Call
27915 Call
27919 Call("Undefined",CTy"instruction",LW(0,32)))])))
27924 Call("ARM",CTy"MachineCode",Var("w",F32)),
27975 Call
27988 Call
28025 MB(Call
28040 Call
28049 MU(Call
28052 Call
28062 Call
28071 MB(Call
28086 Call
28095 MU(Call
28098 Call
28108 Call
28117 MB(Call
28132 Call
28141 MU(Call
28144 Call
28154 Call
28160 MB(Call
28170 MU(Call
28174 MB(Call
28186 MB(Call
28195 MU(Call
28199 MB(Call
28214 MB(Call
28227 Call
28235 MU(Call
28238 Call
28251 Call
28271 Call
28284 MB(Call
28299 Call
28311 Call
28326 Call
28341 Call
28344 Call
28358 Call
28367 Call
28379 MB(Call
28388 Call
28396 MU(Call
28399 Call
28423 Call
28432 MB(Call
28476 MB(Call
28499 Call
28508 MU(Call
28511 Call
28529 Call
28549 Call
28569 MB(Call
28615 MB(Call
28640 Call
28667 Call
28684 Call
28699 Call
28702 Call
28713 Call
28722 Call
28728 MB(Call
28737 MU(Call
28741 MB(Call
28752 MB(Call
28760 MU(Call
28764 MB(Call
28794 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
28803 Call
28809 MU(Call
28811 Call
28816 Call
28848 MB(Call
28870 Call
28920 Call
28934 MU(Call
28937 Call
28967 Call
28977 MB(Call
28987 Call
28994 MU(Call
28997 Call
29015 Call
29028 MB(Call
29041 Call
29050 Call
29061 MU(Call
29064 Call
29084 Call
29090 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
29099 Call
29105 MU(Call
29107 Call
29143 Call
29148 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
29155 MU(Call
29158 MB(Call
29197 MB(Call
29203 Call
29254 MB(Call
29263 MB(Call
29317 Call
29342 Call
29359 Call
29371 Call
29374 Call
29385 Call
29388 Call
29400 Call
29429 MB(Call
29451 MB(Call
29513 Call
29541 Call
29558 Call
29570 Call
29573 Call
29585 Call
29588 Call
29601 Call
29626 MB(Call
29635 MB(Call
29684 Call
29709 Call
29726 Call
29739 Call
29742 Call
29753 Call
29756 Call
29768 Call
29797 MB(Call
29819 MB(Call
29881 Call
29909 Call
29926 Call
29938 Call
29941 Call
29954 Call
29957 Call
29970 Call
29994 MB(Call
30016 Call
30041 Call
30055 MU(Call
30077 Call
30116 MB(Call
30138 Call
30163 Call
30180 Call
30195 Call
30198 Call
30215 Call
30254 MB(Call
30276 Call
30301 Call
30315 MU(Call
30318 Call
30328 Call
30356 MB(Call
30378 Call
30398 Call
30421 Call
30437 Call
30440 Call
30464 Call
30500 MB(Call
30522 Call
30542 Call
30562 Call
30565 Call
30586 Call
30616 MB(Call
30635 Call
30655 Call
30669 MU(Call
30672 Call
30699 Call
30728 MB(Call
30747 Call
30767 Call
30781 MU(Call
30784 Call
30811 Call
30838 MB(Call
30857 Call
30877 Call
30891 MU(Call
30894 Call
30921 Call
30952 MB(Call
30971 Call
30991 Call
31005 MU(Call
31008 Call
31016 Call
31046 MB(Call
31065 Call
31085 Call
31099 MU(Call
31102 Call
31110 Call
31139 MB(Call
31158 Call
31178 Call
31192 MU(Call
31195 Call
31203 Call
31233 MB(Call
31252 Call
31272 Call
31286 MU(Call
31289 Call
31297 Call
31332 MB(Call
31354 Call
31379 Call
31393 MU(Call
31396 Call
31422 Call
31462 MB(Call
31484 Call
31514 Call
31528 MU(Call
31531 Call
31553 Call
31589 MB(Call
31611 Call
31636 Call
31650 MU(Call
31653 Call
31674 Call
31714 MB(Call
31736 Call
31766 Call
31780 MU(Call
31783 Call
31800 Call
31841 MB(Call
31863 Call
31888 Call
31902 MU(Call
31905 Call
31921 Call
31944 MB(Call
31963 Call
32010 Call
32024 MU(Call
32027 Call
32042 Call
32066 MB(Call
32082 Call
32118 Call
32132 MU(Call
32135 Call
32149 Call
32156 MB(Call
32162 MU(Call
32165 Call
32196 Call
32201 Call
32214 MB(Call
32223 Call
32232 Call
32244 MU(Call
32247 Call
32278 Call
32301 Call
32318 MB(Call
32326 Call
32337 MB(Call
32356 MU(Call
32359 Call
32372 Call
32398 MB(Call
32421 Call
32424 Call
32439 Call
32442 Call
32453 Call
32456 Call
32468 Call
32471 Call
32484 Call
32491 MB(Call
32497 MU(Call
32499 Call
32529 Call
32535 MB(Call
32541 MU(Call
32543 Call
32577 Call
32582 Call
32605 MB(Call
32612 MB(Call
32638 Call
32652 MU(Call
32655 Call
32672 Call
32694 MB(Call
32701 MB(Call
32726 Call
32739 MU(Call
32742 Call
32765 Call
32789 MB(Call
32796 MB(Call
32822 Call
32836 MU(Call
32839 Call
32856 Call
32880 MB(Call
32892 MB(Call
32931 Call
32945 MU(Call
32948 Call
32966 Call
32987 MB(Call
32998 MB(Call
33026 MB(Call
33056 Call
33070 MU(Call
33073 Call
33092 Call
33097 Call
33101 Call
33118 MB(Call
33144 Call
33166 Call
33189 Call
33192 Call
33203 Call
33206 Call
33218 Call
33236 MB(Call
33273 Call
33300 Call
33323 Call
33326 Call
33338 Call
33341 Call
33354 Call
33370 MB(Call
33386 Call
33406 Call
33430 Call
33433 Call
33444 Call
33447 Call
33459 Call
33474 MB(Call
33485 Call
33523 Call
33526 Call
33535 Call
33538 Call
33547 Call
33565 MB(Call
33597 Call
33624 Call
33647 Call
33650 Call
33663 Call
33666 Call
33679 Call
33685 Call
33704 MB(Call
33711 Call
33720 Call
33731 MU(Call
33734 Call
33752 Call
33772 MB(Call
33779 Call
33789 MU(Call
33792 Call
33800 Call
33820 MB(Call
33827 Call
33837 Call
33848 MU(Call
33851 Call
33869 Call
33893 MB(Call
33904 Call
33914 MU(Call
33917 Call
33927 Call
33963 Call
33969 MU(Call
33971 Call
33979 Call
34003 MB(Call
34016 Call
34028 Call
34039 MU(Call
34042 Call
34050 Call
34069 MB(Call
34080 Call
34089 Call
34100 MU(Call
34103 Call
34108 Call
34132 MB(Call
34141 Call
34162 Call
34174 MU(Call
34177 Call
34191 Call
34205 MB(Call("ArchVersion",ATy(qTy,PTy(nTy,qTy)),LU),
34215 Call
34233 MU(Call
34236 Call
34261 MB(Call
34268 Call
34285 MB(Call("HaveVirtExt",ATy(qTy,PTy(bTy,qTy)),LU),
34291 Call
34300 Call
34309 MU(Call
34312 Call
34335 Call
34349 MB(Call
34356 Call
34362 MU(Call
34364 Call
34372 Call
34400 MB(Call
34410 Call
34438 Call
34450 MU(Call
34453 Call
34475 Call
34506 MB(Call
34516 Call
34544 Call
34556 MU(Call
34559 Call
34576 Call
34602 MB(Call
34611 Call
34632 Call
34644 MU(Call
34647 Call
34662 Call
34690 MB(Call
34700 Call
34728 Call
34740 MU(Call
34743 Call
34765 Call
34790 MB(Call
34799 Call
34820 Call
34832 MU(Call
34835 Call
34855 Call
34916 MB(Call("HaveVirtExt",ATy(qTy,PTy(bTy,qTy)),LU),
34922 Call
34928 MU(Call
34933 Call
34942 MU(Call("Undefined",CTy"instruction",LW(0,32)),
34961 MB(Call
34975 Call
34999 Call
35002 Call
35026 Call
35029 Call
35045 Call
35048 Call
35064 Call
35090 MB(Call
35127 Call
35147 Call
35163 Call
35166 Call
35183 Call
35186 Call
35203 Call
35233 MB(Call
35240 MB(Call
35294 Call
35318 Call
35321 Call
35333 Call
35336 Call
35347 Call
35379 MB(Call
35395 Call
35428 Call
35440 MU(Call
35443 Call
35455 Call
35488 MB(Call
35498 Call
35526 Call
35538 MU(Call
35541 Call
35553 Call
35581 MB(Call
35588 MB(Call
35646 Call
35659 MU(Call
35662 Call
35689 Call
35715 MB(Call
35743 Call
35753 MU(Call
35764 Call
35792 MB(Call
35805 Call
35837 Call
35849 MU(Call
35852 Call
35864 Call
35888 MB(Call
35901 Call
35913 Call
35924 MU(Call
35927 Call
35936 Call
35987 Call
36034 Call
36046 MU(Call
36049 Call
36061 Call
36108 Call
36126 Call
36137 MU(Call
36140 Call
36153 Call
36204 Call
36236 Call
36248 MU(Call
36251 Call
36261 Call
36308 Call
36320 Call
36331 MU(Call
36334 Call
36342 Call
36393 Call
36425 Call
36437 MU(Call
36440 Call
36450 Call
36497 Call
36509 Call
36520 MU(Call
36523 Call
36531 Call
36556 MB(Call
36565 Call
36591 Call
36603 MU(Call
36606 Call
36619 Call
36625 Call
36649 MB(Call
36663 MB(Call
36720 Call
36734 MU(Call
36737 Call
36754 Call
36764 Call
36789 MB(Call
36817 Call
36847 Call
36871 Call
36880 Call
36883 Call
36898 Call
36901 Call
36913 Call
36940 MB(Call
36968 MB(Call
37013 Call
37045 Call
37058 Call
37061 Call
37074 Call
37077 Call
37091 Call
37117 MB(Call
37130 Call
37158 MB(Call
37246 Call
37273 Call
37283 Call
37286 Call
37300 Call
37303 Call
37318 Call
37340 MB(Call
37348 Call
37366 Call
37377 MU(Call
37380 Call
37407 Call
37429 MB(Call
37442 Call
37512 Call
37539 Call
37560 Call
37563 Call
37577 Call
37580 Call
37595 Call
37616 MB(Call
37643 Call
37666 Call
37688 Call
37709 Call
37712 Call
37727 Call
37730 Call
37742 Call
37762 MB(Call
37775 Call
37814 Call
37817 Call
37826 Call
37829 Call
37839 Call
37859 MB(Call
37893 Call
37924 Call
37945 Call
37948 Call
37961 Call
37964 Call
37978 Call
37999 MB(Call
38008 Call
38025 Call
38036 MU(Call
38039 Call
38052 Call
38070 Call
38090 MB(Call
38118 Call
38130 MU(Call
38133 Call
38150 Call
38168 Call
38173 Call
38181 Call("Thumb",CTy"MachineCode",Var("h",F16)),
38190 MB(Call
38198 Call
38205 MU(Call
38208 Call
38235 Call
38246 MB(Call
38254 Call
38261 MU(Call
38264 Call
38286 Call
38294 MB(Call
38301 Call
38308 MB(Call
38315 Call
38327 MU(Call
38330 Call
38360 Call
38373 MB(Call
38378 MB(MB(MB(Call
38391 Call
38398 MU(Call
38401 Call
38421 Call
38434 MB(Call
38439 MB(MB(MB(Call
38452 Call
38459 MU(Call
38462 Call
38482 Call
38492 MB(Call
38500 Call
38521 MB(Call
38535 Call
38548 MU(Call
38551 Call
38562 Call
38580 MB(Call
38590 Call
38597 MB(Call
38604 Call
38615 MU(Call
38618 Call
38627 Call
38649 MB(Call
38664 Call
38673 MB(Call
38695 Call
38709 MU(Call
38712 Call
38733 Call
38751 MB(Call
38756 MB(MB(MB(Call
38774 Call
38786 Call
38789 Call
38801 Call
38804 Call
38816 Call
38819 Call
38831 Call
38836 Call
38846 MB(Call
38854 Call
38874 MB(Call
38891 MB(Call
38910 MB(Call
38926 Call
38939 MU(Call
38942 Call
38953 Call
38964 MB(Call
38974 Call
38981 MU(Call
38984 Call
38998 Call
39019 MB(Call
39033 Call
39051 MB(Call
39060 Call
39068 MB(Call
39107 Call
39116 Call
39129 MU(Call
39137 Call
39145 MB(Call
39153 Call
39160 MB(Call
39167 MB(Call
39182 Call
39194 MU(Call
39197 Call
39217 Call
39222 Call
39227 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
39233 Call
39239 MB(Call
39247 MU(Call
39250 Call
39274 Call
39281 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
39287 Call
39293 MU(Call
39295 Call
39315 Call
39321 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
39327 Call
39338 MB(Call
39347 MU(Call
39350 Call
39380 Call
39392 MB(Call
39400 Call
39413 Call
39432 Call
39435 Call
39451 Call
39454 Call
39471 Call
39483 MB(Call
39491 Call
39504 Call
39521 Call
39524 Call
39541 Call
39544 Call
39561 Call
39566 Call
39577 MB(Call
39585 Call
39598 Call
39617 Call
39620 Call
39637 Call
39640 Call
39657 Call
39666 MB(Call
39673 Call
39684 Call
39706 Call
39709 Call
39723 Call
39726 Call
39741 Call
39748 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
39754 Call
39767 MB(Call
39778 Call
39790 MU(Call
39793 Call
39808 Call
39818 MB(Call
39825 Call
39842 MB(Call
39855 Call
39868 MU(Call
39871 Call
39891 Call
39902 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
39908 Call
39914 MU(Call
39926 Call
39936 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
39942 Call
39948 MU(Call
39950 Call
39964 Call
39970 MB(Call
39978 MB(Call
39984 Call
39993 MU(Call
39996 Call
40011 Call
40014 Call
40020 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
40026 Call
40032 MB(Call
40040 MU(Call
40043 Call
40074 Call
40079 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
40085 Call
40091 MB(Call
40099 MU(Call
40102 Call
40131 Call
40135 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
40141 Call
40147 MB(Call
40158 Call
40170 Call
40173 Call
40194 Call
40208 MB(Call
40216 Call
40228 MB(Call
40241 MU(Call
40244 Call
40267 MB(Call
40280 MU(Call
40283 Call
40306 MB(Call
40319 MU(Call
40322 Call
40345 MB(Call
40358 MU(Call
40361 Call
40384 MB(Call
40397 MU(Call
40400 Call
40423 MB(Call
40436 MU(Call
40439 Call
40462 MB(Call
40475 MU(Call
40478 Call
40487 Call
40506 MB(Call
40519 MU(Call
40522 Call
40531 Call
40550 MB(Call
40563 MU(Call
40566 Call
40575 Call
40594 MB(Call
40607 MU(Call
40610 Call
40627 MU(Call
40630 Call
40648 MU(Call
40651 Call
40669 MU(Call
40672 Call
40690 MB(Call
40702 MU(Call
40705 Call
40730 MB(Call
40755 Call
40769 MB(Call
40782 MU(Call
40785 Call
40797 MB(Call
40809 MU(Call
40812 Call
40830 Call
40845 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
40848 MB(MB(MB(Call
40866 Call
40877 MB(Call
40893 MB(Call
40923 Call
40935 MU(Call
40938 Call
40954 Call
40967 Call
40969 Call
40980 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
40986 Call
41011 Call
41019 MU(Call
41022 Call
41031 Call
41044 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
41047 MB(MB(MB(Call
41071 Call
41082 MB(Call
41098 MB(Call
41114 Call
41126 MU(Call
41129 Call
41142 Call
41153 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
41159 Call
41165 MB(Call
41171 MB(Call
41184 Call
41195 MU(Call
41198 Call
41207 Call
41219 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
41222 MB(MB(MB(Call
41234 Call
41240 MB(Call
41246 MB(Call
41268 Call
41279 MU(Call
41282 Call
41287 Call
41293 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
41299 Call
41305 MU(Call
41307 Call
41326 Call
41334 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
41340 Call
41351 Call
41370 Call
41373 Call
41390 Call
41393 Call
41410 Call
41413 Call
41430 Call
41433 Call
41451 Call
41454 Call
41471 Call
41474 Call
41492 Call
41495 Call
41513 Call
41516 Call
41534 Call
41539 Call
41545 Call("Thumb",CTy"MachineCode",Var("h",F16)),
41557 MB(Call
41565 Call
41584 Call
41595 Call
41611 MU(Call
41614 Call
41633 MU(Call
41636 Call
41655 MU(Call
41658 Call
41677 MU(Call
41680 Call
41700 MU(Call
41703 Call
41723 Call
41730 Call
41741 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
41747 Call
41753 MB(Call
41759 MB(Call
41773 Call
41784 MU(Call
41787 Call
41806 Call
41815 MU(Call("Undefined",CTy"instruction",LW(0,32)),qTy)),
41820 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
41826 Call
41832 MB(Call
41838 MB(Call
41852 Call
41863 MU(Call
41866 Call
41886 Call
41893 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
41899 Call
41905 MB(Call
41911 MB(Call
41925 Call
41936 MU(Call
41939 Call
41960 Call
41969 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
41975 Call
41981 MU(Call
41983 Call
41996 Call
42006 Call
42018 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
42024 Call
42042 Call
42052 MU(Call
42055 Call
42061 Call
42071 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
42077 Call
42083 MU(Call
42085 Call
42094 Call
42106 Call
42115 MB(Call("ThumbCondition",ATy(qTy,PTy(F4,qTy)),LU),
42121 Call
42132 Call
42151 Call
42154 Call
42168 Call
42171 Call
42186 Call
42191 Call
42198 Call
42209 Call("Thumb2",CTy"MachineCode",Var("h",PTy(F16,F16))),
42258 MB(Call
42265 MB(MB(MB(Call
42281 Call
42315 Call
42329 MU(Call
42332 Call
42345 Call
42355 Call
42383 MB(Call
42390 MB(MB(MB(Call
42406 Call
42437 Call
42482 Call
42485 Call
42496 Call
42499 Call
42510 Call
42513 Call
42524 Call
42530 Call
42559 MB(Call
42566 MB(MB(MB(Call
42582 Call
42616 Call
42629 MU(Call
42682 Call
42723 MB(Call
42730 MB(MB(MB(Call
42746 Call
42780 Call
42794 MU(Call
42797 Call
42812 Call
42846 MB(Call
42852 MB(MB(MB(Call
42868 Call
42904 Call
42924 Call
42927 Call
42936 Call
42939 Call
42948 Call
42951 Call
42960 Call
42963 Call
42971 Call
43017 MB(Call
43024 MB(MB(MB(Call
43040 Call
43074 Call
43088 MU(Call
43091 Call
43101 Call
43140 MB(Call
43146 MB(MB(MB(Call
43162 Call
43198 Call
43212 MU(Call
43215 Call
43223 Call
43253 MB(Call
43261 MB(MB(MB(Call
43277 Call
43316 Call
43352 MU(Call
43355 Call
43372 MU(Call
43375 Call
43394 MB(Call
43414 MU(Call
43417 Call
43435 MU(Call
43438 Call
43456 MU(Call
43459 Call
43479 MU(Call
43482 Call
43502 MU(Call
43505 Call
43522 MU(Call
43525 Call
43544 MU(Call
43547 Call
43567 MU(Call
43570 Call
43590 MB(Call
43610 MU(Call
43613 Call
43632 MU(Call
43635 Call
43652 MU(Call
43658 Call
43689 MB(Call
43696 MB(MB(MB(Call
43731 Call
43765 Call
43779 MU(Call
43794 Call
43821 MB(Call
43829 MB(MB(MB(Call
43845 Call
43892 Call
43939 Call
43942 Call
43976 Call
43979 Call
44011 Call
44014 Call
44051 Call
44054 Call
44065 Call
44071 Call
44077 Call
44081 Call
44106 MB(Call
44112 MB(MB(MB(Call
44128 Call
44139 MB(Call
44157 MB(Call
44173 Call
44187 MU(Call
44190 Call
44217 Call
44230 MB(Call
44236 MB(MB(MB(Call
44252 Call
44263 MB(Call
44281 MB(Call
44297 Call
44311 MU(Call
44314 Call
44328 Call
44348 Call
44367 MB(Call
44373 MB(MB(MB(Call
44389 Call
44407 Call
44421 MU(Call
44424 Call
44437 Call
44453 Call
44479 MB(Call
44488 MB(MB(MB(Call
44518 Call
44534 MB(Call
44552 MB(Call
44579 Call
44593 MU(Call
44596 Call
44613 Call
44629 Call
44664 MB(Call
44671 MB(MB(MB(Call
44687 Call
44698 MB(Call
44716 MB(Call
44744 Call
44758 MU(Call
44761 Call
44775 Call
44789 Call
44795 Call
44800 Call
44843 MB(Call
44850 MB(MB(MB(Call
44876 Call
44899 Call
44913 MU(Call
44916 Call
44926 Call
44940 Call
44961 MB(Call
44967 MB(MB(MB(Call
44993 Call
45011 Call
45025 MU(Call
45028 Call
45037 Call
45053 Call
45076 MB(Call
45084 MB(MB(MB(Call
45120 Call
45147 Call
45161 MU(Call
45164 Call
45181 Call
45197 Call
45214 MB(Call
45220 MB(MB(MB(Call
45246 Call
45261 Call
45275 MU(Call
45278 Call
45288 Call
45308 Call
45314 Call
45319 Call
45341 MB(Call
45361 MB(Call
45366 MB(MB(MB(Call
45378 Call
45387 MU(Call
45390 Call
45415 Call
45434 MB(Call
45439 MB(MB(MB(Call
45458 Call
45467 MU(Call
45470 Call
45479 Call
45499 Call
45513 MB(Call
45518 MB(MB(MB(Call
45537 Call
45546 MU(Call
45549 Call
45559 Call
45579 Call
45592 MB(Call
45600 Call
45606 Call
45621 Call
45632 MU(Call
45635 Call
45649 Call
45669 Call
45700 MB(Call
45705 MB(MB(MB(Call
45720 Call
45735 Call
45783 Call
45786 Call
45795 Call
45798 Call
45808 Call
45825 MB(Call
45831 MB(MB(MB(Call
45847 Call
45862 Call
45884 Call
45914 Call
45917 Call
45930 Call
45933 Call
45947 Call
45971 MB(Call
45979 Call
45985 Call
46000 Call
46011 MU(Call
46014 Call
46028 Call
46044 Call
46069 MB(Call
46074 MB(MB(MB(Call
46093 Call
46102 MU(Call
46105 Call
46115 Call
46131 Call
46141 MU(Call
46159 MB(Call
46165 MB(MB(MB(Call
46181 Call
46199 Call
46239 Call
46249 Call
46252 Call
46265 Call
46268 Call
46277 Call
46282 Call
46285 Call
46297 Call
46336 MB(Call
46342 MB(MB(MB(Call
46358 Call
46393 Call
46427 Call
46447 Call
46450 Call
46463 Call
46466 Call
46480 Call
46516 MB(Call
46526 Call
46532 Call
46548 Call
46566 Call
46580 MU(Call
46583 Call
46597 Call
46611 Call
46648 MB(Call
46653 MB(MB(MB(Call
46675 Call
46693 Call
46706 MU(Call
46709 Call
46719 Call
46733 Call
46796 MB(Call
46803 MB(MB(MB(Call
46819 Call
46842 Call
46870 Call
46888 Call
46891 Call
46904 Call
46907 Call
46921 Call
46927 Call
46931 Call
46964 MB(Call
46970 MB(MB(MB(Call
46996 Call
47022 Call
47044 Call
47062 Call
47065 Call
47077 Call
47080 Call
47093 Call
47112 MB(Call
47117 MB(MB(MB(Call
47142 Call
47160 Call
47196 Call
47199 Call
47208 Call
47213 Call
47216 Call
47225 Call
47231 Call
47252 MB(Call
47259 MB(MB(MB(Call
47295 Call
47325 Call
47352 Call
47372 Call
47375 Call
47387 Call
47390 Call
47403 Call
47418 MB(Call
47423 MB(MB(MB(Call
47448 Call
47466 Call
47487 Call
47511 Call
47514 Call
47526 Call
47529 Call
47542 Call
47548 Call
47551 Call
47566 MB(Call
47571 MB(MB(MB(Call
47581 Call
47611 MB(Call
47651 Call
47665 MU(Call
47668 Call
47679 Call
47693 MB(Call
47698 MB(MB(MB(Call
47708 Call
47738 MB(Call
47778 Call
47792 MU(Call
47795 Call
47806 Call
47824 MB(Call
47829 MB(MB(MB(Call
47843 Call
47877 MB(Call
47919 MB(Call
47938 MB(Call
47968 Call
47982 MU(Call
47985 Call
47996 Call
48015 MB(Call
48020 MB(MB(MB(Call
48034 Call
48068 MB(Call
48110 MB(Call
48129 MB(Call
48159 Call
48173 MU(Call
48176 Call
48187 Call
48198 MB(Call
48203 MB(MB(MB(Call
48223 Call
48230 MB(Call
48246 Call
48259 MU(Call
48262 Call
48283 Call
48297 MB(Call
48302 MB(MB(MB(Call
48327 Call
48335 MB(Call
48363 MB(Call
48372 MB(Call
48388 Call
48401 MU(Call
48404 Call
48420 Call
48443 MB(Call
48448 MB(MB(MB(Call
48462 Call
48501 Call
48513 MU(Call
48516 Call
48540 Call
48560 MB(Call
48565 MB(MB(MB(Call
48576 Call
48595 Call
48607 MU(Call
48610 Call
48632 Call
48662 MB(Call
48667 MB(MB(MB(Call
48687 Call
48726 Call
48743 Call
48746 Call
48755 Call
48758 Call
48768 Call
48804 MB(Call
48809 MB(MB(MB(Call
48831 Call
48880 Call
48894 MU(Call
48897 Call
48909 Call
48936 MB(Call
48941 MB(MB(MB(Call
48952 Call
48960 MB(Call
48968 MB(Call
49001 Call
49014 MU(Call
49017 Call
49030 Call
49055 MB(Call
49060 MB(MB(MB(Call
49078 Call
49097 Call
49114 Call
49117 Call
49124 Call
49127 Call
49135 Call
49165 MB(Call
49170 MB(MB(MB(Call
49190 Call
49224 Call
49236 MU(Call
49239 Call
49249 Call
49275 MB(Call
49281 MB(MB(MB(Call
49311 Call
49359 Call
49373 MU(Call
49376 Call
49395 Call
49413 Call
49435 MB(Call
49440 MB(MB(MB(Call
49469 Call
49503 Call
49515 MU(Call
49518 Call
49545 Call
49571 MB(Call
49577 MB(MB(MB(Call
49607 Call
49655 Call
49669 MU(Call
49672 Call
49691 Call
49709 Call
49744 MB(Call
49752 MB(MB(MB(Call
49768 Call
49782 Call
49832 Call
49846 MU(Call
49849 Call
49896 Call
49910 MU(Call
49913 Call
49958 Call
49972 MU(Call
49975 Call
50052 Call
50078 Call
50092 MU(Call
50095 Call
50134 Call
50148 MU(Call
50151 Call
50189 Call
50203 MU(Call
50206 Call
50245 Call
50259 MU(Call
50262 Call
50301 Call
50315 MU(Call
50318 Call
50365 Call
50379 MU(Call
50382 Call
50411 MU(Call
50440 Call
50454 MU(Call
50457 Call
50495 Call
50509 MU(Call
50512 Call
50556 Call
50573 Call
50583 Call
50586 Call
50631 Call
50645 MU(Call
50648 Call
50693 Call
50707 MU(Call
50710 Call
50746 Call
50760 MU(Call
50763 Call
50807 Call
50821 MU(Call
50824 Call
50869 Call
50883 MU(Call
50886 Call
50907 MU(Call
50913 Call
50919 Call
50922 Call
50945 MB(Call
50950 MB(MB(MB(Call
50959 Call
50969 Call
50980 MU(Call
50983 Call
51002 Call
51029 MB(Call
51034 MB(MB(MB(Call
51044 Call
51062 Call
51074 MU(Call
51077 Call
51090 Call
51117 MB(Call
51130 Call
51163 MB(Call
51170 MB(MB(MB(Call
51186 Call
51197 MB(Call
51240 Call
51254 MU(Call
51257 Call
51287 Call
51315 MB(Call
51320 MB(MB(MB(MB(Call
51330 Call
51337 MB(Call
51368 MB(Call
51375 Call
51387 MU(Call
51390 Call
51398 Call
51419 MB(Call
51424 MB(MB(MB(Call
51433 Call
51451 MU(Call
51454 Call
51460 MU(Call
51463 Call
51469 MU(Call
51472 Call
51478 MB(Call
51492 MU(Call
51498 MB(Call
51512 Call
51535 MB(Call
51540 MB(MB(MB(Call
51549 Call
51556 MB(Call
51571 MU(Call
51578 MB(Call
51597 MB(Call
51606 MB(Call
51622 Call
51636 MB(Call
51645 Call
51650 Call
51653 Call
51668 Call
51689 MB(Call
51694 MB(MB(MB(Call
51703 Call
51713 Call
51724 MU(Call
51727 Call
51746 Call
51768 MB(Call
51773 MB(MB(MB(Call
51782 Call
51792 Call
51803 MU(Call
51806 Call
51816 Call
51837 MB(Call
51841 MB(MB(MB(Call
51850 Call
51856 MB(Call
51862 Call
51873 MU(Call
51876 Call
51900 Call
51920 MB(Call
51924 MB(MB(MB(Call
51956 Call
51962 MB(Call
51968 MB(Call
51983 Call
51995 MU(Call
51998 Call
52008 Call
52027 MB(Call
52031 MB(MB(MB(Call
52040 Call
52046 MU(Call
52069 Call
52075 MB(Call("HaveThumb2",ATy(qTy,PTy(bTy,qTy)),LU),
52084 Call
52090 MB(Call
52096 Call
52107 MU(Call
52110 Call
52147 Call
52160 MB(Call
52165 MB(MB(MB(Call
52199 Call
52210 MB(Call
52219 MB(Call
52235 Call
52297 Call
52300 Call
52307 Call
52310 Call
52316 Call
52328 MB(Call
52333 MB(MB(MB(Call
52373 MB(Call
52386 Call
52402 Call
52411 MB(Call
52420 MB(Call
52436 Call
52450 MU(Call
52453 Call
52500 Call
52505 Call
52508 Call
52523 MB(Call
52528 MB(MB(MB(Call
52538 Call
52586 Call
52631 Call
52645 MU(Call
52648 Call
52684 Call
52698 MU(Call
52701 Call
52735 Call
52749 MU(Call
52752 Call
52779 Call
52793 MU(Call
52796 Call
52824 Call
52838 MU(Call
52841 Call
52868 Call
52882 MU(Call
52885 Call
52913 Call
52927 MU(Call
52930 Call
52958 Call
52972 MU(Call
52975 Call
53011 Call
53025 MU(Call
53028 Call
53053 Call
53067 MU(Call
53070 Call
53103 Call
53117 MU(Call
53120 Call
53154 Call
53168 MU(Call
53171 Call
53205 Call
53219 MU(Call
53222 Call
53247 Call
53261 MU(Call
53264 Call
53297 Call
53311 MU(Call
53314 Call
53348 Call
53362 MU(Call
53365 Call
53383 MU(Call
53389 Call
53404 MB(Call
53408 MB(MB(MB(Call
53417 Call
53425 Call
53435 MU(Call
53438 Call
53467 Call
53482 MB(Call
53486 MB(MB(MB(Call
53495 Call
53503 Call
53513 MU(Call
53516 Call
53545 Call
53559 MB(Call
53563 MB(MB(MB(Call
53572 Call
53580 Call
53590 MU(Call
53593 Call
53626 Call
53658 MB(Call
53663 MB(MB(MB(Call
53673 Call
53695 Call
53712 Call
53715 Call
53736 Call
53757 MB(Call
53762 MB(MB(MB(Call
53772 Call
53794 Call
53814 Call
53832 Call
53835 Call
53859 Call
53877 MB(Call
53882 MB(MB(MB(Call
53891 Call
53939 Call
53951 MU(Call
53954 Call
53969 Call
53988 MB(Call
53993 MB(MB(MB(Call
54002 Call
54044 Call
54056 MU(Call
54059 Call
54069 Call
54074 Call
54077 Call
54083 [(Call("ARM",CTy"MachineCode",Var("w",F32)),
54084 Call("DecodeARM",ATy(qTy,PTy(CTy"instruction",qTy)),Var("w",F32))),
54085 (Call("Thumb",CTy"MachineCode",Var("h",F16)),
54086 Call
54088 (Call("ThumbEE",CTy"MachineCode",Var("h",F16)),
54089 Call
54091 (Call("Thumb2",CTy"MachineCode",Var("hs",PTy(F16,F16))),
54092 Call
54121 Call
54124 MB(Call
54132 MB(Call
54140 Call