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

Files changed (1) hide show
  1. bdlc_flathashset.t/{7.assume.s → 7.none.s} +50 -49
bdlc_flathashset.t/{7.assume.s → 7.none.s} RENAMED
@@ -1,109 +1,110 @@
1
- 000000000044d9a0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dad0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 202774(%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 0x44da30 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44da4f <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44da18 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44da59 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44d9fa <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0x5a>
53
- 00000000000000ad: 02 jmp 0x44da59 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dad7 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44da94 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44db00 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::rehashRaw(unsigned long)>
72
- 00000000000000f0: 04 movq 24(%r14), %rdx
73
- 00000000000000f4: 03 testq %rdx, %rdx
74
- 00000000000000f7: 02 je 0x44dadc <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dade <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dab0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0x110>
91
- 000000000000012e: 02 jmp 0x44daea <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14a>
92
  0000000000000130: 02 xorl %eax, %eax
93
  0000000000000132: 03 cmpq %rdi, %rax
94
- 0000000000000135: 02 je 0x44da59 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0xb9>
95
  0000000000000137: 03 movb $0, (%rsi)
96
- 000000000000013a: 02 jmp 0x44daea <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14a>
97
- 000000000000013c: 02 jmp 0x44daea <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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
+ 000000000044dae0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dc10 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 202838(%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 0x44db70 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44db8f <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44db58 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44db99 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44db3a <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0x5a>
53
+ 00000000000000ad: 02 jmp 0x44db99 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dc17 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dbd4 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dc40 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::rehashRaw(unsigned long)>
72
+ 00000000000000f0: 04 movq 24(%r14), %rax
73
+ 00000000000000f4: 03 testq %rax, %rax
74
+ 00000000000000f7: 02 je 0x44dc1c <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dc20 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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 0x44dbf0 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0x110>
91
+ 000000000000012e: 02 jmp 0x44dc2c <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14c>
92
  0000000000000130: 02 xorl %eax, %eax
93
  0000000000000132: 03 cmpq %rdi, %rax
94
+ 0000000000000135: 02 je 0x44db99 <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0xb9>
95
  0000000000000137: 03 movb $0, (%rsi)
96
+ 000000000000013a: 02 jmp 0x44dc2c <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<int> >::indexOfKey(bool*, int const&, unsigned long)+0x14c>
97
+ 000000000000013c: 02 xorl %eax, %eax
98
+ 000000000000013e: 02 jmp 0x44dc2c <BloombergLP::bdlc::FlatHashTable<int, int, BloombergLP::bdlc::FlatHashSet_EntryUtil<int>, SeedIsHash<int>, EqualAndState<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