Lines Matching refs:Call
401 (Call
403 Call
455 (Call
457 Call
560 (Call
562 Call
614 Call("reg'mcpuid",F64,Var("x",CTy"mcpuid")))
618 Call("rec'mcpuid",CTy"mcpuid",Var("x",F64)))
634 Call("reg'mimpid",F64,Var("x",CTy"mimpid")))
638 Call("rec'mimpid",CTy"mimpid",Var("x",F64)))
670 Call("reg'mstatus",F64,Var("x",CTy"mstatus")))
674 Call("rec'mstatus",CTy"mstatus",Var("x",F64)))
690 Call("reg'mtdeleg",F64,Var("x",CTy"mtdeleg")))
694 Call("rec'mtdeleg",CTy"mtdeleg",Var("x",F64)))
721 Call("reg'mip",F64,Var("x",CTy"mip")))
725 Call("rec'mip",CTy"mip",Var("x",F64)))
752 Call("reg'mie",F64,Var("x",CTy"mie")))
756 Call("rec'mie",CTy"mie",Var("x",F64)))
772 Call("reg'mcause",F64,Var("x",CTy"mcause")))
776 Call("rec'mcause",CTy"mcause",Var("x",F64)))
805 Call("reg'sstatus",F64,Var("x",CTy"sstatus")))
809 Call("rec'sstatus",CTy"sstatus",Var("x",F64)))
830 Call("reg'sip",F64,Var("x",CTy"sip")))
834 Call("rec'sip",CTy"sip",Var("x",F64)))
855 Call("reg'sie",F64,Var("x",CTy"sie")))
859 Call("rec'sie",CTy"sie",Var("x",F64)))
881 Call("reg'FPCSR",F32,Var("x",CTy"FPCSR")))
885 Call("rec'FPCSR",CTy"FPCSR",Var("x",F32)))
893 TP[Call("rec'sip",CTy"sip",LW(0,64)),
903 TP[Call("rec'sie",CTy"sie",LW(0,64)),
971 TP[ITE(Call
986 EQ(Call
990 EQ(Call
1011 TP[Call
1022 EQ(Call
1028 EQ(Call
1035 EQ(Call
1045 Call
1060 TP[Call
1063 Call
1073 Call
1103 Call("privLevel",FTy 2,LC("User",CTy"Privilege"))]))
1128 Call("privLevel",FTy 2,Var("p",CTy"Privilege"))]))
1207 Call
1398 (Call
1414 (Call("curArch",ATy(qTy,PTy(CTy"Architecture",qTy)),LU),
1423 Call
1436 (Call("curPrivilege",ATy(qTy,CTy"Privilege"),LU),qVar"state"),
1439 (Call
1441 Call
1528 CS(Call("rnd_mode_static",OTy(CTy"Rounding"),Var("rnd",FTy 3)),
1530 CS(Call
1536 Call("l3round",OTy rTy,Var("frm",CTy"Rounding"))),
1539 Call("l3round",OTy rTy,Var("frm",CTy"Rounding"))),
1570 (Call
1582 (Call
1594 (Call
1606 (Call
1618 (Call
1638 Bop(Uge,Call("privLevel",FTy 2,Var("p",CTy"Privilege")),
1653 (Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),
1666 (Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),
1687 (Call
1714 (Call
1738 (Call
1770 EX(Call
1790 EX(Call
1866 TP[Call
1868 Call
1883 TP[Call
1885 Call
1931 TP[Call
1946 TP[Call
1948 Call
2035 TP[Call
2050 TP[Call
2096 TP[Call
2130 TP[Call
2138 TP[Call
2152 TP[Call
2166 TP[Call
2174 TP[Call
2218 TP[Call
2232 TP[Call
2309 (Call
2311 Call
2340 Call
2346 Call
2369 Call
2435 Call
2474 Call
2500 Call
2536 Call
2538 TP[Call
2575 Call
2577 TP[Call("rec'sie",CTy"sie",Var("value",F64)),
2661 Call
2663 TP[Call("rec'sip",CTy"sip",Var("value",F64)),
2843 Call
2852 Call
2882 Call
2897 Call("rec'mie",CTy"mie",Var("value",F64))]))])),
3012 Call("rec'mcause",CTy"mcause",Var("value",F64))]))])),
3040 Call("rec'mip",CTy"mip",Var("value",F64))]))])),
3195 (Call("sendIPI",ATy(qTy,qTy),Var("value",F64)),qVar"state")),
3199 (Call
3201 Call
3270 CC[LS"CSR (",Call("csrName",sTy,Var("csr",FTy 12)),LS") <- 0x",
3271 Call("hex64",sTy,Var("data",F64))])
3343 CC[LS"Reg ",Call("reg",sTy,Var("r",FTy 5)),LS" (",
3345 Call("hex64",sTy,Var("data",F64))])
3349 CC[LS"FPR ",Call("reg",sTy,Var("r",FTy 5)),LS" (",
3351 Call("hex32",sTy,Var("data",F32))])
3355 CC[LS"FPR ",Call("reg",sTy,Var("r",FTy 5)),LS" (",
3357 Call("hex64",sTy,Var("data",F64))])
3363 CC[LS"MEM[0x",Call("hex64",sTy,Mop(Cast F64,Var("pAddrIdx",FTy 61))),
3364 LS"/",Call("hex64",sTy,Var("vAddr",F64)),LS"] <- (data: 0x",
3365 Call("hex64",sTy,Var("data",F64)),LS", mask: 0x",
3366 Call("hex64",sTy,Var("mask",F64)),LS", old: 0x",
3367 Call("hex64",sTy,Var("old",F64)),LS", new: 0x",
3368 Call("hex64",sTy,Var("new",F64)),LS")"])
3374 CC[LS"MEM[0x",Call("hex64",sTy,Mop(Cast F64,Var("pAddrIdx",FTy 61))),
3375 LS"/",Call("hex64",sTy,Var("vAddr",F64)),LS"/ misaligned@",
3377 Call("hex64",sTy,Var("data",F64)),LS", mask: 0x",
3378 Call("hex64",sTy,Var("mask",F64)),LS", old: 0x",
3379 Call("hex64",sTy,Var("old",F64)),LS", new: 0x",
3380 Call("hex64",sTy,Var("new",F64)),LS")"])
3385 CC[LS"MEM[0x",Call("hex64",sTy,Mop(Cast F64,Var("pAddrIdx",FTy 61))),
3386 LS"/",Call("hex64",sTy,Var("vAddr",F64)),LS"] <- (data: 0x",
3387 Call("hex64",sTy,Var("data",F64)),LS")"])
3394 LS"/",Call("hex64",sTy,Var("vAddr",F64)),LS"]: 0x",
3395 Call("hex64",sTy,Var("data",F64))])
3399 CC[LS" Exception ",Call("excName",sTy,Var("e",CTy"ExceptionType")),
3416 (Call
3419 Call
3434 (Call
3444 (Call
3454 (Call
3456 CS(Call
3483 (Call
3485 Call
3490 (Call
3492 Call
3544 (Call
3573 (Call
3578 Call
3633 (Call("curPrivilege",ATy(qTy,CTy"Privilege"),LU),
3640 (Call
3652 (Call
3668 (Call
3695 (Call
3707 (Call
3723 (Call
3750 (Call
3760 (Call
3777 (Call
3795 (Call("write'ReserveLoad",ATy(qTy,qTy),LO F64),qVar"state"),
3801 (Call
3817 (Call
3822 Call
3837 (Call
3839 Call
3850 (Call
3872 (Call
3894 (Call
3909 (Call
3931 (Call
3941 (Call
3943 Call
3955 (Call
3977 (Call
3999 (Call
4014 (Call
4036 (Call
4045 Call
4049 (Call
4063 (Call("CSRMap",ATy(qTy,PTy(F64,qTy)),Var("n",FTy 12)),qVar"state")))
4070 (Call
4081 (Call
4089 (Call
4101 (Call("CSR",ATy(qTy,PTy(F64,qTy)),Var("csr",FTy 12)),
4104 (Call
4116 Apply(Call("gpr",ATy(qTy,F64),Var("n",FTy 5)),qVar"state"))))
4124 (Call
4133 EX(Apply(Call("fpr",ATy(qTy,F64),Var("n",FTy 5)),qVar"state"),LN 31,
4141 (Call
4145 (Call("fpr",ATy(qTy,F64),Var("n",FTy 5)),qVar"state")),
4152 Apply(Call("fpr",ATy(qTy,F64),Var("n",FTy 5)),qVar"state")))
4159 (Call
4170 (Call
4178 (Call
4188 Call
4198 (Call
4213 (Call
4228 (Call
4236 (Call
4246 Call
4256 (Call
4271 (Call
4392 (Call("MEM",ATy(qTy,F64),Var("pAddrIdx",FTy 61)),
4396 (Call
4401 (Call
4420 (Call("MEM",ATy(qTy,F64),Var("pAddrIdx",FTy 61)),
4424 (Call
4435 (Call
4455 (Call
4470 (Call
4478 (Call
4499 (Call
4511 (Call
4525 (Call
4527 Call
4532 (Call
4534 Call
4653 Call("reg'SV_PTE",F64,Var("x",CTy"SV_PTE")))
4657 Call("rec'SV_PTE",CTy"SV_PTE",Var("x",F64)))
4677 Call("reg'SV_Vaddr",F64,Var("x",CTy"SV_Vaddr")))
4681 Call("rec'SV_Vaddr",CTy"SV_Vaddr",Var("x",F64)))
4690 Call("rec'SV_Vaddr",CTy"SV_Vaddr",Var("vAddr",F64)),
4704 Call
4707 (Call
4725 (Call
4746 (Call
4833 Call
4865 (Call
4870 Call
5263 (Call
5436 Apply(Call("curASID",ATy(qTy,FTy 6),LU),qVar"state"),
5437 CS(Call
5446 (Call
5485 (Call
5490 Call
5498 (Call
5518 (Call
5541 (Call
5544 (Call
5568 Call
5596 (Call
5614 (Call
5621 (Call
5645 (Call
5648 Call("BranchTo",CTy"TransferControl",Var("newPC",F64)))),
5656 (Call
5660 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
5669 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5672 (Call
5676 (Call
5681 (Call
5692 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5694 (Call
5701 (Call
5706 (Call
5716 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5718 (Call
5725 (Call
5730 (Call
5740 (Call
5744 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
5753 (Call
5757 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
5766 (Call
5770 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
5779 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5782 (Call
5786 (Call
5790 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
5799 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5802 (Call
5807 (Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
5809 (Call
5815 (Call
5820 (Call
5831 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5834 (Call
5839 (Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
5841 (Call
5847 (Call
5852 (Call
5863 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5866 (Call
5870 (Call
5875 (Call
5886 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5889 (Call
5893 (Call
5898 (Call
5909 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5912 (Call
5916 (Call
5921 (Call
5932 (Call
5942 (Call
5953 (Call
5957 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
5960 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
5968 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
5971 (Call
5975 (Call
5980 (Call
5985 (Call
5995 (Call
5999 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6002 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6010 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6013 (Call
6017 (Call
6022 (Call
6027 (Call
6037 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6039 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6041 (Call
6048 (Call
6053 (Call
6059 (Call
6064 (Call
6074 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6076 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6078 (Call
6085 (Call
6090 (Call
6096 (Call
6101 (Call
6111 (Call
6115 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6118 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6126 (Call
6130 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6133 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6141 (Call
6145 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6148 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6156 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6159 (Call
6163 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6167 (Call
6172 (Call
6176 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6180 (Call
6190 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6193 (Call
6197 (Call
6202 (Call
6208 (Call
6219 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6222 (Call
6227 (Call
6233 (Call
6239 (Call
6243 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6247 (Call
6257 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6260 (Call
6264 (Call
6269 (Call
6275 (Call
6286 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6289 (Call
6294 (Call
6300 (Call
6306 (Call
6310 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6314 (Call
6324 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6327 (Call
6331 (Call
6336 (Call
6342 (Call
6353 (Call
6357 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6360 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6368 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6370 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6377 (Call
6382 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6388 (Call
6393 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6397 (Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),
6400 (Call
6416 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6418 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6424 (Call
6429 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6434 (Call
6439 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6443 (Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),
6446 (Call
6460 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6462 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6468 (Call
6473 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6478 (Call
6483 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6487 (Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),
6490 (Call
6504 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6507 (Call
6511 (Call
6517 (Call
6522 (Call
6532 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"state"),
6535 (Call
6539 (Call
6543 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6546 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6553 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"state"),
6556 (Call
6559 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6562 (Call
6566 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6569 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6577 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6579 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6584 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6587 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6591 (Call
6596 (Call
6602 (Call
6607 (Call
6617 ITE(EQ(Apply(Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"state"),
6620 (Call
6623 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6626 (Call
6630 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6633 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6641 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6644 (Call
6649 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"s"),
6653 (Call
6658 (Call
6663 (Call
6674 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6677 (Call
6682 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"s"),
6686 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6690 (Call
6695 (Call
6706 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6709 (Call
6714 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"s"),
6718 (Call
6723 (Call
6728 (Call
6739 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6742 (Call
6747 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"s"),
6751 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6755 (Call
6760 (Call
6775 (Call
6780 (Call("branchTo",ATy(qTy,qTy),Var("v",F64)),
6782 (Call
6796 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
6800 (Call
6805 (Call("branchTo",ATy(qTy,qTy),Var("v",F64)),
6807 (Call
6818 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6820 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6824 (Call
6828 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6833 (Call
6837 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6840 (Call
6851 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6853 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6858 (Call
6863 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6868 (Call
6873 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6876 (Call
6887 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6889 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6894 (Call
6898 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6903 (Call
6907 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6910 (Call
6921 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6923 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6928 (Call
6932 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6937 (Call
6941 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6944 (Call
6955 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6957 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6962 (Call
6966 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
6971 (Call
6975 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
6978 (Call
6989 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
6991 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"s"),
6996 (Call
7000 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
7005 (Call
7009 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
7012 (Call
7024 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7028 (Call
7035 (Call
7039 (Call
7045 (Call
7055 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
7058 (Call
7064 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"s"),
7068 (Call
7075 (Call
7079 (Call
7087 (Call
7098 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7102 (Call
7109 (Call
7113 (Call
7119 (Call
7130 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7134 (Call
7141 (Call
7145 (Call
7151 (Call
7162 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7166 (Call
7173 (Call
7177 (Call
7183 (Call
7194 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7198 (Call
7205 (Call
7209 (Call
7215 (Call
7225 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
7228 (Call
7234 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"s"),
7238 (Call
7245 (Call
7248 (Call
7254 (Call
7265 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7269 (Call
7276 (Call
7280 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
7284 (Call
7295 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7299 (Call
7306 (Call
7310 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
7314 (Call
7325 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7329 (Call
7336 (Call
7340 (Call("GPR",ATy(qTy,F64),Var("rs2",FTy 5)),
7344 (Call
7354 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
7357 (Call
7363 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"s"),
7367 (Call
7374 (Call
7378 (Call
7384 (Call
7403 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7406 (Call
7412 (Call
7419 (Call
7423 (Call
7427 (Call
7435 (Call
7446 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
7449 (Call
7453 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"s"),
7456 (Call
7462 (Call
7469 (Call
7473 (Call
7476 (Call
7483 (Call
7496 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7499 (Call
7505 (Call
7509 (Call
7514 (Call
7521 (Call("write'ReserveLoad",ATy(qTy,qTy),LO F64),
7523 (Call
7527 (Call
7531 (Call
7537 (Call
7549 Apply(Call("in32BitMode",ATy(qTy,PTy(bTy,qTy)),LU),qVar"state"),
7552 (Call
7556 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"s"),
7560 (Call
7566 (Call
7570 (Call
7575 (Call
7582 (Call
7586 (Call
7590 (Call
7594 (Call
7600 (Call
7614 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7617 (Call
7623 (Call
7630 (Call
7634 (Call
7638 (Call
7642 (Call
7650 (Call
7662 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7665 (Call
7671 (Call
7678 (Call
7682 (Call
7686 (Call
7689 (Call
7695 (Call
7707 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7710 (Call
7716 (Call
7725 (Call
7730 (Call
7735 (Call
7740 (Call
7746 (Call
7758 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7761 (Call
7767 (Call
7775 (Call
7779 (Call
7784 (Call
7789 (Call
7795 (Call
7807 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7810 (Call
7816 (Call
7825 (Call
7830 (Call
7835 (Call
7840 (Call
7846 (Call
7858 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7861 (Call
7867 (Call
7875 (Call
7879 (Call
7884 (Call
7889 (Call
7895 (Call
7907 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7910 (Call
7916 (Call
7925 (Call
7930 (Call
7935 (Call
7940 (Call
7946 (Call
7958 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
7961 (Call
7967 (Call
7975 (Call
7979 (Call
7984 (Call
7989 (Call
7995 (Call
8007 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8010 (Call
8016 (Call
8025 (Call
8030 (Call
8035 (Call
8040 (Call
8046 (Call
8058 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8061 (Call
8067 (Call
8075 (Call
8079 (Call
8084 (Call
8089 (Call
8095 (Call
8107 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8110 (Call
8116 (Call
8125 (Call
8130 (Call
8135 (Call
8140 (Call
8146 (Call
8158 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8161 (Call
8167 (Call
8175 (Call
8179 (Call
8184 (Call
8189 (Call
8195 (Call
8207 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8210 (Call
8216 (Call
8225 (Call
8230 (Call
8235 (Call
8240 (Call
8246 (Call
8258 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8261 (Call
8267 (Call
8275 (Call
8279 (Call
8284 (Call
8289 (Call
8295 (Call
8307 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8310 (Call
8316 (Call
8325 (Call
8330 (Call
8335 (Call
8340 (Call
8346 (Call
8358 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8361 (Call
8367 (Call
8375 (Call
8379 (Call
8384 (Call
8389 (Call
8395 (Call
8407 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8410 (Call
8416 (Call
8425 (Call
8430 (Call
8435 (Call
8440 (Call
8446 (Call
8458 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8461 (Call
8467 (Call
8475 (Call
8479 (Call
8484 (Call
8489 (Call
8495 (Call
8506 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8510 (Call
8517 (Call
8520 (Call
8526 (Call
8537 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
8541 (Call
8548 (Call
8553 (Call
8558 (Call
8569 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8572 (Call
8578 (Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),
8581 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),
8585 (Call
8595 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8598 (Call
8604 (Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),
8607 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),
8611 (Call
8621 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8624 (Call
8630 (Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),
8633 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),
8637 (Call
8647 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8650 (Call
8656 (Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),
8659 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),
8663 (Call
8672 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8675 (Call
8681 (Call("FPRS",ATy(qTy,F32),Var("rs",FTy 5)),
8685 (Call
8694 Apply(Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),qVar"state"),
8697 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),qVar"state"),
8699 (Call
8709 Call
8712 Call
8733 Apply(Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),qVar"state"),
8736 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),qVar"state"),
8738 (Call
8748 Call
8751 Call
8774 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8777 (Call
8785 (Call
8789 (Call
8793 (Call("FPRS",ATy(qTy,F32),Var("rs3",FTy 5)),
8797 (Call
8808 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8811 (Call
8819 (Call
8823 (Call
8827 (Call("FPRS",ATy(qTy,F32),Var("rs3",FTy 5)),
8831 (Call
8842 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8845 (Call
8854 (Call
8858 (Call
8862 (Call
8867 (Call
8878 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8881 (Call
8890 (Call
8894 (Call
8898 (Call
8903 (Call
8912 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8915 (Call
8922 (Call
8928 (Call
8937 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8940 (Call
8948 (Call
8954 (Call
8963 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
8967 (Call("FPRS",ATy(qTy,F32),Var("rs",FTy 5)),qVar"state"),
8971 (Call
8992 (Call
9001 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9005 (Call("FPRS",ATy(qTy,F32),Var("rs",FTy 5)),qVar"state"),
9009 (Call
9025 (Call
9034 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9037 (Call
9044 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
9048 (Call
9057 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9060 (Call
9068 (Call
9073 (Call
9082 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9086 (Call("FPRS",ATy(qTy,F32),Var("rs",FTy 5)),qVar"state"),
9090 (Call
9111 (Call
9120 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9124 (Call("FPRS",ATy(qTy,F32),Var("rs",FTy 5)),qVar"state"),
9128 (Call
9144 (Call
9153 (Call
9157 Call
9160 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),
9163 (Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),
9171 (Call
9176 Call
9179 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),
9182 (Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),
9190 Apply(Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),qVar"state"),
9192 (Call
9197 Call
9200 (Call
9203 Mop(Cast F1,Call("FP32_Sign",bTy,Var("v",F32)))),
9211 (Call
9215 (Call("FPRS",ATy(qTy,F32),Var("rs",FTy 5)),
9223 (Call
9227 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
9235 Apply(Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),qVar"state"),
9238 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),qVar"state"),
9239 ITE(Bop(Or,Call("FP32_IsSignalingNan",bTy,Var("v",F32)),
9240 Call("FP32_IsSignalingNan",bTy,Var("v0",F32))),
9242 (Call("setFP_Invalid",ATy(qTy,qTy),LU),
9244 (Call
9248 (Call
9262 Apply(Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),qVar"state"),
9265 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),qVar"state"),
9269 (Call("setFP_Invalid",ATy(qTy,qTy),LU),
9271 (Call
9275 (Call
9289 Apply(Call("FPRS",ATy(qTy,F32),Var("rs1",FTy 5)),qVar"state"),
9292 (Call("FPRS",ATy(qTy,F32),Var("rs2",FTy 5)),qVar"state"),
9296 (Call("setFP_Invalid",ATy(qTy,qTy),LU),
9298 (Call
9302 (Call
9316 TP[Apply(Call("FPRS",ATy(qTy,F32),Var("rs",FTy 5)),qVar"state"),
9319 (Call
9328 Call
9337 Call
9346 Call
9362 Call
9373 Call
9398 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
9402 (Call
9409 (Call
9412 (Call
9418 (Call
9429 Apply(Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
9433 (Call
9440 (Call
9444 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),
9448 (Call
9459 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9462 (Call
9468 (Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),
9471 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),
9475 (Call
9485 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9488 (Call
9494 (Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),
9497 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),
9501 (Call
9511 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9514 (Call
9520 (Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),
9523 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),
9527 (Call
9537 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9540 (Call
9546 (Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),
9549 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),
9553 (Call
9562 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9565 (Call
9571 (Call("FPRD",ATy(qTy,F64),Var("rs",FTy 5)),
9575 (Call
9584 Apply(Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
9587 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"state"),
9589 (Call
9599 Call
9602 Call
9623 Apply(Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
9626 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"state"),
9628 (Call
9638 Call
9641 Call
9664 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9667 (Call
9675 (Call
9679 (Call
9683 (Call("FPRD",ATy(qTy,F64),Var("rs3",FTy 5)),
9687 (Call
9698 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9701 (Call
9709 (Call
9713 (Call
9717 (Call("FPRD",ATy(qTy,F64),Var("rs3",FTy 5)),
9721 (Call
9732 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9735 (Call
9744 (Call
9748 (Call
9752 (Call
9757 (Call
9768 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9771 (Call
9780 (Call
9784 (Call
9788 (Call
9793 (Call
9802 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9805 (Call
9812 (Call
9818 (Call
9827 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9830 (Call
9838 (Call
9844 (Call
9853 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9857 (Call("FPRD",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
9861 (Call
9882 (Call
9891 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9895 (Call("FPRD",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
9899 (Call
9915 (Call
9924 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9927 (Call
9934 (Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),
9938 (Call
9947 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9950 (Call
9958 (Call
9963 (Call
9972 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
9976 (Call("FPRD",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
9980 (Call
10001 (Call
10010 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
10014 (Call("FPRD",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
10018 (Call
10034 (Call
10043 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
10046 (Call
10052 (Call("FPRD",ATy(qTy,F64),Var("rs",FTy 5)),
10056 (Call
10065 (Call("round",ATy(qTy,OTy rTy),Var("fprnd",FTy 3)),qVar"state"),
10068 (Call
10073 (Call("FPRS",ATy(qTy,F32),Var("rs",FTy 5)),
10077 (Call
10086 (Call
10090 Call
10093 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),
10096 (Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),
10104 (Call
10109 Call
10112 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),
10115 (Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),
10123 Apply(Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
10125 (Call
10130 Call
10133 (Call
10136 Mop(Cast F1,Call("FP64_Sign",bTy,Var("v",F64)))),
10144 (Call
10148 (Call("FPRD",ATy(qTy,F64),Var("rs",FTy 5)),
10156 (Call
10159 Apply(Call("GPR",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state")]),
10167 Apply(Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
10170 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"state"),
10171 ITE(Bop(Or,Call("FP64_IsSignalingNan",bTy,Var("v",F64)),
10172 Call("FP64_IsSignalingNan",bTy,Var("v0",F64))),
10174 (Call("setFP_Invalid",ATy(qTy,qTy),LU),
10176 (Call
10180 (Call
10194 Apply(Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
10197 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"state"),
10201 (Call("setFP_Invalid",ATy(qTy,qTy),LU),
10203 (Call
10207 (Call
10221 Apply(Call("FPRD",ATy(qTy,F64),Var("rs1",FTy 5)),qVar"state"),
10224 (Call("FPRD",ATy(qTy,F64),Var("rs2",FTy 5)),qVar"state"),
10228 (Call("setFP_Invalid",ATy(qTy,qTy),LU),
10230 (Call
10234 (Call
10248 TP[Apply(Call("FPRD",ATy(qTy,F64),Var("rs",FTy 5)),qVar"state"),
10251 (Call
10260 Call
10269 Call
10278 Call
10294 Call
10305 Call
10326 Apply(Call("signalEnvCall",ATy(qTy,qTy),LU),qVar"state"))
10331 (Call
10338 (Call
10347 (Call
10364 (Call
10380 (Call
10395 (Call
10399 (Call
10409 Call
10423 (Call
10427 Call
10429 TP[Call("csrRW",FTy 2,Var("csr",FTy 12)),
10430 Call("csrPR",FTy 2,Var("csr",FTy 12)),
10432 (Call("curPrivilege",ATy(qTy,CTy"Privilege"),LU),
10441 (Call
10448 (Call("CSR",ATy(qTy,PTy(F64,qTy)),Var("csr",FTy 12)),
10451 (Call
10455 (Call
10459 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
10462 (Call
10472 (Call
10481 (Call("CSR",ATy(qTy,PTy(F64,qTy)),Var("csr",FTy 12)),
10484 (Call
10489 (Call
10494 (Call
10499 (Call
10509 (Call
10518 (Call("CSR",ATy(qTy,PTy(F64,qTy)),Var("csr",FTy 12)),
10521 (Call
10526 (Call
10532 (Call
10537 (Call
10547 (Call
10556 (Call("CSR",ATy(qTy,PTy(F64,qTy)),Var("csr",FTy 12)),
10559 (Call
10564 (Call
10570 (Call
10580 (Call
10589 (Call("CSR",ATy(qTy,PTy(F64,qTy)),Var("csr",FTy 12)),
10592 (Call
10597 (Call
10604 (Call
10614 (Call
10623 (Call("CSR",ATy(qTy,PTy(F64,qTy)),Var("csr",FTy 12)),
10626 (Call
10631 (Call
10639 (Call
10648 (Call
10650 Call
10652 TP[Apply(Call("curASID",ATy(qTy,FTy 6),LU),qVar"state"),
10656 (Call("GPR",ATy(qTy,F64),Var("rs1",FTy 5)),
10665 (Call
10674 (Call
10684 (Call
10696 (Call
10699 (Call
10702 (Call("AMO",CTy"instruction",Var("v1",CTy"AMO")),
10704 [(Call
10708 (Call
10712 (Call
10716 (Call
10720 (Call
10724 (Call
10728 (Call
10732 (Call
10736 (Call
10740 (Call
10744 (Call
10748 (Call
10752 (Call
10756 (Call
10760 (Call
10764 (Call
10768 (Call
10772 (Call
10777 (Call
10781 (Call
10786 (Call
10790 (Call
10795 (Call
10799 (Call
10804 (Call
10808 (Call
10813 (Call
10817 (Call
10822 (Call
10826 (Call
10831 (Call
10835 (Call
10840 (Call
10844 (Call
10849 (Call
10853 (Call
10858 (Call
10862 (Call
10866 (Call
10870 (Call
10874 (Call
10878 (Call
10883 (Call
10887 (Call
10892 (Call("ArithI",CTy"instruction",Var("v24",CTy"ArithI")),
10894 [(Call
10898 (Call
10901 (Call
10905 (Call
10908 (Call
10912 (Call
10915 (Call("AUIPC",CTy"ArithI",Var("v28",PTy(FTy 5,FTy 20))),
10917 (Call
10920 (Call("LUI",CTy"ArithI",Var("v29",PTy(FTy 5,FTy 20))),
10922 (Call
10925 (Call
10929 (Call
10932 (Call
10936 (Call
10939 (Call
10943 (Call
10946 (Call
10950 (Call
10953 (Call("ArithR",CTy"instruction",Var("v34",CTy"ArithR")),
10955 [(Call
10959 (Call
10962 (Call
10966 (Call
10969 (Call
10973 (Call
10976 (Call
10979 (Call
10982 (Call
10986 (Call
10989 (Call
10993 (Call
10996 (Call
11000 (Call
11003 (Call
11007 (Call
11010 (Call
11014 (Call
11017 (Call("Branch",CTy"instruction",Var("v44",CTy"Branch")),
11019 [(Call
11023 (Call
11026 (Call
11030 (Call
11033 (Call
11037 (Call
11040 (Call
11044 (Call
11047 (Call
11051 (Call
11054 (Call
11058 (Call
11061 (Call("JAL",CTy"Branch",Var("v51",PTy(FTy 5,FTy 20))),
11063 (Call
11066 (Call
11070 (Call
11073 (Call("FArith",CTy"instruction",Var("v53",CTy"FArith")),
11075 [(Call
11079 (Call
11083 (Call
11087 (Call
11091 (Call
11095 (Call
11099 (Call
11103 (Call
11107 (Call
11111 (Call
11114 (Call
11118 (Call
11121 (Call
11125 (Call
11128 (Call
11132 (Call
11135 (Call
11139 (Call
11142 (Call
11146 (Call
11149 (Call
11154 (Call
11159 (Call
11164 (Call
11169 (Call
11173 (Call
11176 (Call
11180 (Call
11183 (Call
11187 (Call
11190 (Call
11194 (Call
11197 (Call
11202 (Call
11207 (Call
11212 (Call
11217 (Call
11221 (Call
11225 (Call
11229 (Call
11233 (Call
11238 (Call
11243 (Call
11248 (Call
11253 (Call
11258 (Call
11263 (Call
11268 (Call
11273 (Call
11277 (Call
11280 (Call
11284 (Call
11287 (Call
11291 (Call
11295 (Call
11299 (Call
11303 (Call("FConv",CTy"instruction",Var("v82",CTy"FConv")),
11305 [(Call("FCLASS_D",CTy"FConv",Var("v83",PTy(FTy 5,FTy 5))),
11307 (Call
11310 (Call("FCLASS_S",CTy"FConv",Var("v84",PTy(FTy 5,FTy 5))),
11312 (Call
11315 (Call
11319 (Call
11322 (Call
11326 (Call
11329 (Call
11333 (Call
11336 (Call
11340 (Call
11343 (Call
11347 (Call
11350 (Call
11354 (Call
11357 (Call
11361 (Call
11364 (Call
11368 (Call
11371 (Call
11375 (Call
11378 (Call
11382 (Call
11385 (Call
11389 (Call
11392 (Call
11396 (Call
11399 (Call
11403 (Call
11406 (Call
11410 (Call
11413 (Call
11417 (Call
11420 (Call
11424 (Call
11427 (Call
11431 (Call
11434 (Call
11438 (Call
11441 (Call("FMV_D_X",CTy"FConv",Var("v103",PTy(FTy 5,FTy 5))),
11443 (Call
11446 (Call("FMV_S_X",CTy"FConv",Var("v104",PTy(FTy 5,FTy 5))),
11448 (Call
11451 (Call("FMV_X_D",CTy"FConv",Var("v105",PTy(FTy 5,FTy 5))),
11453 (Call
11456 (Call("FMV_X_S",CTy"FConv",Var("v106",PTy(FTy 5,FTy 5))),
11458 (Call
11461 (Call
11465 (Call
11468 (Call
11472 (Call
11475 (Call
11479 (Call
11482 (Call
11486 (Call
11489 (Call
11493 (Call
11496 (Call
11500 (Call
11503 (Call("FPLoad",CTy"instruction",Var("v113",CTy"FPLoad")),
11505 [(Call
11509 (Call
11513 (Call
11517 (Call
11521 (Call("FPStore",CTy"instruction",Var("v116",CTy"FPStore")),
11523 [(Call
11527 (Call
11531 (Call
11535 (Call
11539 (Call("Internal",CTy"instruction",Var("v119",CTy"Internal")),
11541 [(Call("FETCH_FAULT",CTy"Internal",Var("v120",F64)),
11543 (Call("dfn'FETCH_FAULT",ATy(qTy,qTy),Var("v120",F64)),
11545 (Call("FETCH_MISALIGNED",CTy"Internal",Var("v121",F64)),
11547 (Call
11550 (Call("Load",CTy"instruction",Var("v122",CTy"Load")),
11552 [(Call
11555 (Call
11559 (Call
11563 (Call
11567 (Call
11570 (Call
11574 (Call
11577 (Call
11581 (Call
11585 (Call
11589 (Call
11592 (Call
11596 (Call
11600 (Call
11604 (Call("MulDiv",CTy"instruction",Var("v130",CTy"MulDiv")),
11606 [(Call
11610 (Call
11613 (Call
11617 (Call
11620 (Call
11624 (Call
11627 (Call
11631 (Call
11634 (Call
11638 (Call
11641 (Call
11645 (Call
11648 (Call
11652 (Call
11655 (Call
11659 (Call
11662 (Call
11666 (Call
11669 (Call
11673 (Call
11676 (Call
11680 (Call
11683 (Call
11687 (Call
11690 (Call
11694 (Call
11697 (Call("Shift",CTy"instruction",Var("v144",CTy"Shift")),
11699 [(Call
11703 (Call
11706 (Call
11710 (Call
11713 (Call
11717 (Call
11720 (Call
11724 (Call
11727 (Call
11731 (Call
11734 (Call
11738 (Call
11741 (Call
11745 (Call
11748 (Call
11752 (Call
11755 (Call
11759 (Call
11762 (Call
11766 (Call
11769 (Call
11773 (Call
11776 (Call
11780 (Call
11783 (Call("Store",CTy"instruction",Var("v157",CTy"Store")),
11785 [(Call
11789 (Call
11793 (Call
11797 (Call
11801 (Call
11805 (Call
11809 (Call
11813 (Call
11817 (Call("System",CTy"instruction",Var("v162",CTy"System")),
11828 (Call
11832 (Call
11836 (Call
11840 (Call
11844 (Call
11848 (Call
11852 (Call
11856 (Call
11860 (Call
11864 (Call
11868 (Call
11872 (Call
11876 (Call("SFENCE_VM",CTy"System",Var("v169",FTy 5)),
11878 (Call("dfn'SFENCE_VM",ATy(qTy,qTy),Var("v169",FTy 5)),
11887 TP[Call
11889 Call
11891 Call("FETCH_MISALIGNED",CTy"Internal",Var("v",F64)))),
11895 (Call
11903 (Call
11906 TP[Call
11911 (Call
11930 (Call
11947 (Call
11966 (Call
11986 (Call
12007 (Call
12029 (Call
12051 (Call
12069 (Call
12080 TP[Call
12082 Call
12084 Call
12120 Call
12122 Call
12130 Call
12148 Call
12150 Call
12158 Call
12176 Call
12178 Call
12186 Call
12204 Call
12206 Call
12214 Call
12232 Call
12234 Call
12242 Call
12260 Call
12262 Call
12270 Call
12288 Call
12290 Call
12306 Call
12308 Call
12313 Call
12334 Call
12336 Call
12358 Call
12360 Call
12382 Call
12384 Call
12405 Call
12407 Call
12439 Call
12441 Call
12470 Call
12472 Call
12501 Call
12503 Call
12532 Call
12534 Call
12579 Call
12581 Call
12617 Call
12619 Call
12655 Call
12657 Call
12692 Call
12694 Call
12730 Call
12732 Call
12769 Call
12771 Call
12808 Call
12810 Call
12846 Call
12848 Call
12883 Call
12885 Call
12928 Call
12930 Call
12971 Call
12973 Call
13024 Call
13026 Call
13074 Call
13076 Call
13116 Call
13118 Call
13159 Call
13161 Call
13212 Call
13214 Call
13228 Call
13230 Call
13252 Call
13254 Call
13276 Call
13278 Call
13299 Call
13301 Call
13332 Call
13334 Call
13362 Call
13364 Call
13392 Call
13394 Call
13422 Call
13424 Call
13468 Call
13470 Call
13505 Call
13507 Call
13542 Call
13544 Call
13578 Call
13580 Call
13615 Call
13617 Call
13653 Call
13655 Call
13691 Call
13693 Call
13728 Call
13730 Call
13764 Call
13766 Call
13808 Call
13810 Call
13850 Call
13852 Call
13901 Call
13903 Call
13942 Call
13944 Call
13984 Call
13986 Call
14027 Call
14029 Call
14069 Call
14071 Call
14112 Call
14114 Call
14154 Call
14156 Call
14196 Call
14198 Call
14237 Call
14239 Call
14279 Call
14281 Call
14320 Call
14322 Call
14372 Call
14374 Call
14422 Call
14424 Call
14463 Call
14465 Call
14506 Call
14508 Call
14525 Call
14527 Call
14547 Call
14549 Call
14569 Call
14571 Call
14591 Call
14593 Call
14613 Call
14615 Call
14635 Call
14637 Call
14720 Call
14792 Call
14865 Call
14936 Call
15008 Call
15065 Call
15067 Call
15078 Call
15080 Call
15096 Call
15098 Call
15118 Call
15120 Call
15153 Call
15155 Call
15173 Call
15175 Call
15195 Call
15197 Call
15217 Call
15219 Call
15252 Call
15254 Call
15285 Call
15287 Call
15305 Call
15307 Call
15327 Call
15329 Call
15365 Call
15367 Call
15401 Call
15403 Call
15435 Call
15437 Call
15470 Call
15472 Call
15503 Call
15505 Call
15538 Call
15540 Call
15571 Call
15573 Call
15604 Call
15606 Call
15638 Call
15640 Call
15670 Call
15672 Call
15690 Call
15692 Call
15726 Call
15728 Call
15759 Call
15761 Call
15792 Call
15794 Call
15827 Call
15829 Call
15862 Call
15864 Call
15895 Call
15897 Call
15927 Call
15929 Call
15959 Call
15961 Call
15995 Call
15997 Call
16029 Call
16031 Call
16064 Call
16066 Call
16097 Call
16099 Call
16132 Call
16134 Call
16165 Call
16167 Call
16199 Call
16201 Call
16231 Call
16233 Call
16266 Call
16268 Call
16300 Call
16302 Call
16332 Call
16334 Call
16365 Call
16367 Call
16396 Call
16398 Call
16416 Call
16418 Call
16438 Call
16440 Call
16460 Call
16462 Call
16482 Call
16484 Call
16504 Call
16506 Call
16526 Call
16528 Call
16548 Call
16550 Call
16570 Call
16572 Call
16580 Call
16596 Call
16598 Call
16606 Call
16622 Call
16624 Call
16632 Call
16648 Call
16650 Call
16658 Call
16673 Call
16693 Call
16713 Call
16715 Call
16735 Call
16737 Call
16757 Call
16759 Call
16767 Call
16783 Call
16785 Call
16793 Call
16832 Call
16834 Call
16873 Call
16875 Call
16901 Call
16903 Call
16931 Call
16933 Call
16962 Call
16964 Call
16993 Call
16995 Call
17024 Call
17026 Call
17055 Call
17057 Call
17086 Call
17088 Call
17117 Call
17119 Call
17148 Call
17150 Call
17179 Call
17181 Call
17210 Call
17212 Call
17240 Call
17242 Call
17270 Call
17272 Call
17300 Call
17302 Call
17330 Call
17332 Call
17360 Call
17362 Call
17390 Call
17392 Call
17420 Call
17422 Call
17450 Call
17452 Call
17480 Call
17482 Call
17512 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("rd",FTy 5)),
17513 LS", ",Call("reg",sTy,Var("rs1",FTy 5)),LS", ",
17514 Call("reg",sTy,Var("rs2",FTy 5))])
17520 Call
17522 TP[CC[sVar"o",Call("amotype",sTy,TP[Var("aq",F1),Var("rl",F1)])],
17528 CC[Call
17530 CC[sVar"o",Call("amotype",sTy,TP[Var("aq",F1),Var("rl",F1)])]),
17531 LS" ",Call("reg",sTy,Var("rd",FTy 5)),LS", ",
17532 Call("reg",sTy,Var("rs1",FTy 5))])
17536 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("rd",FTy 5)),
17537 LS", ",Call("reg",sTy,Var("rs1",FTy 5)),LS", ",
17538 Call("imm",sTy,Var("i",BTy"N"))])
17543 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("rd",FTy 5)),
17544 LS", ",Call("reg",sTy,Var("rs1",FTy 5)),LS", ",
17545 Call("csrName",sTy,Var("csr",FTy 12))])
17550 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("rd",FTy 5)),
17551 LS", ",Call("imm",sTy,Var("i",BTy"N")),LS", ",
17552 Call("csrName",sTy,Var("csr",FTy 12))])
17556 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("rs2",FTy 5)),
17557 LS", ",Call("reg",sTy,Var("rs1",FTy 5)),LS", ",
17558 Call("imm",sTy,Var("i",BTy"N"))])
17563 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("rs1",FTy 5)),
17564 LS", ",Call("reg",sTy,Var("rs2",FTy 5)),LS", ",
17565 Call("imm",sTy,Bop(Lsl,Var("i",BTy"N"),LN 1))])
17569 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("rd",FTy 5)),
17570 LS", ",Call("imm",sTy,Var("i",BTy"N"))])
17574 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("rd",FTy 5)),
17575 LS", ",Call("imm",sTy,Bop(Lsl,Var("i",BTy"N"),LN 1))])
17577 val pN0type_def = Def ("pN0type",sVar"o",Call("instr",sTy,sVar"o"))
17581 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("r",FTy 5))])
17586 CC[Call("instr",sTy,sVar"o"),LS" ",Call("fpreg",sTy,Var("rd",FTy 5)),
17587 LS", ",Call("fpreg",sTy,Var("rs1",FTy 5)),LS", ",
17588 Call("fpreg",sTy,Var("rs2",FTy 5))])
17592 CC[Call("instr",sTy,sVar"o"),LS" ",Call("fpreg",sTy,Var("rd",FTy 5)),
17593 LS", ",Call("fpreg",sTy,Var("rs",FTy 5))])
17599 CC[Call("instr",sTy,sVar"o"),LS" ",Call("fpreg",sTy,Var("rd",FTy 5)),
17600 LS", ",Call("fpreg",sTy,Var("rs1",FTy 5)),LS", ",
17601 Call("fpreg",sTy,Var("rs2",FTy 5)),LS", ",
17602 Call("fpreg",sTy,Var("rs3",FTy 5))])
17606 CC[Call("instr",sTy,sVar"o"),LS" ",Call("fpreg",sTy,Var("rd",FTy 5)),
17607 LS", ",Call("reg",sTy,Var("rs1",FTy 5)),LS", ",
17608 Call("imm",sTy,Var("i",BTy"N"))])
17613 CC[Call("instr",sTy,sVar"o"),LS" ",Call("fpreg",sTy,Var("rs2",FTy 5)),
17614 LS", ",Call("reg",sTy,Var("rs1",FTy 5)),LS", ",
17615 Call("imm",sTy,Var("i",BTy"N"))])
17619 CC[Call("instr",sTy,sVar"o"),LS" ",Call("fpreg",sTy,Var("rd",FTy 5)),
17620 LS", ",Call("reg",sTy,Var("rs",FTy 5))])
17624 CC[Call("instr",sTy,sVar"o"),LS" ",Call("reg",sTy,Var("rd",FTy 5)),
17625 LS", ",Call("fpreg",sTy,Var("rs",FTy 5))])
17630 [(Call
17632 Call
17635 Call
17638 (Call
17640 Call
17643 Call
17646 (Call
17648 Call
17651 Call
17654 (Call
17656 Call
17659 Call
17662 (Call
17664 Call
17667 Call
17670 (Call
17672 Call
17675 Call
17678 (Call
17680 Call
17683 Call
17686 (Call
17688 Call("JAL",CTy"Branch",TP[Var("rd",FTy 5),Var("imm",FTy 20)])),
17689 Call("pUJtype",sTy,TP[LS"JAL",Var("rd",FTy 5),Var("imm",FTy 20)])),
17690 (Call
17692 Call("LUI",CTy"ArithI",TP[Var("rd",FTy 5),Var("imm",FTy 20)])),
17693 Call("pUtype",sTy,TP[LS"LUI",Var("rd",FTy 5),Var("imm",FTy 20)])),
17694 (Call
17696 Call("AUIPC",CTy"ArithI",TP[Var("rd",FTy 5),Var("imm",FTy 20)])),
17697 Call("pUtype",sTy,TP[LS"AUIPC",Var("rd",FTy 5),Var("imm",FTy 20)])),
17698 (Call
17700 Call
17703 Call
17706 (Call
17708 Call
17711 Call
17714 (Call
17716 Call
17719 Call
17722 (Call
17724 Call
17727 Call
17730 (Call
17732 Call
17735 Call
17738 (Call
17740 Call
17743 Call
17746 (Call
17748 Call
17751 Call
17754 (Call
17756 Call
17759 Call
17762 (Call
17764 Call
17767 Call
17770 (Call
17772 Call
17775 Call
17778 (Call
17780 Call
17783 Call
17786 (Call
17788 Call
17791 Call
17794 (Call
17796 Call
17799 Call
17802 (Call
17804 Call
17807 Call
17810 (Call
17812 Call
17815 Call
17818 (Call
17820 Call
17823 Call
17826 (Call
17828 Call
17831 Call
17834 (Call
17836 Call
17839 Call
17842 (Call
17844 Call
17847 Call
17850 (Call
17852 Call
17855 Call
17858 (Call
17860 Call
17863 Call
17866 (Call
17868 Call
17871 Call
17874 (Call
17876 Call
17879 Call
17882 (Call
17884 Call
17887 Call
17890 (Call
17892 Call
17895 Call
17898 (Call
17900 Call
17903 Call
17906 (Call
17908 Call
17911 Call
17914 (Call
17916 Call
17919 Call
17922 (Call
17924 Call
17927 Call
17930 (Call
17932 Call
17935 Call
17938 (Call
17940 Call
17943 Call
17946 (Call
17948 Call
17951 Call
17954 (Call
17956 Call
17959 Call
17962 (Call
17964 Call
17967 Call
17970 (Call
17972 Call
17975 Call
17978 (Call
17980 Call
17983 Call
17986 (Call
17988 Call
17991 Call
17994 (Call
17996 Call
17999 Call
18002 (Call
18004 Call
18007 Call
18010 (Call
18012 Call
18015 Call
18018 (Call
18020 Call
18023 Call
18026 (Call
18028 Call
18031 Call
18034 (Call
18036 Call
18039 Call
18042 (Call
18044 Call
18047 Call
18050 (Call
18052 Call
18055 Call
18058 (Call
18060 Call
18063 Call
18066 (Call
18068 Call
18071 Call
18074 (Call
18076 Call
18079 Call
18082 (Call
18084 Call
18087 Call
18090 (Call
18092 Call
18095 Call
18098 (Call
18100 Call
18103 Call
18106 (Call
18108 Call
18111 Call
18114 (Call
18117 Var("succ",F4)]),Call("pN0type",sTy,LS"FENCE")),
18118 (Call
18121 Call("pN0type",sTy,LS"FENCE.I")),
18122 (Call
18124 Call
18128 Call
18131 (Call
18133 Call
18137 Call
18140 (Call
18142 Call
18146 Call
18149 (Call
18151 Call
18155 Call
18158 (Call
18160 Call
18163 Call
18165 (Call
18167 Call
18170 Call
18173 (Call
18175 Call
18178 Call
18181 (Call
18183 Call
18186 Call
18189 (Call
18191 Call
18194 Call
18197 (Call
18199 Call
18202 Call
18205 (Call
18207 Call
18211 Call
18215 (Call
18217 Call
18221 Call
18225 (Call
18227 Call
18231 Call
18235 (Call
18237 Call
18241 Call
18245 (Call
18247 Call
18251 Call
18254 (Call
18256 Call
18260 Call
18263 (Call
18265 Call
18269 Call
18272 (Call
18274 Call
18278 Call
18281 (Call
18283 Call
18286 Call
18288 (Call
18290 Call
18293 Call
18296 (Call
18298 Call
18301 Call
18304 (Call
18306 Call
18309 Call
18312 (Call
18314 Call
18317 Call
18320 (Call
18322 Call
18325 Call
18328 (Call
18330 Call
18334 Call
18338 (Call
18340 Call
18344 Call
18348 (Call
18350 Call
18354 Call
18358 (Call
18360 Call
18364 Call
18368 (Call
18370 Call
18373 Call
18377 (Call
18379 Call
18382 Call
18386 (Call
18388 Call
18391 Call
18395 (Call
18397 Call
18400 Call
18402 (Call
18404 Call
18407 Call
18410 (Call
18412 Call("FMV_X_S",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
18413 Call
18415 (Call
18417 Call("FCLASS_S",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
18418 Call
18420 (Call
18422 Call
18425 Call
18427 (Call
18429 Call
18432 Call
18435 (Call
18437 Call("FMV_S_X",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
18438 Call
18440 (Call
18442 Call
18445 Call
18449 (Call
18451 Call
18454 Call
18458 (Call
18460 Call
18463 Call
18467 (Call
18469 Call
18472 Call
18474 (Call
18476 Call
18479 Call
18482 (Call
18484 Call("FCLASS_D",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
18485 Call
18487 (Call
18489 Call
18492 Call
18494 (Call
18496 Call
18499 Call
18502 (Call
18504 Call
18507 Call
18509 (Call
18511 Call
18514 Call
18517 (Call
18519 Call
18522 Call
18524 (Call
18526 Call
18529 Call
18532 (Call
18534 Call
18537 Call
18539 (Call
18541 Call
18544 Call
18547 (Call
18549 Call("FMV_X_D",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
18550 Call
18552 (Call
18554 Call
18557 Call
18559 (Call
18561 Call
18564 Call
18567 (Call
18569 Call("FMV_D_X",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
18570 Call
18572 (Call
18574 Call
18577 Call
18579 (Call
18581 Call
18584 Call
18586 (Call
18588 Call
18591 Call
18594 (Call
18596 Call
18599 Call
18602 (Call
18604 Call
18607 Call
18610 (Call
18612 Call
18615 Call
18618 (Call
18620 Call
18624 Call
18628 (Call
18630 Call
18634 Call
18638 (Call
18640 Call
18644 Call
18648 (Call
18650 Call
18654 Call
18658 (Call
18660 Call
18664 Call
18668 (Call
18670 Call
18674 Call
18678 (Call
18680 Call
18684 Call
18688 (Call
18690 Call
18694 Call
18698 (Call
18700 Call
18704 Call
18708 (Call
18710 Call
18714 Call
18718 (Call
18720 Call
18724 Call
18728 (Call
18730 Call
18734 Call
18738 (Call
18740 Call
18744 Call
18748 (Call
18750 Call
18754 Call
18758 (Call
18760 Call
18764 Call
18768 (Call
18770 Call
18774 Call
18778 (Call
18780 Call
18784 Call
18788 (Call
18790 Call
18794 Call
18798 (Call
18800 Call
18804 Call
18808 (Call
18810 Call
18814 Call
18818 (Call
18820 Call
18824 Call
18828 (Call
18830 Call
18834 Call
18838 (Call("System",CTy"instruction",Const("ECALL",CTy"System")),
18839 Call("pN0type",sTy,LS"ECALL")),
18840 (Call("System",CTy"instruction",Const("EBREAK",CTy"System")),
18841 Call("pN0type",sTy,LS"EBREAK")),
18842 (Call("System",CTy"instruction",Const("ERET",CTy"System")),
18843 Call("pN0type",sTy,LS"ERET")),
18844 (Call("System",CTy"instruction",Const("MRTS",CTy"System")),
18845 Call("pN0type",sTy,LS"MRTS")),
18846 (Call("System",CTy"instruction",Const("WFI",CTy"System")),
18847 Call("pN0type",sTy,LS"WFI")),
18848 (Call
18850 Call
18853 Call
18856 (Call
18858 Call
18861 Call
18864 (Call
18866 Call
18869 Call
18872 (Call
18874 Call
18877 Call
18881 (Call
18883 Call
18886 Call
18890 (Call
18892 Call
18895 Call
18899 (Call
18901 Call("SFENCE_VM",CTy"System",Var("rs1",FTy 5))),
18902 Call("pN1type",sTy,TP[LS"SFENCE.VM",Var("rs1",FTy 5)])),
18904 Call("pN0type",sTy,LS"UNKNOWN")),
18905 (Call
18907 Call("FETCH_MISALIGNED",CTy"Internal",AVar F64)),
18908 Call("pN0type",sTy,LS"FETCH_MISALIGNED")),
18909 (Call
18911 Call("FETCH_FAULT",CTy"Internal",AVar F64)),
18912 Call("pN0type",sTy,LS"FETCH_FAULT"))]))
18973 [(Call
18975 Call
18978 Call
18980 TP[Call("opc",FTy 7,LW(24,8)),LW(0,3),Var("rs1",FTy 5),
18982 (Call
18984 Call
18987 Call
18989 TP[Call("opc",FTy 7,LW(24,8)),LW(1,3),Var("rs1",FTy 5),
18991 (Call
18993 Call
18996 Call
18998 TP[Call("opc",FTy 7,LW(24,8)),LW(4,3),Var("rs1",FTy 5),
19000 (Call
19002 Call
19005 Call
19007 TP[Call("opc",FTy 7,LW(24,8)),LW(5,3),Var("rs1",FTy 5),
19009 (Call
19011 Call
19014 Call
19016 TP[Call("opc",FTy 7,LW(24,8)),LW(6,3),Var("rs1",FTy 5),
19018 (Call
19020 Call
19023 Call
19025 TP[Call("opc",FTy 7,LW(24,8)),LW(7,3),Var("rs1",FTy 5),
19027 (Call
19029 Call
19032 Call
19034 TP[Call("opc",FTy 7,LW(25,8)),LW(0,3),Var("rd",FTy 5),
19036 (Call
19038 Call("JAL",CTy"Branch",TP[Var("rd",FTy 5),Var("imm",FTy 20)])),
19039 Call
19041 TP[Call("opc",FTy 7,LW(27,8)),Var("rd",FTy 5),Var("imm",FTy 20)])),
19042 (Call
19044 Call("LUI",CTy"ArithI",TP[Var("rd",FTy 5),Var("imm",FTy 20)])),
19045 Call
19047 TP[Call("opc",FTy 7,LW(13,8)),Var("rd",FTy 5),Var("imm",FTy 20)])),
19048 (Call
19050 Call("AUIPC",CTy"ArithI",TP[Var("rd",FTy 5),Var("imm",FTy 20)])),
19051 Call
19053 TP[Call("opc",FTy 7,LW(5,8)),Var("rd",FTy 5),Var("imm",FTy 20)])),
19054 (Call
19056 Call
19059 Call
19061 TP[Call("opc",FTy 7,LW(4,8)),LW(0,3),Var("rd",FTy 5),
19063 (Call
19065 Call
19068 Call
19070 TP[Call("opc",FTy 7,LW(4,8)),LW(1,3),Var("rd",FTy 5),
19072 (Call
19074 Call
19077 Call
19079 TP[Call("opc",FTy 7,LW(4,8)),LW(2,3),Var("rd",FTy 5),
19081 (Call
19083 Call
19086 Call
19088 TP[Call("opc",FTy 7,LW(4,8)),LW(3,3),Var("rd",FTy 5),
19090 (Call
19092 Call
19095 Call
19097 TP[Call("opc",FTy 7,LW(4,8)),LW(4,3),Var("rd",FTy 5),
19099 (Call
19101 Call
19104 Call
19106 TP[Call("opc",FTy 7,LW(4,8)),LW(5,3),Var("rd",FTy 5),
19108 (Call
19110 Call
19113 Call
19115 TP[Call("opc",FTy 7,LW(4,8)),LW(5,3),Var("rd",FTy 5),
19117 (Call
19119 Call
19122 Call
19124 TP[Call("opc",FTy 7,LW(4,8)),LW(6,3),Var("rd",FTy 5),
19126 (Call
19128 Call
19131 Call
19133 TP[Call("opc",FTy 7,LW(4,8)),LW(7,3),Var("rd",FTy 5),
19135 (Call
19137 Call
19140 Call
19142 TP[Call("opc",FTy 7,LW(12,8)),LW(0,3),Var("rd",FTy 5),
19144 (Call
19146 Call
19149 Call
19151 TP[Call("opc",FTy 7,LW(12,8)),LW(0,3),Var("rd",FTy 5),
19153 (Call
19155 Call
19158 Call
19160 TP[Call("opc",FTy 7,LW(12,8)),LW(1,3),Var("rd",FTy 5),
19162 (Call
19164 Call
19167 Call
19169 TP[Call("opc",FTy 7,LW(12,8)),LW(2,3),Var("rd",FTy 5),
19171 (Call
19173 Call
19176 Call
19178 TP[Call("opc",FTy 7,LW(12,8)),LW(3,3),Var("rd",FTy 5),
19180 (Call
19182 Call
19185 Call
19187 TP[Call("opc",FTy 7,LW(12,8)),LW(4,3),Var("rd",FTy 5),
19189 (Call
19191 Call
19194 Call
19196 TP[Call("opc",FTy 7,LW(12,8)),LW(5,3),Var("rd",FTy 5),
19198 (Call
19200 Call
19203 Call
19205 TP[Call("opc",FTy 7,LW(12,8)),LW(5,3),Var("rd",FTy 5),
19207 (Call
19209 Call
19212 Call
19214 TP[Call("opc",FTy 7,LW(12,8)),LW(6,3),Var("rd",FTy 5),
19216 (Call
19218 Call
19221 Call
19223 TP[Call("opc",FTy 7,LW(12,8)),LW(7,3),Var("rd",FTy 5),
19225 (Call
19227 Call
19230 Call
19232 TP[Call("opc",FTy 7,LW(6,8)),LW(0,3),Var("rd",FTy 5),
19234 (Call
19236 Call
19239 Call
19241 TP[Call("opc",FTy 7,LW(6,8)),LW(1,3),Var("rd",FTy 5),
19243 (Call
19245 Call
19248 Call
19250 TP[Call("opc",FTy 7,LW(6,8)),LW(5,3),Var("rd",FTy 5),
19252 (Call
19254 Call
19257 Call
19259 TP[Call("opc",FTy 7,LW(6,8)),LW(5,3),Var("rd",FTy 5),
19261 (Call
19263 Call
19266 Call
19268 TP[Call("opc",FTy 7,LW(14,8)),LW(0,3),Var("rd",FTy 5),
19270 (Call
19272 Call
19275 Call
19277 TP[Call("opc",FTy 7,LW(14,8)),LW(0,3),Var("rd",FTy 5),
19279 (Call
19281 Call
19284 Call
19286 TP[Call("opc",FTy 7,LW(14,8)),LW(1,3),Var("rd",FTy 5),
19288 (Call
19290 Call
19293 Call
19295 TP[Call("opc",FTy 7,LW(14,8)),LW(5,3),Var("rd",FTy 5),
19297 (Call
19299 Call
19302 Call
19304 TP[Call("opc",FTy 7,LW(14,8)),LW(5,3),Var("rd",FTy 5),
19306 (Call
19308 Call
19311 Call
19313 TP[Call("opc",FTy 7,LW(12,8)),LW(0,3),Var("rd",FTy 5),
19315 (Call
19317 Call
19320 Call
19322 TP[Call("opc",FTy 7,LW(12,8)),LW(1,3),Var("rd",FTy 5),
19324 (Call
19326 Call
19329 Call
19331 TP[Call("opc",FTy 7,LW(12,8)),LW(2,3),Var("rd",FTy 5),
19333 (Call
19335 Call
19338 Call
19340 TP[Call("opc",FTy 7,LW(12,8)),LW(3,3),Var("rd",FTy 5),
19342 (Call
19344 Call
19347 Call
19349 TP[Call("opc",FTy 7,LW(12,8)),LW(4,3),Var("rd",FTy 5),
19351 (Call
19353 Call
19356 Call
19358 TP[Call("opc",FTy 7,LW(12,8)),LW(5,3),Var("rd",FTy 5),
19360 (Call
19362 Call
19365 Call
19367 TP[Call("opc",FTy 7,LW(12,8)),LW(6,3),Var("rd",FTy 5),
19369 (Call
19371 Call
19374 Call
19376 TP[Call("opc",FTy 7,LW(12,8)),LW(7,3),Var("rd",FTy 5),
19378 (Call
19380 Call
19383 Call
19385 TP[Call("opc",FTy 7,LW(14,8)),LW(0,3),Var("rd",FTy 5),
19387 (Call
19389 Call
19392 Call
19394 TP[Call("opc",FTy 7,LW(14,8)),LW(4,3),Var("rd",FTy 5),
19396 (Call
19398 Call
19401 Call
19403 TP[Call("opc",FTy 7,LW(14,8)),LW(5,3),Var("rd",FTy 5),
19405 (Call
19407 Call
19410 Call
19412 TP[Call("opc",FTy 7,LW(14,8)),LW(6,3),Var("rd",FTy 5),
19414 (Call
19416 Call
19419 Call
19421 TP[Call("opc",FTy 7,LW(14,8)),LW(7,3),Var("rd",FTy 5),
19423 (Call
19425 Call
19428 Call
19430 TP[Call("opc",FTy 7,LW(0,8)),LW(0,3),Var("rd",FTy 5),
19432 (Call
19434 Call
19437 Call
19439 TP[Call("opc",FTy 7,LW(0,8)),LW(1,3),Var("rd",FTy 5),
19441 (Call
19443 Call
19446 Call
19448 TP[Call("opc",FTy 7,LW(0,8)),LW(2,3),Var("rd",FTy 5),
19450 (Call
19452 Call
19455 Call
19457 TP[Call("opc",FTy 7,LW(0,8)),LW(3,3),Var("rd",FTy 5),
19459 (Call
19461 Call
19464 Call
19466 TP[Call("opc",FTy 7,LW(0,8)),LW(4,3),Var("rd",FTy 5),
19468 (Call
19470 Call
19473 Call
19475 TP[Call("opc",FTy 7,LW(0,8)),LW(5,3),Var("rd",FTy 5),
19477 (Call
19479 Call
19482 Call
19484 TP[Call("opc",FTy 7,LW(0,8)),LW(6,3),Var("rd",FTy 5),
19486 (Call
19488 Call
19491 Call
19493 TP[Call("opc",FTy 7,LW(8,8)),LW(0,3),Var("rs1",FTy 5),
19495 (Call
19497 Call
19500 Call
19502 TP[Call("opc",FTy 7,LW(8,8)),LW(1,3),Var("rs1",FTy 5),
19504 (Call
19506 Call
19509 Call
19511 TP[Call("opc",FTy 7,LW(8,8)),LW(2,3),Var("rs1",FTy 5),
19513 (Call
19515 Call
19518 Call
19520 TP[Call("opc",FTy 7,LW(8,8)),LW(3,3),Var("rs1",FTy 5),
19522 (Call
19526 Call
19528 TP[Call("opc",FTy 7,LW(3,8)),LW(0,3),Var("rd",FTy 5),
19530 (Call
19533 Call
19535 TP[Call("opc",FTy 7,LW(3,8)),LW(1,3),Var("rd",FTy 5),
19537 (Call
19539 Call
19543 Call
19545 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19547 (Call
19549 Call
19553 Call
19555 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19557 (Call
19559 Call
19563 Call
19565 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19567 (Call
19569 Call
19573 Call
19575 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19577 (Call
19579 Call
19582 Call
19584 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19586 (Call
19588 Call
19591 Call
19593 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
19595 (Call
19597 Call
19600 Call
19602 TP[Call("opc",FTy 7,LW(20,8)),LW(1,3),Var("rd",FTy 5),
19604 (Call
19606 Call
19609 Call
19611 TP[Call("opc",FTy 7,LW(20,8)),LW(2,3),Var("rd",FTy 5),
19613 (Call
19615 Call
19618 Call
19620 TP[Call("opc",FTy 7,LW(20,8)),LW(1,3),Var("rd",FTy 5),
19622 (Call
19624 Call
19627 Call
19629 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
19631 (Call
19633 Call
19637 Call
19639 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19641 (Call
19643 Call
19647 Call
19649 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19651 (Call
19653 Call
19657 Call
19659 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19661 (Call
19663 Call
19667 Call
19669 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19671 (Call
19673 Call
19676 Call
19678 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19680 (Call
19682 Call
19685 Call
19687 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
19689 (Call
19691 Call
19694 Call
19696 TP[Call("opc",FTy 7,LW(20,8)),LW(1,3),Var("rd",FTy 5),
19698 (Call
19700 Call
19703 Call
19705 TP[Call("opc",FTy 7,LW(20,8)),LW(2,3),Var("rd",FTy 5),
19707 (Call
19709 Call
19712 Call
19714 TP[Call("opc",FTy 7,LW(20,8)),LW(1,3),Var("rd",FTy 5),
19716 (Call
19718 Call
19721 Call
19723 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
19725 (Call
19727 Call
19730 Call
19732 TP[Call("opc",FTy 7,LW(1,8)),LW(2,3),Var("rd",FTy 5),
19734 (Call
19736 Call
19739 Call
19741 TP[Call("opc",FTy 7,LW(1,8)),LW(3,3),Var("rd",FTy 5),
19743 (Call
19745 Call
19748 Call
19750 TP[Call("opc",FTy 7,LW(9,8)),LW(2,3),Var("rs1",FTy 5),
19752 (Call
19754 Call
19757 Call
19759 TP[Call("opc",FTy 7,LW(9,8)),LW(3,3),Var("rs1",FTy 5),
19761 (Call
19763 Call
19767 Call
19769 TP[Call("opc",FTy 7,LW(16,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19771 (Call
19773 Call
19777 Call
19779 TP[Call("opc",FTy 7,LW(17,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19781 (Call
19783 Call
19787 Call
19789 TP[Call("opc",FTy 7,LW(18,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19791 (Call
19793 Call
19797 Call
19799 TP[Call("opc",FTy 7,LW(19,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19801 (Call
19803 Call
19807 Call
19809 TP[Call("opc",FTy 7,LW(16,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19811 (Call
19813 Call
19817 Call
19819 TP[Call("opc",FTy 7,LW(17,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19821 (Call
19823 Call
19827 Call
19829 TP[Call("opc",FTy 7,LW(18,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19831 (Call
19833 Call
19837 Call
19839 TP[Call("opc",FTy 7,LW(19,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19841 (Call
19843 Call
19846 Call
19848 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
19850 (Call
19852 Call
19855 Call
19857 TP[Call("opc",FTy 7,LW(20,8)),LW(1,3),Var("rd",FTy 5),
19859 (Call
19861 Call
19864 Call
19866 TP[Call("opc",FTy 7,LW(20,8)),LW(2,3),Var("rd",FTy 5),
19868 (Call
19870 Call
19873 Call
19875 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19877 (Call
19879 Call
19882 Call
19884 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19886 (Call
19888 Call("FMV_X_S",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
19889 Call
19891 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
19893 (Call
19895 Call("FCLASS_S",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
19896 Call
19898 TP[Call("opc",FTy 7,LW(20,8)),LW(1,3),Var("rd",FTy 5),
19900 (Call
19902 Call
19905 Call
19907 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19909 (Call
19911 Call
19914 Call
19916 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19918 (Call
19920 Call("FMV_S_X",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
19921 Call
19923 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
19925 (Call
19927 Call
19930 Call
19932 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
19934 (Call
19936 Call
19939 Call
19941 TP[Call("opc",FTy 7,LW(20,8)),LW(1,3),Var("rd",FTy 5),
19943 (Call
19945 Call
19948 Call
19950 TP[Call("opc",FTy 7,LW(20,8)),LW(2,3),Var("rd",FTy 5),
19952 (Call
19954 Call
19957 Call
19959 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19961 (Call
19963 Call
19966 Call
19968 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19970 (Call
19972 Call("FCLASS_D",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
19973 Call
19975 TP[Call("opc",FTy 7,LW(20,8)),LW(1,3),Var("rd",FTy 5),
19977 (Call
19979 Call
19982 Call
19984 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19986 (Call
19988 Call
19991 Call
19993 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
19995 (Call
19997 Call
20000 Call
20002 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20004 (Call
20006 Call
20009 Call
20011 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20013 (Call
20015 Call
20018 Call
20020 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20022 (Call
20024 Call
20027 Call
20029 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20031 (Call
20033 Call
20036 Call
20038 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20040 (Call
20042 Call
20045 Call
20047 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20049 (Call
20051 Call
20054 Call
20056 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20058 (Call
20060 Call
20063 Call
20065 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20067 (Call
20069 Call("FMV_X_D",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
20070 Call
20072 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
20074 (Call
20076 Call
20079 Call
20081 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20083 (Call
20085 Call
20088 Call
20090 TP[Call("opc",FTy 7,LW(20,8)),Var("frm",FTy 3),Var("rd",FTy 5),
20092 (Call
20094 Call("FMV_D_X",CTy"FConv",TP[Var("rd",FTy 5),Var("rs",FTy 5)])),
20095 Call
20097 TP[Call("opc",FTy 7,LW(20,8)),LW(0,3),Var("rd",FTy 5),
20099 (Call
20101 Call
20105 Call
20107 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20109 Call("amofunc",FTy 7,TP[LW(2,5),Var("aq",F1),Var("rl",F1)])])),
20110 (Call
20112 Call
20116 Call
20118 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20120 Call("amofunc",FTy 7,TP[LW(2,5),Var("aq",F1),Var("rl",F1)])])),
20121 (Call
20123 Call
20127 Call
20129 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20131 Call("amofunc",FTy 7,TP[LW(3,5),Var("aq",F1),Var("rl",F1)])])),
20132 (Call
20134 Call
20138 Call
20140 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20142 Call("amofunc",FTy 7,TP[LW(2,5),Var("aq",F1),Var("rl",F1)])])),
20143 (Call
20145 Call
20149 Call
20151 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20153 Call("amofunc",FTy 7,TP[LW(1,5),Var("aq",F1),Var("rl",F1)])])),
20154 (Call
20156 Call
20160 Call
20162 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20164 Call("amofunc",FTy 7,TP[LW(0,5),Var("aq",F1),Var("rl",F1)])])),
20165 (Call
20167 Call
20171 Call
20173 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20175 Call("amofunc",FTy 7,TP[LW(4,5),Var("aq",F1),Var("rl",F1)])])),
20176 (Call
20178 Call
20182 Call
20184 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20186 Call("amofunc",FTy 7,TP[LW(12,5),Var("aq",F1),Var("rl",F1)])])),
20187 (Call
20189 Call
20193 Call
20195 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20197 Call("amofunc",FTy 7,TP[LW(8,5),Var("aq",F1),Var("rl",F1)])])),
20198 (Call
20200 Call
20204 Call
20206 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20208 Call("amofunc",FTy 7,TP[LW(16,5),Var("aq",F1),Var("rl",F1)])])),
20209 (Call
20211 Call
20215 Call
20217 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20219 Call("amofunc",FTy 7,TP[LW(20,5),Var("aq",F1),Var("rl",F1)])])),
20220 (Call
20222 Call
20226 Call
20228 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20230 Call("amofunc",FTy 7,TP[LW(24,5),Var("aq",F1),Var("rl",F1)])])),
20231 (Call
20233 Call
20237 Call
20239 TP[Call("opc",FTy 7,LW(11,8)),LW(2,3),Var("rd",FTy 5),
20241 Call("amofunc",FTy 7,TP[LW(28,5),Var("aq",F1),Var("rl",F1)])])),
20242 (Call
20244 Call
20248 Call
20250 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20252 Call("amofunc",FTy 7,TP[LW(1,5),Var("aq",F1),Var("rl",F1)])])),
20253 (Call
20255 Call
20259 Call
20261 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20263 Call("amofunc",FTy 7,TP[LW(0,5),Var("aq",F1),Var("rl",F1)])])),
20264 (Call
20266 Call
20270 Call
20272 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20274 Call("amofunc",FTy 7,TP[LW(4,5),Var("aq",F1),Var("rl",F1)])])),
20275 (Call
20277 Call
20281 Call
20283 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20285 Call("amofunc",FTy 7,TP[LW(12,5),Var("aq",F1),Var("rl",F1)])])),
20286 (Call
20288 Call
20292 Call
20294 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20296 Call("amofunc",FTy 7,TP[LW(8,5),Var("aq",F1),Var("rl",F1)])])),
20297 (Call
20299 Call
20303 Call
20305 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20307 Call("amofunc",FTy 7,TP[LW(16,5),Var("aq",F1),Var("rl",F1)])])),
20308 (Call
20310 Call
20314 Call
20316 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20318 Call("amofunc",FTy 7,TP[LW(20,5),Var("aq",F1),Var("rl",F1)])])),
20319 (Call
20321 Call
20325 Call
20327 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20329 Call("amofunc",FTy 7,TP[LW(24,5),Var("aq",F1),Var("rl",F1)])])),
20330 (Call
20332 Call
20336 Call
20338 TP[Call("opc",FTy 7,LW(11,8)),LW(3,3),Var("rd",FTy 5),
20340 Call("amofunc",FTy 7,TP[LW(28,5),Var("aq",F1),Var("rl",F1)])])),
20341 (Call("System",CTy"instruction",Const("ECALL",CTy"System")),
20342 Call
20344 TP[Call("opc",FTy 7,LW(28,8)),LW(0,3),LW(0,5),LW(0,5),LW(0,12)])),
20345 (Call("System",CTy"instruction",Const("EBREAK",CTy"System")),
20346 Call
20348 TP[Call("opc",FTy 7,LW(28,8)),LW(0,3),LW(0,5),LW(0,5),LW(1,12)])),
20349 (Call("System",CTy"instruction",Const("ERET",CTy"System")),
20350 Call
20352 TP[Call("opc",FTy 7,LW(28,8)),LW(0,3),LW(0,5),LW(0,5),
20354 (Call("System",CTy"instruction",Const("MRTS",CTy"System")),
20355 Call
20357 TP[Call("opc",FTy 7,LW(28,8)),LW(0,3),LW(0,5),LW(0,5),
20359 (Call("System",CTy"instruction",Const("WFI",CTy"System")),
20360 Call
20362 TP[Call("opc",FTy 7,LW(28,8)),LW(0,3),LW(0,5),LW(0,5),
20364 (Call
20366 Call("SFENCE_VM",CTy"System",Var("rs1",FTy 5))),
20367 Call
20369 TP[Call("opc",FTy 7,LW(28,8)),LW(0,3),LW(0,5),Var("rs1",FTy 5),
20371 (Call
20373 Call
20376 Call
20378 TP[Call("opc",FTy 7,LW(28,8)),LW(1,3),Var("rd",FTy 5),
20380 (Call
20382 Call
20385 Call
20387 TP[Call("opc",FTy 7,LW(28,8)),LW(2,3),Var("rd",FTy 5),
20389 (Call
20391 Call
20394 Call
20396 TP[Call("opc",FTy 7,LW(28,8)),LW(3,3),Var("rd",FTy 5),
20398 (Call
20400 Call
20403 Call
20405 TP[Call("opc",FTy 7,LW(28,8)),LW(5,3),Var("rd",FTy 5),
20407 (Call
20409 Call
20412 Call
20414 TP[Call("opc",FTy 7,LW(28,8)),LW(6,3),Var("rd",FTy 5),
20416 (Call
20418 Call
20421 Call
20423 TP[Call("opc",FTy 7,LW(28,8)),LW(7,3),Var("rd",FTy 5),
20426 (Call
20428 Call("FETCH_MISALIGNED",CTy"Internal",AVar F64)),LW(0,32)),
20429 (Call
20431 Call("FETCH_FAULT",CTy"Internal",AVar F64)),LW(0,32))]))
20443 Call("hex64",sTy,Apply(Const("PC",ATy(qTy,F64)),qVar"state")),
20444 LS" : ",Call("hex32",sTy,Var("w",F32)),LS" ",
20445 Call("instructionToString",sTy,Var("inst",CTy"instruction"))]))
20511 (Call
20537 (Call
20552 Let(qVar"s",Apply(Call("clear_logs",ATy(qTy,qTy),LU),qVar"state"),
20557 (Call("Fetch",ATy(qTy,PTy(CTy"FetchResult",qTy)),LU),
20573 (Call
20581 (Call
20593 (Call("checkTimers",ATy(qTy,qTy),LU),
20595 [(Call("F_Result",CTy"FetchResult",Var("w",F32)),
20597 (Call
20599 Call
20602 (Call
20606 (Call
20614 (Call("tickClock",ATy(qTy,qTy),LU),
20623 (Call
20641 (Call("incrInstret",ATy(qTy,qTy),LU),
20647 (Call
20658 (Call("incrInstret",ATy(qTy,qTy),LU),
20664 (Call
20667 Call
20674 Call
20680 (Call
20683 (Call
20687 (Call("incrInstret",ATy(qTy,qTy),LU),
20695 (Call("curEPC",ATy(qTy,PTy(F64,qTy)),LU),
20697 (Call
20701 (Call
20707 (Call
20716 (Call
20721 Call
20735 Call
20743 (Call
20750 (Call
20753 Call
20770 (Call
20774 (Call
20783 (Call
20799 (Call
20809 Call
20819 (Call
20836 (Call
20853 (Call
20870 (Call
20890 (Call
20910 (Call
20933 (Call
20943 Call
20953 (Call
20963 Call
20973 (Call
20990 (Call
21000 Call
21011 (Call
21023 Call
21035 (Call
21056 (Call
21071 (Call
21086 (Call
21089 (Call("write'PC",ATy(qTy,qTy),Mop(Cast F64,nVar"pc")),
21099 (Call
21113 (Call