Lines Matching refs:Call
476 Call("reg'EntryLo",F64,Var("x",CTy"EntryLo")))
480 Call("rec'EntryLo",CTy"EntryLo",Var("x",F64)))
497 Call("reg'Index",F32,Var("x",CTy"Index")))
501 Call("rec'Index",CTy"Index",Var("x",F32)))
516 Call("reg'Random",F32,Var("x",CTy"Random")))
520 Call("rec'Random",CTy"Random",Var("x",F32)))
535 Call("reg'Wired",F32,Var("x",CTy"Wired")))
539 Call("rec'Wired",CTy"Wired",Var("x",F32)))
558 Call("reg'PageMask",F32,Var("x",CTy"PageMask")))
562 Call("rec'PageMask",CTy"PageMask",Var("x",F32)))
584 Call("reg'EntryHi",F64,Var("x",CTy"EntryHi")))
588 Call("rec'EntryHi",CTy"EntryHi",Var("x",F64)))
626 Call("reg'StatusRegister",F32,Var("x",CTy"StatusRegister")))
630 Call("rec'StatusRegister",CTy"StatusRegister",Var("x",F32)))
657 Call("reg'ConfigRegister",F32,Var("x",CTy"ConfigRegister")))
661 Call("rec'ConfigRegister",CTy"ConfigRegister",Var("x",F32)))
693 Call("reg'ConfigRegister1",F32,Var("x",CTy"ConfigRegister1")))
698 Call("rec'ConfigRegister1",CTy"ConfigRegister1",Var("x",F32)))
721 Call("reg'ConfigRegister2",F32,Var("x",CTy"ConfigRegister2")))
726 Call("rec'ConfigRegister2",CTy"ConfigRegister2",Var("x",F32)))
761 Call("reg'ConfigRegister3",F32,Var("x",CTy"ConfigRegister3")))
766 Call("rec'ConfigRegister3",CTy"ConfigRegister3",Var("x",F32)))
788 Call("reg'ConfigRegister6",F32,Var("x",CTy"ConfigRegister6")))
793 Call("rec'ConfigRegister6",CTy"ConfigRegister6",Var("x",F32)))
819 Call("reg'CauseRegister",F32,Var("x",CTy"CauseRegister")))
823 Call("rec'CauseRegister",CTy"CauseRegister",Var("x",F32)))
842 Call("reg'Context",F64,Var("x",CTy"Context")))
846 Call("rec'Context",CTy"Context",Var("x",F64)))
866 Call("reg'XContext",F64,Var("x",CTy"XContext")))
870 Call("rec'XContext",CTy"XContext",Var("x",F64)))
899 Call("reg'HWREna",F32,Var("x",CTy"HWREna")))
903 Call("rec'HWREna",CTy"HWREna",Var("x",F32)))
946 CC[LS"MIPS exception ",Call("hex",sTy,Var("ExceptionCode",FTy 5))])
951 Call("hex",sTy,Var("data",F64))])
955 CC[LS"HI <- ",Call("hex",sTy,Var("data",F64))])
959 CC[LS"LO <- ",Call("hex",sTy,Var("data",F64))])
963 CC[Call("cpr",sTy,Var("r",FTy 5)),LS" <- ",
964 Call("hex",sTy,Var("data",F64))])
968 CC[LS"MEM[",Call("hex",sTy,CC[Var("addr",FTy 37),LW(0,3)]),
969 LS"] <- (data: ",Call("hex",sTy,Var("data",F64)),LS", mask: ",
970 Call("hex",sTy,Var("mask",F64)),LS")"])
974 CC[LS"data <- MEM[",Call("hex",sTy,CC[Var("addr",FTy 37),LW(0,3)]),
975 LS"]: ",Call("hex",sTy,Var("data",F64))])
1003 Apply(Call("gpr",ATy(qTy,F64),Var("n",FTy 5)),qVar"state"))))
1011 (Call
1247 (Call
1249 Call
1279 (Call
1289 (Call
1363 Call("reg'UPerms",F32,Var("x",CTy"UPerms")))
1367 Call("rec'UPerms",CTy"UPerms",Var("x",F32)))
1401 Call("reg'Perms",F32,Var("x",CTy"Perms")))
1405 Call("rec'Perms",CTy"Perms",Var("x",F32)))
1432 Call("reg'Capability",FTy 257,Var("x",CTy"Capability")))
1436 Call("rec'Capability",CTy"Capability",Var("x",FTy 257)))
1509 Call
1515 Call
1554 EX(Call("reg'Perms",F32,Var("perms",CTy"Perms")),LN 14,LN 0,
1562 EX(Call("reg'UPerms",F32,Var("uperms",CTy"UPerms")),LN 15,LN 0,
1590 ITE(Call("getTag",bTy,Var("cap",CTy"Capability")),LS"1",LS"0"),
1592 ITE(Call("getSealed",bTy,Var("cap",CTy"Capability")),LS"1",LS"0"),
1594 Call
1598 Call("hex",sTy,Call("getType",FTy 24,Var("cap",CTy"Capability"))),
1600 Call("hex",sTy,Call("getOffset",F64,Var("cap",CTy"Capability"))),
1602 Call("hex",sTy,Call("getBase",F64,Var("cap",CTy"Capability"))),
1604 Call("hex",sTy,Call("getLength",F64,Var("cap",CTy"Capability")))])
1608 CC[LS"PCC <- ",Call("log_cap_write",sTy,Var("cap",CTy"Capability"))])
1613 Call("log_cap_write",sTy,Var("cap",CTy"Capability"))])
1617 CC[LS"MEM[",Call("hex",sTy,Var("pAddr",FTy 40)),LS"] <- ",
1618 Call("log_cap_write",sTy,Var("cap",CTy"Capability"))])
1622 CC[Call("log_cap_write",sTy,Var("cap",CTy"Capability")),LS" <- MEM[",
1623 Call("hex",sTy,Var("pAddr",FTy 40)),LS"]"])
1631 EX(Call("reg'Capability",FTy 257,Var("cap",CTy"Capability")),LN 255,
1636 Call("rec'Capability",CTy"Capability",CC[LW(0,1),Var("raw",FTy 256)]))
1691 Call("reg'CapCause",F16,Var("x",CTy"CapCause")))
1695 Call("rec'CapCause",CTy"CapCause",Var("x",F16)))
1889 Apply(Call("CAPR",ATy(qTy,CTy"Capability"),LW(24,5)),qVar"state"))
1896 (Call
1902 Apply(Call("CAPR",ATy(qTy,CTy"Capability"),LW(26,5)),qVar"state"))
1909 (Call
1915 Apply(Call("CAPR",ATy(qTy,CTy"Capability"),LW(27,5)),qVar"state"))
1922 (Call
1928 Apply(Call("CAPR",ATy(qTy,CTy"Capability"),LW(28,5)),qVar"state"))
1935 (Call
1941 Apply(Call("CAPR",ATy(qTy,CTy"Capability"),LW(29,5)),qVar"state"))
1948 (Call
1954 Apply(Call("CAPR",ATy(qTy,CTy"Capability"),LW(30,5)),qVar"state"))
1961 (Call
1967 Apply(Call("CAPR",ATy(qTy,CTy"Capability"),LW(31,5)),qVar"state"))
1974 (Call
2060 (Call
2076 (Call
2090 (Call
2104 (Call
2119 (Call
2134 (Call
2144 Call
2162 (Call
2170 (Call
2174 (Call
2194 (Call
2197 Call
2210 Call
2217 Call
2230 Call
2241 (Call
2250 (Call
2309 Call
2324 (Call
2344 (Call
2347 (Call
2363 (Call
2366 (Call
2389 Call
2393 (Call
2410 (Call
2420 (Call
2438 (Call("write'LLbit",ATy(qTy,qTy),Mop(Some,LF)),
2448 (Call
2463 (Call
2478 (Call
2493 (Call
2509 (Call("write'PCC",ATy(qTy,qTy),Var("v",CTy"Capability")),
2512 (Call
2624 (Call
2721 (Call
2804 (Call
2817 (Call
2834 (Call
2852 (Call
2871 (Call
2891 (Call
2911 (Call
2935 (Call
2939 (Call
2943 (Call
3018 (Call
3020 Call
3032 (Call
3040 (Call("check_cca",ATy(qTy,qTy),Var("cca",FTy 3)),
3047 (Call
3051 (Call
3058 (Call
3080 (Call
3095 (Call
3099 (Call
3103 (Call
3118 (Call
3122 (Call
3141 (Call
3156 (Call
3161 (Call
3181 (Call
3195 (Call
3209 (Call
3211 Call
3226 (Call
3238 (Call
3242 (Call
3251 (Call
3271 (Call
3292 (Call
3314 (Call
3338 (Call
3365 (Call
3394 (Call
3425 (Call
3457 (Call
3490 (Call
3523 (Call
3556 (Call
3589 (Call
3618 (Call
3642 (Call
3644 Call
3660 (Call
3665 Call
3674 (Call
3687 (Call("CP0TLBEntry",ATy(qTy,PTy(CTy"TLBEntry",qTy)),LU),
3690 (Call
3711 (Call("CP0TLBEntry",ATy(qTy,PTy(CTy"TLBEntry",qTy)),LU),
3714 (Call
3725 (Call
3740 (Call
3745 Call
3754 (Call
3771 (Call("CP0TLBEntry",ATy(qTy,PTy(CTy"TLBEntry",qTy)),LU),
3773 (Call
3778 (Call
3793 (Call
3799 (Call("CP0TLBEntry",ATy(qTy,PTy(CTy"TLBEntry",qTy)),LU),
3802 (Call
3838 Call("ihex",sTy,Var("n",BTy"N"))])
3843 Call("ihex",sTy,Bop(Lsl,Mop(Cast F32,Var("n",BTy"N")),LN 2))])
3848 Call
3855 Call("reg_name",sTy,Var("n",FTy 5))])
3859 CC[Call("op1r",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", ",
3860 Call("ihex",sTy,Var("n",BTy"N"))])
3864 CC[Call("op1r",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", ",
3865 Call("ihex",sTy,Bop(Lsl,Mop(Cast F32,Var("n",BTy"N")),LN 2))])
3869 CC[Call("op1r",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", ",
3870 Call
3876 CC[Call("op1r",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", ",
3877 Call("reg_name",sTy,Var("r2",FTy 5))])
3881 CC[Call("op2r",sTy,TP[sVar"s",Var("r1",FTy 5),Var("r2",FTy 5)]),LS", ",
3882 Call("ihex",sTy,Var("n",BTy"N"))])
3886 CC[Call("op2r",sTy,TP[sVar"s",Var("r1",FTy 5),Var("r2",FTy 5)]),LS", ",
3887 Call("ihex",sTy,Bop(Lsl,Mop(Cast F32,Var("n",BTy"N")),LN 2))])
3891 CC[Call("op2r",sTy,TP[sVar"s",Var("r1",FTy 5),Var("r2",FTy 5)]),LS", ",
3892 Call
3898 CC[Call("op2r",sTy,TP[sVar"s",Var("r1",FTy 5),Var("r2",FTy 5)]),LS", ",
3899 Call("reg_name",sTy,Var("r3",FTy 5))])
3903 CC[Call("op1r",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", ",
3904 Call("cpr",sTy,Var("r2",FTy 5)),
3906 Call("ihex",sTy,Var("n",BTy"N")))])
3910 CC[Call("op1ri",sTy,TP[sVar"s",Var("r1",FTy 5),Var("n",BTy"N")]),LS"(",
3911 Call("reg_name",sTy,Var("r2",FTy 5)),LS")"])
3920 CC[Call("op1fpr",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", ",
3921 Call("ihex",sTy,Var("n",BTy"N"))])
3925 CC[Call("op1fpr",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", ",LS"$f",
3930 CC[Call("op1r",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", ",LS"$f",
3935 CC[Call("op1r",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", $",
3948 CC[Call("op2fpr",sTy,TP[sVar"s",Var("r1",FTy 5),Var("r2",FTy 5)]),
3955 CC[Call
3962 CC[Call("op1fpri",sTy,TP[sVar"s",Var("r1",FTy 5),Var("n",BTy"N")]),
3963 LS"(",Call("reg_name",sTy,Var("r2",FTy 5)),LS")"])
3967 CC[Call("op1fpr",sTy,TP[sVar"s",Var("r1",FTy 5)]),LS", ",
3968 Call("reg_name",sTy,Var("r3",FTy 5)),LS"(",
3969 Call("reg_name",sTy,Var("r2",FTy 5)),LS")"])
4054 (Call
4056 Call
4064 (Call("next_unknown",ATy(qTy,PTy(PTy(nTy,sTy),qTy)),LS"mem-data"),
4070 Call
4083 [(Call("Cap",CTy"DataType",Var("cap",CTy"Capability")),
4084 Call
4087 Call("capToBits",FTy 256,Var("cap",CTy"Capability"))])),
4088 (Call("Raw",CTy"DataType",Var("raw",FTy 256)),
4089 Call
4105 Call
4107 Call
4119 [(Call
4122 Call
4125 (Call("Raw",CTy"DataType",Var("raw",FTy 256)),
4137 [(Call("Cap",CTy"DataType",Var("cap",CTy"Capability")),
4138 Call
4141 Call("capToBits",FTy 256,Var("cap",CTy"Capability"))])),
4142 (Call("Raw",CTy"DataType",Var("raw",FTy 256)),
4143 Call
4158 [(Call("Cap",CTy"DataType",Var("cap",CTy"Capability")),
4160 (Call("Raw",CTy"DataType",Var("raw",FTy 256)),
4161 Call("bitsToCap",CTy"Capability",Var("raw",FTy 256)))])))
4173 Call("Cap",CTy"DataType",Var("cap",CTy"Capability")))])))
4186 Call
4188 Call
4200 [(Call
4204 Call
4207 (Call("Raw",CTy"DataType",Var("raw",FTy 256)),
4220 Call("Raw",CTy"DataType",Var("data",FTy 256)))])))
4228 Call
4231 (Call("CAPR",ATy(qTy,CTy"Capability"),LW(0,5)),
4233 Call
4236 (Call("CAPR",ATy(qTy,CTy"Capability"),LW(0,5)),qVar"state")))))
4245 Call
4250 (Call
4254 (Call
4258 (Call
4270 (Call
4279 (Call
4286 (Call
4294 (Call("write'LLbit",ATy(qTy,qTy),LO bTy),qVar"s")),
4296 (Call
4308 Apply(Call("CAPR",ATy(qTy,CTy"Capability"),LW(0,5)),qVar"state"),
4310 Call
4313 (Call("CAPR",ATy(qTy,CTy"Capability"),LW(0,5)),
4315 ITB([(Mop(Not,Call("getTag",bTy,Var("v",CTy"Capability"))),
4318 (Call
4322 (Call
4329 (Call("getSealed",bTy,Var("v",CTy"Capability")),
4332 (Call
4336 (Call
4346 Call
4351 (Call
4355 (Call
4364 Call("getBase",F64,Var("v",CTy"Capability"))),
4367 (Call
4371 (Call
4388 (Call
4392 (Call
4401 (Call
4415 (Call("write'LLbit",ATy(qTy,qTy),Mop(Some,LT)),
4420 (Call
4425 Apply(Call("write'LLbit",ATy(qTy,qTy),LO bTy),qVar"state")),
4427 (Call
4441 Call
4446 (Call
4450 (Call
4454 (Call
4466 (Call
4475 (Call
4477 Call
4490 (Call
4493 Call
4500 (Call("write'LLbit",ATy(qTy,qTy),LO bTy),qVar"s"),
4599 (Call
4627 Apply(Call("CAPR",ATy(qTy,CTy"Capability"),LW(0,5)),qVar"state"),
4629 Call
4631 ITB([(Mop(Not,Call("getTag",bTy,Var("v",CTy"Capability"))),
4634 (Call
4639 (Call
4646 (Call("getSealed",bTy,Var("v",CTy"Capability")),
4649 (Call
4654 (Call
4664 Call
4669 (Call
4674 (Call
4683 Call("getBase",F64,Var("v",CTy"Capability"))),
4686 (Call
4691 (Call
4708 (Call
4713 (Call
4722 (Call
4740 (Call
4743 Call
4759 (Call
4762 Call
4769 (Call("write'LLbit",ATy(qTy,qTy),LO bTy),
4894 (Call
4914 (Call
4972 (Call
4993 (Call
5058 (Call
5071 Call
5078 Call
5087 (Call
5093 (Call
5101 (Call
5108 Call
5117 (Call
5128 Call
5137 Call
5147 (Call
5156 Call
5165 (Call
5178 (Call
5185 (Call
5189 (Call
5197 Call
5221 (Call("switchCoreCAP",ATy(qTy,qTy),Var("i",F8)),
5223 (Call
5288 (Call
5299 (Call("write'hi",ATy(qTy,qTy),Mop(Some,Var("value",F64))),
5309 (Call
5320 (Call("write'lo",ATy(qTy,qTy),Mop(Some,Var("value",F64))),
5330 Call
5338 Call
5345 TP[Call
5352 TP[Call
5359 TP[Call
5372 Call
5380 Call
5388 Call
5412 TP[Call
5426 Call
5434 Call
5465 Call
5473 Call
5481 Call
5489 Call
5499 Call
5511 TP[Call
5537 (Call
5553 (Call
5568 (Call
5573 Call
5583 (Call
5588 Call
5598 (Call
5612 (Call
5622 (Call
5640 (Call
5655 (Call
5675 (Call
5692 (Call
5710 (Call
5728 (Call
5749 (Call
5771 (Call
5788 (Call
5798 (Call
5803 Call
5813 (Call
5830 (Call
5848 (Call
5862 (Call
5867 Call
5881 (Call
5898 (Call
5908 (Call
5924 (Call
5940 (Call
5956 (Call
5972 (Call
5982 (Call
5990 (Call
6001 Call("hex",sTy,Var("data",F64))])
6045 Call("reg'FCSR",F32,Var("x",CTy"FCSR")))
6049 Call("rec'FCSR",CTy"FCSR",Var("x",F32)))
6074 Call("reg'FIR",F32,Var("x",CTy"FIR")))
6078 Call("rec'FIR",CTy"FIR",Var("x",F32)))
6174 (Call
6178 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
6181 (Call
6184 (Call
6186 Call
6189 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
6208 (Call
6213 (Call
6218 (Call
6222 (Call
6224 Call
6227 (Call
6246 (Call
6249 (Call
6256 (Call
6260 (Call
6278 (Call
6282 (Call
6289 (Call
6294 (Call
6317 (Call
6345 (Call
6359 (Call
6379 (Call
6406 (Call
6420 (Call
6444 TP[Call
6447 (Call
6451 (Call
6458 (Call
6463 (Call
6471 (Call
6476 (Call
6480 Call
6483 (Call
6488 (Call
6495 (Call
6500 (Call
6508 (Call
6513 (Call
6521 (Call
6526 (Call
6534 (Call
6539 (Call
6573 TP[Call
6576 (Call
6581 (Call
6589 (Call
6594 (Call
6603 (Call
6609 (Call
6614 Call
6617 (Call
6623 (Call
6631 (Call
6636 (Call
6645 (Call
6651 (Call
6659 (Call
6664 (Call
6673 (Call
6679 (Call
6706 (Call
6711 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
6714 Call("IntToDWordMIPS",F64,iVar"x")),
6731 (Call
6736 (Call
6740 Call("IntToDWordMIPS",F64,iVar"x")),
6757 (Call
6762 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
6765 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
6782 (Call
6787 (Call
6791 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
6808 (Call
6816 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
6833 (Call
6837 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
6855 ITE(Call
6858 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
6862 (Call
6864 Call
6871 (Call
6877 (Call
6896 (Call
6903 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
6906 Call("IntToDWordMIPS",F64,iVar"x")),
6923 (Call
6930 (Call
6934 Call("IntToDWordMIPS",F64,iVar"x")),
6951 (Call
6959 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
6976 (Call
6985 (Call
7004 ITE(Call
7007 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7011 (Call
7013 Call
7020 (Call
7027 (Call
7046 (Call
7053 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7056 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
7073 (Call
7080 (Call
7084 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
7101 (Call
7104 (Call
7111 (Call
7115 (Call
7133 (Call
7137 (Call
7144 (Call
7149 (Call
7168 (Call
7173 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7176 Call("IntToDWordMIPS",F64,iVar"x")),
7193 (Call
7198 (Call
7202 Call("IntToDWordMIPS",F64,iVar"x")),
7219 (Call
7224 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7227 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
7244 (Call
7249 (Call
7253 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
7271 (Call
7276 (Call
7280 (Call
7288 (Call
7306 (Call
7311 (Call
7315 (Call
7319 (Call
7327 (Call
7345 (Call
7349 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
7353 (Call
7367 (Call
7394 (Call
7398 (Call("GPR",ATy(qTy,F64),Var("index",FTy 5)),
7401 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
7405 (Call
7419 (Call
7446 (Call
7449 (Call
7456 (Call
7465 (Call
7470 (Call
7476 (Call
7495 (Call
7499 (Call
7506 (Call
7515 (Call
7522 (Call
7530 (Call
7549 (Call
7552 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),qVar"state"),
7568 (Call
7572 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7593 (Call
7596 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
7617 (Call
7620 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7641 (Call
7645 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7664 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
7667 (Call
7670 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7689 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
7692 (Call
7696 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7716 (Call
7719 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
7739 (Call
7742 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7762 (Call
7766 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7783 (EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
7786 (Call
7789 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7806 (EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
7809 (Call
7813 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
7831 (Call
7834 (Call
7841 (Call
7850 (Call
7855 (Call
7861 (Call
7880 (Call
7884 (Call
7891 (Call
7900 (Call
7907 (Call
7915 (Call
7934 (Call
7937 (Call
7944 (Call
7948 (Call
7966 (Call
7970 (Call
7977 (Call
7982 (Call
8003 (Call
8007 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
8010 (Call
8013 (Call
8015 Call
8018 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
8037 (Call
8042 (Call
8047 (Call
8051 (Call
8053 Call
8056 (Call
8075 (Call
8080 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
8083 Call("IntToDWordMIPS",F64,iVar"x")),
8100 (Call
8105 (Call
8109 Call("IntToDWordMIPS",F64,iVar"x")),
8126 (Call
8131 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
8134 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
8151 (Call
8156 (Call
8160 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
8178 (Call
8183 (Call("FGR",ATy(qTy,F64),Var("ft",FTy 5)),
8186 (Call
8190 (Call
8209 (Call
8214 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
8217 (Call
8221 (Call
8225 (Call
8243 (Call
8246 (Call
8253 (Call
8271 (Call
8275 (Call
8282 (Call
8301 (Call
8304 (Call
8311 (Call
8315 (Call
8333 (Call
8337 (Call
8344 (Call
8349 (Call
8369 (Call
8373 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
8377 (Call
8382 (Call("FGR",ATy(qTy,F64),Var("ft",FTy 5)),
8409 (Call
8413 (Call("GPR",ATy(qTy,F64),Var("index",FTy 5)),
8416 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
8420 (Call
8425 (Call("FGR",ATy(qTy,F64),Var("ft",FTy 5)),
8451 (Call
8456 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
8459 Call("IntToDWordMIPS",F64,iVar"x")),
8476 (Call
8481 (Call
8485 Call("IntToDWordMIPS",F64,iVar"x")),
8502 (Call
8507 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
8510 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
8527 (Call
8532 (Call
8536 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
8553 (Call
8556 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),qVar"state"),
8572 (Call
8575 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
8591 (Call
8595 (Call("FGR",ATy(qTy,F64),Var("fs",FTy 5)),
8612 (Call
8616 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
8636 Call
8647 Call
8653 (Call
8655 Call
8661 (Call
8687 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
8694 Call
8698 (Call
8710 (Call
8712 Call
8728 (Call
8738 (Call
8740 TP[Call
8754 (Call
8759 (Call
8766 (Call
8771 (Call
8778 (Call
8783 (Call
8790 (Call
8795 (Call
8802 (Call
8807 (Call
8843 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
8846 (Call
8851 (Call
8853 TP[Call
8856 (Call
8875 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
8878 (Call
8883 (Call
8885 TP[Call
8888 (Call
8907 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
8910 (Call
8915 (Call
8917 TP[Call
8920 (Call
8939 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
8942 (Call
8947 (Call
8951 Call
8954 (Call
8973 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
8976 (Call
8983 (Call
8987 Call
8990 (Call
8995 (Call("GPR",ATy(qTy,F64),Var("rd",FTy 5)),
8999 (Call("GPR",ATy(qTy,F64),Var("rd",FTy 5)),qVar"s0"),
9002 (Call
9021 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
9024 (Call
9029 (Call
9032 EX(Call
9034 Call
9037 (Call
9042 EX(Call
9044 Call
9047 (Call
9067 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
9070 (Call
9074 (Call
9077 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
9080 (Call
9083 Call
9086 (Call
9091 (Call
9109 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
9112 (Call
9117 (Call
9119 TP[Call
9141 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
9144 (Call
9149 Call
9154 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
9157 (Call
9159 TP[Call
9163 Call
9169 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
9173 (Call
9175 TP[Call
9181 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
9200 Call
9205 (Call
9212 (Call
9220 (Call("GPR",ATy(qTy,F64),Var("rd",FTy 5)),
9224 (Call("GPR",ATy(qTy,F64),Var("rd",FTy 5)),qVar"s0"),
9229 (Call
9238 (Call("GPR",ATy(qTy,F64),Var("rd",FTy 5)),
9241 (Call
9262 Call
9267 (Call
9279 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
9288 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
9305 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
9308 (Call
9313 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
9316 (Call
9321 Call
9324 (Call
9328 Call
9331 (Call
9336 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
9339 (Call
9344 Call
9347 (Call
9351 Call
9354 (Call
9358 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
9361 (Call
9363 TP[Call
9368 Call
9371 (Call
9375 Call
9378 (Call
9383 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
9387 (Call
9389 TP[Call
9392 (Call
9396 Call
9399 (Call
9403 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
9422 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
9425 (Call
9430 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
9433 (Call
9438 Call
9441 (Call
9444 Call
9447 (Call
9451 (Call
9456 Call
9459 (Call
9463 Call
9466 (Call
9471 (Call
9473 TP[Call
9478 Call
9481 (Call
9485 Call
9488 (Call
9495 (Call
9497 TP[Call
9500 (Call
9504 Call
9507 (Call
9518 Call
9521 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
9525 Call
9528 (Call
9531 Call
9534 (Call
9549 (Call
9553 (Call
9558 (Call
9562 (Call
9567 Call
9570 (Call
9574 (Call
9578 (Call
9581 (Call
9585 (Call
9591 (Call
9599 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
9603 Call
9606 (Call
9610 (Call
9615 (Call
9617 TP[Call
9620 (Call
9624 (Call
9635 Call
9638 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
9642 Call
9645 (Call
9648 Call
9651 (Call
9666 (Call
9670 (Call
9675 (Call
9679 (Call
9684 Call
9687 (Call
9691 (Call
9695 (Call
9698 (Call
9702 (Call
9708 (Call
9716 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
9720 Call
9723 (Call
9727 (Call
9732 Call
9735 (Call
9739 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
9742 (Call
9747 (Call
9749 TP[Call
9752 (Call
9756 (Call
9767 Call
9770 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
9774 Call
9777 (Call
9780 Call
9783 (Call
9798 (Call
9802 (Call
9807 (Call
9811 (Call
9816 Call
9819 (Call
9823 (Call
9827 (Call
9830 (Call
9834 (Call
9840 (Call
9849 Call
9852 (Call
9856 (Call
9861 (Call
9863 TP[Call
9866 (Call
9896 (Call
9914 (Call
9931 (Call
9942 (Call
9959 (Call
9972 (Call
9990 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
9993 (Call
9998 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
10001 (Call
10006 (Call
10008 TP[Call
10011 (Call
10030 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
10033 (Call
10038 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
10041 (Call
10046 Call
10049 (Call
10053 (Call
10057 (Call
10060 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
10063 (Call
10068 (Call
10070 TP[Call
10072 TP[Call
10075 (Call
10078 Call
10082 EX(Call
10084 Call
10087 (Call
10095 (Call
10100 Call
10104 EX(Call
10106 Call
10109 (Call
10117 (Call
10138 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
10141 (Call
10146 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
10149 (Call
10154 Call
10157 (Call
10160 Call
10163 (Call
10167 (Call
10172 Call
10175 (Call
10179 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10182 (Call
10184 TP[Call
10188 Call
10191 (Call
10195 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10199 (Call
10201 TP[Call
10204 (Call
10208 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10225 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
10228 (Call
10233 (Call("register_inaccessible",ATy(qTy,bTy),Var("ct",FTy 5)),
10236 (Call
10241 (Call
10246 Call
10249 (Call
10252 Call
10255 (Call
10258 Call
10261 (Call
10264 Call
10267 (Call
10286 (Call("register_inaccessible",ATy(qTy,bTy),Var("cs",FTy 5)),
10289 (Call
10294 Call
10297 (Call
10301 (Call
10307 EX(Call
10309 Call
10312 (Call
10317 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10320 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10323 (Call
10329 EX(Call
10331 Call
10334 (Call
10339 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10343 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10347 (Call
10353 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10357 (Call
10376 (Call("register_inaccessible",ATy(qTy,bTy),Var("cs",FTy 5)),
10379 (Call
10384 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
10387 (Call
10392 Call
10395 (Call
10399 (Call
10404 Call
10407 (Call
10411 (Call
10416 Call
10419 (Call
10423 (Call
10428 Call
10431 (Call
10435 (Call
10440 EQ(Call
10443 (Call
10446 Call
10449 (Call
10453 (Call
10472 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
10475 (Call
10480 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
10483 (Call
10487 (EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
10490 (Call
10495 Call
10498 (Call
10502 (Call
10506 (Call
10509 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
10512 (Call
10517 Call
10520 (Call
10524 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10527 (Call
10529 TP[Call
10533 Call
10536 (Call
10540 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10544 (Call
10546 TP[Call
10549 (Call
10553 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
10570 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
10573 (Call
10578 (Call("register_inaccessible",ATy(qTy,bTy),Var("ct",FTy 5)),
10581 (Call
10586 Call
10589 (Call
10593 (Call
10598 Call
10601 (Call
10605 (Call("write'GPR",ATy(qTy,qTy),TP[LW(0,64),Var("rd",FTy 5)]),
10608 (Call
10612 Call
10615 (Call
10618 Call
10621 (Call
10624 Call
10627 (Call
10647 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
10650 (Call
10655 (Call("register_inaccessible",ATy(qTy,bTy),Var("ct",FTy 5)),
10658 (Call
10664 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
10668 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("ct",FTy 5)),
10673 EQ(Call
10675 Call
10677 ITE(Call("getTag",bTy,Var("v",CTy"Capability")),
10682 Call
10685 Call
10690 Call
10693 Call
10709 (Call
10739 (Call
10770 (Call
10797 (Call
10837 (Call
10863 (Call
10902 (Call
10921 (Call
10955 (Call
10960 (Call
10965 Call
10968 (Call
10972 (Call
10999 (Call
11004 (Call
11008 (Call
11011 (Call
11015 (Call
11041 (Call("register_inaccessible",ATy(qTy,bTy),Var("cs",FTy 5)),
11044 (Call
11049 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
11052 (Call
11057 Call
11060 (Call
11064 (Call
11068 (Call
11071 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
11074 (Call
11081 Call
11084 (Call
11088 (Call
11096 Call
11099 (Call
11103 Call
11106 (Call
11112 Call
11115 (Call
11119 (Call
11127 Call
11130 (Call
11133 Call
11136 (Call
11140 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
11147 Call
11150 (Call
11153 Call
11156 (Call
11160 (Call
11165 Call
11168 (Call
11172 (Call
11176 (Mop(Not,Call("isCapAligned",bTy,Var("v",F64))),
11178 (Call
11182 (Call
11191 (Call("write'LLbit",ATy(qTy,qTy),LO bTy),
11194 (Call
11198 (Call
11218 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
11221 (Call
11226 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
11229 (Call
11234 Call
11237 (Call
11241 (Call
11245 (Call
11248 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
11251 (Call
11259 Call
11262 (Call
11265 Call
11268 (Call
11272 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
11279 Call
11282 (Call
11285 Call
11288 (Call
11292 (Call
11297 Call
11300 (Call
11304 (Call
11308 (Mop(Not,Call("isCapAligned",bTy,Var("v",F64))),
11310 (Call
11314 (Call
11324 (Call
11328 (Call("write'LLbit",ATy(qTy,qTy),LO bTy),
11335 (Call
11341 Call
11344 (Call
11350 Call
11373 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
11376 (Call
11381 Call
11384 (Call
11388 (Call
11392 (Call
11395 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
11398 (Call
11405 Call
11408 (Call
11412 (Call
11418 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
11424 Call("getBase",F64,Var("v",CTy"Capability")),
11425 Call
11428 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
11473 Call
11477 Call
11481 (Call
11493 Call
11496 (Call
11516 (Call
11643 (Call
11647 Call
11662 (Call
11666 Call
11704 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
11707 (Call
11712 Call
11715 (Call
11719 (Call
11723 (Call
11726 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
11729 (Call
11736 Call
11739 (Call
11743 (Call
11749 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
11755 Call("getBase",F64,Var("v",CTy"Capability")),
11756 Call
11759 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
11805 Call
11809 Call
11813 (Call
11825 Call
11828 (Call
11870 (Call
11938 (Call
11961 Call
11964 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
11966 Call
11969 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
11982 (Call
11986 (Call
11991 (Call
11995 (Call
12000 Call
12003 (Call
12007 (Call
12011 (Call
12014 (Call
12018 (Call
12026 Call
12029 (Call
12032 Call
12035 (Call
12039 (Call
12044 Call
12047 (Call
12051 (Call
12055 (Mop(Not,Call("isCapAligned",bTy,Var("v",F64))),
12057 (Call
12061 (Call
12070 (Call
12078 (Call
12083 Call
12086 (Call
12091 Call
12104 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
12107 Bop(Add,Call("getBase",F64,Var("v",CTy"Capability")),
12108 Call("getOffset",F64,Var("v",CTy"Capability"))),
12155 (Call
12160 (Call
12166 Call
12170 (Call
12175 (Call
12179 (Call
12187 Call
12191 (Call
12201 Call
12205 Call
12209 (Call
12215 Call
12218 (Call
12223 (Call
12230 (Call
12268 (Call
12272 Call
12280 (Call
12284 Call
12298 Call
12301 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
12303 Call
12306 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
12319 (Call
12323 (Call
12328 (Call
12332 (Call
12337 Call
12340 (Call
12344 (Call
12348 (Call
12351 (Call
12355 (Call
12362 Call
12365 (Call
12369 (Call
12377 Call
12380 (Call
12384 Call
12387 (Call
12393 Call
12396 (Call
12400 (Call
12410 Call
12413 (Call
12417 Call
12420 (Call
12424 (Call
12429 Call
12432 (Call
12436 (Call
12440 (Mop(Not,Call("isCapAligned",bTy,Var("v",F64))),
12442 (Call
12446 (Call
12456 (Call
12460 (Call
12470 (Call
12482 Call
12485 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
12487 Call
12490 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
12507 (Call
12511 (Call
12516 Call
12519 (Call
12523 (Call
12527 (Call
12530 (Call
12534 (Call
12541 Call
12544 (Call
12548 (Call
12560 Call
12563 (Call
12567 Call
12570 (Call
12574 (Call
12579 Call
12582 (Call
12586 (Call
12593 (Call
12598 (Call
12608 (Call
12627 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
12630 (Call
12635 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
12638 (Call
12644 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
12647 (Call
12650 (Call
12669 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
12672 (Call
12677 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
12680 (Call
12684 (EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
12687 (Call
12690 (Call
12711 (Call
12716 (Call
12721 Call
12724 (Call
12728 (Call
12732 (Call
12735 (Call
12739 (Call
12746 Call
12749 (Call
12753 (Call
12760 Call
12763 (Call
12768 Call
12771 (Call
12775 (Call
12781 Call
12784 (Call
12788 Call
12791 (Call
12797 (Call
12801 (Call
12809 Call
12812 (Call
12816 Call
12819 (Call
12828 TP[Call
12831 (Call
12835 (Call
12855 (Call
12860 (Call
12865 (Call
12869 (Call
12874 Call
12877 (Call
12881 (Call
12885 (Call
12888 (Call
12892 (Call
12899 Call
12902 (Call
12906 (Call
12913 Call
12916 (Call
12921 Call
12924 (Call
12928 (Call
12934 Call
12937 (Call
12941 Call
12944 (Call
12950 (Call
12954 (Call
12962 Call
12965 (Call
12969 Call
12972 (Call
12980 (Call
12982 TP[Call
12995 (Call
13002 TP[Call
13005 (Call
13010 (Call
13028 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
13031 (Call
13036 (Call("register_inaccessible",ATy(qTy,bTy),Var("cs",FTy 5)),
13039 (Call
13044 (Call("register_inaccessible",ATy(qTy,bTy),Var("ct",FTy 5)),
13047 (Call
13052 Call
13055 (Call
13059 (Call
13064 Call
13067 (Call
13071 (Call
13075 (Call
13078 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cs",FTy 5)),
13081 (Call
13085 (Call
13088 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("ct",FTy 5)),
13091 (Call
13098 Call
13101 (Call
13105 (Call
13110 Call
13113 (Call
13116 Call
13119 (Call
13123 (Call
13129 Call
13132 (Call
13135 Call
13138 (Call
13143 (Call
13148 Call
13151 (Call
13155 (Call
13160 (Call
13162 TP[Call
13164 TP[Call
13167 (Call
13171 Call
13174 (Call
13177 Call
13180 (Call
13200 (Call("register_inaccessible",ATy(qTy,bTy),Var("cd",FTy 5)),
13203 (Call
13208 (Call("register_inaccessible",ATy(qTy,bTy),Var("cs",FTy 5)),
13211 (Call
13216 (Call("register_inaccessible",ATy(qTy,bTy),Var("ct",FTy 5)),
13219 (Call
13224 Call
13227 (Call
13231 (Call
13236 Call
13239 (Call
13243 (Call
13248 Call
13251 (Call
13255 (Call
13259 (Call
13262 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("ct",FTy 5)),
13265 (Call
13271 Call
13274 (Call
13277 Call
13280 (Call
13284 Call
13287 (Call
13291 (Call
13298 Call
13301 (Call
13305 (Call
13310 Call
13313 (Call
13316 Call
13319 (Call
13323 (Call
13328 Call
13330 TP[Call
13333 (Call
13338 (Call
13340 TP[Call
13345 TP[Call
13351 Call
13354 (Call
13361 Call
13364 (Call
13385 (Call("register_inaccessible",ATy(qTy,bTy),Var("cs",FTy 5)),
13388 (Call
13393 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
13396 (Call
13401 Call
13404 (Call
13408 (Call
13413 Call
13416 (Call
13420 (Call
13425 Call
13428 (Call
13432 (Call
13437 Call
13440 (Call
13444 (Call
13449 EQ(Call
13452 (Call
13455 Call
13458 (Call
13462 (Call
13469 Call
13472 (Call
13476 (Call
13482 Call
13485 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
13488 (Call
13493 Call
13496 (Call
13499 Call
13502 (Call
13506 (Call
13511 (Call
13530 (Call("register_inaccessible",ATy(qTy,bTy),Var("cs",FTy 5)),
13533 (Call
13538 (Call("register_inaccessible",ATy(qTy,bTy),Var("cb",FTy 5)),
13541 (Call
13546 Call
13549 (Call
13553 (Call
13558 Call
13561 (Call
13565 (Call
13570 Call
13573 (Call
13577 (Call
13582 Call
13585 (Call
13589 (Call
13594 EQ(Call
13597 (Call
13600 Call
13603 (Call
13607 (Call
13614 Call
13617 (Call
13621 (Call
13628 Call
13631 (Call
13635 (Call
13642 Call
13645 (Call
13649 (Call
13655 Call
13658 (Call("CAPR",ATy(qTy,CTy"Capability"),Var("cb",FTy 5)),
13661 (Call
13666 Call
13669 (Call
13672 Call
13675 (Call
13679 (Call
13687 (Call
13693 (Call
13695 Call
13697 TP[Call
13702 (Call
13710 (Call
13713 Call
13718 (Call
13722 (Call
13724 Call
13726 TP[Call
13741 (Call
13755 (Call
13765 ITE(Call
13768 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
13772 (Call
13774 Call
13778 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
13787 (Call
13791 (Call
13802 ITE(Call
13805 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
13809 (Call
13811 Call
13815 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
13818 (Call
13833 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
13839 (Call
13843 (Call
13853 (Call
13857 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
13866 (Call
13871 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
13880 (Call
13885 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
13894 (Call
13898 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
13907 (Call
13911 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
13920 (Call
13924 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
13933 (Call
13945 Call
13948 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
13950 Call
13953 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
13957 (Call
13959 Call
13963 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
13968 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"s"),
13974 (Call
13978 (Call
13990 Call
13993 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
13995 Call
13998 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14002 (Call
14004 Call
14008 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
14011 (Call
14016 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14027 Call
14030 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14032 Call
14035 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14039 (Call
14041 Call
14045 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
14050 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"s"),
14056 (Call
14060 (Call
14072 Call
14075 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14077 Call
14080 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14084 (Call
14086 Call
14090 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
14093 (Call
14098 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14110 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
14113 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
14118 (Call
14122 (Call
14132 (Call
14136 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14138 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
14149 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
14152 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
14157 (Call
14161 (Call
14171 (Call
14175 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14177 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
14185 (Call
14190 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14193 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14201 (Call
14206 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14209 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14217 (Call
14221 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14223 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
14231 (Call
14235 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14237 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
14245 (Call
14249 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14251 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
14259 (Call
14264 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14267 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14276 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
14279 (Call
14282 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14289 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
14292 (Call
14295 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14306 Call
14309 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14311 Call
14314 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14318 (Call
14320 Call
14334 (Call
14340 (Call
14345 (Call
14349 (Call
14362 Call
14365 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14367 Call
14370 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14374 (Call
14376 Call
14390 (Call
14396 (Call
14401 (Call
14405 (Call
14418 Call
14421 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14423 Call
14426 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14430 (Call
14432 Call
14446 (Call
14452 (Call
14457 (Call
14461 (Call
14474 Call
14477 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14479 Call
14482 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14486 (Call
14488 Call
14502 (Call
14508 (Call
14513 (Call
14517 (Call
14529 Call
14532 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14534 Call
14537 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14541 (Call
14543 Call
14547 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
14550 (Call("write'hi",ATy(qTy,qTy),LO F64),
14552 (Call("write'lo",ATy(qTy,qTy),LO F64),
14554 (Call
14559 (Call
14571 Call
14574 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14576 Call
14579 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14583 (Call
14585 Call
14589 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
14595 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14598 (Call
14602 (Call
14614 Call
14617 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14619 Call
14622 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14626 (Call
14628 Call
14632 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
14638 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14641 (Call
14645 (Call
14658 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
14661 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
14663 (Call
14667 (Call
14679 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
14682 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
14684 (Call
14688 (Call
14697 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14699 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
14701 ITE(Bop(Or,Call("NotWordValue",bTy,Var("v",F64)),
14702 Call("NotWordValue",bTy,Var("v0",F64))),
14705 (Call
14707 Call
14713 (Call("write'hi",ATy(qTy,qTy),LO F64),
14715 (Call("write'lo",ATy(qTy,qTy),LO F64),qVar"s1")),
14717 (Call
14723 (Call
14736 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14738 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
14740 ITE(Bop(Or,Call("NotWordValue",bTy,Var("v",F64)),
14741 Call("NotWordValue",bTy,Var("v0",F64))),
14744 (Call
14746 Call
14752 (Call("write'hi",ATy(qTy,qTy),LO F64),
14754 (Call("write'lo",ATy(qTy,qTy),LO F64),qVar"s1")),
14756 (Call
14762 (Call
14775 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
14778 (Call("write'hi",ATy(qTy,qTy),LO F64),
14779 Apply(Call("write'lo",ATy(qTy,qTy),LO F64),qVar"state")),
14782 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14784 (Call
14788 (Call
14798 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
14801 (Call("write'hi",ATy(qTy,qTy),LO F64),
14802 Apply(Call("write'lo",ATy(qTy,qTy),LO F64),qVar"state")),
14805 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
14807 (Call
14811 (Call
14823 (Call
14834 (Call
14843 (Call
14845 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
14853 (Call
14855 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
14863 (Call
14868 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14879 ITE(Call
14882 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14886 (Call
14888 Call
14892 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"s0"),
14895 (Call
14908 ITE(Call
14911 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14915 (Call
14917 Call
14921 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"s0"),
14924 (Call
14936 (Call
14941 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14945 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
14955 ITE(Call
14958 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14962 (Call
14964 Call
14968 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
14971 (Call
14976 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14987 ITE(Call
14990 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
14994 (Call
14996 Call
15000 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
15003 (Call
15008 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
15018 (Call
15022 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15031 (Call
15035 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15044 (Call
15048 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15057 (Call
15061 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15064 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
15073 (Call
15077 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15080 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
15089 (Call
15093 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15096 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
15105 (Call
15109 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15118 (Call
15122 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15131 (Call
15135 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15144 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15145 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
15147 (Call
15156 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15157 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
15159 (Call
15168 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15169 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
15171 (Call
15180 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15181 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
15183 (Call
15191 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15192 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
15194 (Call
15204 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15206 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
15208 (Call
15217 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15220 (Call
15229 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15232 (Call
15241 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15244 (Call
15253 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15256 (Call
15264 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15267 (Call
15277 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
15280 (Call
15291 (Call
15295 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15299 (Call
15319 (Call
15333 (Call
15337 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15341 (Call
15361 (Call
15376 (Call
15380 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15384 (Call
15404 (Call
15418 (Call
15422 (Call
15426 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15432 (Call
15441 (Call
15451 (Call
15461 (Call
15471 (Call
15481 (Call
15491 (Call
15501 (Call
15511 (Call
15521 (Call
15532 (Call
15536 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15544 (Call
15561 (Call
15568 (Call
15575 (Call
15585 (Call
15592 (Call
15599 (Call
15607 (Call
15618 (Call
15622 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15630 (Call
15650 (Call
15658 (Call
15666 (Call
15677 (Call
15685 (Call
15693 (Call
15700 (Call
15711 (Call
15715 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15723 (Call
15736 (Call
15743 (Call
15750 (Call
15757 (Call
15764 (Call
15771 (Call
15778 (Call
15785 (Call
15796 (Call
15800 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15808 (Call
15824 (Call
15832 (Call
15840 (Call
15848 (Call
15856 (Call
15864 (Call
15872 (Call
15879 (Call
15890 (Call
15894 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15898 (Call
15903 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
15922 (Call
15926 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15930 (Call
15935 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
15956 (Call
15960 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
15963 (Call
15968 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
15984 (Call
15987 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
15989 (Call
15993 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
16003 (Call
16014 (Call
16025 (Call
16032 (Call
16043 (Call
16050 (Call
16061 (Call
16065 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
16076 (Call
16083 (Call
16090 (Call
16097 (Call
16103 (Call
16127 (Call
16131 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
16145 (Call
16153 (Call
16161 (Call
16169 (Call
16177 (Call
16185 (Call
16194 (Call
16202 (Call
16208 (Call
16227 (Call
16231 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
16242 (Call
16249 (Call
16256 (Call
16263 (Call
16270 (Call
16277 (Call
16284 (Call
16290 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
16294 (Call
16310 (Call
16314 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
16324 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
16330 (Call
16338 (Call
16347 (Call
16356 (Call
16364 (Call
16373 (Call
16381 (Call
16387 (Call
16404 (Call("SignalException",ATy(qTy,qTy),LC("Bp",CTy"ExceptionType")),
16410 (Call("SignalException",ATy(qTy,qTy),LC("Sys",CTy"ExceptionType")),
16425 (Call
16428 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
16431 (Call
16447 (Call
16450 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
16453 (Call
16470 (Call
16474 (Call
16479 (Call
16496 (Call
16500 (Call
16504 (Call
16513 (Call
16527 (Call
16534 (Call
16545 (Call
16549 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"))),
16551 (Call
16561 (Call
16565 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"))),
16572 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16573 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
16575 (Call
16592 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16594 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
16596 (Call
16612 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16615 (Call
16631 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16634 (Call
16650 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16653 (Call
16669 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16672 (Call
16689 (Call
16695 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16698 (Call
16714 (Call
16720 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16723 (Call
16737 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16738 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
16740 (Call
16754 (Call
16764 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16766 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
16768 (Call
16782 (Call
16791 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16794 (Call
16808 (Call
16817 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16820 (Call
16834 (Call
16843 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16846 (Call
16860 (Call
16869 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16872 (Call
16886 (Call
16896 (Call
16902 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16905 (Call
16919 (Call
16929 (Call
16935 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
16938 (Call
16952 (Call
16968 Call
16978 (Call
16984 (Call
16995 (Call
17004 (Call
17013 (Call
17020 (Call
17024 (Call
17041 (Call
17046 (Call
17051 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
17060 (Call("SignalException",ATy(qTy,qTy),LC("ResI",CTy"ExceptionType")),
17067 (Call
17069 Call
17098 (Call
17102 (Call
17105 (Call("RDHWR",CTy"instruction",Var("v262",PTy(FTy 5,FTy 5))),
17107 (Call("dfn'RDHWR",ATy(qTy,qTy),Var("v262",PTy(FTy 5,FTy 5))),
17109 (Call("SYNC",CTy"instruction",Var("v263",FTy 5)),qVar"state"),
17110 (Call("ArithI",CTy"instruction",Var("v1",CTy"ArithI")),
17112 [(Call
17115 (Call
17118 (Call
17121 (Call
17124 (Call
17127 (Call
17130 (Call
17133 (Call
17136 (Call
17140 (Call
17143 (Call("LUI",CTy"ArithI",Var("v7",PTy(FTy 5,F16))),
17145 (Call("dfn'LUI",ATy(qTy,qTy),Var("v7",PTy(FTy 5,F16))),
17147 (Call
17150 (Call
17153 (Call
17156 (Call
17159 (Call
17163 (Call
17166 (Call
17169 (Call
17172 (Call("ArithR",CTy"instruction",Var("v12",CTy"ArithR")),
17174 [(Call
17178 (Call
17181 (Call
17185 (Call
17188 (Call
17192 (Call
17195 (Call
17199 (Call
17202 (Call
17206 (Call
17209 (Call
17213 (Call
17216 (Call
17220 (Call
17223 (Call
17227 (Call
17230 (Call
17234 (Call
17237 (Call
17241 (Call
17244 (Call
17247 (Call
17250 (Call
17254 (Call
17257 (Call
17261 (Call
17264 (Call
17268 (Call
17271 (Call
17275 (Call
17278 (Call
17282 (Call
17285 (Call("Branch",CTy"instruction",Var("v29",CTy"Branch")),
17287 [(Call
17290 (Call
17293 (Call
17296 (Call
17299 (Call("BGEZ",CTy"Branch",Var("v32",PTy(FTy 5,F16))),
17301 (Call("dfn'BGEZ",ATy(qTy,qTy),Var("v32",PTy(FTy 5,F16))),
17303 (Call("BGEZAL",CTy"Branch",Var("v33",PTy(FTy 5,F16))),
17305 (Call
17308 (Call("BGEZALL",CTy"Branch",Var("v34",PTy(FTy 5,F16))),
17310 (Call
17313 (Call("BGEZL",CTy"Branch",Var("v35",PTy(FTy 5,F16))),
17315 (Call
17318 (Call("BGTZ",CTy"Branch",Var("v36",PTy(FTy 5,F16))),
17320 (Call("dfn'BGTZ",ATy(qTy,qTy),Var("v36",PTy(FTy 5,F16))),
17322 (Call("BGTZL",CTy"Branch",Var("v37",PTy(FTy 5,F16))),
17324 (Call
17327 (Call("BLEZ",CTy"Branch",Var("v38",PTy(FTy 5,F16))),
17329 (Call("dfn'BLEZ",ATy(qTy,qTy),Var("v38",PTy(FTy 5,F16))),
17331 (Call("BLEZL",CTy"Branch",Var("v39",PTy(FTy 5,F16))),
17333 (Call
17336 (Call("BLTZ",CTy"Branch",Var("v40",PTy(FTy 5,F16))),
17338 (Call("dfn'BLTZ",ATy(qTy,qTy),Var("v40",PTy(FTy 5,F16))),
17340 (Call("BLTZAL",CTy"Branch",Var("v41",PTy(FTy 5,F16))),
17342 (Call
17345 (Call("BLTZALL",CTy"Branch",Var("v42",PTy(FTy 5,F16))),
17347 (Call
17350 (Call("BLTZL",CTy"Branch",Var("v43",PTy(FTy 5,F16))),
17352 (Call
17355 (Call
17358 (Call
17361 (Call
17364 (Call
17367 (Call("J",CTy"Branch",Var("v46",FTy 26)),
17369 (Call("dfn'J",ATy(qTy,qTy),Var("v46",FTy 26)),
17371 (Call("JAL",CTy"Branch",Var("v47",FTy 26)),
17373 (Call("dfn'JAL",ATy(qTy,qTy),Var("v47",FTy 26)),
17375 (Call("JALR",CTy"Branch",Var("v48",PTy(FTy 5,FTy 5))),
17377 (Call
17380 (Call("JR",CTy"Branch",Var("v49",FTy 5)),
17382 (Call("dfn'JR",ATy(qTy,qTy),Var("v49",FTy 5)),
17384 (Call("COP1",CTy"instruction",Var("v50",CTy"COP1")),
17390 (Call("ABS_D",CTy"COP1",Var("v51",PTy(FTy 5,FTy 5))),
17392 (Call
17395 (Call("ABS_S",CTy"COP1",Var("v52",PTy(FTy 5,FTy 5))),
17397 (Call
17400 (Call
17404 (Call
17407 (Call
17411 (Call
17414 (Call("BC1F",CTy"COP1",Var("v55",PTy(F16,FTy 3))),
17416 (Call("dfn'BC1F",ATy(qTy,qTy),Var("v55",PTy(F16,FTy 3))),
17418 (Call("BC1FL",CTy"COP1",Var("v56",PTy(F16,FTy 3))),
17420 (Call
17423 (Call("BC1T",CTy"COP1",Var("v57",PTy(F16,FTy 3))),
17425 (Call("dfn'BC1T",ATy(qTy,qTy),Var("v57",PTy(F16,FTy 3))),
17427 (Call("BC1TL",CTy"COP1",Var("v58",PTy(F16,FTy 3))),
17429 (Call
17432 (Call("CEIL_L_D",CTy"COP1",Var("v59",PTy(FTy 5,FTy 5))),
17434 (Call
17437 (Call("CEIL_L_S",CTy"COP1",Var("v60",PTy(FTy 5,FTy 5))),
17439 (Call
17442 (Call("CEIL_W_D",CTy"COP1",Var("v61",PTy(FTy 5,FTy 5))),
17444 (Call
17447 (Call("CEIL_W_S",CTy"COP1",Var("v62",PTy(FTy 5,FTy 5))),
17449 (Call
17452 (Call("CFC1",CTy"COP1",Var("v63",PTy(FTy 5,FTy 5))),
17454 (Call
17457 (Call("CTC1",CTy"COP1",Var("v64",PTy(FTy 5,FTy 5))),
17459 (Call
17462 (Call("CVT_D_L",CTy"COP1",Var("v65",PTy(FTy 5,FTy 5))),
17464 (Call
17467 (Call("CVT_D_S",CTy"COP1",Var("v66",PTy(FTy 5,FTy 5))),
17469 (Call
17472 (Call("CVT_D_W",CTy"COP1",Var("v67",PTy(FTy 5,FTy 5))),
17474 (Call
17477 (Call("CVT_L_D",CTy"COP1",Var("v68",PTy(FTy 5,FTy 5))),
17479 (Call
17482 (Call("CVT_L_S",CTy"COP1",Var("v69",PTy(FTy 5,FTy 5))),
17484 (Call
17487 (Call("CVT_S_D",CTy"COP1",Var("v70",PTy(FTy 5,FTy 5))),
17489 (Call
17492 (Call("CVT_S_L",CTy"COP1",Var("v71",PTy(FTy 5,FTy 5))),
17494 (Call
17497 (Call("CVT_S_W",CTy"COP1",Var("v72",PTy(FTy 5,FTy 5))),
17499 (Call
17502 (Call("CVT_W_D",CTy"COP1",Var("v73",PTy(FTy 5,FTy 5))),
17504 (Call
17507 (Call("CVT_W_S",CTy"COP1",Var("v74",PTy(FTy 5,FTy 5))),
17509 (Call
17512 (Call
17516 (Call
17520 (Call
17524 (Call
17528 (Call
17532 (Call
17535 (Call
17539 (Call
17542 (Call("DMFC1",CTy"COP1",Var("v79",PTy(FTy 5,FTy 5))),
17544 (Call
17547 (Call("DMTC1",CTy"COP1",Var("v80",PTy(FTy 5,FTy 5))),
17549 (Call
17552 (Call("FLOOR_L_D",CTy"COP1",Var("v81",PTy(FTy 5,FTy 5))),
17554 (Call
17557 (Call("FLOOR_L_S",CTy"COP1",Var("v82",PTy(FTy 5,FTy 5))),
17559 (Call
17562 (Call("FLOOR_W_D",CTy"COP1",Var("v83",PTy(FTy 5,FTy 5))),
17564 (Call
17567 (Call("FLOOR_W_S",CTy"COP1",Var("v84",PTy(FTy 5,FTy 5))),
17569 (Call
17572 (Call
17575 (Call
17578 (Call
17582 (Call
17585 (Call
17588 (Call
17591 (Call
17595 (Call
17598 (Call
17602 (Call
17606 (Call
17610 (Call
17614 (Call("MFC1",CTy"COP1",Var("v91",PTy(FTy 5,FTy 5))),
17616 (Call
17619 (Call
17622 (Call
17625 (Call
17629 (Call
17632 (Call
17636 (Call
17639 (Call
17643 (Call
17646 (Call
17650 (Call
17653 (Call
17656 (Call
17659 (Call
17663 (Call
17666 (Call
17670 (Call
17673 (Call
17677 (Call
17680 (Call
17684 (Call
17687 (Call("MOV_D",CTy"COP1",Var("v102",PTy(FTy 5,FTy 5))),
17689 (Call
17692 (Call("MOV_S",CTy"COP1",Var("v103",PTy(FTy 5,FTy 5))),
17694 (Call
17697 (Call
17701 (Call
17705 (Call
17709 (Call
17713 (Call("MTC1",CTy"COP1",Var("v106",PTy(FTy 5,FTy 5))),
17715 (Call
17718 (Call
17722 (Call
17725 (Call
17729 (Call
17732 (Call("NEG_D",CTy"COP1",Var("v109",PTy(FTy 5,FTy 5))),
17734 (Call
17737 (Call("NEG_S",CTy"COP1",Var("v110",PTy(FTy 5,FTy 5))),
17739 (Call
17742 (Call("ROUND_L_D",CTy"COP1",Var("v111",PTy(FTy 5,FTy 5))),
17744 (Call
17747 (Call("ROUND_L_S",CTy"COP1",Var("v112",PTy(FTy 5,FTy 5))),
17749 (Call
17752 (Call("ROUND_W_D",CTy"COP1",Var("v113",PTy(FTy 5,FTy 5))),
17754 (Call
17757 (Call("ROUND_W_S",CTy"COP1",Var("v114",PTy(FTy 5,FTy 5))),
17759 (Call
17762 (Call
17765 (Call
17768 (Call
17772 (Call
17775 (Call("SQRT_D",CTy"COP1",Var("v117",PTy(FTy 5,FTy 5))),
17777 (Call
17780 (Call("SQRT_S",CTy"COP1",Var("v118",PTy(FTy 5,FTy 5))),
17782 (Call
17785 (Call
17789 (Call
17792 (Call
17796 (Call
17799 (Call
17802 (Call
17805 (Call
17809 (Call
17812 (Call("TRUNC_L_D",CTy"COP1",Var("v123",PTy(FTy 5,FTy 5))),
17814 (Call
17817 (Call("TRUNC_L_S",CTy"COP1",Var("v124",PTy(FTy 5,FTy 5))),
17819 (Call
17822 (Call("TRUNC_W_D",CTy"COP1",Var("v125",PTy(FTy 5,FTy 5))),
17824 (Call
17827 (Call("TRUNC_W_S",CTy"COP1",Var("v126",PTy(FTy 5,FTy 5))),
17829 (Call
17832 (Call("COP2",CTy"instruction",Var("v127",CTy"COP2")),
17834 [(Call("CHERICOP2",CTy"COP2",Var("v128",CTy"CHERICOP2")),
17843 (Call
17846 (Call
17849 (Call
17852 (Call
17855 (Call
17859 (Call
17862 (Call
17866 (Call
17869 (Call
17873 (Call
17876 (Call("CJR",CTy"CHERICOP2",Var("v161",FTy 5)),
17878 (Call("dfn'CJR",ATy(qTy,qTy),Var("v161",FTy 5)),
17880 (Call
17883 (Call
17886 (Call
17890 (Call
17894 (Call
17898 (Call
17902 (Call
17906 (Call
17910 (Call
17914 (Call
17919 (Call
17923 (Call
17927 (Call
17931 (Call
17936 (Call
17940 (Call
17944 (Call
17948 (Call
17952 (Call
17956 (Call
17960 (Call("CCheck",CTy"CHERICOP2",Var("v129",CTy"CCheck")),
17962 [(Call
17966 (Call
17969 (Call
17973 (Call
17976 (Call("CGet",CTy"CHERICOP2",Var("v132",CTy"CGet")),
17978 [(Call
17982 (Call
17985 (Call("CGetCause",CTy"CGet",Var("v134",FTy 5)),
17987 (Call
17990 (Call
17994 (Call
17997 (Call
18001 (Call
18004 (Call("CGetPCC",CTy"CGet",Var("v137",FTy 5)),
18006 (Call
18009 (Call
18013 (Call
18016 (Call
18020 (Call
18023 (Call
18027 (Call
18030 (Call
18034 (Call
18037 (Call
18041 (Call
18044 (Call
18048 (Call
18052 (Call("CSet",CTy"CHERICOP2",Var("v144",CTy"CSet")),
18054 [(Call
18058 (Call
18062 (Call
18066 (Call
18069 (Call
18073 (Call
18076 (Call
18080 (Call
18084 (Call
18088 (Call
18092 (Call
18096 (Call
18100 (Call
18104 (Call
18108 (Call
18112 (Call
18116 (Call
18120 (Call
18124 (Call("CSetCause",CTy"CSet",Var("v154",FTy 5)),
18126 (Call
18129 (Call
18133 (Call
18137 (Call("CP",CTy"instruction",Var("v172",CTy"CP")),
18139 [(Call
18142 (Call
18145 (Call
18148 (Call
18151 (Call
18154 (Call
18157 (Call
18160 (Call
18163 (Call("LDC2",CTy"instruction",Var("v177",CTy"LDC2")),
18165 [(Call("CHERILDC2",CTy"LDC2",Var("v178",CTy"CHERILDC2")),
18167 [(Call
18171 (Call
18176 (Call("LWC2",CTy"instruction",Var("v180",CTy"LWC2")),
18178 [(Call("CHERILWC2",CTy"LWC2",Var("v181",CTy"CHERILWC2")),
18180 [(Call
18186 (Call
18193 (Call("Load",CTy"instruction",Var("v183",CTy"Load")),
18195 [(Call("LB",CTy"Load",Var("v184",PTy(FTy 5,PTy(FTy 5,F16)))),
18197 (Call
18200 (Call
18203 (Call
18206 (Call("LD",CTy"Load",Var("v186",PTy(FTy 5,PTy(FTy 5,F16)))),
18208 (Call
18211 (Call
18214 (Call
18217 (Call
18220 (Call
18223 (Call("LH",CTy"Load",Var("v189",PTy(FTy 5,PTy(FTy 5,F16)))),
18225 (Call
18228 (Call
18231 (Call
18234 (Call("LL",CTy"Load",Var("v191",PTy(FTy 5,PTy(FTy 5,F16)))),
18236 (Call
18239 (Call
18242 (Call
18245 (Call("LW",CTy"Load",Var("v193",PTy(FTy 5,PTy(FTy 5,F16)))),
18247 (Call
18250 (Call
18253 (Call
18256 (Call
18259 (Call
18262 (Call
18265 (Call
18268 (Call("MultDiv",CTy"instruction",Var("v197",CTy"MultDiv")),
18270 [(Call("DDIV",CTy"MultDiv",Var("v198",PTy(FTy 5,FTy 5))),
18272 (Call
18275 (Call("DDIVU",CTy"MultDiv",Var("v199",PTy(FTy 5,FTy 5))),
18277 (Call
18280 (Call("DIV",CTy"MultDiv",Var("v200",PTy(FTy 5,FTy 5))),
18282 (Call
18285 (Call("DIVU",CTy"MultDiv",Var("v201",PTy(FTy 5,FTy 5))),
18287 (Call
18290 (Call("DMULT",CTy"MultDiv",Var("v202",PTy(FTy 5,FTy 5))),
18292 (Call
18295 (Call("DMULTU",CTy"MultDiv",Var("v203",PTy(FTy 5,FTy 5))),
18297 (Call
18300 (Call("MADD",CTy"MultDiv",Var("v204",PTy(FTy 5,FTy 5))),
18302 (Call
18305 (Call("MADDU",CTy"MultDiv",Var("v205",PTy(FTy 5,FTy 5))),
18307 (Call
18310 (Call("MFHI",CTy"MultDiv",Var("v206",FTy 5)),
18312 (Call("dfn'MFHI",ATy(qTy,qTy),Var("v206",FTy 5)),
18314 (Call("MFLO",CTy"MultDiv",Var("v207",FTy 5)),
18316 (Call("dfn'MFLO",ATy(qTy,qTy),Var("v207",FTy 5)),
18318 (Call("MSUB",CTy"MultDiv",Var("v208",PTy(FTy 5,FTy 5))),
18320 (Call
18323 (Call("MSUBU",CTy"MultDiv",Var("v209",PTy(FTy 5,FTy 5))),
18325 (Call
18328 (Call("MTHI",CTy"MultDiv",Var("v210",FTy 5)),
18330 (Call("dfn'MTHI",ATy(qTy,qTy),Var("v210",FTy 5)),
18332 (Call("MTLO",CTy"MultDiv",Var("v211",FTy 5)),
18334 (Call("dfn'MTLO",ATy(qTy,qTy),Var("v211",FTy 5)),
18336 (Call
18340 (Call
18343 (Call("MULT",CTy"MultDiv",Var("v213",PTy(FTy 5,FTy 5))),
18345 (Call
18348 (Call("MULTU",CTy"MultDiv",Var("v214",PTy(FTy 5,FTy 5))),
18350 (Call
18353 (Call("SDC2",CTy"instruction",Var("v215",CTy"SDC2")),
18355 [(Call("CHERISDC2",CTy"SDC2",Var("v216",CTy"CHERISDC2")),
18357 [(Call
18361 (Call
18366 (Call("SWC2",CTy"instruction",Var("v218",CTy"SWC2")),
18368 [(Call("CHERISWC2",CTy"SWC2",Var("v219",CTy"CHERISWC2")),
18370 [(Call
18375 (Call
18381 (Call("Shift",CTy"instruction",Var("v221",CTy"Shift")),
18383 [(Call
18387 (Call
18390 (Call
18394 (Call
18397 (Call
18401 (Call
18404 (Call
18408 (Call
18411 (Call
18415 (Call
18418 (Call
18422 (Call
18425 (Call
18429 (Call
18432 (Call
18436 (Call
18439 (Call
18443 (Call
18446 (Call
18450 (Call
18453 (Call
18457 (Call
18460 (Call
18464 (Call
18467 (Call
18471 (Call
18474 (Call
18478 (Call
18481 (Call
18485 (Call
18488 (Call("Store",CTy"instruction",Var("v237",CTy"Store")),
18490 [(Call
18493 (Call
18496 (Call
18499 (Call
18502 (Call
18505 (Call
18508 (Call
18511 (Call
18514 (Call
18517 (Call
18520 (Call
18523 (Call
18526 (Call
18529 (Call
18532 (Call
18535 (Call
18538 (Call
18541 (Call
18544 (Call
18547 (Call
18550 (Call("Trap",CTy"instruction",Var("v248",CTy"Trap")),
18552 [(Call("TEQ",CTy"Trap",Var("v249",PTy(FTy 5,FTy 5))),
18554 (Call
18557 (Call("TEQI",CTy"Trap",Var("v250",PTy(FTy 5,F16))),
18559 (Call
18562 (Call("TGE",CTy"Trap",Var("v251",PTy(FTy 5,FTy 5))),
18564 (Call
18567 (Call("TGEI",CTy"Trap",Var("v252",PTy(FTy 5,F16))),
18569 (Call
18572 (Call("TGEIU",CTy"Trap",Var("v253",PTy(FTy 5,F16))),
18574 (Call
18577 (Call("TGEU",CTy"Trap",Var("v254",PTy(FTy 5,FTy 5))),
18579 (Call
18582 (Call("TLT",CTy"Trap",Var("v255",PTy(FTy 5,FTy 5))),
18584 (Call
18587 (Call("TLTI",CTy"Trap",Var("v256",PTy(FTy 5,F16))),
18589 (Call
18592 (Call("TLTIU",CTy"Trap",Var("v257",PTy(FTy 5,F16))),
18594 (Call
18597 (Call("TLTU",CTy"Trap",Var("v258",PTy(FTy 5,FTy 5))),
18599 (Call
18602 (Call("TNE",CTy"Trap",Var("v259",PTy(FTy 5,FTy 5))),
18604 (Call
18607 (Call("TNEI",CTy"Trap",Var("v260",PTy(FTy 5,F16))),
18609 (Call
18615 Call
18650 Call
18661 Call
18672 Call
18683 Call
18718 Call
18729 Call
18740 Call
18751 Call
18771 Call
18805 Call
18833 Call
18860 Call
18887 Call
18913 Call
18932 Call
18947 Call
18971 Call
18990 Call
19004 Call
19021 Call
19035 Call
19068 Call
19093 Call
19106 Call
19122 Call
19149 Call
19172 Call
19185 Call
19222 Call
19233 Call
19244 Call
19255 Call
19287 Call
19298 Call
19309 Call
19320 Call
19338 Call
19372 Call
19399 Call
19426 Call
19453 Call
19479 Call
19497 Call
19512 Call
19536 Call
19555 Call
19567 Call
19582 Call
19602 Call
19615 Call
19635 Call
19652 Call
19665 Call
19680 Call
19695 Call
19707 Call
19719 Call
19731 Call
19758 Call
19767 Call
19776 Call
19785 Call
19798 Call
19800 Call
19806 Call
19808 Call
19814 Call
19816 Call
19822 Call
19824 Call
19834 Call
19836 Call
19842 Call
19844 Call
19854 Call
19866 Call
19881 Call
19896 Call
19911 Call
19936 Call
19954 Call
19972 Call
19989 Call
20005 Call
20007 Call
20031 Call
20033 Call
20048 Call
20050 Call
20065 Call
20067 Call
20087 Call
20089 Call
20104 Call
20143 Call
20181 Call
20234 Call
20236 Call
20246 Call
20248 Call
20263 Call
20265 Call
20283 Call
20285 Call
20300 Call
20302 Call
20317 Call
20339 Call
20341 Call
20358 Call
20360 Call
20381 Call
20395 Call
20409 Call
20423 Call
20437 Call
20449 Call
20466 Call
20485 Call
20487 Call
20499 Call
20501 Call
20510 Call
20523 Call
20536 Call
20550 Call
20552 Call
20567 Call
20569 Call
20585 Call
20587 Call
20603 Call
20605 Call
20621 Call
20623 Call
20639 Call
20641 Call
20674 Call
20676 Call
20696 Call
20698 Call
20726 Call
20728 Call
20734 Call
20736 Call
20755 Call
20757 Call
20776 Call
20788 Call
20800 Call
20819 Call
20837 Call
20856 Call
20858 Call
20860 Call
20866 Call
20868 Call
20870 Call
20875 Call
20877 Call
20879 Call
20884 Call
20886 Call
20888 Call
20893 Call
20895 Call
20905 Call
20907 Call
20909 Call
20915 Call
20917 Call
20923 Call
20925 Call
20927 Call
20933 Call
20935 Call
20937 Call
20956 Call
20958 Call
20983 Call
20985 Call
21011 Call
21032 Call
21056 Call
21058 Call
21078 Call
21080 Call
21100 Call
21102 Call
21122 Call
21150 Call
21152 Call
21173 Call
21175 Call
21196 Call
21198 Call
21213 Call
21215 Call
21232 Call
21234 Call
21252 Call
21254 Call
21307 Call
21320 Call
21322 Call
21339 Call
21341 Call
21358 Call
21360 Call
21377 Call
21379 Call
21397 Call
21399 Call
21416 Call
21418 Call
21435 Call
21459 Call
21461 Call
21480 Call
21482 Call
21501 Call
21503 Call
21521 Call
21523 Call
21542 Call
21544 Call
21563 Call
21565 Call
21584 Call
21586 Call
21604 Call
21606 Call
21625 Call
21627 Call
21646 Call
21648 Call
21682 Call
21684 Call
21703 Call
21705 Call
21724 Call
21726 Call
21744 Call
21746 Call
21759 Call
21761 Call
21774 Call
21776 Call
21792 Call
21794 Call
21810 Call
21822 Call
21834 Call
21895 Call
21897 Call
21949 Call
21951 Call
22003 Call
22005 Call
22056 Call
22058 Call
22094 Call
22096 Call
22111 Call
22113 Call
22133 Call
22154 Call
22156 Call
22172 Call
22174 Call
22190 Call
22192 Call
22208 Call
22228 Call
22230 Call
22246 Call
22248 Call
22264 Call
22282 Call
22660 Call
22662 Call
22700 Call
22702 Call
22740 Call
22742 Call
22780 Call
22782 Call
22799 Call
22801 Call
22813 Call
22815 Call
22897 Call
22911 Call
22913 Call
22929 Call
22931 Call
22947 Call
22949 Call
22965 Call
22967 Call
22984 Call
22986 Call
23001 Call
23003 Call
23018 Call
23020 Call
23035 Call
23037 Call
23054 Call
23056 Call
23071 Call
23073 Call
23088 Call
23090 Call
23105 Call
23107 Call
23139 Call
23168 Call
23170 Call
23198 Call
23200 Call
23227 Call
23229 Call
23257 Call
23259 Call
23286 Call
23288 Call
23314 Call
23316 Call
23360 Call
23362 Call
23383 Call
23385 Call
23409 Call
23411 Call
23437 Call
23439 Call
23528 Call
23580 Call
23582 Call
23634 Call
23636 Call
23688 Call
23690 Call
23741 Call
23743 Call
23765 Call
23767 Call
23794 Call
23796 Call
23822 Call
23824 Call
23866 Call
23868 Call
23906 Call
23908 Call
23946 Call
23948 Call
23985 Call
23987 Call
24025 Call
24027 Call
24064 Call
24066 Call
24103 Call
24105 Call
24141 Call
24143 Call
24169 Call
24171 Call
24199 Call
24201 Call
24229 Call
24231 Call
24258 Call
24260 Call
24288 Call
24290 Call
24317 Call
24319 Call
24346 Call
24348 Call
24374 Call
24376 Call
24403 Call
24405 Call
24431 Call
24433 Call
24460 Call
24462 Call
24488 Call
24490 Call
24516 Call
24518 Call
24543 Call
24545 Call
24564 Call
24566 Call
24581 Call
24583 Call
24598 Call
24600 Call
24615 Call
24617 Call
24633 Call
24635 Call
24650 Call
24652 Call
24677 Call
24679 Call
24706 Call
24708 Call
24734 Call
24736 Call
24763 Call
24765 Call
24791 Call
24793 Call
24818 Call
24820 Call
24832 Call
24834 Call
24851 Call
24853 Call
24864 Call
24866 Call
24884 [(Call("COP1",CTy"instruction",Var("j",CTy"COP1")),
24886 [(Call("ABS_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
24887 Call
24889 (Call("ABS_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
24890 Call
24892 (Call
24895 Call
24899 (Call
24902 Call
24906 (Call("BC1F",CTy"COP1",TP[Var("i",F16),Var("cc",FTy 3)]),
24911 Call
24915 (Call("BC1FL",CTy"COP1",TP[Var("i",F16),Var("cc",FTy 3)]),
24920 Call
24924 (Call("BC1T",CTy"COP1",TP[Var("i",F16),Var("cc",FTy 3)]),
24929 Call
24933 (Call("BC1TL",CTy"COP1",TP[Var("i",F16),Var("cc",FTy 3)]),
24938 Call
24942 (Call
24945 Call
24949 (Call
24952 Call
24956 (Call
24959 Call
24963 (Call
24966 Call
24970 (Call
24973 Call
24977 (Call
24980 Call
24984 (Call
24987 Call
24991 (Call
24994 Call
24998 (Call
25001 Call
25005 (Call
25008 Call
25012 (Call
25015 Call
25019 (Call
25022 Call
25026 (Call
25029 Call
25033 (Call
25036 Call
25040 (Call
25043 Call
25047 (Call
25050 Call
25054 (Call
25056 Call
25059 (Call
25061 Call
25064 (Call
25066 Call
25069 (Call
25071 Call
25074 (Call("CFC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
25075 Call
25078 (Call("CTC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
25079 Call
25082 (Call("CVT_D_L",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25083 Call
25086 (Call("CVT_D_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25087 Call
25090 (Call("CVT_D_W",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25091 Call
25094 (Call("CVT_L_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25095 Call
25098 (Call("CVT_L_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25099 Call
25102 (Call("CVT_S_L",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25103 Call
25106 (Call("CVT_S_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25107 Call
25110 (Call("CVT_S_W",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25111 Call
25114 (Call("CVT_W_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25115 Call
25118 (Call("CVT_W_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25119 Call
25122 (Call
25125 Call
25129 (Call
25132 Call
25136 (Call("DMFC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
25137 Call
25140 (Call("DMTC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
25141 Call
25144 (Call
25146 Call
25149 (Call
25151 Call
25154 (Call
25156 Call
25159 (Call
25161 Call
25164 (Call
25167 Call
25171 (Call
25174 Call
25178 (Call
25181 Call
25185 (Call
25188 Call
25192 (Call("MFC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
25193 Call
25195 (Call
25199 Call
25203 (Call
25207 Call
25211 (Call
25215 Call
25219 (Call
25223 Call
25227 (Call("MOV_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25228 Call
25230 (Call("MOV_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25231 Call
25233 (Call
25236 CC[Call
25239 (Call
25242 CC[Call
25246 (Call
25249 CC[Call
25253 (Call
25256 CC[Call
25259 Call("reg_name",sTy,Var("rt",FTy 5))]),
25260 (Call
25263 CC[Call
25266 Call("reg_name",sTy,Var("rt",FTy 5))]),
25267 (Call
25270 CC[Call
25274 (Call
25277 CC[Call
25281 (Call
25284 CC[Call
25288 (Call
25291 CC[Call
25294 Call("reg_name",sTy,Var("rt",FTy 5))]),
25295 (Call
25298 CC[Call
25301 Call("reg_name",sTy,Var("rt",FTy 5))]),
25302 (Call("MTC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
25303 Call
25305 (Call
25308 Call
25312 (Call
25315 Call
25319 (Call("NEG_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25320 Call
25322 (Call("NEG_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25323 Call
25325 (Call
25327 Call
25330 (Call
25332 Call
25335 (Call
25337 Call
25340 (Call
25342 Call
25345 (Call
25348 Call
25352 (Call
25355 Call
25359 (Call
25362 Call
25366 (Call
25369 Call
25373 (Call
25376 Call
25380 (Call
25383 Call
25387 (Call("SQRT_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25388 Call
25391 (Call("SQRT_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
25392 Call
25395 (Call
25397 Call
25400 (Call
25402 Call
25405 (Call
25407 Call
25410 (Call
25412 Call
25438 Call("cr",sTy,Var("cr1",FTy 5))])
25443 Call("gr",sTy,Var("r1",FTy 5))])
25448 Call("gr",sTy,Var("gr1",FTy 5)),LS", ",
25449 Call("imm",sTy,Var("i",BTy"N"))])
25454 Call("cr",sTy,Var("cr1",FTy 5)),LS", ",
25455 Call("imm",sTy,Var("i",BTy"N"))])
25460 Call("cr",sTy,Var("cr1",FTy 5)),LS", ",
25461 Call("gr",sTy,Var("r1",FTy 5))])
25466 Call("gr",sTy,Var("r1",FTy 5)),LS", ",
25467 Call("cr",sTy,Var("cr1",FTy 5))])
25472 Call("cr",sTy,Var("cr1",FTy 5)),LS", ",
25473 Call("cr",sTy,Var("cr2",FTy 5))])
25479 Call("cr",sTy,Var("cr1",FTy 5)),LS", ",
25480 Call("cr",sTy,Var("cr2",FTy 5)),LS", ",
25481 Call("gr",sTy,Var("r1",FTy 5))])
25487 Call("cr",sTy,Var("cr1",FTy 5)),LS", ",
25488 Call("cr",sTy,Var("cr2",FTy 5)),LS", ",
25489 Call("imm",sTy,Var("i",BTy"N"))])
25495 Call("cr",sTy,Var("cr1",FTy 5)),LS", ",
25496 Call("cr",sTy,Var("cr2",FTy 5)),LS", ",
25497 Call("cr",sTy,Var("cr3",FTy 5))])
25503 Call("gr",sTy,Var("r1",FTy 5)),LS", ",
25504 Call("cr",sTy,Var("cr1",FTy 5)),LS", ",
25505 Call("cr",sTy,Var("cr2",FTy 5))])
25512 Call("gr",sTy,Var("r1",FTy 5)),LS", ",
25513 Call("cr",sTy,Var("cr1",FTy 5)),LS", ",
25514 Call("gr",sTy,Var("r2",FTy 5)),LS", ",
25515 Call("imm",sTy,Var("i",BTy"N"))])
25522 Call("cr",sTy,Var("cr1",FTy 5)),LS", ",
25523 Call("cr",sTy,Var("cr2",FTy 5)),LS", ",
25524 Call("gr",sTy,Var("r1",FTy 5)),LS", ",
25525 Call("imm",sTy,Var("i",BTy"N"))])
25531 Call("gr",sTy,Var("r1",FTy 5)),LS", ",
25532 Call("gr",sTy,Var("r2",FTy 5)),LS", ",
25533 Call("cr",sTy,Var("cr1",FTy 5))])
25538 [(Call
25540 Call("CHERICOP2",CTy"COP2",Var("j",CTy"CHERICOP2"))),
25543 (Call
25545 Call
25548 Call
25551 (Call
25553 Call
25556 Call
25559 (Call
25561 Call
25563 Call
25566 (Call
25568 Call
25570 Call
25573 (Call
25575 Call
25578 Call
25581 (Call
25583 Call
25586 Call
25589 (Call
25591 Call
25594 Call
25597 (Call
25599 Call("CGetPCC",CTy"CGet",Var("cd",FTy 5))),
25600 Call("op_cr",sTy,TP[LS"cgetpcc",Var("cd",FTy 5)])),
25601 (Call
25603 Call
25606 Call
25609 (Call
25611 Call("CGetCause",CTy"CGet",Var("rd",FTy 5))),
25612 Call("op_gr",sTy,TP[LS"cgetcause",Var("rd",FTy 5)])),
25613 (Call
25615 Call("CSetCause",CTy"CSet",Var("rt",FTy 5))),
25616 Call("op_gr",sTy,TP[LS"csetcause",Var("rt",FTy 5)])),
25617 (Call
25619 Call
25622 Call
25626 (Call
25628 Call
25631 Call
25635 (Call
25637 Call
25640 Call
25644 (Call
25646 Call
25649 Call
25653 (Call
25655 Call
25658 Call
25662 (Call
25664 Call
25667 Call
25670 (Call
25672 Call
25675 Call
25678 (Call
25680 Call
25683 Call
25687 (Call
25689 Call
25692 Call
25696 (Call
25699 Call
25703 (Call
25705 Call
25708 Call
25711 (Call
25713 Call
25716 Call
25719 (Call
25721 Call
25724 Call
25728 (Call
25730 Call
25733 Call
25737 (Call
25743 Call
25748 Call
25753 Call
25758 Call
25763 Call
25768 Call
25773 Call
25778 Call
25783 (Call
25786 Call
25789 (Call
25792 Call
25795 (Call("CJR",CTy"CHERICOP2",Var("cb",FTy 5)),
25796 Call("op_cr",sTy,TP[LS"cjr",Var("cb",FTy 5)])),
25797 (Call
25799 Call
25802 (Call
25805 Call
25809 (Call
25812 Call
25816 (Call
25819 Call
25822 (Call
25825 Call
25829 (Call
25834 Call
25838 Call
25842 Call
25846 Call
25850 Call
25854 Call
25858 Call
25862 Call
25865 (Call
25867 Call
25870 (Call
25876 Call
25881 Call
25886 Call
25891 Call
25895 (Call
25898 Call
25902 (Call
25905 Call
25909 (Call
25912 Call
25923 [(Call
25925 Call("CHERILWC2",CTy"LWC2",Var("j",CTy"CHERILWC2"))),
25927 [(Call
25933 Call
25938 Call
25943 Call
25948 Call
25952 (Call
25956 Call
25960 (Call
25964 Call
25968 (Call
25972 Call
25982 [(Call
25984 Call("CHERILDC2",CTy"LDC2",Var("j",CTy"CHERILDC2"))),
25986 [(Call
25990 Call
25999 [(Call
26001 Call("CHERISWC2",CTy"SWC2",Var("j",CTy"CHERISWC2"))),
26003 [(Call
26009 Call
26014 Call
26019 Call
26024 Call
26033 [(Call
26035 Call("CHERISDC2",CTy"SDC2",Var("j",CTy"CHERISDC2"))),
26037 [(Call
26041 Call
26054 (Call("CGet",CTy"CHERICOP2",Var("v#0",CTy"CGet")),
26056 [(Call
26061 (Call
26066 (Call
26070 (Call
26074 (Call
26079 (Call
26084 (Call
26089 (Call("CGetPCC",CTy"CGet",Var("cd",FTy 5)),
26092 (Call
26097 (Call("CGetCause",CTy"CGet",Var("rd",FTy 5)),
26100 (Call
26105 (Call("CSet",CTy"CHERICOP2",Var("v#1",CTy"CSet")),
26107 [(Call("CSetCause",CTy"CSet",Var("rt",FTy 5)),
26110 (Call
26115 (Call
26120 (Call
26125 (Call
26130 (Call
26135 (Call
26140 (Call
26145 (Call
26150 (Call
26155 (Call
26160 (Call
26166 (Call("CCheck",CTy"CHERICOP2",Var("v#3",CTy"CCheck")),
26168 [(Call
26173 (Call
26178 (Call
26186 (Call("CBTU",CTy"CHERICOP2",Var("v#5",PTy(FTy 5,F16))),
26191 (Call("CBTS",CTy"CHERICOP2",Var("v#6",PTy(FTy 5,F16))),
26196 (Call("CJR",CTy"CHERICOP2",Var("v#7",FTy 5)),
26198 (Call("CJALR",CTy"CHERICOP2",Var("v#8",PTy(FTy 5,FTy 5))),
26203 (Call
26210 (Call
26217 (Call("CCall0",CTy"CHERICOP2",Var("v#11",PTy(FTy 5,FTy 5))),
26222 (Call("CCall1",CTy"CHERICOP2",Var("v#12",PTy(FTy 5,FTy 5))),
26229 (Call
26255 (Call
26261 (Call("CLLC",CTy"CHERICOP2",Var("v#14",PTy(FTy 5,FTy 5))),
26266 (Call
26275 (Call
26290 [(Call
26292 Call("CHERICOP2",CTy"COP2",Var("j",CTy"CHERICOP2"))),
26295 (Call
26302 (Call
26313 [(Call
26315 Call
26317 Call
26323 (Call
26325 Call
26327 Call
26333 (Call
26335 Call
26337 Call
26343 (Call
26345 Call
26347 Call
26356 (Call
26367 [(Call
26369 Call
26371 Call
26380 (Call
26391 [(Call
26393 Call
26395 Call
26404 (Call
26415 [(Call
26417 Call
26419 Call
26428 (Call
26437 [(Call
26439 Call("SLL",CTy"Shift",TP[LW(0,5),LW(0,5),LW(0,5)])),LS"nop"),
26440 (Call
26442 Call("SLL",CTy"Shift",TP[LW(0,5),LW(0,5),LW(1,5)])),LS"ssnop"),
26443 (Call
26445 Call
26448 Call
26451 (Call
26453 Call
26456 Call
26459 (Call
26461 Call
26464 Call
26467 (Call
26469 Call
26472 Call
26475 (Call
26477 Call
26480 Call
26483 (Call
26485 Call
26488 Call
26491 (Call
26493 Call("JR",CTy"Branch",Var("rs",FTy 5))),
26494 Call("op1r",sTy,TP[LS"jr",Var("rs",FTy 5)])),
26495 (Call
26497 Call("JALR",CTy"Branch",TP[Var("rs",FTy 5),Var("rd",FTy 5)])),
26498 Call("op2r",sTy,TP[LS"jalr",Var("rd",FTy 5),Var("rs",FTy 5)])),
26499 (Call
26501 Call("MFHI",CTy"MultDiv",Var("rd",FTy 5))),
26502 Call("op1r",sTy,TP[LS"mfhi",Var("rd",FTy 5)])),
26503 (Call
26505 Call("MTHI",CTy"MultDiv",Var("rd",FTy 5))),
26506 Call("op1r",sTy,TP[LS"mthi",Var("rd",FTy 5)])),
26507 (Call
26509 Call("MFLO",CTy"MultDiv",Var("rs",FTy 5))),
26510 Call("op1r",sTy,TP[LS"mflo",Var("rs",FTy 5)])),
26511 (Call
26513 Call("MTLO",CTy"MultDiv",Var("rs",FTy 5))),
26514 Call("op1r",sTy,TP[LS"mtlo",Var("rs",FTy 5)])),
26515 (Call
26517 Call
26520 Call
26523 (Call
26525 Call
26528 Call
26531 (Call
26533 Call
26536 Call
26539 (Call
26541 Call("MADD",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26542 Call("op2r",sTy,TP[LS"madd",Var("rs",FTy 5),Var("rt",FTy 5)])),
26543 (Call
26545 Call("MADDU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26546 Call("op2r",sTy,TP[LS"maddu",Var("rs",FTy 5),Var("rt",FTy 5)])),
26547 (Call
26549 Call("MSUB",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26550 Call("op2r",sTy,TP[LS"msub",Var("rs",FTy 5),Var("rt",FTy 5)])),
26551 (Call
26553 Call("MSUBU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26554 Call("op2r",sTy,TP[LS"msubu",Var("rs",FTy 5),Var("rt",FTy 5)])),
26555 (Call
26557 Call
26560 Call
26563 (Call
26565 Call("MULT",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26566 Call("op2r",sTy,TP[LS"mult",Var("rs",FTy 5),Var("rt",FTy 5)])),
26567 (Call
26569 Call("MULTU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26570 Call("op2r",sTy,TP[LS"multu",Var("rs",FTy 5),Var("rt",FTy 5)])),
26571 (Call
26573 Call("DIV",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26574 Call("op2r",sTy,TP[LS"div",Var("rs",FTy 5),Var("rt",FTy 5)])),
26575 (Call
26577 Call("DIVU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26578 Call("op2r",sTy,TP[LS"divu",Var("rs",FTy 5),Var("rt",FTy 5)])),
26579 (Call
26581 Call("DMULT",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26582 Call("op2r",sTy,TP[LS"dmult",Var("rs",FTy 5),Var("rt",FTy 5)])),
26583 (Call
26585 Call("DMULTU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26586 Call("op2r",sTy,TP[LS"dmultu",Var("rs",FTy 5),Var("rt",FTy 5)])),
26587 (Call
26589 Call("DDIV",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26590 Call("op2r",sTy,TP[LS"ddiv",Var("rs",FTy 5),Var("rt",FTy 5)])),
26591 (Call
26593 Call("DDIVU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26594 Call("op2r",sTy,TP[LS"ddivu",Var("rs",FTy 5),Var("rt",FTy 5)])),
26595 (Call
26597 Call
26600 Call
26603 (Call
26605 Call
26608 Call
26611 (Call
26613 Call
26616 Call
26619 (Call
26621 Call
26624 Call
26627 (Call
26629 Call
26632 Call
26635 (Call
26637 Call
26640 Call
26643 (Call
26645 Call
26648 Call
26651 (Call
26653 Call
26656 Call
26659 (Call
26661 Call
26664 Call
26667 (Call
26669 Call
26672 Call
26675 (Call
26677 Call
26680 Call
26683 (Call
26685 Call
26688 Call
26691 (Call
26693 Call
26696 Call
26699 (Call
26701 Call
26704 Call
26707 (Call
26709 Call
26712 Call
26715 (Call
26717 Call
26720 Call
26723 (Call
26725 Call("TGE",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26726 Call("op2r",sTy,TP[LS"tge",Var("rs",FTy 5),Var("rt",FTy 5)])),
26727 (Call
26729 Call("TGEU",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26730 Call("op2r",sTy,TP[LS"tgeu",Var("rs",FTy 5),Var("rt",FTy 5)])),
26731 (Call
26733 Call("TLT",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26734 Call("op2r",sTy,TP[LS"tlt",Var("rs",FTy 5),Var("rt",FTy 5)])),
26735 (Call
26737 Call("TLTU",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26738 Call("op2r",sTy,TP[LS"tltu",Var("rs",FTy 5),Var("rt",FTy 5)])),
26739 (Call
26741 Call("TEQ",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26742 Call("op2r",sTy,TP[LS"teq",Var("rs",FTy 5),Var("rt",FTy 5)])),
26743 (Call
26745 Call("TNE",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
26746 Call("op2r",sTy,TP[LS"tne",Var("rs",FTy 5),Var("rt",FTy 5)])),
26747 (Call
26749 Call
26752 Call
26755 (Call
26757 Call
26760 Call
26763 (Call
26765 Call
26768 Call
26771 (Call
26773 Call
26776 Call
26779 (Call
26781 Call
26784 Call
26787 (Call
26789 Call
26792 Call
26795 (Call
26797 Call("BLTZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26798 Call("op1rai",sTy,TP[LS"bltz",Var("rs",FTy 5),Var("imm",F16)])),
26799 (Call
26801 Call("BGEZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26802 Call("op1rai",sTy,TP[LS"bgez",Var("rs",FTy 5),Var("imm",F16)])),
26803 (Call
26805 Call("BLTZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26806 Call("op1rlai",sTy,TP[LS"bltzl",Var("rs",FTy 5),Var("imm",F16)])),
26807 (Call
26809 Call("BGEZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26810 Call("op1rlai",sTy,TP[LS"bgezl",Var("rs",FTy 5),Var("imm",F16)])),
26811 (Call
26813 Call("TGEI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
26814 Call("op1ri",sTy,TP[LS"tgei",Var("rs",FTy 5),Var("imm",F16)])),
26815 (Call
26817 Call("TGEIU",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
26818 Call("op1ri",sTy,TP[LS"tgeiu",Var("rs",FTy 5),Var("imm",F16)])),
26819 (Call
26821 Call("TLTI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
26822 Call("op1ri",sTy,TP[LS"tlti",Var("rs",FTy 5),Var("imm",F16)])),
26823 (Call
26825 Call("TLTIU",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
26826 Call("op1ri",sTy,TP[LS"tltiu",Var("rs",FTy 5),Var("imm",F16)])),
26827 (Call
26829 Call("TEQI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
26830 Call("op1ri",sTy,TP[LS"teqi",Var("rs",FTy 5),Var("imm",F16)])),
26831 (Call
26833 Call("TNEI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
26834 Call("op1ri",sTy,TP[LS"tnei",Var("rs",FTy 5),Var("imm",F16)])),
26835 (Call
26837 Call("BLTZAL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26838 Call("op1rai",sTy,TP[LS"bltzal",Var("rs",FTy 5),Var("imm",F16)])),
26839 (Call
26841 Call("BGEZAL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26842 Call("op1rai",sTy,TP[LS"bgezal",Var("rs",FTy 5),Var("imm",F16)])),
26843 (Call
26845 Call("BLTZALL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26846 Call("op1rlai",sTy,TP[LS"bltzall",Var("rs",FTy 5),Var("imm",F16)])),
26847 (Call
26849 Call("BGEZALL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26850 Call("op1rlai",sTy,TP[LS"bgezall",Var("rs",FTy 5),Var("imm",F16)])),
26851 (Call
26853 Call("J",CTy"Branch",Var("imm",FTy 26))),
26854 Call("op1ai",sTy,TP[LS"j",Var("imm",FTy 26)])),
26855 (Call
26857 Call("JAL",CTy"Branch",Var("imm",FTy 26))),
26858 Call("op1ai",sTy,TP[LS"jal",Var("imm",FTy 26)])),
26859 (Call
26861 Call
26864 Call
26867 (Call
26869 Call
26872 Call
26875 (Call
26877 Call
26880 Call
26883 (Call
26885 Call
26888 Call
26891 (Call
26893 Call("BEQ",CTy"Branch",TP[LW(0,5),LW(0,5),Var("imm",F16)])),
26894 Call("op1ai",sTy,TP[LS"b",Var("imm",F16)])),
26895 (Call
26897 Call
26900 Call
26903 (Call
26905 Call
26908 Call
26911 (Call
26913 Call("BLEZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26914 Call("op1rai",sTy,TP[LS"blez",Var("rs",FTy 5),Var("imm",F16)])),
26915 (Call
26917 Call("BGTZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26918 Call("op1rai",sTy,TP[LS"bgtz",Var("rs",FTy 5),Var("imm",F16)])),
26919 (Call
26921 Call
26924 Call
26927 (Call
26929 Call
26932 Call
26935 (Call
26937 Call
26940 Call
26943 (Call
26945 Call
26948 Call
26951 (Call
26953 Call
26956 Call
26959 (Call
26961 Call
26964 Call
26967 (Call
26969 Call
26972 Call
26975 (Call
26977 Call("LUI",CTy"ArithI",TP[Var("rt",FTy 5),Var("imm",F16)])),
26978 Call("op1ri",sTy,TP[LS"lui",Var("rt",FTy 5),Var("imm",F16)])),
26979 (Call
26981 Call
26984 Call
26987 (Call
26989 Call
26992 Call
26995 (Call
26997 Call("BLEZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
26998 Call("op1rlai",sTy,TP[LS"blezl",Var("rs",FTy 5),Var("imm",F16)])),
26999 (Call
27001 Call("BGTZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
27002 Call("op1rlai",sTy,TP[LS"bgtzl",Var("rs",FTy 5),Var("imm",F16)])),
27003 (Call
27005 Call
27008 Call
27011 (Call
27013 Call
27016 Call
27019 (Call
27021 Call
27024 Call
27027 (Call
27029 Call
27032 Call
27035 (Call
27037 Call
27040 Call
27043 (Call
27045 Call
27048 Call
27051 (Call
27053 Call
27056 Call
27059 (Call
27061 Call
27064 Call
27067 (Call
27069 Call
27072 Call
27075 (Call
27077 Call
27080 Call
27083 (Call
27085 Call
27088 Call
27091 (Call
27093 Call
27096 Call
27099 (Call
27101 Call
27104 Call
27107 (Call
27109 Call
27112 Call
27115 (Call
27117 Call
27120 Call
27123 (Call
27125 Call
27128 Call
27131 (Call
27133 Call
27136 Call
27139 (Call
27141 Call
27144 Call
27147 (Call
27149 Call
27152 Call
27155 (Call
27157 Call
27160 Call
27163 (Call
27165 Call
27168 Call
27171 (Call
27173 Call
27176 Call
27179 (Call
27181 Call
27184 Call
27187 (Call
27189 Call
27192 Call
27195 (Call
27197 Call
27200 Call
27203 (Call
27206 CC[LS"cache ",Call("ihex",sTy,Var("opn",FTy 5)),LS", ",
27207 Call("ihex",sTy,Var("imm",F16)),LS"(",
27208 Call("reg_name",sTy,Var("rs",FTy 5)),LS")"]),
27211 (Call("SYNC",CTy"instruction",Var("imm5",FTy 5)),
27212 CC[LS"sync ",Call("ihex",sTy,Var("imm5",FTy 5))]),
27218 (Call("RDHWR",CTy"instruction",TP[Var("rt",FTy 5),Var("rd",FTy 5)]),
27219 Call("op2r",sTy,TP[LS"rdhwr",Var("rt",FTy 5),Var("rd",FTy 5)])),
27221 (Call("COP1",CTy"instruction",AVar(CTy"COP1")),
27222 Call("COP1InstructionToString",sTy,Var("i",CTy"instruction"))),
27223 (Call("COP2",CTy"instruction",AVar(CTy"COP2")),
27224 Call("COP2InstructionToString",sTy,Var("i",CTy"instruction"))),
27225 (Call("LWC2",CTy"instruction",AVar(CTy"LWC2")),
27226 Call("LWC2InstructionToString",sTy,Var("i",CTy"instruction"))),
27227 (Call("LDC2",CTy"instruction",AVar(CTy"LDC2")),
27228 Call("LDC2InstructionToString",sTy,Var("i",CTy"instruction"))),
27229 (Call("SWC2",CTy"instruction",AVar(CTy"SWC2")),
27230 Call("SWC2InstructionToString",sTy,Var("i",CTy"instruction"))),
27231 (Call("SDC2",CTy"instruction",AVar(CTy"SDC2")),
27232 Call("SDC2InstructionToString",sTy,Var("i",CTy"instruction"))),
27241 [(Call
27243 Call
27246 TP[Call
27250 (Call
27252 Call
27255 TP[Call
27259 (Call
27261 Call
27264 TP[Call
27268 (Call
27270 Call
27273 TP[Call
27277 (Call
27279 Call
27282 TP[Call
27286 (Call
27288 Call
27291 TP[Call
27295 (Call
27297 Call("JR",CTy"Branch",Var("rs",FTy 5))),
27298 TP[Call
27302 (Call
27304 Call("JALR",CTy"Branch",TP[Var("rs",FTy 5),Var("rd",FTy 5)])),
27305 TP[Call
27309 (Call
27311 Call("MFHI",CTy"MultDiv",Var("rd",FTy 5))),
27312 TP[Call
27316 (Call
27318 Call("MTHI",CTy"MultDiv",Var("rs",FTy 5))),
27319 TP[Call
27323 (Call
27325 Call("MFLO",CTy"MultDiv",Var("rd",FTy 5))),
27326 TP[Call
27330 (Call
27332 Call("MTLO",CTy"MultDiv",Var("rs",FTy 5))),
27333 TP[Call
27337 (Call
27339 Call
27342 TP[Call
27346 (Call
27348 Call
27351 TP[Call
27355 (Call
27357 Call
27360 TP[Call
27364 (Call
27366 Call
27368 TP[Call
27372 (Call
27374 Call
27376 TP[Call
27380 (Call
27382 Call
27384 TP[Call
27388 (Call
27390 Call
27392 TP[Call
27396 (Call
27398 Call
27401 TP[Call
27405 (Call
27407 Call
27409 TP[Call
27413 (Call
27415 Call
27417 TP[Call
27421 (Call
27423 Call("DIV",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
27424 TP[Call
27428 (Call
27430 Call
27432 TP[Call
27436 (Call
27438 Call
27440 TP[Call
27444 (Call
27446 Call
27448 TP[Call
27452 (Call
27454 Call
27456 TP[Call
27460 (Call
27462 Call
27464 TP[Call
27468 (Call
27470 Call
27473 TP[Call
27477 (Call
27479 Call
27482 TP[Call
27486 (Call
27488 Call
27491 TP[Call
27495 (Call
27497 Call
27500 TP[Call
27504 (Call
27506 Call
27509 TP[Call
27513 (Call
27515 Call
27518 TP[Call
27522 (Call
27524 Call
27527 TP[Call
27531 (Call
27533 Call
27536 TP[Call
27540 (Call
27542 Call
27545 TP[Call
27549 (Call
27551 Call
27554 TP[Call
27558 (Call
27560 Call
27563 TP[Call
27567 (Call
27569 Call
27572 TP[Call
27576 (Call
27578 Call
27581 TP[Call
27585 (Call
27587 Call
27590 TP[Call
27594 (Call
27596 Call
27599 TP[Call
27603 (Call
27605 Call
27608 TP[Call
27612 (Call
27614 Call("TGE",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
27615 TP[Call
27619 (Call
27621 Call("TGEU",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
27622 TP[Call
27626 (Call
27628 Call("TLT",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
27629 TP[Call
27633 (Call
27635 Call("TLTU",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
27636 TP[Call
27640 (Call
27642 Call("TEQ",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
27643 TP[Call
27647 (Call
27649 Call("TNE",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
27650 TP[Call
27654 (Call
27656 Call
27659 TP[Call
27663 (Call
27665 Call
27668 TP[Call
27672 (Call
27674 Call
27677 TP[Call
27681 (Call
27683 Call
27686 TP[Call
27690 (Call
27692 Call
27695 TP[Call
27699 (Call
27701 Call
27704 TP[Call
27708 (Call
27710 Call("BLTZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
27711 TP[Call("form2",F32,TP[Var("rs",FTy 5),LW(0,5),Var("imm",F16)]),
27713 (Call
27715 Call("BGEZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
27716 TP[Call("form2",F32,TP[Var("rs",FTy 5),LW(1,5),Var("imm",F16)]),
27718 (Call
27720 Call("BLTZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
27721 TP[Call("form2",F32,TP[Var("rs",FTy 5),LW(2,5),Var("imm",F16)]),
27723 (Call
27725 Call("BGEZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
27726 TP[Call("form2",F32,TP[Var("rs",FTy 5),LW(3,5),Var("imm",F16)]),
27728 (Call
27730 Call("TGEI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
27731 TP[Call("form2",F32,TP[Var("rs",FTy 5),LW(8,5),Var("imm",F16)]),
27733 (Call
27735 Call("TGEIU",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
27736 TP[Call("form2",F32,TP[Var("rs",FTy 5),LW(9,5),Var("imm",F16)]),
27738 (Call
27740 Call("TLTI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
27741 TP[Call
27744 (Call
27746 Call("TLTIU",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
27747 TP[Call
27750 (Call
27752 Call("TEQI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
27753 TP[Call
27756 (Call
27758 Call("TNEI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
27759 TP[Call
27762 (Call
27764 Call
27766 TP[Call
27769 (Call
27771 Call
27773 TP[Call
27776 (Call
27778 Call
27780 TP[Call
27783 (Call
27785 Call
27787 TP[Call
27790 (Call
27792 Call("J",CTy"Branch",Var("imm",FTy 26))),
27794 (Call
27796 Call("JAL",CTy"Branch",Var("imm",FTy 26))),
27798 (Call
27800 Call
27803 TP[Call
27807 (Call
27809 Call
27812 TP[Call
27816 (Call
27818 Call
27821 TP[Call
27825 (Call
27827 Call
27830 TP[Call
27834 (Call
27836 Call
27839 TP[Call
27843 (Call
27845 Call
27848 TP[Call
27852 (Call
27854 Call("BLEZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
27855 TP[Call
27859 (Call
27861 Call("BGTZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
27862 TP[Call
27866 (Call
27868 Call
27871 TP[Call
27875 (Call
27877 Call
27880 TP[Call
27884 (Call
27886 Call
27889 TP[Call
27893 (Call
27895 Call
27898 TP[Call
27902 (Call
27904 Call
27907 TP[Call
27911 (Call
27913 Call
27916 TP[Call
27920 (Call
27922 Call
27925 TP[Call
27929 (Call
27931 Call("LUI",CTy"ArithI",TP[Var("rt",FTy 5),Var("imm",F16)])),
27932 TP[Call
27936 (Call
27938 Call
27941 TP[Call
27945 (Call
27947 Call
27950 TP[Call
27954 (Call
27956 Call("BLEZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
27957 TP[Call
27961 (Call
27963 Call("BGTZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
27964 TP[Call
27968 (Call
27970 Call
27973 TP[Call
27977 (Call
27979 Call
27982 TP[Call
27986 (Call
27988 Call
27991 TP[Call
27995 (Call
27997 Call
28000 TP[Call
28004 (Call
28006 Call
28009 TP[Call
28013 (Call
28015 Call
28018 TP[Call
28022 (Call
28024 Call
28027 TP[Call
28031 (Call
28033 Call
28036 TP[Call
28040 (Call
28042 Call
28045 TP[Call
28049 (Call
28051 Call
28054 TP[Call
28058 (Call
28060 Call
28063 TP[Call
28067 (Call
28069 Call
28072 TP[Call
28076 (Call
28078 Call
28081 TP[Call
28085 (Call
28087 Call
28090 TP[Call
28094 (Call
28096 Call
28099 TP[Call
28103 (Call
28105 Call
28108 TP[Call
28112 (Call
28114 Call
28117 TP[Call
28121 (Call
28123 Call
28126 TP[Call
28130 (Call
28132 Call
28135 TP[Call
28139 (Call
28141 Call
28144 TP[Call
28148 (Call
28150 Call
28153 TP[Call
28157 (Call
28159 Call
28162 TP[Call
28166 (Call
28168 Call
28171 TP[Call
28175 (Call
28177 Call
28180 TP[Call
28184 (Call
28186 Call
28189 TP[Call
28193 (Call
28196 TP[Call
28204 (Call("SYNC",CTy"instruction",Var("imm5",FTy 5)),
28216 (Call
28218 TP[Call
28223 (Call("COP1",CTy"instruction",AVar(CTy"COP1")),
28224 TP[Call("COP1Encode",F32,Var("i",CTy"instruction")),qVar"state"]),
28225 (Call("COP2",CTy"instruction",AVar(CTy"COP2")),
28227 (Call
28230 (Call("LWC2",CTy"instruction",AVar(CTy"LWC2")),
28232 (Call
28235 (Call("LDC2",CTy"instruction",AVar(CTy"LDC2")),
28237 (Call
28240 (Call("SWC2",CTy"instruction",AVar(CTy"SWC2")),
28242 (Call
28245 (Call("SDC2",CTy"instruction",AVar(CTy"SDC2")),
28247 (Call
28567 Call
28570 Call
28575 Mop(Drop,TP[LN 2,Call("hex",sTy,Var("w",F32))]),LS" ",
28576 Call("instructionToString",sTy,Var("inst",CTy"instruction"))]))
28590 (Call
28592 Call("Decode",CTy"instruction",Var("w",F32))),
28600 (Call("write'exceptionSignalled",ATy(qTy,qTy),LF),
28620 (Call
28631 (Call
28637 (Call
28646 (Call
28655 (Call
28669 (Call
28679 (Call
28683 (Call
28726 (Call
28737 (Call
28740 Call
28748 (Call
28783 (Call
28794 (Call