Comparing MyContainer::reserve(unsigned long) in assumed vs ignored

Files changed (1) hide show
  1. bslalg_rangecompare.t/{2.assume.s → 2.none.s} +85 -90
bslalg_rangecompare.t/{2.assume.s → 2.none.s} RENAMED
@@ -1,114 +1,109 @@
1
  0000000000411980 <MyContainer<MyString>::reserve(unsigned long)>:
2
  0000000000000000: 02 pushq %r14
3
  0000000000000002: 01 pushq %rbx
4
  0000000000000003: 04 subq $40, %rsp
5
  0000000000000007: 04 cmpq %rsi, 8(%rdi)
6
- 000000000000000b: 06 je 0x411a9b <MyContainer<MyString>::reserve(unsigned long)+0x11b>
7
  0000000000000011: 03 movq %rsi, %r14
8
  0000000000000014: 03 movq %rdi, %rbx
9
  0000000000000017: 04 movq 24(%rdi), %rdi
10
  000000000000001b: 03 xorps %xmm0, %xmm0
11
  000000000000001e: 04 movaps %xmm0, (%rsp)
12
  0000000000000022: 09 movq $0, 16(%rsp)
13
  000000000000002b: 03 testq %rdi, %rdi
14
  000000000000002e: 02 jne 0x4119c4 <MyContainer<MyString>::reserve(unsigned long)+0x44>
15
  0000000000000030: 07 movq 2128297(%rip), %rdi # 619360 <BloombergLP::bslma::Default::s_defaultAllocator>
16
  0000000000000037: 03 testq %rdi, %rdi
17
  000000000000003a: 02 jne 0x4119c4 <MyContainer<MyString>::reserve(unsigned long)+0x44>
18
- 000000000000003c: 05 callq 0x411ee0 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>
19
  0000000000000041: 03 movq %rax, %rdi
20
  0000000000000044: 05 movq %rdi, 24(%rsp)
21
  0000000000000049: 08 leaq (,%r14,8), %rax
22
  0000000000000051: 04 leaq (%rax,%rax,2), %rsi
23
  0000000000000055: 03 movq (%rdi), %rax
24
  0000000000000058: 03 callq *16(%rax)
25
  000000000000005b: 05 movq %rax, 16(%rsp)
26
  0000000000000060: 05 movq %r14, 8(%rsp)
