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

Files changed (1) hide show
  1. bslalg_rangecompare.t/{1.assume.s → 1.none.s} +82 -88
bslalg_rangecompare.t/{1.assume.s → 1.none.s} RENAMED
@@ -1,107 +1,101 @@
1
- 0000000000411b30 <MyContainer<MyPoint>::reserve(unsigned long)>:
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: 04 subq $32, %rsp
8
  000000000000000d: 04 cmpq %rsi, 8(%rdi)
9
- 0000000000000011: 06 je 0x411c5e <MyContainer<MyPoint>::reserve(unsigned long)+0x12e>
10
- 0000000000000017: 03 movq %rsi, %r13
11
  000000000000001a: 03 movq %rdi, %r14
12
  000000000000001d: 04 movq 24(%rdi), %rdi
13
  0000000000000021: 03 xorps %xmm0, %xmm0
14
  0000000000000024: 04 movaps %xmm0, (%rsp)
15
  0000000000000028: 09 movq $0, 16(%rsp)
16
  0000000000000031: 03 testq %rdi, %rdi
17
- 0000000000000034: 02 jne 0x411b7a <MyContainer<MyPoint>::reserve(unsigned long)+0x4a>
18
- 0000000000000036: 07 movq 2127859(%rip), %rdi # 619360 <BloombergLP::bslma::Default::s_defaultAllocator>
19
  000000000000003d: 03 testq %rdi, %rdi
20
- 0000000000000040: 02 jne 0x411b7a <MyContainer<MyPoint>::reserve(unsigned long)+0x4a>
21
- 0000000000000042: 05 callq 0x411ee0 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>
22
  0000000000000047: 03 movq %rax, %rdi
23
  000000000000004a: 05 movq %rdi, 24(%rsp)
24
- 000000000000004f: 08 leaq (,%r13,8), %rsi
25
  0000000000000057: 03 movq (%rdi), %rax
26
  000000000000005a: 03 callq *16(%rax)
27
  000000000000005d: 05 movq %rax, 16(%rsp)
