Comparing BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64) in assumed vs ignored

Files changed (1) hide show
  1. balber_berutil.t/{20.assume.s → 20.none.s} +140 -130
balber_berutil.t/{20.assume.s → 20.none.s} RENAMED
@@ -1,132 +1,142 @@
1
- 0000000000476940 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)>:
2
  0000000000000000: 01 pushq %rbp
3
- 0000000000000001: 02 pushq %r14
4
- 0000000000000003: 01 pushq %rbx
5
- 0000000000000004: 04 subq $16, %rsp
6
- 0000000000000008: 03 movq %rdi, %r14
7
- 000000000000000b: 10 movabsq $9007199254740991, %rbx
8
- 0000000000000015: 05 callq 0x489c30 <__bid64_class>
9
- 000000000000001a: 02 cltq
10
- 000000000000001c: 10 movabsq $6917529027641081856, %rcx
11
- 0000000000000026: 03 movq %r14, %rdx
12
- 0000000000000029: 03 andq %rcx, %rdx
13
- 000000000000002c: 07 movl 5284112(,%rax,4), %eax
14
- 0000000000000033: 03 cmpq %rcx, %rdx
15
- 0000000000000036: 02 jne 0x4769bb <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x7b>
16
- 0000000000000038: 10 movabsq $8646911284551352320, %rdx
17
- 0000000000000042: 03 movq %r14, %rsi
18
- 0000000000000045: 03 andq %rdx, %rsi
19
- 0000000000000048: 10 movabsq $2251799813685247, %rcx
20
- 0000000000000052: 03 andq %r14, %rcx
21
- 0000000000000055: 03 incq %rbx
22
- 0000000000000058: 03 orq %rcx, %rbx
23
- 000000000000005b: 03 movq %r14, %rdi
24
- 000000000000005e: 04 shrq $51, %rdi
25
- 0000000000000062: 06 andl $1023, %edi
26
- 0000000000000068: 06 leal -398(%rdi), %ecx
27
- 000000000000006e: 03 cmpq %rdx, %rsi
28
- 0000000000000071: 03 cmovel %edi, %ecx
29
- 0000000000000074: 07 jmpq *5284032(,%rax,8)
30
- 000000000000007b: 03 movq %r14, %rcx
31
- 000000000000007e: 04 shrq $53, %rcx
32
- 0000000000000082: 06 andl $1023, %ecx
33
- 0000000000000088: 06 addl $4294966898, %ecx
34
- 000000000000008e: 03 andq %r14, %rbx
35
- 0000000000000091: 07 jmpq *5284032(,%rax,8)
36
- 0000000000000098: 10 movabsq $-3689348814741910323, %rsi
37
- 00000000000000a2: 03 movq %rbx, %rax
38
- 00000000000000a5: 04 imulq %rsi, %rax
39
- 00000000000000a9: 03 rorq %rax
40
- 00000000000000ac: 10 movabsq $1844674407370955161, %rdi
41
- 00000000000000b6: 03 cmpq %rdi, %rax
42
- 00000000000000b9: 06 ja 0x476ac5 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x185>
43
- 00000000000000bf: 06 cmpl $368, %ecx
44
- 00000000000000c5: 06 jg 0x476ac5 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x185>
45
- 00000000000000cb: 05 nopl (%rax,%rax)
46
- 00000000000000d0: 03 movq %rbx, %rax
 
47
  00000000000000d3: 03 mulq %rsi
