Comparing BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const in assumed vs ignored

Files changed (1) hide show
  1. balb_filecleanerutil.t/{25.assume.s → 25.none.s} +89 -87
balb_filecleanerutil.t/{25.assume.s → 25.none.s} RENAMED
@@ -1,168 +1,170 @@
1
- 0000000000414570 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const>:
2
  0000000000000000: 01 pushq %rbp
3
  0000000000000001: 02 pushq %r15
4
  0000000000000003: 02 pushq %r14
5
  0000000000000005: 01 pushq %rbx
6
  0000000000000006: 04 subq $24, %rsp
7
  000000000000000a: 03 movl %ecx, %r11d
8
- 000000000000000d: 03 movl %edx, %r10d
9
  0000000000000010: 02 movl (%rdi), %ecx
10
  0000000000000012: 04 movq 8(%rdi), %r15
11
  0000000000000016: 10 movabsq $-7442832613395060283, %rdx
12
  0000000000000020: 03 movq %r15, %rax
13
  0000000000000023: 03 imulq %rdx
14
  0000000000000026: 03 movq %rdx, %r8
15
  0000000000000029: 03 addq %r15, %r8
16
  000000000000002c: 03 movq %r8, %rbx
17
  000000000000002f: 04 shrq $63, %rbx
18
  0000000000000033: 04 shrq $31, %r8
19
  0000000000000037: 10 movabsq $-8130577079664715991, %rdx
20
  0000000000000041: 03 movq %r15, %rax
21
  0000000000000044: 03 imulq %rdx
22
- 0000000000000047: 03 movq %rdx, %r9
23
  000000000000004a: 03 addl %ebx, %r8d
24
- 000000000000004d: 03 addq %r15, %r9
25
- 0000000000000050: 03 movq %r9, %rax
26
  0000000000000053: 04 shrq $63, %rax
27
- 0000000000000057: 04 sarq $25, %r9
28
- 000000000000005b: 03 addq %rax, %r9
29
  000000000000005e: 10 movabsq $-8608480567731124087, %rbx
30
- 0000000000000068: 03 movq %r9, %rax
31
  000000000000006b: 03 imulq %rbx
32
- 000000000000006e: 03 addq %r9, %rdx
33
  0000000000000071: 03 movq %rdx, %rax
34
  0000000000000074: 04 shrq $63, %rax
35
  0000000000000078: 04 shrq $5, %rdx
36
  000000000000007c: 02 addl %eax, %edx
37
  000000000000007e: 03 imull $60, %edx, %ebp
38
  0000000000000081: 10 movabsq $4835703278458516699, %rdx
39
  000000000000008b: 03 movq %r15, %rax
40
  000000000000008e: 03 imulq %rdx
41
  0000000000000091: 03 movq %rdx, %r14
42
- 0000000000000094: 03 subl %ebp, %r9d
43
  0000000000000097: 03 movq %rdx, %rax
44
  000000000000009a: 04 shrq $63, %rax
45
  000000000000009e: 04 sarq $18, %r14
46
  00000000000000a2: 03 addq %rax, %r14
47
  00000000000000a5: 03 movq %r14, %rax
48
  00000000000000a8: 03 imulq %rbx
49
  00000000000000ab: 03 addq %r14, %rdx
50
  00000000000000ae: 03 movq %rdx, %rax
51
  00000000000000b1: 04 shrq $63, %rax
52
  00000000000000b5: 04 shrq $5, %rdx
53
  00000000000000b9: 02 addl %eax, %edx
54
  00000000000000bb: 03 imull $60, %edx, %eax
55
  00000000000000be: 03 subl %eax, %r14d
56
  00000000000000c1: 10 movabsq $2361183241434822607, %rbp
57
  00000000000000cb: 03 movq %r15, %rax
58
  00000000000000ce: 03 imulq %rbp
59
  00000000000000d1: 03 movq %rdx, %rbx
60
  00000000000000d4: 03 movq %rdx, %rax
61
  00000000000000d7: 04 shrq $63, %rax
62
  00000000000000db: 04 sarq $7, %rbx
63
  00000000000000df: 03 addq %rax, %rbx
64
  00000000000000e2: 03 movq %rbx, %rax
65
  00000000000000e5: 03 imulq %rbp
66
  00000000000000e8: 03 movq %rdx, %rax
67
  00000000000000eb: 04 shrq $63, %rax
68
  00000000000000ef: 04 shrq $7, %rdx
69
  00000000000000f3: 02 addl %eax, %edx
