Comparing BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&) in assumed vs ignored

Files changed (1) hide show
  1. baljsn_encoder.t/{88.assume.s → 88.none.s} +108 -101
baljsn_encoder.t/{88.assume.s → 88.none.s} RENAMED
@@ -1,110 +1,117 @@
1
- 00000000004b9040 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)>:
2
  0000000000000000: 02 pushq %r14
3
  0000000000000002: 01 pushq %rbx
4
  0000000000000003: 01 pushq %rax
5
  0000000000000004: 03 movq %rdi, %r14
6
  0000000000000007: 03 cmpq %rsi, %rdi
7
- 000000000000000a: 06 je 0x4b91f7 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1b7>
8
  0000000000000010: 03 movq %rsi, %rbx
9
  0000000000000013: 06 movl 368(%rsi), %eax
10
  0000000000000019: 04 cmpq $3, %rax
11
- 000000000000001d: 06 ja 0x4b90ee <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0xae>
12
- 0000000000000023: 07 jmpq *6589120(,%rax,8)
13
- 000000000000002a: 07 movl 368(%r14), %eax
14
- 0000000000000031: 04 cmpq $3, %rax
15
- 0000000000000035: 06 ja 0x4b912f <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0xef>
 
 
16
- 000000000000003b: 07 jmpq *6589216(,%rax,8)
 
 
 
17
- 0000000000000042: 03 movq %r14, %rdi
18
- 0000000000000045: 03 movq %rbx, %rsi
19
- 0000000000000048: 05 callq 0x4b9de0 <BloombergLP::s_baltst::Sequence6::operator=(BloombergLP::s_baltst::Sequence6 const&)>
20
- 000000000000004d: 05 jmp 0x4b91f7 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1b7>
21
- 0000000000000052: 02 movb (%rbx), %bl
22
- 0000000000000054: 07 movl 368(%r14), %eax
23
- 000000000000005b: 04 cmpq $3, %rax
24
- 000000000000005f: 06 ja 0x4b9180 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x140>
25
- 0000000000000065: 07 jmpq *6589184(,%rax,8)
26
- 000000000000006c: 03 movq %r14, %rdi
27
- 000000000000006f: 05 callq 0x4c4a50 <BloombergLP::s_baltst::Sequence6::~Sequence6()>
28
- 0000000000000074: 05 jmp 0x4b9180 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x140>
29
- 0000000000000079: 03 movq %r14, %rdi
30
- 000000000000007c: 03 movq %rbx, %rsi
31
- 000000000000007f: 05 callq 0x4b9320 <BloombergLP::s_baltst::Choice3::makeSelection3(BloombergLP::s_baltst::CustomString const&)>
32
- 0000000000000084: 05 jmp 0x4b91f7 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1b7>
 
33
- 0000000000000089: 07 movl 368(%r14), %eax
34
- 0000000000000090: 04 cmpq $3, %rax
35
- 0000000000000094: 06 ja 0x4b91ac <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x16c>
36
- 000000000000009a: 07 jmpq *6589152(,%rax,8)
 
 
 
37
- 00000000000000a1: 03 movq %r14, %rdi
38
- 00000000000000a4: 05 callq 0x4c4a50 <BloombergLP::s_baltst::Sequence6::~Sequence6()>
39
- 00000000000000a9: 05 jmp 0x4b91ac <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x16c>
40
  00000000000000ae: 07 movl 368(%r14), %eax
