; assembly                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                 | /* bslstl_hash.t/assume @ 0x4029b0 */
                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                 |  
    ; (fcn) method.HashCrossReference_Box__bsl::hash_Box___.HashCrossReference_Box_const__unsigned_long__BloombergLP::bslma::Allocator_ ()       | uint64_t method_HashCrossReference_Box_bsl::hash_Box_HashCrossReference_Box_const_unsigned_long_BloombergLP::bslma::Allocator_ (void * s, int64_t arg3, int64_t arg2, int64_t arg1) {
                                                                                                                                                 |     int64_t var_8h;
                                                                                                                                                 |     int64_t var_10h;
                                                                                                                                                 |     int64_t var_18h;
                                                                                                                                                 |     int64_t var_d8h;
                                                                                                                                                 |     int64_t var_138h;
                                                                                                                                                 |     int64_t var_140h;
                                                                                                                                                 |     rcx = s;
                                                                                                                                                 |     rdx = arg3;
                                                                                                                                                 |     rsi = arg2;
                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                 |     /* HashCrossReference<Box, bsl::hash<Box> >::HashCrossReference(Box const*, unsigned long, BloombergLP::bslma::Allocator*) */
    0x004029b0 push rbp                                                                                                                          |     
    0x004029b1 push r15                                                                                                                          |     
    0x004029b3 push r14                                                                                                                          |     
    0x004029b5 push r13                                                                                                                          |     
    0x004029b7 push r12                                                                                                                          |     
    0x004029b9 push rbx                                                                                                                          |     
    0x004029ba sub rsp, 0x148                                                                                                                    |     
    0x004029c1 mov rbx, rdx                                                                                                                      |     rbx = rdx;
    0x004029c4 mov r15, rdi                                                                                                                      |     r15 = rdi;
    0x004029c7 mov qword [rdi], rsi                                                                                                              |     *(rdi) = rsi;
    0x004029ca mov qword [rdi + 8], rdx                                                                                                          |     *((rdi + 8)) = rdx;
    0x004029ce mov byte [rdi + 0x21], 1                                                                                                          |     *((rdi + 0x21)) = 1;
    0x004029d2 test rcx, rcx                                                                                                                     |     
                                                                                                                                                 |     if (rcx == 0) {
    0x004029d5 jne 0x4029eb                                                                                                                      |         
    0x004029d7 mov rcx, qword [rip + 0x205982]                                                                                                   |         rcx = BloombergLP::bslma::Default::s_defaultAllocator;
    0x004029de test rcx, rcx                                                                                                                     |         
                                                                                                                                                 |         if (rcx != 0) {
    0x004029e1 jne 0x4029eb                                                                                                                      |             goto label_3;
                                                                                                                                                 |         }
    0x004029e3 call 0x402d10                                                                                                                     |         rax = BloombergLP::bslma::Default::determineAndReturnDefaultAllocator() ();
    0x004029e8 mov rcx, rax                                                                                                                      |         rcx = rax;
                                                                                                                                                 |     }
                                                                                                                                                 | label_3:
    0x004029eb mov qword [r15 + 0x28], rcx                                                                                                       |     *((r15 + 0x28)) = rcx;
    0x004029ef lea rax, [rbx*4]                                                                                                                  |     rax = rbx*4;
    0x004029f7 mov ebp, 4                                                                                                                        |     
    0x004029fc cmp rax, 5                                                                                                                        |     
                                                                                                                                                 |     if (rax < 5) {
    0x00402a00 jb 0x402a18                                                                                                                       |         goto label_4;
                                                                                                                                                 |     }
    0x00402a02 mov ebp, 4                                                                                                                        |     
    0x00402a07 nop word [rax + rax]                                                                                                              |     
                                                                                                                                                 |     do {
    0x00402a10 add rbp, rbp                                                                                                                      |         rbp += rbp;
    0x00402a13 cmp rbp, rax                                                                                                                      |         
    0x00402a16 jb 0x402a10                                                                                                                       |         
                                                                                                                                                 |     } while (rbp < rax);
                                                                                                                                                 | label_4:
    0x00402a18 lea rax, [rbp - 1]                                                                                                                |     rax = rbp - 1;
    0x00402a1c mov qword [r15 + 0x18], rax                                                                                                       |     *((r15 + 0x18)) = rax;
    0x00402a20 shl rbp, 3                                                                                                                        |     rbp <<= 3;
    0x00402a24 mov rax, qword [rcx]                                                                                                              |     rax = *(rcx);
    0x00402a27 mov rdi, rcx                                                                                                                      |     rdi = rcx;
    0x00402a2a mov rsi, rbp                                                                                                                      |     rsi = rbp;
    0x00402a2d call qword [rax + 0x10]                                                                                                           |     rax = uint64_t (*rax + 0x10)() ();
    0x00402a30 mov qword [r15 + 0x10], rax                                                                                                       |     *((r15 + 0x10)) = rax;
    0x00402a34 mov rdi, rax                                                                                                                      |     
    0x00402a37 xor esi, esi                                                                                                                      |     
    0x00402a39 mov rdx, rbp                                                                                                                      |     
    0x00402a3c call 0x4013f0                                                                                                                     |     memset (rax, 0, rbp);
    0x00402a41 test rbx, rbx                                                                                                                     |     
                                                                                                                                                 |     if (rbx == 0) {
    0x00402a44 je 0x402bae                                                                                                                       |         goto label_5;
                                                                                                                                                 |     }
    0x00402a4a mov r12, rsp                                                                                                                      |     r12 = rsp;
    0x00402a4d xor ebp, ebp                                                                                                                      |     ebp = 0;
    0x00402a4f mov qword [rsp + 8], rbx                                                                                                          |     *((rsp + 8)) = rbx;
    0x00402a54 jmp 0x402a7b                                                                                                                      |     
                                                                                                                                                 |     while (rsi == 0) {
                                                                                                                                                 | label_0:
    0x00402a60 shl r13, 3                                                                                                                        |         r13 <<= 3;
    0x00402a64 add r13, qword [r15]                                                                                                              |         r13 += *(r15);
    0x00402a67 mov qword [rax + rcx*8], r13                                                                                                      |         *((rax + rcx*8)) = r13;
                                                                                                                                                 | label_2:
    0x00402a6b inc ebp                                                                                                                           |         ebp++;
    0x00402a6d mov rbx, qword [rsp + 8]                                                                                                          |         rbx = *((rsp + 8));
    0x00402a72 cmp rbp, rbx                                                                                                                      |         
                                                                                                                                                 |         if (rbp >= rbx) {
    0x00402a75 jae 0x402bae                                                                                                                      |             goto label_5;
                                                                                                                                                 |         }
    0x00402a7b mov r14, qword [r15]                                                                                                              |         r14 = *(r15);
    0x00402a7e mov qword [rsp + 0x138], 0                                                                                                        |         *((rsp + 0x138)) = 0;
    0x00402a8a mov byte [rsp + 0x140], 0                                                                                                         |         *((rsp + 0x140)) = 0;
    0x00402a92 movdqa xmm0, xmmword [rip + 0x25a6]                                                                                               |         __asm ("movdqa xmm0, xmmword [0x00405040]");
    0x00402a9a movdqu xmmword [rsp + 0xd8], xmm0                                                                                                 |         __asm ("movdqu xmmword [rsp + 0xd8], xmm0");
    0x00402aa3 lea r13, [rbp + rbp*2]                                                                                                            |         r13 = rbp + rbp*2;
    0x00402aa8 mov eax, dword [r14 + r13*8]                                                                                                      |         eax = *((r14 + r13*8));
    0x00402aac mov dword [rsp], eax                                                                                                              |         *(rsp) = eax;
    0x00402aaf mov edx, 4                                                                                                                        |         
    0x00402ab4 lea rbx, [rsp + 0x18]                                                                                                             |         rbx = rsp + 0x18;
    0x00402ab9 mov rdi, rbx                                                                                                                      |         
    0x00402abc mov rsi, r12                                                                                                                      |         
    0x00402abf call 0x404720                                                                                                                     |         BloombergLP::bslh::SpookyHashAlgorithmImp::update(voidconst*,unsigned long) (rbx, r12, 4);
    0x00402ac4 mov eax, dword [r14 + r13*8 + 4]                                                                                                  |         eax = *((r14 + r13*8 + 4));
    0x00402ac9 mov dword [rsp], eax                                                                                                              |         *(rsp) = eax;
    0x00402acc mov edx, 4                                                                                                                        |         
    0x00402ad1 mov rdi, rbx                                                                                                                      |         
    0x00402ad4 mov rsi, r12                                                                                                                      |         
    0x00402ad7 call 0x404720                                                                                                                     |         BloombergLP::bslh::SpookyHashAlgorithmImp::update(voidconst*,unsigned long) (rbx, r12, 4);
    0x00402adc mov eax, dword [r14 + r13*8 + 0x10]                                                                                               |         eax = *((r14 + r13*8 + 0x10));
    0x00402ae1 mov dword [rsp], eax                                                                                                              |         *(rsp) = eax;
    0x00402ae4 mov edx, 4                                                                                                                        |         
    0x00402ae9 mov rdi, rbx                                                                                                                      |         
    0x00402aec mov rsi, r12                                                                                                                      |         
    0x00402aef call 0x404720                                                                                                                     |         BloombergLP::bslh::SpookyHashAlgorithmImp::update(voidconst*,unsigned long) (rbx, r12, 4);
    0x00402af4 mov eax, dword [r14 + r13*8 + 0x14]                                                                                               |         eax = *((r14 + r13*8 + 0x14));
    0x00402af9 mov dword [rsp], eax                                                                                                              |         *(rsp) = eax;
    0x00402afc mov edx, 4                                                                                                                        |         
    0x00402b01 mov rdi, rbx                                                                                                                      |         
    0x00402b04 mov rsi, r12                                                                                                                      |         
    0x00402b07 call 0x404720                                                                                                                     |         BloombergLP::bslh::SpookyHashAlgorithmImp::update(voidconst*,unsigned long) (rbx, r12, 4);
    0x00402b0c mov rdi, rbx                                                                                                                      |         
    0x00402b0f mov rsi, r12                                                                                                                      |         
    0x00402b12 lea rdx, [rsp + 0x10]                                                                                                             |         
    0x00402b17 call 0x403ca0                                                                                                                     |         BloombergLP::bslh::SpookyHashAlgorithmImp::finalize(unsigned long long*,unsigned long long*) (rbx, r12, rsp + 0x10);
    0x00402b1c mov rax, qword [r15 + 0x10]                                                                                                       |         rax = *((r15 + 0x10));
    0x00402b20 mov rdx, qword [r15 + 0x18]                                                                                                       |         rdx = *((r15 + 0x18));
    0x00402b24 mov rcx, qword [rsp]                                                                                                              |         rcx = *(rsp);
    0x00402b28 and rcx, rdx                                                                                                                      |         rcx &= rdx;
    0x00402b2b mov rsi, qword [rax + rcx*8]                                                                                                      |         rsi = *((rax + rcx*8));
    0x00402b2f test rsi, rsi                                                                                                                     |         
    0x00402b32 je 0x402a60                                                                                                                       |         
                                                                                                                                                 |     }
    0x00402b38 lea rdi, [r14 + r13*8]                                                                                                            |     rdi = r14 + r13*8;
    0x00402b3c movq xmm0, qword [rdi]                                                                                                            |     xmm0 = *(rdi);
    0x00402b40 jmp 0x402b63                                                                                                                      |     goto label_6;
                                                                                                                                                 | label_1:
    0x00402b50 inc rcx                                                                                                                           |     rcx++;
    0x00402b53 and rcx, rdx                                                                                                                      |     rcx &= rdx;
    0x00402b56 mov rsi, qword [rax + rcx*8]                                                                                                      |     rsi = *((rax + rcx*8));
    0x00402b5a test rsi, rsi                                                                                                                     |     
                                                                                                                                                 |     if (rsi == 0) {
    0x00402b5d je 0x402a60                                                                                                                       |         goto label_0;
                                                                                                                                                 |     }
                                                                                                                                                 | label_6:
    0x00402b63 movq xmm1, qword [rsi]                                                                                                            |     xmm1 = *(rsi);
    0x00402b67 pcmpeqd xmm1, xmm0                                                                                                                |     __asm ("pcmpeqd xmm1, xmm0");
    0x00402b6b pmovsxdq xmm1, xmm1                                                                                                               |     __asm ("pmovsxdq xmm1, xmm1");
    0x00402b70 movmskpd ebx, xmm1                                                                                                                |     __asm ("movmskpd ebx, xmm1");
    0x00402b74 cmp bl, 3                                                                                                                         |     
                                                                                                                                                 |     if (bl != 3) {
    0x00402b77 jne 0x402b50                                                                                                                      |         goto label_1;
                                                                                                                                                 |     }
    0x00402b79 mov ebx, dword [rdi + 0x10]                                                                                                       |     ebx = *((rdi + 0x10));
    0x00402b7c cmp ebx, dword [rsi + 0x10]                                                                                                       |     
                                                                                                                                                 |     if (ebx != *((rsi + 0x10))) {
    0x00402b7f jne 0x402b50                                                                                                                      |         goto label_1;
                                                                                                                                                 |     }
    0x00402b81 mov ebx, dword [rdi + 0x14]                                                                                                       |     ebx = *((rdi + 0x14));
    0x00402b84 cmp ebx, dword [rsi + 0x14]                                                                                                       |     
                                                                                                                                                 |     if (ebx != *((rsi + 0x14))) {
    0x00402b87 jne 0x402b50                                                                                                                      |         goto label_1;
                                                                                                                                                 |     }
    0x00402b89 sub rsi, qword [r15]                                                                                                              |     rsi -= *(r15);
    0x00402b8c shr rsi, 3                                                                                                                        |     rsi >>= 3;
    0x00402b90 imul edx, esi, 0xaaaaaaab                                                                                                         |     edx = esi * 0xaaaaaaab;
    0x00402b96 mov edi, 0x4056fa                                                                                                                 |     
    0x00402b9b mov esi, ebp                                                                                                                      |     esi = ebp;
    0x00402b9d xor eax, eax                                                                                                                      |     eax = 0;
    0x00402b9f call 0x4013d0                                                                                                                     |     printf ("Error: entries %u and %u have the same value\n");
    0x00402ba4 mov byte [r15 + 0x21], 0                                                                                                          |     *((r15 + 0x21)) = 0;
    0x00402ba9 jmp 0x402a6b                                                                                                                      |     goto label_2;
                                                                                                                                                 | label_5:
    0x00402bae add rsp, 0x148                                                                                                                    |     
    0x00402bb5 pop rbx                                                                                                                           |     
    0x00402bb6 pop r12                                                                                                                           |     
    0x00402bb8 pop r13                                                                                                                           |     
    0x00402bba pop r14                                                                                                                           |     
    0x00402bbc pop r15                                                                                                                           |     
    0x00402bbe pop rbp                                                                                                                           |     
    0x00402bbf ret                                                                                                                               |     return rax;
                                                                                                                                                 | }