Lines Matching refs:instruction
328 [("instruction",
340 [("F_Error",[CTy"instruction"]),("F_Result",[CTy"rawInstType"])])]
10756 ("Run",Var("v0",CTy"instruction"),
10759 CS(Var("v0",CTy"instruction"),
10760 [(Const("UnknownInstruction",CTy"instruction"),
10763 ("FENCE",CTy"instruction",
10766 ("FENCE_I",CTy"instruction",
10768 (Call("AMO",CTy"instruction",Var("v1",CTy"AMO")),
10958 (Call("ArithI",CTy"instruction",Var("v24",CTy"ArithI")),
11019 (Call("ArithR",CTy"instruction",Var("v34",CTy"ArithR")),
11083 (Call("Branch",CTy"instruction",Var("v44",CTy"Branch")),
11139 (Call("FArith",CTy"instruction",Var("v53",CTy"FArith")),
11369 (Call("FConv",CTy"instruction",Var("v82",CTy"FConv")),
11569 (Call("FPLoad",CTy"instruction",Var("v113",CTy"FPLoad")),
11587 (Call("FPStore",CTy"instruction",Var("v116",CTy"FPStore")),
11605 (Call("Internal",CTy"instruction",Var("v119",CTy"Internal")),
11616 (Call("Load",CTy"instruction",Var("v122",CTy"Load")),
11670 (Call("MulDiv",CTy"instruction",Var("v130",CTy"MulDiv")),
11763 (Call("Shift",CTy"instruction",Var("v144",CTy"Shift")),
11849 (Call("Store",CTy"instruction",Var("v157",CTy"Store")),
11883 (Call("System",CTy"instruction",Var("v162",CTy"System")),
11956 ("Internal",CTy"instruction",
12152 ("Internal",CTy"instruction",
12190 ("Branch",CTy"instruction",
12218 ("Branch",CTy"instruction",
12246 ("Branch",CTy"instruction",
12274 ("Branch",CTy"instruction",
12302 ("Branch",CTy"instruction",
12330 ("Branch",CTy"instruction",
12358 ("Branch",CTy"instruction",
12376 ("Branch",CTy"instruction",
12404 ("FArith",CTy"instruction",
12428 ("FArith",CTy"instruction",
12452 ("FArith",CTy"instruction",
12475 ("FArith",CTy"instruction",
12509 ("FArith",CTy"instruction",
12540 ("FArith",CTy"instruction",
12571 ("FArith",CTy"instruction",
12602 ("FArith",CTy"instruction",
12649 ("FArith",CTy"instruction",
12687 ("FArith",CTy"instruction",
12725 ("FArith",CTy"instruction",
12762 ("FArith",CTy"instruction",
12800 ("FArith",CTy"instruction",
12839 ("FArith",CTy"instruction",
12878 ("FConv",CTy"instruction",
12916 ("FConv",CTy"instruction",
12953 ("FConv",CTy"instruction",
12998 ("FConv",CTy"instruction",
13041 ("FConv",CTy"instruction",
13094 ("FConv",CTy"instruction",
13144 ("FConv",CTy"instruction",
13186 ("FConv",CTy"instruction",
13229 ("FConv",CTy"instruction",
13282 ("FConv",CTy"instruction",
13298 ("FArith",CTy"instruction",
13322 ("FArith",CTy"instruction",
13346 ("FArith",CTy"instruction",
13369 ("FArith",CTy"instruction",
13402 ("FArith",CTy"instruction",
13432 ("FArith",CTy"instruction",
13462 ("FArith",CTy"instruction",
13492 ("FArith",CTy"instruction",
13538 ("FArith",CTy"instruction",
13575 ("FArith",CTy"instruction",
13612 ("FArith",CTy"instruction",
13648 ("FArith",CTy"instruction",
13685 ("FArith",CTy"instruction",
13723 ("FArith",CTy"instruction",
13761 ("FConv",CTy"instruction",
13798 ("FConv",CTy"instruction",
13834 ("FConv",CTy"instruction",
13878 ("FConv",CTy"instruction",
13920 ("FConv",CTy"instruction",
13971 ("FConv",CTy"instruction",
14012 ("FConv",CTy"instruction",
14054 ("FConv",CTy"instruction",
14097 ("FConv",CTy"instruction",
14139 ("FConv",CTy"instruction",
14182 ("FConv",CTy"instruction",
14224 ("FConv",CTy"instruction",
14266 ("FConv",CTy"instruction",
14307 ("FConv",CTy"instruction",
14349 ("FConv",CTy"instruction",
14390 ("FConv",CTy"instruction",
14442 ("FConv",CTy"instruction",
14492 ("FConv",CTy"instruction",
14533 ("FConv",CTy"instruction",
14576 ("FConv",CTy"instruction",
14595 ("System",CTy"instruction",
14617 ("System",CTy"instruction",
14639 ("System",CTy"instruction",
14661 ("System",CTy"instruction",
14683 ("System",CTy"instruction",
14705 ("System",CTy"instruction",
14790 ("System",CTy"instruction",
14862 ("System",CTy"instruction",
14935 ("System",CTy"instruction",
15006 ("System",CTy"instruction",
15078 ("System",CTy"instruction",
15135 ("System",CTy"instruction",
15141 Const("UnknownInstruction",CTy"instruction")),
15142 Const("UnknownInstruction",CTy"instruction"))),
15148 ("ArithI",CTy"instruction",
15166 ("ArithI",CTy"instruction",
15188 ("ArithI",CTy"instruction",
15223 ("Shift",CTy"instruction",
15243 ("ArithI",CTy"instruction",
15265 ("ArithI",CTy"instruction",
15287 ("ArithI",CTy"instruction",
15322 ("Shift",CTy"instruction",
15355 ("Shift",CTy"instruction",
15375 ("ArithI",CTy"instruction",
15397 ("ArithI",CTy"instruction",
15435 ("ArithR",CTy"instruction",
15471 ("ArithR",CTy"instruction",
15505 ("Shift",CTy"instruction",
15540 ("ArithR",CTy"instruction",
15573 ("ArithR",CTy"instruction",
15608 ("ArithR",CTy"instruction",
15641 ("Shift",CTy"instruction",
15674 ("Shift",CTy"instruction",
15708 ("ArithR",CTy"instruction",
15740 ("ArithR",CTy"instruction",
15760 ("ArithI",CTy"instruction",
15796 ("Shift",CTy"instruction",
15829 ("Shift",CTy"instruction",
15862 ("Shift",CTy"instruction",
15897 ("ArithR",CTy"instruction",
15932 ("ArithR",CTy"instruction",
15965 ("Shift",CTy"instruction",
15997 ("Shift",CTy"instruction",
16029 ("Shift",CTy"instruction",
16065 ("MulDiv",CTy"instruction",
16099 ("MulDiv",CTy"instruction",
16134 ("MulDiv",CTy"instruction",
16167 ("MulDiv",CTy"instruction",
16202 ("MulDiv",CTy"instruction",
16235 ("MulDiv",CTy"instruction",
16269 ("MulDiv",CTy"instruction",
16301 ("MulDiv",CTy"instruction",
16336 ("MulDiv",CTy"instruction",
16370 ("MulDiv",CTy"instruction",
16402 ("MulDiv",CTy"instruction",
16435 ("MulDiv",CTy"instruction",
16466 ("MulDiv",CTy"instruction",
16486 ("Load",CTy"instruction",
16508 ("Load",CTy"instruction",
16530 ("Load",CTy"instruction",
16552 ("Load",CTy"instruction",
16574 ("Load",CTy"instruction",
16596 ("Load",CTy"instruction",
16618 ("Load",CTy"instruction",
16640 ("Store",CTy"instruction",
16666 ("Store",CTy"instruction",
16692 ("Store",CTy"instruction",
16718 ("Store",CTy"instruction",
16743 ("FENCE",CTy"instruction",
16763 ("FENCE_I",CTy"instruction",
16783 ("FPLoad",CTy"instruction",
16805 ("FPLoad",CTy"instruction",
16827 ("FPStore",CTy"instruction",
16853 ("FPStore",CTy"instruction",
16902 ("AMO",CTy"instruction",
16943 ("AMO",CTy"instruction",
16971 ("AMO",CTy"instruction",
17001 ("AMO",CTy"instruction",
17032 ("AMO",CTy"instruction",
17063 ("AMO",CTy"instruction",
17094 ("AMO",CTy"instruction",
17125 ("AMO",CTy"instruction",
17156 ("AMO",CTy"instruction",
17187 ("AMO",CTy"instruction",
17218 ("AMO",CTy"instruction",
17249 ("AMO",CTy"instruction",
17280 ("AMO",CTy"instruction",
17310 ("AMO",CTy"instruction",
17340 ("AMO",CTy"instruction",
17370 ("AMO",CTy"instruction",
17400 ("AMO",CTy"instruction",
17430 ("AMO",CTy"instruction",
17460 ("AMO",CTy"instruction",
17490 ("AMO",CTy"instruction",
17520 ("AMO",CTy"instruction",
17550 ("AMO",CTy"instruction",
17564 Const("UnknownInstruction",CTy"instruction")))],
17565 Const("UnknownInstruction",CTy"instruction"))))
17697 ("instructionToString",Var("i",CTy"instruction"),
17698 CS(Var("i",CTy"instruction"),
17700 ("Branch",CTy"instruction",
17708 ("Branch",CTy"instruction",
17716 ("Branch",CTy"instruction",
17724 ("Branch",CTy"instruction",
17732 ("Branch",CTy"instruction",
17740 ("Branch",CTy"instruction",
17748 ("Branch",CTy"instruction",
17756 ("Branch",CTy"instruction",
17760 ("ArithI",CTy"instruction",
17764 ("ArithI",CTy"instruction",
17768 ("ArithI",CTy"instruction",
17776 ("Shift",CTy"instruction",
17784 ("ArithI",CTy"instruction",
17792 ("ArithI",CTy"instruction",
17800 ("ArithI",CTy"instruction",
17808 ("Shift",CTy"instruction",
17816 ("Shift",CTy"instruction",
17824 ("ArithI",CTy"instruction",
17832 ("ArithI",CTy"instruction",
17840 ("ArithR",CTy"instruction",
17848 ("ArithR",CTy"instruction",
17856 ("Shift",CTy"instruction",
17864 ("ArithR",CTy"instruction",
17872 ("ArithR",CTy"instruction",
17880 ("ArithR",CTy"instruction",
17888 ("Shift",CTy"instruction",
17896 ("Shift",CTy"instruction",
17904 ("ArithR",CTy"instruction",
17912 ("ArithR",CTy"instruction",
17920 ("ArithI",CTy"instruction",
17928 ("Shift",CTy"instruction",
17936 ("Shift",CTy"instruction",
17944 ("Shift",CTy"instruction",
17952 ("ArithR",CTy"instruction",
17960 ("ArithR",CTy"instruction",
17968 ("Shift",CTy"instruction",
17976 ("Shift",CTy"instruction",
17984 ("Shift",CTy"instruction",
17992 ("MulDiv",CTy"instruction",
18000 ("MulDiv",CTy"instruction",
18008 ("MulDiv",CTy"instruction",
18016 ("MulDiv",CTy"instruction",
18024 ("MulDiv",CTy"instruction",
18032 ("MulDiv",CTy"instruction",
18040 ("MulDiv",CTy"instruction",
18048 ("MulDiv",CTy"instruction",
18056 ("MulDiv",CTy"instruction",
18064 ("MulDiv",CTy"instruction",
18072 ("MulDiv",CTy"instruction",
18080 ("MulDiv",CTy"instruction",
18088 ("MulDiv",CTy"instruction",
18096 ("Load",CTy"instruction",
18104 ("Load",CTy"instruction",
18112 ("Load",CTy"instruction",
18120 ("Load",CTy"instruction",
18128 ("Load",CTy"instruction",
18136 ("Load",CTy"instruction",
18144 ("Load",CTy"instruction",
18152 ("Store",CTy"instruction",
18160 ("Store",CTy"instruction",
18168 ("Store",CTy"instruction",
18176 ("Store",CTy"instruction",
18184 ("FENCE",CTy"instruction",
18188 ("FENCE_I",CTy"instruction",
18192 ("FArith",CTy"instruction",
18201 ("FArith",CTy"instruction",
18210 ("FArith",CTy"instruction",
18219 ("FArith",CTy"instruction",
18228 ("FArith",CTy"instruction",
18235 ("FArith",CTy"instruction",
18243 ("FArith",CTy"instruction",
18251 ("FArith",CTy"instruction",
18259 ("FArith",CTy"instruction",
18267 ("FArith",CTy"instruction",
18275 ("FArith",CTy"instruction",
18285 ("FArith",CTy"instruction",
18295 ("FArith",CTy"instruction",
18305 ("FArith",CTy"instruction",
18315 ("FArith",CTy"instruction",
18324 ("FArith",CTy"instruction",
18333 ("FArith",CTy"instruction",
18342 ("FArith",CTy"instruction",
18351 ("FArith",CTy"instruction",
18358 ("FArith",CTy"instruction",
18366 ("FArith",CTy"instruction",
18374 ("FArith",CTy"instruction",
18382 ("FArith",CTy"instruction",
18390 ("FArith",CTy"instruction",
18398 ("FArith",CTy"instruction",
18408 ("FArith",CTy"instruction",
18418 ("FArith",CTy"instruction",
18428 ("FArith",CTy"instruction",
18438 ("FConv",CTy"instruction",
18447 ("FConv",CTy"instruction",
18456 ("FConv",CTy"instruction",
18465 ("FConv",CTy"instruction",
18472 ("FConv",CTy"instruction",
18480 ("FConv",CTy"instruction",
18485 ("FConv",CTy"instruction",
18490 ("FConv",CTy"instruction",
18497 ("FConv",CTy"instruction",
18505 ("FConv",CTy"instruction",
18510 ("FConv",CTy"instruction",
18519 ("FConv",CTy"instruction",
18528 ("FConv",CTy"instruction",
18537 ("FConv",CTy"instruction",
18544 ("FConv",CTy"instruction",
18552 ("FConv",CTy"instruction",
18557 ("FConv",CTy"instruction",
18564 ("FConv",CTy"instruction",
18572 ("FConv",CTy"instruction",
18579 ("FConv",CTy"instruction",
18587 ("FConv",CTy"instruction",
18594 ("FConv",CTy"instruction",
18602 ("FConv",CTy"instruction",
18609 ("FConv",CTy"instruction",
18617 ("FConv",CTy"instruction",
18622 ("FConv",CTy"instruction",
18629 ("FConv",CTy"instruction",
18637 ("FConv",CTy"instruction",
18642 ("FConv",CTy"instruction",
18649 ("FConv",CTy"instruction",
18656 ("FPLoad",CTy"instruction",
18664 ("FPLoad",CTy"instruction",
18672 ("FPStore",CTy"instruction",
18680 ("FPStore",CTy"instruction",
18688 ("AMO",CTy"instruction",
18698 ("AMO",CTy"instruction",
18708 ("AMO",CTy"instruction",
18718 ("AMO",CTy"instruction",
18728 ("AMO",CTy"instruction",
18738 ("AMO",CTy"instruction",
18748 ("AMO",CTy"instruction",
18758 ("AMO",CTy"instruction",
18768 ("AMO",CTy"instruction",
18778 ("AMO",CTy"instruction",
18788 ("AMO",CTy"instruction",
18798 ("AMO",CTy"instruction",
18808 ("AMO",CTy"instruction",
18818 ("AMO",CTy"instruction",
18828 ("AMO",CTy"instruction",
18838 ("AMO",CTy"instruction",
18848 ("AMO",CTy"instruction",
18858 ("AMO",CTy"instruction",
18868 ("AMO",CTy"instruction",
18878 ("AMO",CTy"instruction",
18888 ("AMO",CTy"instruction",
18898 ("AMO",CTy"instruction",
18907 (Call("System",CTy"instruction",Const("ECALL",CTy"System")),
18909 (Call("System",CTy"instruction",Const("EBREAK",CTy"System")),
18911 (Call("System",CTy"instruction",Const("ERET",CTy"System")),
18913 (Call("System",CTy"instruction",Const("MRTS",CTy"System")),
18915 (Call("System",CTy"instruction",Const("WFI",CTy"System")),
18918 ("System",CTy"instruction",
18926 ("System",CTy"instruction",
18934 ("System",CTy"instruction",
18942 ("System",CTy"instruction",
18951 ("System",CTy"instruction",
18960 ("System",CTy"instruction",
18969 ("System",CTy"instruction",
18972 (Const("UnknownInstruction",CTy"instruction"),
18975 ("Internal",CTy"instruction",
18979 ("Internal",CTy"instruction",
19040 ("Encode",Var("i",CTy"instruction"),
19041 CS(Var("i",CTy"instruction"),
19043 ("Branch",CTy"instruction",
19052 ("Branch",CTy"instruction",
19061 ("Branch",CTy"instruction",
19070 ("Branch",CTy"instruction",
19079 ("Branch",CTy"instruction",
19088 ("Branch",CTy"instruction",
19097 ("Branch",CTy"instruction",
19106 ("Branch",CTy"instruction",
19112 ("ArithI",CTy"instruction",
19118 ("ArithI",CTy"instruction",
19124 ("ArithI",CTy"instruction",
19133 ("Shift",CTy"instruction",
19142 ("ArithI",CTy"instruction",
19151 ("ArithI",CTy"instruction",
19160 ("ArithI",CTy"instruction",
19169 ("Shift",CTy"instruction",
19178 ("Shift",CTy"instruction",
19187 ("ArithI",CTy"instruction",
19196 ("ArithI",CTy"instruction",
19205 ("ArithR",CTy"instruction",
19214 ("ArithR",CTy"instruction",
19223 ("Shift",CTy"instruction",
19232 ("ArithR",CTy"instruction",
19241 ("ArithR",CTy"instruction",
19250 ("ArithR",CTy"instruction",
19259 ("Shift",CTy"instruction",
19268 ("Shift",CTy"instruction",
19277 ("ArithR",CTy"instruction",
19286 ("ArithR",CTy"instruction",
19295 ("ArithI",CTy"instruction",
19304 ("Shift",CTy"instruction",
19313 ("Shift",CTy"instruction",
19322 ("Shift",CTy"instruction",
19331 ("ArithR",CTy"instruction",
19340 ("ArithR",CTy"instruction",
19349 ("Shift",CTy"instruction",
19358 ("Shift",CTy"instruction",
19367 ("Shift",CTy"instruction",
19376 ("MulDiv",CTy"instruction",
19385 ("MulDiv",CTy"instruction",
19394 ("MulDiv",CTy"instruction",
19403 ("MulDiv",CTy"instruction",
19412 ("MulDiv",CTy"instruction",
19421 ("MulDiv",CTy"instruction",
19430 ("MulDiv",CTy"instruction",
19439 ("MulDiv",CTy"instruction",
19448 ("MulDiv",CTy"instruction",
19457 ("MulDiv",CTy"instruction",
19466 ("MulDiv",CTy"instruction",
19475 ("MulDiv",CTy"instruction",
19484 ("MulDiv",CTy"instruction",
19493 ("Load",CTy"instruction",
19502 ("Load",CTy"instruction",
19511 ("Load",CTy"instruction",
19520 ("Load",CTy"instruction",
19529 ("Load",CTy"instruction",
19538 ("Load",CTy"instruction",
19547 ("Load",CTy"instruction",
19556 ("Store",CTy"instruction",
19565 ("Store",CTy"instruction",
19574 ("Store",CTy"instruction",
19583 ("Store",CTy"instruction",
19592 ("FENCE",CTy"instruction",
19600 ("FENCE_I",CTy"instruction",
19607 ("FArith",CTy"instruction",
19617 ("FArith",CTy"instruction",
19627 ("FArith",CTy"instruction",
19637 ("FArith",CTy"instruction",
19647 ("FArith",CTy"instruction",
19656 ("FArith",CTy"instruction",
19665 ("FArith",CTy"instruction",
19674 ("FArith",CTy"instruction",
19683 ("FArith",CTy"instruction",
19692 ("FArith",CTy"instruction",
19701 ("FArith",CTy"instruction",
19711 ("FArith",CTy"instruction",
19721 ("FArith",CTy"instruction",
19731 ("FArith",CTy"instruction",
19741 ("FArith",CTy"instruction",
19750 ("FArith",CTy"instruction",
19759 ("FArith",CTy"instruction",
19768 ("FArith",CTy"instruction",
19777 ("FArith",CTy"instruction",
19786 ("FArith",CTy"instruction",
19795 ("FPLoad",CTy"instruction",
19804 ("FPLoad",CTy"instruction",
19813 ("FPStore",CTy"instruction",
19822 ("FPStore",CTy"instruction",
19831 ("FArith",CTy"instruction",
19841 ("FArith",CTy"instruction",
19851 ("FArith",CTy"instruction",
19861 ("FArith",CTy"instruction",
19871 ("FArith",CTy"instruction",
19881 ("FArith",CTy"instruction",
19891 ("FArith",CTy"instruction",
19901 ("FArith",CTy"instruction",
19911 ("FConv",CTy"instruction",
19920 ("FConv",CTy"instruction",
19929 ("FConv",CTy"instruction",
19938 ("FConv",CTy"instruction",
19947 ("FConv",CTy"instruction",
19956 ("FConv",CTy"instruction",
19963 ("FConv",CTy"instruction",
19970 ("FConv",CTy"instruction",
19979 ("FConv",CTy"instruction",
19988 ("FConv",CTy"instruction",
19995 ("FConv",CTy"instruction",
20004 ("FConv",CTy"instruction",
20013 ("FConv",CTy"instruction",
20022 ("FConv",CTy"instruction",
20031 ("FConv",CTy"instruction",
20040 ("FConv",CTy"instruction",
20047 ("FConv",CTy"instruction",
20056 ("FConv",CTy"instruction",
20065 ("FConv",CTy"instruction",
20074 ("FConv",CTy"instruction",
20083 ("FConv",CTy"instruction",
20092 ("FConv",CTy"instruction",
20101 ("FConv",CTy"instruction",
20110 ("FConv",CTy"instruction",
20119 ("FConv",CTy"instruction",
20128 ("FConv",CTy"instruction",
20137 ("FConv",CTy"instruction",
20144 ("FConv",CTy"instruction",
20153 ("FConv",CTy"instruction",
20162 ("FConv",CTy"instruction",
20169 ("AMO",CTy"instruction",
20180 ("AMO",CTy"instruction",
20191 ("AMO",CTy"instruction",
20202 ("AMO",CTy"instruction",
20213 ("AMO",CTy"instruction",
20224 ("AMO",CTy"instruction",
20235 ("AMO",CTy"instruction",
20246 ("AMO",CTy"instruction",
20257 ("AMO",CTy"instruction",
20268 ("AMO",CTy"instruction",
20279 ("AMO",CTy"instruction",
20290 ("AMO",CTy"instruction",
20301 ("AMO",CTy"instruction",
20312 ("AMO",CTy"instruction",
20323 ("AMO",CTy"instruction",
20334 ("AMO",CTy"instruction",
20345 ("AMO",CTy"instruction",
20356 ("AMO",CTy"instruction",
20367 ("AMO",CTy"instruction",
20378 ("AMO",CTy"instruction",
20389 ("AMO",CTy"instruction",
20400 ("AMO",CTy"instruction",
20410 (Call("System",CTy"instruction",Const("ECALL",CTy"System")),
20414 (Call("System",CTy"instruction",Const("EBREAK",CTy"System")),
20418 (Call("System",CTy"instruction",Const("ERET",CTy"System")),
20423 (Call("System",CTy"instruction",Const("MRTS",CTy"System")),
20428 (Call("System",CTy"instruction",Const("WFI",CTy"System")),
20434 ("System",CTy"instruction",
20441 ("System",CTy"instruction",
20450 ("System",CTy"instruction",
20459 ("System",CTy"instruction",
20468 ("System",CTy"instruction",
20477 ("System",CTy"instruction",
20486 ("System",CTy"instruction",
20494 (Const("UnknownInstruction",CTy"instruction"),LW(0,32)),
20496 ("Internal",CTy"instruction",
20499 ("Internal",CTy"instruction",
20519 ("Shift",CTy"instruction",
20537 ("Shift",CTy"instruction",
20555 ("ArithI",CTy"instruction",
20579 ("ArithR",CTy"instruction",
20600 ("ArithR",CTy"instruction",
20620 ("ArithR",CTy"instruction",
20640 ("ArithR",CTy"instruction",
20661 ("ArithR",CTy"instruction",
20682 ("ArithR",CTy"instruction",
20693 ("Branch",CTy"instruction",
20711 ("Branch",CTy"instruction",
20729 ("Branch",CTy"instruction",
20745 Const("UnknownInstruction",CTy"instruction")),
20746 Const("UnknownInstruction",CTy"instruction"))),
20750 ("Store",CTy"instruction",
20766 ("Store",CTy"instruction",
20783 ("Store",CTy"instruction",
20798 ("Store",CTy"instruction",
20811 Const("UnknownInstruction",CTy"instruction"))),
20814 ("FPStore",CTy"instruction",
20848 Const("UnknownInstruction",CTy"instruction")),
20858 ("Branch",CTy"instruction",
20868 ("ArithR",CTy"instruction",
20898 ("System",CTy"instruction",
20909 ("Branch",CTy"instruction",
20923 ("ArithR",CTy"instruction",
20932 ("FPStore",CTy"instruction",
20945 Const("UnknownInstruction",CTy"instruction"))),
20955 ("ArithI",CTy"instruction",
20988 Const("UnknownInstruction",CTy"instruction")),
20996 ("ArithI",CTy"instruction",
21016 Const("UnknownInstruction",CTy"instruction")),
21019 ("ArithI",CTy"instruction",
21031 Const("UnknownInstruction",CTy"instruction")),
21032 Const("UnknownInstruction",CTy"instruction"))),
21035 ("FPLoad",CTy"instruction",
21051 ("Load",CTy"instruction",
21067 ("FPLoad",CTy"instruction",
21086 Const("UnknownInstruction",CTy"instruction")),
21089 ("Load",CTy"instruction",
21101 Const("UnknownInstruction",CTy"instruction"))),
21105 ("Load",CTy"instruction",
21120 ("ArithI",CTy"instruction",
21137 Const("UnknownInstruction",CTy"instruction")),
21140 ("Load",CTy"instruction",
21152 Const("UnknownInstruction",CTy"instruction"))),
21163 Const("UnknownInstruction",CTy"instruction")),
21166 ("ArithI",CTy"instruction",
21196 ("ArithI",CTy"instruction",
21204 ("ArithI",CTy"instruction",
21218 ("Shift",CTy"instruction",
21226 Const("UnknownInstruction",CTy"instruction"))))
21237 ("EncodeRVC",Var("i",CTy"instruction"),
21238 CS(Var("i",CTy"instruction"),
21239 [(Call("Branch",CTy"instruction",Var("v#0",CTy"Branch")),
21287 Call("Encode",F32,Var("i",CTy"instruction"))))])),
21291 Call("Encode",F32,Var("i",CTy"instruction"))))])),
21292 (AVar(CTy"instruction"),
21293 Call("Full",CTy"rvc",Call("Encode",F32,Var("i",CTy"instruction"))))]))
21296 ("log_instruction",TP[Var("w",F32),Var("inst",CTy"instruction")],
21307 Call("instructionToString",sTy,Var("inst",CTy"instruction"))]))
21464 ("DecodeRVC",CTy"instruction",
21473 ("Decode",CTy"instruction",Var("w",F32))),
21477 Var("inst",CTy"instruction")),
21481 Var("inst",CTy"instruction")),qVar"s"))])),