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

Files changed (1) hide show
  1. balb_testmessages.t/{31.assume.s → 31.none.s} +45 -46
balb_testmessages.t/{31.assume.s → 31.none.s} RENAMED
@@ -1,63 +1,62 @@
1
- 0000000000410c80 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()>:
2
  0000000000000000: 02 pushq %r15
3
  0000000000000002: 02 pushq %r14
4
  0000000000000004: 02 pushq %r13
5
  0000000000000006: 02 pushq %r12
6
  0000000000000008: 01 pushq %rbx
7
  0000000000000009: 03 movq %rdi, %rbx
8
  000000000000000c: 03 movl 8(%rdi), %eax
9
  000000000000000f: 03 cmpl $1, %eax
10
- 0000000000000012: 02 je 0x410cb2 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x32>
11
  0000000000000014: 02 testl %eax, %eax
12
- 0000000000000016: 06 jne 0x410d22 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0xa2>
13
  000000000000001c: 03 movq (%rbx), %r14
14
  000000000000001f: 03 testq %r14, %r14
15
- 0000000000000022: 02 je 0x410d22 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0xa2>
16
  0000000000000024: 04 movq 16(%rbx), %r15
17
  0000000000000028: 03 movq %r14, %rdi
18
- 000000000000002b: 05 callq 0x40e340 <BloombergLP::balb::Sequence4::~Sequence4()>
19
- 0000000000000030: 02 jmp 0x410d16 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x96>
20
  0000000000000032: 03 movq (%rbx), %r14
21
  0000000000000035: 03 testq %r14, %r14
22
- 0000000000000038: 02 je 0x410d22 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0xa2>
23
  000000000000003a: 04 movq 16(%rbx), %r15
24
  000000000000003e: 04 movl 48(%r14), %eax
25
- 0000000000000042: 04 cmpq $3, %rax
26
- 0000000000000046: 02 ja 0x410d0e <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x8e>
27
- 0000000000000048: 07 jmpq *4483392(,%rax,8)
28
- 000000000000004f: 05 cmpq $23, 32(%r14)
29
- 0000000000000054: 02 je 0x410ce3 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x63>
30
- 0000000000000056: 03 movq (%r14), %rsi
31
- 0000000000000059: 04 movq 40(%r14), %rdi
32
- 000000000000005d: 03 movq (%rdi), %rax
33
- 0000000000000060: 03 callq *24(%rax)
34
- 0000000000000063: 08 movq $-1, 24(%r14)
35
- 000000000000006b: 02 jmp 0x410d0e <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x8e>
36
- 000000000000006d: 03 movq (%r14), %r12
37
- 0000000000000070: 03 testq %r12, %r12
38
- 0000000000000073: 02 je 0x410d0e <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x8e>
39
- 0000000000000075: 04 movq 56(%r14), %r13
40
- 0000000000000079: 03 movq %r12, %rdi
41
- 000000000000007c: 05 callq 0x4155f0 <BloombergLP::balb::Choice1::~Choice1()>
42
- 0000000000000081: 04 movq (%r13), %rax
43
- 0000000000000085: 03 movq %r13, %rdi
44
- 0000000000000088: 03 movq %r12, %rsi
45
- 000000000000008b: 03 callq *24(%rax)
46
- 000000000000008e: 08 movl $4294967295, 48(%r14)
47
- 0000000000000096: 03 movq (%r15), %rax
48
- 0000000000000099: 03 movq %r15, %rdi
49
- 000000000000009c: 03 movq %r14, %rsi
50
- 000000000000009f: 03 callq *24(%rax)
51
- 00000000000000a2: 07 movl $4294967295, 8(%rbx)
52
- 00000000000000a9: 01 popq %rbx
53
- 00000000000000aa: 02 popq %r12
54
- 00000000000000ac: 02 popq %r13
55
- 00000000000000ae: 02 popq %r14
56
- 00000000000000b0: 02 popq %r15
57
- 00000000000000b2: 01 retq
58
- 00000000000000b3: 03 movq %rax, %rdi
59
- 00000000000000b6: 05 callq 0x4043c0 <__clang_call_terminate>
60
- 00000000000000bb: 03 movq %rax, %rdi
61
- 00000000000000be: 05 callq 0x4043c0 <__clang_call_terminate>
62
- 00000000000000c3: 10 nopw %cs:(%rax,%rax)
63
- 00000000000000cd: 03 nopl (%rax)
1
+ 0000000000410ba0 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()>:
2
  0000000000000000: 02 pushq %r15
