Comparing BloombergLP::balb::Choice4::reset() in assumed vs ignored

Files changed (1) hide show
  1. balb_testmessages.t/{26.assume.s → 26.none.s} +15 -17
balb_testmessages.t/{26.assume.s → 26.none.s} RENAMED
@@ -1,45 +1,43 @@
1
- 00000000004049e0 <BloombergLP::balb::Choice4::reset()>:
2
  0000000000000000: 02 pushq %r15
3
  0000000000000002: 02 pushq %r14
4
  0000000000000004: 01 pushq %rbx
5
  0000000000000005: 03 movq %rdi, %r14
6
- 0000000000000008: 03 movl 32(%rdi), %eax
7
- 000000000000000b: 03 cmpl $1, %eax
8
- 000000000000000e: 02 je 0x404a47 <BloombergLP::balb::Choice4::reset()+0x67>
9
- 0000000000000010: 02 testl %eax, %eax
10
- 0000000000000012: 02 jne 0x404a47 <BloombergLP::balb::Choice4::reset()+0x67>
11
- 0000000000000014: 03 movq (%r14), %rbx
12
- 0000000000000017: 03 testq %rbx, %rbx
13
- 000000000000001a: 02 je 0x404a47 <BloombergLP::balb::Choice4::reset()+0x67>
14
- 000000000000001c: 04 movq 8(%r14), %r15
15
- 0000000000000020: 03 cmpq %r15, %rbx
16
- 0000000000000023: 02 jne 0x404a21 <BloombergLP::balb::Choice4::reset()+0x41>
17
- 0000000000000025: 02 jmp 0x404a3a <BloombergLP::balb::Choice4::reset()+0x5a>
 
18
- 0000000000000027: 09 nopw (%rax,%rax)
19
  0000000000000030: 08 movq $-1, 24(%rbx)
20
  0000000000000038: 04 addq $48, %rbx
21
  000000000000003c: 03 cmpq %rbx, %r15
22
- 000000000000003f: 02 je 0x404a37 <BloombergLP::balb::Choice4::reset()+0x57>
23
  0000000000000041: 05 cmpq $23, 32(%rbx)
24
- 0000000000000046: 02 je 0x404a10 <BloombergLP::balb::Choice4::reset()+0x30>
25
  0000000000000048: 03 movq (%rbx), %rsi
26
  000000000000004b: 04 movq 40(%rbx), %rdi
27
  000000000000004f: 03 movq (%rdi), %rax
28
  0000000000000052: 03 callq *24(%rax)
29
- 0000000000000055: 02 jmp 0x404a10 <BloombergLP::balb::Choice4::reset()+0x30>
30
  0000000000000057: 03 movq (%r14), %rbx
31
  000000000000005a: 04 movq 24(%r14), %rdi
32
  000000000000005e: 03 movq (%rdi), %rax
33
  0000000000000061: 03 movq %rbx, %rsi
34
  0000000000000064: 03 callq *24(%rax)
35
  0000000000000067: 08 movl $4294967295, 32(%r14)
36
  000000000000006f: 01 popq %rbx
37
  0000000000000070: 02 popq %r14
38
  0000000000000072: 02 popq %r15
39
  0000000000000074: 01 retq
40
  0000000000000075: 03 movq %rax, %rdi
41
  0000000000000078: 05 callq 0x4043c0 <__clang_call_terminate>
42
  000000000000007d: 03 movq %rax, %rdi
43
  0000000000000080: 05 callq 0x4043c0 <__clang_call_terminate>
44
  0000000000000085: 10 nopw %cs:(%rax,%rax)
45
  000000000000008f: 01 nop
1
+ 00000000004049c0 <BloombergLP::balb::Choice4::reset()>:
2
  0000000000000000: 02 pushq %r15
3
  0000000000000002: 02 pushq %r14
4
  0000000000000004: 01 pushq %rbx
5
  0000000000000005: 03 movq %rdi, %r14
 
6
+ 0000000000000008: 04 cmpl $0, 32(%rdi)
 
 
7
+ 000000000000000c: 02 jne 0x404a27 <BloombergLP::balb::Choice4::reset()+0x67>
8
+ 000000000000000e: 03 movq (%r14), %rbx
9
+ 0000000000000011: 03 testq %rbx, %rbx
10
+ 0000000000000014: 02 je 0x404a27 <BloombergLP::balb::Choice4::reset()+0x67>
11
+ 0000000000000016: 04 movq 8(%r14), %r15
12
+ 000000000000001a: 03 cmpq %r15, %rbx
13
+ 000000000000001d: 02 jne 0x404a01 <BloombergLP::balb::Choice4::reset()+0x41>
14
+ 000000000000001f: 02 jmp 0x404a1a <BloombergLP::balb::Choice4::reset()+0x5a>
15
+ 0000000000000021: 10 nopw %cs:(%rax,%rax)
16
+ 000000000000002b: 05 nopl (%rax,%rax)
17
  0000000000000030: 08 movq $-1, 24(%rbx)
18
  0000000000000038: 04 addq $48, %rbx
19
  000000000000003c: 03 cmpq %rbx, %r15
20
+ 000000000000003f: 02 je 0x404a17 <BloombergLP::balb::Choice4::reset()+0x57>
21
  0000000000000041: 05 cmpq $23, 32(%rbx)
22
+ 0000000000000046: 02 je 0x4049f0 <BloombergLP::balb::Choice4::reset()+0x30>
23
  0000000000000048: 03 movq (%rbx), %rsi
24
  000000000000004b: 04 movq 40(%rbx), %rdi
25
  000000000000004f: 03 movq (%rdi), %rax
26
  0000000000000052: 03 callq *24(%rax)
27
+ 0000000000000055: 02 jmp 0x4049f0 <BloombergLP::balb::Choice4::reset()+0x30>
28
  0000000000000057: 03 movq (%r14), %rbx
29
  000000000000005a: 04 movq 24(%r14), %rdi
30
  000000000000005e: 03 movq (%rdi), %rax
31
  0000000000000061: 03 movq %rbx, %rsi
32
  0000000000000064: 03 callq *24(%rax)
33
  0000000000000067: 08 movl $4294967295, 32(%r14)
34
  000000000000006f: 01 popq %rbx
35
  0000000000000070: 02 popq %r14
36
  0000000000000072: 02 popq %r15
37
  0000000000000074: 01 retq
38
  0000000000000075: 03 movq %rax, %rdi
39
  0000000000000078: 05 callq 0x4043c0 <__clang_call_terminate>
40
  000000000000007d: 03 movq %rax, %rdi
41
  0000000000000080: 05 callq 0x4043c0 <__clang_call_terminate>
42
  0000000000000085: 10 nopw %cs:(%rax,%rax)
43
  000000000000008f: 01 nop