28
- 0000000000000062: 05 movq %r13, 8(%rsp)
29
- 0000000000000067: 04 movq 16(%r14), %r15
30
- 000000000000006b: 04 cmpq $0, (%r14)
31
- 000000000000006f: 06 je 0x411c26 <MyContainer<MyPoint>::reserve(unsigned long)+0xf6>
32
- 0000000000000075: 02 xorl %ebx, %ebx
33
- 0000000000000077: 03 movq %rsp, %r12
34
- 000000000000007a: 03 testq %r13, %r13
35
- 000000000000007d: 02 je 0x411bd0 <MyContainer<MyPoint>::reserve(unsigned long)+0xa0>
36
- 000000000000007f: 01 nop
37
- 0000000000000080: 03 cmpq %rbx, %r13
38
- 0000000000000083: 02 jne 0x411bdd <MyContainer<MyPoint>::reserve(unsigned long)+0xad>
39
- 0000000000000085: 03 addq %r13, %r13
40
- 0000000000000088: 03 movq %r12, %rdi
41
- 000000000000008b: 03 movq %r13, %rsi
42
- 000000000000008e: 05 callq 0x411b30 <MyContainer<MyPoint>::reserve(unsigned long)>
43
- 0000000000000093: 02 jmp 0x411bdd <MyContainer<MyPoint>::reserve(unsigned long)+0xad>
44
- 0000000000000095: 10 nopw %cs:(%rax,%rax)
45
- 000000000000009f: 01 nop
46
- 00000000000000a0: 05 movl $1, %esi
47
- 00000000000000a5: 03 movq %r12, %rdi
48
- 00000000000000a8: 05 callq 0x411b30 <MyContainer<MyPoint>::reserve(unsigned long)>
49
- 00000000000000ad: 04 movq (%rsp), %rax
50
- 00000000000000b1: 05 movq 16(%rsp), %rcx
51
- 00000000000000b6: 04 movl (%r15,%rbx,8), %edx
52
- 00000000000000ba: 03 movl %edx, (%rcx,%rax,8)
53
- 00000000000000bd: 05 movl 4(%r15,%rbx,8), %edx
54
- 00000000000000c2: 04 movl %edx, 4(%rcx,%rax,8)
55
- 00000000000000c6: 04 movq (%rsp), %rbx
56
- 00000000000000ca: 03 incq %rbx
57
- 00000000000000cd: 04 movq %rbx, (%rsp)
58
- 00000000000000d1: 03 cmpq (%r14), %rbx
59
- 00000000000000d4: 02 jae 0x411c16 <MyContainer<MyPoint>::reserve(unsigned long)+0xe6>
60
- 00000000000000d6: 04 movq 16(%r14), %r15
61
- 00000000000000da: 05 movq 8(%rsp), %r13
62
- 00000000000000df: 03 testq %r13, %r13
63
- 00000000000000e2: 02 jne 0x411bb0 <MyContainer<MyPoint>::reserve(unsigned long)+0x80>
64
- 00000000000000e4: 02 jmp 0x411bd0 <MyContainer<MyPoint>::reserve(unsigned long)+0xa0>
65
- 00000000000000e6: 05 movq 8(%rsp), %r13
66
- 00000000000000eb: 05 movq 16(%rsp), %rax
67
- 00000000000000f0: 04 movq 16(%r14), %r15
68
- 00000000000000f4: 02 jmp 0x411c28 <MyContainer<MyPoint>::reserve(unsigned long)+0xf8>
69
- 00000000000000f6: 02 xorl %ebx, %ebx
70
- 00000000000000f8: 04 movq 8(%r14), %rcx
71
- 00000000000000fc: 04 movq %r13, 8(%r14)
72
- 0000000000000100: 05 movq %rcx, 8(%rsp)
73
- 0000000000000105: 04 movq %rax, 16(%r14)
74
- 0000000000000109: 05 movq %r15, 16(%rsp)
75
- 000000000000010e: 03 testq %r15, %r15
76
- 0000000000000111: 02 je 0x411c5e <MyContainer<MyPoint>::reserve(unsigned long)+0x12e>
77
- 0000000000000113: 03 testq %rbx, %rbx
78
- 0000000000000116: 02 je 0x411c50 <MyContainer<MyPoint>::reserve(unsigned long)+0x120>
79
- 0000000000000118: 08 movq $0, (%rsp)
80
- 0000000000000120: 05 movq 24(%rsp), %rdi
81
- 0000000000000125: 03 movq (%rdi), %rax
82
- 0000000000000128: 03 movq %r15, %rsi
83
- 000000000000012b: 03 callq *24(%rax)
84
- 000000000000012e: 04 addq $32, %rsp
85
- 0000000000000132: 01 popq %rbx
86
- 0000000000000133: 02 popq %r12
87
- 0000000000000135: 02 popq %r13
88
- 0000000000000137: 02 popq %r14
89
- 0000000000000139: 02 popq %r15
90
- 000000000000013b: 01 retq
91
- 000000000000013c: 03 movq %rax, %rdi
92
- 000000000000013f: 05 callq 0x4036d0 <__clang_call_terminate>
93
- 0000000000000144: 03 movq %rax, %rbx
94
- 0000000000000147: 05 movq 16(%rsp), %rsi
95
- 000000000000014c: 03 testq %rsi, %rsi
96
- 000000000000014f: 02 je 0x411c9b <MyContainer<MyPoint>::reserve(unsigned long)+0x16b>
97
- 0000000000000151: 05 cmpq $0, (%rsp)
98
- 0000000000000156: 02 je 0x411c90 <MyContainer<MyPoint>::reserve(unsigned long)+0x160>
99
- 0000000000000158: 08 movq $0, (%rsp)
100
- 0000000000000160: 05 movq 24(%rsp), %rdi
101
- 0000000000000165: 03 movq (%rdi), %rax
102
- 0000000000000168: 03 callq *24(%rax)
103
- 000000000000016b: 03 movq %rbx, %rdi
104
- 000000000000016e: 05 callq 0x4017f0 <_Unwind_Resume@plt>
105
- 0000000000000173: 03 movq %rax, %rdi
106
- 0000000000000176: 05 callq 0x4036d0 <__clang_call_terminate>
107
- 000000000000017b: 05 nopl (%rax,%rax)
1
+ 0000000000411b10 <MyContainer<MyPoint>::reserve(unsigned long)>:
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: 04 subq $32, %rsp
8
  000000000000000d: 04 cmpq %rsi, 8(%rdi)
