Comparing BloombergLP::s_baltst::MyChoiceWithDefaultValues::reset() in assumed vs ignored

Files changed (1) hide show
  1. balber_berdecoder.t/{8.assume.s → 8.none.s} +16 -22
balber_berdecoder.t/{8.assume.s → 8.none.s} RENAMED
@@ -1,24 +1,18 @@
1
- 00000000004052c0 <BloombergLP::s_baltst::MyChoiceWithDefaultValues::reset()>:
2
  0000000000000000: 01 pushq %rbx
3
  0000000000000001: 03 movq %rdi, %rbx
4
- 0000000000000004: 03 movl 48(%rdi), %eax
 
5
- 0000000000000007: 02 testl %eax, %eax
6
- 0000000000000009: 02 je 0x4052f1 <BloombergLP::s_baltst::MyChoiceWithDefaultValues::reset()+0x31>
7
- 000000000000000b: 03 cmpl $2, %eax
8
- 000000000000000e: 02 je 0x4052f1 <BloombergLP::s_baltst::MyChoiceWithDefaultValues::reset()+0x31>
9
- 0000000000000010: 03 cmpl $1, %eax
10
- 0000000000000013: 02 jne 0x4052f1 <BloombergLP::s_baltst::MyChoiceWithDefaultValues::reset()+0x31>
11
- 0000000000000015: 05 cmpq $23, 32(%rbx)
12
- 000000000000001a: 02 je 0x4052e9 <BloombergLP::s_baltst::MyChoiceWithDefaultValues::reset()+0x29>
13
- 000000000000001c: 03 movq (%rbx), %rsi
14
- 000000000000001f: 04 movq 40(%rbx), %rdi
15
- 0000000000000023: 03 movq (%rdi), %rax
16
- 0000000000000026: 03 callq *24(%rax)
17
- 0000000000000029: 08 movq $-1, 24(%rbx)
18
- 0000000000000031: 07 movl $4294967295, 48(%rbx)
19
- 0000000000000038: 01 popq %rbx
20
- 0000000000000039: 01 retq
21
- 000000000000003a: 03 movq %rax, %rdi
22
- 000000000000003d: 05 callq 0x444b60 <__clang_call_terminate>
23
- 0000000000000042: 10 nopw %cs:(%rax,%rax)
24
- 000000000000004c: 04 nopl (%rax)
1
+ 0000000000405280 <BloombergLP::s_baltst::MyChoiceWithDefaultValues::reset()>:
2
  0000000000000000: 01 pushq %rbx
3
  0000000000000001: 03 movq %rdi, %rbx
4
+ 0000000000000004: 04 cmpl $1, 48(%rdi)
5
+ 0000000000000008: 02 jne 0x4052a6 <BloombergLP::s_baltst::MyChoiceWithDefaultValues::reset()+0x26>
6
+ 000000000000000a: 05 cmpq $23, 32(%rbx)
7
+ 000000000000000f: 02 je 0x40529e <BloombergLP::s_baltst::MyChoiceWithDefaultValues::reset()+0x1e>
 
 
 
 
 
 
8
+ 0000000000000011: 03 movq (%rbx), %rsi
9
+ 0000000000000014: 04 movq 40(%rbx), %rdi
10
+ 0000000000000018: 03 movq (%rdi), %rax
11
+ 000000000000001b: 03 callq *24(%rax)
12
+ 000000000000001e: 08 movq $-1, 24(%rbx)
13
+ 0000000000000026: 07 movl $4294967295, 48(%rbx)
14
+ 000000000000002d: 01 popq %rbx
15
+ 000000000000002e: 01 retq
16
+ 000000000000002f: 03 movq %rax, %rdi
17
+ 0000000000000032: 05 callq 0x444ad0 <__clang_call_terminate>
18
+ 0000000000000037: 09 nopw (%rax,%rax)