; assembly                                                                                                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                                                                                                 | /* bslmt_rwmutex.t/assume @ 0x4083d0 */
                                                                                                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                                                                                                 |  
    ; (fcn) method.int_BloombergLP::bslmt::ThreadUtil::createWithAllocator_PingPongWriter_BloombergLP::bslmt.RWMutex____unsigned_long__PingPongWriter_BloombergLP::bslmt::RWMutex__const__BloombergLP::bslma::Allocator_ ()      | int64_t method_int_BloombergLP::bslmt::ThreadUtil::createWithAllocator_PingPongWriter_BloombergLP::bslmt_RWMutex_unsigned_long_PingPongWriter_BloombergLP::bslmt::RWMutex_const_BloombergLP::bslma::Allocator_ (int64_t arg3, int64_t arg2, int64_t arg1) {
                                                                                                                                                                                                                                 |     int64_t var_18h;
                                                                                                                                                                                                                                 |     uint32_t var_38h;
                                                                                                                                                                                                                                 |     int64_t var_40h;
                                                                                                                                                                                                                                 |     rdx = arg3;
                                                                                                                                                                                                                                 |     rsi = arg2;
                                                                                                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                                                                                                 |     /* int BloombergLP::bslmt::ThreadUtil::createWithAllocator<PingPongWriter<BloombergLP::bslmt::RWMutex> >(unsigned long*, PingPongWriter<BloombergLP::bslmt::RWMutex> const&, BloombergLP::bslma::Allocator*) */
    0x004083d0 push rbp                                                                                                                                                                                                          |     
    0x004083d1 push r15                                                                                                                                                                                                          |     
    0x004083d3 push r14                                                                                                                                                                                                          |     
    0x004083d5 push rbx                                                                                                                                                                                                          |     
    0x004083d6 sub rsp, 0x48                                                                                                                                                                                                     |     
    0x004083da mov r14, rdx                                                                                                                                                                                                      |     r14 = rdx;
    0x004083dd mov rbp, rsi                                                                                                                                                                                                      |     
    0x004083e0 mov r15, rdi                                                                                                                                                                                                      |     r15 = rdi;
    0x004083e3 mov rax, qword [rdx]                                                                                                                                                                                              |     rax = *(rdx);
    0x004083e6 mov esi, 0x60                                                                                                                                                                                                     |     esi = 0x60;
    0x004083eb mov rdi, rdx                                                                                                                                                                                                      |     rdi = rdx;
    0x004083ee call qword [rax + 0x10]                                                                                                                                                                                           |     rax = uint64_t (*rax + 0x10)(void, void, void) (rbx, r14, r15);
    0x004083f1 mov rbx, rax                                                                                                                                                                                                      |     rbx = rax;
    0x004083f4 mov qword [rax], 0x408550                                                                                                                                                                                         |     *(rax) = method.BloombergLP::bslmt::EntryPointFunctorAdapter_PingPongWriter_BloombergLP::bslmt::RWMutex___.invokerFunction_void_;
    0x004083fb movups xmm0, xmmword [rbp]                                                                                                                                                                                        |     __asm ("movups xmm0, xmmword [rbp]");
    0x004083ff movups xmm1, xmmword [rbp + 0x10]                                                                                                                                                                                 |     __asm ("movups xmm1, xmmword [rbp + 0x10]");
    0x00408403 movups xmmword [rax + 8], xmm0                                                                                                                                                                                    |     __asm ("movups xmmword [rax + 8], xmm0");
    0x00408407 movups xmmword [rax + 0x18], xmm1                                                                                                                                                                                 |     __asm ("movups xmmword [rax + 0x18], xmm1");
    0x0040840b mov rax, qword [rbp + 0x20]                                                                                                                                                                                       |     rax = *((rbp + 0x20));
    0x0040840f mov qword [rbx + 0x28], rax                                                                                                                                                                                       |     *((rbx + 0x28)) = rax;
    0x00408413 lea rdi, [rbx + 0x30]                                                                                                                                                                                             |     
    0x00408417 mov qword [rbx + 0x30], 0                                                                                                                                                                                         |     *((rbx + 0x30)) = 0;
    0x0040841f mov qword [rbx + 0x58], r14                                                                                                                                                                                       |     *((rbx + 0x58)) = r14;
    0x00408423 movaps xmm0, xmmword [rip + 0x2a786]                                                                                                                                                                              |     xmm0 = .comment;
    0x0040842a movups xmmword [rbx + 0x48], xmm0                                                                                                                                                                                 |     __asm ("movups xmmword [rbx + 0x48], xmm0");
    0x0040842e mov ecx, 0x4330c9                                                                                                                                                                                                 |     
    0x00408433 xor esi, esi                                                                                                                                                                                                      |     
    0x00408435 xor edx, edx                                                                                                                                                                                                      |     
    0x00408437 call 0x40f220                                                                                                                                                                                                     |     bsl::basic_string<char,std::_1::char_traits<char>,bsl::allocator<char>>::privateAppend(char const*,unsigned long,char const*) (rbx + 0x30, 0, 0, "string<...>::assign<Iter>(i,j): string too long");
    0x0040843c mov rdi, rsp                                                                                                                                                                                                      |     
    0x0040843f call 0x40ccc0                                                                                                                                                                                                     |     BloombergLP::bslmt::ThreadAttributes::ThreadAttributes() (rsp);
    0x00408444 mov rsi, rsp                                                                                                                                                                                                      |     
    0x00408447 mov edx, 0x40c1e0                                                                                                                                                                                                 |     
    0x0040844c mov rdi, r15                                                                                                                                                                                                      |     
    0x0040844f mov rcx, rbx                                                                                                                                                                                                      |     
    0x00408452 call 0x40d1b0                                                                                                                                                                                                     |     eax = BloombergLP::bslmt::ThreadUtilImpl<BloombergLP::bslmt::Platform::PosixThreads>::create(unsigned long*,BloombergLP::bslmt::ThreadAttributesconst&,void*(*)(void*),void*) (r15, rsp, sym.bslmt_EntryPointFunctorAdapter_invoker, rbx);
    0x00408457 mov ebp, eax                                                                                                                                                                                                      |     
    0x00408459 cmp qword [rsp + 0x38], 0x17                                                                                                                                                                                      |     
                                                                                                                                                                                                                                 |     if (*((rsp + 0x38)) != 0x17) {
    0x0040845f je 0x408471                                                                                                                                                                                                       |         
    0x00408461 mov rsi, qword [rsp + 0x18]                                                                                                                                                                                       |         rsi = *((rsp + 0x18));
    0x00408466 mov rdi, qword [rsp + 0x40]                                                                                                                                                                                       |         rdi = *((rsp + 0x40));
    0x0040846b mov rax, qword [rdi]                                                                                                                                                                                              |         rax = *(rdi);
    0x0040846e call qword [rax + 0x18]                                                                                                                                                                                           |         uint64_t (*rax + 0x18)() ();
                                                                                                                                                                                                                                 |     }
    0x00408471 test ebp, ebp                                                                                                                                                                                                     |     
                                                                                                                                                                                                                                 |     if (ebp != 0) {
    0x00408473 je 0x40849e                                                                                                                                                                                                       |         
    0x00408475 cmp qword [rbx + 0x50], 0x17                                                                                                                                                                                      |         
                                                                                                                                                                                                                                 |         if (*((rbx + 0x50)) != 0x17) {
    0x0040847a je 0x40848a                                                                                                                                                                                                       |             
    0x0040847c mov rsi, qword [rbx + 0x30]                                                                                                                                                                                       |             rsi = *((rbx + 0x30));
    0x00408480 mov rdi, qword [rbx + 0x58]                                                                                                                                                                                       |             rdi = *((rbx + 0x58));
    0x00408484 mov rax, qword [rdi]                                                                                                                                                                                              |             rax = *(rdi);
    0x00408487 call qword [rax + 0x18]                                                                                                                                                                                           |             uint64_t (*rax + 0x18)() ();
                                                                                                                                                                                                                                 |         }
    0x0040848a mov qword [rbx + 0x48], 0xffffffffffffffff                                                                                                                                                                        |         *((rbx + 0x48)) = 0xffffffffffffffff;
    0x00408492 mov rax, qword [r14]                                                                                                                                                                                              |         rax = *(r14);
    0x00408495 mov rdi, r14                                                                                                                                                                                                      |         rdi = r14;
    0x00408498 mov rsi, rbx                                                                                                                                                                                                      |         rsi = rbx;
    0x0040849b call qword [rax + 0x18]                                                                                                                                                                                           |         uint64_t (*rax + 0x18)() ();
                                                                                                                                                                                                                                 |     }
    0x0040849e mov eax, ebp                                                                                                                                                                                                      |     eax = ebp;
    0x004084a0 add rsp, 0x48                                                                                                                                                                                                     |     
    0x004084a4 pop rbx                                                                                                                                                                                                           |     
    0x004084a5 pop r14                                                                                                                                                                                                           |     
    0x004084a7 pop r15                                                                                                                                                                                                           |     
    0x004084a9 pop rbp                                                                                                                                                                                                           |     
    0x004084aa ret                                                                                                                                                                                                               |     return rax;
                                                                                                                                                                                                                                 | }