41
- 00000000000000b5: 04 cmpq $3, %rax
42
- 00000000000000b9: 06 ja 0x4b91ec <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1ac>
43
- 00000000000000bf: 07 jmpq *6589248(,%rax,8)
44
- 00000000000000c6: 03 movq %r14, %rdi
45
- 00000000000000c9: 05 callq 0x4c4a50 <BloombergLP::s_baltst::Sequence6::~Sequence6()>
46
- 00000000000000ce: 05 jmp 0x4b91ec <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1ac>
47
- 00000000000000d3: 05 cmpq $23, 32(%r14)
48
- 00000000000000d8: 02 je 0x4b9127 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0xe7>
49
- 00000000000000da: 03 movq (%r14), %rsi
50
- 00000000000000dd: 04 movq 40(%r14), %rdi
51
- 00000000000000e1: 03 movq (%rdi), %rax
52
- 00000000000000e4: 03 callq *24(%rax)
53
- 00000000000000e7: 08 movq $-1, 24(%r14)
54
- 00000000000000ef: 11 movl $4294967295, 368(%r14)
55
- 00000000000000fa: 07 movq 376(%r14), %rdx
56
- 0000000000000101: 03 movq %r14, %rdi
57
- 0000000000000104: 03 movq %rbx, %rsi
58
- 0000000000000107: 05 callq 0x4c35f0 <BloombergLP::s_baltst::Sequence6::Sequence6(BloombergLP::s_baltst::Sequence6 const&, BloombergLP::bslma::Allocator*)>
59
- 000000000000010c: 11 movl $0, 368(%r14)
60
- 0000000000000117: 05 jmp 0x4b91f7 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1b7>
61
- 000000000000011c: 03 movb %bl, (%r14)
62
- 000000000000011f: 05 jmp 0x4b91f7 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1b7>
63
- 0000000000000124: 05 cmpq $23, 32(%r14)
64
- 0000000000000129: 02 je 0x4b9178 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x138>
65
- 000000000000012b: 03 movq (%r14), %rsi
66
- 000000000000012e: 04 movq 40(%r14), %rdi
67
- 0000000000000132: 03 movq (%rdi), %rax
68
- 0000000000000135: 03 callq *24(%rax)
69
- 0000000000000138: 08 movq $-1, 24(%r14)
70
- 0000000000000140: 03 movb %bl, (%r14)
71
- 0000000000000143: 11 movl $1, 368(%r14)
72
- 000000000000014e: 02 jmp 0x4b91f7 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1b7>
73
- 0000000000000150: 05 cmpq $23, 32(%r14)
74
- 0000000000000155: 02 je 0x4b91a4 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x164>
75
- 0000000000000157: 03 movq (%r14), %rsi
76
- 000000000000015a: 04 movq 40(%r14), %rdi
77
- 000000000000015e: 03 movq (%rdi), %rax
78
- 0000000000000161: 03 callq *24(%rax)
79
- 0000000000000164: 08 movq $-1, 24(%r14)
80
- 000000000000016c: 11 movl $4294967295, 368(%r14)
81
- 0000000000000177: 02 movl (%rbx), %eax
82
- 0000000000000179: 03 movl %eax, (%r14)
83
- 000000000000017c: 11 movl $3, 368(%r14)
84
- 0000000000000187: 02 jmp 0x4b91f7 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1b7>
85
- 0000000000000189: 02 movl (%rbx), %eax
86
- 000000000000018b: 03 movl %eax, (%r14)
87
- 000000000000018e: 02 jmp 0x4b91f7 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1b7>
88
- 0000000000000190: 05 cmpq $23, 32(%r14)
89
- 0000000000000195: 02 je 0x4b91e4 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1a4>
90
- 0000000000000197: 03 movq (%r14), %rsi
91
- 000000000000019a: 04 movq 40(%r14), %rdi
92
- 000000000000019e: 03 movq (%rdi), %rax
93
- 00000000000001a1: 03 callq *24(%rax)
94
- 00000000000001a4: 08 movq $-1, 24(%r14)
95
- 00000000000001ac: 11 movl $4294967295, 368(%r14)
96
- 00000000000001b7: 03 movq %r14, %rax
97
- 00000000000001ba: 04 addq $8, %rsp
98
- 00000000000001be: 01 popq %rbx
99
- 00000000000001bf: 02 popq %r14
100
- 00000000000001c1: 01 retq
101
- 00000000000001c2: 03 movq %rax, %rdi
102
- 00000000000001c5: 05 callq 0x428650 <__clang_call_terminate>
103
- 00000000000001ca: 03 movq %rax, %rdi
104
- 00000000000001cd: 05 callq 0x428650 <__clang_call_terminate>
105
- 00000000000001d2: 03 movq %rax, %rdi
106
- 00000000000001d5: 05 callq 0x428650 <__clang_call_terminate>
107
- 00000000000001da: 03 movq %rax, %rdi
108
- 00000000000001dd: 05 callq 0x428650 <__clang_call_terminate>
109
- 00000000000001e2: 10 nopw %cs:(%rax,%rax)
110
- 00000000000001ec: 04 nopl (%rax)
 
 
 
1
+ 00000000004b92e0 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)>:
2
  0000000000000000: 02 pushq %r14
3
  0000000000000002: 01 pushq %rbx
4
  0000000000000003: 01 pushq %rax
5
  0000000000000004: 03 movq %rdi, %r14