70
  00000000000000f5: 06 imull $1000, %edx, %eax
71
  00000000000000fb: 06 imull $1000, %ebx, %edx
72
  0000000000000101: 02 subl %eax, %ebx
73
  0000000000000103: 03 movl %r15d, %eax
74
  0000000000000106: 02 subl %edx, %eax
75
  0000000000000108: 02 testl %ecx, %ecx
76
- 000000000000010a: 02 js 0x4146ee <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x17e>
77
- 000000000000010c: 04 cmpl $2, %r10d
78
- 0000000000000110: 02 jb 0x41469f <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x12f>
79
  0000000000000112: 04 shrq $63, %r15
80
  0000000000000116: 03 addb %r15b, %r15b
81
  0000000000000119: 04 addb $43, %r15b
82
  000000000000011d: 03 movb %r15b, (%rsi)
83
  0000000000000120: 03 incq %rsi
84
- 0000000000000123: 03 decl %r10d
85
  0000000000000126: 03 cmpl $0, (%rdi)
86
- 0000000000000129: 06 js 0x414749 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1d9>
87
  000000000000012f: 05 movl $1, %ebp
88
  0000000000000134: 05 cmpq $0, 8(%rdi)
89
- 0000000000000139: 06 js 0x41474e <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1de>
90
  000000000000013f: 04 cmpl $5, %r11d
91
- 0000000000000143: 06 ja 0x414765 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1f5>
92
  0000000000000149: 03 movl %r11d, %edx
93
- 000000000000014c: 07 jmpq *4538576(,%rdx,8)
94
- 0000000000000153: 07 movaps 260662(%rip), %xmm0 # 454100 <BloombergLP::bdlt::(anonymous namespace)::leapDaysThroughMonth+0xa0>
95
  000000000000015a: 04 movaps %xmm0, (%rsp)
96
  000000000000015e: 07 movw $100, 16(%rsp)
97
- 0000000000000165: 03 movl %r10d, %eax
98
  0000000000000168: 04 subq $8, %rsp
99
  000000000000016c: 05 leaq 8(%rsp), %rdx
100
  0000000000000171: 03 movq %rsi, %rdi
101
  0000000000000174: 03 movq %rax, %rsi
102
- 0000000000000177: 02 xorl %eax, %eax
103
- 0000000000000179: 05 jmp 0x41479f <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x22f>
104
- 000000000000017e: 02 xorl %ebp, %ebp
105
- 0000000000000180: 02 jmp 0x41474e <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1de>
106
- 0000000000000182: 03 movswl %bx, %eax
107
- 0000000000000185: 06 imull $5243, %eax, %ebx
108
- 000000000000018b: 02 movl %ebx, %eax
109
- 000000000000018d: 03 shrl $31, %eax
110
- 0000000000000190: 03 sarl $19, %ebx
111
- 0000000000000193: 02 jmp 0x41476b <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1fb>
112
- 0000000000000195: 03 movswl %bx, %eax
113
- 0000000000000198: 06 imull $26215, %eax, %ebx
114
- 000000000000019e: 02 movl %ebx, %eax
115
- 00000000000001a0: 03 shrl $31, %eax
116
- 00000000000001a3: 03 sarl $18, %ebx
117
- 00000000000001a6: 02 jmp 0x41476b <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1fb>
118
- 00000000000001a8: 03 leal (%rbx,%rbx,4), %edx
119
- 00000000000001ab: 01 cwtl
120
- 00000000000001ac: 06 imull $5243, %eax, %eax
121
- 00000000000001b2: 02 movl %eax, %edi
122
- 00000000000001b4: 03 shrl $31, %edi
123
- 00000000000001b7: 03 sarl $19, %eax
124
- 00000000000001ba: 02 addl %edi, %eax
125
- 00000000000001bc: 03 leal (%rax,%rdx,2), %ebx
126
- 00000000000001bf: 02 jmp 0x41476d <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1fd>
127
- 00000000000001c1: 03 imull $100, %ebx, %edx
128
- 00000000000001c4: 01 cwtl
129
- 00000000000001c5: 06 imull $26215, %eax, %ebx
130
- 00000000000001cb: 02 movl %ebx, %eax
131
- 00000000000001cd: 03 shrl $31, %eax
132
- 00000000000001d0: 03 sarl $18, %ebx
133
- 00000000000001d3: 02 addl %eax, %ebx
134
- 00000000000001d5: 02 addl %edx, %ebx
135
- 00000000000001d7: 02 jmp 0x41476d <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1fd>
136
- 00000000000001d9: 05 movl $1, %ebp
137
- 00000000000001de: 03 negl %r8d
138
- 00000000000001e1: 03 negl %r9d
139
- 00000000000001e4: 03 negl %r14d
140
- 00000000000001e7: 02 negl %ebx
141
- 00000000000001e9: 02 negl %eax
142
- 00000000000001eb: 04 cmpl $5, %r11d
143
- 00000000000001ef: 06 jbe 0x4146b9 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x149>
144
- 00000000000001f5: 06 imull $1000, %ebx, %ebx
145
- 00000000000001fb: 02 addl %eax, %ebx
146
- 00000000000001fd: 10 movabsq $28244461476537394, %rax
147
- 0000000000000207: 05 movq %rax, 15(%rsp)
148
- 000000000000020c: 07 movaps 260509(%rip), %xmm0 # 454120 <BloombergLP::bdlt::(anonymous namespace)::leapDaysThroughMonth+0xc0>
149
- 0000000000000213: 04 movaps %xmm0, (%rsp)
150
- 0000000000000217: 04 orb $48, %r11b
151
- 000000000000021b: 05 movb %r11b, 20(%rsp)
152
- 0000000000000220: 03 movl %r10d, %eax
153
- 0000000000000223: 03 movq %rsp, %rdx
154
- 0000000000000226: 03 movq %rsi, %rdi
155
- 0000000000000229: 03 movq %rax, %rsi
156
- 000000000000022c: 02 xorl %eax, %eax
157
- 000000000000022e: 01 pushq %rbx
158
- 000000000000022f: 02 pushq %r14
159
- 0000000000000231: 05 callq 0x404810 <snprintf@plt>
160
- 0000000000000236: 04 addq $16, %rsp
161
- 000000000000023a: 02 addl %ebp, %eax
162
- 000000000000023c: 04 addq $24, %rsp
163
- 0000000000000240: 01 popq %rbx
164
- 0000000000000241: 02 popq %r14
165
- 0000000000000243: 02 popq %r15
166
- 0000000000000245: 01 popq %rbp
167
- 0000000000000246: 01 retq
168
- 0000000000000247: 09 nopw (%rax,%rax)
 
 
1
+ 0000000000414780 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const>:
2
  0000000000000000: 01 pushq %rbp