3
  0000000000000002: 02 pushq %r14
4
  0000000000000004: 02 pushq %r13
5
  0000000000000006: 02 pushq %r12
6
  0000000000000008: 01 pushq %rbx
7
  0000000000000009: 03 movq %rdi, %rbx
8
  000000000000000c: 03 movl 8(%rdi), %eax
9
  000000000000000f: 03 cmpl $1, %eax
10
+ 0000000000000012: 02 je 0x410bd2 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x32>
11
  0000000000000014: 02 testl %eax, %eax
12
+ 0000000000000016: 06 jne 0x410c3f <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x9f>
13
  000000000000001c: 03 movq (%rbx), %r14
14
  000000000000001f: 03 testq %r14, %r14
15
+ 0000000000000022: 02 je 0x410c3f <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x9f>
16
  0000000000000024: 04 movq 16(%rbx), %r15
17
  0000000000000028: 03 movq %r14, %rdi
18
+ 000000000000002b: 05 callq 0x40e240 <BloombergLP::balb::Sequence4::~Sequence4()>
19
+ 0000000000000030: 02 jmp 0x410c33 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x93>
20
  0000000000000032: 03 movq (%rbx), %r14
21
  0000000000000035: 03 testq %r14, %r14
22
+ 0000000000000038: 02 je 0x410c3f <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x9f>
23
  000000000000003a: 04 movq 16(%rbx), %r15
24
  000000000000003e: 04 movl 48(%r14), %eax
25
+ 0000000000000042: 03 cmpl $2, %eax
26
+ 0000000000000045: 02 je 0x410c0a <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x6a>
27
+ 0000000000000047: 03 cmpl $1, %eax
28
+ 000000000000004a: 02 jne 0x410c2b <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x8b>
29
+ 000000000000004c: 05 cmpq $23, 32(%r14)
30
+ 0000000000000051: 02 je 0x410c00 <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x60>
31
+ 0000000000000053: 03 movq (%r14), %rsi
32
+ 0000000000000056: 04 movq 40(%r14), %rdi
33
+ 000000000000005a: 03 movq (%rdi), %rax
34
+ 000000000000005d: 03 callq *24(%rax)
35
+ 0000000000000060: 08 movq $-1, 24(%r14)
36
+ 0000000000000068: 02 jmp 0x410c2b <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x8b>
37
+ 000000000000006a: 03 movq (%r14), %r12
38
+ 000000000000006d: 03 testq %r12, %r12
39
+ 0000000000000070: 02 je 0x410c2b <BloombergLP::balb::SequenceWithAnonymityChoice2::reset()+0x8b>
40
+ 0000000000000072: 04 movq 56(%r14), %r13
41
+ 0000000000000076: 03 movq %r12, %rdi
42
+ 0000000000000079: 05 callq 0x415670 <BloombergLP::balb::Choice1::~Choice1()>
43
+ 000000000000007e: 04 movq (%r13), %rax
44
+ 0000000000000082: 03 movq %r13, %rdi
45
+ 0000000000000085: 03 movq %r12, %rsi
46
+ 0000000000000088: 03 callq *24(%rax)
47
+ 000000000000008b: 08 movl $4294967295, 48(%r14)
48
+ 0000000000000093: 03 movq (%r15), %rax
49
+ 0000000000000096: 03 movq %r15, %rdi
50
+ 0000000000000099: 03 movq %r14, %rsi
51
+ 000000000000009c: 03 callq *24(%rax)
52
+ 000000000000009f: 07 movl $4294967295, 8(%rbx)
53
+ 00000000000000a6: 01 popq %rbx
54
+ 00000000000000a7: 02 popq %r12
55
+ 00000000000000a9: 02 popq %r13
56
+ 00000000000000ab: 02 popq %r14
57
+ 00000000000000ad: 02 popq %r15
58
+ 00000000000000af: 01 retq
59
+ 00000000000000b0: 03 movq %rax, %rdi
60
+ 00000000000000b3: 05 callq 0x4043c0 <__clang_call_terminate>
61
+ 00000000000000b8: 03 movq %rax, %rdi
62
+ 00000000000000bb: 05 callq 0x4043c0 <__clang_call_terminate>