9
+ 0000000000000011: 06 je 0x411c2a <MyContainer<MyPoint>::reserve(unsigned long)+0x11a>
10
+ 0000000000000017: 03 movq %rsi, %r12
11
  000000000000001a: 03 movq %rdi, %r14
12
  000000000000001d: 04 movq 24(%rdi), %rdi
13
  0000000000000021: 03 xorps %xmm0, %xmm0
14
  0000000000000024: 04 movaps %xmm0, (%rsp)
15
  0000000000000028: 09 movq $0, 16(%rsp)
16
  0000000000000031: 03 testq %rdi, %rdi
17
+ 0000000000000034: 02 jne 0x411b5a <MyContainer<MyPoint>::reserve(unsigned long)+0x4a>
18
+ 0000000000000036: 07 movq 2127891(%rip), %rdi # 619360 <BloombergLP::bslma::Default::s_defaultAllocator>
19
  000000000000003d: 03 testq %rdi, %rdi
20
+ 0000000000000040: 02 jne 0x411b5a <MyContainer<MyPoint>::reserve(unsigned long)+0x4a>
21
+ 0000000000000042: 05 callq 0x411e90 <BloombergLP::bslma::Default::determineAndReturnDefaultAllocator()>
22
  0000000000000047: 03 movq %rax, %rdi
23
  000000000000004a: 05 movq %rdi, 24(%rsp)
24
+ 000000000000004f: 08 leaq (,%r12,8), %rsi
25
  0000000000000057: 03 movq (%rdi), %rax
26
  000000000000005a: 03 callq *16(%rax)
27
  000000000000005d: 05 movq %rax, 16(%rsp)
