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

Files changed (1) hide show
  1. bblb_schedulegenerationutil.t/{7.assume.s → 7.none.s} +80 -82
bblb_schedulegenerationutil.t/{7.assume.s → 7.none.s} RENAMED
@@ -1,112 +1,110 @@
1
- 000000000041c5c0 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, 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: 03 movq %rsi, %r14
11
  0000000000000011: 03 movq %rdi, %r12
12
  0000000000000014: 04 cmpq $-128, %rdx
13
- 0000000000000018: 02 jge 0x41c5f6 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x36>
14
  000000000000001a: 05 movl $2, %ebp
15
  000000000000001f: 07 cmpq $-32769, %r15
16
- 0000000000000026: 02 jg 0x41c620 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x60>
17
  0000000000000028: 02 xorl %eax, %eax
18
  000000000000002a: 07 cmpq $-2147483648, %r15
19
  0000000000000031: 03 setl %al
20
- 0000000000000034: 02 jmp 0x41c60b <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x4b>
21
  0000000000000036: 07 cmpq $32768, %r15
22
- 000000000000003d: 02 jl 0x41c614 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x54>
23
  000000000000003f: 02 xorl %eax, %eax
24
  0000000000000041: 07 cmpq $2147483647, %r15
25
  0000000000000048: 03 setg %al
26
  000000000000004b: 07 leal 4(,%rax,4), %ebp
27
- 0000000000000052: 02 jmp 0x41c620 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x60>
28
  0000000000000054: 02 xorl %ebp, %ebp
29
  0000000000000056: 04 cmpq $127, %r15
30
  000000000000005a: 04 setg %bpl
31
  000000000000005e: 02 incl %ebp
32
  0000000000000060: 05 movl 16(%r12), %eax
33
  0000000000000065: 02 cmpl %ebp, %eax
34
- 0000000000000067: 02 jl 0x41c632 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x72>
35
- 0000000000000069: 02 decl %eax
36
- 000000000000006b: 07 jmpq *4586976(,%rax,8)
37
- 0000000000000072: 05 movq 8(%r12), %r10
38
- 0000000000000077: 02 movl %ebp, %ecx
39
  0000000000000079: 04 imulq %r10, %rcx
40
- 000000000000007d: 05 movq 24(%r12), %rbx
41
- 0000000000000082: 03 cmpq %rbx, %rcx
42
- 0000000000000085: 02 jbe 0x41c6c3 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x103>
43
- 0000000000000087: 07 cmpq $1431655760, %rcx
44
- 000000000000008e: 06 ja 0x41c729 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x169>
45
- 0000000000000094: 10 nopw %cs:(%rax,%rax)
46
- 000000000000009e: 02 nop
47
- 00000000000000a0: 04 leaq 3(%rbx), %rax
48
- 00000000000000a4: 03 shrq %rax
49
- 00000000000000a7: 03 addq %rax, %rbx
50
- 00000000000000aa: 03 cmpq %rcx, %rbx
51
- 00000000000000ad: 02 jb 0x41c660 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0xa0>
52
- 00000000000000af: 04 movq (%r12), %r13
53
- 00000000000000b3: 05 movq 32(%r12), %rdi
54
- 00000000000000b8: 03 movq (%rdi), %rax
55
- 00000000000000bb: 03 movq %rbx, %rsi
56
- 00000000000000be: 03 callq *16(%rax)
57
- 00000000000000c1: 04 movq %rax, (%r12)
58
- 00000000000000c5: 05 movq %rbx, 24(%r12)
59
- 00000000000000ca: 05 movl 16(%r12), %ebx
60
- 00000000000000cf: 05 movl %ebp, 16(%r12)
61
- 00000000000000d4: 03 movq %r12, %rdi
62
- 00000000000000d7: 03 movq %rax, %rsi
63
- 00000000000000da: 02 xorl %edx, %edx
64
- 00000000000000dc: 02 movl %ebp, %ecx
65
- 00000000000000de: 03 movq %r13, %r8
66
- 00000000000000e1: 03 xorl %r9d, %r9d
67
- 00000000000000e4: 05 pushq 8(%r12)
68
- 00000000000000e9: 01 pushq %rbx
69
- 00000000000000ea: 05 callq 0x419d30 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
70
- 00000000000000ef: 04 addq $16, %rsp
71
- 00000000000000f3: 05 movq 32(%r12), %rdi
72
- 00000000000000f8: 03 movq (%rdi), %rax
73
- 00000000000000fb: 03 movq %r13, %rsi
74
- 00000000000000fe: 03 callq *24(%rax)
75
- 0000000000000101: 02 jmp 0x41c6e5 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x125>
76
- 0000000000000103: 05 movl %ebp, 16(%r12)
77
- 0000000000000108: 04 movq (%r12), %rsi
78
- 000000000000010c: 03 movq %r12, %rdi
79
- 000000000000010f: 02 xorl %edx, %edx
80
- 0000000000000111: 02 movl %ebp, %ecx
81
- 0000000000000113: 03 movq %rsi, %r8
82
- 0000000000000116: 03 xorl %r9d, %r9d
83
- 0000000000000119: 02 pushq %r10
84
- 000000000000011b: 01 pushq %rax
85
- 000000000000011c: 05 callq 0x419d30 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
86
- 0000000000000121: 04 addq $16, %rsp
87
- 0000000000000125: 05 movl 16(%r12), %eax
88
- 000000000000012a: 02 decl %eax
89
- 000000000000012c: 07 jmpq *4586976(,%rax,8)
90
- 0000000000000133: 04 movq (%r12), %rax
91
- 0000000000000137: 04 movb %r15b, (%rax,%r14)
92
- 000000000000013b: 02 jmp 0x41c71a <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x15a>
 
 
 
