Comparing BloombergLP::bdlc::FlatHashTable, SeedIsHash, bsl::equal_to >::indexOfKey(bool*, int const&, unsigned long) in assumed vs ignored

Files changed (1) hide show
  1. bdlc_flathashset.t/{8.assume.s → 8.none.s} +50 -49
bdlc_flathashset.t/{8.assume.s → 8.none.s} RENAMED
@@ -1,109 +1,110 @@
1
- 000000000044ea90 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)>:
2
  0000000000000000: 01 pushq %rbp
3
  0000000000000001: 02 pushq %r15
4
  0000000000000003: 02 pushq %r14
5
  0000000000000005: 02 pushq %r12
6
  0000000000000007: 01 pushq %rbx
7
  0000000000000008: 03 movq %rcx, %rbx
8
  000000000000000b: 03 movq %rdi, %r14
9
  000000000000000e: 04 movq 24(%rdi), %rdi
10
  0000000000000012: 03 testq %rdi, %rdi
11
- 0000000000000015: 06 je 0x44ebc0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x130>
12
  000000000000001b: 03 movl %ebx, %r10d
13
  000000000000001e: 04 movb 32(%r14), %cl
14
  0000000000000022: 03 movq %rbx, %rax
15
  0000000000000025: 03 shrq %cl, %rax
16
  0000000000000028: 04 andb $127, %r10b
17
  000000000000002c: 04 shlq $4, %rax
18
  0000000000000030: 03 movq (%r14), %r8
19
  0000000000000033: 04 movq 8(%r14), %r9
20
  0000000000000037: 04 movzbl %r10b, %ecx
21
  000000000000003b: 04 movd %ecx, %xmm0
22
  000000000000003f: 04 pxor %xmm1, %xmm1
23
  0000000000000043: 05 pshufb %xmm1, %xmm0
24
  0000000000000048: 03 movl (%rdx), %r15d
25
  000000000000004b: 04 leaq -1(%rdi), %r10
26
  000000000000004f: 03 xorl %r11d, %r11d
27
- 0000000000000052: 08 movdqa 198438(%rip), %xmm1 # 47f210 <__dso_handle+0x18>
28
  000000000000005a: 06 movdqu (%r9,%rax), %xmm2
29
  0000000000000060: 04 movdqa %xmm0, %xmm3
30
  0000000000000064: 04 pcmpeqb %xmm2, %xmm3
31
  0000000000000068: 04 pmovmskb %xmm3, %ecx
32
  000000000000006c: 03 testw %cx, %cx
33
- 000000000000006f: 02 je 0x44eb20 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x90>
34
  0000000000000071: 04 leaq (%r8,%rax,4), %rdx
35
  0000000000000075: 03 movzwl %cx, %ebp
36
  0000000000000078: 03 bsfl %ebp, %ecx
37
  000000000000007b: 04 cmpl %r15d, (%rdx,%rcx,4)
38
- 000000000000007f: 02 je 0x44eb3f <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xaf>
39
  0000000000000081: 06 movl $4294967294, %r12d
40
  0000000000000087: 03 roll %cl, %r12d
41
  000000000000008a: 03 andl %r12d, %ebp
42
- 000000000000008d: 02 jne 0x44eb08 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x78>
43
  000000000000008f: 01 nop
44
  0000000000000090: 04 pcmpeqb %xmm1, %xmm2
45
  0000000000000094: 04 pmovmskb %xmm2, %ecx
46
  0000000000000098: 03 testw %cx, %cx
47
- 000000000000009b: 02 jne 0x44eb49 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xb9>
48
  000000000000009d: 04 addq $16, %rax
49
  00000000000000a1: 03 andq %r10, %rax
50
  00000000000000a4: 04 addq $16, %r11
51
  00000000000000a8: 03 cmpq %rdi, %r11
52
- 00000000000000ab: 02 jb 0x44eaea <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x5a>
53
- 00000000000000ad: 02 jmp 0x44eb49 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xb9>
54
  00000000000000af: 02 movl %ecx, %ecx
55
  00000000000000b1: 03 addq %rcx, %rax
56
  00000000000000b4: 03 cmpq %rdi, %rax
57
- 00000000000000b7: 02 jne 0x44ebc7 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x137>
58
  00000000000000b9: 03 movb $1, (%rsi)
59
- 00000000000000bc: 04 movq 24(%r14), %rdx
60
- 00000000000000c0: 03 movq %rdx, %rax
61
- 00000000000000c3: 04 shrq $3, %rax
62
- 00000000000000c7: 08 leaq (,%rax,8), %rcx
63
- 00000000000000cf: 03 subq %rax, %rcx
64
- 00000000000000d2: 04 cmpq %rcx, 16(%r14)
65
- 00000000000000d6: 02 jb 0x44eb84 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xf4>
66
- 00000000000000d8: 04 leaq (%rdx,%rdx), %rax
67
- 00000000000000dc: 03 testq %rdx, %rdx
68
  00000000000000df: 05 movl $32, %esi
