Comparing BloombergLP::bdlc::PackedIntArrayImp::append(unsigned long) in assumed vs ignored

Files changed (1) hide show
  1. bblb_schedulegenerationutil.t/{4.assume.s → 4.none.s} +82 -89
bblb_schedulegenerationutil.t/{4.assume.s → 4.none.s} RENAMED
@@ -1,144 +1,137 @@
1
- 000000000041ef00 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)>:
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 %rsi, %r14
10
  000000000000000e: 03 movq %rdi, %r15
11
  0000000000000011: 02 xorl %eax, %eax
12
  0000000000000013: 03 movq %rsi, %rcx
13
  0000000000000016: 04 shrq $32, %rcx
14
  000000000000001a: 03 setne %al
15
  000000000000001d: 02 xorl %ecx, %ecx
16
  000000000000001f: 07 cmpq $255, %rsi
17
  0000000000000026: 03 seta %cl
18
  0000000000000029: 02 incl %ecx
19
  000000000000002b: 07 cmpq $65535, %rsi
20
  0000000000000032: 07 leal 4(,%rax,4), %ebp
21
  0000000000000039: 03 cmovbel %ecx, %ebp
22
  000000000000003c: 04 movq 8(%rdi), %r10
23
  0000000000000040: 04 leaq 1(%r10), %r13
24
  0000000000000044: 04 movslq 16(%rdi), %rax
25
  0000000000000048: 02 cmpl %ebp, %eax
26
- 000000000000004a: 06 jge 0x41efde <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0xde>
27
  0000000000000050: 02 movl %ebp, %ecx
28
  0000000000000052: 04 imulq %r13, %rcx
29
  0000000000000056: 04 movq 24(%r15), %rbx
30
  000000000000005a: 03 cmpq %rbx, %rcx
31
- 000000000000005d: 06 jbe 0x41f061 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x161>
32
  0000000000000063: 07 cmpq $1431655760, %rcx
33
- 000000000000006a: 06 ja 0x41f0c8 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x1c8>
34
  0000000000000070: 04 leaq 3(%rbx), %rax
35
  0000000000000074: 03 shrq %rax
36
  0000000000000077: 03 addq %rax, %rbx
37
  000000000000007a: 03 cmpq %rcx, %rbx
38
- 000000000000007d: 02 jb 0x41ef70 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x70>
39
  000000000000007f: 03 movq (%r15), %r12
40
  0000000000000082: 04 movq 32(%r15), %rdi
41
  0000000000000086: 03 movq (%rdi), %rax
42
  0000000000000089: 03 movq %rbx, %rsi
43
  000000000000008c: 03 callq *16(%rax)
44
  000000000000008f: 03 movq %rax, (%r15)
45
  0000000000000092: 04 movq %rbx, 24(%r15)
46
  0000000000000096: 04 movl 16(%r15), %ebx
47
  000000000000009a: 04 movl %ebp, 16(%r15)
48
  000000000000009e: 03 movq %r15, %rdi
49
  00000000000000a1: 03 movq %rax, %rsi
50
  00000000000000a4: 02 xorl %edx, %edx
51
  00000000000000a6: 02 movl %ebp, %ecx
52
  00000000000000a8: 03 movq %r12, %r8
53
  00000000000000ab: 03 xorl %r9d, %r9d
54
  00000000000000ae: 04 pushq 8(%r15)
55
  00000000000000b2: 01 pushq %rbx
56
- 00000000000000b3: 05 callq 0x41d190 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
57
  00000000000000b8: 04 addq $16, %rsp
58
  00000000000000bc: 04 movq 32(%r15), %rdi
59
  00000000000000c0: 03 movq (%rdi), %rax
60
  00000000000000c3: 03 movq %r12, %rsi
61
  00000000000000c6: 03 callq *24(%rax)