3
  0000000000000001: 02 pushq %r15
4
  0000000000000003: 02 pushq %r14
5
  0000000000000005: 01 pushq %rbx
6
  0000000000000006: 04 subq $24, %rsp
7
  000000000000000a: 03 movl %ecx, %r11d
8
+ 000000000000000d: 03 movl %edx, %r9d
9
  0000000000000010: 02 movl (%rdi), %ecx
10
  0000000000000012: 04 movq 8(%rdi), %r15
11
  0000000000000016: 10 movabsq $-7442832613395060283, %rdx
12
  0000000000000020: 03 movq %r15, %rax
13
  0000000000000023: 03 imulq %rdx
14
  0000000000000026: 03 movq %rdx, %r8
15
  0000000000000029: 03 addq %r15, %r8
16
  000000000000002c: 03 movq %r8, %rbx
17
  000000000000002f: 04 shrq $63, %rbx
18
  0000000000000033: 04 shrq $31, %r8
19
  0000000000000037: 10 movabsq $-8130577079664715991, %rdx
20
  0000000000000041: 03 movq %r15, %rax
21
  0000000000000044: 03 imulq %rdx
22
+ 0000000000000047: 03 movq %rdx, %r10
23
  000000000000004a: 03 addl %ebx, %r8d
24
+ 000000000000004d: 03 addq %r15, %r10
25
+ 0000000000000050: 03 movq %r10, %rax
26
  0000000000000053: 04 shrq $63, %rax
27
+ 0000000000000057: 04 sarq $25, %r10
28
+ 000000000000005b: 03 addq %rax, %r10
29
  000000000000005e: 10 movabsq $-8608480567731124087, %rbx
30
+ 0000000000000068: 03 movq %r10, %rax
31
  000000000000006b: 03 imulq %rbx
32
+ 000000000000006e: 03 addq %r10, %rdx
33
  0000000000000071: 03 movq %rdx, %rax
34
  0000000000000074: 04 shrq $63, %rax
35
  0000000000000078: 04 shrq $5, %rdx
36
  000000000000007c: 02 addl %eax, %edx
37
  000000000000007e: 03 imull $60, %edx, %ebp
38
  0000000000000081: 10 movabsq $4835703278458516699, %rdx
