File: ast.gen

package info (click to toggle)
sail-ocaml 0.19.1%2Bdfsg5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 18,008 kB
  • sloc: ml: 75,941; ansic: 8,848; python: 1,342; exp: 560; sh: 474; makefile: 218; cpp: 36
file content (202 lines) | stat: -rw-r--r-- 6,015 bytes parent folder | download
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
199
200
201
202
  | `Pb of setaa*setlk*k
  | `Pbc of setaa*setlk*k*k*k
  | `Pbclr of setlk*k*k*k
  | `Pbcctr of setlk*k*k*k
  | `Pcrand of k*k*k
  | `Pcrnand of k*k*k
  | `Pcror of k*k*k
  | `Pcrxor of k*k*k
  | `Pcrnor of k*k*k
  | `Pcreqv of k*k*k
  | `Pcrandc of k*k*k
  | `Pcrorc of k*k*k
  | `Pmcrf of crindex*k
  | `Psc of k
  | `Pscv of k
  | `Plbz of reg*k*reg
  | `Plbzx of reg*reg*reg
  | `Plbzu of reg*k*reg
  | `Plbzux of reg*reg*reg
  | `Plhz of reg*k*reg
  | `Plhzx of reg*reg*reg
  | `Plhzu of reg*k*reg
  | `Plhzux of reg*reg*reg
  | `Plha of reg*k*reg
  | `Plhax of reg*reg*reg
  | `Plhau of reg*k*reg
  | `Plhaux of reg*reg*reg
  | `Plwz of reg*k*reg
  | `Plwzx of reg*reg*reg
  | `Plwzu of reg*k*reg
  | `Plwzux of reg*reg*reg
  | `Plwa of reg*ds*reg
  | `Plwax of reg*reg*reg
  | `Plwaux of reg*reg*reg
  | `Pld of reg*ds*reg
  | `Pldx of reg*reg*reg
  | `Pldu of reg*ds*reg
  | `Pldux of reg*reg*reg
  | `Pstb of reg*k*reg
  | `Pstbx of reg*reg*reg
  | `Pstbu of reg*k*reg
  | `Pstbux of reg*reg*reg
  | `Psth of reg*k*reg
  | `Psthx of reg*reg*reg
  | `Psthu of reg*k*reg
  | `Psthux of reg*reg*reg
  | `Pstw of reg*k*reg
  | `Pstwx of reg*reg*reg
  | `Pstwu of reg*k*reg
  | `Pstwux of reg*reg*reg
  | `Pstd of reg*ds*reg
  | `Pstdx of reg*reg*reg
  | `Pstdu of reg*ds*reg
  | `Pstdux of reg*reg*reg
  | `Plq of k*k*reg*k
  | `Pstq of k*ds*reg
  | `Plhbrx of reg*reg*reg
  | `Psthbrx of reg*reg*reg
  | `Plwbrx of reg*reg*reg
  | `Pstwbrx of reg*reg*reg
  | `Pldbrx of reg*reg*reg
  | `Pstdbrx of reg*reg*reg
  | `Plmw of reg*k*reg
  | `Pstmw of reg*k*reg
  | `Plswi of k*reg*k
  | `Plswx of reg*reg*reg
  | `Pstswi of k*reg*k
  | `Pstswx of k*reg*reg
  | `Paddi of reg*reg*k
  | `Paddis of reg*reg*k
  | `Padd of setsoov*setcr0*reg*reg*reg
  | `Psubf of setsoov*setcr0*reg*reg*reg
  | `Paddic of reg*reg*k
  | `Paddicdot of reg*reg*k
  | `Psubfic of reg*reg*k
  | `Paddc of setsoov*setcr0*reg*reg*reg
  | `Psubfc of setsoov*setcr0*reg*reg*reg
  | `Padde of setsoov*setcr0*reg*reg*reg
  | `Psubfe of setsoov*setcr0*reg*reg*reg
  | `Paddme of setsoov*setcr0*reg*reg
  | `Psubfme of setsoov*setcr0*reg*reg
  | `Paddze of setsoov*setcr0*reg*reg
  | `Psubfze of setsoov*setcr0*reg*reg
  | `Pneg of setsoov*setcr0*reg*reg
  | `Pmulli of reg*reg*k
  | `Pmullw of setsoov*setcr0*reg*reg*reg
  | `Pmulhw of setcr0*reg*reg*reg
  | `Pmulhwu of setcr0*reg*reg*reg
  | `Pdivw of setsoov*setcr0*reg*reg*reg
  | `Pdivwu of setsoov*setcr0*reg*reg*reg
  | `Pdivwe of setsoov*setcr0*reg*reg*reg
  | `Pdivweu of setsoov*setcr0*reg*reg*reg
  | `Pmulld of setsoov*setcr0*reg*reg*reg
  | `Pmulhd of setcr0*reg*reg*reg
  | `Pmulhdu of setcr0*reg*reg*reg
  | `Pdivd of setsoov*setcr0*reg*reg*reg
  | `Pdivdu of setsoov*setcr0*reg*reg*reg
  | `Pdivde of setsoov*setcr0*reg*reg*reg
  | `Pdivdeu of setsoov*setcr0*reg*reg*reg
  | `Pcmpi of crindex*k*reg*k
  | `Pcmp of crindex*k*reg*reg
  | `Pcmpli of crindex*k*reg*k
  | `Pcmpl of crindex*k*reg*reg
  | `Pisel of reg*reg*reg*k
  | `Pandi of reg*reg*k
  | `Pandis of reg*reg*k
  | `Pori of reg*reg*k
  | `Poris of reg*reg*k
  | `Pxori of reg*reg*k
  | `Pxoris of reg*reg*k
  | `Pand of setcr0*reg*reg*reg
  | `Pxor of setcr0*reg*reg*reg
  | `Pnand of setcr0*reg*reg*reg
  | `Por of setcr0*reg*reg*reg
  | `Pnor of setcr0*reg*reg*reg
  | `Peqv of setcr0*reg*reg*reg
  | `Pandc of setcr0*reg*reg*reg
  | `Porc of setcr0*reg*reg*reg
  | `Pextsb of setcr0*reg*reg
  | `Pextsh of setcr0*reg*reg
  | `Pcntlzw of setcr0*reg*reg
  | `Pcmpb of reg*k*reg
  | `Ppopcntb of reg*reg
  | `Ppopcntw of reg*reg
  | `Pprtyd of reg*reg
  | `Pprtyw of reg*reg
  | `Pextsw of setcr0*reg*reg
  | `Pcntlzd of setcr0*reg*reg
  | `Ppopcntd of reg*reg
  | `Pbpermd of reg*reg*reg
  | `Prlwinm of setcr0*reg*reg*k*k*k
  | `Prlwnm of setcr0*reg*reg*reg*k*k
  | `Prlwimi of setcr0*reg*reg*k*k*k
  | `Prldicl of setcr0*reg*reg*k*k
  | `Prldicr of setcr0*reg*reg*k*k
  | `Prldic of setcr0*reg*reg*k*k
  | `Prldcl of setcr0*reg*reg*reg*k
  | `Prldcr of setcr0*reg*reg*reg*k
  | `Prldimi of setcr0*reg*reg*k*k
  | `Pslw of setcr0*reg*reg*reg
  | `Psrw of setcr0*reg*reg*reg
  | `Psrawi of setcr0*reg*reg*k
  | `Psraw of setcr0*reg*reg*reg
  | `Psld of setcr0*reg*reg*reg
  | `Psrd of setcr0*reg*reg*reg
  | `Psradi of setcr0*reg*reg*k
  | `Psrad of setcr0*reg*reg*reg
  | `Pcdtbcd of reg*reg
  | `Pcbcdtd of reg*reg
  | `Paddg6s of reg*reg*reg
  | `Pmtspr of k*reg
  | `Pmfspr of reg*k
  | `Pmtcrf of crmask*reg
  | `Pmfcr of reg
  | `Pmtocrf of crmask*reg
  | `Pmfocrf of reg*crmask
  | `Pmcrxr of crindex
  | `Pdlmzb of setcr0*reg*reg*reg
  | `Pmacchw of setsoov*setcr0*reg*reg*reg
  | `Pmacchws of setsoov*setcr0*reg*reg*reg
  | `Pmacchwu of setsoov*setcr0*reg*reg*reg
  | `Pmacchwsu of setsoov*setcr0*reg*reg*reg
  | `Pmachhw of setsoov*setcr0*reg*reg*reg
  | `Pmachhws of setsoov*setcr0*reg*reg*reg
  | `Pmachhwu of setsoov*setcr0*reg*reg*reg
  | `Pmachhwsu of setsoov*setcr0*reg*reg*reg
  | `Pmaclhw of setsoov*setcr0*reg*reg*reg
  | `Pmaclhws of setsoov*setcr0*reg*reg*reg
  | `Pmaclhwu of setsoov*setcr0*reg*reg*reg
  | `Pmaclhwsu of setsoov*setcr0*reg*reg*reg
  | `Pmulchw of setcr0*reg*reg*reg
  | `Pmulchwu of setcr0*reg*reg*reg
  | `Pmulhhw of setcr0*reg*reg*reg
  | `Pmulhhwu of setcr0*reg*reg*reg
  | `Pmullhw of setcr0*reg*reg*reg
  | `Pmullhwu of setcr0*reg*reg*reg
  | `Pnmacchw of setsoov*setcr0*reg*reg*reg
  | `Pnmacchws of setsoov*setcr0*reg*reg*reg
  | `Pnmachhw of setsoov*setcr0*reg*reg*reg
  | `Pnmachhws of setsoov*setcr0*reg*reg*reg
  | `Pnmaclhw of setsoov*setcr0*reg*reg*reg
  | `Pnmaclhws of setsoov*setcr0*reg*reg*reg
  | `Picbi of reg*reg
  | `Picbt of k*reg*reg
  | `Pdcba of reg*reg
  | `Pdcbt of reg*reg*k
  | `Pdcbtst of reg*reg*k
  | `Pdcbz of reg*reg
  | `Pdcbst of reg*reg
  | `Pdcbf of reg*reg*k
  | `Pisync
  | `Plbarx of reg*reg*reg*k
  | `Plharx of reg*reg*reg*k
  | `Plwarx of reg*reg*reg*k
  | `Pstbcx of reg*reg*reg
  | `Psthcx of reg*reg*reg
  | `Pstwcx of reg*reg*reg
  | `Pldarx of reg*reg*reg*k
  | `Pstdcx of reg*reg*reg
  | `Psync of k
  | `Peieio
  | `Pwait of k