62
- 00000000000000c9: 04 movq 8(%r15), %rax
63
- 00000000000000cd: 04 movq %r13, 8(%r15)
64
- 00000000000000d1: 04 movl 16(%r15), %ecx
65
- 00000000000000d5: 02 decl %ecx
66
- 00000000000000d7: 07 jmpq *4587488(,%rcx,8)
67
- 00000000000000de: 04 imulq %r13, %rax
68
- 00000000000000e2: 04 movq 24(%r15), %rcx
69
- 00000000000000e6: 03 cmpq %rcx, %rax
70
- 00000000000000e9: 06 jbe 0x41f081 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x181>
71
- 00000000000000ef: 06 cmpq $1431655760, %rax
72
- 00000000000000f5: 06 ja 0x41f0d0 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x1d0>
73
- 00000000000000fb: 03 movq %rcx, %rbx
74
- 00000000000000fe: 02 nop
75
- 0000000000000100: 04 leaq 3(%rbx), %rdx
76
- 0000000000000104: 03 shrq %rdx
77
- 0000000000000107: 03 addq %rdx, %rbx
78
- 000000000000010a: 03 cmpq %rax, %rbx
79
- 000000000000010d: 02 jb 0x41f000 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x100>
80
- 000000000000010f: 03 cmpq %rcx, %rbx
81
- 0000000000000112: 02 jbe 0x41f081 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x181>
82
- 0000000000000114: 03 movq (%r15), %rbp
83
- 0000000000000117: 04 movq 32(%r15), %rdi
84
- 000000000000011b: 03 movq (%rdi), %rax
85
- 000000000000011e: 03 movq %rbx, %rsi
86
- 0000000000000121: 03 callq *16(%rax)
87
- 0000000000000124: 03 movq %rax, (%r15)
88
- 0000000000000127: 04 movq %rbx, 24(%r15)
89
- 000000000000012b: 04 movslq 16(%r15), %rdx
90
- 000000000000012f: 05 imulq 8(%r15), %rdx
91
- 0000000000000134: 03 movq %rax, %rdi
92
- 0000000000000137: 03 movq %rbp, %rsi
93
- 000000000000013a: 05 callq 0x403b60 <memcpy@plt>
94
- 000000000000013f: 04 movq 32(%r15), %rdi
95
- 0000000000000143: 03 movq (%rdi), %rax
96
- 0000000000000146: 03 movq %rbp, %rsi
97
- 0000000000000149: 03 callq *24(%rax)
98
- 000000000000014c: 04 movq 8(%r15), %rax
99
- 0000000000000150: 04 movq %r13, 8(%r15)
100
- 0000000000000154: 04 movl 16(%r15), %ecx
101
- 0000000000000158: 02 decl %ecx
102
- 000000000000015a: 07 jmpq *4587488(,%rcx,8)
103
- 0000000000000161: 04 movl %ebp, 16(%r15)
104
- 0000000000000165: 03 movq (%r15), %rsi
105
- 0000000000000168: 03 movq %r15, %rdi
106
- 000000000000016b: 02 xorl %edx, %edx
107
- 000000000000016d: 02 movl %ebp, %ecx
108
- 000000000000016f: 03 movq %rsi, %r8
109
- 0000000000000172: 03 xorl %r9d, %r9d
110
- 0000000000000175: 02 pushq %r10
111
- 0000000000000177: 01 pushq %rax
112
- 0000000000000178: 05 callq 0x41d190 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
113
- 000000000000017d: 04 addq $16, %rsp
114
- 0000000000000181: 04 movq 8(%r15), %rax
115
- 0000000000000185: 04 movq %r13, 8(%r15)
116
- 0000000000000189: 04 movl 16(%r15), %ecx
117
- 000000000000018d: 02 decl %ecx
118
- 000000000000018f: 07 jmpq *4587488(,%rcx,8)
119
- 0000000000000196: 03 movq (%r15), %rcx
120
- 0000000000000199: 04 movb %r14b, (%rcx,%rax)
121
- 000000000000019d: 02 jmp 0x41f0b9 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x1b9>
122
- 000000000000019f: 03 movq (%r15), %rcx
123
- 00000000000001a2: 04 movq %r14, (%rcx,%rax,8)
124
- 00000000000001a6: 02 jmp 0x41f0b9 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x1b9>
125
- 00000000000001a8: 03 movq (%r15), %rcx
126
- 00000000000001ab: 05 movw %r14w, (%rcx,%rax,2)
127
- 00000000000001b0: 02 jmp 0x41f0b9 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x1b9>
128
- 00000000000001b2: 03 movq (%r15), %rcx
129
- 00000000000001b5: 04 movl %r14d, (%rcx,%rax,4)
130
- 00000000000001b9: 04 addq $8, %rsp
131
- 00000000000001bd: 01 popq %rbx
132
- 00000000000001be: 02 popq %r12
133
- 00000000000001c0: 02 popq %r13
134
- 00000000000001c2: 02 popq %r14
135
- 00000000000001c4: 02 popq %r15
136
- 00000000000001c6: 01 popq %rbp
137
- 00000000000001c7: 01 retq
138
- 00000000000001c8: 03 movq %rcx, %rbx
139
- 00000000000001cb: 05 jmp 0x41ef7f <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x7f>
140
- 00000000000001d0: 03 movq %rax, %rbx
141
- 00000000000001d3: 03 cmpq %rcx, %rbx
142
- 00000000000001d6: 06 ja 0x41f014 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x114>
143
- 00000000000001dc: 02 jmp 0x41f081 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x181>
144
- 00000000000001de: 02 nop
1
+ 000000000041f280 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)>:
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 %rsi, %r14
10
  000000000000000e: 03 movq %rdi, %r15
