Lines Matching refs:instruction
314 [("instruction",
14725 ("Run",Var("v0",CTy"instruction"),
14728 CS(Var("v0",CTy"instruction"),
14729 [(Const("ClearExclusive",CTy"instruction"),
14731 (Const("NoOperation",CTy"instruction"),
14734 ("Divide",CTy"instruction",
14740 (Call("IfThen",CTy"instruction",Var("v153",PTy(F4,F4))),
14745 ("Swap",CTy"instruction",
14751 (Call("Undefined",CTy"instruction",Var("v155",F32)),
14755 (Call("Branch",CTy"instruction",Var("v1",CTy"Branch")),
14817 (Call("Data",CTy"instruction",Var("v12",CTy"Data")),
14926 (Call("Hint",CTy"instruction",Var("v24",CTy"Hint")),
14984 (Call("Load",CTy"instruction",Var("v33",CTy"Load")),
15167 (Call("Media",CTy"instruction",Var("v53",CTy"Media")),
15277 (Call("Multiply",CTy"instruction",Var("v68",CTy"Multiply")),
15396 (Call("SIMD",CTy"instruction",Var("v83",CTy"SIMD")),
15495 (Call("Store",CTy"instruction",Var("v97",CTy"Store")),
15626 (Call("System",CTy"instruction",Var("v111",CTy"System")),
15716 (Call("VFP",CTy"instruction",Var("v125",CTy"VFP")),
16013 Call("Undefined",CTy"instruction",LW(0,32)),
16014 Const("NoOperation",CTy"instruction"))))
16025 TP[ITE(bVar"v",Call("Undefined",CTy"instruction",LW(0,32)),
16026 Const("NoOperation",CTy"instruction")),qVar"s"])))
16037 ("UndefinedARM",ATy(qTy,PTy(CTy"instruction",qTy)),
16085 TP[Const("NoOperation",CTy"instruction"),qVar"state"],
16121 ("Hint",CTy"instruction",
16134 ("Hint",CTy"instruction",
16146 ("Hint",CTy"instruction",
16160 ("Hint",CTy"instruction",
16166 ("Hint",CTy"instruction",
16172 Const("NoOperation",CTy"instruction"))),
16174 (Call("Skip",ATy(qTy,CTy"instruction"),LU),qVar"s")),
16185 ("SIMD",CTy"instruction",
16192 ("SIMD",CTy"instruction",
16198 ("SIMD",CTy"instruction",
16204 ("SIMD",CTy"instruction",
16211 ("SIMD",CTy"instruction",
16217 ("SIMD",CTy"instruction",
16223 ("SIMD",CTy"instruction",
16230 ("SIMD",CTy"instruction",
16236 ("SIMD",CTy"instruction",
16241 Call("Undefined",CTy"instruction",LW(0,32)))]),
16245 ("SIMD",CTy"instruction",
16252 ("SIMD",CTy"instruction",
16258 ("SIMD",CTy"instruction",
16264 ("SIMD",CTy"instruction",
16271 ("SIMD",CTy"instruction",
16277 ("SIMD",CTy"instruction",
16283 ("SIMD",CTy"instruction",
16290 ("SIMD",CTy"instruction",
16296 ("SIMD",CTy"instruction",
16301 Call("Undefined",CTy"instruction",LW(0,32)))])))
16389 CTy"instruction",
16550 CTy"instruction",
16624 CTy"instruction",
16704 CTy"instruction",
16770 CTy"instruction",
16827 CTy"instruction",
16885 CTy"instruction",
16941 CTy"instruction",
17003 CTy"instruction",
17016 CTy"instruction",
17057 ("VFP",CTy"instruction",
17069 ("Undefined",CTy"instruction",
17118 CTy"instruction",
17155 ("VFP",CTy"instruction",
17200 ("VFP",CTy"instruction",
17253 ("VFP",CTy"instruction",
17303 ("VFP",CTy"instruction",
17347 ("VFP",CTy"instruction",
17358 ("VFP",CTy"instruction",
17363 Call("Undefined",CTy"instruction",LW(0,32))]),
17364 TP[LF,LS"",Call("Undefined",CTy"instruction",LW(0,32))])),
17448 CTy"instruction",
17547 CTy"instruction",
17608 ("VFP",CTy"instruction",
17673 ("VFP",CTy"instruction",
17714 ("VFP",CTy"instruction",
17725 TP[LF,LS"",Call("Undefined",CTy"instruction",LW(0,32))]))],
17726 TP[LF,LS"",Call("Undefined",CTy"instruction",LW(0,32))]))))
17783 CTy"instruction"),
17840 CTy"instruction"),
17895 CTy"instruction",
17908 CTy"instruction"),
17935 CTy"instruction",
17986 CTy"instruction"),
18012 CTy"instruction",
18063 CTy"instruction"),
18074 CTy"instruction",
18076 TP[LX(CTy"instruction"),
18092 CTy"instruction",LW(0,32)),
18094 TP[LX(CTy"instruction"),
18124 CTy"instruction",
18174 CTy"instruction"),
18222 CTy"instruction",
18273 CTy"instruction"),
18298 CTy"instruction",
18345 CTy"instruction"),
18396 CTy"instruction",
18455 CTy"instruction"),
18544 CTy"instruction",
18600 CTy"instruction"),
18612 CTy"instruction",LW(0,32)),
18614 TP[LX(CTy"instruction"),
18628 ("Undefined",CTy"instruction",
18630 TP[LX(CTy"instruction"),
18673 ("System",CTy"instruction",
18715 ATy(qTy,CTy"instruction"),LU),
18768 CTy"instruction",
18867 CTy"instruction"),
18889 ("System",CTy"instruction",
18946 ATy(qTy,CTy"instruction"),
18972 CTy"instruction",
19031 CTy"instruction"),
19048 ("Branch",CTy"instruction",
19086 ATy(qTy,CTy"instruction"),LU),
19092 TP[Call("Undefined",CTy"instruction",LW(0,32)),
19094 TP[LX(CTy"instruction"),
19137 CTy"instruction",
19159 CTy"instruction")),qVar"s"])),
19217 CTy"instruction",
19231 CTy"instruction",
19277 CTy"instruction"),
19356 CTy"instruction",
19371 CTy"instruction",
19420 CTy"instruction"),
19476 CTy"instruction",
19490 CTy"instruction",
19529 CTy"instruction"),
19579 CTy"instruction",
19591 CTy"instruction",
19635 CTy"instruction"),
19714 CTy"instruction",
19730 CTy"instruction",
19774 CTy"instruction"),
19851 CTy"instruction",
19865 CTy"instruction",
19932 CTy"instruction"),
20028 CTy"instruction",
20043 CTy"instruction",
20115 CTy"instruction"),
20188 CTy"instruction",
20202 CTy"instruction",
20264 CTy"instruction"),
20359 CTy"instruction",
20375 CTy"instruction",
20447 CTy"instruction"),
20489 CTy"instruction",
20543 CTy"instruction"),
20619 CTy"instruction",
20665 CTy"instruction"),
20722 CTy"instruction",
20771 CTy"instruction"),
20841 CTy"instruction",
20889 CTy"instruction"),
20947 CTy"instruction",
21002 CTy"instruction"),
21049 CTy"instruction",
21101 CTy"instruction"),
21147 CTy"instruction",
21199 CTy"instruction"),
21243 CTy"instruction",
21295 CTy"instruction"),
21343 CTy"instruction",
21390 CTy"instruction"),
21437 CTy"instruction",
21484 CTy"instruction"),
21530 CTy"instruction",
21577 CTy"instruction"),
21624 CTy"instruction",
21671 CTy"instruction"),
21723 CTy"instruction",
21778 CTy"instruction"),
21837 CTy"instruction",
21893 CTy"instruction"),
21947 CTy"instruction",
21997 CTy"instruction"),
22056 CTy"instruction",
22107 CTy"instruction"),
22166 CTy"instruction",
22211 CTy"instruction"),
22268 CTy"instruction",
22314 CTy"instruction"),
22369 CTy"instruction",
22406 CTy"instruction"),
22419 ("System",CTy"instruction",
22453 CTy"instruction"),
22460 Var("i",CTy"instruction")],
22467 CTy"instruction"))),
22478 TP[Var("i",CTy"instruction"),
22496 CTy"instruction"),
22502 ATy(qTy,PTy(CTy"instruction",qTy)),
22536 CTy"instruction",
22588 CTy"instruction"),
22618 CTy"instruction",
22662 CTy"instruction"),
22696 CTy"instruction",
22748 CTy"instruction"),
22785 CTy"instruction",
22843 CTy"instruction"),
22877 CTy"instruction",
22945 CTy"instruction"),
22957 ("Branch",CTy"instruction",
22992 CTy"instruction"),
23003 ("Branch",CTy"instruction",
23041 CTy"instruction"),
23046 ATy(qTy,PTy(CTy"instruction",qTy)),
23072 CTy"instruction",
23114 CTy"instruction"),
23137 ATy(qTy,PTy(CTy"instruction",qTy)),
23226 CTy"instruction",
23242 CTy"instruction"),
23294 CTy"instruction",
23312 CTy"instruction",
23326 CTy"instruction",
23341 CTy"instruction",
23358 CTy"instruction"),
23392 ("System",CTy"instruction",
23435 ATy(qTy,CTy"instruction"),
23463 ("System",CTy"instruction",
23514 ATy(qTy,CTy"instruction"),
23546 ("System",CTy"instruction",
23590 ATy(qTy,CTy"instruction"),
23623 CTy"instruction",
23674 CTy"instruction"),
23704 ("Branch",CTy"instruction",
23742 ATy(qTy,CTy"instruction"),LU),
23779 ("Data",CTy"instruction",
23822 CTy"instruction"),
23853 ("Branch",CTy"instruction",
23895 ATy(qTy,CTy"instruction"),
23932 CTy"instruction",
23977 CTy"instruction"),
23995 ("Hint",CTy"instruction",
24038 CTy"instruction",LW(0,32)),
24041 CTy"instruction")),qVar"s"]))),
24064 ("System",CTy"instruction",
24096 ATy(qTy,CTy"instruction"),LU),
24120 ("System",CTy"instruction",
24153 ATy(qTy,CTy"instruction"),LU),
24194 CTy"instruction",
24247 CTy"instruction"),
24291 CTy"instruction",
24340 CTy"instruction"),
24378 CTy"instruction",
24422 CTy"instruction"),
24464 CTy"instruction",
24517 CTy"instruction"),
24554 CTy"instruction",
24601 CTy"instruction"),
24673 ("System",CTy"instruction",
24679 ATy(qTy,CTy"instruction"),LU),
24685 TP[Call("Undefined",CTy"instruction",LW(0,32)),
24745 CTy"instruction",
24772 CTy"instruction",
24791 CTy"instruction",
24811 CTy"instruction"),
24872 CTy"instruction",
24892 CTy"instruction",
24954 CTy"instruction"),
25005 CTy"instruction",
25020 CTy"instruction",
25086 CTy"instruction"),
25137 CTy"instruction",
25187 CTy"instruction"),
25234 CTy"instruction",
25279 CTy"instruction"),
25314 CTy"instruction",
25397 CTy"instruction"),
25432 CTy"instruction",
25482 CTy"instruction"),
25527 CTy"instruction",
25579 CTy"instruction"),
25616 ("Load",CTy"instruction",
25660 CTy"instruction"),
25710 CTy"instruction",
25781 CTy"instruction"),
25823 ("Load",CTy"instruction",
25874 CTy"instruction"),
25921 CTy"instruction",
25972 CTy"instruction"),
26014 ("Load",CTy"instruction",
26057 CTy"instruction"),
26104 CTy"instruction",
26155 CTy"instruction"),
26197 ("Load",CTy"instruction",
26240 CTy"instruction"),
26278 CTy"instruction",
26331 CTy"instruction"),
26370 CTy"instruction",
26461 CTy"instruction"),
26532 CTy"instruction",
26550 CTy"instruction",
26606 CTy"instruction"),
26699 CTy"instruction",
26715 CTy"instruction",
26781 CTy"instruction"),
26863 CTy"instruction",
26880 CTy"instruction",
26993 CTy"instruction"),
27027 ("Load",CTy"instruction",
27078 ATy(qTy,CTy"instruction"),
27164 CTy"instruction",
27181 CTy"instruction",
27253 CTy"instruction"),
27327 CTy"instruction",
27345 CTy"instruction",
27385 CTy"instruction"),
27446 CTy"instruction",
27458 CTy"instruction",
27496 CTy"instruction"),
27583 CTy"instruction",
27599 CTy"instruction",
27639 CTy"instruction"),
27674 CTy"instruction",
27720 CTy"instruction"),
27754 CTy"instruction",
27817 CTy"instruction"),
27823 ATy(qTy,PTy(CTy"instruction",qTy)),
27853 ("Data",CTy"instruction",
27883 CTy"instruction"),
27905 ("Data",CTy"instruction",
27928 CTy"instruction"),
27946 ("Branch",CTy"instruction",
27984 ATy(qTy,CTy"instruction"),
28015 CTy"instruction",
28040 CTy"instruction"),
28071 CTy"instruction",
28096 CTy"instruction"),
28131 CTy"instruction",
28159 CTy"instruction"),
28189 ("System",CTy"instruction",
28223 ATy(qTy,CTy"instruction"),
28267 CTy"instruction",
28324 CTy"instruction"),
28369 CTy"instruction",
28384 CTy"instruction",
28399 CTy"instruction",
28414 CTy"instruction",
28420 CTy"instruction"),
28455 CTy"instruction",
28505 CTy"instruction"),
28527 ("Hint",CTy"instruction",
28543 ATy(qTy,CTy"instruction"),
28572 PTy(CTy"instruction",qTy)),
28610 CTy"instruction",
28651 CTy"instruction"),
28671 CTy"instruction",
28717 CTy"instruction"),
28722 ATy(qTy,PTy(CTy"instruction",qTy)),LU),
28739 ("Data",CTy"instruction",
28767 ATy(qTy,CTy"instruction"),
28783 ("Data",CTy"instruction",
28806 ATy(qTy,CTy"instruction"),
28826 ("Data",CTy"instruction",
28858 ATy(qTy,CTy"instruction"),
28899 CTy"instruction",
28917 CTy"instruction",
28937 CTy"instruction"),
28978 CTy"instruction",
28996 CTy"instruction",
29016 CTy"instruction"),
29022 ATy(qTy,PTy(CTy"instruction",qTy)),LU),
29064 CTy"instruction",
29082 CTy"instruction",
29102 CTy"instruction"),
29141 CTy"instruction",
29154 CTy"instruction",
29169 CTy"instruction"),
29193 ("Store",CTy"instruction",
29221 ATy(qTy,CTy"instruction"),
29253 CTy"instruction",
29290 CTy"instruction"),
29310 ("Undefined",CTy"instruction",
29323 ATy(qTy,CTy"instruction"),
29342 ("System",CTy"instruction",
29359 ATy(qTy,CTy"instruction"),
29372 ("Branch",CTy"instruction",
29401 ATy(qTy,CTy"instruction"),LU),
29406 ATy(qTy,PTy(CTy"instruction",qTy)),LU),
29422 ("Data",CTy"instruction",
29451 ("Skip",ATy(qTy,CTy"instruction"),
29466 ("Data",CTy"instruction",
29493 ("Skip",ATy(qTy,CTy"instruction"),
29518 ("Data",CTy"instruction",
29542 ("Skip",ATy(qTy,CTy"instruction"),
29576 CTy"instruction",
29608 CTy"instruction",
29640 CTy"instruction",
29672 CTy"instruction",
29704 CTy"instruction",
29736 CTy"instruction",
29768 CTy"instruction",
29806 CTy"instruction",
29844 CTy"instruction",
29882 CTy"instruction",
29909 CTy"instruction",
29930 CTy"instruction",
29951 CTy"instruction",
29972 CTy"instruction",
30040 CTy"instruction",
30056 CTy"instruction",
30083 CTy"instruction"),
30122 ("Data",CTy"instruction",
30168 ATy(qTy,CTy"instruction"),
30181 ATy(qTy,PTy(CTy"instruction",qTy)),
30210 ("Data",CTy"instruction",
30242 ATy(qTy,CTy"instruction"),LU),
30281 ("Data",CTy"instruction",
30320 ATy(qTy,CTy"instruction"),
30340 ("Branch",CTy"instruction",
30374 ("Skip",ATy(qTy,CTy"instruction"),
30403 ("Branch",CTy"instruction",
30442 ATy(qTy,CTy"instruction"),LU),
30457 ("Load",CTy"instruction",
30478 ("Skip",ATy(qTy,CTy"instruction"),
30515 CTy"instruction",
30531 CTy"instruction",
30547 CTy"instruction",
30563 CTy"instruction",
30579 CTy"instruction",
30595 CTy"instruction",
30611 CTy"instruction",
30627 CTy"instruction",
30643 ATy(qTy,CTy"instruction"),
30648 ATy(qTy,PTy(CTy"instruction",qTy)),LU),qVar"state"))))))
30710 CTy"instruction",
30731 CTy"instruction",
30752 CTy"instruction",
30773 CTy"instruction",
30795 CTy"instruction",
30819 PTy(CTy"instruction",
30828 CTy"instruction"),
30848 ("Branch",CTy"instruction",
30889 ATy(qTy,CTy"instruction"),LU),
30897 TP[Call("Undefined",CTy"instruction",LW(0,32)),
30915 ("Branch",CTy"instruction",
30956 ATy(qTy,CTy"instruction"),LU),
30973 ("Branch",CTy"instruction",
31016 ATy(qTy,CTy"instruction"),LU),
31035 ("Load",CTy"instruction",
31061 ATy(qTy,CTy"instruction"),LU),
31090 CTy"instruction",
31114 ATy(qTy,CTy"instruction"),
31133 ("Load",CTy"instruction",
31157 ATy(qTy,CTy"instruction"),LU),
31194 CTy"instruction",
31207 CTy"instruction",
31221 ATy(qTy,CTy"instruction"),
31226 ATy(qTy,PTy(CTy"instruction",qTy)),
31236 ("DecodeThumb",ATy(qTy,PTy(CTy"instruction",qTy)),
31334 CTy"instruction",
31395 CTy"instruction"),
31477 CTy"instruction",
31493 CTy"instruction",
31509 CTy"instruction",
31525 CTy"instruction",
31570 CTy"instruction"),
31632 CTy"instruction",
31720 CTy"instruction"),
31794 CTy"instruction",
31847 CTy"instruction"),
31918 CTy"instruction",
31930 CTy"instruction",
31942 CTy"instruction",
31954 CTy"instruction",
32002 CTy"instruction"),
32080 CTy"instruction",
32128 CTy"instruction"),
32197 CTy"instruction",
32245 CTy"instruction"),
32372 CTy"instruction",
32392 CTy"instruction",
32412 TP[LX(CTy"instruction"),
32431 CTy"instruction",
32452 CTy"instruction",
32473 CTy"instruction",
32496 CTy"instruction",
32519 CTy"instruction",
32539 CTy"instruction",
32561 CTy"instruction",
32584 CTy"instruction",
32605 TP[LX(CTy"instruction"),
32624 CTy"instruction",
32646 CTy"instruction",
32666 CTy"instruction",
32674 CTy"instruction"),
32745 CTy"instruction",
32805 CTy"instruction"),
32899 CTy"instruction",
32936 CTy"instruction",
32971 CTy"instruction",
33011 CTy"instruction",
33025 CTy"instruction",
33079 CTy"instruction"),
33087 PTy(CTy"instruction",qTy)),
33093 PTy(CTy"instruction",qTy)),
33150 CTy"instruction",
33213 CTy"instruction"),
33255 CTy"instruction",
33325 CTy"instruction"),
33375 CTy"instruction",
33426 CTy"instruction"),
33500 CTy"instruction",
33576 CTy"instruction"),
33641 CTy"instruction",
33713 CTy"instruction"),
33721 PTy(CTy"instruction",
33728 PTy(CTy"instruction",
33812 CTy"instruction",
33863 CTy"instruction"),
33922 CTy"instruction",
33969 CTy"instruction"),
34046 CTy"instruction",
34105 CTy"instruction"),
34159 CTy"instruction",
34208 CTy"instruction"),
34216 PTy(CTy"instruction",
34223 PTy(CTy"instruction",qTy)),
34245 TP[LX(CTy"instruction"),
34292 CTy"instruction",
34337 CTy"instruction"),
34381 CTy"instruction",
34414 CTy"instruction"),
34453 CTy"instruction",
34487 CTy"instruction"),
34536 CTy"instruction",
34574 CTy"instruction"),
34595 CTy"instruction"),
34667 CTy"instruction",
34679 CTy"instruction",
34708 CTy"instruction"),
34786 CTy"instruction",
34802 CTy"instruction",
34835 CTy"instruction"),
34895 CTy"instruction",
34929 CTy"instruction"),
34979 CTy"instruction",
35009 CTy"instruction"),
35019 CTy"instruction",LW(0,32)),
35100 CTy"instruction",
35116 CTy"instruction",
35133 CTy"instruction",
35167 CTy"instruction"),
35192 CTy"instruction"),
35283 CTy"instruction",
35299 CTy"instruction",
35346 CTy"instruction"),
35424 CTy"instruction",
35474 CTy"instruction"),
35538 CTy"instruction",
35584 CTy"instruction"),
35617 CTy"instruction"),
35708 CTy"instruction",
35724 CTy"instruction",
35765 CTy"instruction"),
35773 PTy(CTy"instruction",qTy)),
35779 PTy(CTy"instruction",qTy)),
35869 CTy"instruction",
35884 CTy"instruction",
35927 CTy"instruction"),
35996 CTy"instruction",
36013 CTy"instruction",
36050 CTy"instruction"),
36156 CTy"instruction",
36171 CTy"instruction",
36213 CTy"instruction"),
36285 CTy"instruction",
36300 CTy"instruction",
36335 CTy"instruction"),
36343 PTy(CTy"instruction",qTy)),
36348 ATy(qTy,PTy(CTy"instruction",qTy)),LU),
36405 CTy"instruction",
36466 CTy"instruction"),
36521 CTy"instruction",
36582 CTy"instruction"),
36647 CTy"instruction",
36736 CTy"instruction"),
36802 CTy"instruction",
36891 CTy"instruction"),
36928 CTy"instruction",
36994 CTy"instruction"),
37035 CTy"instruction",
37117 CTy"instruction"),
37163 CTy"instruction",
37232 CTy"instruction"),
37272 CTy"instruction",
37320 CTy"instruction"),
37380 CTy"instruction",
37392 CTy"instruction",
37457 CTy"instruction"),
37524 CTy"instruction",
37589 CTy"instruction"),
37637 CTy"instruction",
37711 CTy"instruction"),
37764 CTy"instruction",
37774 CTy"instruction",
37819 CTy"instruction"),
37875 CTy"instruction",
37935 CTy"instruction"),
38006 CTy"instruction",
38090 CTy"instruction"),
38146 CTy"instruction",
38213 CTy"instruction"),
38284 CTy"instruction",
38368 CTy"instruction"),
38478 CTy"instruction",
38528 CTy"instruction",
38594 CTy"instruction",
38656 CTy"instruction",
38774 CTy"instruction",
38833 CTy"instruction",
38883 CTy"instruction",
38943 CTy"instruction",
38993 CTy"instruction",
39066 CTy"instruction",
39072 CTy"instruction",
39137 CTy"instruction",
39197 CTy"instruction",
39260 CTy"instruction",
39321 CTy"instruction",
39384 CTy"instruction",
39431 CTy"instruction",
39494 CTy"instruction",
39554 CTy"instruction",
39562 CTy"instruction"),
39569 ATy(qTy,PTy(CTy"instruction",qTy)),LU),
39574 ATy(qTy,PTy(CTy"instruction",qTy)),LU),
39618 CTy"instruction",
39672 CTy"instruction"),
39719 CTy"instruction",
39779 CTy"instruction"),
39836 ATy(qTy,PTy(CTy"instruction",qTy)),
39906 CTy"instruction",
40012 CTy"instruction"),
40075 CTy"instruction",
40133 CTy"instruction"),
40195 CTy"instruction"),
40212 CTy"instruction",
40234 CTy"instruction",
40256 CTy"instruction",
40287 CTy"instruction",
40290 TP[LX(CTy"instruction"),
40305 CTy"instruction"),
40376 CTy"instruction",
40433 CTy"instruction",
40438 CTy"instruction",
40458 CTy"instruction"),
40498 CTy"instruction",
40552 CTy"instruction"),
40593 CTy"instruction",
40651 CTy"instruction"),
40689 ("System",CTy"instruction",
40729 CTy"instruction"),
40773 ("System",CTy"instruction",
40826 CTy"instruction"),
40861 CTy"instruction",
40885 CTy"instruction"),
40903 ("Branch",CTy"instruction",
40949 ATy(qTy,CTy"instruction"),
41048 CTy"instruction",
41058 CTy"instruction",
41095 CTy"instruction"),
41165 CTy"instruction",
41243 CTy"instruction"),
41249 ATy(qTy,PTy(CTy"instruction",qTy)),LU),
41254 ATy(qTy,PTy(CTy"instruction",qTy)),LU),
41323 CTy"instruction",
41358 CTy"instruction",
41409 CTy"instruction",
41455 CTy"instruction",
41490 CTy"instruction",
41533 CTy"instruction",
41568 CTy"instruction",
41610 CTy"instruction",
41645 CTy"instruction",
41695 CTy"instruction",
41727 CTy"instruction",
41775 CTy"instruction",
41821 CTy"instruction",
41866 CTy"instruction",
41898 CTy"instruction",
41946 CTy"instruction",
41992 CTy"instruction",
42000 CTy"instruction"),
42031 ("Data",CTy"instruction",
42070 CTy"instruction"),
42100 ("Data",CTy"instruction",
42139 CTy"instruction"),
42168 ("Data",CTy"instruction",
42211 CTy"instruction"),
42266 CTy"instruction",
42330 CTy"instruction"),
42395 CTy"instruction",
42461 CTy"instruction"),
42516 CTy"instruction",
42581 CTy"instruction"),
42637 CTy"instruction",
42691 CTy"instruction"),
42697 ATy(qTy,PTy(CTy"instruction",qTy)),LU),
42702 ATy(qTy,PTy(CTy"instruction",qTy)),LU),qVar"state"))))))
42712 ("DecodeARM",ATy(qTy,PTy(CTy"instruction",qTy)),
42717 ("DecodeThumb",ATy(qTy,PTy(CTy"instruction",qTy)),
42722 ("DecodeThumbEE",ATy(qTy,PTy(CTy"instruction",qTy)),
42727 ("DecodeThumb2",ATy(qTy,PTy(CTy"instruction",qTy)),
42732 ("raise'exception",ATy(qTy,PTy(CTy"instruction",qTy)),
42742 Let(TP[Var("v",CTy"instruction"),qVar"s"],
42745 ("Decode",ATy(qTy,PTy(CTy"instruction",qTy)),
42748 (Call("Run",ATy(qTy,qTy),Var("v",CTy"instruction")),
44704 ("encode",TP[Var("c",F4),Var("ast",CTy"instruction")],
44705 CS(Var("ast",CTy"instruction"),
44706 [(Call("Branch",CTy"instruction",Var("b",CTy"Branch")),
44710 (Call("Data",CTy"instruction",Var("d",CTy"Data")),
44712 (Call("Load",CTy"instruction",Var("l",CTy"Load")),
44714 (Call("Store",CTy"instruction",Var("s",CTy"Store")),
44717 (Call("Multiply",CTy"instruction",Var("m",CTy"Multiply")),
44721 (Call("Media",CTy"instruction",Var("m",CTy"Media")),
44724 (Call("SIMD",CTy"instruction",Var("m",CTy"SIMD")),
44726 (Call("System",CTy"instruction",Var("s",CTy"System")),
44730 (Call("Hint",CTy"instruction",Var("h",CTy"Hint")),
44732 (Call("VFP",CTy"instruction",Var("v",CTy"VFP")),
44735 ("IfThen",CTy"instruction",
44739 ("Divide",CTy"instruction",
44742 (Const("ClearExclusive",CTy"instruction"),
44747 ("Swap",CTy"instruction",
44753 (Call("Undefined",CTy"instruction",Var("imm32",F32)),
44758 (Const("NoOperation",CTy"instruction"),