blob: b3419db0ee55f48b894e21cd86da7701914947e1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
|
open Library
type eireg = int
type efreg = int
type instr =
| ADDx of eireg * eireg * eireg * bool * bool
| ADDCx of eireg * eireg * eireg * bool * bool
| ADDEx of eireg * eireg * eireg * bool * bool
| ADDI of eireg * eireg * bitstring
| ADDIC of eireg * eireg * bitstring
| ADDIC_ of eireg * eireg * bitstring
| ADDIS of eireg * eireg * int
| ADDMEx of eireg * eireg * bool * bool
| ADDZEx of eireg * eireg * bool * bool
| ANDx of eireg * eireg * eireg * bool
| ANDCx of eireg * eireg * eireg * bool
| ANDI_ of eireg * eireg * int
| ANDIS_ of eireg * eireg * int
| Bx of bitstring * bool * bool
| BCx of bitstring * int * bitstring * bool * bool
| BCCTRx of bitstring * int * bool
| BCLRx of bitstring * int * bool
| CMP of int * bool * eireg * eireg
| CMPI of int * bool * eireg * bitstring
| CMPL of int * bool * eireg * eireg
| CMPLI of int * bool * eireg * int
| CNTLZWx of eireg * eireg * bool
| CRAND of int * int * int
| CRANDC of int * int * int
| CREQV of int * int * int
| CRNAND of int * int * int
| CRNOR of int * int * int
| CROR of int * int * int
| CRORC of int * int * int
| CRXOR of int * int * int
| DCBA of eireg * eireg
| DCBF of eireg * eireg
| DCBI of eireg * eireg
| DCBST of eireg * eireg
| DCBT of eireg * eireg
| DCBTST of eireg * eireg
| DCBZ of eireg * eireg
| DIVWx of eireg * eireg * eireg * bool * bool
| DIVWUx of eireg * eireg * eireg * bool * bool
| ECIWX of eireg * eireg * eireg
| ECOWX of eireg * eireg * eireg
| EIEIO
| EQVx of eireg * eireg * eireg * bool
| EXTSBx of eireg * eireg * bool
| EXTSHx of eireg * eireg * bool
| FABSx of efreg * efreg * bool
| FADDx of efreg * efreg * efreg * bool
| FADDSx of efreg * efreg * efreg * bool
| FCMPO of int * efreg * efreg
| FCMPU of int * efreg * efreg
| FCTIWx of efreg * efreg * bool
| FCTIWZx of efreg * efreg * bool
| FDIVx of efreg * efreg * efreg * bool
| FDIVSx of efreg * efreg * efreg * bool
| FMADDx of efreg * efreg * efreg * efreg * bool
| FMADDSx of efreg * efreg * efreg * efreg * bool
| FMRx of efreg * efreg * bool
| FMSUBx of efreg * efreg * efreg * efreg * bool
| FMSUBSx of efreg * efreg * efreg * efreg * bool
| FMULx of efreg * efreg * efreg * bool
| FMULSx of efreg * efreg * efreg * bool
| FNABSx of efreg * efreg * bool
| FNEGx of efreg * efreg * bool
| FNMADDx of efreg * efreg * efreg * efreg * bool
| FNMADDSx of efreg * efreg * efreg * efreg * bool
| FNMSUBx of efreg * efreg * efreg * efreg * bool
| FNMSUBSx of efreg * efreg * efreg * efreg * bool
| FRESx of efreg * efreg * bool
| FRSPx of efreg * efreg * bool
| FRSQRTEx of efreg * efreg * bool
| FSELx of efreg * efreg * efreg * efreg * bool
| FSQRTx of efreg * efreg * bool
| FSQRTSx of efreg * efreg * bool
| FSUBx of efreg * efreg * efreg * bool
| FSUBSx of efreg * efreg * efreg * bool
| ICBI of eireg * eireg
| ISYNC
| LBZ of eireg * eireg * bitstring
| LBZU of eireg * eireg * bitstring
| LBZUX of eireg * eireg * eireg
| LBZX of eireg * eireg * eireg
| LFD of efreg * eireg * bitstring
| LFDU of efreg * eireg * bitstring
| LFDUX of efreg * eireg * eireg
| LFDX of efreg * eireg * eireg
| LFS of efreg * eireg * bitstring
| LFSU of efreg * eireg * bitstring
| LFSUX of efreg * eireg * eireg
| LFSX of efreg * eireg * eireg
| LHA of eireg * eireg * bitstring
| LHAU of eireg * eireg * bitstring
| LHAUX of eireg * eireg * eireg
| LHAX of eireg * eireg * eireg
| LHBRX of eireg * eireg * eireg
| LHZ of eireg * eireg * bitstring
| LHZU of eireg * eireg * bitstring
| LHZUX of eireg * eireg * eireg
| LHZX of eireg * eireg * eireg
| LMW of eireg * eireg * int
| LSWI of eireg * eireg * eireg
| LSWX of eireg * eireg * eireg
| LWARX of eireg * eireg * eireg
| LWBRX of eireg * eireg * eireg
| LWZ of eireg * eireg * bitstring
| LWZU of eireg * eireg * bitstring
| LWZUX of eireg * eireg * eireg
| LWZX of eireg * eireg * eireg
| MCRF of int * int
| MCRFS of int * int
| MCRXR of int
| MFCR of eireg
| MFFSx of efreg * bool
| MFMSR of eireg
| MFSPR of eireg * bitstring
| MFSR of eireg * int
| MFSRIN of eireg * eireg
| MFTB of eireg * int
| MTCRF of eireg * int
| MTFSB0x of int * bool
| MTFSB1x of int * bool
| MTFSF of int * efreg * bool
| MTFSFIx of int * int * bool
| MTMSR of eireg
| MTSPR of eireg * bitstring
| MTSR of eireg * int
| MTSRIN of eireg * eireg
| MULHWx of eireg * eireg * eireg * bool
| MULHWUx of eireg * eireg * eireg * bool
| MULLI of eireg * eireg * bitstring
| MULLWx of eireg * eireg * eireg * bool * bool
| NANDx of eireg * eireg * eireg * bool
| NEGx of eireg * eireg * bool * bool
| NORx of eireg * eireg * eireg * bool
| ORx of eireg * eireg * eireg * bool
| ORCx of eireg * eireg * eireg * bool
| ORI of eireg * eireg * int
| ORIS of eireg * eireg * int
| RFI
| RLWIMIx of eireg * eireg * int * int * int * bool
| RLWINMx of eireg * eireg * int * int * int * bool
| RLWNMx of eireg * eireg * eireg * int * int * bool
| SC
| SLWx of eireg * eireg * eireg * bool
| SRAWx of eireg * eireg * eireg * bool
| SRAWIx of eireg * eireg * int * bool
| SRWx of eireg * eireg * eireg * bool
| STB of eireg * eireg * bitstring
| STBU of eireg * eireg * bitstring
| STBUX of eireg * eireg * eireg
| STBX of eireg * eireg * eireg
| STFD of efreg * eireg * bitstring
| STFDU of efreg * eireg * bitstring
| STFDUX of efreg * eireg * eireg
| STFDX of efreg * eireg * eireg
| STFIWX of eireg * eireg * eireg
| STFS of efreg * eireg * bitstring
| STFSU of efreg * eireg * bitstring
| STFSUX of efreg * eireg * eireg
| STFSX of efreg * eireg * eireg
| STH of eireg * eireg * bitstring
| STHBRX of eireg * eireg * eireg
| STHU of eireg * eireg * bitstring
| STHUX of eireg * eireg * eireg
| STHX of eireg * eireg * eireg
| STMW of eireg * eireg * int
| STSWI of eireg * eireg * eireg
| STSWX of eireg * eireg * eireg
| STW of eireg * eireg * bitstring
| STWBRX of eireg * eireg * eireg
| STWCX_ of eireg * eireg * eireg
| STWU of eireg * eireg * bitstring
| STWUX of eireg * eireg * eireg
| STWX of eireg * eireg * eireg
| SUBFx of eireg * eireg * eireg * bool * bool
| SUBFCx of eireg * eireg * eireg * bool * bool
| SUBFEx of eireg * eireg * eireg * bool * bool
| SUBFIC of eireg * eireg * bitstring
| SUBFMEx of eireg * eireg * bool * bool
| SUBFZEx of eireg * eireg * bool * bool
| SYNC
| TLBIA
| TLBIE of eireg
| TLBSYNC
| TW of bitstring * eireg * eireg
| TWI of bitstring * eireg * int
| XORx of eireg * eireg * eireg * bool
| XORI of eireg * eireg * int
| XORIS of eireg * eireg * int
| UNKNOWN of bitstring
(* ELF parsed code *)
type ecode = instr list
|