48
- 00000000000000d6: 03 movq %rdx, %rbx
49
- 00000000000000d9: 04 shrq $3, %rbx
50
- 00000000000000dd: 03 leal 1(%rcx), %ebp
51
- 00000000000000e0: 03 movq %rbx, %rax
52
- 00000000000000e3: 04 imulq %rsi, %rax
53
- 00000000000000e7: 03 rorq %rax
54
- 00000000000000ea: 03 cmpq %rdi, %rax
55
- 00000000000000ed: 06 ja 0x476ac7 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x187>
56
- 00000000000000f3: 06 cmpl $368, %ecx
57
- 00000000000000f9: 02 movl %ebp, %ecx
58
- 00000000000000fb: 02 jl 0x476a10 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0xd0>
59
- 00000000000000fd: 05 jmp 0x476ac7 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x187>
60
- 0000000000000102: 03 testq %r14, %r14
61
- 0000000000000105: 06 js 0x476afd <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x1bd>
62
- 000000000000010b: 08 movl $0, 12(%rsp)
63
- 0000000000000113: 05 leaq 12(%rsp), %rsi
64
- 0000000000000118: 05 movl $5284186, %edi
65
- 000000000000011d: 05 callq 0x48c4f0 <__bid64_from_string>
66
- 0000000000000122: 02 jmp 0x476a84 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x144>
67
- 0000000000000124: 03 testq %r14, %r14
68
- 0000000000000127: 06 js 0x476b16 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x1d6>
69
- 000000000000012d: 08 movl $0, 12(%rsp)
70
- 0000000000000135: 05 leaq 12(%rsp), %rsi
71
- 000000000000013a: 05 movl $5283597, %edi
72
- 000000000000013f: 05 callq 0x48c4f0 <__bid64_from_string>
73
- 0000000000000144: 03 movq %rax, %rbx
74
- 0000000000000147: 05 testb $24, 12(%rsp)
75
- 000000000000014c: 06 je 0x476b4d <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x20d>
76
- 0000000000000152: 05 callq 0x404a00 <__errno_location@plt>
77
- 0000000000000157: 06 movl $34, (%rax)
78
- 000000000000015d: 05 jmp 0x476b4d <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x20d>
79
- 0000000000000162: 02 xorl %edi, %edi
80
- 0000000000000164: 05 callq 0x4b60a0 <__bid64_from_int32>
81
- 0000000000000169: 08 movl $0, 12(%rsp)
82
- 0000000000000171: 05 leaq 12(%rsp), %rdx
83
- 0000000000000176: 03 movq %rax, %rdi
84
- 0000000000000179: 02 xorl %esi, %esi
85
- 000000000000017b: 05 callq 0x48b810 <__bid64_scalbn>
86
- 0000000000000180: 05 jmp 0x476b4a <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x20a>
87
- 0000000000000185: 02 movl %ecx, %ebp
88
- 0000000000000187: 08 movl $0, 12(%rsp)
89
- 000000000000018f: 05 leaq 12(%rsp), %rsi
90
- 0000000000000194: 03 movq %rbx, %rdi
91
- 0000000000000197: 05 callq 0x4b6340 <__bid64_from_uint64>
92
- 000000000000019c: 08 movl $0, 12(%rsp)
93
- 00000000000001a4: 05 leaq 12(%rsp), %rdx
94
- 00000000000001a9: 03 movq %rax, %rdi
95
- 00000000000001ac: 02 movl %ebp, %esi
96
- 00000000000001ae: 05 callq 0x48b810 <__bid64_scalbn>
97
- 00000000000001b3: 03 movq %rax, %rbx
98
- 00000000000001b6: 03 testq %r14, %r14
99
- 00000000000001b9: 02 jns 0x476b4d <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x20d>
100
- 00000000000001bb: 02 jmp 0x476b42 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x202>
101
- 00000000000001bd: 08 movl $0, 12(%rsp)
102
- 00000000000001c5: 05 leaq 12(%rsp), %rsi
103
- 00000000000001ca: 05 movl $5284186, %edi
104
- 00000000000001cf: 05 callq 0x48c4f0 <__bid64_from_string>
105
- 00000000000001d4: 02 jmp 0x476b2d <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x1ed>
106
- 00000000000001d6: 08 movl $0, 12(%rsp)
107
- 00000000000001de: 05 leaq 12(%rsp), %rsi
108
- 00000000000001e3: 05 movl $5283597, %edi
109
- 00000000000001e8: 05 callq 0x48c4f0 <__bid64_from_string>
110
- 00000000000001ed: 03 movq %rax, %rbx
111
- 00000000000001f0: 05 testb $24, 12(%rsp)
112
- 00000000000001f5: 02 je 0x476b42 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x202>
113
- 00000000000001f7: 05 callq 0x404a00 <__errno_location@plt>
114
- 00000000000001fc: 06 movl $34, (%rax)
115
- 0000000000000202: 03 movq %rbx, %rdi
116
- 0000000000000205: 05 callq 0x489bf0 <__bid64_negate>
117
- 000000000000020a: 03 movq %rax, %rbx
118
- 000000000000020d: 03 movq %rbx, %rax
119
- 0000000000000210: 04 addq $16, %rsp
120
- 0000000000000214: 01 popq %rbx
121
- 0000000000000215: 02 popq %r14
122
- 0000000000000217: 01 popq %rbp
123
- 0000000000000218: 01 retq
124
- 0000000000000219: 03 movq %rax, %rdi
125
- 000000000000021c: 05 callq 0x466ad0 <__clang_call_terminate>
126
- 0000000000000221: 03 movq %rax, %rdi
127
- 0000000000000224: 05 callq 0x466ad0 <__clang_call_terminate>
128
- 0000000000000229: 03 movq %rax, %rdi
129
- 000000000000022c: 05 callq 0x466ad0 <__clang_call_terminate>
130
- 0000000000000231: 03 movq %rax, %rdi
131
- 0000000000000234: 05 callq 0x466ad0 <__clang_call_terminate>
132
- 0000000000000239: 07 nopl (%rax)
 
 
 
 
 
 
 
 
 