93
  000000000000013d: 04 movq (%r12), %rax
94
- 0000000000000141: 04 movq %r15, (%rax,%r14,8)
95
- 0000000000000145: 02 jmp 0x41c71a <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x15a>
96
  0000000000000147: 04 movq (%r12), %rax
97
- 000000000000014b: 05 movw %r15w, (%rax,%r14,2)
98
- 0000000000000150: 02 jmp 0x41c71a <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x15a>
99
- 0000000000000152: 04 movq (%r12), %rax
100
- 0000000000000156: 04 movl %r15d, (%rax,%r14,4)
101
- 000000000000015a: 04 addq $8, %rsp
102
- 000000000000015e: 01 popq %rbx
103
- 000000000000015f: 02 popq %r12
104
- 0000000000000161: 02 popq %r13
105
- 0000000000000163: 02 popq %r14
106
- 0000000000000165: 02 popq %r15
107
- 0000000000000167: 01 popq %rbp
108
- 0000000000000168: 01 retq
109
- 0000000000000169: 03 movq %rcx, %rbx
110
- 000000000000016c: 05 jmp 0x41c66f <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0xaf>
111
- 0000000000000171: 10 nopw %cs:(%rax,%rax)
112
- 000000000000017b: 05 nopl (%rax,%rax)
1
+ 000000000041c990 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, 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: 03 movq %rsi, %r14
11
  0000000000000011: 03 movq %rdi, %r12
12
  0000000000000014: 04 cmpq $-128, %rdx
13
+ 0000000000000018: 02 jge 0x41c9c6 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x36>
14
  000000000000001a: 05 movl $2, %ebp
15
  000000000000001f: 07 cmpq $-32769, %r15
16
+ 0000000000000026: 02 jg 0x41c9f0 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x60>
17
  0000000000000028: 02 xorl %eax, %eax
18
  000000000000002a: 07 cmpq $-2147483648, %r15
19
  0000000000000031: 03 setl %al
20
+ 0000000000000034: 02 jmp 0x41c9db <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x4b>
21
  0000000000000036: 07 cmpq $32768, %r15
22
+ 000000000000003d: 02 jl 0x41c9e4 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x54>
23
  000000000000003f: 02 xorl %eax, %eax
24
  0000000000000041: 07 cmpq $2147483647, %r15
25
  0000000000000048: 03 setg %al
26
  000000000000004b: 07 leal 4(,%rax,4), %ebp
27
+ 0000000000000052: 02 jmp 0x41c9f0 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x60>
28
  0000000000000054: 02 xorl %ebp, %ebp
29
  0000000000000056: 04 cmpq $127, %r15
30
  000000000000005a: 04 setg %bpl
31
  000000000000005e: 02 incl %ebp
32
  0000000000000060: 05 movl 16(%r12), %eax
33
  0000000000000065: 02 cmpl %ebp, %eax
34
+ 0000000000000067: 06 jge 0x41caaa <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x11a>
35
+ 000000000000006d: 02 movl %ebp, %ecx
 
36
+ 000000000000006f: 05 movq 8(%r12), %r10
37
+ 0000000000000074: 05 movq 24(%r12), %rbx
38
  0000000000000079: 04 imulq %r10, %rcx
