Lines Matching refs:CC
441 CC[EX(Var("x",F32),LN 15,LN 10,FTy 6),
455 CC[Mop(Cast F1,bVar"N"),Mop(Cast F1,bVar"Z"),Mop(Cast F1,bVar"C"),
483 CC[EX(Var("x",F32),LN 6,LN 3,F4),EX(Var("x",F32),LN 9,LN 8,FTy 2),
499 CC[Mop(Cast F1,bVar"IE"),Mop(Cast F1,bVar"TE"),
532 CC[EX(Var("x",F32),LN 4,LN 3,FTy 2),
545 CC[EX(Var("hsctlr'rst",FTy 23),LN 0,LN 0,F1),
578 CC[Var("EC",FTy 6),Mop(Cast F1,bVar"IL"),Var("ISS",FTy 25)])]))
604 CC[Var("scr'rst",FTy 22),Mop(Cast F1,bVar"SIF"),
625 CC[EX(Var("x",F32),LN 18,LN 16,FTy 3),
634 CC[EX(Var("nsacr'rst",FTy 14),LN 10,LN 0,FTy 11),
674 CC[Var("hcr'rst",F4),Mop(Cast F1,bVar"TGE"),
758 CC[LS"BadMode: ",
784 CC[LS"BadMode: ",
809 CC[LS"BadMode: ",
828 CC[Mop(Cast F1,Dest("J",bTy,Dest("CPSR",CTy"PSR",qVar"state"))),
1029 CC[LS"SPSR: BadMode: ",
1063 CC[LS"SPSR: BadMode: ",
1340 CC[LS
1693 CC[LS
1744 CC[LS"RBankSelect: BadMode",
2031 CC[EX(Var("address",F32),LN 31,LN 2,FTy 30),LW(0,2)]),
2050 CC[EX(Var("address",F32),LN 31,LN 1,FTy 31),LW(0,1)]),
2064 CC[EX(Var("address",F32),LN 31,LN 1,FTy 31),LW(0,1)]),
2077 CC[EX(Var("address",F32),LN 31,LN 1,FTy 31),LW(0,1)]),
2167 TP[EX(CC[Apply
2178 TP[EX(CC[Apply
2199 TP[EX(CC[Apply
2410 TP[CC[EX(vVar"value",LN 7,LN 0,vTy),
2413 TP[CC[EX(vVar"value",LN 7,LN 0,vTy),
2418 TP[CC[EX(vVar"value",LN 7,LN 0,vTy),
2971 CC[EX(Var("v",F32),LN 31,
3115 CC[Mop(Cast vTy,Var("x",BTy"N")),
3220 CC[Mop(Cast vTy,bVar"carry_in"),
3348 TP[CC[LW(0,8),EX(Var("imm12",FTy 12),LN 7,LN 0,F8),
3359 TP[CC[EX(Var("imm12",FTy 12),LN 7,LN 0,F8),LW(0,8),
3370 TP[CC[EX(Var("imm12",FTy 12),LN 7,LN 0,F8),
3380 CC[LW(1,1),EX(Var("imm12",FTy 12),LN 6,LN 0,FTy 7)]),
5716 TP[LW(18,6),CC[Var("immediate",F16),LW(0,9)]]),qVar"state"))))
5925 CC[EX(Var("x",F32),LN 6,LN 5,FTy 2),
5937 CC[Mop(Cast F1,bVar"N"),Mop(Cast F1,bVar"Z"),Mop(Cast F1,bVar"C"),
6174 CC[EX(Var("imm8",F8),LN 7,LN 7,F1),
6178 CC[EX(Var("imm8",F8),LN 7,LN 7,F1),
6198 ("FPZero32",Var("sign",F1),CC[Var("sign",F1),LW(0,31)])
6201 ("FPZero64",Var("sign",F1),CC[Var("sign",F1),LW(0,63)])
7125 CC[Var("v",F32),Var("v0",F32)],
7126 CC[Var("v0",F32),Var("v",F32)]),
7188 Let(Var("imm32",F32),Mop(Cast F32,CC[Var("imm8",F8),LW(0,2)]),
7345 CC[Var("v",
7349 CC[Var("v0",
7405 Let(Var("imm32",F32),Mop(Cast F32,CC[Var("imm8",F8),LW(0,2)]),
7620 CC[EX(Var("v",F32),LN 31,LN 1,FTy 31),LW(1,1)]),
7661 CC[EX(Bop(Sub,Var("v",F32),LW(2,32)),LN 31,
7763 CC[EX(Var("v",F32),LN 31,LN 1,FTy 31),
7787 CC[EX(Bop(Sub,Var("v",F32),LW(2,32)),LN 31,LN 1,
7810 CC[EX(Bop(Sub,Var("v",F32),LW(2,32)),LN 31,LN 1,FTy 31),
7874 CC[Var("firstcond",F4),Var("mask",F4)]])])),
8104 Let(Var("opc",F4),CC[LW(3,2),Mop(Cast F1,bVar"negate"),LW(1,1)],
8142 TP[CC[LW(2,2),Var("op",FTy 2)],LT,LX F4,Var("n",F4),
8225 TP[CC[LW(2,2),Var("opc",FTy 2)],LT,LW(0,4),Var("n",F4),
8862 CC[Var("v1",F32),Var("v2",F32)],LW(0,64))),
9274 TP[CC[Var("v1",F32),Var("v2",F32)],
9406 TP[CC[Var("v",F32),Var("v0",F32)],
9559 TP[CC[Mop(Cast F16,iVar"res2"),
9615 TP[CC[Var("v",F16),Var("v0",F16)],qVar"s"]),
9638 TP[CC[Mop(Cast F16,Bop(Div,iVar"res2",LI 2)),
9693 TP[CC[Mop(Cast F8,iVar"res4"),
9799 TP[CC[Var("v1",F8),
9802 TP[CC[Var("v0",F8),
9804 TP[CC[Var("v",F8),Var("v0",FTy 24)],
9830 TP[CC[Mop(Cast F8,Bop(Div,iVar"res4",LI 2)),
9918 TP[CC[Mop(Cast F16,iVar"res2"),
9983 TP[CC[Var("v",F16),Var("v0",F16)],qVar"s"]),
10006 TP[CC[Mop(Cast F16,Bop(Div,iVar"res2",LI 2)),
10076 TP[CC[Mop(Cast F8,iVar"res4"),
10194 TP[CC[Var("v1",F8),
10197 TP[CC[Var("v0",F8),
10199 TP[CC[Var("v",F8),Var("v0",FTy 24)],
10225 TP[CC[Mop(Cast F8,Bop(Div,iVar"res4",LI 2)),
10399 TP[CC[Var("v1",F16),Var("v0",F16)],
10503 CC[Var("result2",F16),
10505 CC[Call
10574 TP[CC[Bop(Add,EX(Var("v",F32),LN 31,LN 16,F16),
10627 TP[CC[ITE(Bop(Bit,
10666 TP[CC[EX(Var("v",F32),LN 7,LN 0,F8),
10683 TP[CC[EX(Var("v",F32),LN 23,LN 16,F8),
10700 TP[CC[Mop(SE(FTy 24),EX(Var("v",F32),LN 7,LN 0,F8)),
13288 TP[CC[Var("v",F32),Var("v0",F32)],
13300 TP[CC[Var("v",F32),Var("v0",F32)],
16050 CC[LS"Decode ",
16053 CC[Mop(Cast sTy,Mop(Cast vTy,Var("opc",F32))),
16056 CC[Mop(Cast sTy,Mop(Cast vTy,Var("opc",F16))),
16059 CC[Mop(Cast sTy,Mop(Cast vTy,Var("opc",F16))),
16064 CC[Mop(Cast sTy,Mop(Cast vTy,Var("opc1",F16))),
16355 TP[CC[Var("D",
16359 CC[Var("N",
16363 CC[Var("M",
16367 TP[CC[Var("Vd",
16371 CC[Var("Vn",
16375 CC[Var("Vm",
16516 TP[CC[Var("D",
16520 CC[Var("N",
16524 CC[Var("M",
16528 TP[CC[Var("Vd",
16532 CC[Var("Vn",
16536 CC[Var("Vm",
16591 TP[CC[Var("D",
16595 CC[Var("N",
16599 CC[Var("M",
16603 TP[CC[Var("Vd",
16607 CC[Var("Vn",
16611 CC[Var("Vm",
16671 TP[CC[Var("D",
16675 CC[Var("N",
16679 CC[Var("M",
16683 TP[CC[Var("Vd",
16687 CC[Var("Vn",
16691 CC[Var("Vm",
16752 TP[CC[Var("Vd",F4),
16754 CC[Var("Vm",F4),
16756 TP[CC[Var("D",F1),
16758 CC[Var("M",F1),
16809 TP[CC[Var("D",F1),
16811 CC[Var("M",F1),
16813 TP[CC[Var("Vd",F4),
16815 CC[Var("Vm",F4),
16867 TP[CC[Var("D",F1),
16869 CC[Var("M",F1),
16871 TP[CC[Var("Vd",F4),
16873 CC[Var("Vm",F4),
16923 TP[CC[Var("D",F1),
16925 CC[Var("M",F1),
16927 TP[CC[Var("Vd",F4),
16929 CC[Var("Vm",F4),
16981 TP[CC[Var("D",F1),
16984 CC[Var("M",F1),
16987 TP[CC[Var("Vd",
16990 CC[Var("Vm",
17062 CC[Var("D",F1),
17064 CC[Var("Vd",F4),
17100 TP[CC[Var("Vd",F4),
17102 CC[Var("M",F1),
17104 TP[CC[Var("D",F1),
17106 CC[Var("Vm",F4),
17164 CC[Var("D",F1),
17166 CC[Var("Vd",F4),
17168 CC[Mop(Cast F4,
17210 CC[Mop(Cast F4,
17218 CC[Var("M",F1),
17220 CC[Var("Vm",F4),
17258 CC[Var("Vd",F4),
17260 CC[Var("D",F1),
17264 TP[CC[Mop(Cast F4,
17308 CC[Mop(Cast F4,
17394 TP[CC[Var("Vd",F4),
17398 TP[CC[Var("D",F1),
17497 TP[CC[Var("Vd",F4),
17501 TP[CC[Var("D",F1),
17584 CC[Var("Vd",F4),Var("D",F1)],
17585 CC[Var("D",F1),Var("Vd",F4)]),
17590 CC[Mop(Cast F8,
17643 CC[Mop(Cast F4,
17719 CC[Mop(Cast F1,LL[bVar"b'5"]),
18817 EQ(CC[Var("A",
19055 CC[Mop(Cast(FTy 24),
19139 CC[Mop(Cast(FTy 12),
20606 TP[CC[Var("tb",
20827 TP[CC[Mop(Cast
21065 CC[Mop(Cast
21163 CC[Mop(Cast
21259 CC[Mop(Cast
22488 CC[LS
22962 CC[Mop(Cast(FTy 24),
23010 CC[Mop(Cast
23080 CC[Mop(Cast F4,
23399 CC[Mop(Cast F1,
23553 CC[Mop(Cast F1,
23999 CC[Mop(Cast(FTy 12),
24067 CC[Mop(Cast(FTy 12),
27037 CC[Mop(Cast F4,
27146 CC[Mop(Cast
27309 CC[Mop(Cast
27428 CC[Mop(Cast
27565 CC[Mop(Cast
27687 CC[Mop(Cast
27775 CC[Mop(Cast
27869 CC[LW(15,4),
27915 CC[LW(30,5),
27959 CC[Mop(Cast F1,
28116 CC[LW(0,1),
28288 EQ(CC[Var("A",
28441 CC[Mop(Cast F1,
28676 CC[Mop(Cast
28886 CC[Mop(Cast
29051 CC[Mop(Cast
29126 CC[Mop(Cast F8,
29376 CC[Mop(Cast F8,
30117 CC[Var("DN",F1),
30205 CC[Mop(Cast F1,LL[bVar"b'7"]),
30276 CC[Var("D",F1),
30466 CC[Mop(Cast F8,
30858 CC[Mop(Cast(FTy 5),
30923 CC[Mop(Cast F8,
30985 CC[Mop(Cast(FTy 5),
31053 CC[Mop(Cast(FTy 3),
31084 CC[Mop(Cast F1,LL[bVar"b'7"]),
31147 CC[Mop(Cast(FTy 5),
31181 CC[Mop(Cast(FTy 6),
31463 CC[Mop(Cast
36381 CC[LW(0,1),
36497 CC[LW(0,1),
36622 CC[Var("P",F1),
36777 CC[Var("P",F1),
37175 CC[Mop(Cast
37282 CC[Mop(Cast
38031 CC[Mop(Cast
38161 CC[Mop(Cast
38309 CC[Mop(Cast
38447 CC[Var("imm3",
39191 CC[Var("imm3",
39625 CC[Mop(Cast F1,
39955 EQ(CC[Var("A",
40505 CC[Mop(Cast F1,
40693 CC[Mop(Cast F4,
40863 CC[Mop(Cast F4,
40907 CC[Mop(Cast F1,
41001 CC[Var("S",
41172 CC[Var("S",
41288 CC[Mop(Cast F1,
42040 CC[Mop(Cast F1,
42109 CC[Mop(Cast F1,
42176 CC[Mop(Cast F4,
42379 TP[CC[Mop(Cast
42384 CC[Mop(Cast
42505 CC[Mop(Cast
42626 CC[Mop(Cast
42755 CC[Bop(Sub,LW(15,4),Var("n",F4)),
42811 CC[EX(Var("imm64",F64),LN 31,LN 31,F1),
42822 CC[EX(Var("imm64",F64),LN 63,LN 63,F1),
42841 CC[Var("c",F4),LW(10,4),
42847 CC[Var("c",F4),LW(1245169,24),Var("Rm",F4)])),
42862 CC[Var("c",F4),LW(11,4),
42871 CC[LW(125,7),EX(Var("imm32",F32),LN 1,LN 1,F1),
42880 CC[Var("c",F4),LW(1245171,24),Var("Rm",F4)])),
42910 CC[Var("c",F4),LW(3825,12),Var("t",F4),LW(2576,12)])),
42914 CC[Var("c",F4),LW(3809,12),Var("t",F4),LW(2576,12)])),
42928 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(52,6),
42940 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(53,6),Var("Vd",F4),
42955 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(55,6),
42971 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(56,6),
42988 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(30,5),
43006 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(3,2),
43025 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(48,6),
43036 CC[Var("c",F4),LW(112,7),
43047 CC[Var("c",F4),LW(98,7),
43058 CC[Var("c",F4),LW(98,7),
43074 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(48,6),
43091 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(49,6),
43108 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(49,6),
43131 CC[Var("c",F4),LW(28,5),Var("D",F1),LW(3,2),
43154 CC[Var("c",F4),LW(28,5),Var("D",F1),LW(3,2),
43177 CC[Var("c",F4),LW(28,5),Var("D",F1),LW(2,2),
43200 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(0,2),
43231 CC[Var("c",F4),LW(28,5),Var("D",F1),
43256 CC[Var("c",F4),LW(28,5),Var("D",F1),LW(0,2),
43280 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(2,2),
43304 CC[Var("c",F4),LW(29,5),Var("D",F1),LW(1,2),
43323 CC[Var("c",F4),LW(13,4),Mop(Cast F1,bVar"add"),
43341 CC[Var("c",F4),LW(13,4),Mop(Cast F1,bVar"add"),
43355 CC[Var("c",F4),LW(6,3),ITE(bVar"add",LW(1,2),LW(2,2)),
43369 CC[Var("c",F4),LW(6,3),ITE(bVar"add",LW(1,2),LW(2,2)),
43380 CC[Var("c",F4),LW(367,12),Var("Rd",F4),LW(241,8),Var("Rm",F4)])),
43386 CC[Var("c",F4),LW(6,5),Mop(Cast F1,bVar"high"),LW(0,2),
43394 CC[Var("c",F4),LW(7,5),Mop(Cast F1,bVar"negate"),LW(1,1),
43406 CC[Var("c",F4),LW(6,5),Var("op",FTy 2),LW(1,1),Var("Rn",F4),
43414 CC[Var("c",F4),LW(1,3),Var("opc",F4),
43427 CC[Var("c",F4),LW(0,3),Var("opc",F4),
43440 CC[Var("c",F4),LW(2,5),Var("opc",FTy 2),LW(1,1),
43453 CC[Var("c",F4),LW(3,5),Mop(Cast F1,bVar"negate"),LW(1,1),
43467 CC[Var("c",F4),LW(0,3),Var("opc",F4),
43483 CC[Var("c",F4),LW(3,5),Mop(Cast F1,bVar"negate"),LW(1,1),
43497 CC[Var("c",F4),LW(2,5),Var("opc",FTy 2),LW(0,1),Var("Rn",F4),
43509 CC[Var("c",F4),LW(104,8),Var("Rn",F4),Var("Rd",F4),
43522 CC[Var("c",F4),LW(13,5),Mop(Cast F1,bVar"unsigned"),
43533 CC[Var("c",F4),LW(13,5),Mop(Cast F1,bVar"unsigned"),LW(2,2),
43543 CC[Var("c",F4),LW(13,5),Mop(Cast F1,bVar"unsigned"),LW(2,2),
43553 CC[Var("c",F4),LW(13,5),Mop(Cast F1,bVar"unsigned"),LW(3,2),
43563 CC[Var("c",F4),LW(13,5),Mop(Cast F1,bVar"unsigned"),LW(0,2),
43572 CC[Var("c",F4),LW(104,8),Var("Rn",F4),Var("Rd",F4),LW(251,8),
43577 CC[Var("c",F4),LW(1727,12),Var("d",F4),LW(243,8),Var("m",F4)])),
43583 CC[Var("c",F4),LW(1727,12),Var("d",F4),LW(251,8),Var("m",F4)])),
43589 CC[Var("c",F4),LW(1791,12),Var("d",F4),LW(251,8),Var("m",F4)])),
43593 CC[Var("c",F4),LW(1791,12),Var("Rd",F4),LW(243,8),Var("Rm",F4)])),
43600 CC[Var("c",F4),LW(15,5),Mop(Cast F1,bVar"unsigned"),LW(1,1),
43608 CC[Var("c",F4),LW(62,7),Mop(Cast(FTy 5),nVar"msbit"),
43618 CC[Var("c",F4),LW(18,8),EX(Var("imm32",F32),LN 15,LN 4,FTy 12),
43623 CC[Var("c",F4),LW(3280655,24),Var("option",F4)])),
43628 CC[LW(257425157,28),Var("option",F4)]),
43634 CC[LW(257425156,28),Var("option",F4)]),
43642 CC[LW(257425158,28),Var("option",F4)]),
43647 Call("ARM",CTy"MachineCode",CC[Var("c",F4),LW(52490244,28)])),
43649 Call("ARM",CTy"MachineCode",CC[Var("c",F4),LW(52490242,28)])),
43651 Call("ARM",CTy"MachineCode",CC[Var("c",F4),LW(52490243,28)])),
43653 Call("ARM",CTy"MachineCode",CC[Var("c",F4),LW(52490241,28)])),
43660 CC[LW(245,8),Mop(Cast F1,bVar"add"),
43676 CC[LW(247,8),Mop(Cast F1,bVar"add"),
43686 CC[LW(245,8),Mop(Cast F1,bVar"add"),LW(1535,11),
43696 CC[LW(244,8),Mop(Cast F1,bVar"add"),LW(5,3),Var("Rn",F4),
43711 CC[LW(246,8),Mop(Cast F1,bVar"add"),LW(5,3),Var("Rn",F4),
43736 CC[LW(3856,12),
43737 CC[Mop(Cast F1,Bop(Or,bVar"enable",bVar"disable")),
43744 Call("ARM",CTy"MachineCode",CC[Var("c",F4),LW(23068782,28)])),
43748 CC[Var("c",F4),LW(20,8),EX(Var("imm16",F16),LN 15,LN 4,FTy 12),
43755 CC[Var("c",F4),LW(2,5),Mop(Cast F1,bVar"read_spsr"),LW(15,6),
43762 CC[Var("c",F4),LW(2,5),Mop(Cast F1,bVar"read_spsr"),LW(0,2),
43772 CC[Var("c",F4),LW(6,5),Mop(Cast F1,bVar"write_spsr"),
43782 CC[Var("c",F4),LW(2,5),Mop(Cast F1,bVar"write_spsr"),LW(2,2),
43789 CC[Var("c",F4),LW(2,5),Mop(Cast F1,bVar"write_spsr"),LW(2,2),
43799 CC[LW(124,7),
43808 CC[Var("c",F4),LW(1441799,24),Var("imm4",F4)])),
43817 CC[LW(124,7),
43826 CC[Var("c",F4),LW(15,4),EX(Var("imm32",F32),LN 23,LN 0,FTy 24)])),
43831 CC[LW(3948608,22),Mop(Cast F1,bVar"E"),LW(0,9)]),
43843 CC[Var("c",F4),LW(1,7),Mop(Cast F1,bVar"setflags"),
43850 CC[Var("c",F4),LW(0,7),Mop(Cast F1,bVar"setflags"),Var("d",F4),
43858 CC[Var("c",F4),LW(1,5),Mop(Cast F1,bVar"signed"),
43867 CC[Var("c",F4),LW(4,8),Var("Rdhi",F4),Var("Rdlo",F4),
43874 CC[Var("c",F4),LW(6,8),Var("Rd",F4),Var("Ra",F4),Var("Rm",F4),
43882 CC[Var("c",F4),LW(16,8),Var("Rd",F4),Var("Ra",F4),Var("Rm",F4),
43891 CC[Var("c",F4),LW(22,8),Var("Rd",F4),LW(0,4),Var("Rm",F4),
43900 CC[Var("c",F4),LW(18,8),Var("Rd",F4),Var("Ra",F4),Var("Rm",F4),
43907 CC[Var("c",F4),LW(18,8),Var("Rd",F4),LW(0,4),Var("Rm",F4),
43915 CC[Var("c",F4),LW(20,8),Var("Rdhi",F4),Var("Rdlo",F4),
43924 CC[Var("c",F4),LW(112,8),Var("Rd",F4),Var("Ra",F4),
43933 CC[Var("c",F4),LW(116,8),Var("Rdhi",F4),Var("Rdlo",F4),
43942 CC[Var("c",F4),LW(117,8),Var("Rd",F4),Var("Ra",F4),
43951 CC[Var("c",F4),LW(117,8),Var("Rd",F4),Var("Ra",F4),
43963 CC[Var("c",F4),LW(97,8),Var("Rn",F4),Var("Rd",F4),LW(30,5),
43970 CC[Var("c",F4),LW(101,8),Var("Rn",F4),Var("Rd",F4),LW(30,5),
43977 CC[Var("c",F4),LW(98,8),Var("Rn",F4),Var("Rd",F4),LW(30,5),
43984 CC[Var("c",F4),LW(102,8),Var("Rn",F4),Var("Rd",F4),LW(30,5),
43991 CC[Var("c",F4),LW(99,8),Var("Rn",F4),Var("Rd",F4),LW(30,5),
43998 CC[Var("c",F4),LW(103,8),Var("Rn",F4),Var("Rd",F4),LW(30,5),
44005 CC[Var("c",F4),LW(97,8),Var("Rn",F4),Var("Rd",F4),LW(15,4),
44012 CC[Var("c",F4),LW(101,8),Var("Rn",F4),Var("Rd",F4),LW(15,4),
44019 CC[Var("c",F4),LW(98,8),Var("Rn",F4),Var("Rd",F4),LW(15,4),
44026 CC[Var("c",F4),LW(102,8),Var("Rn",F4),Var("Rd",F4),LW(15,4),
44033 CC[Var("c",F4),LW(99,8),Var("Rn",F4),Var("Rd",F4),LW(15,4),
44040 CC[Var("c",F4),LW(103,8),Var("Rn",F4),Var("Rd",F4),LW(15,4),
44047 CC[Var("c",F4),LW(120,8),Var("Rd",F4),Var("Ra",F4),
44064 CC[Var("c",F4),LW(2,3),Mop(Cast F1,bVar"index"),
44082 CC[Var("c",F4),LW(3,3),Mop(Cast F1,bVar"index"),
44093 CC[Var("c",F4),LW(5,4),Mop(Cast F1,bVar"add"),LW(31,7),
44103 CC[Var("c",F4),LW(4,4),Mop(Cast F1,bVar"add"),LW(3,3),
44120 CC[Var("c",F4),LW(6,4),Mop(Cast F1,bVar"add"),LW(3,3),
44141 CC[Var("c",F4),LW(2,3),Var("P",F1),
44148 CC[Var("c",F4),LW(0,3),Var("P",F1),
44172 CC[Var("c",F4),LW(3,3),Var("P",F1),
44183 CC[Var("c",F4),LW(0,3),Var("P",F1),
44196 CC[Var("c",F4),LW(5,4),Var("U",F1),LW(95,7),
44202 CC[Var("c",F4),LW(1,4),Var("U",F1),LW(95,7),
44213 CC[Var("c",F4),LW(4,4),Mop(Cast F1,bVar"add"),LW(7,3),
44230 CC[Var("c",F4),LW(6,4),Mop(Cast F1,bVar"add"),LW(7,3),
44241 CC[Var("c",F4),LW(0,4),Mop(Cast F1,bVar"add"),LW(7,3),
44254 CC[Var("c",F4),LW(0,4),Mop(Cast F1,bVar"add"),LW(3,3),
44270 CC[Var("c",F4),LW(0,3),Mop(Cast F1,bVar"index"),
44290 CC[Var("c",F4),LW(0,3),Mop(Cast F1,bVar"index"),
44302 CC[Var("c",F4),LW(1,4),Mop(Cast F1,bVar"add"),LW(95,7),
44315 CC[Var("c",F4),LW(0,4),Mop(Cast F1,bVar"add"),LW(7,3),
44329 CC[Var("c",F4),LW(0,4),Mop(Cast F1,bVar"add"),LW(3,3),
44340 CC[Var("c",F4),LW(4,3),Mop(Cast F1,bVar"index"),
44350 CC[Var("c",F4),LW(4,3),
44363 CC[Var("c",F4),LW(4,3),
44378 CC[Var("c",F4),LW(0,3),Mop(Cast F1,bVar"index"),
44393 CC[Var("c",F4),LW(0,3),Mop(Cast F1,bVar"index"),
44405 CC[Var("c",F4),LW(1,4),Mop(Cast F1,bVar"add"),LW(79,7),
44415 CC[Var("c",F4),LW(25,8),Var("Rn",F4),Var("Rt",F4),
44421 CC[Var("c",F4),LW(29,8),Var("Rn",F4),Var("Rt",F4),LW(3999,12)])),
44425 CC[Var("c",F4),LW(31,8),Var("Rn",F4),Var("Rt",F4),LW(3999,12)])),
44432 CC[Var("c",F4),LW(27,8),Var("Rn",F4),Var("Rt",F4),
44450 CC[Var("c",F4),LW(2,3),Mop(Cast F1,bVar"index"),
44468 CC[Var("c",F4),LW(3,3),Mop(Cast F1,bVar"index"),
44480 CC[Var("c",F4),LW(4,4),Mop(Cast F1,bVar"add"),LW(2,3),
44497 CC[Var("c",F4),LW(6,4),Mop(Cast F1,bVar"add"),LW(2,3),
44512 CC[Var("c",F4),LW(2,3),Mop(Cast F1,bVar"index"),
44530 CC[Var("c",F4),LW(3,3),Mop(Cast F1,bVar"index"),
44542 CC[Var("c",F4),LW(4,4),Mop(Cast F1,bVar"add"),LW(6,3),
44559 CC[Var("c",F4),LW(6,4),Mop(Cast F1,bVar"add"),LW(6,3),
44574 CC[Var("c",F4),LW(0,3),Mop(Cast F1,bVar"index"),
44592 CC[Var("c",F4),LW(0,3),Mop(Cast F1,bVar"index"),
44604 CC[Var("c",F4),LW(0,4),Mop(Cast F1,bVar"add"),LW(6,3),
44616 CC[Var("c",F4),LW(0,4),Mop(Cast F1,bVar"add"),LW(2,3),
44625 CC[Var("c",F4),LW(4,3),Mop(Cast F1,bVar"index"),
44635 CC[Var("c",F4),LW(4,3),
44650 CC[Var("c",F4),LW(0,3),Mop(Cast F1,bVar"index"),
44665 CC[Var("c",F4),LW(0,3),Mop(Cast F1,bVar"index"),
44676 CC[Var("c",F4),LW(24,8),Var("Rn",F4),Var("Rd",F4),
44684 CC[Var("c",F4),LW(28,8),Var("Rn",F4),Var("Rd",F4),LW(249,8),
44691 CC[Var("c",F4),LW(30,8),Var("Rn",F4),Var("Rd",F4),LW(249,8),
44699 CC[Var("c",F4),LW(26,8),Var("Rn",F4),Var("Rd",F4),
44751 CC[Var("c",F4),LW(2,5),Mop(Cast F1,bVar"byte"),LW(0,2),
44756 CC[LW(3711,12),EX(Var("imm32",F32),LN 15,LN 4,FTy 12),LW(15,4),
44759 Call("ARM",CTy"MachineCode",CC[Var("c",F4),LW(52490240,28)]))]))