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

Files changed (1) hide show
  1. bblb_schedulegenerationutil.t/{9.assume.s → 9.none.s} +75 -77
bblb_schedulegenerationutil.t/{9.assume.s → 9.none.s} RENAMED
@@ -1,103 +1,101 @@
1
- 000000000041faa0 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, 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 %rdx, %r15
10
  000000000000000e: 02 xorl %eax, %eax
11
  0000000000000010: 03 movq %rdx, %rcx
12
  0000000000000013: 04 shrq $32, %rcx
13
  0000000000000017: 03 setne %al
14
  000000000000001a: 02 xorl %ecx, %ecx
15
  000000000000001c: 07 cmpq $255, %rdx
16
  0000000000000023: 03 seta %cl
17
  0000000000000026: 02 incl %ecx
18
  0000000000000028: 07 cmpq $65535, %rdx
19
  000000000000002f: 07 leal 4(,%rax,4), %ebp
20
  0000000000000036: 03 cmovbel %ecx, %ebp
21
  0000000000000039: 03 movq %rsi, %r14
22
  000000000000003c: 03 movq %rdi, %r12
23
  000000000000003f: 03 movl 16(%rdi), %eax
24
  0000000000000042: 02 cmpl %ebp, %eax
25
- 0000000000000044: 02 jl 0x41faef <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x4f>
26
- 0000000000000046: 02 decl %eax
27
- 0000000000000048: 07 jmpq *4587616(,%rax,8)
28
- 000000000000004f: 05 movq 8(%r12), %r10
29
- 0000000000000054: 02 movl %ebp, %ecx
30
  0000000000000056: 04 imulq %r10, %rcx
31
- 000000000000005a: 05 movq 24(%r12), %rbx
32
- 000000000000005f: 03 cmpq %rbx, %rcx
33
- 0000000000000062: 02 jbe 0x41fb83 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0xe3>
34
- 0000000000000064: 07 cmpq $1431655760, %rcx
35
- 000000000000006b: 06 ja 0x41fbe9 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x149>
36
- 0000000000000071: 10 nopw %cs:(%rax,%rax)
37
- 000000000000007b: 05 nopl (%rax,%rax)
38
- 0000000000000080: 04 leaq 3(%rbx), %rax
39
- 0000000000000084: 03 shrq %rax
40
- 0000000000000087: 03 addq %rax, %rbx
41
- 000000000000008a: 03 cmpq %rcx, %rbx
42
- 000000000000008d: 02 jb 0x41fb20 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x80>
43
- 000000000000008f: 04 movq (%r12), %r13
44
- 0000000000000093: 05 movq 32(%r12), %rdi
45
- 0000000000000098: 03 movq (%rdi), %rax
46
- 000000000000009b: 03 movq %rbx, %rsi
47
- 000000000000009e: 03 callq *16(%rax)
48
- 00000000000000a1: 04 movq %rax, (%r12)
49
- 00000000000000a5: 05 movq %rbx, 24(%r12)
50
- 00000000000000aa: 05 movl 16(%r12), %ebx
51
- 00000000000000af: 05 movl %ebp, 16(%r12)
52
- 00000000000000b4: 03 movq %r12, %rdi
53
- 00000000000000b7: 03 movq %rax, %rsi
54
- 00000000000000ba: 02 xorl %edx, %edx
55
- 00000000000000bc: 02 movl %ebp, %ecx
56
- 00000000000000be: 03 movq %r13, %r8
57
- 00000000000000c1: 03 xorl %r9d, %r9d
58
- 00000000000000c4: 05 pushq 8(%r12)
59
- 00000000000000c9: 01 pushq %rbx
60
- 00000000000000ca: 05 callq 0x41d190 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
61
- 00000000000000cf: 04 addq $16, %rsp
62
- 00000000000000d3: 05 movq 32(%r12), %rdi
63
- 00000000000000d8: 03 movq (%rdi), %rax
64
- 00000000000000db: 03 movq %r13, %rsi
65
- 00000000000000de: 03 callq *24(%rax)
66
- 00000000000000e1: 02 jmp 0x41fba5 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x105>
67
- 00000000000000e3: 05 movl %ebp, 16(%r12)
68
- 00000000000000e8: 04 movq (%r12), %rsi
69
- 00000000000000ec: 03 movq %r12, %rdi
70
- 00000000000000ef: 02 xorl %edx, %edx
71
- 00000000000000f1: 02 movl %ebp, %ecx
72
- 00000000000000f3: 03 movq %rsi, %r8
73
- 00000000000000f6: 03 xorl %r9d, %r9d
74
- 00000000000000f9: 02 pushq %r10
75
- 00000000000000fb: 01 pushq %rax
76
- 00000000000000fc: 05 callq 0x41d190 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
77
- 0000000000000101: 04 addq $16, %rsp
78
- 0000000000000105: 05 movl 16(%r12), %eax
79
- 000000000000010a: 02 decl %eax
80
- 000000000000010c: 07 jmpq *4587616(,%rax,8)
81
- 0000000000000113: 04 movq (%r12), %rax
82
- 0000000000000117: 04 movb %r15b, (%rax,%r14)
83
- 000000000000011b: 02 jmp 0x41fbda <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x13a>
 
 
 