1
+ 0000000000476980 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)>:
2
  0000000000000000: 01 pushq %rbp
3
+ 0000000000000001: 02 pushq %r15
4
+ 0000000000000003: 02 pushq %r14
5
+ 0000000000000005: 01 pushq %rbx
6
+ 0000000000000006: 01 pushq %rax
7
+ 0000000000000007: 03 movq %rdi, %r15
8
+ 000000000000000a: 05 callq 0x48a270 <__bid64_class>
9
+ 000000000000000f: 05 movl $4294967295, %esi
10
+ 0000000000000014: 03 cmpl $9, %eax
11
+ 0000000000000017: 02 ja 0x4769a2 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x22>
12
+ 0000000000000019: 02 cltq
13
+ 000000000000001b: 07 movl 5285760(,%rax,4), %esi
14
+ 0000000000000022: 10 movabsq $9007199254740991, %rdx
15
+ 000000000000002c: 10 movabsq $6917529027641081856, %rax
16
+ 0000000000000036: 03 movq %r15, %rcx
17
+ 0000000000000039: 03 andq %rax, %rcx
18
+ 000000000000003c: 03 cmpq %rax, %rcx
19
+ 000000000000003f: 06 jne 0x476a7f <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0xff>
20
+ 0000000000000045: 10 movabsq $8646911284551352320, %rax
21
+ 000000000000004f: 03 movq %r15, %rdi
22
+ 0000000000000052: 03 andq %rax, %rdi
23
+ 0000000000000055: 10 movabsq $2251799813685247, %rcx
24
+ 000000000000005f: 03 andq %r15, %rcx
25
+ 0000000000000062: 03 incq %rdx
26
+ 0000000000000065: 03 orq %rcx, %rdx
27
+ 0000000000000068: 03 movq %r15, %rbx
28
+ 000000000000006b: 04 shrq $51, %rbx
29
+ 000000000000006f: 06 andl $1023, %ebx
30
+ 0000000000000075: 06 leal -398(%rbx), %ecx
31
+ 000000000000007b: 03 cmpq %rax, %rdi
32
+ 000000000000007e: 03 cmovel %ebx, %ecx
33
+ 0000000000000081: 03 cmpl $4, %esi
34
+ 0000000000000084: 06 ja 0x476a9e <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x11e>
35
+ 000000000000008a: 02 movl %esi, %eax
36
+ 000000000000008c: 07 jmpq *5285680(,%rax,8)
37
+ 0000000000000093: 10 movabsq $-3689348814741910323, %rsi
38
+ 000000000000009d: 03 movq %rdx, %rax
39
+ 00000000000000a0: 04 imulq %rsi, %rax
40
+ 00000000000000a4: 03 rorq %rax
41
+ 00000000000000a7: 10 movabsq $1844674407370955161, %rdi
42
+ 00000000000000b1: 03 cmpq %rdi, %rax
43
+ 00000000000000b4: 06 ja 0x476b26 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x1a6>
44
+ 00000000000000ba: 06 cmpl $368, %ecx
45
+ 00000000000000c0: 06 jg 0x476b26 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x1a6>
46
+ 00000000000000c6: 10 nopw %cs:(%rax,%rax)
47
+ 00000000000000d0: 03 movq %rdx, %rax
48
  00000000000000d3: 03 mulq %rsi
