forked from ocaml/ocaml
-
Notifications
You must be signed in to change notification settings - Fork 0
/
opcode-intelm3.txt
3822 lines (3661 loc) · 187 KB
/
opcode-intelm3.txt
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
990
991
992
993
994
995
996
997
998
999
1000
interp.bd.o: file format elf64-x86-64
Disassembly of section .text.func_stack_push:
0000000000000000 <func_stack_push>:
0: 48 8b 47 20 mov 0x20(%rdi),%rax
4: 48 39 47 10 cmp %rax,0x10(%rdi)
8: 74 1c je 26 <func_stack_push+0x26>
a: 48 8b 17 mov (%rdi),%rdx
d: 48 8d 48 01 lea 0x1(%rax),%rcx
11: 48 89 4f 20 mov %rcx,0x20(%rdi)
15: 48 89 34 c2 mov %rsi,(%rdx,%rax,8)
19: 31 c0 xor %eax,%eax
1b: 48 83 47 08 01 addq $0x1,0x8(%rdi)
20: 48 83 47 18 08 addq $0x8,0x18(%rdi)
25: c3 retq
26: 48 83 ec 08 sub $0x8,%rsp
2a: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 31 <func_stack_push+0x31>
31: be 01 00 00 00 mov $0x1,%esi
36: 31 c0 xor %eax,%eax
38: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 3f <func_stack_push+0x3f>
3f: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 46 <func_stack_push+0x46>
46: e8 00 00 00 00 callq 4b <func_stack_push+0x4b>
4b: b8 ff ff ff ff mov $0xffffffff,%eax
50: 48 83 c4 08 add $0x8,%rsp
54: c3 retq
Disassembly of section .text.func_stack_pop:
0000000000000000 <func_stack_pop>:
0: 48 8b 47 08 mov 0x8(%rdi),%rax
4: 48 85 c0 test %rax,%rax
7: 74 27 je 30 <func_stack_pop+0x30>
9: 48 83 e8 01 sub $0x1,%rax
d: 48 8b 17 mov (%rdi),%rdx
10: 48 83 6f 18 08 subq $0x8,0x18(%rdi)
15: 48 89 47 08 mov %rax,0x8(%rdi)
19: 48 8b 47 20 mov 0x20(%rdi),%rax
1d: 48 83 e8 01 sub $0x1,%rax
21: 48 89 47 20 mov %rax,0x20(%rdi)
25: 48 8b 04 c2 mov (%rdx,%rax,8),%rax
29: c3 retq
2a: 66 0f 1f 44 00 00 nopw 0x0(%rax,%rax,1)
30: 48 83 ec 08 sub $0x8,%rsp
34: 48 8b 0d 00 00 00 00 mov 0x0(%rip),%rcx # 3b <func_stack_pop+0x3b>
3b: ba 1b 00 00 00 mov $0x1b,%edx
40: be 01 00 00 00 mov $0x1,%esi
45: 48 8d 3d 00 00 00 00 lea 0x0(%rip),%rdi # 4c <func_stack_pop+0x4c>
4c: e8 00 00 00 00 callq 51 <func_stack_pop+0x51>
51: 31 c0 xor %eax,%eax
53: 48 83 c4 08 add $0x8,%rsp
57: c3 retq
Disassembly of section .text.ht_set_entry:
0000000000000000 <ht_set_entry>:
0: 48 89 d0 mov %rdx,%rax
3: 48 85 d2 test %rdx,%rdx
6: 0f 84 89 00 00 00 je 95 <ht_set_entry+0x95>
c: 49 89 c2 mov %rax,%r10
f: 49 89 d1 mov %rdx,%r9
12: 48 c1 e2 36 shl $0x36,%rdx
16: 49 c1 e2 3d shl $0x3d,%r10
1a: 49 c1 e1 39 shl $0x39,%r9
1e: 4c 01 d2 add %r10,%rdx
21: 49 89 c2 mov %rax,%r10
24: 49 c1 e2 3f shl $0x3f,%r10
28: 48 01 c2 add %rax,%rdx
2b: 4c 01 d2 add %r10,%rdx
2e: 49 89 c2 mov %rax,%r10
31: 49 c1 e2 12 shl $0x12,%r10
35: 4c 29 d2 sub %r10,%rdx
38: 49 89 c2 mov %rax,%r10
3b: 49 c1 e2 33 shl $0x33,%r10
3f: 4c 29 d2 sub %r10,%rdx
42: 4c 8d 56 ff lea -0x1(%rsi),%r10
46: 4c 29 ca sub %r9,%rdx
49: 49 21 d2 and %rdx,%r10
4c: 4d 89 d1 mov %r10,%r9
4f: 49 c1 e1 04 shl $0x4,%r9
53: 49 01 f9 add %rdi,%r9
56: eb 1a jmp 72 <ht_set_entry+0x72>
58: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1)
5f: 00
60: 49 39 c3 cmp %rax,%r11
63: 74 21 je 86 <ht_set_entry+0x86>
65: 49 83 c2 01 add $0x1,%r10
69: 49 83 c1 10 add $0x10,%r9
6d: 4c 39 d6 cmp %r10,%rsi
70: 76 1e jbe 90 <ht_set_entry+0x90>
72: 4d 8b 19 mov (%r9),%r11
75: 4d 85 db test %r11,%r11
78: 75 e6 jne 60 <ht_set_entry+0x60>
7a: 4d 85 c0 test %r8,%r8
7d: 74 04 je 83 <ht_set_entry+0x83>
7f: 49 83 00 01 addq $0x1,(%r8)
83: 49 89 01 mov %rax,(%r9)
86: 49 89 49 08 mov %rcx,0x8(%r9)
8a: c3 retq
8b: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1)
90: 45 31 d2 xor %r10d,%r10d
93: eb b7 jmp 4c <ht_set_entry+0x4c>
95: 52 push %rdx
96: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 9d <ht_set_entry+0x9d>
9d: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # a4 <ht_set_entry+0xa4>
a4: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # ab <ht_set_entry+0xab>
ab: be 01 00 00 00 mov $0x1,%esi
b0: e8 00 00 00 00 callq b5 <ht_set_entry+0xb5>
b5: bf 01 00 00 00 mov $0x1,%edi
ba: e8 00 00 00 00 callq bf <.LC29+0x8>
Disassembly of section .text.ht_create:
0000000000000000 <ht_create>:
0: f3 0f 1e fa endbr64
4: 41 54 push %r12
6: bf 18 00 00 00 mov $0x18,%edi
b: e8 00 00 00 00 callq 10 <ht_create+0x10>
10: 49 89 c4 mov %rax,%r12
13: 48 85 c0 test %rax,%rax
16: 74 28 je 40 <ht_create+0x40>
18: 48 c7 40 10 00 00 00 movq $0x0,0x10(%rax)
1f: 00
20: be 10 00 00 00 mov $0x10,%esi
25: bf 10 00 00 00 mov $0x10,%edi
2a: 48 c7 40 08 10 00 00 movq $0x10,0x8(%rax)
31: 00
32: e8 00 00 00 00 callq 37 <ht_create+0x37>
37: 49 89 04 24 mov %rax,(%r12)
3b: 48 85 c0 test %rax,%rax
3e: 74 06 je 46 <ht_create+0x46>
40: 4c 89 e0 mov %r12,%rax
43: 41 5c pop %r12
45: c3 retq
46: 4c 89 e7 mov %r12,%rdi
49: 45 31 e4 xor %r12d,%r12d
4c: e8 00 00 00 00 callq 51 <ht_create+0x51>
51: eb ed jmp 40 <ht_create+0x40>
Disassembly of section .text.ht_destroy:
0000000000000000 <ht_destroy>:
0: f3 0f 1e fa endbr64
4: 55 push %rbp
5: 48 89 fd mov %rdi,%rbp
8: 48 8b 3f mov (%rdi),%rdi
b: e8 00 00 00 00 callq 10 <ht_destroy+0x10>
10: 48 89 ef mov %rbp,%rdi
13: 5d pop %rbp
14: e9 00 00 00 00 jmpq 19 <ht_destroy+0x19>
Disassembly of section .text.ht_get:
0000000000000000 <ht_get>:
0: f3 0f 1e fa endbr64
4: 48 89 f0 mov %rsi,%rax
7: 48 89 f2 mov %rsi,%rdx
a: 48 8b 4f 08 mov 0x8(%rdi),%rcx
e: 49 89 f0 mov %rsi,%r8
11: 48 c1 e2 3d shl $0x3d,%rdx
15: 48 c1 e0 36 shl $0x36,%rax
19: 48 8b 3f mov (%rdi),%rdi
1c: 48 01 d0 add %rdx,%rax
1f: 48 89 f2 mov %rsi,%rdx
22: 49 c1 e0 39 shl $0x39,%r8
26: 48 c1 e2 3f shl $0x3f,%rdx
2a: 48 01 f0 add %rsi,%rax
2d: 48 01 d0 add %rdx,%rax
30: 48 89 f2 mov %rsi,%rdx
33: 48 c1 e2 12 shl $0x12,%rdx
37: 48 29 d0 sub %rdx,%rax
3a: 48 89 f2 mov %rsi,%rdx
3d: 48 c1 e2 33 shl $0x33,%rdx
41: 48 29 d0 sub %rdx,%rax
44: 48 8d 51 ff lea -0x1(%rcx),%rdx
48: 4c 29 c0 sub %r8,%rax
4b: 48 21 c2 and %rax,%rdx
4e: 48 89 d0 mov %rdx,%rax
51: 48 c1 e0 04 shl $0x4,%rax
55: 48 01 f8 add %rdi,%rax
58: eb 18 jmp 72 <ht_get+0x72>
5a: 66 0f 1f 44 00 00 nopw 0x0(%rax,%rax,1)
60: 49 39 f0 cmp %rsi,%r8
63: 74 1b je 80 <ht_get+0x80>
65: 48 83 c2 01 add $0x1,%rdx
69: 48 83 c0 10 add $0x10,%rax
6d: 48 39 d1 cmp %rdx,%rcx
70: 76 1e jbe 90 <ht_get+0x90>
72: 4c 8b 00 mov (%rax),%r8
75: 4d 85 c0 test %r8,%r8
78: 75 e6 jne 60 <ht_get+0x60>
7a: 4c 89 c0 mov %r8,%rax
7d: c3 retq
7e: 66 90 xchg %ax,%ax
80: 4c 8b 40 08 mov 0x8(%rax),%r8
84: 4c 89 c0 mov %r8,%rax
87: c3 retq
88: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1)
8f: 00
90: 31 d2 xor %edx,%edx
92: eb ba jmp 4e <ht_get+0x4e>
Disassembly of section .text.ht_set:
0000000000000000 <ht_set>:
0: f3 0f 1e fa endbr64
4: 41 57 push %r15
6: 41 56 push %r14
8: 41 55 push %r13
a: 41 54 push %r12
c: 55 push %rbp
d: 53 push %rbx
e: 48 83 ec 18 sub $0x18,%rsp
12: 48 85 d2 test %rdx,%rdx
15: 0f 84 48 01 00 00 je 163 <ht_set+0x163>
1b: 49 89 f5 mov %rsi,%r13
1e: 48 85 f6 test %rsi,%rsi
21: 0f 84 5b 01 00 00 je 182 <ht_set+0x182>
27: 48 8b 6f 08 mov 0x8(%rdi),%rbp
2b: 48 89 fb mov %rdi,%rbx
2e: 49 89 d4 mov %rdx,%r12
31: 48 89 e8 mov %rbp,%rax
34: 48 d1 e8 shr %rax
37: 48 39 47 10 cmp %rax,0x10(%rdi)
3b: 0f 82 9f 00 00 00 jb e0 <ht_set+0xe0>
41: 4c 8d 4c 2d 00 lea 0x0(%rbp,%rbp,1),%r9
46: 4c 39 cd cmp %r9,%rbp
49: 0f 87 c1 00 00 00 ja 110 <ht_set+0x110>
4f: be 10 00 00 00 mov $0x10,%esi
54: 4c 89 cf mov %r9,%rdi
57: 4c 89 4c 24 08 mov %r9,0x8(%rsp)
5c: e8 00 00 00 00 callq 61 <ht_set+0x61>
61: 49 89 c7 mov %rax,%r15
64: 48 85 c0 test %rax,%rax
67: 0f 84 40 01 00 00 je 1ad <ht_set+0x1ad>
6d: 45 31 f6 xor %r14d,%r14d
70: 48 85 ed test %rbp,%rbp
73: 48 8b 3b mov (%rbx),%rdi
76: 4c 8b 4c 24 08 mov 0x8(%rsp),%r9
7b: 74 3e je bb <ht_set+0xbb>
7d: 0f 1f 00 nopl (%rax)
80: 4c 89 f0 mov %r14,%rax
83: 48 c1 e0 04 shl $0x4,%rax
87: 48 01 f8 add %rdi,%rax
8a: 48 8b 10 mov (%rax),%rdx
8d: 48 85 d2 test %rdx,%rdx
90: 74 1f je b1 <ht_set+0xb1>
92: 48 8b 48 08 mov 0x8(%rax),%rcx
96: 4c 89 ce mov %r9,%rsi
99: 4c 89 ff mov %r15,%rdi
9c: 45 31 c0 xor %r8d,%r8d
9f: 4c 89 4c 24 08 mov %r9,0x8(%rsp)
a4: e8 00 00 00 00 callq a9 <ht_set+0xa9>
a9: 48 8b 3b mov (%rbx),%rdi
ac: 4c 8b 4c 24 08 mov 0x8(%rsp),%r9
b1: 49 83 c6 01 add $0x1,%r14
b5: 4c 3b 73 08 cmp 0x8(%rbx),%r14
b9: 72 c5 jb 80 <ht_set+0x80>
bb: 4c 89 4c 24 08 mov %r9,0x8(%rsp)
c0: e8 00 00 00 00 callq c5 <ht_set+0xc5>
c5: 4c 8b 4c 24 08 mov 0x8(%rsp),%r9
ca: 4c 89 3b mov %r15,(%rbx)
cd: 4c 89 4b 08 mov %r9,0x8(%rbx)
d1: 4c 89 cd mov %r9,%rbp
d4: eb 0d jmp e3 <ht_set+0xe3>
d6: 66 2e 0f 1f 84 00 00 nopw %cs:0x0(%rax,%rax,1)
dd: 00 00 00
e0: 4c 8b 3f mov (%rdi),%r15
e3: 48 83 c4 18 add $0x18,%rsp
e7: 4c 8d 43 10 lea 0x10(%rbx),%r8
eb: 4c 89 e1 mov %r12,%rcx
ee: 4c 89 ea mov %r13,%rdx
f1: 5b pop %rbx
f2: 48 89 ee mov %rbp,%rsi
f5: 4c 89 ff mov %r15,%rdi
f8: 5d pop %rbp
f9: 41 5c pop %r12
fb: 41 5d pop %r13
fd: 41 5e pop %r14
ff: 41 5f pop %r15
101: e9 00 00 00 00 jmpq 106 <ht_set+0x106>
106: 66 2e 0f 1f 84 00 00 nopw %cs:0x0(%rax,%rax,1)
10d: 00 00 00
110: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 117 <ht_set+0x117>
117: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 11e <ht_set+0x11e>
11e: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 125 <ht_set+0x125>
125: 31 c0 xor %eax,%eax
127: be 01 00 00 00 mov $0x1,%esi
12c: e8 00 00 00 00 callq 131 <ht_set+0x131>
131: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 138 <ht_set+0x138>
138: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 13f <ht_set+0x13f>
13f: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 146 <ht_set+0x146>
146: 31 c0 xor %eax,%eax
148: be 01 00 00 00 mov $0x1,%esi
14d: e8 00 00 00 00 callq 152 <ht_set+0x152>
152: 48 83 c4 18 add $0x18,%rsp
156: 31 c0 xor %eax,%eax
158: 5b pop %rbx
159: 5d pop %rbp
15a: 41 5c pop %r12
15c: 41 5d pop %r13
15e: 41 5e pop %r14
160: 41 5f pop %r15
162: c3 retq
163: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 16a <ht_set+0x16a>
16a: ba 3d 02 00 00 mov $0x23d,%edx
16f: 48 8d 35 00 00 00 00 lea 0x0(%rip),%rsi # 176 <ht_set+0x176>
176: 48 8d 3d 00 00 00 00 lea 0x0(%rip),%rdi # 17d <ht_set+0x17d>
17d: e8 00 00 00 00 callq 182 <ht_set+0x182>
182: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 189 <ht_set+0x189>
189: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 190 <ht_set+0x190>
190: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 197 <ht_set+0x197>
197: 31 c0 xor %eax,%eax
199: be 01 00 00 00 mov $0x1,%esi
19e: e8 00 00 00 00 callq 1a3 <ht_set+0x1a3>
1a3: bf 01 00 00 00 mov $0x1,%edi
1a8: e8 00 00 00 00 callq 1ad <ht_set+0x1ad>
1ad: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 1b4 <ht_set+0x1b4>
1b4: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 1bb <ht_set+0x1bb>
1bb: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 1c2 <ht_set+0x1c2>
1c2: 31 c0 xor %eax,%eax
1c4: be 01 00 00 00 mov $0x1,%esi
1c9: e8 00 00 00 00 callq 1ce <ht_set+0x1ce>
1ce: e9 5e ff ff ff jmpq 131 <ht_set+0x131>
Disassembly of section .text.array_alloc_op_counts:
0000000000000000 <array_alloc_op_counts>:
0: 41 54 push %r12
2: 55 push %rbp
3: 48 89 fd mov %rdi,%rbp
6: 53 push %rbx
7: 48 83 7e 08 00 cmpq $0x0,0x8(%rsi)
c: 74 6a je 78 <array_alloc_op_counts+0x78>
e: 48 8b 56 20 mov 0x20(%rsi),%rdx
12: 48 8b 06 mov (%rsi),%rax
15: 48 89 f3 mov %rsi,%rbx
18: 4c 8b 64 d0 f8 mov -0x8(%rax,%rdx,8),%r12
1d: 4d 85 e4 test %r12,%r12
20: 0f 84 aa 00 00 00 je d0 <array_alloc_op_counts+0xd0>
26: 4c 89 e6 mov %r12,%rsi
29: e8 00 00 00 00 callq 2e <array_alloc_op_counts+0x2e>
2e: 48 85 c0 test %rax,%rax
31: 74 0d je 40 <array_alloc_op_counts+0x40>
33: 5b pop %rbx
34: 5d pop %rbp
35: 41 5c pop %r12
37: c3 retq
38: 0f 1f 84 00 00 00 00 nopl 0x0(%rax,%rax,1)
3f: 00
40: bf c8 04 00 00 mov $0x4c8,%edi
45: e8 00 00 00 00 callq 4a <array_alloc_op_counts+0x4a>
4a: 48 89 c2 mov %rax,%rdx
4d: 48 85 d2 test %rdx,%rdx
50: 0f 84 cc 00 00 00 je 122 <array_alloc_op_counts+0x122>
56: b9 99 00 00 00 mov $0x99,%ecx
5b: 31 c0 xor %eax,%eax
5d: 48 89 d7 mov %rdx,%rdi
60: 4c 89 e6 mov %r12,%rsi
63: f3 48 ab rep stos %rax,%es:(%rdi)
66: 48 89 ef mov %rbp,%rdi
69: 5b pop %rbx
6a: 5d pop %rbp
6b: 41 5c pop %r12
6d: e9 00 00 00 00 jmpq 72 <array_alloc_op_counts+0x72>
72: 66 0f 1f 44 00 00 nopw 0x0(%rax,%rax,1)
78: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 7f <array_alloc_op_counts+0x7f>
7f: be 01 00 00 00 mov $0x1,%esi
84: 31 c0 xor %eax,%eax
86: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 8d <array_alloc_op_counts+0x8d>
8d: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 94 <array_alloc_op_counts+0x94>
94: e8 00 00 00 00 callq 99 <array_alloc_op_counts+0x99>
99: 31 f6 xor %esi,%esi
9b: 48 89 ef mov %rbp,%rdi
9e: e8 00 00 00 00 callq a3 <array_alloc_op_counts+0xa3>
a3: 48 85 c0 test %rax,%rax
a6: 75 8b jne 33 <array_alloc_op_counts+0x33>
a8: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # af <array_alloc_op_counts+0xaf>
af: ba 7b 02 00 00 mov $0x27b,%edx
b4: 48 8d 35 00 00 00 00 lea 0x0(%rip),%rsi # bb <array_alloc_op_counts+0xbb>
bb: 48 8d 3d 00 00 00 00 lea 0x0(%rip),%rdi # c2 <array_alloc_op_counts+0xc2>
c2: e8 00 00 00 00 callq c7 <array_alloc_op_counts+0xc7>
c7: 66 0f 1f 84 00 00 00 nopw 0x0(%rax,%rax,1)
ce: 00 00
d0: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # d7 <array_alloc_op_counts+0xd7>
d7: 48 8d 35 00 00 00 00 lea 0x0(%rip),%rsi # de <array_alloc_op_counts+0xde>
de: bf 01 00 00 00 mov $0x1,%edi
e3: 31 c0 xor %eax,%eax
e5: e8 00 00 00 00 callq ea <array_alloc_op_counts+0xea>
ea: 48 8b 53 20 mov 0x20(%rbx),%rdx
ee: 48 8b 03 mov (%rbx),%rax
f1: 48 89 ef mov %rbp,%rdi
f4: 4c 8b 64 d0 f8 mov -0x8(%rax,%rdx,8),%r12
f9: 4c 89 e6 mov %r12,%rsi
fc: e8 00 00 00 00 callq 101 <array_alloc_op_counts+0x101>
101: 48 85 c0 test %rax,%rax
104: 0f 85 29 ff ff ff jne 33 <array_alloc_op_counts+0x33>
10a: bf c8 04 00 00 mov $0x4c8,%edi
10f: e8 00 00 00 00 callq 114 <array_alloc_op_counts+0x114>
114: 48 89 c2 mov %rax,%rdx
117: 4d 85 e4 test %r12,%r12
11a: 0f 85 2d ff ff ff jne 4d <array_alloc_op_counts+0x4d>
120: eb 86 jmp a8 <array_alloc_op_counts+0xa8>
122: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 129 <array_alloc_op_counts+0x129>
129: 5b pop %rbx
12a: be 01 00 00 00 mov $0x1,%esi
12f: 31 c0 xor %eax,%eax
131: 5d pop %rbp
132: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 139 <array_alloc_op_counts+0x139>
139: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 140 <array_alloc_op_counts+0x140>
140: 41 5c pop %r12
142: e9 00 00 00 00 jmpq 147 <.LC40+0x10>
Disassembly of section .text.ht_length:
0000000000000000 <ht_length>:
0: f3 0f 1e fa endbr64
4: 48 8b 47 10 mov 0x10(%rdi),%rax
8: c3 retq
Disassembly of section .text.ht_iterator:
0000000000000000 <ht_iterator>:
0: f3 0f 1e fa endbr64
4: 48 c7 07 00 00 00 00 movq $0x0,(%rdi)
b: 48 89 f8 mov %rdi,%rax
e: 48 c7 47 08 00 00 00 movq $0x0,0x8(%rdi)
15: 00
16: 48 89 77 10 mov %rsi,0x10(%rdi)
1a: 48 c7 47 18 00 00 00 movq $0x0,0x18(%rdi)
21: 00
22: c3 retq
Disassembly of section .text.ht_next:
0000000000000000 <ht_next>:
0: f3 0f 1e fa endbr64
4: 48 8b 4f 10 mov 0x10(%rdi),%rcx
8: 48 8b 47 18 mov 0x18(%rdi),%rax
c: eb 1c jmp 2a <ht_next+0x2a>
e: 66 90 xchg %ax,%ax
10: 48 8d 50 01 lea 0x1(%rax),%rdx
14: 48 c1 e0 04 shl $0x4,%rax
18: 48 89 57 18 mov %rdx,0x18(%rdi)
1c: 48 03 01 add (%rcx),%rax
1f: 48 8b 30 mov (%rax),%rsi
22: 48 85 f6 test %rsi,%rsi
25: 75 11 jne 38 <ht_next+0x38>
27: 48 89 d0 mov %rdx,%rax
2a: 48 39 41 08 cmp %rax,0x8(%rcx)
2e: 77 e0 ja 10 <ht_next+0x10>
30: 31 c0 xor %eax,%eax
32: c3 retq
33: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1)
38: 48 8b 40 08 mov 0x8(%rax),%rax
3c: 48 89 37 mov %rsi,(%rdi)
3f: 48 89 47 08 mov %rax,0x8(%rdi)
43: b8 01 00 00 00 mov $0x1,%eax
48: c3 retq
Disassembly of section .text.caml_interprete:
0000000000000000 <caml_interprete>:
0: f3 0f 1e fa endbr64
4: 41 57 push %r15
6: 41 56 push %r14
8: 41 55 push %r13
a: 41 54 push %r12
c: 55 push %rbp
d: 53 push %rbx
e: 48 89 fb mov %rdi,%rbx
11: 48 81 ec 08 04 00 00 sub $0x408,%rsp
18: 48 89 7c 24 28 mov %rdi,0x28(%rsp)
1d: 48 8d bc 24 30 03 00 lea 0x330(%rsp),%rdi
24: 00
25: 48 89 74 24 58 mov %rsi,0x58(%rsp)
2a: 64 48 8b 04 25 28 00 mov %fs:0x28,%rax
31: 00 00
33: 48 89 84 24 f8 03 00 mov %rax,0x3f8(%rsp)
3a: 00
3b: 31 c0 xor %eax,%eax
3d: 48 8b 05 00 00 00 00 mov 0x0(%rip),%rax # 44 <caml_interprete+0x44>
44: 48 c7 84 24 08 03 00 movq $0x1,0x308(%rsp)
4b: 00 01 00 00 00
50: 64 48 8b 00 mov %fs:(%rax),%rax
54: 48 89 bc 24 10 03 00 mov %rdi,0x310(%rsp)
5b: 00
5c: 48 89 44 24 08 mov %rax,0x8(%rsp)
61: 48 8b 80 a0 00 00 00 mov 0xa0(%rax),%rax
68: 48 89 84 24 18 03 00 mov %rax,0x318(%rsp)
6f: 00
70: 48 8d 84 24 08 03 00 lea 0x308(%rsp),%rax
77: 00
78: 48 89 84 24 20 03 00 mov %rax,0x320(%rsp)
7f: 00
80: 48 85 db test %rbx,%rbx
83: 0f 84 0e 07 00 00 je 797 <__stubGETGLOBAL+0x19>
89: 48 8b 5c 24 08 mov 0x8(%rsp),%rbx
8e: 31 f6 xor %esi,%esi
90: 48 8b 83 d8 01 00 00 mov 0x1d8(%rbx),%rax
97: 48 8b 53 20 mov 0x20(%rbx),%rdx
9b: 48 89 44 24 68 mov %rax,0x68(%rsp)
a0: 48 8b 42 10 mov 0x10(%rdx),%rax
a4: 48 2b 02 sub (%rdx),%rax
a7: 48 c1 f8 03 sar $0x3,%rax
ab: 48 89 44 24 70 mov %rax,0x70(%rsp)
b0: 48 8b 83 e8 01 00 00 mov 0x1e8(%rbx),%rax
b7: 48 89 44 24 60 mov %rax,0x60(%rsp)
bc: e8 00 00 00 00 callq c1 <caml_interprete+0xc1>
c1: f3 0f 1e fa endbr64
c5: 48 8b 7c 24 08 mov 0x8(%rsp),%rdi
ca: 48 8b 57 20 mov 0x20(%rdi),%rdx
ce: 85 c0 test %eax,%eax
d0: 0f 84 0e 04 00 00 je 4e4 <__stubCHECK_SIGNALS+0x354>
d6: 48 8b 2a mov (%rdx),%rbp
d9: 48 8b 9c 24 08 03 00 mov 0x308(%rsp),%rbx
e0: 00
e1: 48 8b 87 e0 01 00 00 mov 0x1e0(%rdi),%rax
e8: 48 39 87 d8 01 00 00 cmp %rax,0x1d8(%rdi)
ef: 0f 8d c3 04 00 00 jge 5b8 <__stubCHECK_SIGNALS+0x428>
f5: 48 8b 44 24 08 mov 0x8(%rsp),%rax
fa: 48 83 b8 c0 00 00 00 cmpq $0x0,0xc0(%rax)
101: 00
102: 0f 85 33 01 00 00 jne 23b <__stubCHECK_SIGNALS+0xab>
108: 48 8b 44 24 08 mov 0x8(%rsp),%rax
10d: 48 8b 80 d8 01 00 00 mov 0x1d8(%rax),%rax
114: 48 8b 7c 24 08 mov 0x8(%rsp),%rdi
119: 48 8b 7f 20 mov 0x20(%rdi),%rdi
11d: 48 8b 57 10 mov 0x10(%rdi),%rdx
121: 48 85 c0 test %rax,%rax
124: 0f 8e 23 01 00 00 jle 24d <__stubCHECK_SIGNALS+0xbd>
12a: 48 8b 42 18 mov 0x18(%rdx),%rax
12e: 48 85 c0 test %rax,%rax
131: 0f 84 49 07 00 00 je 880 <__stubGETGLOBAL+0x102>
137: 4c 8b 74 24 08 mov 0x8(%rsp),%r14
13c: 4c 8b 7a 08 mov 0x8(%rdx),%r15
140: 48 89 2f mov %rbp,(%rdi)
143: 49 89 46 20 mov %rax,0x20(%r14)
147: 4c 8b 20 mov (%rax),%r12
14a: 49 8d 6c 24 08 lea 0x8(%r12),%rbp
14f: e8 00 00 00 00 callq 154 <caml_interprete+0x154>
154: 49 8b 04 24 mov (%r12),%rax
158: 48 d1 f8 sar %rax
15b: 49 89 86 d8 01 00 00 mov %rax,0x1d8(%r14)
162: 4d 8b 74 24 08 mov 0x8(%r12),%r14
167: 49 89 5c 24 08 mov %rbx,0x8(%r12)
16c: 4d 8b 2f mov (%r15),%r13
16f: 49 d1 fe sar %r14
172: 48 8b 44 24 08 mov 0x8(%rsp),%rax
177: 4c 89 7c 24 18 mov %r15,0x18(%rsp)
17c: 48 8b 40 20 mov 0x20(%rax),%rax
180: 48 8d 90 a8 00 00 00 lea 0xa8(%rax),%rdx
187: 48 39 d5 cmp %rdx,%rbp
18a: 0f 82 4f 04 00 00 jb 5df <__stubCHECK_SIGNALS+0x44f>
0000000000000190 <__stubCHECK_SIGNALS>:
190: e8 00 00 00 00 callq 195 <__stubCHECK_SIGNALS+0x5>
195: 48 8b 5c 24 08 mov 0x8(%rsp),%rbx
19a: 48 8b 03 mov (%rbx),%rax
19d: 48 39 43 08 cmp %rax,0x8(%rbx)
1a1: 72 21 jb 1c4 <__stubCHECK_SIGNALS+0x34>
1a3: e8 00 00 00 00 callq 1a8 <__stubCHECK_SIGNALS+0x18>
1a8: 48 8b 5c 24 20 mov 0x20(%rsp),%rbx
1ad: 48 89 5c 24 10 mov %rbx,0x10(%rsp)
1b2: 48 8b 5c 24 30 mov 0x30(%rsp),%rbx
1b7: 48 89 5c 24 48 mov %rbx,0x48(%rsp)
1bc: 85 c0 test %eax,%eax
1be: 0f 84 ce 00 00 00 je 292 <__stubCHECK_SIGNALS+0x102>
1c4: 4f 8d 64 36 01 lea 0x1(%r14,%r14,1),%r12
1c9: 48 8b 5c 24 08 mov 0x8(%rsp),%rbx
1ce: 48 8b 44 24 18 mov 0x18(%rsp),%rax
1d3: 4c 89 7d d0 mov %r15,-0x30(%rbp)
1d7: 48 8d 55 d0 lea -0x30(%rbp),%rdx
1db: 4c 89 6d e8 mov %r13,-0x18(%rbp)
1df: 48 c7 45 d8 01 00 00 movq $0x1,-0x28(%rbp)
1e6: 00
1e7: 48 c7 45 e0 01 00 00 movq $0x1,-0x20(%rbp)
1ee: 00
1ef: 48 89 45 f0 mov %rax,-0x10(%rbp)
1f3: 4c 89 65 f8 mov %r12,-0x8(%rbp)
1f7: 48 8b 43 20 mov 0x20(%rbx),%rax
1fb: 48 89 10 mov %rdx,(%rax)
1fe: e8 00 00 00 00 callq 203 <__stubCHECK_SIGNALS+0x73>
203: 48 8b 43 20 mov 0x20(%rbx),%rax
207: 48 8b 00 mov (%rax),%rax
20a: 48 8b 58 20 mov 0x20(%rax),%rbx
20e: 4c 8b 70 28 mov 0x28(%rax),%r14
212: 48 8d 68 30 lea 0x30(%rax),%rbp
216: 4c 8b 38 mov (%rax),%r15
219: 4c 8b 68 18 mov 0x18(%rax),%r13
21d: 48 8b 44 24 20 mov 0x20(%rsp),%rax
222: 48 89 5c 24 18 mov %rbx,0x18(%rsp)
227: 49 d1 fe sar %r14
22a: 48 89 44 24 10 mov %rax,0x10(%rsp)
22f: 48 8b 44 24 30 mov 0x30(%rsp),%rax
234: 48 89 44 24 48 mov %rax,0x48(%rsp)
239: eb 57 jmp 292 <__stubCHECK_SIGNALS+0x102>
23b: 31 d2 xor %edx,%edx
23d: 48 89 ee mov %rbp,%rsi
240: 48 89 df mov %rbx,%rdi
243: e8 00 00 00 00 callq 248 <__stubCHECK_SIGNALS+0xb8>
248: e9 bb fe ff ff jmpq 108 <caml_interprete+0x108>
24d: 48 8d 04 c2 lea (%rdx,%rax,8),%rax
251: 48 8b 7c 24 08 mov 0x8(%rsp),%rdi
256: 49 89 df mov %rbx,%r15
259: 48 8b 50 08 mov 0x8(%rax),%rdx
25d: 4c 8b 28 mov (%rax),%r13
260: 48 8d 68 20 lea 0x20(%rax),%rbp
264: 48 d1 fa sar %rdx
267: 48 89 97 d8 01 00 00 mov %rdx,0x1d8(%rdi)
26e: 48 8b 78 10 mov 0x10(%rax),%rdi
272: 4c 8b 70 18 mov 0x18(%rax),%r14
276: 48 8b 44 24 20 mov 0x20(%rsp),%rax
27b: 48 89 7c 24 18 mov %rdi,0x18(%rsp)
280: 48 89 44 24 10 mov %rax,0x10(%rsp)
285: 48 8b 44 24 30 mov 0x30(%rsp),%rax
28a: 49 d1 fe sar %r14
28d: 48 89 44 24 48 mov %rax,0x48(%rsp)
292: 48 8b 44 24 10 mov 0x10(%rsp),%rax
297: 4d 89 ec mov %r13,%r12
29a: 48 8b 5c 24 08 mov 0x8(%rsp),%rbx
29f: 4c 8b 6c 24 58 mov 0x58(%rsp),%r13
2a4: 48 89 44 24 20 mov %rax,0x20(%rsp)
2a9: 48 8b 44 24 48 mov 0x48(%rsp),%rax
2ae: 48 89 44 24 30 mov %rax,0x30(%rsp)
2b3: 0f 1f 44 00 00 nopl 0x0(%rax,%rax,1)
2b8: 48 8b 15 00 00 00 00 mov 0x0(%rip),%rdx # 2bf <__stubCHECK_SIGNALS+0x12f>
2bf: 64 48 83 04 25 00 00 addq $0x1,%fs:0x0
2c6: 00 00 01
2c9: 64 48 8b 02 mov %fs:(%rdx),%rax
2cd: 48 8d 48 ff lea -0x1(%rax),%rcx
2d1: 64 48 89 0a mov %rcx,%fs:(%rdx)
2d5: 48 85 c0 test %rax,%rax
2d8: 0f 84 c2 00 00 00 je 3a0 <__stubCHECK_SIGNALS+0x210>
2de: 48 8b 05 00 00 00 00 mov 0x0(%rip),%rax # 2e5 <__stubCHECK_SIGNALS+0x155>
2e5: 48 8b 40 30 mov 0x30(%rax),%rax
2e9: 48 83 f8 01 cmp $0x1,%rax
2ed: 76 27 jbe 316 <__stubCHECK_SIGNALS+0x186>
2ef: 64 48 8b 14 25 00 00 mov %fs:0x0,%rdx
2f6: 00 00
2f8: 48 8d 35 00 00 00 00 lea 0x0(%rip),%rsi # 2ff <__stubCHECK_SIGNALS+0x16f>
2ff: bf 01 00 00 00 mov $0x1,%edi
304: 31 c0 xor %eax,%eax
306: e8 00 00 00 00 callq 30b <__stubCHECK_SIGNALS+0x17b>
30b: 48 8b 05 00 00 00 00 mov 0x0(%rip),%rax # 312 <__stubCHECK_SIGNALS+0x182>
312: 48 8b 40 30 mov 0x30(%rax),%rax
316: 48 85 c0 test %rax,%rax
319: 0f 85 b1 00 00 00 jne 3d0 <__stubCHECK_SIGNALS+0x240>
31f: 48 8b 43 20 mov 0x20(%rbx),%rax
323: 48 8d 50 28 lea 0x28(%rax),%rdx
327: 48 39 d5 cmp %rdx,%rbp
32a: 0f 82 1a 2e 00 00 jb 314a <__stubDIVINT+0xb21>
330: 48 39 68 10 cmp %rbp,0x10(%rax)
334: 0f 82 e6 2d 00 00 jb 3120 <__stubDIVINT+0xaf7>
33a: 41 8b 0c 24 mov (%r12),%ecx
33e: 81 f9 98 00 00 00 cmp $0x98,%ecx
344: 7f 6a jg 3b0 <__stubCHECK_SIGNALS+0x220>
346: 48 8b 44 24 38 mov 0x38(%rsp),%rax
34b: 4c 63 c1 movslq %ecx,%r8
34e: 48 83 44 24 40 01 addq $0x1,0x40(%rsp)
354: 49 c1 e0 03 shl $0x3,%r8
358: 4a 83 04 00 01 addq $0x1,(%rax,%r8,1)
35d: 48 8b 44 24 30 mov 0x30(%rsp),%rax
362: 48 83 78 08 00 cmpq $0x0,0x8(%rax)
367: 0f 85 eb 00 00 00 jne 458 <__stubCHECK_SIGNALS+0x2c8>
36d: 4d 8d 4c 24 04 lea 0x4(%r12),%r9
372: 4c 89 f2 mov %r14,%rdx
375: 4f 8d 44 36 01 lea 0x1(%r14,%r14,1),%r8
37a: 81 f9 98 00 00 00 cmp $0x98,%ecx
380: 0f 87 b2 2d 00 00 ja 3138 <__stubDIVINT+0xb0f>
386: 48 8d 35 00 00 00 00 lea 0x0(%rip),%rsi # 38d <__stubCHECK_SIGNALS+0x1fd>
38d: 89 c9 mov %ecx,%ecx
38f: 48 63 04 8e movslq (%rsi,%rcx,4),%rax
393: 48 01 f0 add %rsi,%rax
396: 3e ff e0 notrack jmpq *%rax
399: 0f 1f 80 00 00 00 00 nopl 0x0(%rax)
3a0: e8 00 00 00 00 callq 3a5 <__stubCHECK_SIGNALS+0x215>
3a5: e9 34 ff ff ff jmpq 2de <__stubCHECK_SIGNALS+0x14e>
3aa: 66 0f 1f 44 00 00 nopw 0x0(%rax,%rax,1)
3b0: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 3b7 <__stubCHECK_SIGNALS+0x227>
3b7: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 3be <__stubCHECK_SIGNALS+0x22e>
3be: be 01 00 00 00 mov $0x1,%esi
3c3: 31 c0 xor %eax,%eax
3c5: e8 00 00 00 00 callq 3ca <__stubCHECK_SIGNALS+0x23a>
3ca: 41 8b 0c 24 mov (%r12),%ecx
3ce: eb 9d jmp 36d <__stubCHECK_SIGNALS+0x1dd>
3d0: 4c 89 e7 mov %r12,%rdi
3d3: e8 00 00 00 00 callq 3d8 <__stubCHECK_SIGNALS+0x248>
3d8: 48 8b 05 00 00 00 00 mov 0x0(%rip),%rax # 3df <__stubCHECK_SIGNALS+0x24f>
3df: 48 83 78 30 01 cmpq $0x1,0x30(%rax)
3e4: 0f 86 35 ff ff ff jbe 31f <__stubCHECK_SIGNALS+0x18f>
3ea: 48 8d 35 00 00 00 00 lea 0x0(%rip),%rsi # 3f1 <__stubCHECK_SIGNALS+0x261>
3f1: bf 01 00 00 00 mov $0x1,%edi
3f6: 31 c0 xor %eax,%eax
3f8: e8 00 00 00 00 callq 3fd <__stubCHECK_SIGNALS+0x26d>
3fd: 48 8b 0d 00 00 00 00 mov 0x0(%rip),%rcx # 404 <__stubCHECK_SIGNALS+0x274>
404: 48 8b 74 24 28 mov 0x28(%rsp),%rsi
409: 4c 89 ea mov %r13,%rdx
40c: 48 8b 7c 24 18 mov 0x18(%rsp),%rdi
411: e8 00 00 00 00 callq 416 <__stubCHECK_SIGNALS+0x286>
416: 48 8b 35 00 00 00 00 mov 0x0(%rip),%rsi # 41d <__stubCHECK_SIGNALS+0x28d>
41d: bf 0a 00 00 00 mov $0xa,%edi
422: e8 00 00 00 00 callq 427 <__stubCHECK_SIGNALS+0x297>
427: 48 8b 54 24 28 mov 0x28(%rsp),%rdx
42c: 4c 89 ff mov %r15,%rdi
42f: 4c 89 e9 mov %r13,%rcx
432: 4c 8b 05 00 00 00 00 mov 0x0(%rip),%r8 # 439 <__stubCHECK_SIGNALS+0x2a9>
439: 48 89 ee mov %rbp,%rsi
43c: e8 00 00 00 00 callq 441 <__stubCHECK_SIGNALS+0x2b1>
441: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 448 <__stubCHECK_SIGNALS+0x2b8>
448: e8 00 00 00 00 callq 44d <__stubCHECK_SIGNALS+0x2bd>
44d: e9 cd fe ff ff jmpq 31f <__stubCHECK_SIGNALS+0x18f>
452: 66 0f 1f 44 00 00 nopw 0x0(%rax,%rax,1)
458: 48 8b 44 24 48 mov 0x48(%rsp),%rax
45d: 48 83 78 08 00 cmpq $0x0,0x8(%rax)
462: 74 40 je 4a4 <__stubCHECK_SIGNALS+0x314>
464: 48 8b 50 20 mov 0x20(%rax),%rdx
468: 48 8b 00 mov (%rax),%rax
46b: 48 8b 74 d0 f8 mov -0x8(%rax,%rdx,8),%rsi
470: 48 85 f6 test %rsi,%rsi
473: 0f 84 b7 03 00 00 je 830 <__stubGETGLOBAL+0xb2>
479: 48 8b 7c 24 10 mov 0x10(%rsp),%rdi
47e: 4c 89 44 24 50 mov %r8,0x50(%rsp)
483: e8 00 00 00 00 callq 488 <__stubCHECK_SIGNALS+0x2f8>
488: 4c 8b 44 24 50 mov 0x50(%rsp),%r8
48d: 48 85 c0 test %rax,%rax
490: 0f 84 42 2c 00 00 je 30d8 <__stubDIVINT+0xaaf>
496: 4a 83 04 00 01 addq $0x1,(%rax,%r8,1)
49b: 41 8b 0c 24 mov (%r12),%ecx
49f: e9 c9 fe ff ff jmpq 36d <__stubCHECK_SIGNALS+0x1dd>
4a4: 48 8b 3d 00 00 00 00 mov 0x0(%rip),%rdi # 4ab <__stubCHECK_SIGNALS+0x31b>
4ab: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 4b2 <__stubCHECK_SIGNALS+0x322>
4b2: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 4b9 <__stubCHECK_SIGNALS+0x329>
4b9: 31 c0 xor %eax,%eax
4bb: be 01 00 00 00 mov $0x1,%esi
4c0: e8 00 00 00 00 callq 4c5 <__stubCHECK_SIGNALS+0x335>
4c5: 48 8d 0d 00 00 00 00 lea 0x0(%rip),%rcx # 4cc <__stubCHECK_SIGNALS+0x33c>
4cc: ba 60 02 00 00 mov $0x260,%edx
4d1: 48 8d 35 00 00 00 00 lea 0x0(%rip),%rsi # 4d8 <__stubCHECK_SIGNALS+0x348>
4d8: 48 8d 3d 00 00 00 00 lea 0x0(%rip),%rdi # 4df <__stubCHECK_SIGNALS+0x34f>
4df: e8 00 00 00 00 callq 4e4 <__stubCHECK_SIGNALS+0x354>
4e4: 48 8b 5c 24 08 mov 0x8(%rsp),%rbx
4e9: 48 8d 84 24 10 03 00 lea 0x310(%rsp),%rax
4f0: 00
4f1: 31 ff xor %edi,%edi
4f3: 48 89 83 e8 01 00 00 mov %rax,0x1e8(%rbx)
4fa: 48 c7 83 d8 01 00 00 movq $0x1,0x1d8(%rbx)
501: 01 00 00 00
505: 48 8b 2a mov (%rdx),%rbp
508: e8 00 00 00 00 callq 50d <__stubCHECK_SIGNALS+0x37d>
50d: bf c8 04 00 00 mov $0x4c8,%edi
512: 48 c7 44 24 40 00 00 movq $0x0,0x40(%rsp)
519: 00 00
51b: 48 89 44 24 18 mov %rax,0x18(%rsp)
520: e8 00 00 00 00 callq 525 <__stubCHECK_SIGNALS+0x395>
525: 48 89 44 24 38 mov %rax,0x38(%rsp)
52a: 48 85 c0 test %rax,%rax
52d: 0f 84 c4 2b 00 00 je 30f7 <__stubDIVINT+0xace>
533: 48 8b 7c 24 38 mov 0x38(%rsp),%rdi
538: 31 c0 xor %eax,%eax
53a: b9 99 00 00 00 mov $0x99,%ecx
53f: be 01 00 00 00 mov $0x1,%esi
544: f3 48 ab rep stos %rax,%es:(%rdi)
547: bf 00 20 00 00 mov $0x2000,%edi
54c: e8 00 00 00 00 callq 551 <__stubCHECK_SIGNALS+0x3c1>
551: 49 89 c4 mov %rax,%r12
554: 48 85 c0 test %rax,%rax
557: 0f 84 18 2b 00 00 je 3075 <__stubDIVINT+0xa4c>
55d: bf 28 00 00 00 mov $0x28,%edi
562: e8 00 00 00 00 callq 567 <__stubCHECK_SIGNALS+0x3d7>
567: 48 89 c3 mov %rax,%rbx
56a: 48 85 c0 test %rax,%rax
56d: 0f 84 46 2b 00 00 je 30b9 <__stubDIVINT+0xa90>
573: 4c 89 20 mov %r12,(%rax)
576: 45 31 f6 xor %r14d,%r14d
579: 41 bf 01 00 00 00 mov $0x1,%r15d
57f: 48 c7 40 10 00 04 00 movq $0x400,0x10(%rax)
586: 00
587: 48 c7 40 08 00 00 00 movq $0x0,0x8(%rax)
58e: 00
58f: 48 c7 40 18 00 00 00 movq $0x0,0x18(%rax)
596: 00
597: 48 c7 40 20 00 00 00 movq $0x0,0x20(%rax)
59e: 00
59f: e8 00 00 00 00 callq 5a4 <__stubCHECK_SIGNALS+0x414>
5a4: 48 89 5c 24 48 mov %rbx,0x48(%rsp)
5a9: 4c 8b 6c 24 28 mov 0x28(%rsp),%r13
5ae: 48 89 44 24 10 mov %rax,0x10(%rsp)
5b3: e9 da fc ff ff jmpq 292 <__stubCHECK_SIGNALS+0x102>
5b8: be 01 00 00 00 mov $0x1,%esi
5bd: bf 04 00 00 00 mov $0x4,%edi
5c2: e8 00 00 00 00 callq 5c7 <__stubCHECK_SIGNALS+0x437>
5c7: 48 8b 44 24 08 mov 0x8(%rsp),%rax
5cc: 48 83 b8 c0 00 00 00 cmpq $0x0,0xc0(%rax)
5d3: 00
5d4: 0f 84 2e fb ff ff je 108 <caml_interprete+0x108>
5da: e9 5c fc ff ff jmpq 23b <__stubCHECK_SIGNALS+0xab>
5df: 48 89 28 mov %rbp,(%rax)
5e2: bf 10 00 00 00 mov $0x10,%edi
5e7: e8 00 00 00 00 callq 5ec <__stubCHECK_SIGNALS+0x45c>
5ec: 85 c0 test %eax,%eax
5ee: 0f 84 60 2a 00 00 je 3054 <__stubDIVINT+0xa2b>
5f4: 48 8b 44 24 08 mov 0x8(%rsp),%rax
5f9: 4c 89 7c 24 18 mov %r15,0x18(%rsp)
5fe: 48 8b 40 20 mov 0x20(%rax),%rax
602: 48 8b 28 mov (%rax),%rbp
605: e9 86 fb ff ff jmpq 190 <__stubCHECK_SIGNALS>
000000000000060a <__stubPUSH>:
60a: 4c 89 7d f8 mov %r15,-0x8(%rbp)
60e: 4d 89 cc mov %r9,%r12
611: 48 83 ed 08 sub $0x8,%rbp
615: 0f 1f 00 nopl (%rax)
618: 48 8b 44 24 10 mov 0x10(%rsp),%rax
61d: 48 89 44 24 20 mov %rax,0x20(%rsp)
622: e9 91 fc ff ff jmpq 2b8 <__stubCHECK_SIGNALS+0x128>
0000000000000627 <__stubPUSHACC>:
627: 4c 89 7d f8 mov %r15,-0x8(%rbp)
62b: 48 83 ed 08 sub $0x8,%rbp
000000000000062f <__stubACC>:
62f: 49 63 44 24 04 movslq 0x4(%r12),%rax
634: 49 83 c4 08 add $0x8,%r12
638: 4c 8b 7c c5 00 mov 0x0(%rbp,%rax,8),%r15
63d: eb d9 jmp 618 <__stubPUSH+0xe>
000000000000063f <__stubPUSHOFFSETCLOSURE>:
63f: 4c 89 7d f8 mov %r15,-0x8(%rbp)
643: 48 83 ed 08 sub $0x8,%rbp
0000000000000647 <__stubOFFSETCLOSURE>:
647: 49 63 44 24 04 movslq 0x4(%r12),%rax
64c: 48 8b 7c 24 18 mov 0x18(%rsp),%rdi
651: 49 83 c4 08 add $0x8,%r12
655: 4c 8d 3c c7 lea (%rdi,%rax,8),%r15
659: eb bd jmp 618 <__stubPUSH+0xe>
000000000000065b <__stubPUSHOFFSETCLOSURE3>:
65b: 4c 89 7d f8 mov %r15,-0x8(%rbp)
65f: 48 83 ed 08 sub $0x8,%rbp
0000000000000663 <__stubOFFSETCLOSURE3>:
663: 48 8b 44 24 18 mov 0x18(%rsp),%rax
668: 4d 89 cc mov %r9,%r12
66b: 4c 8d 78 18 lea 0x18(%rax),%r15
66f: eb a7 jmp 618 <__stubPUSH+0xe>
0000000000000671 <__stubPUSHOFFSETCLOSURE0>:
671: 4c 89 7d f8 mov %r15,-0x8(%rbp)
675: 48 83 ed 08 sub $0x8,%rbp
0000000000000679 <__stubOFFSETCLOSURE0>:
679: 4c 8b 7c 24 18 mov 0x18(%rsp),%r15
67e: 4d 89 cc mov %r9,%r12
681: eb 95 jmp 618 <__stubPUSH+0xe>
0000000000000683 <__stubPUSHOFFSETCLOSUREM3>:
683: 4c 89 7d f8 mov %r15,-0x8(%rbp)
687: 48 83 ed 08 sub $0x8,%rbp
000000000000068b <__stubOFFSETCLOSUREM3>:
68b: 48 8b 44 24 18 mov 0x18(%rsp),%rax
690: 4d 89 cc mov %r9,%r12
693: 4c 8d 78 e8 lea -0x18(%rax),%r15
697: e9 7c ff ff ff jmpq 618 <__stubPUSH+0xe>
000000000000069c <__stubPUSHENVACC>:
69c: 4c 89 7d f8 mov %r15,-0x8(%rbp)
6a0: 48 83 ed 08 sub $0x8,%rbp
00000000000006a4 <__stubENVACC>:
6a4: 49 63 44 24 04 movslq 0x4(%r12),%rax
6a9: 48 8b 7c 24 18 mov 0x18(%rsp),%rdi
6ae: 49 83 c4 08 add $0x8,%r12
6b2: 4c 8b 3c c7 mov (%rdi,%rax,8),%r15
6b6: e9 5d ff ff ff jmpq 618 <__stubPUSH+0xe>
00000000000006bb <__stubPUSHCONSTINT>:
6bb: 4c 89 7d f8 mov %r15,-0x8(%rbp)
6bf: 48 83 ed 08 sub $0x8,%rbp
00000000000006c3 <__stubCONSTINT>:
6c3: 49 63 44 24 04 movslq 0x4(%r12),%rax
6c8: 49 83 c4 08 add $0x8,%r12
6cc: 4c 8d 7c 00 01 lea 0x1(%rax,%rax,1),%r15
6d1: e9 42 ff ff ff jmpq 618 <__stubPUSH+0xe>
00000000000006d6 <__stubGETBYTESCHAR>:
6d6: 48 8b 45 00 mov 0x0(%rbp),%rax
6da: 4d 89 cc mov %r9,%r12
6dd: 48 83 c5 08 add $0x8,%rbp
6e1: 48 d1 f8 sar %rax
6e4: 42 0f b6 04 38 movzbl (%rax,%r15,1),%eax
6e9: 4c 8d 7c 00 01 lea 0x1(%rax,%rax,1),%r15
6ee: e9 25 ff ff ff jmpq 618 <__stubPUSH+0xe>
00000000000006f3 <__stubPUSHATOM>:
6f3: 4c 89 7d f8 mov %r15,-0x8(%rbp)
6f7: 48 83 ed 08 sub $0x8,%rbp
00000000000006fb <__stubATOM>:
6fb: 41 8b 7c 24 04 mov 0x4(%r12),%edi
700: 49 8d 44 24 08 lea 0x8(%r12),%rax
705: 48 89 84 24 70 01 00 mov %rax,0x170(%rsp)
70c: 00
70d: e8 00 00 00 00 callq 712 <__stubATOM+0x17>
712: 4c 8b a4 24 70 01 00 mov 0x170(%rsp),%r12
719: 00
71a: 49 89 c7 mov %rax,%r15
71d: e9 f6 fe ff ff jmpq 618 <__stubPUSH+0xe>
0000000000000722 <__stubPUSHATOM0>:
722: 4c 89 7d f8 mov %r15,-0x8(%rbp)
726: 48 83 ed 08 sub $0x8,%rbp
72a: 4c 89 8c 24 00 02 00 mov %r9,0x200(%rsp)
731: 00
0000000000000732 <__stubATOM0>:
732: 31 ff xor %edi,%edi
734: e8 00 00 00 00 callq 739 <__stubATOM0+0x7>
739: 4c 8b 8c 24 00 02 00 mov 0x200(%rsp),%r9
740: 00
741: 49 89 c7 mov %rax,%r15
744: 4d 89 cc mov %r9,%r12
747: e9 cc fe ff ff jmpq 618 <__stubPUSH+0xe>
000000000000074c <__stubPUSHGETGLOBALFIELD>:
74c: 4c 89 7d f8 mov %r15,-0x8(%rbp)
750: 48 83 ed 08 sub $0x8,%rbp
0000000000000754 <__stubGETGLOBALFIELD>:
754: 48 8b 05 00 00 00 00 mov 0x0(%rip),%rax # 75b <__stubGETGLOBALFIELD+0x7>
75b: 49 63 4c 24 04 movslq 0x4(%r12),%rcx
760: 49 83 c4 0c add $0xc,%r12
764: 49 63 54 24 fc movslq -0x4(%r12),%rdx
769: 48 8b 04 c8 mov (%rax,%rcx,8),%rax
76d: 4c 8b 3c d0 mov (%rax,%rdx,8),%r15
771: e9 a2 fe ff ff jmpq 618 <__stubPUSH+0xe>
0000000000000776 <__stubPUSHGETGLOBAL>:
776: 4c 89 7d f8 mov %r15,-0x8(%rbp)
77a: 48 83 ed 08 sub $0x8,%rbp
000000000000077e <__stubGETGLOBAL>:
77e: 48 8b 05 00 00 00 00 mov 0x0(%rip),%rax # 785 <__stubGETGLOBAL+0x7>
785: 49 63 54 24 04 movslq 0x4(%r12),%rdx
78a: 49 83 c4 08 add $0x8,%r12
78e: 4c 8b 3c d0 mov (%rax,%rdx,8),%r15
792: e9 81 fe ff ff jmpq 618 <__stubPUSH+0xe>
797: 48 8d 35 00 00 00 00 lea 0x0(%rip),%rsi # 79e <__stubGETGLOBAL+0x20>
79e: 31 c9 xor %ecx,%ecx
7a0: ba 03 00 00 00 mov $0x3,%edx
7a5: 41 bf 01 00 00 00 mov $0x1,%r15d
7ab: 48 8d 7e f4 lea -0xc(%rsi),%rdi
7af: 48 8d 1d 00 00 00 00 lea 0x0(%rip),%rbx # 7b6 <__stubGETGLOBAL+0x38>
7b6: e8 00 00 00 00 callq 7bb <__stubGETGLOBAL+0x3d>
7bb: be f7 00 00 00 mov $0xf7,%esi
7c0: bf 02 00 00 00 mov $0x2,%edi
7c5: e8 00 00 00 00 callq 7ca <__stubGETGLOBAL+0x4c>
7ca: 48 8d 3d 00 00 00 00 lea 0x0(%rip),%rdi # 7d1 <__stubGETGLOBAL+0x53>
7d1: 48 89 18 mov %rbx,(%rax)
7d4: 48 c7 40 08 05 00 00 movq $0x5,0x8(%rax)
7db: 00
7dc: 48 89 05 00 00 00 00 mov %rax,0x0(%rip) # 7e3 <__stubGETGLOBAL+0x65>
7e3: e8 00 00 00 00 callq 7e8 <__stubGETGLOBAL+0x6a>
7e8: 48 8d 3d 00 00 00 00 lea 0x0(%rip),%rdi # 7ef <__stubGETGLOBAL+0x71>
7ef: 48 c7 05 00 00 00 00 movq $0x1,0x0(%rip) # 7fa <__stubGETGLOBAL+0x7c>
7f6: 01 00 00 00
7fa: e8 00 00 00 00 callq 7ff <__stubGETGLOBAL+0x81>
7ff: e8 00 00 00 00 callq 804 <__stubGETGLOBAL+0x86>
804: 48 8b 84 24 f8 03 00 mov 0x3f8(%rsp),%rax
80b: 00
80c: 64 48 33 04 25 28 00 xor %fs:0x28,%rax
813: 00 00
815: 0f 85 d2 27 00 00 jne 2fed <__stubDIVINT+0x9c4>
81b: 48 81 c4 08 04 00 00 add $0x408,%rsp
822: 4c 89 f8 mov %r15,%rax
825: 5b pop %rbx
826: 5d pop %rbp
827: 41 5c pop %r12
829: 41 5d pop %r13
82b: 41 5e pop %r14
82d: 41 5f pop %r15
82f: c3 retq
830: 48 8d 15 00 00 00 00 lea 0x0(%rip),%rdx # 837 <__stubGETGLOBAL+0xb9>
837: 48 8d 35 00 00 00 00 lea 0x0(%rip),%rsi # 83e <__stubGETGLOBAL+0xc0>
83e: 31 c0 xor %eax,%eax
840: bf 01 00 00 00 mov $0x1,%edi
845: 4c 89 84 24 b8 00 00 mov %r8,0xb8(%rsp)
84c: 00
84d: e8 00 00 00 00 callq 852 <__stubGETGLOBAL+0xd4>
852: 48 8b 44 24 48 mov 0x48(%rsp),%rax
857: 4c 8b 84 24 b8 00 00 mov 0xb8(%rsp),%r8
85e: 00
85f: 48 8b 50 20 mov 0x20(%rax),%rdx
863: 48 8b 00 mov (%rax),%rax
866: 48 8b 74 d0 f8 mov -0x8(%rax,%rdx,8),%rsi