6
  0000000000000007: 03 cmpq %rsi, %rdi
7
+ 000000000000000a: 06 je 0x4b94a2 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1c2>
8
  0000000000000010: 03 movq %rsi, %rbx
9
  0000000000000013: 06 movl 368(%rsi), %eax
10
  0000000000000019: 04 cmpq $3, %rax
11
+ 000000000000001d: 02 ja 0x4b933e <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x5e>
12
+ 000000000000001f: 07 jmpq *6590208(,%rax,8)
13
+ 0000000000000026: 07 movl 368(%r14), %eax
14
+ 000000000000002d: 03 cmpl $2, %eax
15
+ 0000000000000030: 06 je 0x4b93b9 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0xd9>
16
+ 0000000000000036: 02 testl %eax, %eax
17
+ 0000000000000038: 06 jne 0x4b93d5 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0xf5>
18
+ 000000000000003e: 03 movq %r14, %rdi
19
+ 0000000000000041: 03 movq %rbx, %rsi
20
+ 0000000000000044: 05 callq 0x4ba070 <BloombergLP::s_baltst::Sequence6::operator=(BloombergLP::s_baltst::Sequence6 const&)>
21
+ 0000000000000049: 05 jmp 0x4b94a2 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1c2>
22
+ 000000000000004e: 03 movq %r14, %rdi
23
+ 0000000000000051: 03 movq %rbx, %rsi
24
+ 0000000000000054: 05 callq 0x4b95c0 <BloombergLP::s_baltst::Choice3::makeSelection3(BloombergLP::s_baltst::CustomString const&)>
25
+ 0000000000000059: 05 jmp 0x4b94a2 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1c2>
 
26
+ 000000000000005e: 07 movl 368(%r14), %eax
27
+ 0000000000000065: 03 cmpl $2, %eax
28
+ 0000000000000068: 06 je 0x4b9402 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x122>
 
29
+ 000000000000006e: 02 testl %eax, %eax
 
30
+ 0000000000000070: 06 jne 0x4b941e <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x13e>
31
+ 0000000000000076: 03 movq %r14, %rdi
 
32
+ 0000000000000079: 05 callq 0x4c4be0 <BloombergLP::s_baltst::Sequence6::~Sequence6()>
33
+ 000000000000007e: 05 jmp 0x4b941e <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x13e>
34
+ 0000000000000083: 02 movb (%rbx), %bl
35
+ 0000000000000085: 07 movl 368(%r14), %eax
36
+ 000000000000008c: 02 testl %eax, %eax
37
+ 000000000000008e: 06 je 0x4b9449 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x169>
38
+ 0000000000000094: 03 cmpl $2, %eax
39
+ 0000000000000097: 06 je 0x4b9453 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x173>
40
+ 000000000000009d: 03 cmpl $1, %eax
41
+ 00000000000000a0: 06 jne 0x4b946f <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x18f>
42
+ 00000000000000a6: 03 movb %bl, (%r14)
 
43
+ 00000000000000a9: 05 jmp 0x4b94a2 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1c2>
44
  00000000000000ae: 07 movl 368(%r14), %eax
