File: tokens.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 (368 lines) | stat: -rw-r--r-- 5,280 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
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
%token B
%token BA
%token BL
%token BLA
%token BC
%token BCA
%token BCL
%token BCLA
%token BCLR
%token BCLRL
%token BCCTR
%token BCCTRL
%token CRAND
%token CRNAND
%token CROR
%token CRXOR
%token CRNOR
%token CREQV
%token CRANDC
%token CRORC
%token MCRF
%token SC
%token SCV
%token LBZ
%token LBZX
%token LBZU
%token LBZUX
%token LHZ
%token LHZX
%token LHZU
%token LHZUX
%token LHA
%token LHAX
%token LHAU
%token LHAUX
%token LWZ
%token LWZX
%token LWZU
%token LWZUX
%token LWA
%token LWAX
%token LWAUX
%token LD
%token LDX
%token LDU
%token LDUX
%token STB
%token STBX
%token STBU
%token STBUX
%token STH
%token STHX
%token STHU
%token STHUX
%token STW
%token STWX
%token STWU
%token STWUX
%token STD
%token STDX
%token STDU
%token STDUX
%token LQ
%token STQ
%token LHBRX
%token STHBRX
%token LWBRX
%token STWBRX
%token LDBRX
%token STDBRX
%token LMW
%token STMW
%token LSWI
%token LSWX
%token STSWI
%token STSWX
%token ADDI
%token ADDIS
%token ADD
%token ADDDOT
%token ADDO
%token ADDODOT
%token SUBF
%token SUBFDOT
%token SUBFO
%token SUBFODOT
%token ADDIC
%token ADDICDOT
%token SUBFIC
%token ADDC
%token ADDCDOT
%token ADDCO
%token ADDCODOT
%token SUBFC
%token SUBFCDOT
%token SUBFCO
%token SUBFCODOT
%token ADDE
%token ADDEDOT
%token ADDEO
%token ADDEODOT
%token SUBFE
%token SUBFEDOT
%token SUBFEO
%token SUBFEODOT
%token ADDME
%token ADDMEDOT
%token ADDMEO
%token ADDMEODOT
%token SUBFME
%token SUBFMEDOT
%token SUBFMEO
%token SUBFMEODOT
%token ADDZE
%token ADDZEDOT
%token ADDZEO
%token ADDZEODOT
%token SUBFZE
%token SUBFZEDOT
%token SUBFZEO
%token SUBFZEODOT
%token NEG
%token NEGDOT
%token NEGO
%token NEGODOT
%token MULLI
%token MULLW
%token MULLWDOT
%token MULLWO
%token MULLWODOT
%token MULHW
%token MULHWDOT
%token MULHWU
%token MULHWUDOT
%token DIVW
%token DIVWDOT
%token DIVWO
%token DIVWODOT
%token DIVWU
%token DIVWUDOT
%token DIVWUO
%token DIVWUODOT
%token DIVWE
%token DIVWEDOT
%token DIVWEO
%token DIVWEODOT
%token DIVWEU
%token DIVWEUDOT
%token DIVWEUO
%token DIVWEUODOT
%token MULLD
%token MULLDDOT
%token MULLDO
%token MULLDODOT
%token MULHD
%token MULHDDOT
%token MULHDU
%token MULHDUDOT
%token DIVD
%token DIVDDOT
%token DIVDO
%token DIVDODOT
%token DIVDU
%token DIVDUDOT
%token DIVDUO
%token DIVDUODOT
%token DIVDE
%token DIVDEDOT
%token DIVDEO
%token DIVDEODOT
%token DIVDEU
%token DIVDEUDOT
%token DIVDEUO
%token DIVDEUODOT
%token CMPI
%token CMP
%token CMPLI
%token CMPL
%token ISEL
%token ANDIDOT
%token ANDISDOT
%token ORI
%token ORIS
%token XORI
%token XORIS
%token AND
%token ANDDOT
%token XOR
%token XORDOT
%token NAND
%token NANDDOT
%token OR
%token ORDOT
%token NOR
%token NORDOT
%token EQV
%token EQVDOT
%token ANDC
%token ANDCDOT
%token ORC
%token ORCDOT
%token EXTSB
%token EXTSBDOT
%token EXTSH
%token EXTSHDOT
%token CNTLZW
%token CNTLZWDOT
%token CMPB
%token POPCNTB
%token POPCNTW
%token PRTYD
%token PRTYW
%token EXTSW
%token EXTSWDOT
%token CNTLZD
%token CNTLZDDOT
%token POPCNTD
%token BPERMD
%token RLWINM
%token RLWINMDOT
%token RLWNM
%token RLWNMDOT
%token RLWIMI
%token RLWIMIDOT
%token RLDICL
%token RLDICLDOT
%token RLDICR
%token RLDICRDOT
%token RLDIC
%token RLDICDOT
%token RLDCL
%token RLDCLDOT
%token RLDCR
%token RLDCRDOT
%token RLDIMI
%token RLDIMIDOT
%token SLW
%token SLWDOT
%token SRW
%token SRWDOT
%token SRAWI
%token SRAWIDOT
%token SRAW
%token SRAWDOT
%token SLD
%token SLDDOT
%token SRD
%token SRDDOT
%token SRADI
%token SRADIDOT
%token SRAD
%token SRADDOT
%token CDTBCD
%token CBCDTD
%token ADDG6S
%token MTSPR
%token MFSPR
%token MTCRF
%token MFCR
%token MTOCRF
%token MFOCRF
%token MCRXR
%token DLMZB
%token DLMZBDOT
%token MACCHW
%token MACCHWDOT
%token MACCHWO
%token MACCHWODOT
%token MACCHWS
%token MACCHWSDOT
%token MACCHWSO
%token MACCHWSODOT
%token MACCHWU
%token MACCHWUDOT
%token MACCHWUO
%token MACCHWUODOT
%token MACCHWSU
%token MACCHWSUDOT
%token MACCHWSUO
%token MACCHWSUODOT
%token MACHHW
%token MACHHWDOT
%token MACHHWO
%token MACHHWODOT
%token MACHHWS
%token MACHHWSDOT
%token MACHHWSO
%token MACHHWSODOT
%token MACHHWU
%token MACHHWUDOT
%token MACHHWUO
%token MACHHWUODOT
%token MACHHWSU
%token MACHHWSUDOT
%token MACHHWSUO
%token MACHHWSUODOT
%token MACLHW
%token MACLHWDOT
%token MACLHWO
%token MACLHWODOT
%token MACLHWS
%token MACLHWSDOT
%token MACLHWSO
%token MACLHWSODOT
%token MACLHWU
%token MACLHWUDOT
%token MACLHWUO
%token MACLHWUODOT
%token MACLHWSU
%token MACLHWSUDOT
%token MACLHWSUO
%token MACLHWSUODOT
%token MULCHW
%token MULCHWDOT
%token MULCHWU
%token MULCHWUDOT
%token MULHHW
%token MULHHWDOT
%token MULHHWU
%token MULHHWUDOT
%token MULLHW
%token MULLHWDOT
%token MULLHWU
%token MULLHWUDOT
%token NMACCHW
%token NMACCHWDOT
%token NMACCHWO
%token NMACCHWODOT
%token NMACCHWS
%token NMACCHWSDOT
%token NMACCHWSO
%token NMACCHWSODOT
%token NMACHHW
%token NMACHHWDOT
%token NMACHHWO
%token NMACHHWODOT
%token NMACHHWS
%token NMACHHWSDOT
%token NMACHHWSO
%token NMACHHWSODOT
%token NMACLHW
%token NMACLHWDOT
%token NMACLHWO
%token NMACLHWODOT
%token NMACLHWS
%token NMACLHWSDOT
%token NMACLHWSO
%token NMACLHWSODOT
%token ICBI
%token ICBT
%token DCBA
%token DCBT
%token DCBTST
%token DCBZ
%token DCBST
%token DCBF
%token ISYNC
%token LBARX
%token LHARX
%token LWARX
%token STBCXDOT
%token STHCXDOT
%token STWCXDOT
%token LDARX
%token STDCXDOT
%token SYNC
%token EIEIO
%token WAIT