Lines Matching refs:Call
406 Call("reg'TCR_EL1",F64,Var("x",CTy"TCR_EL1")))
410 Call("rec'TCR_EL1",CTy"TCR_EL1",Var("x",F64)))
429 Call("reg'TCR_EL2_EL3",F32,Var("x",CTy"TCR_EL2_EL3")))
433 Call("rec'TCR_EL2_EL3",CTy"TCR_EL2_EL3",Var("x",F32)))
461 Call("reg'SCTLRType",F32,Var("x",CTy"SCTLRType")))
465 Call("rec'SCTLRType",CTy"SCTLRType",Var("x",F32)))
544 (Call
603 EQ(Var("w",BTy"N"),Call("Align",BTy"N",TP[Var("w",BTy"N"),nVar"n"])))
618 Call
623 (Call
636 Call("Aligned",bTy,TP[Var("address",F64),nVar"size"])),
650 (Call
671 bVar"b6",bVar"v7"]],Call("ByteList",LTy vTy,vVar"rest"))),
676 Mop(Flat,Mop(Rev,Call("ByteList",LTy vTy,vVar"l"))))
705 (Call
714 Call
730 (Call
753 Call
785 Call
811 Call("HighestSetBit",iTy,Var("w",BTy"N")))))
816 Call
825 Call
839 EX(Call
919 Call
921 TP[Apply(Call("X",ATy(qTy,BTy"N"),Var("reg",FTy 5)),qVar"state"),
952 Call
966 Call
968 TP[Apply(Call("X",ATy(qTy,BTy"N"),Var("reg",FTy 5)),qVar"state"),
975 Call
981 Mop(Cast(FTy 6),Call("Ones",vTy,nVar"len")),
991 TP[Call
996 Call
1006 Call
1010 Call
1033 (Call
1048 Apply(Call("X",ATy(qTy,BTy"N"),Var("m",FTy 5)),qVar"state"),
1051 Call
1055 (Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),
1062 (Call
1066 (Call
1081 (Call
1090 Call
1096 (Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),
1101 (Call
1109 (Call
1113 (Call
1129 Call
1135 (Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),
1140 (Call
1148 (Call
1152 (Call
1166 (Call
1175 Call
1179 (Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),
1183 (Call
1187 (Call
1200 Apply(Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),qVar"state"),
1211 (Call
1219 (Call
1223 (Call
1236 Apply(Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),qVar"state"),
1239 (Call
1255 (Call
1259 (Call
1273 (Call
1276 (Call
1282 (Call
1299 (Call("X",ATy(qTy,BTy"N"),Var("d",FTy 5)),
1302 (Call
1317 Apply(Call("X",ATy(qTy,BTy"N"),Var("d",FTy 5)),qVar"state")),
1319 Apply(Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),qVar"state"),
1321 (Call
1326 Call
1349 (Call("ConditionHolds",ATy(qTy,bTy),Var("cond",F4)),
1356 Call
1360 (Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),
1364 (Call
1369 (Call
1382 Apply(Call("X",ATy(qTy,BTy"N"),Var("m",FTy 5)),qVar"state"),
1384 (Call("ConditionHolds",ATy(qTy,bTy),Var("cond",F4)),
1391 Call
1395 (Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),
1399 (Call
1405 (Call
1418 (Call("ConditionHolds",ATy(qTy,bTy),Var("cond",F4)),
1421 (Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),qVar"state"),
1425 (Call("X",ATy(qTy,BTy"N"),Var("m",FTy 5)),qVar"state"),
1433 (Call
1444 Apply(Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),qVar"state"),
1446 (Call
1450 Call
1452 Call
1463 (Call
1469 (Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),
1473 (Call("X",ATy(qTy,BTy"N"),Var("m",FTy 5)),
1485 Apply(Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),qVar"state"),
1487 Apply(Call("X",ATy(qTy,BTy"N"),Var("m",FTy 5)),qVar"state"),
1489 (Call
1504 Apply(Call("X",ATy(qTy,BTy"N"),Var("n",FTy 5)),qVar"state"),
1506 Apply(Call("X",ATy(qTy,BTy"N"),Var("m",FTy 5)),qVar"state"),
1509 (Call("X",ATy(qTy,BTy"N"),Var("a",FTy 5)),qVar"state"),
1511 (Call
1529 Apply(Call("X",ATy(qTy,F64),Var("a",FTy 5)),qVar"state"),
1532 Call
1535 (Call("X",ATy(qTy,F32),Var("n",FTy 5)),
1537 Call
1540 (Call("X",ATy(qTy,F32),Var("m",FTy 5)),
1543 (Call
1556 (Call
1559 Call
1562 (Call("X",ATy(qTy,F64),Var("n",FTy 5)),
1564 Call
1567 (Call("X",ATy(qTy,F64),Var("m",FTy 5)),
1578 Apply(Call("X",ATy(qTy,F32),Var("n",FTy 5)),qVar"state"),
1580 (Call
1598 Apply(Call("X",ATy(qTy,F64),Var("n",FTy 5)),qVar"state"),
1600 (Call
1641 (Call
1644 Call
1650 (Call
1653 Call("Zeros",vTy,Mop(Size,LY(0,"N")))],
1657 (Call
1660 Call("Zeros",vTy,LN 32)]),
1669 (Call("ConditionHolds",ATy(qTy,bTy),Var("cond",F4)),
1672 (Call
1687 (Call
1692 (Call
1703 (Call
1705 TP[Apply(Call("X",ATy(qTy,F64),Var("n",FTy 5)),qVar"state"),
1710 (Call
1720 ITE(EQ(Apply(Call("X",ATy(qTy,BTy"N"),Var("t",FTy 5)),qVar"state"),
1723 (Call
1737 (Call("X",ATy(qTy,BTy"N"),Var("t",FTy 5)),qVar"state"),
1740 (Call
1764 Apply(Call("X",ATy(qTy,F64),Var("n",FTy 5)),qVar"s")),
1772 (Call
1776 (Call
1785 (Call
1793 (Call
1795 TP[Call
1801 (Call
1803 TP[Call
1818 (Call
1822 (Call
1837 (Call
1853 (Call
1859 (Call
1882 Apply(Call("X",ATy(qTy,F64),Var("n",FTy 5)),qVar"s")),
1890 (Call
1897 (Call
1905 (Call
1912 (Call
1926 (Call
1936 (Call
1957 (Call
1959 TP[Call
1966 (Call
1969 TP[Call
1978 (Call
1983 (Call
1999 (Call
2003 (Call
2035 (Call("X",ATy(qTy,F64),Var("n",FTy 5)),qVar"s0")),
2041 (Call("X",ATy(qTy,BTy"N"),Var("t",FTy 5)),
2044 ITE(Call
2048 (Call
2055 (Call
2062 (Call
2067 (Call
2076 (Call
2082 (Call
2087 (Call
2111 (Call("X",ATy(qTy,F64),Var("n",FTy 5)),qVar"s0")),
2114 ITE(Call
2118 (Call
2124 (Call
2135 (Call
2142 (Call
2150 (Call
2157 (Call
2169 (Call
2175 (Call
2182 (Call
2187 (Call
2195 (Call
2202 (Call
2206 (Call
2212 (Call
2221 (Call
2226 (Call
2232 (Call
2238 (Call
2245 (Call
2250 Call
2255 (Call
2264 (Call
2270 (Call
2275 (Call
2291 (Call
2298 (Call
2300 TP[Call
2312 (Call
2314 Call("UNDEFINED_FAULT",CTy"exception",LS"MemoryBarrier")),
2323 (Call
2325 Call("UNDEFINED_FAULT",CTy"exception",LS"ClearExclusive")),
2336 (Call
2338 Call("UNDEFINED_FAULT",CTy"exception",LS"Hint")),
2347 (Call
2349 Call("UNDEFINED_FAULT",CTy"exception",LS"Breakpoint")),
2358 (Call
2360 Call("UNDEFINED_FAULT",CTy"exception",LS"DebugSwitch")),
2367 (Call
2369 Call("UNDEFINED_FAULT",CTy"exception",LS"DebugRestore")),
2378 (Call
2380 Call("UNDEFINED_FAULT",CTy"exception",LS"Halt")),
2391 (Call
2393 Call("UNDEFINED_FAULT",CTy"exception",LS"System")),
2405 (Call
2407 Call
2418 (Call
2420 Call
2430 (Call
2432 Call("UNDEFINED_FAULT",CTy"exception",LS"SupervisorCall")),
2441 (Call
2443 Call("UNDEFINED_FAULT",CTy"exception",LS"HypervisorCall")),
2452 (Call
2454 Call
2462 (Call
2464 Call("UNDEFINED_FAULT",CTy"exception",LS"ExceptionReturn")),
2471 (Call
2473 Call("UNDEFINED_FAULT",CTy"exception",LS"Unallocated")),
2480 (Call
2482 Call("UNDEFINED_FAULT",CTy"exception",LS"Reserved")),
2494 (Call
2498 (Call
2501 (Call("ClearExclusive",CTy"instruction",Var("v82",F4)),
2503 (Call("dfn'ClearExclusive",ATy(qTy,qTy),Var("v82",F4)),
2505 (Call("Hint",CTy"instruction",Var("v83",CTy"SystemHintOp")),
2507 (Call("dfn'Hint",ATy(qTy,qTy),Var("v83",CTy"SystemHintOp")),
2509 (Call
2513 (Call
2516 (Call("Branch",CTy"instruction",Var("v1",CTy"Branch")),
2518 [(Call
2521 (Call
2524 (Call
2528 (Call
2531 (Call
2535 (Call
2538 (Call
2542 (Call
2546 (Call
2550 (Call
2554 (Call
2558 (Call
2562 (Call
2566 (Call
2570 (Call("CRCExt",CTy"instruction",Var("v9",CTy"CRCExt")),
2572 [(Call
2576 (Call
2581 (Call
2585 (Call
2590 (Call
2594 (Call
2599 (Call
2603 (Call
2608 (Call("Data",CTy"instruction",Var("v14",CTy"Data")),
2610 [(Call
2616 (Call
2622 (Call
2628 (Call
2634 (Call
2644 (Call
2654 (Call
2664 (Call
2674 (Call
2679 (Call
2685 (Call
2690 (Call
2696 (Call
2706 (Call
2716 (Call
2726 (Call
2736 (Call
2747 (Call
2758 (Call
2769 (Call
2780 (Call
2790 (Call
2800 (Call
2810 (Call
2820 (Call
2829 (Call
2838 (Call
2847 (Call
2856 (Call
2863 (Call
2871 (Call
2878 (Call
2886 (Call
2890 (Call
2894 (Call
2898 (Call
2902 (Call
2906 (Call
2911 (Call
2915 (Call
2920 (Call
2925 (Call
2930 (Call
2935 (Call
2940 (Call
2947 (Call
2954 (Call
2961 (Call
2968 (Call
2979 (Call
2991 (Call
3002 (Call
3014 (Call
3020 (Call
3027 (Call
3033 (Call
3040 (Call
3046 (Call
3053 (Call
3059 (Call
3066 (Call
3072 (Call
3079 (Call
3083 (Call
3087 (Call
3091 (Call
3095 (Call
3099 (Call
3103 (Call
3109 (Call
3116 (Call
3122 (Call
3129 (Call("Debug",CTy"instruction",Var("v51",CTy"Debug")),
3133 (Call("Breakpoint",CTy"Debug",Var("v52",F16)),
3135 (Call("dfn'Breakpoint",ATy(qTy,qTy),Var("v52",F16)),
3137 (Call("DebugSwitch",CTy"Debug",Var("v53",FTy 2)),
3139 (Call("dfn'DebugSwitch",ATy(qTy,qTy),Var("v53",FTy 2)),
3141 (Call("Halt",CTy"Debug",Var("v54",F16)),
3143 (Call("dfn'Halt",ATy(qTy,qTy),Var("v54",F16)),
3145 (Call("LoadStore",CTy"instruction",Var("v55",CTy"LoadStore")),
3147 [(Call
3152 (Call
3157 (Call
3162 (Call
3167 (Call
3178 (Call
3190 (Call
3201 (Call
3213 (Call
3224 (Call
3236 (Call
3247 (Call
3259 (Call
3270 (Call
3282 (Call
3293 (Call
3305 (Call
3322 (Call
3339 (Call
3356 (Call
3373 (Call
3390 (Call
3407 (Call
3424 (Call
3441 (Call
3457 (Call
3473 (Call
3489 (Call
3505 (Call
3516 (Call
3527 (Call
3538 (Call
3549 (Call
3560 (Call
3571 (Call
3582 (Call
3593 (Call("System",CTy"instruction",Var("v74",CTy"System")),
3598 (Call("HypervisorCall",CTy"System",Var("v75",F16)),
3600 (Call("dfn'HypervisorCall",ATy(qTy,qTy),Var("v75",F16)),
3602 (Call
3606 (Call
3609 (Call
3616 (Call
3624 (Call("SecureMonitorCall",CTy"System",Var("v78",F16)),
3626 (Call
3629 (Call("SupervisorCall",CTy"System",Var("v79",F16)),
3631 (Call("dfn'SupervisorCall",ATy(qTy,qTy),Var("v79",F16)),
3633 (Call
3638 (Call
3655 Call("Hint",CTy"instruction",LC("SystemHintOp_NOP",CTy"SystemHintOp")))
3664 Call
3666 Call
3673 Call
3675 Call
3682 Call
3684 Call
3691 Call
3693 Call
3708 Call
3710 Call
3718 Call
3720 Call
3728 Call
3730 Call
3738 Call
3740 Call
3770 Call
3778 Call
3794 Call
3802 Call
3811 Call
3826 Call
3828 Call
3835 Call
3837 Call
3858 Call
3865 Call
3881 Call
3888 Call
3900 Call
3908 Call
3923 Call
3925 Call
3931 Call
3933 Call
3941 Call
3943 Call
3950 Call
3952 Call
3959 Call
3961 Call
3968 Call
3970 Call
4049 Call
4081 Call
4115 Call
4117 Call
4122 Call
4141 Call
4143 Call
4147 Call
4175 Call
4177 Call
4185 Call
4209 Call
4211 Call
4219 Call
4246 Call
4248 Call
4274 Call
4276 Call
4317 Call
4319 Call
4357 Call
4359 Call
4384 Call
4387 Call
4389 Call
4394 Call
4414 Call
4417 Call
4419 Call
4424 Call
4456 CS(Call
4467 Call
4470 Call
4472 Call
4490 CS(Call
4501 Call
4504 Call
4506 Call
4540 Call
4542 Call
4545 Call
4580 Call
4582 Call
4585 Call
4640 Call
4642 Call
4648 Call
4650 Call
4691 CS(Call
4698 Call
4700 Call
4744 CS(Call
4751 Call
4753 Call
4790 Call
4792 Call
4825 Call
4827 Call
4862 Call
4864 Call
4898 Call
4900 Call
4927 Call
4929 Call
4956 Call
4958 Call
5014 Call
5016 Call
5066 Call
5068 Call
5095 Call
5097 Call
5121 Call
5123 Call
5164 Call
5166 Call
5204 Call
5206 Call
5230 Call
5232 Call
5259 Call
5261 Call
5286 Call
5288 Call
5316 Call
5318 Call
5413 Call
5415 Call
5465 Call
5467 Call
5504 Call
5506 Call
5543 Call
5545 Call
5582 Call
5584 Call
5620 Call
5622 Call
5643 Call
5645 Call
5662 Call
5664 Call
5736 Call
5738 Call
5798 Call
5800 Call
5861 Call
5863 Call
5939 Call
5941 Call
5945 Call
5947 Call
5979 Call
5981 Call
5989 Call
5991 Call
6056 Call
6081 Call
6106 Call
6189 Call
6196 Call
6229 Call
6231 Call
6236 Call
6238 Call
6243 Call
6245 Call
6250 Call
6252 Call
6296 Call
6368 Call
6403 Call
6405 Call
6475 Call
6477 Call
6536 Call
6538 Call
6596 Call
6598 Call
6704 Call
6736 Call
6738 Call
6794 Call
6857 Call
6924 Call
6946 Call
6948 Call
6978 Call
6980 Call
7053 Call
7083 Call
7085 Call
7119 Call
7121 Call
7154 Call
7156 Call
7178 Call
7180 Call
7197 (Call
7210 (Call
7212 Call("Decode",CTy"instruction",Var("v",F32))),qVar"s"),
7227 Call
7238 Let(nVar"pref0",Call("CountTrailing",nTy,TP[LT,Var("imm",BTy"N")]),
7241 Call("CountTrailing",nTy,TP[LF,Var("imm",BTy"N")]),
7243 Call
7247 Call
7255 Call
7259 Call
7270 Call("EncodeBitMaskAux",PTy(nTy,PTy(nTy,nTy)),Var("imm",BTy"N")),
7282 CS(Call
7308 [(Call
7314 Call("BadCode",CTy"MachineCode",LS"AddSubShiftedRegister32"),
7315 Call
7321 (Call
7326 Call
7332 (Call
7337 Call
7339 CC[Call("e_sf",F1,Var("sf",F32)),Mop(Cast F1,bVar"opc"),
7343 (Call
7348 Call
7350 CC[Call("e_sf",F1,Var("sf",F64)),Mop(Cast F1,bVar"opc"),
7354 (Call
7359 Call
7361 CC[Call("e_sf",F1,Var("sf",F32)),Mop(Cast F1,bVar"opc"),
7367 Call
7369 CC[Call("e_sf",F1,Var("sf",F32)),Mop(Cast F1,bVar"opc"),
7373 Call("BadCode",CTy"MachineCode",LS"AddSubImmediate"))),
7374 (Call
7379 Call
7381 CC[Call("e_sf",F1,Var("sf",F64)),Mop(Cast F1,bVar"opc"),
7387 Call
7389 CC[Call("e_sf",F1,Var("sf",F64)),Mop(Cast F1,bVar"opc"),
7393 Call("BadCode",CTy"MachineCode",LS"AddSubImmediate"))),
7394 (Call
7398 Call
7403 (Call
7407 Call
7412 (Call
7417 CS(Call
7423 Call
7425 CC[Call("e_sf",F1,Var("sf",F32)),Var("opc",FTy 2),
7431 Call
7435 Call("BadCode",CTy"MachineCode",LS"LogicalShiftedRegister"))])),
7436 (Call
7441 CS(Call
7447 Call
7449 CC[Call("e_sf",F1,Var("sf",F64)),Var("opc",FTy 2),
7455 Call
7459 Call("BadCode",CTy"MachineCode",LS"LogicalShiftedRegister"))])),
7460 (Call
7464 CS(TP[Call
7467 Call
7472 Call
7477 Call("BadCode",CTy"MachineCode",LS"LogicalImmediate32"))])),
7478 (Call
7482 CS(TP[Call
7485 Call
7491 Call
7497 Call("BadCode",CTy"MachineCode",LS"LogicalImmediate64"))])),
7498 (Call
7502 Call
7507 (Call
7511 Call
7516 (Call
7520 Call
7528 (Call
7532 Call
7540 (Call
7545 Let(Var("sz",F1),Call("e_sf",F1,Var("sf",F32)),
7560 EQ(Call
7568 Call
7574 Call
7578 Call("BadCode",CTy"MachineCode",LS"BitfieldMove"))]))),
7579 (Call
7584 Let(Var("sz",F1),Call("e_sf",F1,Var("sf",F64)),
7599 EQ(Call
7607 Call
7613 Call
7617 Call("BadCode",CTy"MachineCode",LS"BitfieldMove"))]))),
7618 (Call
7624 Call
7626 CC[Call("e_sf",F1,Var("sf",F32)),
7631 Call
7634 (Call
7640 Call
7642 CC[Call("e_sf",F1,Var("sf",F64)),
7647 Call
7650 (Call
7655 Call
7657 CC[Call("e_sf",F1,Var("sf",F32)),Mop(Cast F1,bVar"opc"),
7662 (Call
7667 Call
7669 CC[Call("e_sf",F1,Var("sf",F64)),Mop(Cast F1,bVar"opc"),
7674 (Call
7678 Call
7683 (Call
7687 Call
7692 (Call
7695 Call
7699 (Call
7702 Call
7706 (Call
7711 Call("BadCode",CTy"MachineCode",LS"ExtractRegister32"),
7712 Call
7716 (Call
7720 Call
7724 (Call
7728 Call
7733 (Call
7737 Call
7742 (Call
7746 Call
7750 (Call
7754 Call
7758 (Call
7762 Call
7767 (Call
7770 Call
7774 (Call
7779 Call("BadCode",CTy"MachineCode",LS"Reverse32"),
7780 Call
7784 (Call
7788 Call
7796 [(Call("Breakpoint",CTy"Debug",Var("imm16",F16)),
7799 (Call("DebugSwitch",CTy"Debug",Var("LL",FTy 2)),
7801 (Call("Halt",CTy"Debug",Var("imm16",F16)),
7807 [(Call
7813 (Call
7819 (Call
7825 (Call
7835 [(Call
7840 Call
7843 Call("BadCode",CTy"MachineCode",LS"BranchConditional")))),
7844 (Call
7854 Call
7860 Call("BadCode",CTy"MachineCode",LS"BranchImmediate")))),
7861 (Call
7871 Call("BadCode",CTy"MachineCode",LS"BranchRegister"),
7872 Call
7876 (Call
7882 Call
7886 Call("BadCode",CTy"MachineCode",LS"CompareAndBranch32")))),
7887 (Call
7893 Call
7897 Call("BadCode",CTy"MachineCode",LS"CompareAndBranch64")))),
7898 (Call
7907 Call
7912 Call("BadCode",CTy"MachineCode",LS"TestBitAndBranch32")))),
7913 (Call
7922 Call
7927 Call("BadCode",CTy"MachineCode",LS"TestBitAndBranch64"))))]))
7932 [(Call
7940 (Call
7944 (Call
7948 (Call
7953 (Call("SupervisorCall",CTy"System",Var("imm16",F16)),
7955 (Call("HypervisorCall",CTy"System",Var("imm16",F16)),
7957 (Call("SecureMonitorCall",CTy"System",Var("imm16",F16)),
7959 (Call
7993 Call
8000 Call
8004 Call
8015 Call
8022 Call
8030 Call
8039 Call
8057 [(Call
8064 Call
8071 (Call
8078 Call
8085 (Call
8092 Call
8099 (Call
8106 Call
8113 (Call
8119 Call
8125 (Call
8131 Call
8137 (Call
8143 Call
8149 (Call
8155 Call
8161 (Call
8176 Call
8180 Call("BadCode",CTy"MachineCode",LS"LoadLiteral32"))))),
8181 (Call
8188 Call
8191 Call("BadCode",CTy"MachineCode",LS"LoadLiteral64")))),
8192 (Call
8195 Call("BadCode",CTy"MachineCode",LS"LoadLiteral64")),
8196 (Call
8225 Call
8236 Call("BadCode",CTy"MachineCode",LS"LoadStorePair")))))),
8237 (Call
8266 Call
8277 Call("BadCode",CTy"MachineCode",LS"LoadStorePair")))))),
8278 (Call
8297 Call
8309 Call("BadCode",CTy"MachineCode",LS"LoadStoreAcquire"))),
8310 (Call
8329 Call
8341 Call("BadCode",CTy"MachineCode",LS"LoadStoreAcquire"))),
8342 (Call
8361 Call
8373 Call("BadCode",CTy"MachineCode",LS"LoadStoreAcquire"))),
8374 (Call
8393 Call
8405 Call("BadCode",CTy"MachineCode",LS"LoadStoreAcquire"))),
8406 (Call
8423 Call
8434 Call("BadCode",CTy"MachineCode",LS"LoadStoreAcquirePair"))),
8435 (Call
8452 Call
8463 Call("BadCode",CTy"MachineCode",LS"LoadStoreAcquirePair")))]))
8468 [(Call
8478 Call
8482 Call("BadCode",CTy"MachineCode",LS"Address")))),
8489 Call
8493 Call("BadCode",CTy"MachineCode",LS"Address")))))),
8494 (Call("Data",CTy"instruction",Var("x",CTy"Data")),
8495 Call("e_data",CTy"MachineCode",Var("x",CTy"Data"))),
8496 (Call("Branch",CTy"instruction",Var("x",CTy"Branch")),
8497 Call("e_branch",CTy"MachineCode",Var("x",CTy"Branch"))),
8498 (Call("LoadStore",CTy"instruction",Var("x",CTy"LoadStore")),
8499 Call("e_load_store",CTy"MachineCode",Var("x",CTy"LoadStore"))),
8500 (Call("CRCExt",CTy"instruction",Var("x",CTy"CRCExt")),
8501 Call
8502 ("ARM8",CTy"MachineCode",Call("e_crc",F32,Var("x",CTy"CRCExt")))),
8503 (Call("Debug",CTy"instruction",Var("x",CTy"Debug")),
8504 Call
8505 ("ARM8",CTy"MachineCode",Call("e_debug",F32,Var("x",CTy"Debug")))),
8506 (Call("System",CTy"instruction",Var("x",CTy"System")),
8507 Call
8509 Call("e_system",F32,Var("x",CTy"System")))),
8510 (Call
8513 Call
8517 (Call("ClearExclusive",CTy"instruction",Var("crm",F4)),
8518 Call
8521 (Call("Hint",CTy"instruction",Var("opc",CTy"SystemHintOp")),
8522 Call
8527 Call("BadCode",CTy"MachineCode",LS"Unallocated")),
8529 Call("BadCode",CTy"MachineCode",LS"Reserved"))]))