28
+ 0000000000000062: 05 movq %r12, 8(%rsp)
29
+ 0000000000000067: 04 cmpq $0, (%r14)
30
+ 000000000000006b: 02 je 0x411bf1 <MyContainer<MyPoint>::reserve(unsigned long)+0xe1>
31
+ 000000000000006d: 02 xorl %ebx, %ebx
32
+ 000000000000006f: 03 movq %rsp, %r15
33
+ 0000000000000072: 02 jmp 0x411bcc <MyContainer<MyPoint>::reserve(unsigned long)+0xbc>
34
+ 0000000000000074: 10 nopw %cs:(%rax,%rax)
35
+ 000000000000007e: 02 nop
36
+ 0000000000000080: 05 movl $1, %esi
37
+ 0000000000000085: 03 movq %r15, %rdi
38
+ 0000000000000088: 05 callq 0x411b10 <MyContainer<MyPoint>::reserve(unsigned long)>
39
+ 000000000000008d: 04 movq (%rsp), %rax
40
+ 0000000000000091: 05 movq 16(%rsp), %rcx
41
+ 0000000000000096: 05 movl (%r13,%rbx,8), %edx
42
+ 000000000000009b: 03 movl %edx, (%rcx,%rax,8)
43
+ 000000000000009e: 05 movl 4(%r13,%rbx,8), %edx
44
+ 00000000000000a3: 04 movl %edx, 4(%rcx,%rax,8)
45
+ 00000000000000a7: 04 movq (%rsp), %rbx
46
+ 00000000000000ab: 05 movq 8(%rsp), %r12
47
+ 00000000000000b0: 03 incq %rbx
48
+ 00000000000000b3: 04 movq %rbx, (%rsp)
49
+ 00000000000000b7: 03 cmpq (%r14), %rbx
50
+ 00000000000000ba: 02 jae 0x411bea <MyContainer<MyPoint>::reserve(unsigned long)+0xda>
51
+ 00000000000000bc: 04 movq 16(%r14), %r13
52
+ 00000000000000c0: 03 testq %r12, %r12
53
+ 00000000000000c3: 02 je 0x411b90 <MyContainer<MyPoint>::reserve(unsigned long)+0x80>
54
+ 00000000000000c5: 03 cmpq %rbx, %r12
55
+ 00000000000000c8: 02 jne 0x411b9d <MyContainer<MyPoint>::reserve(unsigned long)+0x8d>
56
+ 00000000000000ca: 03 addq %r12, %r12
57
+ 00000000000000cd: 03 movq %r15, %rdi
58
+ 00000000000000d0: 03 movq %r12, %rsi
59
+ 00000000000000d3: 05 callq 0x411b10 <MyContainer<MyPoint>::reserve(unsigned long)>
60
+ 00000000000000d8: 02 jmp 0x411b9d <MyContainer<MyPoint>::reserve(unsigned long)+0x8d>
61
+ 00000000000000da: 05 movq 16(%rsp), %rax
62
+ 00000000000000df: 02 jmp 0x411bf3 <MyContainer<MyPoint>::reserve(unsigned long)+0xe3>
63
+ 00000000000000e1: 02 xorl %ebx, %ebx
64
+ 00000000000000e3: 04 movq 8(%r14), %rcx
65
+ 00000000000000e7: 04 movq %r12, 8(%r14)
66
+ 00000000000000eb: 05 movq %rcx, 8(%rsp)
67
+ 00000000000000f0: 04 movq 16(%r14), %rsi
68
+ 00000000000000f4: 04 movq %rax, 16(%r14)
69
+ 00000000000000f8: 05 movq %rsi, 16(%rsp)
70
+ 00000000000000fd: 03 testq %rsi, %rsi
71
+ 0000000000000100: 02 je 0x411c2a <MyContainer<MyPoint>::reserve(unsigned long)+0x11a>
72
+ 0000000000000102: 03 testq %rbx, %rbx
73
+ 0000000000000105: 02 je 0x411c1f <MyContainer<MyPoint>::reserve(unsigned long)+0x10f>
74
+ 0000000000000107: 08 movq $0, (%rsp)
75
+ 000000000000010f: 05 movq 24(%rsp), %rdi
76
+ 0000000000000114: 03 movq (%rdi), %rax
77
+ 0000000000000117: 03 callq *24(%rax)
78
+ 000000000000011a: 04 addq $32, %rsp
79
+ 000000000000011e: 01 popq %rbx
80
+ 000000000000011f: 02 popq %r12
81
+ 0000000000000121: 02 popq %r13
82
+ 0000000000000123: 02 popq %r14
83
+ 0000000000000125: 02 popq %r15
84
+ 0000000000000127: 01 retq
85
+ 0000000000000128: 03 movq %rax, %rdi
86
+ 000000000000012b: 05 callq 0x4036d0 <__clang_call_terminate>
87
+ 0000000000000130: 03 movq %rax, %rbx
88
+ 0000000000000133: 05 movq 16(%rsp), %rsi
89
+ 0000000000000138: 03 testq %rsi, %rsi
90
+ 000000000000013b: 02 je 0x411c67 <MyContainer<MyPoint>::reserve(unsigned long)+0x157>
91
+ 000000000000013d: 05 cmpq $0, (%rsp)
92
+ 0000000000000142: 02 je 0x411c5c <MyContainer<MyPoint>::reserve(unsigned long)+0x14c>
93
+ 0000000000000144: 08 movq $0, (%rsp)
94
+ 000000000000014c: 05 movq 24(%rsp), %rdi
95
+ 0000000000000151: 03 movq (%rdi), %rax
96
+ 0000000000000154: 03 callq *24(%rax)
97
+ 0000000000000157: 03 movq %rbx, %rdi
98
+ 000000000000015a: 05 callq 0x4017f0 <_Unwind_Resume@plt>
99
+ 000000000000015f: 03 movq %rax, %rdi
100
+ 0000000000000162: 05 callq 0x4036d0 <__clang_call_terminate>
101
+ 0000000000000167: 09 nopw (%rax,%rax)