39
+ 000000000000007d: 03 cmpq %rbx, %rcx
40
+ 0000000000000080: 02 jbe 0x41ca83 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0xf3>
41
+ 0000000000000082: 07 cmpq $1431655760, %rcx
42
+ 0000000000000089: 06 ja 0x41caee <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x15e>
43
+ 000000000000008f: 01 nop
44
+ 0000000000000090: 04 leaq 3(%rbx), %rax
45
+ 0000000000000094: 03 shrq %rax
46
+ 0000000000000097: 03 addq %rax, %rbx
47
+ 000000000000009a: 03 cmpq %rcx, %rbx
48
+ 000000000000009d: 02 jb 0x41ca20 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x90>
49
+ 000000000000009f: 04 movq (%r12), %r13
50
+ 00000000000000a3: 05 movq 32(%r12), %rdi
51
+ 00000000000000a8: 03 movq (%rdi), %rax
52
+ 00000000000000ab: 03 movq %rbx, %rsi
53
+ 00000000000000ae: 03 callq *16(%rax)
54
+ 00000000000000b1: 04 movq %rax, (%r12)
55
+ 00000000000000b5: 05 movq %rbx, 24(%r12)
56
+ 00000000000000ba: 05 movl 16(%r12), %ebx
57
+ 00000000000000bf: 05 movl %ebp, 16(%r12)
58
+ 00000000000000c4: 03 movq %r12, %rdi
59
+ 00000000000000c7: 03 movq %rax, %rsi
60
+ 00000000000000ca: 02 xorl %edx, %edx
61
+ 00000000000000cc: 02 movl %ebp, %ecx
62
+ 00000000000000ce: 03 movq %r13, %r8
63
+ 00000000000000d1: 03 xorl %r9d, %r9d
64
+ 00000000000000d4: 05 pushq 8(%r12)
65
+ 00000000000000d9: 01 pushq %rbx
66
+ 00000000000000da: 05 callq 0x41a170 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
67
+ 00000000000000df: 04 addq $16, %rsp
68
+ 00000000000000e3: 05 movq 32(%r12), %rdi
69
+ 00000000000000e8: 03 movq (%rdi), %rax
70
+ 00000000000000eb: 03 movq %r13, %rsi
71
+ 00000000000000ee: 03 callq *24(%rax)
72
+ 00000000000000f1: 02 jmp 0x41caa5 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x115>
73
+ 00000000000000f3: 05 movl %ebp, 16(%r12)
74
+ 00000000000000f8: 04 movq (%r12), %rsi
75
+ 00000000000000fc: 03 movq %r12, %rdi
76
+ 00000000000000ff: 02 xorl %edx, %edx
77
+ 0000000000000101: 02 movl %ebp, %ecx
78
+ 0000000000000103: 03 movq %rsi, %r8
79
+ 0000000000000106: 03 xorl %r9d, %r9d
80
+ 0000000000000109: 02 pushq %r10
81
+ 000000000000010b: 01 pushq %rax
82
+ 000000000000010c: 05 callq 0x41a170 <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replaceImp(void*, unsigned long, int, void*, unsigned long, int, unsigned long)>
83
+ 0000000000000111: 04 addq $16, %rsp
84
+ 0000000000000115: 05 movl 16(%r12), %eax
85
+ 000000000000011a: 02 decl %eax
86
+ 000000000000011c: 03 cmpl $7, %eax
87
+ 000000000000011f: 02 ja 0x41cadf <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x14f>
88
+ 0000000000000121: 07 jmpq *4588592(,%rax,8)
89
+ 0000000000000128: 04 movq (%r12), %rax
90
+ 000000000000012c: 04 movb %r15b, (%rax,%r14)
91
+ 0000000000000130: 02 jmp 0x41cadf <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x14f>
92
+ 0000000000000132: 04 movq (%r12), %rax
93
+ 0000000000000136: 05 movw %r15w, (%rax,%r14,2)
94
+ 000000000000013b: 02 jmp 0x41cadf <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x14f>
95
  000000000000013d: 04 movq (%r12), %rax
96
+ 0000000000000141: 04 movl %r15d, (%rax,%r14,4)
97
+ 0000000000000145: 02 jmp 0x41cadf <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x14f>
98
  0000000000000147: 04 movq (%r12), %rax
99
+ 000000000000014b: 04 movq %r15, (%rax,%r14,8)
 
 
 
100
+ 000000000000014f: 04 addq $8, %rsp
101
+ 0000000000000153: 01 popq %rbx
102
+ 0000000000000154: 02 popq %r12
103
+ 0000000000000156: 02 popq %r13
104
+ 0000000000000158: 02 popq %r14
105
+ 000000000000015a: 02 popq %r15
106
+ 000000000000015c: 01 popq %rbp
107
+ 000000000000015d: 01 retq
108
+ 000000000000015e: 03 movq %rcx, %rbx
109
+ 0000000000000161: 05 jmp 0x41ca2f <BloombergLP::bdlc::PackedIntArrayImp<BloombergLP::bdlc::PackedIntArrayImp_Signed>::replace(unsigned long, long)+0x9f>
110
+ 0000000000000166: 10 nopw %cs:(%rax,%rax)