39
  000000000000008b: 03 movq %r15, %rax
40
  000000000000008e: 03 imulq %rdx
41
  0000000000000091: 03 movq %rdx, %r14
42
+ 0000000000000094: 03 subl %ebp, %r10d
43
  0000000000000097: 03 movq %rdx, %rax
44
  000000000000009a: 04 shrq $63, %rax
45
  000000000000009e: 04 sarq $18, %r14
46
  00000000000000a2: 03 addq %rax, %r14
47
  00000000000000a5: 03 movq %r14, %rax
48
  00000000000000a8: 03 imulq %rbx
49
  00000000000000ab: 03 addq %r14, %rdx
50
  00000000000000ae: 03 movq %rdx, %rax
51
  00000000000000b1: 04 shrq $63, %rax
52
  00000000000000b5: 04 shrq $5, %rdx
53
  00000000000000b9: 02 addl %eax, %edx
54
  00000000000000bb: 03 imull $60, %edx, %eax
55
  00000000000000be: 03 subl %eax, %r14d
56
  00000000000000c1: 10 movabsq $2361183241434822607, %rbp
57
  00000000000000cb: 03 movq %r15, %rax
58
  00000000000000ce: 03 imulq %rbp
59
  00000000000000d1: 03 movq %rdx, %rbx
60
  00000000000000d4: 03 movq %rdx, %rax
61
  00000000000000d7: 04 shrq $63, %rax
62
  00000000000000db: 04 sarq $7, %rbx
63
  00000000000000df: 03 addq %rax, %rbx
64
  00000000000000e2: 03 movq %rbx, %rax
65
  00000000000000e5: 03 imulq %rbp
66
  00000000000000e8: 03 movq %rdx, %rax
67
  00000000000000eb: 04 shrq $63, %rax
68
  00000000000000ef: 04 shrq $7, %rdx
69
  00000000000000f3: 02 addl %eax, %edx
70
  00000000000000f5: 06 imull $1000, %edx, %eax
71
  00000000000000fb: 06 imull $1000, %ebx, %edx
72
  0000000000000101: 02 subl %eax, %ebx
73
  0000000000000103: 03 movl %r15d, %eax
74
  0000000000000106: 02 subl %edx, %eax
75
  0000000000000108: 02 testl %ecx, %ecx
76
+ 000000000000010a: 02 js 0x414901 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x181>
77
+ 000000000000010c: 04 cmpl $2, %r9d
78
+ 0000000000000110: 02 jl 0x4148af <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x12f>
79
  0000000000000112: 04 shrq $63, %r15
80
  0000000000000116: 03 addb %r15b, %r15b
81
  0000000000000119: 04 addb $43, %r15b
82
  000000000000011d: 03 movb %r15b, (%rsi)
83
  0000000000000120: 03 incq %rsi
84
+ 0000000000000123: 03 decl %r9d
85
  0000000000000126: 03 cmpl $0, (%rdi)
86
+ 0000000000000129: 06 js 0x41495c <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1dc>
87
  000000000000012f: 05 movl $1, %ebp
88
  0000000000000134: 05 cmpq $0, 8(%rdi)
89
+ 0000000000000139: 06 js 0x414961 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1e1>
90
  000000000000013f: 04 cmpl $5, %r11d
91
+ 0000000000000143: 06 ja 0x414978 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1f8>
92
  0000000000000149: 03 movl %r11d, %edx
93
+ 000000000000014c: 07 jmpq *4539136(,%rdx,8)
94
+ 0000000000000153: 07 movaps 260694(%rip), %xmm0 # 454330 <BloombergLP::bdlt::(anonymous namespace)::leapDaysThroughMonth+0xa0>
95
  000000000000015a: 04 movaps %xmm0, (%rsp)
96
  000000000000015e: 07 movw $100, 16(%rsp)
97
+ 0000000000000165: 03 movslq %r9d, %rax
98
  0000000000000168: 04 subq $8, %rsp
99
  000000000000016c: 05 leaq 8(%rsp), %rdx
100
  0000000000000171: 03 movq %rsi, %rdi
101
  0000000000000174: 03 movq %rax, %rsi