45
+ 00000000000000b5: 02 testl %eax, %eax
46
+ 00000000000000b7: 06 je 0x4b947f <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x19f>
47
+ 00000000000000bd: 03 cmpl $2, %eax
48
+ 00000000000000c0: 06 je 0x4b942b <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x14b>
49
+ 00000000000000c6: 03 cmpl $3, %eax
50
+ 00000000000000c9: 06 jne 0x4b9487 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1a7>
51
+ 00000000000000cf: 02 movl (%rbx), %eax
52
+ 00000000000000d1: 03 movl %eax, (%r14)
53
+ 00000000000000d4: 05 jmp 0x4b94a2 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1c2>
54
+ 00000000000000d9: 05 cmpq $23, 32(%r14)
55
+ 00000000000000de: 02 je 0x4b93cd <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0xed>
56
+ 00000000000000e0: 03 movq (%r14), %rsi
57
+ 00000000000000e3: 04 movq 40(%r14), %rdi
58
+ 00000000000000e7: 03 movq (%rdi), %rax
59
+ 00000000000000ea: 03 callq *24(%rax)
60
+ 00000000000000ed: 08 movq $-1, 24(%r14)
61
+ 00000000000000f5: 11 movl $4294967295, 368(%r14)
62
+ 0000000000000100: 07 movq 376(%r14), %rdx
63
+ 0000000000000107: 03 movq %r14, %rdi
64
+ 000000000000010a: 03 movq %rbx, %rsi
65
+ 000000000000010d: 05 callq 0x4c3780 <BloombergLP::s_baltst::Sequence6::Sequence6(BloombergLP::s_baltst::Sequence6 const&, BloombergLP::bslma::Allocator*)>
66
+ 0000000000000112: 11 movl $0, 368(%r14)
67
+ 000000000000011d: 05 jmp 0x4b94a2 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1c2>
68
+ 0000000000000122: 05 cmpq $23, 32(%r14)
69
+ 0000000000000127: 02 je 0x4b9416 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x136>
70
+ 0000000000000129: 03 movq (%r14), %rsi
71
+ 000000000000012c: 04 movq 40(%r14), %rdi
72
+ 0000000000000130: 03 movq (%rdi), %rax
73
+ 0000000000000133: 03 callq *24(%rax)
74
+ 0000000000000136: 08 movq $-1, 24(%r14)
75
+ 000000000000013e: 11 movl $4294967295, 368(%r14)
76
+ 0000000000000149: 02 jmp 0x4b94a2 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1c2>
77
+ 000000000000014b: 05 cmpq $23, 32(%r14)
78
+ 0000000000000150: 02 je 0x4b943f <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x15f>
79
+ 0000000000000152: 03 movq (%r14), %rsi
80
+ 0000000000000155: 04 movq 40(%r14), %rdi
81
+ 0000000000000159: 03 movq (%rdi), %rax
82
+ 000000000000015c: 03 callq *24(%rax)
83
+ 000000000000015f: 08 movq $-1, 24(%r14)
84
+ 0000000000000167: 02 jmp 0x4b9487 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1a7>
85
+ 0000000000000169: 03 movq %r14, %rdi
86
+ 000000000000016c: 05 callq 0x4c4be0 <BloombergLP::s_baltst::Sequence6::~Sequence6()>
87
+ 0000000000000171: 02 jmp 0x4b946f <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x18f>
88
+ 0000000000000173: 05 cmpq $23, 32(%r14)
89
+ 0000000000000178: 02 je 0x4b9467 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x187>
90
+ 000000000000017a: 03 movq (%r14), %rsi
91
+ 000000000000017d: 04 movq 40(%r14), %rdi
92
+ 0000000000000181: 03 movq (%rdi), %rax
93
+ 0000000000000184: 03 callq *24(%rax)
94
+ 0000000000000187: 08 movq $-1, 24(%r14)
95
+ 000000000000018f: 03 movb %bl, (%r14)
96
+ 0000000000000192: 11 movl $1, 368(%r14)
97
+ 000000000000019d: 02 jmp 0x4b94a2 <BloombergLP::s_baltst::Choice3::operator=(BloombergLP::s_baltst::Choice3 const&)+0x1c2>
98
+ 000000000000019f: 03 movq %r14, %rdi
99
+ 00000000000001a2: 05 callq 0x4c4be0 <BloombergLP::s_baltst::Sequence6::~Sequence6()>
100
+ 00000000000001a7: 11 movl $4294967295, 368(%r14)
101
+ 00000000000001b2: 02 movl (%rbx), %eax
102
+ 00000000000001b4: 03 movl %eax, (%r14)
103
+ 00000000000001b7: 11 movl $3, 368(%r14)
104
+ 00000000000001c2: 03 movq %r14, %rax
105
+ 00000000000001c5: 04 addq $8, %rsp
106
+ 00000000000001c9: 01 popq %rbx
107
+ 00000000000001ca: 02 popq %r14
108
+ 00000000000001cc: 01 retq
109
+ 00000000000001cd: 03 movq %rax, %rdi
110
+ 00000000000001d0: 05 callq 0x4286b0 <__clang_call_terminate>
111
+ 00000000000001d5: 03 movq %rax, %rdi
112
+ 00000000000001d8: 05 callq 0x4286b0 <__clang_call_terminate>
113
+ 00000000000001dd: 03 movq %rax, %rdi
114
+ 00000000000001e0: 05 callq 0x4286b0 <__clang_call_terminate>
115
+ 00000000000001e5: 03 movq %rax, %rdi
116
+ 00000000000001e8: 05 callq 0x4286b0 <__clang_call_terminate>
117
+ 00000000000001ed: 03 nopl (%rax)