69
- 00000000000000e4: 04 cmovneq %rax, %rsi
70
  00000000000000e8: 03 movq %r14, %rdi
71
- 00000000000000eb: 05 callq 0x44ebf0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::rehashRaw(unsigned long)>
72
- 00000000000000f0: 04 movq 24(%r14), %rdx
73
- 00000000000000f4: 03 testq %rdx, %rdx
74
- 00000000000000f7: 02 je 0x44ebcc <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x13c>
75
  00000000000000f9: 04 movb 32(%r14), %cl
76
  00000000000000fd: 03 shrq %cl, %rbx
77
  0000000000000100: 04 movq 8(%r14), %rcx
78
  0000000000000104: 04 shlq $4, %rbx
79
- 0000000000000108: 04 leaq -1(%rdx), %rsi
80
- 000000000000010c: 02 xorl %edi, %edi
81
  000000000000010e: 02 nop
82
  0000000000000110: 05 movdqu (%rcx,%rbx), %xmm0
83
- 0000000000000115: 04 pmovmskb %xmm0, %eax
84
- 0000000000000119: 03 testw %ax, %ax
85
- 000000000000011c: 02 jne 0x44ebce <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x13e>
86
  000000000000011e: 04 addq $16, %rbx
87
- 0000000000000122: 03 andq %rsi, %rbx
88
- 0000000000000125: 04 addq $16, %rdi
89
- 0000000000000129: 03 cmpq %rdx, %rdi
90
- 000000000000012c: 02 jb 0x44eba0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x110>
91
- 000000000000012e: 02 jmp 0x44ebda <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14a>
92
  0000000000000130: 02 xorl %eax, %eax
93
  0000000000000132: 03 cmpq %rdi, %rax
94
- 0000000000000135: 02 je 0x44eb49 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xb9>
95
  0000000000000137: 03 movb $0, (%rsi)
96
- 000000000000013a: 02 jmp 0x44ebda <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14a>
97
- 000000000000013c: 02 jmp 0x44ebda <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14a>
98
- 000000000000013e: 03 movzwl %ax, %eax
99
- 0000000000000141: 03 bsfl %eax, %eax
100
- 0000000000000144: 03 addq %rax, %rbx
101
- 0000000000000147: 03 movq %rbx, %rax
102
- 000000000000014a: 01 popq %rbx
103
- 000000000000014b: 02 popq %r12
104
- 000000000000014d: 02 popq %r14
105
- 000000000000014f: 02 popq %r15
106
- 0000000000000151: 01 popq %rbp
107
- 0000000000000152: 01 retq
108
- 0000000000000153: 10 nopw %cs:(%rax,%rax)
109
- 000000000000015d: 03 nopl (%rax)
 
1
+ 000000000044ebe0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)>:
2
  0000000000000000: 01 pushq %rbp
3
  0000000000000001: 02 pushq %r15
4
  0000000000000003: 02 pushq %r14
5
  0000000000000005: 02 pushq %r12
6
  0000000000000007: 01 pushq %rbx
7
  0000000000000008: 03 movq %rcx, %rbx
8
  000000000000000b: 03 movq %rdi, %r14
9
  000000000000000e: 04 movq 24(%rdi), %rdi
10
  0000000000000012: 03 testq %rdi, %rdi
11
+ 0000000000000015: 06 je 0x44ed10 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x130>
12
  000000000000001b: 03 movl %ebx, %r10d
13
  000000000000001e: 04 movb 32(%r14), %cl
14
  0000000000000022: 03 movq %rbx, %rax
15
  0000000000000025: 03 shrq %cl, %rax
16
  0000000000000028: 04 andb $127, %r10b
17
  000000000000002c: 04 shlq $4, %rax
18
  0000000000000030: 03 movq (%r14), %r8
19
  0000000000000033: 04 movq 8(%r14), %r9
20
  0000000000000037: 04 movzbl %r10b, %ecx
21
  000000000000003b: 04 movd %ecx, %xmm0
22
  000000000000003f: 04 pxor %xmm1, %xmm1
23
  0000000000000043: 05 pshufb %xmm1, %xmm0
24
  0000000000000048: 03 movl (%rdx), %r15d
25
  000000000000004b: 04 leaq -1(%rdi), %r10
26
  000000000000004f: 03 xorl %r11d, %r11d
27
+ 0000000000000052: 08 movdqa 198486(%rip), %xmm1 # 47f390 <__dso_handle+0x18>
28
  000000000000005a: 06 movdqu (%r9,%rax), %xmm2
29
  0000000000000060: 04 movdqa %xmm0, %xmm3
30
  0000000000000064: 04 pcmpeqb %xmm2, %xmm3
31
  0000000000000068: 04 pmovmskb %xmm3, %ecx
32
  000000000000006c: 03 testw %cx, %cx
33
+ 000000000000006f: 02 je 0x44ec70 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x90>
34
  0000000000000071: 04 leaq (%r8,%rax,4), %rdx
35
  0000000000000075: 03 movzwl %cx, %ebp
36
  0000000000000078: 03 bsfl %ebp, %ecx
