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

Files changed (1) hide show
  1. balb_testmessages.t/{7.assume.s → 7.none.s} +40 -47
balb_testmessages.t/{7.assume.s → 7.none.s} RENAMED
@@ -1,51 +1,44 @@
1
- 0000000000406010 <BloombergLP::balb::Choice5::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 48(%rdi), %eax
7
- 000000000000000b: 03 cmpl $1, %eax
8
- 000000000000000e: 02 je 0x40608f <BloombergLP::balb::Choice5::reset()+0x7f>
9
- 0000000000000010: 02 testl %eax, %eax
10
- 0000000000000012: 02 jne 0x40608f <BloombergLP::balb::Choice5::reset()+0x7f>
11
- 0000000000000014: 04 movl 32(%r14), %eax
12
- 0000000000000018: 03 cmpl $1, %eax
13
- 000000000000001b: 02 je 0x406087 <BloombergLP::balb::Choice5::reset()+0x77>
14
- 000000000000001d: 02 testl %eax, %eax
15
- 000000000000001f: 02 jne 0x406087 <BloombergLP::balb::Choice5::reset()+0x77>
16
- 0000000000000021: 03 movq (%r14), %rbx
17
- 0000000000000024: 03 testq %rbx, %rbx
18
- 0000000000000027: 02 je 0x406087 <BloombergLP::balb::Choice5::reset()+0x77>
19
- 0000000000000029: 04 movq 8(%r14), %r15
20
- 000000000000002d: 03 cmpq %r15, %rbx
21
- 0000000000000030: 02 jne 0x406061 <BloombergLP::balb::Choice5::reset()+0x51>
22
- 0000000000000032: 02 jmp 0x40607a <BloombergLP::balb::Choice5::reset()+0x6a>
23
- 0000000000000034: 10 nopw %cs:(%rax,%rax)
24
- 000000000000003e: 02 nop
25
- 0000000000000040: 08 movq $-1, 24(%rbx)
26
- 0000000000000048: 04 addq $48, %rbx
27
- 000000000000004c: 03 cmpq %rbx, %r15
28
- 000000000000004f: 02 je 0x406077 <BloombergLP::balb::Choice5::reset()+0x67>
29
- 0000000000000051: 05 cmpq $23, 32(%rbx)
30
- 0000000000000056: 02 je 0x406050 <BloombergLP::balb::Choice5::reset()+0x40>
31
- 0000000000000058: 03 movq (%rbx), %rsi
32
- 000000000000005b: 04 movq 40(%rbx), %rdi
33
- 000000000000005f: 03 movq (%rdi), %rax
34
- 0000000000000062: 03 callq *24(%rax)
35
- 0000000000000065: 02 jmp 0x406050 <BloombergLP::balb::Choice5::reset()+0x40>
36
- 0000000000000067: 03 movq (%r14), %rbx
37
- 000000000000006a: 04 movq 24(%r14), %rdi
38
- 000000000000006e: 03 movq (%rdi), %rax
39
- 0000000000000071: 03 movq %rbx, %rsi
40
- 0000000000000074: 03 callq *24(%rax)
41
- 0000000000000077: 08 movl $4294967295, 32(%r14)
42
- 000000000000007f: 08 movl $4294967295, 48(%r14)
43
- 0000000000000087: 01 popq %rbx
44
- 0000000000000088: 02 popq %r14
45
- 000000000000008a: 02 popq %r15
46
- 000000000000008c: 01 retq
47
- 000000000000008d: 03 movq %rax, %rdi
48
- 0000000000000090: 05 callq 0x4043c0 <__clang_call_terminate>
49
- 0000000000000095: 03 movq %rax, %rdi
50
- 0000000000000098: 05 callq 0x4043c0 <__clang_call_terminate>
51
- 000000000000009d: 03 nopl (%rax)
1
+ 0000000000405fe0 <BloombergLP::balb::Choice5::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, 48(%rdi)
7
+ 000000000000000c: 02 jne 0x40604f <BloombergLP::balb::Choice5::reset()+0x6f>
8
+ 000000000000000e: 05 cmpl $0, 32(%r14)
9
+ 0000000000000013: 02 jne 0x406047 <BloombergLP::balb::Choice5::reset()+0x67>
10
+ 0000000000000015: 03 movq (%r14), %rbx
11
+ 0000000000000018: 03 testq %rbx, %rbx
12
+ 000000000000001b: 02 je 0x406047 <BloombergLP::balb::Choice5::reset()+0x67>
13
+ 000000000000001d: 04 movq 8(%r14), %r15
14
+ 0000000000000021: 03 cmpq %r15, %rbx
15
+ 0000000000000024: 02 jne 0x406021 <BloombergLP::balb::Choice5::reset()+0x41>
16
+ 0000000000000026: 02 jmp 0x40603a <BloombergLP::balb::Choice5::reset()+0x5a>
17
+ 0000000000000028: 08 nopl (%rax,%rax)
18
+ 0000000000000030: 08 movq $-1, 24(%rbx)
19
+ 0000000000000038: 04 addq $48, %rbx
20
+ 000000000000003c: 03 cmpq %rbx, %r15
21
+ 000000000000003f: 02 je 0x406037 <BloombergLP::balb::Choice5::reset()+0x57>
22
+ 0000000000000041: 05 cmpq $23, 32(%rbx)
23
+ 0000000000000046: 02 je 0x406010 <BloombergLP::balb::Choice5::reset()+0x30>
24
+ 0000000000000048: 03 movq (%rbx), %rsi
25
+ 000000000000004b: 04 movq 40(%rbx), %rdi
26
+ 000000000000004f: 03 movq (%rdi), %rax
27
+ 0000000000000052: 03 callq *24(%rax)
28
+ 0000000000000055: 02 jmp 0x406010 <BloombergLP::balb::Choice5::reset()+0x30>
29
+ 0000000000000057: 03 movq (%r14), %rbx
30
+ 000000000000005a: 04 movq 24(%r14), %rdi
31
+ 000000000000005e: 03 movq (%rdi), %rax
32
+ 0000000000000061: 03 movq %rbx, %rsi
33
+ 0000000000000064: 03 callq *24(%rax)
34
+ 0000000000000067: 08 movl $4294967295, 32(%r14)
35
+ 000000000000006f: 08 movl $4294967295, 48(%r14)
36
+ 0000000000000077: 01 popq %rbx
37
+ 0000000000000078: 02 popq %r14
38
+ 000000000000007a: 02 popq %r15
39
+ 000000000000007c: 01 retq
40
+ 000000000000007d: 03 movq %rax, %rdi
41
+ 0000000000000080: 05 callq 0x4043c0 <__clang_call_terminate>
42
+ 0000000000000085: 03 movq %rax, %rdi
43
+ 0000000000000088: 05 callq 0x4043c0 <__clang_call_terminate>
44
+ 000000000000008d: 03 nopl (%rax)