84
  000000000000011d: 04 movq (%r12), %rax
85
- 0000000000000121: 04 movq %r15, (%rax,%r14,8)
86
- 0000000000000125: 02 jmp 0x41fbda <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x13a>
87
  0000000000000127: 04 movq (%r12), %rax
88
- 000000000000012b: 05 movw %r15w, (%rax,%r14,2)
89
- 0000000000000130: 02 jmp 0x41fbda <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x13a>
90
- 0000000000000132: 04 movq (%r12), %rax
91
- 0000000000000136: 04 movl %r15d, (%rax,%r14,4)
92
- 000000000000013a: 04 addq $8, %rsp
93
- 000000000000013e: 01 popq %rbx
94
- 000000000000013f: 02 popq %r12
95
- 0000000000000141: 02 popq %r13
96
- 0000000000000143: 02 popq %r14
97
- 0000000000000145: 02 popq %r15
98
- 0000000000000147: 01 popq %rbp
99
- 0000000000000148: 01 retq
100
- 0000000000000149: 03 movq %rcx, %rbx
101
- 000000000000014c: 05 jmp 0x41fb2f <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x8f>
102
- 0000000000000151: 10 nopw %cs:(%rax,%rax)
103
- 000000000000015b: 05 nopl (%rax,%rax)
1
+ 0000000000420000 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, 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 %rdx, %r15
10
  000000000000000e: 02 xorl %eax, %eax
11
  0000000000000010: 03 movq %rdx, %rcx
12
  0000000000000013: 04 shrq $32, %rcx
13
  0000000000000017: 03 setne %al
14
  000000000000001a: 02 xorl %ecx, %ecx
15
  000000000000001c: 07 cmpq $255, %rdx
16
  0000000000000023: 03 seta %cl
17
  0000000000000026: 02 incl %ecx
18
  0000000000000028: 07 cmpq $65535, %rdx
19
  000000000000002f: 07 leal 4(,%rax,4), %ebp
20
  0000000000000036: 03 cmovbel %ecx, %ebp
21
  0000000000000039: 03 movq %rsi, %r14
22
  000000000000003c: 03 movq %rdi, %r12
23
  000000000000003f: 03 movl 16(%rdi), %eax
24
  0000000000000042: 02 cmpl %ebp, %eax
25
+ 0000000000000044: 06 jge 0x4200fa <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0xfa>
26
+ 000000000000004a: 02 movl %ebp, %ecx
 
27
+ 000000000000004c: 05 movq 8(%r12), %r10
28
+ 0000000000000051: 05 movq 24(%r12), %rbx
29
  0000000000000056: 04 imulq %r10, %rcx
