; assembly                                                                                                                                                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                                                                                                                                                 | /* bdlcc_skiplist.t/assume @ 0x5beb20 */
                                                                                                                                                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                                                                                                                                                 |  
    ; (fcn) method.int_BloombergLP::bslmt::ThreadUtil::createWithAllocator_BloombergLP::bdlf::Bind_BloombergLP::bslmf.Nil__void____BloombergLP::bdlcc::SkipList_signed_char__signed_char___BloombergLP::bsls::AtomicInt__BloombergLP::bslmt::Barrier___BloombergLP::bd ()        | int64_t method_int_BloombergLP::bslmt::ThreadUtil::createWithAllocator_BloombergLP::bdlf::Bind_BloombergLP::bslmf_Nil_void_BloombergLP::bdlcc::SkipList_signed_char_signed_char_BloombergLP::bsls::AtomicInt_BloombergLP::bslmt::Barrier_BloombergLP::bd (int64_t arg4, int64_t arg3, uint32_t arg2, int64_t arg1) {
                                                                                                                                                                                                                                                                                 |     rcx = arg4;
                                                                                                                                                                                                                                                                                 |     rdx = arg3;
                                                                                                                                                                                                                                                                                 |     rsi = arg2;
                                                                                                                                                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                                                                                                                                                 |     /* int BloombergLP::bslmt::ThreadUtil::createWithAllocator<BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<signed char, signed char>*, BloombergLP::bsls::AtomicInt*, BloombergLP::bslmt::Barrier*), BloombergLP::bdlf::Bind_BoundTuple3<BloombergLP::bdlcc::SkipList<signed char, signed char>*, BloombergLP::bsls::AtomicInt*, BloombergLP::bslmt::Barrier*> > >(unsigned long*, BloombergLP::bslmt::ThreadAttributes const&, BloombergLP::bdlf::Bind<BloombergLP::bslmf::Nil, void (*)(BloombergLP::bdlcc::SkipList<signed char, signed char>*, BloombergLP::bsls::AtomicInt*, BloombergLP::bslmt::Barrier*), BloombergLP::bdlf::Bind_BoundTuple3<BloombergLP::bdlcc::SkipList<signed char, signed char>*, BloombergLP::bsls::AtomicInt*, BloombergLP::bslmt::Barrier*> > const&, BloombergLP::bslma::Allocator*) */
    0x005beb20 push rbp                                                                                                                                                                                                                                                          |     
    0x005beb21 push r15                                                                                                                                                                                                                                                          |     
    0x005beb23 push r14                                                                                                                                                                                                                                                          |     
    0x005beb25 push r13                                                                                                                                                                                                                                                          |     
    0x005beb27 push r12                                                                                                                                                                                                                                                          |     
    0x005beb29 push rbx                                                                                                                                                                                                                                                          |     
    0x005beb2a push rax                                                                                                                                                                                                                                                          |     
    0x005beb2b mov r14, rcx                                                                                                                                                                                                                                                      |     r14 = rcx;
    0x005beb2e mov r12, rdx                                                                                                                                                                                                                                                      |     r12 = rdx;
    0x005beb31 mov r15, rsi                                                                                                                                                                                                                                                      |     r15 = rsi;
    0x005beb34 mov qword [rsp], rdi                                                                                                                                                                                                                                              |     *(rsp) = rdi;
    0x005beb38 mov r13, qword [rsi + 0x30]                                                                                                                                                                                                                                       |     r13 = *((rsi + 0x30));
    0x005beb3c cmp qword [rsi + 0x38], 0x17                                                                                                                                                                                                                                      |     
                                                                                                                                                                                                                                                                                 |     if (*((rsi + 0x38)) != 0x17) {
    0x005beb41 je 0x5beb49                                                                                                                                                                                                                                                       |         
    0x005beb43 mov rbp, qword [r15 + 0x18]                                                                                                                                                                                                                                       |         rbp = *((r15 + 0x18));
    0x005beb47 jmp 0x5beb4d                                                                                                                                                                                                                                                      |         
                                                                                                                                                                                                                                                                                 |     } else {
    0x005beb49 lea rbp, [r15 + 0x18]                                                                                                                                                                                                                                             |         rbp = r15 + 0x18;
                                                                                                                                                                                                                                                                                 |     }
    0x005beb4d mov rax, qword [r14]                                                                                                                                                                                                                                              |     rax = *(r14);
    0x005beb50 mov esi, 0x58                                                                                                                                                                                                                                                     |     esi = 0x58;
    0x005beb55 mov rdi, r14                                                                                                                                                                                                                                                      |     rdi = r14;
    0x005beb58 call qword [rax + 0x10]                                                                                                                                                                                                                                           |     rax = uint64_t (*rax + 0x10)() ();
    0x005beb5b mov rbx, rax                                                                                                                                                                                                                                                      |     rbx = rax;
    0x005beb5e mov qword [rax], 0x5bec80                                                                                                                                                                                                                                         |     *(rax) = method.BloombergLP::bslmt::EntryPointFunctorAdapter_BloombergLP::bdlf::Bind_BloombergLP::bslmf.Nil__void____BloombergLP::bdlcc::SkipList_signed_char__signed_char___BloombergLP::bsls::AtomicInt__BloombergLP::bslmt::Barrier___BloombergLP::bdlf::Bind_Bo;
    0x005beb65 mov rax, qword [r12]                                                                                                                                                                                                                                              |     rax = *(r12);
    0x005beb69 mov qword [rbx + 8], rax                                                                                                                                                                                                                                          |     *((rbx + 8)) = rax;
    0x005beb6d mov rax, qword [r12 + 8]                                                                                                                                                                                                                                          |     rax = *((r12 + 8));
    0x005beb72 mov qword [rbx + 0x10], rax                                                                                                                                                                                                                                       |     *((rbx + 0x10)) = rax;
    0x005beb76 mov rax, qword [r12 + 0x10]                                                                                                                                                                                                                                       |     rax = *((r12 + 0x10));
    0x005beb7b mov qword [rbx + 0x18], rax                                                                                                                                                                                                                                       |     *((rbx + 0x18)) = rax;
    0x005beb7f mov rax, qword [r12 + 0x18]                                                                                                                                                                                                                                       |     rax = *((r12 + 0x18));
    0x005beb84 mov qword [rbx + 0x20], rax                                                                                                                                                                                                                                       |     *((rbx + 0x20)) = rax;
    0x005beb88 lea rdi, [rbx + 0x28]                                                                                                                                                                                                                                             |     
    0x005beb8c mov qword [rbx + 0x28], 0                                                                                                                                                                                                                                         |     *((rbx + 0x28)) = 0;
    0x005beb94 mov qword [rbx + 0x50], r14                                                                                                                                                                                                                                       |     *((rbx + 0x50)) = r14;
    0x005beb98 movaps xmm0, xmmword [rip + 0xbb821]                                                                                                                                                                                                                              |     xmm0 = .comment;
    0x005beb9f movups xmmword [rbx + 0x40], xmm0                                                                                                                                                                                                                                 |     __asm ("movups xmmword [rbx + 0x40], xmm0");
    0x005beba3 mov ecx, 0x67c28f                                                                                                                                                                                                                                                 |     
    0x005beba8 mov rsi, rbp                                                                                                                                                                                                                                                      |     
    0x005bebab mov rdx, r13                                                                                                                                                                                                                                                      |     
    0x005bebae call 0x653850                                                                                                                                                                                                                                                     |     bsl::basic_string<char,std::_1::char_traits<char>,bsl::allocator<char>>::privateAppend(char const*,unsigned long,char const*) (rbx + 0x28, rbp, r13, "string<...>::assign<Iter>(i,j): string too long");
    0x005bebb3 mov edx, 0x64f840                                                                                                                                                                                                                                                 |     
    0x005bebb8 mov rdi, qword [rsp]                                                                                                                                                                                                                                              |     
    0x005bebbc mov rsi, r15                                                                                                                                                                                                                                                      |     
    0x005bebbf mov rcx, rbx                                                                                                                                                                                                                                                      |     
    0x005bebc2 call 0x6501d0                                                                                                                                                                                                                                                     |     eax = BloombergLP::bslmt::ThreadUtilImpl<BloombergLP::bslmt::Platform::PosixThreads>::create(unsigned long*,BloombergLP::bslmt::ThreadAttributesconst&,void*(*)(void*),void*) (*(rsp), r15, sym.bslmt_EntryPointFunctorAdapter_invoker, rbx);
    0x005bebc7 mov ebp, eax                                                                                                                                                                                                                                                      |     
    0x005bebc9 test eax, eax                                                                                                                                                                                                                                                     |     
                                                                                                                                                                                                                                                                                 |     if (eax != 0) {
    0x005bebcb je 0x5bebf6                                                                                                                                                                                                                                                       |         
    0x005bebcd cmp qword [rbx + 0x48], 0x17                                                                                                                                                                                                                                      |         
                                                                                                                                                                                                                                                                                 |         if (*((rbx + 0x48)) != 0x17) {
    0x005bebd2 je 0x5bebe2                                                                                                                                                                                                                                                       |             
    0x005bebd4 mov rsi, qword [rbx + 0x28]                                                                                                                                                                                                                                       |             rsi = *((rbx + 0x28));
    0x005bebd8 mov rdi, qword [rbx + 0x50]                                                                                                                                                                                                                                       |             rdi = *((rbx + 0x50));
    0x005bebdc mov rax, qword [rdi]                                                                                                                                                                                                                                              |             rax = *(rdi);
    0x005bebdf call qword [rax + 0x18]                                                                                                                                                                                                                                           |             uint64_t (*rax + 0x18)() ();
                                                                                                                                                                                                                                                                                 |         }
    0x005bebe2 mov qword [rbx + 0x40], 0xffffffffffffffff                                                                                                                                                                                                                        |         *((rbx + 0x40)) = 0xffffffffffffffff;
    0x005bebea mov rax, qword [r14]                                                                                                                                                                                                                                              |         rax = *(r14);
    0x005bebed mov rdi, r14                                                                                                                                                                                                                                                      |         rdi = r14;
    0x005bebf0 mov rsi, rbx                                                                                                                                                                                                                                                      |         rsi = rbx;
    0x005bebf3 call qword [rax + 0x18]                                                                                                                                                                                                                                           |         uint64_t (*rax + 0x18)() ();
                                                                                                                                                                                                                                                                                 |     }
    0x005bebf6 mov eax, ebp                                                                                                                                                                                                                                                      |     eax = ebp;
    0x005bebf8 add rsp, 8                                                                                                                                                                                                                                                        |     
    0x005bebfc pop rbx                                                                                                                                                                                                                                                           |     
    0x005bebfd pop r12                                                                                                                                                                                                                                                           |     
    0x005bebff pop r13                                                                                                                                                                                                                                                           |     
    0x005bec01 pop r14                                                                                                                                                                                                                                                           |     
    0x005bec03 pop r15                                                                                                                                                                                                                                                           |     
    0x005bec05 pop rbp                                                                                                                                                                                                                                                           |     
    0x005bec06 ret                                                                                                                                                                                                                                                               |     return rax;
                                                                                                                                                                                                                                                                                 | }