package / ocaml-base-compiler.4.10.0 / middle_end / internal_variable_names.ml
1 (**************************************************************************)
2 (* *)
3 (* OCaml *)
4 (* *)
5 (* Fu Yong Quah, Jane Street Europe *)
6 (* *)
7 (* Copyright 2017 Jane Street Group LLC *)
8 (* *)
9 (* All rights reserved. This file is distributed under the terms of *)
10 (* the GNU Lesser General Public License version 2.1, with the *)
11 (* special exception on linking described in the file LICENSE. *)
12 (* *)
13 (**************************************************************************)
14
15 [@@@ocaml.warning "+a-4-9-30-40-41-42-66"]
16 open! Int_replace_polymorphic_compare
17
18 type t = string
19
20 let apply_arg = "apply_arg"
21 let apply_funct = "apply_funct"
22 let block_symbol = "block_symbol"
23 let block_symbol_get = "block_symbol_get"
24 let block_symbol_get_field = "block_symbol_get_field"
25 let closure = "closure"
26 let cond = "cond"
27 let cond_sequor = "cond_sequor"
28 let const_block = "const_block"
29 let const_bool = "const_bool"
30 let const_boxed_int = "const_boxed_int"
31 let const_char = "const_char"
32 let const_false = "const_false"
33 let const_float = "const_float"
34 let const_int = "const_int"
35 let const_one = "const_one"
36 let const_ptr = "const_ptr"
37 let const_ptr_one = "const_ptr_one"
38 let const_ptr_zero = "const_ptr_zero"
39 let const_sequand = "const_sequand"
40 let const_string = "const_string"
41 let const_true = "const_true"
42 let const_zero = "const_zero"
43 let denominator = "denominator"
44 let division_by_zero = "division_by_zero"
45 let dummy = "dummy"
46 let dup_func = "dup_func"
47 let dup_set_of_closures = "dup_set_of_closures"
48 let const_float_array = "const_float_array"
49 let fake_effect_symbol = "fake_effect_symbol"
50 let for_from = "for_from"
51 let for_to = "for_to"
52 let from_closure = "from_closure"
53 let full_apply = "full_apply"
54 let get_symbol_field = "get_symbol_field"
55 let const_immstring = "const_immstring"
56 let const_int32 = "const_int32"
57 let const_int64 = "const_int64"
58 let ignore = "ignore"
59 let is_zero = "is_zero"
60 let lifted_let_rec_block = "lifted_let_rec_block"
61 let meth = "meth"
62 let module_as_block = "module_as_block"
63 let const_nativeint = "const_nativeint"
64 let new_value = "new_value"
65 let numerator = "numerator"
66 let obj = "obj"
67 let offsetted = "offsetted"
68 let pabsfloat = "Pabsfloat"
69 let paddbint = "Paddbint"
70 let paddfloat = "Paddfloat"
71 let paddint = "Paddint"
72 let pandbint = "Pandbint"
73 let pandint = "Pandint"
74 let parraylength = "Parraylength"
75 let parrayrefs = "Parrayrefs"
76 let parrayrefu = "Parrayrefu"
77 let parraysets = "Parraysets"
78 let parraysetu = "Parraysetu"
79 let pasrbint = "Pasrbint"
80 let pasrint = "Pasrint"
81 let pbbswap = "Pbbswap"
82 let pbigarraydim = "Pbigarraydim"
83 let pbigarrayref = "Pbigarrayref"
84 let pbigarrayset = "Pbigarrayset"
85 let pbigstring_load_16 = "Pbigstring_load_16"
86 let pbigstring_load_32 = "Pbigstring_load_32"
87 let pbigstring_load_64 = "Pbigstring_load_64"
88 let pbigstring_set_16 = "Pbigstring_set_16"
89 let pbigstring_set_32 = "Pbigstring_set_32"
90 let pbigstring_set_64 = "Pbigstring_set_64"
91 let pbintcomp = "Pbintcomp"
92 let pbintofint = "Pbintofint"
93 let pbswap16 = "Pbswap16"
94 let pbytes_of_string = "Pbytes_of_string"
95 let pbytes_load_16 = "Pbytes_load_16"
96 let pbytes_load_32 = "Pbytes_load_32"
97 let pbytes_load_64 = "Pbytes_load_64"
98 let pbytes_set_16 = "Pbytes_set_16"
99 let pbytes_set_32 = "Pbytes_set_32"
100 let pbytes_set_64 = "Pbytes_set_64"
101 let pbytes_to_string = "Pbytes_to_string"
102 let pbyteslength = "Pbyteslength"
103 let pbytesrefs = "Pbytesrefs"
104 let pbytesrefu = "Pbytesrefu"
105 let pbytessets = "Pbytessets"
106 let pbytessetu = "Pbytessetu"
107 let pccall = "Pccall"
108 let pctconst = "Pctconst"
109 let pcvtbint = "Pcvtbint"
110 let pdirapply = "Pdirapply"
111 let pdivbint = "Pdivbint"
112 let pdivfloat = "Pdivfloat"
113 let pdivint = "Pdivint"
114 let pduparray = "Pduparray"
115 let pduprecord = "Pduprecord"
116 let pfield = "Pfield"
117 let pfield_computed = "Pfield_computed"
118 let pfloatcomp = "Pfloatcomp"
119 let pfloatfield = "Pfloatfield"
120 let pfloatofint = "Pfloatofint"
121 let pgetglobal = "Pgetglobal"
122 let pidentity = "Pidentity"
123 let pignore = "Pignore"
124 let pint_as_pointer = "Pint_as_pointer"
125 let pintcomp = "Pintcomp"
126 let pintofbint = "Pintofbint"
127 let pintoffloat = "Pintoffloat"
128 let pisint = "Pisint"
129 let pisout = "Pisout"
130 let plslbint = "Plslbint"
131 let plslint = "Plslint"
132 let plsrbint = "Plsrbint"
133 let plsrint = "Plsrint"
134 let pmakearray = "Pmakearray"
135 let pmakeblock = "Pmakeblock"
136 let pmodbint = "Pmodbint"
137 let pmodint = "Pmodint"
138 let pmulbint = "Pmulbint"
139 let pmulfloat = "Pmulfloat"
140 let pmulint = "Pmulint"
141 let pnegbint = "Pnegbint"
142 let pnegfloat = "Pnegfloat"
143 let pnegint = "Pnegint"
144 let pnot = "Pnot"
145 let poffsetint = "Poffsetint"
146 let poffsetref = "Poffsetref"
147 let pointer = "pointer"
148 let popaque = "Popaque"
149 let porbint = "Porbint"
150 let porint = "Porint"
151 let praise = "Praise"
152 let predef_exn = "predef_exn"
153 let prevapply = "Prevapply"
154 let project_closure = "project_closure"
155 let psequand = "Psequand"
156 let psequor = "Psequor"
157 let psetfield = "Psetfield"
158 let psetfield_computed = "Psetfield_computed"
159 let psetfloatfield = "Psetfloatfield"
160 let psetglobal = "Psetglobal"
161 let pstring_load_16 = "Pstring_load_16"
162 let pstring_load_32 = "Pstring_load_32"
163 let pstring_load_64 = "Pstring_load_64"
164 let pstringlength = "Pstringlength"
165 let pstringrefs = "Pstringrefs"
166 let pstringrefu = "Pstringrefu"
167 let psubbint = "Psubbint"
168 let psubfloat = "Psubfloat"
169 let psubint = "Psubint"
170 let pxorbint = "Pxorbint"
171 let pxorint = "Pxorint"
172 let pabsfloat_arg = "Pabsfloat_arg"
173 let paddbint_arg = "Paddbint_arg"
174 let paddfloat_arg = "Paddfloat_arg"
175 let paddint_arg = "Paddint_arg"
176 let pandbint_arg = "Pandbint_arg"
177 let pandint_arg = "Pandint_arg"
178 let parraylength_arg = "Parraylength_arg"
179 let parrayrefs_arg = "Parrayrefs_arg"
180 let parrayrefu_arg = "Parrayrefu_arg"
181 let parraysets_arg = "Parraysets_arg"
182 let parraysetu_arg = "Parraysetu_arg"
183 let partial_fun = "partial_fun"
184 let pasrbint_arg = "Pasrbint_arg"
185 let pasrint_arg = "Pasrint_arg"
186 let pbbswap_arg = "Pbbswap_arg"
187 let pbigarraydim_arg = "Pbigarraydim_arg"
188 let pbigarrayref_arg = "Pbigarrayref_arg"
189 let pbigarrayset_arg = "Pbigarrayset_arg"
190 let pbigstring_load_16_arg = "Pbigstring_load_16_arg"
191 let pbigstring_load_32_arg = "Pbigstring_load_32_arg"
192 let pbigstring_load_64_arg = "Pbigstring_load_64_arg"
193 let pbigstring_set_16_arg = "Pbigstring_set_16_arg"
194 let pbigstring_set_32_arg = "Pbigstring_set_32_arg"
195 let pbigstring_set_64_arg = "Pbigstring_set_64_arg"
196 let pbintcomp_arg = "Pbintcomp_arg"
197 let pbintofint_arg = "Pbintofint_arg"
198 let pbswap16_arg = "Pbswap16_arg"
199 let pbytes_of_string_arg = "Pbytes_of_string_arg"
200 let pbytes_to_string_arg = "Pbytes_to_string_arg"
201 let pbyteslength_arg = "Pbyteslength_arg"
202 let pbytesrefs_arg = "Pbytesrefs_arg"
203 let pbytesrefu_arg = "Pbytesrefu_arg"
204 let pbytessets_arg = "Pbytessets_arg"
205 let pbytessetu_arg = "Pbytessetu_arg"
206 let pccall_arg = "Pccall_arg"
207 let pctconst_arg = "Pctconst_arg"
208 let pcvtbint_arg = "Pcvtbint_arg"
209 let pdirapply_arg = "Pdirapply_arg"
210 let pdivbint_arg = "Pdivbint_arg"
211 let pdivfloat_arg = "Pdivfloat_arg"
212 let pdivint_arg = "Pdivint_arg"
213 let pduparray_arg = "Pduparray_arg"
214 let pduprecord_arg = "Pduprecord_arg"
215 let pfield_arg = "Pfield_arg"
216 let pfield_computed_arg = "Pfield_computed_arg"
217 let pfloatcomp_arg = "Pfloatcomp_arg"
218 let pfloatfield_arg = "Pfloatfield_arg"
219 let pfloatofint_arg = "Pfloatofint_arg"
220 let pgetglobal_arg = "Pgetglobal_arg"
221 let pidentity_arg = "Pidentity_arg"
222 let pignore_arg = "Pignore_arg"
223 let pint_as_pointer_arg = "Pint_as_pointer_arg"
224 let pintcomp_arg = "Pintcomp_arg"
225 let pintofbint_arg = "Pintofbint_arg"
226 let pintoffloat_arg = "Pintoffloat_arg"
227 let pisint_arg = "Pisint_arg"
228 let pisout_arg = "Pisout_arg"
229 let plslbint_arg = "Plslbint_arg"
230 let plslint_arg = "Plslint_arg"
231 let plsrbint_arg = "Plsrbint_arg"
232 let plsrint_arg = "Plsrint_arg"
233 let pmakearray_arg = "Pmakearray_arg"
234 let pmakeblock_arg = "Pmakeblock_arg"
235 let pmodbint_arg = "Pmodbint_arg"
236 let pmodint_arg = "Pmodint_arg"
237 let pmulbint_arg = "Pmulbint_arg"
238 let pmulfloat_arg = "Pmulfloat_arg"
239 let pmulint_arg = "Pmulint_arg"
240 let pnegbint_arg = "Pnegbint_arg"
241 let pnegfloat_arg = "Pnegfloat_arg"
242 let pnegint_arg = "Pnegint_arg"
243 let pnot_arg = "Pnot_arg"
244 let poffsetint_arg = "Poffsetint_arg"
245 let poffsetref_arg = "Poffsetref_arg"
246 let popaque_arg = "Popaque_arg"
247 let porbint_arg = "Porbint_arg"
248 let porint_arg = "Porint_arg"
249 let praise_arg = "Praise_arg"
250 let prevapply_arg = "Prevapply_arg"
251 let psequand_arg = "Psequand_arg"
252 let psequor_arg = "Psequor_arg"
253 let psetfield_arg = "Psetfield_arg"
254 let psetfield_computed_arg = "Psetfield_computed_arg"
255 let psetfloatfield_arg = "Psetfloatfield_arg"
256 let psetglobal_arg = "Psetglobal_arg"
257 let pstring_load_16_arg = "Pstring_load_16_arg"
258 let pstring_load_32_arg = "Pstring_load_32_arg"
259 let pstring_load_64_arg = "Pstring_load_64_arg"
260 let pbytes_load_16_arg = "Pbytes_load_16_arg"
261 let pbytes_load_32_arg = "Pbytes_load_32_arg"
262 let pbytes_load_64_arg = "Pbytes_load_64_arg"
263 let pbytes_set_16_arg = "Pbytes_set_16_arg"
264 let pbytes_set_32_arg = "Pbytes_set_32_arg"
265 let pbytes_set_64_arg = "Pbytes_set_64_arg"
266 let pstringlength_arg = "Pstringlength_arg"
267 let pstringrefs_arg = "Pstringrefs_arg"
268 let pstringrefu_arg = "Pstringrefu_arg"
269 let psubbint_arg = "Psubbint_arg"
270 let psubfloat_arg = "Psubfloat_arg"
271 let psubint_arg = "Psubint_arg"
272 let pxorbint_arg = "Pxorbint_arg"
273 let pxorint_arg = "Pxorint_arg"
274 let raise = "raise"
275 let raise_arg = "raise_arg"
276 let read_mutable = "read_mutable"
277 let remove_unused_arguments = "remove_unused_arguments"
278 let result = "result"
279 let send_arg = "send_arg"
280 let sequence = "sequence"
281 let set_of_closures = "set_of_closures"
282 let simplify_fv = "simplify_fv"
283 let staticraise_arg = "staticraise_arg"
284 let string_switch = "string_switch"
285 let switch = "switch"
286 let symbol = "symbol"
287 let symbol_field = "symbol_field"
288 let symbol_field_block = "symbol_field_block"
289 let the_dead_constant = "the_dead_constant"
290 let toplevel_substitution_named = "toplevel_substitution_named"
291 let unbox_free_vars_of_closures = "unbox_free_vars_of_closures"
292 let unit = "unit"
293 let zero = "zero"
294
295 let anon_fn_with_loc (loc: Location.t) =
296 let (file, line, startchar) = Location.get_pos_info loc.loc_start in
297 let endchar = loc.loc_end.pos_cnum - loc.loc_start.pos_bol in
298 let pp_chars ppf =
299 if startchar >= 0 then Format.fprintf ppf ",%i--%i" startchar endchar in
300 if loc.Location.loc_ghost then "anon_fn"
301 else
302 Format.asprintf "anon_fn[%s:%i%t]"
303 (Filename.basename file) line pp_chars
304
305 let of_primitive : Lambda.primitive -> string = function
306 | Pidentity -> pidentity
307 | Pbytes_of_string -> pbytes_of_string
308 | Pbytes_to_string -> pbytes_to_string
309 | Pignore -> pignore
310 | Prevapply -> prevapply
311 | Pdirapply -> pdirapply
312 | Pgetglobal _ -> pgetglobal
313 | Psetglobal _ -> psetglobal
314 | Pmakeblock _ -> pmakeblock
315 | Pfield _ -> pfield
316 | Pfield_computed -> pfield_computed
317 | Psetfield _ -> psetfield
318 | Psetfield_computed _ -> psetfield_computed
319 | Pfloatfield _ -> pfloatfield
320 | Psetfloatfield _ -> psetfloatfield
321 | Pduprecord _ -> pduprecord
322 | Pccall _ -> pccall
323 | Praise _ -> praise
324 | Psequand -> psequand
325 | Psequor -> psequor
326 | Pnot -> pnot
327 | Pnegint -> pnegint
328 | Paddint -> paddint
329 | Psubint -> psubint
330 | Pmulint -> pmulint
331 | Pdivint _ -> pdivint
332 | Pmodint _ -> pmodint
333 | Pandint -> pandint
334 | Porint -> porint
335 | Pxorint -> pxorint
336 | Plslint -> plslint
337 | Plsrint -> plsrint
338 | Pasrint -> pasrint
339 | Pintcomp _ -> pintcomp
340 | Poffsetint _ -> poffsetint
341 | Poffsetref _ -> poffsetref
342 | Pintoffloat -> pintoffloat
343 | Pfloatofint -> pfloatofint
344 | Pnegfloat -> pnegfloat
345 | Pabsfloat -> pabsfloat
346 | Paddfloat -> paddfloat
347 | Psubfloat -> psubfloat
348 | Pmulfloat -> pmulfloat
349 | Pdivfloat -> pdivfloat
350 | Pfloatcomp _ -> pfloatcomp
351 | Pstringlength -> pstringlength
352 | Pstringrefu -> pstringrefu
353 | Pstringrefs -> pstringrefs
354 | Pbyteslength -> pbyteslength
355 | Pbytesrefu -> pbytesrefu
356 | Pbytessetu -> pbytessetu
357 | Pbytesrefs -> pbytesrefs
358 | Pbytessets -> pbytessets
359 | Parraylength _ -> parraylength
360 | Pmakearray _ -> pmakearray
361 | Pduparray _ -> pduparray
362 | Parrayrefu _ -> parrayrefu
363 | Parraysetu _ -> parraysetu
364 | Parrayrefs _ -> parrayrefs
365 | Parraysets _ -> parraysets
366 | Pctconst _ -> pctconst
367 | Pisint -> pisint
368 | Pisout -> pisout
369 | Pbintofint _ -> pbintofint
370 | Pintofbint _ -> pintofbint
371 | Pcvtbint _ -> pcvtbint
372 | Pnegbint _ -> pnegbint
373 | Paddbint _ -> paddbint
374 | Psubbint _ -> psubbint
375 | Pmulbint _ -> pmulbint
376 | Pdivbint _ -> pdivbint
377 | Pmodbint _ -> pmodbint
378 | Pandbint _ -> pandbint
379 | Porbint _ -> porbint
380 | Pxorbint _ -> pxorbint
381 | Plslbint _ -> plslbint
382 | Plsrbint _ -> plsrbint
383 | Pasrbint _ -> pasrbint
384 | Pbintcomp _ -> pbintcomp
385 | Pbigarrayref _ -> pbigarrayref
386 | Pbigarrayset _ -> pbigarrayset
387 | Pbigarraydim _ -> pbigarraydim
388 | Pstring_load_16 _ -> pstring_load_16
389 | Pstring_load_32 _ -> pstring_load_32
390 | Pstring_load_64 _ -> pstring_load_64
391 | Pbytes_load_16 _ -> pbytes_load_16
392 | Pbytes_load_32 _ -> pbytes_load_32
393 | Pbytes_load_64 _ -> pbytes_load_64
394 | Pbytes_set_16 _ -> pbytes_set_16
395 | Pbytes_set_32 _ -> pbytes_set_32
396 | Pbytes_set_64 _ -> pbytes_set_64
397 | Pbigstring_load_16 _ -> pbigstring_load_16
398 | Pbigstring_load_32 _ -> pbigstring_load_32
399 | Pbigstring_load_64 _ -> pbigstring_load_64
400 | Pbigstring_set_16 _ -> pbigstring_set_16
401 | Pbigstring_set_32 _ -> pbigstring_set_32
402 | Pbigstring_set_64 _ -> pbigstring_set_64
403 | Pbswap16 -> pbswap16
404 | Pbbswap _ -> pbbswap
405 | Pint_as_pointer -> pint_as_pointer
406 | Popaque -> popaque
407
408 let of_primitive_arg : Lambda.primitive -> string = function
409 | Pidentity -> pidentity_arg
410 | Pbytes_of_string -> pbytes_of_string_arg
411 | Pbytes_to_string -> pbytes_to_string_arg
412 | Pignore -> pignore_arg
413 | Prevapply -> prevapply_arg
414 | Pdirapply -> pdirapply_arg
415 | Pgetglobal _ -> pgetglobal_arg
416 | Psetglobal _ -> psetglobal_arg
417 | Pmakeblock _ -> pmakeblock_arg
418 | Pfield _ -> pfield_arg
419 | Pfield_computed -> pfield_computed_arg
420 | Psetfield _ -> psetfield_arg
421 | Psetfield_computed _ -> psetfield_computed_arg
422 | Pfloatfield _ -> pfloatfield_arg
423 | Psetfloatfield _ -> psetfloatfield_arg
424 | Pduprecord _ -> pduprecord_arg
425 | Pccall _ -> pccall_arg
426 | Praise _ -> praise_arg
427 | Psequand -> psequand_arg
428 | Psequor -> psequor_arg
429 | Pnot -> pnot_arg
430 | Pnegint -> pnegint_arg
431 | Paddint -> paddint_arg
432 | Psubint -> psubint_arg
433 | Pmulint -> pmulint_arg
434 | Pdivint _ -> pdivint_arg
435 | Pmodint _ -> pmodint_arg
436 | Pandint -> pandint_arg
437 | Porint -> porint_arg
438 | Pxorint -> pxorint_arg
439 | Plslint -> plslint_arg
440 | Plsrint -> plsrint_arg
441 | Pasrint -> pasrint_arg
442 | Pintcomp _ -> pintcomp_arg
443 | Poffsetint _ -> poffsetint_arg
444 | Poffsetref _ -> poffsetref_arg
445 | Pintoffloat -> pintoffloat_arg
446 | Pfloatofint -> pfloatofint_arg
447 | Pnegfloat -> pnegfloat_arg
448 | Pabsfloat -> pabsfloat_arg
449 | Paddfloat -> paddfloat_arg
450 | Psubfloat -> psubfloat_arg
451 | Pmulfloat -> pmulfloat_arg
452 | Pdivfloat -> pdivfloat_arg
453 | Pfloatcomp _ -> pfloatcomp_arg
454 | Pstringlength -> pstringlength_arg
455 | Pstringrefu -> pstringrefu_arg
456 | Pstringrefs -> pstringrefs_arg
457 | Pbyteslength -> pbyteslength_arg
458 | Pbytesrefu -> pbytesrefu_arg
459 | Pbytessetu -> pbytessetu_arg
460 | Pbytesrefs -> pbytesrefs_arg
461 | Pbytessets -> pbytessets_arg
462 | Parraylength _ -> parraylength_arg
463 | Pmakearray _ -> pmakearray_arg
464 | Pduparray _ -> pduparray_arg
465 | Parrayrefu _ -> parrayrefu_arg
466 | Parraysetu _ -> parraysetu_arg
467 | Parrayrefs _ -> parrayrefs_arg
468 | Parraysets _ -> parraysets_arg
469 | Pctconst _ -> pctconst_arg
470 | Pisint -> pisint_arg
471 | Pisout -> pisout_arg
472 | Pbintofint _ -> pbintofint_arg
473 | Pintofbint _ -> pintofbint_arg
474 | Pcvtbint _ -> pcvtbint_arg
475 | Pnegbint _ -> pnegbint_arg
476 | Paddbint _ -> paddbint_arg
477 | Psubbint _ -> psubbint_arg
478 | Pmulbint _ -> pmulbint_arg
479 | Pdivbint _ -> pdivbint_arg
480 | Pmodbint _ -> pmodbint_arg
481 | Pandbint _ -> pandbint_arg
482 | Porbint _ -> porbint_arg
483 | Pxorbint _ -> pxorbint_arg
484 | Plslbint _ -> plslbint_arg
485 | Plsrbint _ -> plsrbint_arg
486 | Pasrbint _ -> pasrbint_arg
487 | Pbintcomp _ -> pbintcomp_arg
488 | Pbigarrayref _ -> pbigarrayref_arg
489 | Pbigarrayset _ -> pbigarrayset_arg
490 | Pbigarraydim _ -> pbigarraydim_arg
491 | Pstring_load_16 _ -> pstring_load_16_arg
492 | Pstring_load_32 _ -> pstring_load_32_arg
493 | Pstring_load_64 _ -> pstring_load_64_arg
494 | Pbytes_load_16 _ -> pbytes_load_16_arg
495 | Pbytes_load_32 _ -> pbytes_load_32_arg
496 | Pbytes_load_64 _ -> pbytes_load_64_arg
497 | Pbytes_set_16 _ -> pbytes_set_16_arg
498 | Pbytes_set_32 _ -> pbytes_set_32_arg
499 | Pbytes_set_64 _ -> pbytes_set_64_arg
500 | Pbigstring_load_16 _ -> pbigstring_load_16_arg
501 | Pbigstring_load_32 _ -> pbigstring_load_32_arg
502 | Pbigstring_load_64 _ -> pbigstring_load_64_arg
503 | Pbigstring_set_16 _ -> pbigstring_set_16_arg
504 | Pbigstring_set_32 _ -> pbigstring_set_32_arg
505 | Pbigstring_set_64 _ -> pbigstring_set_64_arg
506 | Pbswap16 -> pbswap16_arg
507 | Pbbswap _ -> pbbswap_arg
508 | Pint_as_pointer -> pint_as_pointer_arg
509 | Popaque -> popaque_arg
510