11
  0000000000000011: 02 xorl %eax, %eax
12
  0000000000000013: 03 movq %rsi, %rcx
13
  0000000000000016: 04 shrq $32, %rcx
14
  000000000000001a: 03 setne %al
15
  000000000000001d: 02 xorl %ecx, %ecx
16
  000000000000001f: 07 cmpq $255, %rsi
17
  0000000000000026: 03 seta %cl
18
  0000000000000029: 02 incl %ecx
19
  000000000000002b: 07 cmpq $65535, %rsi
20
  0000000000000032: 07 leal 4(,%rax,4), %ebp
21
  0000000000000039: 03 cmovbel %ecx, %ebp
22
  000000000000003c: 04 movq 8(%rdi), %r10
23
  0000000000000040: 04 leaq 1(%r10), %r13
24
  0000000000000044: 04 movslq 16(%rdi), %rax
25
  0000000000000048: 02 cmpl %ebp, %eax
26
+ 000000000000004a: 06 jge 0x41f34e <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0xce>
27
  0000000000000050: 02 movl %ebp, %ecx
28
  0000000000000052: 04 imulq %r13, %rcx
29
  0000000000000056: 04 movq 24(%r15), %rbx
30
  000000000000005a: 03 cmpq %rbx, %rcx
31
+ 000000000000005d: 06 jbe 0x41f3be <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x13e>
32
  0000000000000063: 07 cmpq $1431655760, %rcx
33
+ 000000000000006a: 06 ja 0x41f42a <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x1aa>
34
  0000000000000070: 04 leaq 3(%rbx), %rax
35
  0000000000000074: 03 shrq %rax
36
  0000000000000077: 03 addq %rax, %rbx
37
  000000000000007a: 03 cmpq %rcx, %rbx
38
+ 000000000000007d: 02 jb 0x41f2f0 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x70>
39
  000000000000007f: 03 movq (%r15), %r12
40
  0000000000000082: 04 movq 32(%r15), %rdi
41
  0000000000000086: 03 movq (%rdi), %rax
42
  0000000000000089: 03 movq %rbx, %rsi
43
  000000000000008c: 03 callq *16(%rax)
44
  000000000000008f: 03 movq %rax, (%r15)
45
  0000000000000092: 04 movq %rbx, 24(%r15)
46
  0000000000000096: 04 movl 16(%r15), %ebx
47
  000000000000009a: 04 movl %ebp, 16(%r15)
48
  000000000000009e: 03 movq %r15, %rdi
49
  00000000000000a1: 03 movq %rax, %rsi
50
  00000000000000a4: 02 xorl %edx, %edx
51
  00000000000000a6: 02 movl %ebp, %ecx
52
  00000000000000a8: 03 movq %r12, %r8
53
  00000000000000ab: 03 xorl %r9d, %r9d
54
  00000000000000ae: 04 pushq 8(%r15)
55
  00000000000000b2: 01 pushq %rbx
56
+ 00000000000000b3: 05 callq 0x41d590 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
57
  00000000000000b8: 04 addq $16, %rsp
58
  00000000000000bc: 04 movq 32(%r15), %rdi
59
  00000000000000c0: 03 movq (%rdi), %rax
60
  00000000000000c3: 03 movq %r12, %rsi
61
  00000000000000c6: 03 callq *24(%rax)