27
- 0000000000000065: 04 movq 16(%rbx), %rsi
28
- 0000000000000069: 04 cmpq $0, (%rbx)
29
- 000000000000006d: 02 je 0x411a2f <MyContainer<MyString>::reserve(unsigned long)+0xaf>
30
- 000000000000006f: 02 xorl %ecx, %ecx
31
- 0000000000000071: 03 movq %rsp, %r14
32
- 0000000000000074: 10 nopw %cs:(%rax,%rax)
33
- 000000000000007e: 02 nop
34
- 0000000000000080: 04 leaq (%rcx,%rcx,2), %rax
35
- 0000000000000084: 04 leaq (%rsi,%rax,8), %rsi
36
- 0000000000000088: 03 movq %r14, %rdi
37
- 000000000000008b: 05 callq 0x4036e0 <MyContainer<MyString>::push_back(MyString const&)>
38
- 0000000000000090: 04 movq (%rsp), %rcx
39
- 0000000000000094: 03 cmpq (%rbx), %rcx
40
- 0000000000000097: 02 jae 0x411a1f <MyContainer<MyString>::reserve(unsigned long)+0x9f>
41
- 0000000000000099: 04 movq 16(%rbx), %rsi
42
- 000000000000009d: 02 jmp 0x411a00 <MyContainer<MyString>::reserve(unsigned long)+0x80>
43
- 000000000000009f: 05 movq 8(%rsp), %r14
44
- 00000000000000a4: 05 movq 16(%rsp), %rax
45
- 00000000000000a9: 04 movq 16(%rbx), %rsi
46
- 00000000000000ad: 02 jmp 0x411a31 <MyContainer<MyString>::reserve(unsigned long)+0xb1>
47
- 00000000000000af: 02 xorl %ecx, %ecx
48
- 00000000000000b1: 04 movq 8(%rbx), %rdx
49
- 00000000000000b5: 04 movq %r14, 8(%rbx)
50
- 00000000000000b9: 05 movq %rdx, 8(%rsp)
51
- 00000000000000be: 04 movq %rax, 16(%rbx)
52
- 00000000000000c2: 05 movq %rsi, 16(%rsp)
53
- 00000000000000c7: 03 testq %rsi, %rsi
54
- 00000000000000ca: 02 je 0x411a9b <MyContainer<MyString>::reserve(unsigned long)+0x11b>
55
- 00000000000000cc: 03 testq %rcx, %rcx
56
- 00000000000000cf: 02 je 0x411a90 <MyContainer<MyString>::reserve(unsigned long)+0x110>
57
- 00000000000000d1: 10 nopw %cs:(%rax,%rax)
58
- 00000000000000db: 05 nopl (%rax,%rax)
59
- 00000000000000e0: 04 leaq (%rcx,%rcx,2), %rcx
60
- 00000000000000e4: 05 movq -24(%rsi,%rcx,8), %rax
61
- 00000000000000e9: 05 movq -8(%rsi,%rcx,8), %rdi
62
- 00000000000000ee: 03 movq (%rdi), %rcx
63
- 00000000000000f1: 03 movq %rax, %rsi
64
- 00000000000000f4: 03 callq *24(%rcx)
65
- 00000000000000f7: 04 movq (%rsp), %rcx
66
- 00000000000000fb: 03 decq %rcx
67
- 00000000000000fe: 04 movq %rcx, (%rsp)
68
- 0000000000000102: 02 je 0x411a8b <MyContainer<MyString>::reserve(unsigned long)+0x10b>
69
- 0000000000000104: 05 movq 16(%rsp), %rsi
70
- 0000000000000109: 02 jmp 0x411a60 <MyContainer<MyString>::reserve(unsigned long)+0xe0>
71
- 000000000000010b: 05 movq 16(%rsp), %rsi
72
- 0000000000000110: 05 movq 24(%rsp), %rdi
73
- 0000000000000115: 03 movq (%rdi), %rax
74
- 0000000000000118: 03 callq *24(%rax)
75
- 000000000000011b: 04 addq $40, %rsp
76
- 000000000000011f: 01 popq %rbx
77
- 0000000000000120: 02 popq %r14
78
- 0000000000000122: 01 retq
79
- 0000000000000123: 03 movq %rax, %rdi
80
- 0000000000000126: 05 callq 0x4036d0 <__clang_call_terminate>
81
- 000000000000012b: 03 movq %rax, %rdi
82
- 000000000000012e: 05 callq 0x4036d0 <__clang_call_terminate>
83
- 0000000000000133: 03 movq %rax, %rbx
84
- 0000000000000136: 05 movq 16(%rsp), %rsi
85
- 000000000000013b: 03 testq %rsi, %rsi
86
- 000000000000013e: 02 je 0x411b0b <MyContainer<MyString>::reserve(unsigned long)+0x18b>
87
- 0000000000000140: 04 movq (%rsp), %rax
88
- 0000000000000144: 03 testq %rax, %rax
89
- 0000000000000147: 02 je 0x411b00 <MyContainer<MyString>::reserve(unsigned long)+0x180>
90
- 0000000000000149: 07 nopl (%rax)
91
- 0000000000000150: 04 leaq (%rax,%rax,2), %rcx
92
- 0000000000000154: 05 movq -24(%rsi,%rcx,8), %rax
93
- 0000000000000159: 05 movq -8(%rsi,%rcx,8), %rdi
94
- 000000000000015e: 03 movq (%rdi), %rcx
95
- 0000000000000161: 03 movq %rax, %rsi
96
- 0000000000000164: 03 callq *24(%rcx)
97
- 0000000000000167: 04 movq (%rsp), %rax
98
- 000000000000016b: 03 decq %rax
99
- 000000000000016e: 04 movq %rax, (%rsp)
100
- 0000000000000172: 02 je 0x411afb <MyContainer<MyString>::reserve(unsigned long)+0x17b>
101
- 0000000000000174: 05 movq 16(%rsp), %rsi
102
- 0000000000000179: 02 jmp 0x411ad0 <MyContainer<MyString>::reserve(unsigned long)+0x150>
103
- 000000000000017b: 05 movq 16(%rsp), %rsi
104
- 0000000000000180: 05 movq 24(%rsp), %rdi
105
- 0000000000000185: 03 movq (%rdi), %rax
106
- 0000000000000188: 03 callq *24(%rax)
107
- 000000000000018b: 03 movq %rbx, %rdi
108
- 000000000000018e: 05 callq 0x4017f0 <_Unwind_Resume@plt>
109
- 0000000000000193: 03 movq %rax, %rdi
110
- 0000000000000196: 05 callq 0x4036d0 <__clang_call_terminate>
111
- 000000000000019b: 03 movq %rax, %rdi
112
- 000000000000019e: 05 callq 0x4036d0 <__clang_call_terminate>
113
- 00000000000001a3: 10 nopw %cs:(%rax,%rax)
114
- 00000000000001ad: 03 nopl (%rax)
1
  0000000000411980 <MyContainer<MyString>::reserve(unsigned long)>:
2
  0000000000000000: 02 pushq %r14
3
  0000000000000002: 01 pushq %rbx
4
  0000000000000003: 04 subq $40, %rsp
5
  0000000000000007: 04 cmpq %rsi, 8(%rdi)
6
+ 000000000000000b: 06 je 0x411a7b <MyContainer<MyString>::reserve(unsigned long)+0xfb>
7
  0000000000000011: 03 movq %rsi, %r14
8
  0000000000000014: 03 movq %rdi, %rbx
9
  0000000000000017: 04 movq 24(%rdi), %rdi
10
  000000000000001b: 03 xorps %xmm0, %xmm0
11
  000000000000001e: 04 movaps %xmm0, (%rsp)
12
  0000000000000022: 09 movq $0, 16(%rsp)
13
  000000000000002b: 03 testq %rdi, %rdi
14
  000000000000002e: 02 jne 0x4119c4 <MyContainer<MyString>::reserve(unsigned long)+0x44>
15
  0000000000000030: 07 movq 2128297(%rip), %rdi # 619360 <BloombergLP::bslma::Default::s_defaultAllocator>
16
  0000000000000037: 03 testq %rdi, %rdi
17
  000000000000003a: 02 jne 0x4119c4 <MyContainer<MyString>::reserve(unsigned long)+0x44>
18
+ 000000000000003c: 05 callq 0x411e90 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>
19
  0000000000000041: 03 movq %rax, %rdi
20
  0000000000000044: 05 movq %rdi, 24(%rsp)
21
  0000000000000049: 08 leaq (,%r14,8), %rax
22
  0000000000000051: 04 leaq (%rax,%rax,2), %rsi
23
  0000000000000055: 03 movq (%rdi), %rax
24
  0000000000000058: 03 callq *16(%rax)
25
  000000000000005b: 05 movq %rax, 16(%rsp)
26
  0000000000000060: 05 movq %r14, 8(%rsp)
