Lines Matching refs:Call
330 Call("reg'Index",F32,Var("x",CTy"Index")))
334 Call("rec'Index",CTy"Index",Var("x",F32)))
349 Call("reg'Random",F32,Var("x",CTy"Random")))
353 Call("rec'Random",CTy"Random",Var("x",F32)))
368 Call("reg'Wired",F32,Var("x",CTy"Wired")))
372 Call("rec'Wired",CTy"Wired",Var("x",F32)))
392 Call("reg'EntryLo",F64,Var("x",CTy"EntryLo")))
396 Call("rec'EntryLo",CTy"EntryLo",Var("x",F64)))
415 Call("reg'PageMask",F32,Var("x",CTy"PageMask")))
419 Call("rec'PageMask",CTy"PageMask",Var("x",F32)))
441 Call("reg'EntryHi",F64,Var("x",CTy"EntryHi")))
445 Call("rec'EntryHi",CTy"EntryHi",Var("x",F64)))
482 Call("reg'StatusRegister",F32,Var("x",CTy"StatusRegister")))
486 Call("rec'StatusRegister",CTy"StatusRegister",Var("x",F32)))
513 Call("reg'ConfigRegister",F32,Var("x",CTy"ConfigRegister")))
517 Call("rec'ConfigRegister",CTy"ConfigRegister",Var("x",F32)))
549 Call("reg'ConfigRegister1",F32,Var("x",CTy"ConfigRegister1")))
554 Call("rec'ConfigRegister1",CTy"ConfigRegister1",Var("x",F32)))
577 Call("reg'ConfigRegister2",F32,Var("x",CTy"ConfigRegister2")))
582 Call("rec'ConfigRegister2",CTy"ConfigRegister2",Var("x",F32)))
617 Call("reg'ConfigRegister3",F32,Var("x",CTy"ConfigRegister3")))
622 Call("rec'ConfigRegister3",CTy"ConfigRegister3",Var("x",F32)))
644 Call("reg'ConfigRegister6",F32,Var("x",CTy"ConfigRegister6")))
649 Call("rec'ConfigRegister6",CTy"ConfigRegister6",Var("x",F32)))
675 Call("reg'CauseRegister",F32,Var("x",CTy"CauseRegister")))
679 Call("rec'CauseRegister",CTy"CauseRegister",Var("x",F32)))
698 Call("reg'Context",F64,Var("x",CTy"Context")))
702 Call("rec'Context",CTy"Context",Var("x",F64)))
722 Call("reg'XContext",F64,Var("x",CTy"XContext")))
726 Call("rec'XContext",CTy"XContext",Var("x",F64)))
752 Call("reg'HWREna",F32,Var("x",CTy"HWREna")))
756 Call("rec'HWREna",CTy"HWREna",Var("x",F32)))
890 (Call
952 (Call("SignalException",ATy(qTy,qTy),LC("CpU",CTy"ExceptionType")),
1052 (Call
1054 Call("UNPREDICTABLE",CTy"exception",LS"HI")),qVar"state"))]))
1067 (Call
1069 Call("UNPREDICTABLE",CTy"exception",LS"LO")),qVar"state"))]))
1090 Call
1097 Call
1108 Call
1153 Call
1166 Call
1186 Call
1284 (Call
1286 Call
1349 Call
1354 (Call
1365 Call
1372 (Call
1393 (Call("ReadData",ATy(qTy,F64),Var("v",F64)),
1404 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
1407 (Call
1425 (Call
1440 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
1443 (Call
1461 (Call
1477 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
1480 (Call
1498 (Call
1512 (Call
1517 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
1521 (Call
1530 (Call
1778 Call
1783 (Call
1794 Call
1801 (Call
1810 (Call
1813 Call
1826 (Call
1829 Call
1853 (Call
1875 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
1877 (Call
1882 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
1898 (Call
1901 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
1904 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
1949 Call("reg'FCSR",F32,Var("x",CTy"FCSR")))
1953 Call("rec'FCSR",CTy"FCSR",Var("x",F32)))
1978 Call("reg'FIR",F32,Var("x",CTy"FIR")))
1982 Call("rec'FIR",CTy"FIR",Var("x",F32)))
2076 (Call
2078 Call
2116 (Call
2118 Call
2144 (Call
2176 (Call
2206 (Call
2228 (Call
2250 (Call
2270 (Call
2297 TP[Call
2333 Call
2427 TP[Call
2472 Call
2580 Call("IntToDWordMIPS",F64,iVar"x")),
2606 Call("IntToDWordMIPS",F64,iVar"x")),
2632 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
2658 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
2722 ITE(Call
2729 (Call
2731 Call
2774 Call("IntToDWordMIPS",F64,iVar"x")),
2802 Call("IntToDWordMIPS",F64,iVar"x")),
2872 ITE(Call
2879 (Call
2881 Call
2927 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
2955 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
2976 (Call
3008 (Call
3048 Call("IntToDWordMIPS",F64,iVar"x")),
3074 Call("IntToDWordMIPS",F64,iVar"x")),
3100 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
3126 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
3143 (Call
3149 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
3173 (Call
3179 (Call("GPR",ATy(qTy,F64),Var("index",FTy 5)),
3182 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
3207 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
3211 (Call
3252 (Call("GPR",ATy(qTy,F64),Var("index",FTy 5)),
3255 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
3259 (Call
3304 (Call
3311 (Call
3354 (Call
3361 (Call
3450 (Call
3453 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
3526 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
3553 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
3583 (Call
3586 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
3655 (EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
3680 (EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
3713 (Call
3720 (Call
3763 (Call
3770 (Call
3817 (Call
3849 (Call
3896 (Call
3898 Call
3936 (Call
3938 Call
3969 Call("IntToDWordMIPS",F64,iVar"x")),
3995 Call("IntToDWordMIPS",F64,iVar"x")),
4021 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
4047 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
4064 (Call
4073 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
4090 (Call
4099 (Call("GPR",ATy(qTy,F64),Var("index",FTy 5)),
4102 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
4123 (Call
4152 (Call
4182 (Call
4214 (Call
4246 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
4250 (Call
4283 (Call("GPR",ATy(qTy,F64),Var("index",FTy 5)),
4286 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),
4290 (Call
4331 Call("IntToDWordMIPS",F64,iVar"x")),
4357 Call("IntToDWordMIPS",F64,iVar"x")),
4383 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
4409 Mop(SE F64,Call("IntToWordMIPS",F32,iVar"x"))),
4425 (Call
4449 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))]))))
4464 (Call
4491 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
4510 Call
4521 Call
4527 (Call
4529 Call
4535 (Call
4561 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
4568 Call
4572 (Call
4584 (Call
4586 Call
4602 (Call
4612 ITE(Call
4615 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
4619 (Call
4621 Call
4625 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
4634 (Call
4638 (Call
4649 ITE(Call
4652 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
4656 (Call
4658 Call
4662 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
4665 (Call
4680 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
4686 (Call
4690 (Call
4700 (Call
4704 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
4713 (Call
4718 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
4727 (Call
4732 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
4741 (Call
4745 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
4754 (Call
4758 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
4767 (Call
4771 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
4780 (Call
4792 Call
4795 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
4797 Call
4800 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
4804 (Call
4806 Call
4810 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
4815 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"s"),
4821 (Call
4825 (Call
4837 Call
4840 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
4842 Call
4845 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
4849 (Call
4851 Call
4855 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
4858 (Call
4863 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
4874 Call
4877 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
4879 Call
4882 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
4886 (Call
4888 Call
4892 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
4897 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"s"),
4903 (Call
4907 (Call
4919 Call
4922 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
4924 Call
4927 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
4931 (Call
4933 Call
4937 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
4940 (Call
4945 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
4957 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
4960 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
4965 (Call
4969 (Call
4979 (Call
4983 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
4985 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
4996 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
4999 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
5004 (Call
5008 (Call
5018 (Call
5022 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5024 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
5032 (Call
5037 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5040 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5048 (Call
5053 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5056 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5064 (Call
5068 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5070 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
5078 (Call
5082 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5084 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
5092 (Call
5096 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5098 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
5106 (Call
5111 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5114 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5123 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5126 (Call
5129 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5136 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5139 (Call
5142 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5153 Call
5156 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5158 Call
5161 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5165 (Call
5167 Call
5181 (Call
5187 (Call
5192 (Call
5196 (Call
5209 Call
5212 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5214 Call
5217 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5221 (Call
5223 Call
5237 (Call
5243 (Call
5248 (Call
5252 (Call
5265 Call
5268 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5270 Call
5273 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5277 (Call
5279 Call
5293 (Call
5299 (Call
5304 (Call
5308 (Call
5321 Call
5324 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5326 Call
5329 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5333 (Call
5335 Call
5349 (Call
5355 (Call
5360 (Call
5364 (Call
5376 Call
5379 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5381 Call
5384 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5388 (Call
5390 Call
5394 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
5401 (Call
5407 (Call
5420 Call
5423 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5425 Call
5428 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5432 (Call
5434 Call
5438 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
5444 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5447 (Call
5451 (Call
5463 Call
5466 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5468 Call
5471 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5475 (Call
5477 Call
5481 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
5487 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5490 (Call
5494 (Call
5507 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
5510 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
5512 (Call
5516 (Call
5528 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
5531 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
5533 (Call
5537 (Call
5546 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5548 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5550 ITE(Bop(Or,Call("NotWordValue",bTy,Var("v",F64)),
5551 Call("NotWordValue",bTy,Var("v0",F64))),
5554 (Call
5556 Call
5563 (Call
5569 (Call
5582 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5584 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5586 ITE(Bop(Or,Call("NotWordValue",bTy,Var("v",F64)),
5587 Call("NotWordValue",bTy,Var("v0",F64))),
5590 (Call
5592 Call
5599 (Call
5605 (Call
5618 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5623 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5625 (Call
5629 (Call
5639 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5644 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5646 (Call
5650 (Call
5662 (Call
5673 (Call
5682 (Call
5684 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
5692 (Call
5694 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")),
5702 (Call
5707 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5718 ITE(Call
5721 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5725 (Call
5727 Call
5731 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"s0"),
5734 (Call
5747 ITE(Call
5750 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5754 (Call
5756 Call
5760 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"s0"),
5763 (Call
5775 (Call
5780 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5784 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5794 ITE(Call
5797 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5801 (Call
5803 Call
5807 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
5810 (Call
5815 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5826 ITE(Call
5829 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5833 (Call
5835 Call
5839 TP[Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"s0"),
5842 (Call
5847 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
5857 (Call
5861 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5870 (Call
5874 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5883 (Call
5887 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5896 (Call
5900 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5903 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5912 (Call
5916 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5919 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5928 (Call
5932 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5935 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
5944 (Call
5948 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5957 (Call
5961 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5970 (Call
5974 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
5983 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5984 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
5986 (Call
5995 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
5996 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
5998 (Call
6007 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6008 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
6010 (Call
6019 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6020 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
6022 (Call
6030 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6031 Apply(Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
6033 (Call
6043 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6045 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"))),
6047 (Call
6056 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6059 (Call
6068 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6071 (Call
6080 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6083 (Call
6092 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6095 (Call
6103 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6106 (Call
6116 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
6119 (Call
6128 (Call
6138 (Call
6148 (Call
6158 (Call
6168 (Call
6178 (Call
6188 (Call
6198 (Call
6208 (Call
6220 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6227 (Call
6241 (Call
6248 (Call
6255 (Call
6264 (Call
6271 (Call
6278 (Call
6286 (Call
6298 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6305 (Call
6321 (Call
6329 (Call
6337 (Call
6348 (Call
6356 (Call
6364 (Call
6371 (Call
6383 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6390 (Call
6400 (Call
6407 (Call
6414 (Call
6421 (Call
6428 (Call
6435 (Call
6442 (Call
6449 (Call
6461 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6468 (Call
6481 (Call
6489 (Call
6497 (Call
6505 (Call
6513 (Call
6521 (Call
6529 (Call
6536 (Call
6548 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6551 (Call
6556 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
6576 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6579 (Call
6584 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
6604 (Call
6615 (Call
6626 (Call
6632 (Call
6643 (Call
6649 (Call
6661 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6671 (Call
6678 (Call
6685 (Call
6692 (Call
6698 (Call
6719 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6732 (Call
6740 (Call
6748 (Call
6756 (Call
6764 (Call
6772 (Call
6781 (Call
6789 (Call
6795 (Call
6809 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6819 (Call
6826 (Call
6833 (Call
6840 (Call
6847 (Call
6854 (Call
6861 (Call
6867 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
6871 (Call
6883 (Call("GPR",ATy(qTy,F64),Var("base",FTy 5)),qVar"state")),
6892 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
6898 (Call
6906 (Call
6915 (Call
6924 (Call
6932 (Call
6941 (Call
6949 (Call
6955 (Call
6967 (Call("SignalException",ATy(qTy,qTy),LC("Bp",CTy"ExceptionType")),
6973 (Call("SignalException",ATy(qTy,qTy),LC("Sys",CTy"ExceptionType")),
6981 (Call
6983 Call
7043 (Call
7059 (Call
7062 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
7065 (Call
7081 (Call
7084 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state"),
7087 (Call
7103 (Call
7107 (Call
7113 (Call
7129 (Call
7132 (Call
7137 (Call
7159 (Call
7181 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")])])))
7190 (Call
7197 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")])])))
7204 (Call
7207 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7209 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
7217 (Call
7221 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
7224 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
7232 (Call
7236 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7244 (Call
7248 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7256 (Call
7260 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7268 (Call
7272 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7280 (Call
7284 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7287 (Call
7297 (Call
7301 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7304 (Call
7314 (Call
7317 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7319 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),qVar"state")),
7327 (Call
7331 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
7334 (Call("GPR",ATy(qTy,F64),Var("rt",FTy 5)),
7342 (Call
7346 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7354 (Call
7358 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7366 (Call
7370 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7378 (Call
7382 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7390 (Call
7394 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7397 (Call
7407 (Call
7411 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
7414 (Call
7424 (Call("SignalException",ATy(qTy,qTy),LC("ResI",CTy"ExceptionType")),
7430 (Call("SignalException",ATy(qTy,qTy),LC("ResI",CTy"ExceptionType")),
7436 (Call("SignalException",ATy(qTy,qTy),LC("ResI",CTy"ExceptionType")),
7442 (Call("SignalException",ATy(qTy,qTy),LC("ResI",CTy"ExceptionType")),
7450 (Call
7459 (Call
7466 (Call("SignalException",ATy(qTy,qTy),LC("ResI",CTy"ExceptionType")),
7473 (Call
7475 Call
7504 (Call
7508 (Call
7511 (Call("RDHWR",CTy"instruction",Var("v205",PTy(FTy 5,FTy 5))),
7513 (Call("dfn'RDHWR",ATy(qTy,qTy),Var("v205",PTy(FTy 5,FTy 5))),
7515 (Call("SYNC",CTy"instruction",Var("v206",FTy 5)),qVar"state"),
7516 (Call("ArithI",CTy"instruction",Var("v1",CTy"ArithI")),
7518 [(Call
7521 (Call
7524 (Call
7527 (Call
7530 (Call
7533 (Call
7536 (Call
7539 (Call
7542 (Call
7546 (Call
7549 (Call("LUI",CTy"ArithI",Var("v7",PTy(FTy 5,F16))),
7551 (Call("dfn'LUI",ATy(qTy,qTy),Var("v7",PTy(FTy 5,F16))),
7553 (Call
7556 (Call
7559 (Call
7562 (Call
7565 (Call
7569 (Call
7572 (Call
7575 (Call
7578 (Call("ArithR",CTy"instruction",Var("v12",CTy"ArithR")),
7580 [(Call
7584 (Call
7587 (Call
7591 (Call
7594 (Call
7598 (Call
7601 (Call
7605 (Call
7608 (Call
7612 (Call
7615 (Call
7619 (Call
7622 (Call
7626 (Call
7629 (Call
7633 (Call
7636 (Call
7640 (Call
7643 (Call
7647 (Call
7650 (Call
7653 (Call
7656 (Call
7660 (Call
7663 (Call
7667 (Call
7670 (Call
7674 (Call
7677 (Call
7681 (Call
7684 (Call
7688 (Call
7691 (Call("Branch",CTy"instruction",Var("v29",CTy"Branch")),
7693 [(Call
7696 (Call
7699 (Call
7702 (Call
7705 (Call("BGEZ",CTy"Branch",Var("v32",PTy(FTy 5,F16))),
7707 (Call("dfn'BGEZ",ATy(qTy,qTy),Var("v32",PTy(FTy 5,F16))),
7709 (Call("BGEZAL",CTy"Branch",Var("v33",PTy(FTy 5,F16))),
7711 (Call
7714 (Call("BGEZALL",CTy"Branch",Var("v34",PTy(FTy 5,F16))),
7716 (Call
7719 (Call("BGEZL",CTy"Branch",Var("v35",PTy(FTy 5,F16))),
7721 (Call
7724 (Call("BGTZ",CTy"Branch",Var("v36",PTy(FTy 5,F16))),
7726 (Call("dfn'BGTZ",ATy(qTy,qTy),Var("v36",PTy(FTy 5,F16))),
7728 (Call("BGTZL",CTy"Branch",Var("v37",PTy(FTy 5,F16))),
7730 (Call
7733 (Call("BLEZ",CTy"Branch",Var("v38",PTy(FTy 5,F16))),
7735 (Call("dfn'BLEZ",ATy(qTy,qTy),Var("v38",PTy(FTy 5,F16))),
7737 (Call("BLEZL",CTy"Branch",Var("v39",PTy(FTy 5,F16))),
7739 (Call
7742 (Call("BLTZ",CTy"Branch",Var("v40",PTy(FTy 5,F16))),
7744 (Call("dfn'BLTZ",ATy(qTy,qTy),Var("v40",PTy(FTy 5,F16))),
7746 (Call("BLTZAL",CTy"Branch",Var("v41",PTy(FTy 5,F16))),
7748 (Call
7751 (Call("BLTZALL",CTy"Branch",Var("v42",PTy(FTy 5,F16))),
7753 (Call
7756 (Call("BLTZL",CTy"Branch",Var("v43",PTy(FTy 5,F16))),
7758 (Call
7761 (Call
7764 (Call
7767 (Call
7770 (Call
7773 (Call("J",CTy"Branch",Var("v46",FTy 26)),
7775 (Call("dfn'J",ATy(qTy,qTy),Var("v46",FTy 26)),
7777 (Call("JAL",CTy"Branch",Var("v47",FTy 26)),
7779 (Call("dfn'JAL",ATy(qTy,qTy),Var("v47",FTy 26)),
7781 (Call("JALR",CTy"Branch",Var("v48",PTy(FTy 5,FTy 5))),
7783 (Call
7786 (Call("JR",CTy"Branch",Var("v49",FTy 5)),
7788 (Call("dfn'JR",ATy(qTy,qTy),Var("v49",FTy 5)),
7790 (Call("COP1",CTy"instruction",Var("v50",CTy"COP1")),
7796 (Call("ABS_D",CTy"COP1",Var("v51",PTy(FTy 5,FTy 5))),
7798 (Call
7801 (Call("ABS_S",CTy"COP1",Var("v52",PTy(FTy 5,FTy 5))),
7803 (Call
7806 (Call
7810 (Call
7813 (Call
7817 (Call
7820 (Call("BC1F",CTy"COP1",Var("v55",PTy(F16,FTy 3))),
7822 (Call("dfn'BC1F",ATy(qTy,qTy),Var("v55",PTy(F16,FTy 3))),
7824 (Call("BC1FL",CTy"COP1",Var("v56",PTy(F16,FTy 3))),
7826 (Call
7829 (Call("BC1T",CTy"COP1",Var("v57",PTy(F16,FTy 3))),
7831 (Call("dfn'BC1T",ATy(qTy,qTy),Var("v57",PTy(F16,FTy 3))),
7833 (Call("BC1TL",CTy"COP1",Var("v58",PTy(F16,FTy 3))),
7835 (Call
7838 (Call("CEIL_L_D",CTy"COP1",Var("v59",PTy(FTy 5,FTy 5))),
7840 (Call
7843 (Call("CEIL_L_S",CTy"COP1",Var("v60",PTy(FTy 5,FTy 5))),
7845 (Call
7848 (Call("CEIL_W_D",CTy"COP1",Var("v61",PTy(FTy 5,FTy 5))),
7850 (Call
7853 (Call("CEIL_W_S",CTy"COP1",Var("v62",PTy(FTy 5,FTy 5))),
7855 (Call
7858 (Call("CFC1",CTy"COP1",Var("v63",PTy(FTy 5,FTy 5))),
7860 (Call
7863 (Call("CTC1",CTy"COP1",Var("v64",PTy(FTy 5,FTy 5))),
7865 (Call
7868 (Call("CVT_D_L",CTy"COP1",Var("v65",PTy(FTy 5,FTy 5))),
7870 (Call
7873 (Call("CVT_D_S",CTy"COP1",Var("v66",PTy(FTy 5,FTy 5))),
7875 (Call
7878 (Call("CVT_D_W",CTy"COP1",Var("v67",PTy(FTy 5,FTy 5))),
7880 (Call
7883 (Call("CVT_L_D",CTy"COP1",Var("v68",PTy(FTy 5,FTy 5))),
7885 (Call
7888 (Call("CVT_L_S",CTy"COP1",Var("v69",PTy(FTy 5,FTy 5))),
7890 (Call
7893 (Call("CVT_S_D",CTy"COP1",Var("v70",PTy(FTy 5,FTy 5))),
7895 (Call
7898 (Call("CVT_S_L",CTy"COP1",Var("v71",PTy(FTy 5,FTy 5))),
7900 (Call
7903 (Call("CVT_S_W",CTy"COP1",Var("v72",PTy(FTy 5,FTy 5))),
7905 (Call
7908 (Call("CVT_W_D",CTy"COP1",Var("v73",PTy(FTy 5,FTy 5))),
7910 (Call
7913 (Call("CVT_W_S",CTy"COP1",Var("v74",PTy(FTy 5,FTy 5))),
7915 (Call
7918 (Call
7922 (Call
7926 (Call
7930 (Call
7934 (Call
7938 (Call
7941 (Call
7945 (Call
7948 (Call("DMFC1",CTy"COP1",Var("v79",PTy(FTy 5,FTy 5))),
7950 (Call
7953 (Call("DMTC1",CTy"COP1",Var("v80",PTy(FTy 5,FTy 5))),
7955 (Call
7958 (Call("FLOOR_L_D",CTy"COP1",Var("v81",PTy(FTy 5,FTy 5))),
7960 (Call
7963 (Call("FLOOR_L_S",CTy"COP1",Var("v82",PTy(FTy 5,FTy 5))),
7965 (Call
7968 (Call("FLOOR_W_D",CTy"COP1",Var("v83",PTy(FTy 5,FTy 5))),
7970 (Call
7973 (Call("FLOOR_W_S",CTy"COP1",Var("v84",PTy(FTy 5,FTy 5))),
7975 (Call
7978 (Call
7981 (Call
7984 (Call
7988 (Call
7991 (Call
7994 (Call
7997 (Call
8001 (Call
8004 (Call
8008 (Call
8012 (Call
8016 (Call
8020 (Call("MFC1",CTy"COP1",Var("v91",PTy(FTy 5,FTy 5))),
8022 (Call
8025 (Call
8028 (Call
8031 (Call
8035 (Call
8038 (Call
8042 (Call
8045 (Call
8049 (Call
8052 (Call
8056 (Call
8059 (Call
8062 (Call
8065 (Call
8069 (Call
8072 (Call
8076 (Call
8079 (Call
8083 (Call
8086 (Call
8090 (Call
8093 (Call("MOV_D",CTy"COP1",Var("v102",PTy(FTy 5,FTy 5))),
8095 (Call
8098 (Call("MOV_S",CTy"COP1",Var("v103",PTy(FTy 5,FTy 5))),
8100 (Call
8103 (Call
8107 (Call
8111 (Call
8115 (Call
8119 (Call("MTC1",CTy"COP1",Var("v106",PTy(FTy 5,FTy 5))),
8121 (Call
8124 (Call
8128 (Call
8131 (Call
8135 (Call
8138 (Call("NEG_D",CTy"COP1",Var("v109",PTy(FTy 5,FTy 5))),
8140 (Call
8143 (Call("NEG_S",CTy"COP1",Var("v110",PTy(FTy 5,FTy 5))),
8145 (Call
8148 (Call("ROUND_L_D",CTy"COP1",Var("v111",PTy(FTy 5,FTy 5))),
8150 (Call
8153 (Call("ROUND_L_S",CTy"COP1",Var("v112",PTy(FTy 5,FTy 5))),
8155 (Call
8158 (Call("ROUND_W_D",CTy"COP1",Var("v113",PTy(FTy 5,FTy 5))),
8160 (Call
8163 (Call("ROUND_W_S",CTy"COP1",Var("v114",PTy(FTy 5,FTy 5))),
8165 (Call
8168 (Call
8171 (Call
8174 (Call
8178 (Call
8181 (Call("SQRT_D",CTy"COP1",Var("v117",PTy(FTy 5,FTy 5))),
8183 (Call
8186 (Call("SQRT_S",CTy"COP1",Var("v118",PTy(FTy 5,FTy 5))),
8188 (Call
8191 (Call
8195 (Call
8198 (Call
8202 (Call
8205 (Call
8208 (Call
8211 (Call
8215 (Call
8218 (Call("TRUNC_L_D",CTy"COP1",Var("v123",PTy(FTy 5,FTy 5))),
8220 (Call
8223 (Call("TRUNC_L_S",CTy"COP1",Var("v124",PTy(FTy 5,FTy 5))),
8225 (Call
8228 (Call("TRUNC_W_D",CTy"COP1",Var("v125",PTy(FTy 5,FTy 5))),
8230 (Call
8233 (Call("TRUNC_W_S",CTy"COP1",Var("v126",PTy(FTy 5,FTy 5))),
8235 (Call
8238 (Call("CP",CTy"instruction",Var("v127",CTy"CP")),
8240 [(Call
8243 (Call
8246 (Call
8249 (Call
8252 (Call
8255 (Call
8258 (Call
8261 (Call
8264 (Call("Load",CTy"instruction",Var("v132",CTy"Load")),
8266 [(Call("LB",CTy"Load",Var("v133",PTy(FTy 5,PTy(FTy 5,F16)))),
8268 (Call
8271 (Call
8274 (Call
8277 (Call("LD",CTy"Load",Var("v135",PTy(FTy 5,PTy(FTy 5,F16)))),
8279 (Call
8282 (Call
8285 (Call
8288 (Call
8291 (Call
8294 (Call("LH",CTy"Load",Var("v138",PTy(FTy 5,PTy(FTy 5,F16)))),
8296 (Call
8299 (Call
8302 (Call
8305 (Call("LL",CTy"Load",Var("v140",PTy(FTy 5,PTy(FTy 5,F16)))),
8307 (Call
8310 (Call
8313 (Call
8316 (Call("LW",CTy"Load",Var("v142",PTy(FTy 5,PTy(FTy 5,F16)))),
8318 (Call
8321 (Call
8324 (Call
8327 (Call
8330 (Call
8333 (Call
8336 (Call
8339 (Call("MultDiv",CTy"instruction",Var("v146",CTy"MultDiv")),
8341 [(Call("DDIV",CTy"MultDiv",Var("v147",PTy(FTy 5,FTy 5))),
8343 (Call
8346 (Call("DDIVU",CTy"MultDiv",Var("v148",PTy(FTy 5,FTy 5))),
8348 (Call
8351 (Call("DIV",CTy"MultDiv",Var("v149",PTy(FTy 5,FTy 5))),
8353 (Call
8356 (Call("DIVU",CTy"MultDiv",Var("v150",PTy(FTy 5,FTy 5))),
8358 (Call
8361 (Call("DMULT",CTy"MultDiv",Var("v151",PTy(FTy 5,FTy 5))),
8363 (Call
8366 (Call("DMULTU",CTy"MultDiv",Var("v152",PTy(FTy 5,FTy 5))),
8368 (Call
8371 (Call("MADD",CTy"MultDiv",Var("v153",PTy(FTy 5,FTy 5))),
8373 (Call
8376 (Call("MADDU",CTy"MultDiv",Var("v154",PTy(FTy 5,FTy 5))),
8378 (Call
8381 (Call("MFHI",CTy"MultDiv",Var("v155",FTy 5)),
8383 (Call("dfn'MFHI",ATy(qTy,qTy),Var("v155",FTy 5)),
8385 (Call("MFLO",CTy"MultDiv",Var("v156",FTy 5)),
8387 (Call("dfn'MFLO",ATy(qTy,qTy),Var("v156",FTy 5)),
8389 (Call("MSUB",CTy"MultDiv",Var("v157",PTy(FTy 5,FTy 5))),
8391 (Call
8394 (Call("MSUBU",CTy"MultDiv",Var("v158",PTy(FTy 5,FTy 5))),
8396 (Call
8399 (Call("MTHI",CTy"MultDiv",Var("v159",FTy 5)),
8401 (Call("dfn'MTHI",ATy(qTy,qTy),Var("v159",FTy 5)),
8403 (Call("MTLO",CTy"MultDiv",Var("v160",FTy 5)),
8405 (Call("dfn'MTLO",ATy(qTy,qTy),Var("v160",FTy 5)),
8407 (Call
8411 (Call
8414 (Call("MULT",CTy"MultDiv",Var("v162",PTy(FTy 5,FTy 5))),
8416 (Call
8419 (Call("MULTU",CTy"MultDiv",Var("v163",PTy(FTy 5,FTy 5))),
8421 (Call
8424 (Call("Shift",CTy"instruction",Var("v164",CTy"Shift")),
8426 [(Call
8430 (Call
8433 (Call
8437 (Call
8440 (Call
8444 (Call
8447 (Call
8451 (Call
8454 (Call
8458 (Call
8461 (Call
8465 (Call
8468 (Call
8472 (Call
8475 (Call
8479 (Call
8482 (Call
8486 (Call
8489 (Call
8493 (Call
8496 (Call
8500 (Call
8503 (Call
8507 (Call
8510 (Call
8514 (Call
8517 (Call
8521 (Call
8524 (Call
8528 (Call
8531 (Call("Store",CTy"instruction",Var("v180",CTy"Store")),
8533 [(Call
8536 (Call
8539 (Call
8542 (Call
8545 (Call
8548 (Call
8551 (Call
8554 (Call
8557 (Call
8560 (Call
8563 (Call
8566 (Call
8569 (Call
8572 (Call
8575 (Call
8578 (Call
8581 (Call
8584 (Call
8587 (Call
8590 (Call
8593 (Call("Trap",CTy"instruction",Var("v191",CTy"Trap")),
8595 [(Call("TEQ",CTy"Trap",Var("v192",PTy(FTy 5,FTy 5))),
8597 (Call
8600 (Call("TEQI",CTy"Trap",Var("v193",PTy(FTy 5,F16))),
8602 (Call
8605 (Call("TGE",CTy"Trap",Var("v194",PTy(FTy 5,FTy 5))),
8607 (Call
8610 (Call("TGEI",CTy"Trap",Var("v195",PTy(FTy 5,F16))),
8612 (Call
8615 (Call("TGEIU",CTy"Trap",Var("v196",PTy(FTy 5,F16))),
8617 (Call
8620 (Call("TGEU",CTy"Trap",Var("v197",PTy(FTy 5,FTy 5))),
8622 (Call
8625 (Call("TLT",CTy"Trap",Var("v198",PTy(FTy 5,FTy 5))),
8627 (Call
8630 (Call("TLTI",CTy"Trap",Var("v199",PTy(FTy 5,F16))),
8632 (Call
8635 (Call("TLTIU",CTy"Trap",Var("v200",PTy(FTy 5,F16))),
8637 (Call
8640 (Call("TLTU",CTy"Trap",Var("v201",PTy(FTy 5,FTy 5))),
8642 (Call
8645 (Call("TNE",CTy"Trap",Var("v202",PTy(FTy 5,FTy 5))),
8647 (Call
8650 (Call("TNEI",CTy"Trap",Var("v203",PTy(FTy 5,F16))),
8652 (Call
8658 Call
8693 Call
8704 Call
8715 Call
8726 Call
8761 Call
8772 Call
8783 Call
8794 Call
8814 Call
8848 Call
8876 Call
8903 Call
8930 Call
8956 Call
8975 Call
8990 Call
9014 Call
9033 Call
9047 Call
9064 Call
9078 Call
9111 Call
9136 Call
9149 Call
9165 Call
9192 Call
9215 Call
9228 Call
9265 Call
9276 Call
9287 Call
9298 Call
9330 Call
9341 Call
9352 Call
9363 Call
9381 Call
9415 Call
9442 Call
9469 Call
9496 Call
9522 Call
9540 Call
9555 Call
9579 Call
9598 Call
9610 Call
9625 Call
9645 Call
9658 Call
9678 Call
9695 Call
9708 Call
9723 Call
9738 Call
9750 Call
9762 Call
9774 Call
9801 Call
9810 Call
9819 Call
9828 Call
9841 Call
9843 Call
9849 Call
9851 Call
9857 Call
9859 Call
9865 Call
9867 Call
9877 Call
9879 Call
9885 Call
9887 Call
9897 Call
9909 Call
9924 Call
9939 Call
9954 Call
9979 Call
9997 Call
10015 Call
10032 Call
10061 Call
10063 Call
10088 Call
10090 Call
10116 Call
10137 Call
10161 Call
10163 Call
10183 Call
10185 Call
10205 Call
10207 Call
10227 Call
10255 Call
10257 Call
10278 Call
10280 Call
10301 Call
10303 Call
10318 Call
10320 Call
10337 Call
10339 Call
10357 Call
10359 Call
10412 Call
10425 Call
10427 Call
10444 Call
10446 Call
10463 Call
10465 Call
10482 Call
10484 Call
10502 Call
10504 Call
10521 Call
10523 Call
10540 Call
10564 Call
10566 Call
10585 Call
10587 Call
10606 Call
10608 Call
10626 Call
10628 Call
10647 Call
10649 Call
10668 Call
10670 Call
10689 Call
10691 Call
10709 Call
10711 Call
10730 Call
10732 Call
10751 Call
10753 Call
10787 Call
10789 Call
10808 Call
10810 Call
10829 Call
10831 Call
10849 Call
10851 Call
10864 Call
10866 Call
10879 Call
10881 Call
10897 Call
10899 Call
10915 Call
10927 Call
10939 Call
10999 Call
11001 Call
11051 Call
11053 Call
11103 Call
11105 Call
11154 Call
11156 Call
11190 Call
11192 Call
11206 Call
11208 Call
11225 Call
11227 Call
11245 Call
11247 Call
11264 Call
11266 Call
11661 Call
11663 Call
11703 Call
11705 Call
11746 Call
11748 Call
11788 Call
11790 Call
11808 Call
11810 Call
11823 Call
11825 Call
11841 Call
11843 Call
11859 Call
11861 Call
11949 Call
11951 Call
11967 Call
11969 Call
11985 Call
11987 Call
12003 Call
12005 Call
12022 Call
12024 Call
12039 Call
12041 Call
12056 Call
12058 Call
12073 Call
12075 Call
12092 Call
12094 Call
12109 Call
12111 Call
12126 Call
12128 Call
12143 Call
12145 Call
12177 Call
12206 Call
12208 Call
12236 Call
12238 Call
12265 Call
12267 Call
12295 Call
12297 Call
12324 Call
12326 Call
12352 Call
12354 Call
12398 Call
12400 Call
12421 Call
12423 Call
12447 Call
12449 Call
12475 Call
12477 Call
12566 Call
12618 Call
12620 Call
12672 Call
12674 Call
12726 Call
12728 Call
12779 Call
12781 Call
12803 Call
12805 Call
12832 Call
12834 Call
12860 Call
12862 Call
12904 Call
12906 Call
12944 Call
12946 Call
12984 Call
12986 Call
13023 Call
13025 Call
13063 Call
13065 Call
13102 Call
13104 Call
13141 Call
13143 Call
13179 Call
13181 Call
13207 Call
13209 Call
13237 Call
13239 Call
13267 Call
13269 Call
13296 Call
13298 Call
13326 Call
13328 Call
13355 Call
13357 Call
13384 Call
13386 Call
13412 Call
13414 Call
13441 Call
13443 Call
13469 Call
13471 Call
13498 Call
13500 Call
13526 Call
13528 Call
13554 Call
13556 Call
13581 Call
13583 Call
13602 Call
13604 Call
13619 Call
13621 Call
13636 Call
13638 Call
13653 Call
13655 Call
13671 Call
13673 Call
13688 Call
13690 Call
13715 Call
13717 Call
13744 Call
13746 Call
13772 Call
13774 Call
13801 Call
13803 Call
13829 Call
13831 Call
13856 Call
13858 Call
13870 Call
13872 Call
13889 Call
13891 Call
13902 Call
13904 Call
13927 (Call
13929 Call("Decode",CTy"instruction",Var("w",F32))),
13983 (Call
13986 Call
14004 [(Call("MFC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
14006 (Call("DMFC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
14008 (Call("CFC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
14010 (Call("MTC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
14012 (Call("DMTC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
14014 (Call("CTC1",CTy"COP1",TP[Var("rt",FTy 5),Var("fs",FTy 5)]),
14016 (Call("BC1F",CTy"COP1",TP[Var("i",F16),Var("cc",FTy 3)]),
14018 (Call("BC1T",CTy"COP1",TP[Var("i",F16),Var("cc",FTy 3)]),
14020 (Call("BC1FL",CTy"COP1",TP[Var("i",F16),Var("cc",FTy 3)]),
14022 (Call("BC1TL",CTy"COP1",TP[Var("i",F16),Var("cc",FTy 3)]),
14024 (Call
14029 (Call
14034 (Call
14039 (Call
14044 (Call("SQRT_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14046 (Call("ABS_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14048 (Call("MOV_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14050 (Call("NEG_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14052 (Call("ROUND_L_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14054 (Call("TRUNC_L_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14056 (Call("CEIL_L_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14058 (Call("FLOOR_L_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14060 (Call("ROUND_W_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14062 (Call("TRUNC_W_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14064 (Call("CEIL_W_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14066 (Call("FLOOR_W_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14068 (Call
14073 (Call
14078 (Call
14083 (Call
14088 (Call
14094 (Call
14099 (Call
14104 (Call
14109 (Call
14114 (Call("SQRT_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14116 (Call("ABS_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14118 (Call("MOV_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14120 (Call("NEG_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14122 (Call("ROUND_L_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14124 (Call("TRUNC_L_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14126 (Call("CEIL_L_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14128 (Call("FLOOR_L_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14130 (Call("ROUND_W_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14132 (Call("TRUNC_W_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14134 (Call("CEIL_W_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14136 (Call("FLOOR_W_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14138 (Call
14143 (Call
14148 (Call
14153 (Call
14158 (Call
14164 (Call("CVT_S_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14166 (Call("CVT_S_W",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14168 (Call("CVT_S_L",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14170 (Call("CVT_D_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14172 (Call("CVT_D_W",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14174 (Call("CVT_D_L",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14176 (Call("CVT_W_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14178 (Call("CVT_W_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14180 (Call("CVT_L_S",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14182 (Call("CVT_L_D",CTy"COP1",TP[Var("fd",FTy 5),Var("fs",FTy 5)]),
14184 (Call
14188 (Call
14192 (Call
14196 (Call
14200 (Call
14205 (Call
14210 (Call
14215 (Call
14220 (Call
14226 (Call
14232 (Call
14238 (Call
14244 (Call
14249 (Call
14294 [(Call
14296 Call
14299 Call
14303 (Call
14305 Call
14308 Call
14312 (Call
14314 Call
14317 Call
14321 (Call
14323 Call
14326 Call
14330 (Call
14332 Call
14335 Call
14339 (Call
14341 Call
14344 Call
14348 (Call
14350 Call("JR",CTy"Branch",Var("rs",FTy 5))),
14351 Call
14353 (Call
14355 Call("JALR",CTy"Branch",TP[Var("rs",FTy 5),Var("rd",FTy 5)])),
14356 Call
14359 (Call
14361 Call("MFHI",CTy"MultDiv",Var("rd",FTy 5))),
14362 Call
14365 (Call
14367 Call("MTHI",CTy"MultDiv",Var("rs",FTy 5))),
14368 Call
14371 (Call
14373 Call("MFLO",CTy"MultDiv",Var("rd",FTy 5))),
14374 Call
14377 (Call
14379 Call("MTLO",CTy"MultDiv",Var("rs",FTy 5))),
14380 Call
14383 (Call
14385 Call
14388 Call
14392 (Call
14394 Call
14397 Call
14401 (Call
14403 Call
14406 Call
14410 (Call
14412 Call("MADD",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14413 Call
14415 (Call
14417 Call("MADDU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14418 Call
14420 (Call
14422 Call("MSUB",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14423 Call
14425 (Call
14427 Call("MSUBU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14428 Call
14430 (Call
14432 Call
14435 Call
14438 (Call
14440 Call("MULT",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14441 Call
14444 (Call
14446 Call("MULTU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14447 Call
14450 (Call
14452 Call("DIV",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14453 Call
14456 (Call
14458 Call("DIVU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14459 Call
14462 (Call
14464 Call("DMULT",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14465 Call
14468 (Call
14470 Call("DMULTU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14471 Call
14474 (Call
14476 Call("DDIV",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14477 Call
14480 (Call
14482 Call("DDIVU",CTy"MultDiv",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14483 Call
14486 (Call
14488 Call
14491 Call
14495 (Call
14497 Call
14500 Call
14504 (Call
14506 Call
14509 Call
14513 (Call
14515 Call
14518 Call
14522 (Call
14524 Call
14527 Call
14531 (Call
14533 Call
14536 Call
14540 (Call
14542 Call
14545 Call
14549 (Call
14551 Call
14554 Call
14558 (Call
14560 Call
14563 Call
14567 (Call
14569 Call
14572 Call
14576 (Call
14578 Call
14581 Call
14585 (Call
14587 Call
14590 Call
14594 (Call
14596 Call
14599 Call
14603 (Call
14605 Call
14608 Call
14612 (Call
14614 Call
14617 Call
14621 (Call
14623 Call
14626 Call
14630 (Call
14632 Call("TGE",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14633 Call
14636 (Call
14638 Call("TGEU",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14639 Call
14642 (Call
14644 Call("TLT",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14645 Call
14648 (Call
14650 Call("TLTU",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14651 Call
14654 (Call
14656 Call("TEQ",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14657 Call
14660 (Call
14662 Call("TNE",CTy"Trap",TP[Var("rs",FTy 5),Var("rt",FTy 5)])),
14663 Call
14666 (Call
14668 Call
14671 Call
14675 (Call
14677 Call
14680 Call
14684 (Call
14686 Call
14689 Call
14693 (Call
14695 Call
14698 Call
14702 (Call
14704 Call
14707 Call
14711 (Call
14713 Call
14716 Call
14720 (Call
14722 Call("BLTZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14723 Call("form2",F32,TP[Var("rs",FTy 5),LW(0,5),Var("imm",F16)])),
14724 (Call
14726 Call("BGEZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14727 Call("form2",F32,TP[Var("rs",FTy 5),LW(1,5),Var("imm",F16)])),
14728 (Call
14730 Call("BLTZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14731 Call("form2",F32,TP[Var("rs",FTy 5),LW(2,5),Var("imm",F16)])),
14732 (Call
14734 Call("BGEZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14735 Call("form2",F32,TP[Var("rs",FTy 5),LW(3,5),Var("imm",F16)])),
14736 (Call
14738 Call("TGEI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
14739 Call("form2",F32,TP[Var("rs",FTy 5),LW(8,5),Var("imm",F16)])),
14740 (Call
14742 Call("TGEIU",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
14743 Call("form2",F32,TP[Var("rs",FTy 5),LW(9,5),Var("imm",F16)])),
14744 (Call
14746 Call("TLTI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
14747 Call("form2",F32,TP[Var("rs",FTy 5),LW(10,5),Var("imm",F16)])),
14748 (Call
14750 Call("TLTIU",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
14751 Call("form2",F32,TP[Var("rs",FTy 5),LW(11,5),Var("imm",F16)])),
14752 (Call
14754 Call("TEQI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
14755 Call("form2",F32,TP[Var("rs",FTy 5),LW(12,5),Var("imm",F16)])),
14756 (Call
14758 Call("TNEI",CTy"Trap",TP[Var("rs",FTy 5),Var("imm",F16)])),
14759 Call("form2",F32,TP[Var("rs",FTy 5),LW(14,5),Var("imm",F16)])),
14760 (Call
14762 Call("BLTZAL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14763 Call("form2",F32,TP[Var("rs",FTy 5),LW(16,5),Var("imm",F16)])),
14764 (Call
14766 Call("BGEZAL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14767 Call("form2",F32,TP[Var("rs",FTy 5),LW(17,5),Var("imm",F16)])),
14768 (Call
14770 Call("BLTZALL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14771 Call("form2",F32,TP[Var("rs",FTy 5),LW(18,5),Var("imm",F16)])),
14772 (Call
14774 Call("BGEZALL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14775 Call("form2",F32,TP[Var("rs",FTy 5),LW(19,5),Var("imm",F16)])),
14776 (Call
14778 Call("J",CTy"Branch",Var("imm",FTy 26))),
14780 (Call
14782 Call("JAL",CTy"Branch",Var("imm",FTy 26))),
14784 (Call
14786 Call
14789 Call
14792 (Call
14794 Call
14797 Call
14800 (Call
14802 Call
14805 Call
14808 (Call
14810 Call
14813 Call
14816 (Call
14818 Call
14821 Call
14824 (Call
14826 Call
14829 Call
14832 (Call
14834 Call("BLEZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14835 Call
14837 (Call
14839 Call("BGTZ",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14840 Call
14842 (Call
14844 Call
14847 Call
14850 (Call
14852 Call
14855 Call
14858 (Call
14860 Call
14863 Call
14866 (Call
14868 Call
14871 Call
14874 (Call
14876 Call
14879 Call
14882 (Call
14884 Call
14887 Call
14890 (Call
14892 Call
14895 Call
14898 (Call
14900 Call("LUI",CTy"ArithI",TP[Var("rt",FTy 5),Var("imm",F16)])),
14901 Call
14903 (Call
14905 Call
14908 Call
14911 (Call
14913 Call
14916 Call
14919 (Call
14921 Call("BLEZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14922 Call
14924 (Call
14926 Call("BGTZL",CTy"Branch",TP[Var("rs",FTy 5),Var("imm",F16)])),
14927 Call
14929 (Call
14931 Call
14934 Call
14937 (Call
14939 Call
14942 Call
14945 (Call
14947 Call
14950 Call
14953 (Call
14955 Call
14958 Call
14961 (Call
14963 Call
14966 Call
14969 (Call
14971 Call
14974 Call
14977 (Call
14979 Call
14982 Call
14985 (Call
14987 Call
14990 Call
14993 (Call
14995 Call
14998 Call
15001 (Call
15003 Call
15006 Call
15009 (Call
15011 Call
15014 Call
15017 (Call
15019 Call
15022 Call
15025 (Call
15027 Call
15030 Call
15033 (Call
15035 Call
15038 Call
15041 (Call
15043 Call
15046 Call
15049 (Call
15051 Call
15054 Call
15057 (Call
15059 Call
15062 Call
15065 (Call
15067 Call
15070 Call
15073 (Call
15075 Call
15078 Call
15081 (Call
15083 Call
15086 Call
15089 (Call
15091 Call
15094 Call
15097 (Call
15099 Call
15102 Call
15105 (Call
15107 Call
15110 Call
15113 (Call
15115 Call
15118 Call
15121 (Call
15123 Call
15126 Call
15129 (Call
15132 Call
15137 (Call("SYNC",CTy"instruction",Var("imm5",FTy 5)),
15144 (Call("RDHWR",CTy"instruction",TP[Var("rt",FTy 5),Var("rd",FTy 5)]),
15145 Call("form6",F32,TP[Var("rt",FTy 5),Var("rd",FTy 5),LW(59,6)])),
15148 (Call("COP1",CTy"instruction",Var("j",CTy"COP1")),
15149 Call("COP1Encode",F32,Var("j",CTy"COP1"))),