Lines Matching refs:instruction

283   [("instruction",
7477 LS"Unpredictable instruction")),qVar"state")))
7480 ("Run",Var("v0",CTy"instruction"),
7483 CS(Var("v0",CTy"instruction"),
7484 [(Const("BREAK",CTy"instruction"),
7486 (Const("ERET",CTy"instruction"),
7488 (Const("ReservedInstruction",CTy"instruction"),
7491 (Const("SYSCALL",CTy"instruction"),
7493 (Const("TLBP",CTy"instruction"),
7495 (Const("TLBR",CTy"instruction"),
7497 (Const("TLBWI",CTy"instruction"),
7499 (Const("TLBWR",CTy"instruction"),
7501 (Const("Unpredictable",CTy"instruction"),
7503 (Const("WAIT",CTy"instruction"),qVar"state"),
7505 ("CACHE",CTy"instruction",
7511 (Call("RDHWR",CTy"instruction",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")),
7578 (Call("ArithR",CTy"instruction",Var("v12",CTy"ArithR")),
7691 (Call("Branch",CTy"instruction",Var("v29",CTy"Branch")),
7790 (Call("COP1",CTy"instruction",Var("v50",CTy"COP1")),
8238 (Call("CP",CTy"instruction",Var("v127",CTy"CP")),
8264 (Call("Load",CTy"instruction",Var("v132",CTy"Load")),
8339 (Call("MultDiv",CTy"instruction",Var("v146",CTy"MultDiv")),
8424 (Call("Shift",CTy"instruction",Var("v164",CTy"Shift")),
8531 (Call("Store",CTy"instruction",Var("v180",CTy"Store")),
8593 (Call("Trap",CTy"instruction",Var("v191",CTy"Trap")),
8659 ("COP1",CTy"instruction",
9842 ("COP1",CTy"instruction",
9850 ("COP1",CTy"instruction",
9858 ("COP1",CTy"instruction",
9866 ("COP1",CTy"instruction",
9878 ("COP1",CTy"instruction",
9886 ("COP1",CTy"instruction",
9892 Const("ReservedInstruction",CTy"instruction")),
9893 Const("ReservedInstruction",CTy"instruction"))))
9898 ("COP1",CTy"instruction",
10062 ("Load",CTy"instruction",
10089 ("Store",CTy"instruction",
10117 ("LDC1Decode",CTy"instruction",
10138 ("SDC1Decode",CTy"instruction",
10158 CTy"instruction"))),
10162 ("Load",CTy"instruction",
10184 ("Load",CTy"instruction",
10206 ("Store",CTy"instruction",
10228 ("CACHE",CTy"instruction",
10245 Const("ReservedInstruction",CTy"instruction"))),
10256 ("Branch",CTy"instruction",
10279 ("ArithI",CTy"instruction",
10302 ("Branch",CTy"instruction",
10319 ("Branch",CTy"instruction",
10338 ("ArithI",CTy"instruction",
10358 ("Branch",CTy"instruction",
10413 ("RDHWR",CTy"instruction",
10420 Const("ReservedInstruction",CTy"instruction"))),
10426 ("ArithI",CTy"instruction",
10445 ("ArithI",CTy"instruction",
10464 ("ArithI",CTy"instruction",
10483 ("Load",CTy"instruction",
10503 ("Store",CTy"instruction",
10522 ("Store",CTy"instruction",
10541 ("SWC1Decode",CTy"instruction",
10555 Const("ReservedInstruction",CTy"instruction"))),
10565 ("Branch",CTy"instruction",
10586 ("Branch",CTy"instruction",
10607 ("Branch",CTy"instruction",
10627 ("Branch",CTy"instruction",
10648 ("Trap",CTy"instruction",
10669 ("Trap",CTy"instruction",
10690 ("Trap",CTy"instruction",
10710 ("Trap",CTy"instruction",
10731 ("Trap",CTy"instruction",
10752 ("Trap",CTy"instruction",
10778 Const("Unpredictable",CTy"instruction")),
10788 ("Branch",CTy"instruction",
10809 ("Branch",CTy"instruction",
10830 ("Branch",CTy"instruction",
10850 ("Branch",CTy"instruction",
10865 ("Branch",CTy"instruction",
10880 ("Load",CTy"instruction",
10898 ("Load",CTy"instruction",
10916 ("COP1Decode",CTy"instruction",
10928 ("COP3Decode",CTy"instruction",
10940 ("LWC1Decode",CTy"instruction",
10953 Const("ReservedInstruction",CTy"instruction"))),
11000 ("MultDiv",CTy"instruction",
11052 ("MultDiv",CTy"instruction",
11104 ("MultDiv",CTy"instruction",
11155 ("MultDiv",CTy"instruction",
11191 ("MultDiv",CTy"instruction",
11207 ("ArithI",CTy"instruction",
11226 ("Load",CTy"instruction",
11246 ("Store",CTy"instruction",
11265 ("Store",CTy"instruction",
11281 Const("ReservedInstruction",CTy"instruction"))),
11351 Const("TLBR",CTy"instruction")),
11421 Const("TLBWI",CTy"instruction")),
11490 Const("TLBWR",CTy"instruction")),
11560 Const("TLBP",CTy"instruction")),
11629 Const("ERET",CTy"instruction")),
11662 ("CP",CTy"instruction",
11704 ("CP",CTy"instruction",
11747 ("CP",CTy"instruction",
11789 ("CP",CTy"instruction",
11809 ("Branch",CTy"instruction",
11824 ("Branch",CTy"instruction",
11842 ("Load",CTy"instruction",
11860 ("Load",CTy"instruction",
11944 Const("WAIT",CTy"instruction"))],
11945 Const("ReservedInstruction",CTy"instruction"))),
11950 ("Store",CTy"instruction",
11968 ("Store",CTy"instruction",
11986 ("Store",CTy"instruction",
12004 ("Store",CTy"instruction",
12020 Const("ReservedInstruction",CTy"instruction"))),
12023 ("Load",CTy"instruction",
12040 ("Load",CTy"instruction",
12057 ("Load",CTy"instruction",
12074 ("Load",CTy"instruction",
12089 Const("ReservedInstruction",CTy"instruction"))),
12093 ("ArithI",CTy"instruction",
12110 ("ArithI",CTy"instruction",
12127 ("ArithI",CTy"instruction",
12144 ("ArithI",CTy"instruction",
12159 Const("ReservedInstruction",CTy"instruction"))),
12178 ("MOVCIDecode",CTy"instruction",
12207 ("Shift",CTy"instruction",
12237 ("Shift",CTy"instruction",
12266 ("Shift",CTy"instruction",
12296 ("Shift",CTy"instruction",
12325 ("Shift",CTy"instruction",
12353 ("Shift",CTy"instruction",
12399 ("Branch",CTy"instruction",
12422 ("Branch",CTy"instruction",
12448 ("ArithR",CTy"instruction",
12476 ("ArithR",CTy"instruction",
12504 Const("SYSCALL",CTy"instruction")),
12520 Const("BREAK",CTy"instruction")),
12567 ("SYNC",CTy"instruction",
12619 ("MultDiv",CTy"instruction",
12673 ("MultDiv",CTy"instruction",
12727 ("MultDiv",CTy"instruction",
12780 ("MultDiv",CTy"instruction",
12804 ("Shift",CTy"instruction",
12833 ("Shift",CTy"instruction",
12861 ("Shift",CTy"instruction",
12905 ("MultDiv",CTy"instruction",
12945 ("MultDiv",CTy"instruction",
12985 ("MultDiv",CTy"instruction",
13024 ("MultDiv",CTy"instruction",
13064 ("MultDiv",CTy"instruction",
13103 ("MultDiv",CTy"instruction",
13142 ("MultDiv",CTy"instruction",
13180 ("MultDiv",CTy"instruction",
13208 ("ArithR",CTy"instruction",
13238 ("ArithR",CTy"instruction",
13268 ("ArithR",CTy"instruction",
13297 ("ArithR",CTy"instruction",
13327 ("ArithR",CTy"instruction",
13356 ("ArithR",CTy"instruction",
13385 ("ArithR",CTy"instruction",
13413 ("ArithR",CTy"instruction",
13442 ("ArithR",CTy"instruction",
13470 ("ArithR",CTy"instruction",
13499 ("ArithR",CTy"instruction",
13527 ("ArithR",CTy"instruction",
13555 ("ArithR",CTy"instruction",
13582 ("ArithR",CTy"instruction",
13603 ("Trap",CTy"instruction",
13620 ("Trap",CTy"instruction",
13637 ("Trap",CTy"instruction",
13654 ("Trap",CTy"instruction",
13672 ("Trap",CTy"instruction",
13689 ("Trap",CTy"instruction",
13716 ("Shift",CTy"instruction",
13745 ("Shift",CTy"instruction",
13773 ("Shift",CTy"instruction",
13802 ("Shift",CTy"instruction",
13830 ("Shift",CTy"instruction",
13857 ("Shift",CTy"instruction",
13871 ("Branch",CTy"instruction",
13890 ("Branch",CTy"instruction",
13903 ("Branch",CTy"instruction",
13917 Const("ReservedInstruction",CTy"instruction"))))
13929 Call("Decode",CTy"instruction",Var("w",F32))),
14292 ("Encode",Var("i",CTy"instruction"),
14293 CS(Var("i",CTy"instruction"),
14295 ("Shift",CTy"instruction",
14304 ("Shift",CTy"instruction",
14313 ("Shift",CTy"instruction",
14322 ("Shift",CTy"instruction",
14331 ("Shift",CTy"instruction",
14340 ("Shift",CTy"instruction",
14349 ("Branch",CTy"instruction",
14354 ("Branch",CTy"instruction",
14360 ("MultDiv",CTy"instruction",
14366 ("MultDiv",CTy"instruction",
14372 ("MultDiv",CTy"instruction",
14378 ("MultDiv",CTy"instruction",
14384 ("Shift",CTy"instruction",
14393 ("Shift",CTy"instruction",
14402 ("Shift",CTy"instruction",
14411 ("MultDiv",CTy"instruction",
14416 ("MultDiv",CTy"instruction",
14421 ("MultDiv",CTy"instruction",
14426 ("MultDiv",CTy"instruction",
14431 ("MultDiv",CTy"instruction",
14439 ("MultDiv",CTy"instruction",
14445 ("MultDiv",CTy"instruction",
14451 ("MultDiv",CTy"instruction",
14457 ("MultDiv",CTy"instruction",
14463 ("MultDiv",CTy"instruction",
14469 ("MultDiv",CTy"instruction",
14475 ("MultDiv",CTy"instruction",
14481 ("MultDiv",CTy"instruction",
14487 ("ArithR",CTy"instruction",
14496 ("ArithR",CTy"instruction",
14505 ("ArithR",CTy"instruction",
14514 ("ArithR",CTy"instruction",
14523 ("ArithR",CTy"instruction",
14532 ("ArithR",CTy"instruction",
14541 ("ArithR",CTy"instruction",
14550 ("ArithR",CTy"instruction",
14559 ("ArithR",CTy"instruction",
14568 ("ArithR",CTy"instruction",
14577 ("ArithR",CTy"instruction",
14586 ("ArithR",CTy"instruction",
14595 ("ArithR",CTy"instruction",
14604 ("ArithR",CTy"instruction",
14613 ("ArithR",CTy"instruction",
14622 ("ArithR",CTy"instruction",
14631 ("Trap",CTy"instruction",
14637 ("Trap",CTy"instruction",
14643 ("Trap",CTy"instruction",
14649 ("Trap",CTy"instruction",
14655 ("Trap",CTy"instruction",
14661 ("Trap",CTy"instruction",
14667 ("Shift",CTy"instruction",
14676 ("Shift",CTy"instruction",
14685 ("Shift",CTy"instruction",
14694 ("Shift",CTy"instruction",
14703 ("Shift",CTy"instruction",
14712 ("Shift",CTy"instruction",
14721 ("Branch",CTy"instruction",
14725 ("Branch",CTy"instruction",
14729 ("Branch",CTy"instruction",
14733 ("Branch",CTy"instruction",
14737 ("Trap",CTy"instruction",
14741 ("Trap",CTy"instruction",
14745 ("Trap",CTy"instruction",
14749 ("Trap",CTy"instruction",
14753 ("Trap",CTy"instruction",
14757 ("Trap",CTy"instruction",
14761 ("Branch",CTy"instruction",
14765 ("Branch",CTy"instruction",
14769 ("Branch",CTy"instruction",
14773 ("Branch",CTy"instruction",
14777 ("Branch",CTy"instruction",
14781 ("Branch",CTy"instruction",
14785 ("CP",CTy"instruction",
14793 ("CP",CTy"instruction",
14801 ("CP",CTy"instruction",
14809 ("CP",CTy"instruction",
14817 ("Branch",CTy"instruction",
14825 ("Branch",CTy"instruction",
14833 ("Branch",CTy"instruction",
14838 ("Branch",CTy"instruction",
14843 ("ArithI",CTy"instruction",
14851 ("ArithI",CTy"instruction",
14859 ("ArithI",CTy"instruction",
14867 ("ArithI",CTy"instruction",
14875 ("ArithI",CTy"instruction",
14883 ("ArithI",CTy"instruction",
14891 ("ArithI",CTy"instruction",
14899 ("ArithI",CTy"instruction",
14904 ("Branch",CTy"instruction",
14912 ("Branch",CTy"instruction",
14920 ("Branch",CTy"instruction",
14925 ("Branch",CTy"instruction",
14930 ("ArithI",CTy"instruction",
14938 ("ArithI",CTy"instruction",
14946 ("Load",CTy"instruction",
14954 ("Load",CTy"instruction",
14962 ("Load",CTy"instruction",
14970 ("Load",CTy"instruction",
14978 ("Load",CTy"instruction",
14986 ("Load",CTy"instruction",
14994 ("Load",CTy"instruction",
15002 ("Load",CTy"instruction",
15010 ("Load",CTy"instruction",
15018 ("Load",CTy"instruction",
15026 ("Store",CTy"instruction",
15034 ("Store",CTy"instruction",
15042 ("Store",CTy"instruction",
15050 ("Store",CTy"instruction",
15058 ("Store",CTy"instruction",
15066 ("Store",CTy"instruction",
15074 ("Store",CTy"instruction",
15082 ("Load",CTy"instruction",
15090 ("Load",CTy"instruction",
15098 ("Load",CTy"instruction",
15106 ("Store",CTy"instruction",
15114 ("Store",CTy"instruction",
15122 ("Store",CTy"instruction",
15130 ("CACHE",CTy"instruction",
15135 (Const("SYSCALL",CTy"instruction"),Mop(Cast F32,LW(12,6))),
15136 (Const("BREAK",CTy"instruction"),Mop(Cast F32,LW(13,6))),
15137 (Call("SYNC",CTy"instruction",Var("imm5",FTy 5)),
15139 (Const("TLBR",CTy"instruction"),LW(1107296257,32)),
15140 (Const("TLBWI",CTy"instruction"),LW(1107296258,32)),
15141 (Const("TLBWR",CTy"instruction"),LW(1107296262,32)),
15142 (Const("TLBP",CTy"instruction"),LW(1107296264,32)),
15143 (Const("ERET",CTy"instruction"),LW(1107296280,32)),
15144 (Call("RDHWR",CTy"instruction",TP[Var("rt",FTy 5),Var("rd",FTy 5)]),
15146 (Const("WAIT",CTy"instruction"),LW(1107296288,32)),
15147 (Const("Unpredictable",CTy"instruction"),LW(133169152,32)),
15148 (Call("COP1",CTy"instruction",Var("j",CTy"COP1")),
15150 (Const("ReservedInstruction",CTy"instruction"),LW(0,32))]))