49
+ 00000000000000d6: 04 shrq $3, %rdx
50
+ 00000000000000da: 03 leal 1(%rcx), %ebp
51
+ 00000000000000dd: 03 movq %rdx, %rax
52
+ 00000000000000e0: 04 imulq %rsi, %rax
53
+ 00000000000000e4: 03 rorq %rax
54
+ 00000000000000e7: 03 cmpq %rdi, %rax
55
+ 00000000000000ea: 06 ja 0x476b28 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x1a8>
56
+ 00000000000000f0: 06 cmpl $368, %ecx
57
+ 00000000000000f6: 02 movl %ebp, %ecx
58
+ 00000000000000f8: 02 jl 0x476a50 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0xd0>
59
+ 00000000000000fa: 05 jmp 0x476b28 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x1a8>
60
+ 00000000000000ff: 03 movq %r15, %rcx
61
+ 0000000000000102: 04 shrq $53, %rcx
62
+ 0000000000000106: 06 andl $1023, %ecx
63
+ 000000000000010c: 06 addl $4294966898, %ecx
64
+ 0000000000000112: 03 andq %r15, %rdx
65
+ 0000000000000115: 03 cmpl $4, %esi
66
+ 0000000000000118: 06 jbe 0x476a0a <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x8a>
67
+ 000000000000011e: 05 jmp 0x476bb1 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x231>
68
+ 0000000000000123: 03 testq %r15, %r15
69
+ 0000000000000126: 06 js 0x476b61 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x1e1>
70
+ 000000000000012c: 08 movl $0, 4(%rsp)
71
+ 0000000000000134: 05 leaq 4(%rsp), %rsi
72
+ 0000000000000139: 05 movl $5285834, %edi
73
+ 000000000000013e: 05 callq 0x48cb30 <__bid64_from_string>
74
+ 0000000000000143: 02 jmp 0x476ae5 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x165>
75
+ 0000000000000145: 03 testq %r15, %r15
76
+ 0000000000000148: 06 js 0x476b7a <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x1fa>
77
+ 000000000000014e: 08 movl $0, 4(%rsp)
78
+ 0000000000000156: 05 leaq 4(%rsp), %rsi
79
+ 000000000000015b: 05 movl $5285245, %edi
80
+ 0000000000000160: 05 callq 0x48cb30 <__bid64_from_string>
81
+ 0000000000000165: 03 movq %rax, %r14
82
+ 0000000000000168: 05 testb $24, 4(%rsp)
83
+ 000000000000016d: 06 je 0x476bb1 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x231>
84
+ 0000000000000173: 05 callq 0x404a50 <__errno_location@plt>
85
+ 0000000000000178: 06 movl $34, (%rax)
86
+ 000000000000017e: 05 jmp 0x476bb1 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x231>
87
+ 0000000000000183: 02 xorl %edi, %edi
88
+ 0000000000000185: 05 callq 0x4b66e0 <__bid64_from_int32>
89
+ 000000000000018a: 08 movl $0, 4(%rsp)
90
+ 0000000000000192: 05 leaq 4(%rsp), %rdx
91
+ 0000000000000197: 03 movq %rax, %rdi
92
+ 000000000000019a: 02 xorl %esi, %esi
93
+ 000000000000019c: 05 callq 0x48be50 <__bid64_scalbn>
94
+ 00000000000001a1: 05 jmp 0x476bae <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x22e>
95
+ 00000000000001a6: 02 movl %ecx, %ebp
96
+ 00000000000001a8: 08 movl $0, 4(%rsp)
97
+ 00000000000001b0: 05 leaq 4(%rsp), %rsi
98
+ 00000000000001b5: 03 movq %rdx, %rdi
99
+ 00000000000001b8: 05 callq 0x4b6980 <__bid64_from_uint64>
100
+ 00000000000001bd: 08 movl $0, 4(%rsp)
101
+ 00000000000001c5: 05 leaq 4(%rsp), %rdx
102
+ 00000000000001ca: 03 movq %rax, %rdi
103
+ 00000000000001cd: 02 movl %ebp, %esi
104
+ 00000000000001cf: 05 callq 0x48be50 <__bid64_scalbn>
105
+ 00000000000001d4: 03 movq %rax, %r14
106
+ 00000000000001d7: 03 testq %r15, %r15
107
+ 00000000000001da: 02 jns 0x476bb1 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x231>
108
+ 00000000000001dc: 03 movq %r14, %rdi
109
+ 00000000000001df: 02 jmp 0x476ba9 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x229>
110
+ 00000000000001e1: 08 movl $0, 4(%rsp)
111
+ 00000000000001e9: 05 leaq 4(%rsp), %rsi
112
+ 00000000000001ee: 05 movl $5285834, %edi
113
+ 00000000000001f3: 05 callq 0x48cb30 <__bid64_from_string>
114
+ 00000000000001f8: 02 jmp 0x476b91 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x211>
115
+ 00000000000001fa: 08 movl $0, 4(%rsp)
116
+ 0000000000000202: 05 leaq 4(%rsp), %rsi
117
+ 0000000000000207: 05 movl $5285245, %edi
118
+ 000000000000020c: 05 callq 0x48cb30 <__bid64_from_string>
119
+ 0000000000000211: 03 movq %rax, %rbx
120
+ 0000000000000214: 05 testb $24, 4(%rsp)
121
+ 0000000000000219: 02 je 0x476ba6 <BloombergLP::bdldfp::DecimalImpUtil::normalize(BloombergLP::bdldfp::DecimalImpUtil_IntelDfp::ValueType64)+0x226>
122
+ 000000000000021b: 05 callq 0x404a50 <__errno_location@plt>
123
+ 0000000000000220: 06 movl $34, (%rax)
124
+ 0000000000000226: 03 movq %rbx, %rdi
125
+ 0000000000000229: 05 callq 0x48a230 <__bid64_negate>
126
+ 000000000000022e: 03 movq %rax, %r14
127
+ 0000000000000231: 03 movq %r14, %rax
128
+ 0000000000000234: 04 addq $8, %rsp
129
+ 0000000000000238: 01 popq %rbx
130
+ 0000000000000239: 02 popq %r14
131
+ 000000000000023b: 02 popq %r15
132
+ 000000000000023d: 01 popq %rbp
133
+ 000000000000023e: 01 retq
134
+ 000000000000023f: 03 movq %rax, %rdi
135
+ 0000000000000242: 05 callq 0x466b00 <__clang_call_terminate>
136
+ 0000000000000247: 03 movq %rax, %rdi
137
+ 000000000000024a: 05 callq 0x466b00 <__clang_call_terminate>
138
+ 000000000000024f: 03 movq %rax, %rdi
139
+ 0000000000000252: 05 callq 0x466b00 <__clang_call_terminate>
140
+ 0000000000000257: 03 movq %rax, %rdi
141
+ 000000000000025a: 05 callq 0x466b00 <__clang_call_terminate>
142
+ 000000000000025f: 01 nop