; assembly                                                                                                                                                                                                                                                                       | /* r2dec pseudo code output */
                                                                                                                                                                                                                                                                                     | /* bslmt_barrier.t/assume @ 0x408e60 */
                                                                                                                                                                                                                                                                                     | #include <stdint.h>
                                                                                                                                                                                                                                                                                     |  
    ; (fcn) method.int_BloombergLP::bslmt::ChronoUtil::timedWait_BloombergLP::bslmt::Barrier__HalfClock__std::__1::chrono::duration_long_long__std::__1.ratio_1l__1000000000l______BloombergLP::bslmt::Barrier__std::__1::chrono::time_point_HalfClock__std::__1::chrono: ()         | uint64_t method_int_BloombergLP::bslmt::ChronoUtil::timedWait_BloombergLP::bslmt::Barrier_HalfClock_std::_1::chrono::duration_long_long_std::_1_ratio_1l_1000000000l_BloombergLP::bslmt::Barrier_std::_1::chrono::time_point_HalfClock_std::_1::chrono_ (uint32_t arg2, int64_t arg1) {
                                                                                                                                                                                                                                                                                     |     int64_t var_8h;
                                                                                                                                                                                                                                                                                     |     int64_t var_10h;
                                                                                                                                                                                                                                                                                     |     rsi = arg2;
                                                                                                                                                                                                                                                                                     |     rdi = arg1;
                                                                                                                                                                                                                                                                                     |     /* int BloombergLP::bslmt::ChronoUtil::timedWait<BloombergLP::bslmt::Barrier, HalfClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > >(BloombergLP::bslmt::Barrier*, std::__1::chrono::time_point<HalfClock, std::__1::chrono::duration<long long, std::__1::ratio<1l, 1000000000l> > > const&) */
    0x00408e60 push rbp                                                                                                                                                                                                                                                              |     
    0x00408e61 push r15                                                                                                                                                                                                                                                              |     
    0x00408e63 push r14                                                                                                                                                                                                                                                              |     
    0x00408e65 push r13                                                                                                                                                                                                                                                              |     
    0x00408e67 push r12                                                                                                                                                                                                                                                              |     
    0x00408e69 push rbx                                                                                                                                                                                                                                                              |     
    0x00408e6a sub rsp, 0x28                                                                                                                                                                                                                                                         |     
    0x00408e6e mov rbx, rsi                                                                                                                                                                                                                                                          |     rbx = rsi;
    0x00408e71 mov r14, rdi                                                                                                                                                                                                                                                          |     r14 = rdi;
    0x00408e74 call 0x403660                                                                                                                                                                                                                                                         |     rax = std::_1::chrono::steady_clock::now() ();
    0x00408e79 mov r15, rax                                                                                                                                                                                                                                                          |     r15 = rax;
    0x00408e7c shr r15, 0x3f                                                                                                                                                                                                                                                         |     r15 >>= 0x3f;
    0x00408e80 add r15, rax                                                                                                                                                                                                                                                          |     r15 += rax;
    0x00408e83 sar r15, 1                                                                                                                                                                                                                                                            |     r15 >>= 1;
    0x00408e86 mov eax, 0xffffffff                                                                                                                                                                                                                                                   |     eax = 0xffffffff;
    0x00408e8b cmp r15, qword [rbx]                                                                                                                                                                                                                                                  |     
                                                                                                                                                                                                                                                                                     |     if (r15 >= *(rbx)) {
    0x00408e8e jge 0x408f30                                                                                                                                                                                                                                                          |         goto label_0;
                                                                                                                                                                                                                                                                                     |     }
    0x00408e94 movabs r13, 0x112e0be826d694b3                                                                                                                                                                                                                                        |     r13 = 0x112e0be826d694b3;
    0x00408e9e mov r12, rsp                                                                                                                                                                                                                                                          |     r12 = rsp;
    0x00408ea1 lea rbp, [rsp + 0x10]                                                                                                                                                                                                                                                 |     rbp = rsp + 0x10;
    0x00408ea6 nop word cs:[rax + rax]                                                                                                                                                                                                                                               |     
                                                                                                                                                                                                                                                                                     |     do {
    0x00408eb0 cmp dword [r14 + 0x58], 1                                                                                                                                                                                                                                             |         
                                                                                                                                                                                                                                                                                     |         if (*((r14 + 0x58)) == 1) {
    0x00408eb5 jne 0x408ec0                                                                                                                                                                                                                                                          |             
    0x00408eb7 call 0x42f080                                                                                                                                                                                                                                                         |             BloombergLP::bsls::SystemTime::nowMonotonicClock() ();
    0x00408ebc jmp 0x408ec5                                                                                                                                                                                                                                                          |             
                                                                                                                                                                                                                                                                                     |         } else {
    0x00408ec0 call 0x42f110                                                                                                                                                                                                                                                         |             rax = BloombergLP::bsls::SystemTime::nowRealtimeClock() ();
                                                                                                                                                                                                                                                                                     |         }
    0x00408ec5 mov qword [rsp], rax                                                                                                                                                                                                                                                  |         *(rsp) = rax;
    0x00408ec9 mov dword [rsp + 8], edx                                                                                                                                                                                                                                              |         *((rsp + 8)) = edx;
    0x00408ecd mov rcx, qword [rbx]                                                                                                                                                                                                                                                  |         rcx = *(rbx);
    0x00408ed0 sub rcx, r15                                                                                                                                                                                                                                                          |         rcx -= r15;
    0x00408ed3 mov rax, rcx                                                                                                                                                                                                                                                          |         rax = rcx;
    0x00408ed6 imul r13                                                                                                                                                                                                                                                              |         rdx:rax = rax * r13;
    0x00408ed9 mov rax, rdx                                                                                                                                                                                                                                                          |         rax = rdx;
    0x00408edc shr rax, 0x3f                                                                                                                                                                                                                                                         |         rax >>= 0x3f;
    0x00408ee0 sar rdx, 0x1a                                                                                                                                                                                                                                                         |         rdx >>= 0x1a;
    0x00408ee4 add rdx, rax                                                                                                                                                                                                                                                          |         rdx += rax;
    0x00408ee7 imul eax, edx, 0xc4653600                                                                                                                                                                                                                                             |         eax = edx * 0xc4653600;
    0x00408eed add ecx, eax                                                                                                                                                                                                                                                          |         ecx += eax;
    0x00408eef mov rdi, r12                                                                                                                                                                                                                                                          |         
    0x00408ef2 mov rsi, rdx                                                                                                                                                                                                                                                          |         
    0x00408ef5 mov edx, ecx                                                                                                                                                                                                                                                          |         
    0x00408ef7 call 0x42f230                                                                                                                                                                                                                                                         |         rax = BloombergLP::bsls::TimeInterval::addInterval(long long,int) (r12, rdx, ecx);
    0x00408efc movups xmm0, xmmword [rax]                                                                                                                                                                                                                                            |         __asm ("movups xmm0, xmmword [rax]");
    0x00408eff movaps xmmword [rsp + 0x10], xmm0                                                                                                                                                                                                                                     |         *((rsp + 0x10)) = xmm0;
    0x00408f04 mov rdi, r14                                                                                                                                                                                                                                                          |         
    0x00408f07 mov rsi, rbp                                                                                                                                                                                                                                                          |         
    0x00408f0a call 0x4090b0                                                                                                                                                                                                                                                         |         eax = BloombergLP::bslmt::Barrier::timedWait(BloombergLP::bsls::TimeIntervalconst&) (r14, rbp);
    0x00408f0f cmp eax, 0xffffffff                                                                                                                                                                                                                                                   |         
                                                                                                                                                                                                                                                                                     |         if (eax != 0xffffffff) {
    0x00408f12 jne 0x408f30                                                                                                                                                                                                                                                          |             goto label_0;
                                                                                                                                                                                                                                                                                     |         }
    0x00408f14 call 0x403660                                                                                                                                                                                                                                                         |         rax = std::_1::chrono::steady_clock::now() ();
    0x00408f19 mov r15, rax                                                                                                                                                                                                                                                          |         r15 = rax;
    0x00408f1c shr r15, 0x3f                                                                                                                                                                                                                                                         |         r15 >>= 0x3f;
    0x00408f20 add r15, rax                                                                                                                                                                                                                                                          |         r15 += rax;
    0x00408f23 sar r15, 1                                                                                                                                                                                                                                                            |         r15 >>= 1;
    0x00408f26 cmp r15, qword [rbx]                                                                                                                                                                                                                                                  |         
    0x00408f29 jl 0x408eb0                                                                                                                                                                                                                                                           |         
                                                                                                                                                                                                                                                                                     |     } while (r15 < *(rbx));
    0x00408f2b mov eax, 0xffffffff                                                                                                                                                                                                                                                   |     eax = 0xffffffff;
                                                                                                                                                                                                                                                                                     | label_0:
    0x00408f30 add rsp, 0x28                                                                                                                                                                                                                                                         |     
    0x00408f34 pop rbx                                                                                                                                                                                                                                                               |     
    0x00408f35 pop r12                                                                                                                                                                                                                                                               |     
    0x00408f37 pop r13                                                                                                                                                                                                                                                               |     
    0x00408f39 pop r14                                                                                                                                                                                                                                                               |     
    0x00408f3b pop r15                                                                                                                                                                                                                                                               |     
    0x00408f3d pop rbp                                                                                                                                                                                                                                                               |     
    0x00408f3e ret                                                                                                                                                                                                                                                                   |     return rax;
                                                                                                                                                                                                                                                                                     | }