102
+ 0000000000000177: 03 movl %r10d, %r9d
103
+ 000000000000017a: 02 xorl %eax, %eax
104
+ 000000000000017c: 05 jmp 0x4149b5 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x235>
105
+ 0000000000000181: 02 xorl %ebp, %ebp
106
+ 0000000000000183: 02 jmp 0x414961 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1e1>
107
+ 0000000000000185: 03 movswl %bx, %eax
108
+ 0000000000000188: 06 imull $5243, %eax, %ebx
109
+ 000000000000018e: 02 movl %ebx, %eax
110
+ 0000000000000190: 03 shrl $31, %eax
111
+ 0000000000000193: 03 sarl $19, %ebx
112
+ 0000000000000196: 02 jmp 0x41497e <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1fe>
113
+ 0000000000000198: 03 movswl %bx, %eax
114
+ 000000000000019b: 06 imull $26215, %eax, %ebx
115
+ 00000000000001a1: 02 movl %ebx, %eax
116
+ 00000000000001a3: 03 shrl $31, %eax
117
+ 00000000000001a6: 03 sarl $18, %ebx
118
+ 00000000000001a9: 02 jmp 0x41497e <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x1fe>
119
+ 00000000000001ab: 03 leal (%rbx,%rbx,4), %edx
120
+ 00000000000001ae: 01 cwtl
121
+ 00000000000001af: 06 imull $5243, %eax, %eax
122
+ 00000000000001b5: 02 movl %eax, %edi
123
+ 00000000000001b7: 03 shrl $31, %edi
124
+ 00000000000001ba: 03 sarl $19, %eax
125
+ 00000000000001bd: 02 addl %edi, %eax
126
+ 00000000000001bf: 03 leal (%rax,%rdx,2), %ebx
127
+ 00000000000001c2: 02 jmp 0x414980 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x200>
128
+ 00000000000001c4: 03 imull $100, %ebx, %edx
129
+ 00000000000001c7: 01 cwtl
130
+ 00000000000001c8: 06 imull $26215, %eax, %ebx
131
+ 00000000000001ce: 02 movl %ebx, %eax
132
+ 00000000000001d0: 03 shrl $31, %eax
133
+ 00000000000001d3: 03 sarl $18, %ebx
134
+ 00000000000001d6: 02 addl %eax, %ebx
135
+ 00000000000001d8: 02 addl %edx, %ebx
136
+ 00000000000001da: 02 jmp 0x414980 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x200>
137
+ 00000000000001dc: 05 movl $1, %ebp
138
+ 00000000000001e1: 03 negl %r8d
139
+ 00000000000001e4: 03 negl %r10d
140
+ 00000000000001e7: 03 negl %r14d
141
+ 00000000000001ea: 02 negl %ebx
142
+ 00000000000001ec: 02 negl %eax
143
+ 00000000000001ee: 04 cmpl $5, %r11d
144
+ 00000000000001f2: 06 jbe 0x4148c9 <BloombergLP::bdlt::DatetimeInterval::printToBuffer(char*, int, int) const+0x149>
145
+ 00000000000001f8: 06 imull $1000, %ebx, %ebx
146
+ 00000000000001fe: 02 addl %eax, %ebx
147
+ 0000000000000200: 10 movabsq $28244461476537394, %rax
148
+ 000000000000020a: 05 movq %rax, 15(%rsp)
149
+ 000000000000020f: 07 movaps 260538(%rip), %xmm0 # 454350 <BloombergLP::bdlt::(anonymous namespace)::leapDaysThroughMonth+0xc0>
150
+ 0000000000000216: 04 movaps %xmm0, (%rsp)
151
+ 000000000000021a: 04 addb $48, %r11b
152
+ 000000000000021e: 05 movb %r11b, 20(%rsp)
153
+ 0000000000000223: 03 movslq %r9d, %rax
154
+ 0000000000000226: 03 movq %rsp, %rdx
155
+ 0000000000000229: 03 movq %rsi, %rdi
156
+ 000000000000022c: 03 movq %rax, %rsi
157
+ 000000000000022f: 03 movl %r10d, %r9d
158
+ 0000000000000232: 02 xorl %eax, %eax
159
+ 0000000000000234: 01 pushq %rbx
160
+ 0000000000000235: 02 pushq %r14
161
+ 0000000000000237: 05 callq 0x404810 <snprintf@plt>
162
+ 000000000000023c: 04 addq $16, %rsp
163
+ 0000000000000240: 02 addl %ebp, %eax
164
+ 0000000000000242: 04 addq $24, %rsp
165
+ 0000000000000246: 01 popq %rbx
166
+ 0000000000000247: 02 popq %r14
167
+ 0000000000000249: 02 popq %r15
168
+ 000000000000024b: 01 popq %rbp
169
+ 000000000000024c: 01 retq
170
+ 000000000000024d: 03 nopl (%rax)