62
+ 00000000000000c9: 05 jmp 0x41f3de <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x15e>
63
+ 00000000000000ce: 04 imulq %r13, %rax
64
+ 00000000000000d2: 04 movq 24(%r15), %rcx
65
+ 00000000000000d6: 03 cmpq %rcx, %rax
66
+ 00000000000000d9: 06 jbe 0x41f3de <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x15e>
67
+ 00000000000000df: 06 cmpq $1431655760, %rax
68
+ 00000000000000e5: 06 ja 0x41f432 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x1b2>
69
+ 00000000000000eb: 03 movq %rcx, %rbx
70
+ 00000000000000ee: 02 nop
71
+ 00000000000000f0: 04 leaq 3(%rbx), %rdx
72
+ 00000000000000f4: 03 shrq %rdx
73
+ 00000000000000f7: 03 addq %rdx, %rbx
74
+ 00000000000000fa: 03 cmpq %rax, %rbx
75
+ 00000000000000fd: 02 jb 0x41f370 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0xf0>
76
+ 00000000000000ff: 03 cmpq %rcx, %rbx
77
+ 0000000000000102: 02 jbe 0x41f3de <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x15e>
78
+ 0000000000000104: 03 movq (%r15), %rbp
79
+ 0000000000000107: 04 movq 32(%r15), %rdi
80
+ 000000000000010b: 03 movq (%rdi), %rax
81
+ 000000000000010e: 03 movq %rbx, %rsi
82
+ 0000000000000111: 03 callq *16(%rax)
83
+ 0000000000000114: 03 movq %rax, (%r15)
84
+ 0000000000000117: 04 movq %rbx, 24(%r15)
85
+ 000000000000011b: 04 movslq 16(%r15), %rdx
86
+ 000000000000011f: 05 imulq 8(%r15), %rdx
87
+ 0000000000000124: 03 movq %rax, %rdi
88
+ 0000000000000127: 03 movq %rbp, %rsi
89
+ 000000000000012a: 05 callq 0x403b60 <memcpy@plt>
90
+ 000000000000012f: 04 movq 32(%r15), %rdi
91
+ 0000000000000133: 03 movq (%rdi), %rax
92
+ 0000000000000136: 03 movq %rbp, %rsi
93
+ 0000000000000139: 03 callq *24(%rax)
94
+ 000000000000013c: 02 jmp 0x41f3de <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x15e>
95
+ 000000000000013e: 04 movl %ebp, 16(%r15)
96
+ 0000000000000142: 03 movq (%r15), %rsi
97
+ 0000000000000145: 03 movq %r15, %rdi
98
+ 0000000000000148: 02 xorl %edx, %edx
99
+ 000000000000014a: 02 movl %ebp, %ecx
100
+ 000000000000014c: 03 movq %rsi, %r8
101
+ 000000000000014f: 03 xorl %r9d, %r9d
102
+ 0000000000000152: 02 pushq %r10
103
+ 0000000000000154: 01 pushq %rax
104
+ 0000000000000155: 05 callq 0x41d590 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
105
+ 000000000000015a: 04 addq $16, %rsp
106
+ 000000000000015e: 04 movq 8(%r15), %rax
107
+ 0000000000000162: 04 movq %r13, 8(%r15)
108
+ 0000000000000166: 04 movl 16(%r15), %ecx
109
+ 000000000000016a: 02 decl %ecx
110
+ 000000000000016c: 03 cmpl $7, %ecx
111
+ 000000000000016f: 02 ja 0x41f41b <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x19b>
112
+ 0000000000000171: 07 jmpq *4589040(,%rcx,8)
113
+ 0000000000000178: 03 movq (%r15), %rcx
114
+ 000000000000017b: 04 movb %r14b, (%rcx,%rax)
115
+ 000000000000017f: 02 jmp 0x41f41b <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x19b>
116
+ 0000000000000181: 03 movq (%r15), %rcx
117
+ 0000000000000184: 05 movw %r14w, (%rcx,%rax,2)
118
+ 0000000000000189: 02 jmp 0x41f41b <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x19b>
119
+ 000000000000018b: 03 movq (%r15), %rcx
120
+ 000000000000018e: 04 movl %r14d, (%rcx,%rax,4)
121
+ 0000000000000192: 02 jmp 0x41f41b <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x19b>
122
+ 0000000000000194: 03 movq (%r15), %rcx
123
+ 0000000000000197: 04 movq %r14, (%rcx,%rax,8)
124
+ 000000000000019b: 04 addq $8, %rsp
125
+ 000000000000019f: 01 popq %rbx
126
+ 00000000000001a0: 02 popq %r12
127
+ 00000000000001a2: 02 popq %r13
128
+ 00000000000001a4: 02 popq %r14
129
+ 00000000000001a6: 02 popq %r15
130
+ 00000000000001a8: 01 popq %rbp
131
+ 00000000000001a9: 01 retq
132
+ 00000000000001aa: 03 movq %rcx, %rbx
133
+ 00000000000001ad: 05 jmp 0x41f2ff <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x7f>
134
+ 00000000000001b2: 03 movq %rax, %rbx
135
+ 00000000000001b5: 03 cmpq %rcx, %rbx
136
+ 00000000000001b8: 06 ja 0x41f384 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x104>
137
+ 00000000000001be: 02 jmp 0x41f3de <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::append(unsigned long)+0x15e>