37
  000000000000007b: 04 cmpl %r15d, (%rdx,%rcx,4)
38
+ 000000000000007f: 02 je 0x44ec8f <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xaf>
39
  0000000000000081: 06 movl $4294967294, %r12d
40
  0000000000000087: 03 roll %cl, %r12d
41
  000000000000008a: 03 andl %r12d, %ebp
42
+ 000000000000008d: 02 jne 0x44ec58 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x78>
43
  000000000000008f: 01 nop
44
  0000000000000090: 04 pcmpeqb %xmm1, %xmm2
45
  0000000000000094: 04 pmovmskb %xmm2, %ecx
46
  0000000000000098: 03 testw %cx, %cx
47
+ 000000000000009b: 02 jne 0x44ec99 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xb9>
48
  000000000000009d: 04 addq $16, %rax
49
  00000000000000a1: 03 andq %r10, %rax
50
  00000000000000a4: 04 addq $16, %r11
51
  00000000000000a8: 03 cmpq %rdi, %r11
52
+ 00000000000000ab: 02 jb 0x44ec3a <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x5a>
53
+ 00000000000000ad: 02 jmp 0x44ec99 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xb9>
54
  00000000000000af: 02 movl %ecx, %ecx
55
  00000000000000b1: 03 addq %rcx, %rax
56
  00000000000000b4: 03 cmpq %rdi, %rax
57
+ 00000000000000b7: 02 jne 0x44ed17 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x137>
58
  00000000000000b9: 03 movb $1, (%rsi)
59
+ 00000000000000bc: 04 movq 24(%r14), %rax
60
+ 00000000000000c0: 03 movq %rax, %rcx
61
+ 00000000000000c3: 04 shrq $3, %rcx
62
+ 00000000000000c7: 08 leaq (,%rcx,8), %rdx
63
+ 00000000000000cf: 03 subq %rcx, %rdx
64
+ 00000000000000d2: 04 cmpq %rdx, 16(%r14)
65
+ 00000000000000d6: 02 jb 0x44ecd4 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xf4>
66
+ 00000000000000d8: 04 leaq (%rax,%rax), %rcx
67
+ 00000000000000dc: 03 testq %rax, %rax
68
  00000000000000df: 05 movl $32, %esi
69
+ 00000000000000e4: 04 cmovneq %rcx, %rsi
70
  00000000000000e8: 03 movq %r14, %rdi
71
+ 00000000000000eb: 05 callq 0x44ed40 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::rehashRaw(unsigned long)>
72
+ 00000000000000f0: 04 movq 24(%r14), %rax
73
+ 00000000000000f4: 03 testq %rax, %rax
74
+ 00000000000000f7: 02 je 0x44ed1c <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x13c>
75
  00000000000000f9: 04 movb 32(%r14), %cl
76
  00000000000000fd: 03 shrq %cl, %rbx
77
  0000000000000100: 04 movq 8(%r14), %rcx
78
  0000000000000104: 04 shlq $4, %rbx
79
+ 0000000000000108: 04 leaq -1(%rax), %rdx
80
+ 000000000000010c: 02 xorl %esi, %esi
81
  000000000000010e: 02 nop
82
  0000000000000110: 05 movdqu (%rcx,%rbx), %xmm0
83
+ 0000000000000115: 04 pmovmskb %xmm0, %edi
84
+ 0000000000000119: 03 testw %di, %di
85
+ 000000000000011c: 02 jne 0x44ed20 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x140>
86
  000000000000011e: 04 addq $16, %rbx
87
+ 0000000000000122: 03 andq %rdx, %rbx
88
+ 0000000000000125: 04 addq $16, %rsi
89
+ 0000000000000129: 03 cmpq %rax, %rsi
90
+ 000000000000012c: 02 jb 0x44ecf0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x110>
91
+ 000000000000012e: 02 jmp 0x44ed2c <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14c>
92
  0000000000000130: 02 xorl %eax, %eax
93
  0000000000000132: 03 cmpq %rdi, %rax
94
+ 0000000000000135: 02 je 0x44ec99 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0xb9>
95
  0000000000000137: 03 movb $0, (%rsi)
96
+ 000000000000013a: 02 jmp 0x44ed2c <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14c>
97
+ 000000000000013c: 02 xorl %eax, %eax
98
+ 000000000000013e: 02 jmp 0x44ed2c <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, bsl::equal_to<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14c>
99
+ 0000000000000140: 03 movzwl %di, %eax
100
+ 0000000000000143: 03 bsfl %eax, %eax
101
+ 0000000000000146: 03 addq %rax, %rbx
102
+ 0000000000000149: 03 movq %rbx, %rax
103
+ 000000000000014c: 01 popq %rbx
104
+ 000000000000014d: 02 popq %r12
105
+ 000000000000014f: 02 popq %r14
106
+ 0000000000000151: 02 popq %r15
107
+ 0000000000000153: 01 popq %rbp
108
+ 0000000000000154: 01 retq
109
+ 0000000000000155: 10 nopw %cs:(%rax,%rax)
110
+ 000000000000015f: 01 nop