30
+ 000000000000005a: 03 cmpq %rbx, %rcx
31
+ 000000000000005d: 02 jbe 0x4200d3 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0xd3>
32
+ 000000000000005f: 07 cmpq $1431655760, %rcx
33
+ 0000000000000066: 06 ja 0x42013e <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x13e>
34
+ 000000000000006c: 04 nopl (%rax)
35
+ 0000000000000070: 04 leaq 3(%rbx), %rax
36
+ 0000000000000074: 03 shrq %rax
37
+ 0000000000000077: 03 addq %rax, %rbx
38
+ 000000000000007a: 03 cmpq %rcx, %rbx
39
+ 000000000000007d: 02 jb 0x420070 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x70>
40
+ 000000000000007f: 04 movq (%r12), %r13
41
+ 0000000000000083: 05 movq 32(%r12), %rdi
42
+ 0000000000000088: 03 movq (%rdi), %rax
43
+ 000000000000008b: 03 movq %rbx, %rsi
44
+ 000000000000008e: 03 callq *16(%rax)
45
+ 0000000000000091: 04 movq %rax, (%r12)
46
+ 0000000000000095: 05 movq %rbx, 24(%r12)
47
+ 000000000000009a: 05 movl 16(%r12), %ebx
48
+ 000000000000009f: 05 movl %ebp, 16(%r12)
49
+ 00000000000000a4: 03 movq %r12, %rdi
50
+ 00000000000000a7: 03 movq %rax, %rsi
51
+ 00000000000000aa: 02 xorl %edx, %edx
52
+ 00000000000000ac: 02 movl %ebp, %ecx
53
+ 00000000000000ae: 03 movq %r13, %r8
54
+ 00000000000000b1: 03 xorl %r9d, %r9d
55
+ 00000000000000b4: 05 pushq 8(%r12)
56
+ 00000000000000b9: 01 pushq %rbx
57
+ 00000000000000ba: 05 callq 0x41d590 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
58
+ 00000000000000bf: 04 addq $16, %rsp
59
+ 00000000000000c3: 05 movq 32(%r12), %rdi
60
+ 00000000000000c8: 03 movq (%rdi), %rax
61
+ 00000000000000cb: 03 movq %r13, %rsi
62
+ 00000000000000ce: 03 callq *24(%rax)
63
+ 00000000000000d1: 02 jmp 0x4200f5 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0xf5>
64
+ 00000000000000d3: 05 movl %ebp, 16(%r12)
65
+ 00000000000000d8: 04 movq (%r12), %rsi
66
+ 00000000000000dc: 03 movq %r12, %rdi
67
+ 00000000000000df: 02 xorl %edx, %edx
68
+ 00000000000000e1: 02 movl %ebp, %ecx
69
+ 00000000000000e3: 03 movq %rsi, %r8
70
+ 00000000000000e6: 03 xorl %r9d, %r9d
71
+ 00000000000000e9: 02 pushq %r10
72
+ 00000000000000eb: 01 pushq %rax
73
+ 00000000000000ec: 05 callq 0x41d590 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
74
+ 00000000000000f1: 04 addq $16, %rsp
75
+ 00000000000000f5: 05 movl 16(%r12), %eax
76
+ 00000000000000fa: 02 decl %eax
77
+ 00000000000000fc: 03 cmpl $7, %eax
78
+ 00000000000000ff: 02 ja 0x42012f <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x12f>
79
+ 0000000000000101: 07 jmpq *4589168(,%rax,8)
80
+ 0000000000000108: 04 movq (%r12), %rax
81
+ 000000000000010c: 04 movb %r15b, (%rax,%r14)
82
+ 0000000000000110: 02 jmp 0x42012f <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x12f>
83
+ 0000000000000112: 04 movq (%r12), %rax
84
+ 0000000000000116: 05 movw %r15w, (%rax,%r14,2)
85
+ 000000000000011b: 02 jmp 0x42012f <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x12f>
86
  000000000000011d: 04 movq (%r12), %rax
87
+ 0000000000000121: 04 movl %r15d, (%rax,%r14,4)
88
+ 0000000000000125: 02 jmp 0x42012f <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x12f>
89
  0000000000000127: 04 movq (%r12), %rax
90
+ 000000000000012b: 04 movq %r15, (%rax,%r14,8)
 
 
 
91
+ 000000000000012f: 04 addq $8, %rsp
92
+ 0000000000000133: 01 popq %rbx
93
+ 0000000000000134: 02 popq %r12
94
+ 0000000000000136: 02 popq %r13
95
+ 0000000000000138: 02 popq %r14
96
+ 000000000000013a: 02 popq %r15
97
+ 000000000000013c: 01 popq %rbp
98
+ 000000000000013d: 01 retq
99
+ 000000000000013e: 03 movq %rcx, %rbx
100
+ 0000000000000141: 05 jmp 0x42007f <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Unsigned>::replace(unsigned long, unsigned long)+0x7f>
101
+ 0000000000000146: 10 nopw %cs:(%rax,%rax)