Comparing bsl::vector >::~vector() in assumed vs ignored

Files changed (1) hide show
  1. balb_testmessages.t/{66.assume.s → 66.none.s} +94 -23
balb_testmessages.t/{66.assume.s → 66.none.s} RENAMED
@@ -1,23 +1,94 @@
1
- 0000000000414cf0 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()>:
2
- 0000000000000000: 01 pushq %rbx
3
- 0000000000000001: 04 subq $16, %rsp
4
- 0000000000000005: 03 movq %rdi, %rbx
5
- 0000000000000008: 03 movq (%rdi), %rdi
6
- 000000000000000b: 03 testq %rdi, %rdi
7
- 000000000000000e: 02 je 0x414d24 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x34>
8
- 0000000000000010: 04 movq 8(%rbx), %rsi
9
- 0000000000000014: 04 movq 24(%rbx), %rax
10
- 0000000000000018: 05 movq %rax, 8(%rsp)
11
- 000000000000001d: 05 leaq 8(%rsp), %rdx
12
- 0000000000000022: 05 callq 0x419cc0 <void BloombergLP::bslalg::ArrayDestructionPrimitives::destroy<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >(BloombergLP::balb::Choice1*, BloombergLP::balb::Choice1*, bsl::allocator<BloombergLP::balb::Choice1>, bsl::integral_constant<bool, false>)>
13
- 0000000000000027: 03 movq (%rbx), %rsi
14
- 000000000000002a: 04 movq 24(%rbx), %rdi
15
- 000000000000002e: 03 movq (%rdi), %rax
16
- 0000000000000031: 03 callq *24(%rax)
17
- 0000000000000034: 04 addq $16, %rsp
18
- 0000000000000038: 01 popq %rbx
19
- 0000000000000039: 01 retq
20
- 000000000000003a: 03 movq %rax, %rdi
21
- 000000000000003d: 05 callq 0x4043c0 <__clang_call_terminate>
22
- 0000000000000042: 10 nopw %cs:(%rax,%rax)
23
- 000000000000004c: 04 nopl (%rax)
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ 0000000000414be0 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()>:
2
+ 0000000000000000: 01 pushq %rbp
3
+ 0000000000000001: 02 pushq %r15
4
+ 0000000000000003: 02 pushq %r14
5
+ 0000000000000005: 02 pushq %r13
6
+ 0000000000000007: 02 pushq %r12
7
+ 0000000000000009: 01 pushq %rbx
8
+ 000000000000000a: 01 pushq %rax
9
+ 000000000000000b: 03 movq (%rdi), %rbx
10
+ 000000000000000e: 03 testq %rbx, %rbx
11
+ 0000000000000011: 06 je 0x414ce5 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x105>
12
+ 0000000000000017: 04 movq 8(%rdi), %r14
13
+ 000000000000001b: 03 cmpq %r14, %rbx
14
+ 000000000000001e: 06 je 0x414cd8 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0xf8>
15
+ 0000000000000024: 04 movq %rdi, (%rsp)
16
+ 0000000000000028: 02 jmp 0x414c3b <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x5b>
17
+ 000000000000002a: 08 movq $-1, 24(%r15)
18
+ 0000000000000032: 08 movl $4294967295, 48(%r15)
19
+ 000000000000003a: 04 movq (%r12), %rax
20
+ 000000000000003e: 03 movq %r12, %rdi
21
+ 0000000000000041: 03 movq %r15, %rsi
22
+ 0000000000000044: 03 callq *24(%rax)
23
+ 0000000000000047: 07 movl $4294967295, 8(%rbx)
24
+ 000000000000004e: 04 addq $24, %rbx
25
+ 0000000000000052: 03 cmpq %rbx, %r14
26
+ 0000000000000055: 06 je 0x414cd1 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0xf1>
27
+ 000000000000005b: 03 movl 8(%rbx), %eax
28
+ 000000000000005e: 03 cmpl $3, %eax
29
+ 0000000000000061: 02 je 0x414c70 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x90>
30
+ 0000000000000063: 03 cmpl $2, %eax
31
+ 0000000000000066: 02 jne 0x414c27 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x47>
32
+ 0000000000000068: 03 movq (%rbx), %r15
33
+ 000000000000006b: 03 testq %r15, %r15
34
+ 000000000000006e: 02 je 0x414c27 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x47>
35
+ 0000000000000070: 04 movq 16(%rbx), %r12
36
+ 0000000000000074: 03 movq %r15, %rdi
37
+ 0000000000000077: 05 callq 0x40e240 <BloombergLP::balb::Sequence4::~Sequence4()>
38
+ 000000000000007c: 04 movq (%r12), %rax
39
+ 0000000000000080: 03 movq %r12, %rdi
40
+ 0000000000000083: 03 movq %r15, %rsi
41
+ 0000000000000086: 03 callq *24(%rax)
42
+ 0000000000000089: 02 jmp 0x414c27 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x47>
43
+ 000000000000008b: 05 nopl (%rax,%rax)
44
+ 0000000000000090: 03 movq (%rbx), %r15
45
+ 0000000000000093: 03 testq %r15, %r15
46
+ 0000000000000096: 02 je 0x414c27 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x47>
47
+ 0000000000000098: 04 movq 16(%rbx), %r12
48
+ 000000000000009c: 04 movl 48(%r15), %eax
49
+ 00000000000000a0: 03 cmpl $2, %eax
50
+ 00000000000000a3: 02 je 0x414ca7 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0xc7>
51
+ 00000000000000a5: 03 cmpl $1, %eax
52
+ 00000000000000a8: 02 jne 0x414c12 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x32>
53
+ 00000000000000aa: 05 cmpq $23, 32(%r15)
54
+ 00000000000000af: 06 je 0x414c0a <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x2a>
55
+ 00000000000000b5: 03 movq (%r15), %rsi
56
+ 00000000000000b8: 04 movq 40(%r15), %rdi
57
+ 00000000000000bc: 03 movq (%rdi), %rax
58
+ 00000000000000bf: 03 callq *24(%rax)
59
+ 00000000000000c2: 05 jmp 0x414c0a <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x2a>
60
+ 00000000000000c7: 03 movq (%r15), %r13
61
+ 00000000000000ca: 03 testq %r13, %r13
62
+ 00000000000000cd: 06 je 0x414c12 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x32>
63
+ 00000000000000d3: 04 movq 56(%r15), %rbp
64
+ 00000000000000d7: 03 movq %r13, %rdi
65
+ 00000000000000da: 05 callq 0x415670 <BloombergLP::balb::Choice1::~Choice1()>
66
+ 00000000000000df: 04 movq (%rbp), %rax
67
+ 00000000000000e3: 03 movq %rbp, %rdi
68
+ 00000000000000e6: 03 movq %r13, %rsi
69
+ 00000000000000e9: 03 callq *24(%rax)
70
+ 00000000000000ec: 05 jmp 0x414c12 <bsl::vector<BloombergLP::balb::Choice1, bsl::allocator<BloombergLP::balb::Choice1> >::~vector()+0x32>
71
+ 00000000000000f1: 04 movq (%rsp), %rdi
72
+ 00000000000000f5: 03 movq (%rdi), %rbx
73
+ 00000000000000f8: 04 movq 24(%rdi), %rdi
74
+ 00000000000000fc: 03 movq (%rdi), %rax
75
+ 00000000000000ff: 03 movq %rbx, %rsi
76
+ 0000000000000102: 03 callq *24(%rax)
77
+ 0000000000000105: 04 addq $8, %rsp
78
+ 0000000000000109: 01 popq %rbx
79
+ 000000000000010a: 02 popq %r12
80
+ 000000000000010c: 02 popq %r13
81
+ 000000000000010e: 02 popq %r14
82
+ 0000000000000110: 02 popq %r15
83
+ 0000000000000112: 01 popq %rbp
84
+ 0000000000000113: 01 retq
85
+ 0000000000000114: 03 movq %rax, %rdi
86
+ 0000000000000117: 05 callq 0x4043c0 <__clang_call_terminate>
87
+ 000000000000011c: 03 movq %rax, %rdi
88
+ 000000000000011f: 05 callq 0x4043c0 <__clang_call_terminate>
89
+ 0000000000000124: 03 movq %rax, %rdi
90
+ 0000000000000127: 05 callq 0x4043c0 <__clang_call_terminate>
91
+ 000000000000012c: 03 movq %rax, %rdi
92
+ 000000000000012f: 05 callq 0x4043c0 <__clang_call_terminate>
93
+ 0000000000000134: 10 nopw %cs:(%rax,%rax)
94
+ 000000000000013e: 02 nop