forked from MoarVM/MoarVM
-
Notifications
You must be signed in to change notification settings - Fork 0
/
oplist
989 lines (963 loc) · 42.5 KB
/
oplist
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
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
# This is the authoritative list of MoarVM instructions.
#
# Changes to this file need to be followed by a call to
# tools/update_ops.p6 to update various auto-generated files.
#
# IMPORTANT NOTE: MoarVM is meant to be able to read bytecode files
# from some number of versions back. This means that new ops should,
# in general, always be added *at the end* of this file (but before
# spesh ops), so they get new numbers. Similarly, do not remove an
# op; rename it DEPRECATED_n (where n is unique for each one).
# Otherwise the numbering of those after it will be broken. The
# alternative is writing a bunch of very boring mapping code and
# rendering old bytecode impossible to simply run from the mmap'd file.
#
# The exception to this rule is the spesh ops, which must come at the
# very end of the file, and since they are never emitted into bytecode
# files (the specializer inserts them) can be renumbered any time.
#
# Each entry specifies an opname, an optional annotation used by the
# bytecode validator as well as the op arguments:
#
# [opname] [annotation?] [args...]
#
# A basic annotation is a single char prefixed by '.', eg '.r'
# for return ops.
#
# Using a ':' marks the beginning of an op sequence that is followed
# by several '.' annoted ops, eg ':j' for a jumplist that is followed
# by '.j' annotated goto ops.
#
# Using a '+' marks the beginning and '-' the end of a block that may
# only contain matching '*' annotated ops, eg '+a' for prepargs and
# '-a' for invoke_o with ops like arg_i or arg_o annotated as '*a'
# inbetween. Note that '*' ops must not appear outside such blocks.
#
# A number of adverbs may follow an operation:
# * :pure means that the op has no side-effects and so can safely be
# thrown away if the result is unused
# * :logged means type or value logging for specialization happens at this
# op
# * :deoptonepoint means that we may deoptimize (fall back to slow-path code)
# after this instruction, but just locally within the current frame
# * :predeoptonepoint means that we may deoptimize (fall back to slow-path
# code) before this instruction, but just locally within the current frame
# * :deoptallpoint means that we may globally deoptimize (this goes only on an
# invoke; the callsite address will be rewritten)
# * :noinline means it is never safe to inline this op
# * :invokish means the op may invoke (used by the JIT)
# * :throwish means the op may throw (used by the JIT)
# * :useshll means that the op uses per-HLL config
no_op
const_i8 w(int8) int8 :pure
const_i16 w(int16) int16 :pure
const_i32 w(int32) int32 :pure
const_i64 w(int64) int64 :pure
const_n32 w(num32) num32 :pure
const_n64 w(num64) num64 :pure
const_s w(str) str :pure
set w(`1) r(`1) :pure
extend_u8 w(uint64) r(uint8) :pure
extend_u16 w(uint64) r(uint16) :pure
extend_u32 w(uint64) r(uint32) :pure
extend_i8 w(int64) r(int8) :pure
extend_i16 w(int64) r(int16) :pure
extend_i32 w(int64) r(int32) :pure
trunc_u8 w(uint8) r(uint64) :pure
trunc_u16 w(uint16) r(uint64) :pure
trunc_u32 w(uint32) r(uint64) :pure
trunc_i8 w(int8) r(int64) :pure
trunc_i16 w(int16) r(int64) :pure
trunc_i32 w(int32) r(int64) :pure
extend_n32 w(num64) r(num32) :pure
trunc_n32 w(num32) r(num64) :pure
goto .j ins
if_i r(int64) ins
unless_i r(int64) ins
if_n r(num64) ins
unless_n r(num64) ins
if_s r(str) ins
unless_s r(str) ins
if_s0 r(str) ins
unless_s0 r(str) ins
if_o r(obj) ins :invokish
unless_o r(obj) ins :invokish
jumplist :j int64 r(int64)
getlex w(`1) rl(`1) :pure :deoptonepoint :logged
bindlex wl(`1) r(`1)
getlex_ni w(int64) str :pure :noinline
getlex_nn w(num64) str :pure :noinline
getlex_ns w(str) str :pure :noinline
getlex_no w(obj) str :pure :deoptonepoint :logged :noinline
bindlex_ni str r(int64) :noinline
bindlex_nn str r(num64) :noinline
bindlex_ns str r(str) :noinline
bindlex_no str r(obj) :noinline
getlex_ng w(obj) r(str) :pure :noinline :useshll
bindlex_ng r(str) r(obj) :noinline :useshll
getdynlex w(obj) r(str) :pure :noinline :useshll
binddynlex r(str) r(obj) :noinline
setlexvalue r(obj) str r(obj) int16
lexprimspec w(int64) r(obj) r(str) :pure
return_i .r r(int64) :useshll
return_n .r r(num64) :useshll
return_s .r r(str) :useshll
return_o .r r(obj)
return .r
eq_i w(int64) r(int64) r(int64) :pure
ne_i w(int64) r(int64) r(int64) :pure
lt_i w(int64) r(int64) r(int64) :pure
le_i w(int64) r(int64) r(int64) :pure
gt_i w(int64) r(int64) r(int64) :pure
ge_i w(int64) r(int64) r(int64) :pure
cmp_i w(int64) r(int64) r(int64) :pure
add_i w(int64) r(int64) r(int64) :pure
sub_i w(int64) r(int64) r(int64) :pure
mul_i w(int64) r(int64) r(int64) :pure
div_i w(int64) r(int64) r(int64) :pure
div_u w(uint64) r(uint64) r(uint64) :pure
mod_i w(int64) r(int64) r(int64) :pure
mod_u w(uint64) r(uint64) r(uint64) :pure
neg_i w(int64) r(int64) :pure
abs_i w(int64) r(int64) :pure
inc_i w(int64)
inc_u w(uint64)
dec_i w(int64)
dec_u w(uint64)
band_i w(int64) r(int64) r(int64) :pure
bor_i w(int64) r(int64) r(int64) :pure
bxor_i w(int64) r(int64) r(int64) :pure
bnot_i w(int64) r(int64) :pure
blshift_i w(int64) r(int64) r(int64) :pure
brshift_i w(int64) r(int64) r(int64) :pure
pow_i w(int64) r(int64) r(int64) :pure
not_i w(int64) r(int64) :pure
gcd_i w(int64) r(int64) r(int64) :pure
lcm_i w(int64) r(int64) r(int64) :pure
eq_n w(int64) r(num64) r(num64) :pure
ne_n w(int64) r(num64) r(num64) :pure
lt_n w(int64) r(num64) r(num64) :pure
le_n w(int64) r(num64) r(num64) :pure
gt_n w(int64) r(num64) r(num64) :pure
ge_n w(int64) r(num64) r(num64) :pure
cmp_n w(int64) r(num64) r(num64) :pure
add_n w(num64) r(num64) r(num64) :pure
sub_n w(num64) r(num64) r(num64) :pure
mul_n w(num64) r(num64) r(num64) :pure
div_n w(num64) r(num64) r(num64) :pure
mod_n w(num64) r(num64) r(num64) :pure
neg_n w(num64) r(num64) :pure
abs_n w(num64) r(num64) :pure
pow_n w(num64) r(num64) r(num64) :pure
ceil_n w(num64) r(num64) :pure
floor_n w(num64) r(num64) :pure
sin_n w(num64) r(num64) :pure
asin_n w(num64) r(num64) :pure
cos_n w(num64) r(num64) :pure
acos_n w(num64) r(num64) :pure
tan_n w(num64) r(num64) :pure
atan_n w(num64) r(num64) :pure
atan2_n w(num64) r(num64) r(num64) :pure
sec_n w(num64) r(num64) :pure
asec_n w(num64) r(num64) :pure
sinh_n w(num64) r(num64) :pure
cosh_n w(num64) r(num64) :pure
tanh_n w(num64) r(num64) :pure
sech_n w(num64) r(num64) :pure
sqrt_n w(num64) r(num64) :pure
log_n w(num64) r(num64) :pure
exp_n w(num64) r(num64) :pure
coerce_in w(num64) r(int64) :pure
coerce_ni w(int64) r(num64) :pure
coerce_is w(str) r(int64) :pure
coerce_ns w(str) r(num64) :pure
coerce_si w(int64) r(str) :pure
coerce_sn w(num64) r(str) :pure
smrt_numify w(num64) r(obj) :pure :invokish
smrt_strify w(str) r(obj) :pure :invokish
prepargs +a callsite :predeoptonepoint
arg_i *a int16 r(int64)
arg_n *a int16 r(num64)
arg_s *a int16 r(str)
arg_o *a int16 r(obj)
argconst_i *a int16 int64
argconst_n *a int16 num64
argconst_s *a int16 str
invoke_v -a r(obj) :deoptallpoint
invoke_i -a w(int64) r(obj) :deoptallpoint
invoke_n -a w(num64) r(obj) :deoptallpoint
invoke_s -a w(str) r(obj) :deoptallpoint
invoke_o -a w(obj) r(obj) :deoptallpoint :deoptonepoint :logged
checkarity int16 int16
param_rp_i .p w(int64) int16 :pure :noinline
param_rp_n .p w(num64) int16 :pure :noinline
param_rp_s .p w(str) int16 :pure :noinline
param_rp_o .p w(obj) int16 :pure :noinline :useshll
param_op_i .p w(int64) int16 ins :pure :noinline
param_op_n .p w(num64) int16 ins :pure :noinline
param_op_s .p w(str) int16 ins :pure :noinline
param_op_o .p w(obj) int16 ins :pure :noinline :useshll
param_rn_i w(int64) str :noinline
param_rn_n w(num64) str :noinline
param_rn_s w(str) str :noinline
param_rn_o w(obj) str :noinline :useshll
param_on_i w(int64) str ins :noinline
param_on_n w(num64) str ins :noinline
param_on_s w(str) str ins :noinline
param_on_o w(obj) str ins :noinline :useshll
param_sp .p w(obj) int16 :pure :noinline :useshll
param_sn w(obj) :noinline :useshll
getcode w(obj) coderef :pure
caller w(obj) r(int64) :pure :noinline
capturelex r(obj) :noinline
takeclosure w(obj) r(obj) :noinline
exception w(obj)
bindexmessage r(obj) r(str)
bindexpayload r(obj) r(obj)
bindexcategory r(obj) r(int64)
getexmessage w(str) r(obj) :pure
getexpayload w(obj) r(obj) :pure
getexcategory w(int64) r(obj) :pure
throwdyn w(obj) r(obj) :throwish
throwlex w(obj) r(obj) :throwish
throwlexotic w(obj) r(obj) :throwish
throwcatdyn w(obj) int64 :throwish
throwcatlex w(obj) int64 :throwish
throwcatlexotic w(obj) int64 :throwish
die w(obj) r(str) :throwish
rethrow r(obj) :throwish
resume r(obj) :throwish
takehandlerresult w(obj)
DEPRECATED_33 w(obj) ins
DEPRECATED_34 w(obj) r(obj)
backtracestrings w(obj) r(obj) :pure
usecapture w(obj) :noinline
savecapture w(obj) :noinline
captureposelems w(int64) r(obj) :pure
captureposarg w(obj) r(obj) r(int64) :pure :useshll
captureposarg_i w(int64) r(obj) r(int64) :pure
captureposarg_n w(num64) r(obj) r(int64) :pure
captureposarg_s w(str) r(obj) r(int64) :pure
captureposprimspec w(int64) r(obj) r(int64) :pure
captureexistsnamed w(int64) r(obj) r(str) :pure
capturehasnameds w(int64) r(obj) :pure :useshll
invokewithcapture w(obj) r(obj) r(obj) :invokish
multicacheadd w(obj) r(obj) r(obj) r(obj)
multicachefind w(obj) r(obj) r(obj)
null_s w(str) :pure
isnull_s w(int64) r(str) :pure
eq_s w(int64) r(str) r(str) :pure
ne_s w(int64) r(str) r(str) :pure
gt_s w(int64) r(str) r(str) :pure
ge_s w(int64) r(str) r(str) :pure
lt_s w(int64) r(str) r(str) :pure
le_s w(int64) r(str) r(str) :pure
cmp_s w(int64) r(str) r(str) :pure
eqat_s w(int64) r(str) r(str) r(int64) :pure
eqatic_s w(int64) r(str) r(str) r(int64) :pure
haveat_s w(int64) r(str) r(int64) r(int64) r(str) r(int64) :pure
concat_s w(str) r(str) r(str) :pure
repeat_s w(str) r(str) r(int64) :pure
substr_s w(str) r(str) r(int64) r(int64) :pure
index_s w(int64) r(str) r(str) r(int64) :pure
# graphs_s will be DEPRECATED!
graphs_s w(int64) r(str) :pure
codes_s w(int64) r(str) :pure
getcp_s w(int64) r(str) r(int64) :pure
indexcp_s w(int64) r(str) r(int64) :pure
uc w(str) r(str) :pure
lc w(str) r(str) :pure
tc w(str) r(str) :pure
split w(obj) r(str) r(str) :pure
join w(str) r(str) r(obj) :pure
getcpbyname w(int64) r(str) :pure
indexat r(str) r(int64) str ins
indexnat r(str) r(int64) str ins
unipropcode w(int64) r(str) :pure
unipvalcode w(int64) r(int64) r(str) :pure
hasuniprop w(int64) r(str) r(int64) r(int64) r(int64) :pure
hasunipropc w(int64) r(str) r(int64) int16 int16 :pure
chars w(int64) r(str) :pure
chr w(str) r(int64) :pure
ordfirst w(int64) r(str) :pure
ordat w(int64) r(str) r(int64) :pure
rindexfrom w(int64) r(str) r(str) r(int64) :pure
escape w(str) r(str) :pure
flip w(str) r(str) :pure
setbuffersize_fh r(obj) r(int64)
iscclass w(int64) r(int64) r(str) r(int64) :pure
findcclass w(int64) r(int64) r(str) r(int64) r(int64) :pure
findnotcclass w(int64) r(int64) r(str) r(int64) r(int64) :pure
nfafromstatelist w(obj) r(obj) r(obj)
nfarunproto w(obj) r(obj) r(str) r(int64)
nfarunalt r(obj) r(str) r(int64) r(obj) r(obj) r(obj)
radix w(obj) r(int64) r(str) r(int64) r(int64) :useshll
encode w(obj) r(str) r(str) r(obj)
decode w(str) r(obj) r(str)
istrue_s w(int64) r(str) :pure
isfalse_s w(int64) r(str) :pure
null w(obj) :pure
isnull w(int64) r(obj) :pure
ifnonnull r(obj) ins
findmeth w(obj) r(obj) str :pure :invokish
findmeth_s w(obj) r(obj) r(str) :pure :invokish
can w(int64) r(obj) str :pure :invokish
can_s w(int64) r(obj) r(str) :pure :invokish
create w(obj) r(obj) :pure
clone w(obj) r(obj) :pure
isconcrete w(int64) r(obj) :pure
rebless w(obj) r(obj) r(obj) :deoptonepoint
istype w(int64) r(obj) r(obj) :pure :invokish
objprimspec w(int64) r(obj) :pure
gethow w(obj) r(obj) :pure
getwhat w(obj) r(obj) :pure
getwho w(obj) r(obj) :pure
setwho w(obj) r(obj) r(obj)
reprname w(str) r(obj) :pure
getwhere w(int64) r(obj) :pure
eqaddr w(int64) r(obj) r(obj) :pure
bindattr_i r(obj) r(obj) str r(int64) int16
bindattr_n r(obj) r(obj) str r(num64) int16
bindattr_s r(obj) r(obj) str r(str) int16
bindattr_o r(obj) r(obj) str r(obj) int16
bindattrs_i r(obj) r(obj) r(str) r(int64)
bindattrs_n r(obj) r(obj) r(str) r(num64)
bindattrs_s r(obj) r(obj) r(str) r(str)
bindattrs_o r(obj) r(obj) r(str) r(obj)
getattr_i w(int64) r(obj) r(obj) str int16
getattr_n w(num64) r(obj) r(obj) str int16
getattr_s w(str) r(obj) r(obj) str int16
getattr_o w(obj) r(obj) r(obj) str int16 :deoptonepoint :logged
getattrs_i w(int64) r(obj) r(obj) r(str)
getattrs_n w(num64) r(obj) r(obj) r(str)
getattrs_s w(str) r(obj) r(obj) r(str)
getattrs_o w(obj) r(obj) r(obj) r(str) :deoptonepoint :logged
attrinited w(int64) r(obj) r(obj) r(str)
box_i w(obj) r(int64) r(obj) :pure
box_n w(obj) r(num64) r(obj) :pure
box_s w(obj) r(str) r(obj) :pure
unbox_i w(int64) r(obj) :pure
unbox_n w(num64) r(obj) :pure
unbox_s w(str) r(obj) :pure
atpos_i w(int64) r(obj) r(int64)
atpos_n w(num64) r(obj) r(int64)
atpos_s w(str) r(obj) r(int64)
atpos_o w(obj) r(obj) r(int64)
bindpos_i r(obj) r(int64) r(int64)
bindpos_n r(obj) r(int64) r(num64)
bindpos_s r(obj) r(int64) r(str)
bindpos_o r(obj) r(int64) r(obj)
push_i r(obj) r(int64)
push_n r(obj) r(num64)
push_s r(obj) r(str)
push_o r(obj) r(obj)
pop_i w(int64) r(obj)
pop_n w(num64) r(obj)
pop_s w(str) r(obj)
pop_o w(obj) r(obj)
shift_i w(int64) r(obj)
shift_n w(num64) r(obj)
shift_s w(str) r(obj)
shift_o w(obj) r(obj)
unshift_i r(obj) r(int64)
unshift_n r(obj) r(num64)
unshift_s r(obj) r(str)
unshift_o r(obj) r(obj)
splice r(obj) r(obj) r(int64) r(int64)
setelemspos r(obj) r(int64)
existspos w(int64) r(obj) r(int64) :pure
atkey_i w(int64) r(obj) r(str)
atkey_n w(num64) r(obj) r(str)
atkey_s w(str) r(obj) r(str)
atkey_o w(obj) r(obj) r(str)
bindkey_i r(obj) r(str) r(int64)
bindkey_n r(obj) r(str) r(num64)
bindkey_s r(obj) r(str) r(str)
bindkey_o r(obj) r(str) r(obj)
existskey w(int64) r(obj) r(str) :pure
deletekey r(obj) r(str)
elems w(int64) r(obj) :pure
knowhow w(obj) :pure
knowhowattr w(obj) :pure
newtype w(obj) r(obj) r(str)
composetype w(obj) r(obj) r(obj)
setmethcache r(obj) r(obj)
setmethcacheauth r(obj) r(int64)
settypecache r(obj) r(obj)
settypecheckmode r(obj) r(int64)
setboolspec r(obj) r(int64) r(obj)
istrue w(int64) r(obj) :invokish
isfalse w(int64) r(obj) :invokish
bootint w(obj) :pure
bootnum w(obj) :pure
bootstr w(obj) :pure
bootarray w(obj) :pure
bootintarray w(obj) :pure
bootnumarray w(obj) :pure
bootstrarray w(obj) :pure
boothash w(obj) :pure
isint w(int64) r(obj) :pure
isnum w(int64) r(obj) :pure
isstr w(int64) r(obj) :pure
islist w(int64) r(obj) :pure
ishash w(int64) r(obj) :pure
sethllconfig r(str) r(obj)
hllboxtype_i w(obj) :pure :useshll
hllboxtype_n w(obj) :pure :useshll
hllboxtype_s w(obj) :pure :useshll
hlllist w(obj) :pure :useshll
hllhash w(obj) :pure :useshll
getcomp w(obj) r(str) :pure
bindcomp w(obj) r(str) r(obj)
getcurhllsym w(obj) r(str) :pure :useshll
bindcurhllsym w(obj) r(str) r(obj) :useshll
gethllsym w(obj) r(str) r(str) :pure
bindhllsym r(str) r(str) r(obj)
settypehll r(obj) r(str)
settypehllrole r(obj) r(int64)
hllize w(obj) r(obj) :pure :invokish :useshll
hllizefor w(obj) r(obj) r(str) :pure :invokish
usecompileehllconfig :useshll
usecompilerhllconfig :useshll
iter w(obj) r(obj) :pure :useshll
iterkey_s w(str) r(obj) :pure
iterval w(obj) r(obj) :pure
getcodename w(str) r(obj) :pure
iscoderef w(int64) r(obj) :pure
getcodeobj w(obj) r(obj) :pure
setcodeobj r(obj) r(obj)
setcodename r(obj) r(str)
forceouterctx r(obj) r(obj)
setinvokespec r(obj) r(obj) r(str) r(obj)
isinvokable w(int64) r(obj) :pure
freshcoderef w(obj) r(obj)
markcodestatic r(obj)
markcodestub r(obj)
getstaticcode w(obj) r(obj) :pure
getcodecuid w(str) r(obj) :pure
setdispatcher r(obj)
takedispatcher w(obj)
assign r(obj) r(obj) :invokish
assignunchecked r(obj) r(obj) :invokish
iscont w(int64) r(obj) :pure
decont w(obj) r(obj) :pure :invokish :deoptonepoint
setcontspec r(obj) r(str) r(obj)
sha1 w(str) r(str) :pure
createsc w(obj) r(str)
scsetobj r(obj) r(int64) r(obj)
scsetcode r(obj) r(int64) r(obj)
scgetobj w(obj) r(obj) r(int64)
scgethandle w(str) r(obj)
scgetobjidx w(int64) r(obj) r(obj)
scsetdesc r(obj) r(str)
scobjcount w(int64) r(obj)
setobjsc r(obj) r(obj)
getobjsc w(obj) r(obj)
serialize w(str) r(obj) r(obj)
deserialize r(str) r(obj) r(obj) r(obj) r(obj)
wval w(obj) int16 int16 :pure
wval_wide w(obj) int16 int64 :pure
scwbdisable w(int64)
scwbenable w(int64)
pushcompsc r(obj)
popcompsc w(obj)
scgetdesc w(str) r(obj)
loadbytecode w(str) r(str) :invokish
masttofile r(obj) r(obj) r(str)
masttocu w(obj) r(obj) r(obj) :invokish
iscompunit w(int64) r(obj) :pure
compunitmainline w(obj) r(obj)
compunitcodes w(obj) r(obj)
ctx w(obj) :noinline
ctxouter w(obj) r(obj)
ctxcaller w(obj) r(obj)
ctxlexpad w(obj) r(obj)
curcode w(obj) :noinline
callercode w(obj) :noinline
add_I w(obj) r(obj) r(obj) r(obj) :pure
sub_I w(obj) r(obj) r(obj) r(obj) :pure
mul_I w(obj) r(obj) r(obj) r(obj) :pure
div_I w(obj) r(obj) r(obj) r(obj) :pure
mod_I w(obj) r(obj) r(obj) r(obj) :pure
neg_I w(obj) r(obj) r(obj) :pure
abs_I w(obj) r(obj) r(obj) :pure
cmp_I w(int64) r(obj) r(obj) :pure
eq_I w(int64) r(obj) r(obj) :pure
ne_I w(int64) r(obj) r(obj) :pure
lt_I w(int64) r(obj) r(obj) :pure
le_I w(int64) r(obj) r(obj) :pure
gt_I w(int64) r(obj) r(obj) :pure
ge_I w(int64) r(obj) r(obj) :pure
bor_I w(obj) r(obj) r(obj) r(obj) :pure
bxor_I w(obj) r(obj) r(obj) r(obj) :pure
band_I w(obj) r(obj) r(obj) r(obj) :pure
bnot_I w(obj) r(obj) r(obj) :pure
blshift_I w(obj) r(obj) r(int64) r(obj) :pure
brshift_I w(obj) r(obj) r(int64) r(obj) :pure
pow_I w(obj) r(obj) r(obj) r(obj) r(obj) :pure
gcd_I w(obj) r(obj) r(obj) r(obj) :pure
lcm_I w(obj) r(obj) r(obj) r(obj) :pure
expmod_I w(obj) r(obj) r(obj) r(obj) r(obj) :pure
isprime_I w(int64) r(obj) r(int64) :pure
rand_I w(obj) r(obj) r(obj) :pure
coerce_In w(num64) r(obj) :pure
coerce_Is w(str) r(obj) :pure
coerce_nI w(obj) r(num64) r(obj) :pure
coerce_sI w(obj) r(str) r(obj) :pure
isbig_I w(int64) r(obj) :pure
bool_I w(int64) r(obj) :pure
base_I w(str) r(obj) r(int64) :pure
radix_I w(obj) r(int64) r(str) r(int64) r(int64) r(obj) :pure :useshll
div_In w(num64) r(obj) r(obj) :pure
copy_f r(str) r(str)
append_f r(str) r(str)
rename_f r(str) r(str)
delete_f r(str)
chmod_f r(str) r(int64)
exists_f w(int64) r(str)
mkdir r(str) r(int64)
rmdir r(str)
open_dir w(obj) r(str)
read_dir w(str) r(obj)
close_dir r(obj)
open_fh w(obj) r(str) r(str)
close_fh r(obj)
DEPRECATED_23 w(str) r(obj) r(int64)
DEPRECATED_27 w(str) r(str) r(str)
DEPRECATED_28 r(str) r(str) r(str)
DEPRECATED_18 w(int64) r(obj) r(str)
seek_fh r(obj) r(int64) r(int64)
lock_fh w(int64) r(obj) r(int64)
unlock_fh r(obj)
sync_fh r(obj)
trunc_fh r(obj) r(int64)
eof_fh w(int64) r(obj)
getstdin w(obj) :pure
getstdout w(obj) :pure
getstderr w(obj) :pure
connect_sk r(obj) r(str) r(int64)
socket w(obj) r(int64)
bind_sk r(obj) r(str) r(int64) r(int64)
DEPRECATED_24 r(obj) r(str)
accept_sk w(obj) r(obj)
decodetocodes r(obj) r(str) r(int64) r(obj)
encodefromcodes r(obj) r(str) r(obj)
DEPRECATED_17 r(obj) r(str)
print r(str)
say r(str)
DEPRECATED_22 w(str) r(obj)
tell_fh w(int64) r(obj)
stat w(int64) r(str) r(int64)
tryfindmeth w(obj) r(obj) str :pure :invokish
tryfindmeth_s w(obj) r(obj) r(str) :pure :invokish
chdir r(str)
srand r(int64)
rand_i w(int64)
rand_n w(num64)
time_i w(int64)
sleep r(num64)
newthread w(obj) r(obj) r(int64)
threadjoin r(obj)
time_n w(num64)
exit r(int64)
DEPRECATED_30 w(int64) r(str) r(str) r(obj) r(obj) r(obj) r(obj) r(int64)
cwd w(str)
clargs w(obj) :useshll
getenvhash w(obj) :useshll
loadlib r(str) r(str)
freelib r(str)
findsym w(obj) r(str) r(str)
dropsym r(obj)
loadext r(str) r(str)
backendconfig w(obj)
getlexouter w(obj) r(str) :pure :noinline :useshll
getlexrel w(obj) r(obj) r(str) :pure :useshll
getlexreldyn w(obj) r(obj) r(str) :pure :useshll
getlexrelcaller w(obj) r(obj) r(str) :pure :useshll
getlexcaller w(obj) r(str) :pure :noinline :useshll
bitand_s w(str) r(str) r(str) :pure
bitor_s w(str) r(str) r(str) :pure
bitxor_s w(str) r(str) r(str) :pure
isnanorinf w(int64) r(num64) :pure
inf w(num64) :pure
neginf w(num64) :pure
nan w(num64) :pure
getpid w(int64) :pure
DEPRECATED_29 w(int64) r(obj) r(str) r(obj) r(obj) r(obj) r(obj) r(int64)
filereadable w(int64) r(str)
filewritable w(int64) r(str)
fileexecutable w(int64) r(str)
DEPRECATED_19 w(int64) r(obj) r(str)
capturenamedshash w(obj) r(obj) :pure :useshll
read_fhb r(obj) r(obj) r(int64)
write_fhb r(obj) r(obj)
replace w(str) r(str) r(int64) r(int64) r(str)
newexception w(obj)
permit r(obj) r(int64) r(int64)
backtrace w(obj) r(obj)
symlink r(str) r(str)
link r(str) r(str)
gethostname w(str)
exreturnafterunwind r(obj)
DEPRECATED_13 w(obj) r(obj)
continuationreset w(obj) r(obj) r(obj) :invokish
# this op isn't actually invokish, but it requires the cur_op to be set before doing its work
continuationcontrol w(obj) r(int64) r(obj) r(obj) :invokish
continuationinvoke w(obj) r(obj) r(obj) :invokish
randscale_n w(num64) r(num64) :pure
uniisblock w(int64) r(str) r(int64) r(str) :pure
assertparamcheck r(int64) :noinline :invokish
hintfor w(int64) r(obj) r(str)
paramnamesused :noinline
getuniname w(str) r(int64)
getuniprop_int w(int64) r(int64) r(int64)
getuniprop_bool w(int64) r(int64) r(int64)
getuniprop_str w(str) r(int64) r(int64)
matchuniprop w(int64) r(int64) r(int64) r(int64)
nativecallbuild w(int64) r(obj) r(str) r(str) r(str) r(obj) r(obj)
nativecallinvoke w(obj) r(obj) r(obj) r(obj)
nativecallrefresh r(obj)
threadrun r(obj)
threadid w(int64) r(obj)
threadyield
currentthread w(obj)
lock r(obj)
unlock r(obj)
semacquire r(obj)
semtryacquire w(int64) r(obj)
semrelease r(obj)
getlockcondvar w(obj) r(obj) r(obj)
condwait r(obj)
condsignalone r(obj)
condsignalall r(obj)
queuepoll w(obj) r(obj)
setmultispec r(obj) r(obj) r(str) r(str)
ctxouterskipthunks w(obj) r(obj) :noinline
ctxcallerskipthunks w(obj) r(obj) :noinline
timer w(obj) r(obj) r(obj) r(int64) r(int64) r(obj)
cancel r(obj)
signal w(obj) r(obj) r(obj) r(int64) r(obj)
watchfile w(obj) r(obj) r(obj) r(str) r(obj)
asyncconnect w(obj) r(obj) r(obj) r(str) r(int64) r(obj)
asynclisten w(obj) r(obj) r(obj) r(str) r(int64) r(int64) r(obj)
DEPRECATED_14 w(obj) r(obj) r(obj) r(obj) r(str) r(obj)
asyncwritebytes w(obj) r(obj) r(obj) r(obj) r(obj) r(obj)
DEPRECATED_16 w(obj) r(obj) r(obj) r(obj) r(obj)
asyncreadbytes w(obj) r(obj) r(obj) r(obj) r(obj) r(obj)
getlexstatic_o w(obj) r(str) :pure :noinline :logged
getlexperinvtype_o w(obj) r(str) :pure :noinline :logged
execname w(str)
const_i64_16 w(int64) int16 :pure
const_i64_32 w(int64) int32 :pure
isnonnull w(int64) r(obj) :pure
param_rn2_i w(int64) str str :noinline
param_rn2_n w(num64) str str :noinline
param_rn2_s w(str) str str :noinline
param_rn2_o w(obj) str str :noinline :useshll
param_on2_i w(int64) str str ins :noinline
param_on2_n w(num64) str str ins :noinline
param_on2_s w(str) str str ins :noinline
param_on2_o w(obj) str str ins :noinline :useshll
osrpoint :osrpoint
nativecallcast w(obj) r(obj) r(obj) r(obj)
spawnprocasync w(obj) r(obj) r(obj) r(str) r(obj) r(obj)
killprocasync r(obj) r(int64)
startprofile r(obj)
endprofile w(obj)
objectid w(int64) r(obj)
settypefinalize r(obj) r(int64)
force_gc
nativecallglobal w(obj) r(str) r(str) r(obj) r(obj)
DEPRECATED_32 w(int64) r(obj)
setparameterizer r(obj) r(obj)
parameterizetype w(obj) r(obj) r(obj) :invokish
typeparameterized w(obj) r(obj)
typeparameters w(obj) r(obj)
typeparameterat w(obj) r(obj) r(int64)
readlink w(str) r(str)
lstat w(int64) r(str) r(int64)
iscont_i w(int64) r(obj) :pure
iscont_n w(int64) r(obj) :pure
iscont_s w(int64) r(obj) :pure
assign_i r(obj) r(int64) :invokish
assign_n r(obj) r(num64) :invokish
assign_s r(obj) r(str) :invokish
decont_i w(int64) r(obj) :pure :invokish
decont_n w(num64) r(obj) :pure :invokish
decont_s w(str) r(obj) :pure :invokish
getrusage w(obj) :pure
threadlockcount w(int64) r(obj)
DEPRECATED_4 w(obj) r(str) :pure :noinline
getlexref_i w(obj) rl(int64) :pure :noinline
getlexref_n w(obj) rl(num64) :pure :noinline
getlexref_s w(obj) rl(str) :pure :noinline
getlexref_ni w(obj) str :pure :noinline
getlexref_nn w(obj) str :pure :noinline
getlexref_ns w(obj) str :pure :noinline
atposref_i w(obj) r(obj) r(int64) :pure
atposref_n w(obj) r(obj) r(int64) :pure
atposref_s w(obj) r(obj) r(int64) :pure
getattrref_i w(obj) r(obj) r(obj) str int16 :pure
getattrref_n w(obj) r(obj) r(obj) str int16 :pure
getattrref_s w(obj) r(obj) r(obj) str int16 :pure
getattrsref_i w(obj) r(obj) r(obj) r(str) :pure
getattrsref_n w(obj) r(obj) r(obj) r(str) :pure
getattrsref_s w(obj) r(obj) r(obj) r(str) :pure
nativecallsizeof w(int64) r(obj)
encodenorm r(str) r(str) r(int64) r(obj)
normalizecodes r(obj) r(int64) r(obj)
strfromcodes w(str) r(obj)
strtocodes r(str) r(int64) r(obj)
getcodelocation w(obj) r(obj) :pure
eqatim_s w(int64) r(str) r(str) r(int64) :pure
ordbaseat w(int64) r(str) r(int64) :pure
neverrepossess r(obj)
scdisclaim r(obj)
DEPRECATED_31 w(obj)
atpos2d_i w(int64) r(obj) r(int64) r(int64) :pure
atpos2d_n w(num64) r(obj) r(int64) r(int64) :pure
atpos2d_s w(str) r(obj) r(int64) r(int64) :pure
atpos2d_o w(obj) r(obj) r(int64) r(int64) :pure
atpos3d_i w(int64) r(obj) r(int64) r(int64) r(int64) :pure
atpos3d_n w(num64) r(obj) r(int64) r(int64) r(int64) :pure
atpos3d_s w(str) r(obj) r(int64) r(int64) r(int64) :pure
atpos3d_o w(obj) r(obj) r(int64) r(int64) r(int64) :pure
atposnd_i w(int64) r(obj) r(obj) :pure
atposnd_n w(num64) r(obj) r(obj) :pure
atposnd_s w(str) r(obj) r(obj) :pure
atposnd_o w(obj) r(obj) r(obj) :pure
bindpos2d_i r(obj) r(int64) r(int64) r(int64)
bindpos2d_n r(obj) r(int64) r(int64) r(num64)
bindpos2d_s r(obj) r(int64) r(int64) r(str)
bindpos2d_o r(obj) r(int64) r(int64) r(obj)
bindpos3d_i r(obj) r(int64) r(int64) r(int64) r(int64)
bindpos3d_n r(obj) r(int64) r(int64) r(int64) r(num64)
bindpos3d_s r(obj) r(int64) r(int64) r(int64) r(str)
bindpos3d_o r(obj) r(int64) r(int64) r(int64) r(obj)
bindposnd_i r(obj) r(obj) r(int64)
bindposnd_n r(obj) r(obj) r(num64)
bindposnd_s r(obj) r(obj) r(str)
bindposnd_o r(obj) r(obj) r(obj)
dimensions w(obj) r(obj)
setdimensions r(obj) r(obj)
numdimensions w(int64) r(obj) :pure
ctxcode w(obj) r(obj)
isrwcont w(int64) r(obj) :pure
fc w(str) r(str) :pure
DEPRECATED_25 r(obj) r(obj)
DEPRECATED_21 w(str) r(obj)
encoderep w(obj) r(str) r(str) r(str) r(obj)
istty_fh w(int64) r(obj) :pure
multidimref_i w(obj) r(obj) r(obj) :pure
multidimref_n w(obj) r(obj) r(obj) :pure
multidimref_s w(obj) r(obj) r(obj) :pure
fileno_fh w(int64) r(obj) :pure
asyncudp w(obj) r(obj) r(obj) r(str) r(int64) r(int64) r(obj)
DEPRECATED_15 w(obj) r(obj) r(obj) r(obj) r(str) r(obj) r(str) r(int64)
asyncwritebytesto w(obj) r(obj) r(obj) r(obj) r(obj) r(obj) r(str) r(int64)
objprimbits w(int64) r(obj)
objprimunsigned w(int64) r(obj)
DEPRECATED_5 w(obj) r(int32) :pure :noinline
DEPRECATED_6 w(obj) r(int16) :pure :noinline
DEPRECATED_7 w(obj) r(int8) :pure :noinline
DEPRECATED_8 w(obj) r(num32) :pure :noinline
getlexref_i32 w(obj) rl(int32) :pure :noinline
getlexref_i16 w(obj) rl(int16) :pure :noinline
getlexref_i8 w(obj) rl(int8) :pure :noinline
getlexref_n32 w(obj) rl(num32) :pure :noinline
box_u w(obj) r(uint64) r(obj) :pure
unbox_u w(uint64) r(obj) :pure
coerce_iu w(uint64) r(int64) :pure
coerce_ui w(int64) r(uint64) :pure
coerce_nu w(uint64) r(num64) :pure
coerce_un w(num64) r(uint64) :pure
decont_u w(uint64) r(obj) :pure :invokish
DEPRECATED_9 w(obj) r(uint64) :pure :noinline
DEPRECATED_10 w(obj) r(uint32) :pure :noinline
DEPRECATED_11 w(obj) r(uint16) :pure :noinline
DEPRECATED_12 w(obj) r(uint8) :pure :noinline
getlexref_u w(obj) rl(uint64) :pure :noinline
getlexref_u32 w(obj) rl(uint32) :pure :noinline
getlexref_u16 w(obj) rl(uint16) :pure :noinline
getlexref_u8 w(obj) rl(uint8) :pure :noinline
param_rp_u w(uint64) int16 :pure :noinline
param_op_u w(uint64) int16 ins :pure :noinline
param_rn_u w(uint64) str :noinline
param_on_u w(uint64) str ins :noinline
param_rn2_u w(uint64) str str :noinline
param_on2_u w(uint64) str str ins :noinline
stat_time w(num64) r(str) r(int64)
lstat_time w(num64) r(str) r(int64)
setdebugtypename r(obj) r(str)
loadbytecodebuffer r(obj) :invokish
loadbytecodefh r(obj) r(str) :invokish
throwpayloadlex w(obj) int64 r(obj) :throwish
throwpayloadlexcaller w(obj) int64 r(obj) :throwish
lastexpayload w(obj)
cancelnotify r(obj) r(obj) r(obj)
decoderconfigure r(obj) r(str) r(obj)
decodersetlineseps r(obj) r(obj)
decoderaddbytes r(obj) r(obj)
decodertakechars w(str) r(obj) r(int64)
decodertakeallchars w(str) r(obj)
decodertakeavailablechars w(str) r(obj)
decodertakeline w(str) r(obj) r(int64) r(int64)
decoderbytesavailable w(int64) r(obj) :pure
decodertakebytes w(obj) r(obj) r(obj) r(int64)
decoderempty w(int64) r(obj) :pure
indexingoptimized w(str) r(str) :pure
captureinnerlex r(obj) :noinline
unicmp_s w(int64) r(str) r(str) r(int64) r(int64) r(int64) :pure
setdispatcherfor r(obj) r(obj)
getstrfromname w(str) r(str) :pure
indexic_s w(int64) r(str) r(str) r(int64) :pure
getport_sk w(int64) r(obj)
cpucores w(int64) :pure
eqaticim_s w(int64) r(str) r(str) r(int64) :pure
indexicim_s w(int64) r(str) r(str) r(int64) :pure
decodertakecharseof w(str) r(obj) r(int64)
indexim_s w(int64) r(str) r(str) r(int64) :pure
cas_o w(obj) r(obj) r(obj) r(obj) :invokish
cas_i w(int64) r(obj) r(int64) r(int64)
atomicinc_i w(int64) r(obj)
atomicdec_i w(int64) r(obj)
atomicadd_i w(int64) r(obj) r(int64)
# Following two are *not* :pure (even though just loads); their memory barrier
# counts as a side-effect that should be retained.
atomicload_o w(obj) r(obj)
atomicload_i w(int64) r(obj)
atomicstore_o r(obj) r(obj) :invokish
atomicstore_i r(obj) r(int64)
barrierfull
coveragecontrol r(int64)
nativeinvoke_v -a r(obj) r(obj)
nativeinvoke_i -a w(int64) r(obj) r(obj)
nativeinvoke_n -a w(num64) r(obj) r(obj)
nativeinvoke_s -a w(str) r(obj) r(obj)
nativeinvoke_o -a w(obj) r(obj) r(obj)
getarg_i w(int64) r(int16)
getarg_n w(num64) r(int16)
getarg_s w(str) r(int16)
getarg_o w(obj) r(int16)
coerce_II w(obj) r(obj) r(obj) :pure
encoderepconf w(obj) r(str) r(str) r(str) r(obj) r(int64)
encodeconf w(obj) r(str) r(str) r(obj) r(int64)
decodeconf w(str) r(obj) r(str) r(int64)
decoderepconf w(str) r(obj) r(str) r(str) r(int64)
getppid w(int64)
# Spesh ops. Naming convention: start with sp_. Must all be marked .s, which
# is how the validator knows to exclude them.
# Type guard operations. Trigger de-optimization if the guard is violated.
# guard = guard on type only; index is spesh slot with type
# guardconc = guard on type + concrete; index is spesh slot with type
# guardtype = guard on type + type object; index is spesh slot with type
sp_guard .s r(obj) sslot uint32
sp_guardconc .s r(obj) sslot uint32
sp_guardtype .s r(obj) sslot uint32
# Code guard operations. Trigger de-optimization if the guard is violated.
# guardsf = guard on being an MVMCode with specified static frame inside
# guardsfouter = as with guardsf but also ensures its ->outer is equal to
# the currently executing frame
sp_guardsf .s r(obj) sslot uint32
sp_guardsfouter .s r(obj) sslot uint32
# Specialized form of rebless that will always do a deopt one out of the
# current code as well as a deopt all.
sp_rebless .s w(obj) r(obj) r(obj) uint32 :noinline
# Resolves an invokee into an MVMCode object, or returns VMNull when that is
# not possible. Doesn't do multiple dispatch cache handling (since that needs
# the args buffer set up).
sp_resolvecode .s w(obj) r(obj)
# These are variants of the normal interpreted ops that do not log. Used for
# the case where we can't JIT-compile, but don't want to keep on logging.
sp_decont .s w(obj) r(obj) :pure :invokish
sp_getlex_o .s w(obj) rl(obj) :pure
sp_getlex_ins .s w(`1) rl(`1) :pure
sp_getlex_no .s w(obj) str :pure :noinline
# Following are for fast, unchecked grabbing of args from the arg buffer.
sp_getarg_o .s w(obj) int16 :pure
sp_getarg_i .s w(obj) int16 :pure
sp_getarg_n .s w(obj) int16 :pure
sp_getarg_s .s w(obj) int16 :pure
# Fast invocation.
sp_fastinvoke_v .s r(obj) int16
sp_fastinvoke_i .s w(int64) r(obj) int16
sp_fastinvoke_n .s w(num64) r(obj) int16
sp_fastinvoke_s .s w(str) r(obj) int16
sp_fastinvoke_o .s w(obj) r(obj) int16
# Error generation if a named param is unused (name goes in spesh slot).
sp_paramnamesused sslot
# Look up a spesh slot.
sp_getspeshslot .s w(obj) sslot :pure
# Find method, using spesh slot and the one after it as a cache.
# Isn't marked invokish, since the check is implemented directly
sp_findmeth .s w(obj) r(obj) str sslot :pure
# Create an object with the first int16's number of bytes size and then
# set its STable to the STable in the spesh slot.
sp_fastcreate .s w(obj) int16 sslot :pure
# Retrieve or store a value by pointer offset.
sp_get_o .s w(obj) r(obj) int16 :pure
sp_get_i64 .s w(int64) r(obj) int16 :pure
sp_get_i32 .s w(int64) r(obj) int16 :pure
sp_get_i16 .s w(int64) r(obj) int16 :pure
sp_get_i8 .s w(int64) r(obj) int16 :pure
sp_get_n .s w(num64) r(obj) int16 :pure
sp_get_s .s w(str) r(obj) int16 :pure
sp_bind_o .s r(obj) int16 r(obj)
sp_bind_i64 .s r(obj) int16 r(int64)
sp_bind_i32 .s r(obj) int16 r(int64)
sp_bind_i16 .s r(obj) int16 r(int64)
sp_bind_i8 .s r(obj) int16 r(int64)
sp_bind_n .s r(obj) int16 r(num64)
sp_bind_s .s r(obj) int16 r(str)
# Same as above, but for p6opaques, handling the NULL sentinel and the
# real_data thing for mixins. The vt variant vivifies a NULL with a
# type object; the vc does it with a clone.
sp_p6oget_o .s w(obj) r(obj) int16 :pure
sp_p6ogetvt_o .s w(obj) r(obj) int16 sslot
sp_p6ogetvc_o .s w(obj) r(obj) int16 sslot
sp_p6oget_i .s w(int64) r(obj) int16 :pure
sp_p6oget_n .s w(num64) r(obj) int16 :pure
sp_p6oget_s .s w(str) r(obj) int16 :pure
sp_p6obind_o .s r(obj) int16 r(obj)
sp_p6obind_i .s r(obj) int16 r(int64)
sp_p6obind_n .s r(obj) int16 r(num64)
sp_p6obind_s .s r(obj) int16 r(str)
# Follow a pointer at an offset to an object and get/store a value there.
sp_deref_get_i64 .s w(int64) r(obj) int16 :pure
sp_deref_get_n .s w(num64) r(obj) int16 :pure
sp_deref_bind_i64 .s r(obj) r(int64) int16
sp_deref_bind_n .s r(obj) r(num64) int16
# These read a lexical via. a code ref held in a register. Used for closure
# inlining. The outers count must be at least 1 (e.g. these must never be used
# for lexicals that are in the current scope).
sp_getlexvia_o .s w(obj) int16 int16 r(obj) :pure
sp_getlexvia_ins .s w(`1) int16 int16 r(obj) :pure
# Enter the JIT
sp_jit_enter .s w(obj)
# we boolify iter objects all the time, but we have no op for it. until now!
sp_boolify_iter .s w(int64) r(obj) :pure
sp_boolify_iter_arr .s w(int64) r(obj) :pure
sp_boolify_iter_hash .s w(int64) r(obj) :pure
# Unguarded atomic ops (when we know it's a concrete target that certainly
# has the operation).
sp_cas_o w(obj) r(obj) r(obj) r(obj) :invokish
sp_atomicload_o w(obj) r(obj)
sp_atomicstore_o r(obj) r(obj) :invokish
# Profiler recording ops. Naming convention: start with prof_. Must all be
# marked .s, which is how the validator knows to exclude them. (For that
# purpose, we treat them as a kind of spesh op).
# Entry of various forms. The inline one passes along the static frame of the
# inlinee.
prof_enter .s
prof_enterspesh .s
prof_enterinline .s sslot
prof_enternative .s r(obj)
# Normal exit (exception throw and unwind is handled separately). Will always
# be what we last entered, so no need for separate versions like above.
prof_exit
# Recording of allocated types (may not give full picture of allocations, but
# is at least enough to get a picture).
prof_allocated .s r(obj)
# Cross-thread write analysis logging instruction.
ctw_check .s r(obj) int16
coverage_log .s str int32 int32 int64