27
+ 0000000000000065: 04 cmpq $0, (%rbx)
28
+ 0000000000000069: 02 je 0x411a0f <MyContainer<MyString>::reserve(unsigned long)+0x8f>
29
+ 000000000000006b: 02 xorl %ecx, %ecx
30
+ 000000000000006d: 03 movq %rsp, %r14
31
+ 0000000000000070: 04 leaq (%rcx,%rcx,2), %rsi
32
+ 0000000000000074: 04 shlq $3, %rsi
33
+ 0000000000000078: 04 addq 16(%rbx), %rsi
34
+ 000000000000007c: 03 movq %r14, %rdi
35
+ 000000000000007f: 05 callq 0x4036e0 <MyContainer<MyString>::push_back(MyString const&)>
36
+ 0000000000000084: 04 movq (%rsp), %rcx
37
+ 0000000000000088: 03 cmpq (%rbx), %rcx
38
+ 000000000000008b: 02 jb 0x4119f0 <MyContainer<MyString>::reserve(unsigned long)+0x70>
39
+ 000000000000008d: 02 jmp 0x411a11 <MyContainer<MyString>::reserve(unsigned long)+0x91>
40
+ 000000000000008f: 02 xorl %ecx, %ecx
41
+ 0000000000000091: 04 movq 8(%rbx), %rax
42
+ 0000000000000095: 05 movq 8(%rsp), %rdx
43
+ 000000000000009a: 04 movq %rdx, 8(%rbx)
44
+ 000000000000009e: 05 movq %rax, 8(%rsp)
45
+ 00000000000000a3: 04 movq 16(%rbx), %rsi
46
+ 00000000000000a7: 05 movq 16(%rsp), %rax
47
+ 00000000000000ac: 04 movq %rax, 16(%rbx)
48
+ 00000000000000b0: 05 movq %rsi, 16(%rsp)
49
+ 00000000000000b5: 03 testq %rsi, %rsi
50
+ 00000000000000b8: 02 je 0x411a7b <MyContainer<MyString>::reserve(unsigned long)+0xfb>
51
+ 00000000000000ba: 03 testq %rcx, %rcx
52
+ 00000000000000bd: 02 je 0x411a70 <MyContainer<MyString>::reserve(unsigned long)+0xf0>
53
+ 00000000000000bf: 01 nop
54
+ 00000000000000c0: 04 leaq (%rcx,%rcx,2), %rcx
55
+ 00000000000000c4: 05 movq -24(%rsi,%rcx,8), %rax
56
+ 00000000000000c9: 05 movq -8(%rsi,%rcx,8), %rdi
57
+ 00000000000000ce: 03 movq (%rdi), %rcx
58
+ 00000000000000d1: 03 movq %rax, %rsi
59
+ 00000000000000d4: 03 callq *24(%rcx)
60
+ 00000000000000d7: 04 movq (%rsp), %rcx
61
+ 00000000000000db: 03 decq %rcx
62
+ 00000000000000de: 04 movq %rcx, (%rsp)
63
+ 00000000000000e2: 02 je 0x411a6b <MyContainer<MyString>::reserve(unsigned long)+0xeb>
64
+ 00000000000000e4: 05 movq 16(%rsp), %rsi
65
+ 00000000000000e9: 02 jmp 0x411a40 <MyContainer<MyString>::reserve(unsigned long)+0xc0>
66
+ 00000000000000eb: 05 movq 16(%rsp), %rsi
67
+ 00000000000000f0: 05 movq 24(%rsp), %rdi
68
+ 00000000000000f5: 03 movq (%rdi), %rax
69
+ 00000000000000f8: 03 callq *24(%rax)
70
+ 00000000000000fb: 04 addq $40, %rsp
71
+ 00000000000000ff: 01 popq %rbx
72
+ 0000000000000100: 02 popq %r14
73
+ 0000000000000102: 01 retq
74
+ 0000000000000103: 03 movq %rax, %rdi
75
+ 0000000000000106: 05 callq 0x4036d0 <__clang_call_terminate>
76
+ 000000000000010b: 03 movq %rax, %rdi
77
+ 000000000000010e: 05 callq 0x4036d0 <__clang_call_terminate>
78
+ 0000000000000113: 03 movq %rax, %rbx
79
+ 0000000000000116: 05 movq 16(%rsp), %rsi
80
+ 000000000000011b: 03 testq %rsi, %rsi
81
+ 000000000000011e: 02 je 0x411aeb <MyContainer<MyString>::reserve(unsigned long)+0x16b>
82
+ 0000000000000120: 04 movq (%rsp), %rax
83
+ 0000000000000124: 03 testq %rax, %rax
84
+ 0000000000000127: 02 je 0x411ae0 <MyContainer<MyString>::reserve(unsigned long)+0x160>
85
+ 0000000000000129: 07 nopl (%rax)
86
+ 0000000000000130: 04 leaq (%rax,%rax,2), %rcx
87
+ 0000000000000134: 05 movq -24(%rsi,%rcx,8), %rax
88
+ 0000000000000139: 05 movq -8(%rsi,%rcx,8), %rdi
89
+ 000000000000013e: 03 movq (%rdi), %rcx
90
+ 0000000000000141: 03 movq %rax, %rsi
91
+ 0000000000000144: 03 callq *24(%rcx)
92
+ 0000000000000147: 04 movq (%rsp), %rax
93
+ 000000000000014b: 03 decq %rax
94
+ 000000000000014e: 04 movq %rax, (%rsp)
95
+ 0000000000000152: 02 je 0x411adb <MyContainer<MyString>::reserve(unsigned long)+0x15b>
96
+ 0000000000000154: 05 movq 16(%rsp), %rsi
97
+ 0000000000000159: 02 jmp 0x411ab0 <MyContainer<MyString>::reserve(unsigned long)+0x130>
98
+ 000000000000015b: 05 movq 16(%rsp), %rsi
99
+ 0000000000000160: 05 movq 24(%rsp), %rdi
100
+ 0000000000000165: 03 movq (%rdi), %rax
101
+ 0000000000000168: 03 callq *24(%rax)
102
+ 000000000000016b: 03 movq %rbx, %rdi
103
+ 000000000000016e: 05 callq 0x4017f0 <_Unwind_Resume@plt>
104
+ 0000000000000173: 03 movq %rax, %rdi
105
+ 0000000000000176: 05 callq 0x4036d0 <__clang_call_terminate>
106
+ 000000000000017b: 03 movq %rax, %rdi
107
+ 000000000000017e: 05 callq 0x4036d0 <__clang_call_terminate>
108
+ 0000000000000183: 10 nopw %cs:(%rax,%rax)
109
+ 000000000000018d: 03 nopl (%rax)