; assembly                                                                                                                                                                                                               | /* r2dec pseudo code output */
                                                                                                                                                                                                                             | /* bslstl_ostringstream.t/none @ 0x41ee30 */
                                                                                                                                                                                                                             | #include <stdint.h>
                                                                                                                                                                                                                             |  
    ; (fcn) method.bsl::basic_stringbuf_char__std::__1::char_traits_char___BloombergLP::bsltf::StdStatefulAllocator_char__true__true__false__true___.seekoff_long_long__std::__1::ios_base::seekdir__unsigned_int_ ()        | int64_t method_bsl::basic_stringbuf_char_std::_1::char_traits_char_BloombergLP::bsltf::StdStatefulAllocator_char_true_true_false_true_seekoff_long_long_std::_1::ios_base::seekdir_unsigned_int_ (int64_t arg4, uint32_t arg3, int32_t arg2, uint32_t arg1) {
                                                                                                                                                                                                                             |     rcx = arg4;
                                                                                                                                                                                                                             |     rdx = arg3;
                                                                                                                                                                                                                             |     rsi = arg2;
                                                                                                                                                                                                                             |     rdi = arg1;
                                                                                                                                                                                                                             |     /* bsl::basic_stringbuf<char, std::__1::char_traits<char>, BloombergLP::bsltf::StdStatefulAllocator<char, true, true, false, true> >::seekoff(long long, std::__1::ios_base::seekdir, unsigned int) */
    0x0041ee30 cmp edx, 1                                                                                                                                                                                                    |     
                                                                                                                                                                                                                             |     if (edx == 1) {
    0x0041ee33 jne 0x41ee4a                                                                                                                                                                                                  |         
    0x0041ee35 mov eax, ecx                                                                                                                                                                                                  |         eax = ecx;
    0x0041ee37 and eax, 0x18                                                                                                                                                                                                 |         eax &= 0x18;
    0x0041ee3a mov r8, 0xffffffffffffffff                                                                                                                                                                                    |         r8 = 0xffffffffffffffff;
    0x0041ee41 cmp eax, 0x18                                                                                                                                                                                                 |         
                                                                                                                                                                                                                             |         if (eax == 0x18) {
    0x0041ee44 je 0x41f00c                                                                                                                                                                                                   |             goto label_0;
                                                                                                                                                                                                                             |         }
                                                                                                                                                                                                                             |     }
    0x0041ee4a mov r8, 0xffffffffffffffff                                                                                                                                                                                    |     r8 = 0xffffffffffffffff;
    0x0041ee51 test cl, 8                                                                                                                                                                                                    |     
                                                                                                                                                                                                                             |     if ((cl & 8) != 0) {
    0x0041ee54 je 0x41eef3                                                                                                                                                                                                   |         
    0x0041ee5a test byte [rdi + 0x78], 8                                                                                                                                                                                     |         
                                                                                                                                                                                                                             |         if ((*((rdi + 0x78)) & 8) == 0) {
    0x0041ee5e je 0x41eef3                                                                                                                                                                                                   |             goto label_1;
                                                                                                                                                                                                                             |         }
    0x0041ee64 cmp edx, 2                                                                                                                                                                                                    |         
                                                                                                                                                                                                                             |         if (edx != 2) {
    0x0041ee67 je 0x41ee78                                                                                                                                                                                                   |             
    0x0041ee69 cmp edx, 1                                                                                                                                                                                                    |             
                                                                                                                                                                                                                             |             if (edx != 1) {
    0x0041ee6c je 0x41ee91                                                                                                                                                                                                   |                 
    0x0041ee6e test edx, edx                                                                                                                                                                                                 |                 
                                                                                                                                                                                                                             |                 if (edx != 0) {
    0x0041ee70 jne 0x41ee9a                                                                                                                                                                                                  |                     goto label_2;
                                                                                                                                                                                                                             |                 }
    0x0041ee72 mov r9, qword [rdi + 0x10]                                                                                                                                                                                    |                 r9 = *((rdi + 0x10));
    0x0041ee76 jmp 0x41ee95                                                                                                                                                                                                  |                 
    0x0041ee78 mov r9, qword [rdi + 0x30]                                                                                                                                                                                    |                 r9 = *((rdi + 0x30));
    0x0041ee7c sub r9, qword [rdi + 0x28]                                                                                                                                                                                    |                 r9 -= *((rdi + 0x28));
    0x0041ee80 mov rax, qword [rdi + 0x70]                                                                                                                                                                                   |                 rax = *((rdi + 0x70));
    0x0041ee84 cmp rax, r9                                                                                                                                                                                                   |                 
                                                                                                                                                                                                                             |             } else {
                                                                                                                                                                                                                             |             } else {
                                                                                                                                                                                                                             |                 if (rax >= r9) {
    0x0041ee87 cmovge r9, rax                                                                                                                                                                                                |                     r9 = rax;
                                                                                                                                                                                                                             |                 }
    0x0041ee8b add r9, qword [rdi + 0x10]                                                                                                                                                                                    |                 r9 += *((rdi + 0x10));
    0x0041ee8f jmp 0x41ee95                                                                                                                                                                                                  |                 
    0x0041ee91 mov r9, qword [rdi + 0x18]                                                                                                                                                                                    |                 r9 = *((rdi + 0x18));
                                                                                                                                                                                                                             |             }
                                                                                                                                                                                                                             |         }
    0x0041ee95 add r9, rsi                                                                                                                                                                                                   |         r9 += rsi;
    0x0041ee98 jmp 0x41ee9d                                                                                                                                                                                                  |         goto label_3;
                                                                                                                                                                                                                             | label_2:
    0x0041ee9a xor r9d, r9d                                                                                                                                                                                                  |         r9d = 0;
                                                                                                                                                                                                                             | label_3:
    0x0041ee9d mov rax, qword [rdi + 0x10]                                                                                                                                                                                   |         rax = *((rdi + 0x10));
    0x0041eea1 mov r8, 0xffffffffffffffff                                                                                                                                                                                    |         r8 = 0xffffffffffffffff;
    0x0041eea8 cmp r9, rax                                                                                                                                                                                                   |         
                                                                                                                                                                                                                             |         if (r9 < rax) {
    0x0041eeab jb 0x41f00c                                                                                                                                                                                                   |             goto label_0;
                                                                                                                                                                                                                             |         }
    0x0041eeb1 mov r10, qword [rdi + 0x30]                                                                                                                                                                                   |         r10 = *((rdi + 0x30));
    0x0041eeb5 mov r11, qword [rdi + 0x70]                                                                                                                                                                                   |         r11 = *((rdi + 0x70));
    0x0041eeb9 sub r10, qword [rdi + 0x28]                                                                                                                                                                                   |         r10 -= *((rdi + 0x28));
    0x0041eebd cmp r11, r10                                                                                                                                                                                                  |         
                                                                                                                                                                                                                             |         if (r11 >= r10) {
    0x0041eec0 cmovge r10, r11                                                                                                                                                                                               |             r10 = r11;
                                                                                                                                                                                                                             |         }
    0x0041eec4 add rax, r10                                                                                                                                                                                                  |         rax += r10;
    0x0041eec7 cmp r9, rax                                                                                                                                                                                                   |         
                                                                                                                                                                                                                             |         if (r9 > rax) {
    0x0041eeca ja 0x41f00c                                                                                                                                                                                                   |             goto label_0;
                                                                                                                                                                                                                             |         }
    0x0041eed0 lea r8, [rdi + 0x40]                                                                                                                                                                                          |         r8 = rdi + 0x40;
    0x0041eed4 cmp qword [rdi + 0x60], 0x17                                                                                                                                                                                  |         
                                                                                                                                                                                                                             |         if (*((rdi + 0x60)) != 0x17) {
    0x0041eed9 je 0x41eede                                                                                                                                                                                                   |             
    0x0041eedb mov r8, qword [r8]                                                                                                                                                                                            |             r8 = *(r8);
                                                                                                                                                                                                                             |         }
    0x0041eede add r10, r8                                                                                                                                                                                                   |         r10 += r8;
    0x0041eee1 mov qword [rdi + 0x10], r8                                                                                                                                                                                    |         *((rdi + 0x10)) = r8;
    0x0041eee5 mov qword [rdi + 0x18], r9                                                                                                                                                                                    |         *((rdi + 0x18)) = r9;
    0x0041eee9 mov qword [rdi + 0x20], r10                                                                                                                                                                                   |         *((rdi + 0x20)) = r10;
    0x0041eeed sub r9, r8                                                                                                                                                                                                    |         r9 -= r8;
    0x0041eef0 mov r8, r9                                                                                                                                                                                                    |         r8 = r9;
                                                                                                                                                                                                                             |     }
                                                                                                                                                                                                                             | label_1:
    0x0041eef3 test cl, 0x10                                                                                                                                                                                                 |     
                                                                                                                                                                                                                             |     if ((cl & 0x10) != 0) {
    0x0041eef6 je 0x41f00c                                                                                                                                                                                                   |         
    0x0041eefc test byte [rdi + 0x78], 0x10                                                                                                                                                                                  |         
                                                                                                                                                                                                                             |         if ((*((rdi + 0x78)) & 0x10) == 0) {
    0x0041ef00 je 0x41f00c                                                                                                                                                                                                   |             goto label_0;
                                                                                                                                                                                                                             |         }
    0x0041ef06 cmp edx, 2                                                                                                                                                                                                    |         
                                                                                                                                                                                                                             |         if (edx != 2) {
    0x0041ef09 je 0x41ef1a                                                                                                                                                                                                   |             
    0x0041ef0b cmp edx, 1                                                                                                                                                                                                    |             
                                                                                                                                                                                                                             |             if (edx != 1) {
    0x0041ef0e je 0x41ef38                                                                                                                                                                                                   |                 
    0x0041ef10 test edx, edx                                                                                                                                                                                                 |                 
                                                                                                                                                                                                                             |                 if (edx == 0) {
    0x0041ef12 jne 0x41ef3e                                                                                                                                                                                                  |                     
    0x0041ef14 add rsi, qword [rdi + 0x28]                                                                                                                                                                                   |                     rsi += *((rdi + 0x28));
    0x0041ef18 jmp 0x41ef40                                                                                                                                                                                                  |                     
                                                                                                                                                                                                                             |                 } else {
    0x0041ef1a mov rax, qword [rdi + 0x28]                                                                                                                                                                                   |                     rax = *((rdi + 0x28));
    0x0041ef1e mov rcx, qword [rdi + 0x30]                                                                                                                                                                                   |                     rcx = *((rdi + 0x30));
    0x0041ef22 sub rcx, rax                                                                                                                                                                                                  |                     rcx -= rax;
    0x0041ef25 mov rdx, qword [rdi + 0x70]                                                                                                                                                                                   |                     rdx = *((rdi + 0x70));
    0x0041ef29 cmp rdx, rcx                                                                                                                                                                                                  |                     
                                                                                                                                                                                                                             |                     if (rdx >= rcx) {
    0x0041ef2c cmovge rcx, rdx                                                                                                                                                                                               |                         rcx = rdx;
                                                                                                                                                                                                                             |                     }
    0x0041ef30 add rcx, rax                                                                                                                                                                                                  |                     rcx += rax;
    0x0041ef33 add rsi, rcx                                                                                                                                                                                                  |                     rsi += rcx;
    0x0041ef36 jmp 0x41ef40                                                                                                                                                                                                  |                     
    0x0041ef38 add rsi, qword [rdi + 0x30]                                                                                                                                                                                   |                     rsi += *((rdi + 0x30));
    0x0041ef3c jmp 0x41ef40                                                                                                                                                                                                  |                     
                                                                                                                                                                                                                             |                 } else {
                                                                                                                                                                                                                             |                 } else {
    0x0041ef3e xor esi, esi                                                                                                                                                                                                  |                     esi = 0;
                                                                                                                                                                                                                             |                 }
                                                                                                                                                                                                                             |             }
                                                                                                                                                                                                                             |         }
    0x0041ef40 mov rax, qword [rdi + 0x28]                                                                                                                                                                                   |         rax = *((rdi + 0x28));
    0x0041ef44 mov r8, 0xffffffffffffffff                                                                                                                                                                                    |         r8 = 0xffffffffffffffff;
    0x0041ef4b cmp rsi, rax                                                                                                                                                                                                  |         
                                                                                                                                                                                                                             |         if (rsi < rax) {
    0x0041ef4e jb 0x41f00c                                                                                                                                                                                                   |             goto label_0;
                                                                                                                                                                                                                             |         }
    0x0041ef54 mov rcx, qword [rdi + 0x30]                                                                                                                                                                                   |         rcx = *((rdi + 0x30));
    0x0041ef58 mov rdx, qword [rdi + 0x70]                                                                                                                                                                                   |         rdx = *((rdi + 0x70));
    0x0041ef5c sub rcx, rax                                                                                                                                                                                                  |         rcx -= rax;
    0x0041ef5f cmp rdx, rcx                                                                                                                                                                                                  |         
                                                                                                                                                                                                                             |         if (rdx >= rcx) {
    0x0041ef62 cmovge rcx, rdx                                                                                                                                                                                               |             rcx = rdx;
                                                                                                                                                                                                                             |         }
    0x0041ef66 add rcx, rax                                                                                                                                                                                                  |         rcx += rax;
    0x0041ef69 cmp rsi, rcx                                                                                                                                                                                                  |         
                                                                                                                                                                                                                             |         if (rsi > rcx) {
    0x0041ef6c ja 0x41f00c                                                                                                                                                                                                   |             goto label_0;
                                                                                                                                                                                                                             |         }
    0x0041ef72 lea r8, [rdi + 0x40]                                                                                                                                                                                          |         r8 = rdi + 0x40;
    0x0041ef76 cmp qword [rdi + 0x60], 0x17                                                                                                                                                                                  |         
                                                                                                                                                                                                                             |         if (*((rdi + 0x60)) != 0x17) {
    0x0041ef7b je 0x41ef80                                                                                                                                                                                                   |             
    0x0041ef7d mov r8, qword [r8]                                                                                                                                                                                            |             r8 = *(r8);
                                                                                                                                                                                                                             |         }
    0x0041ef80 sub rsi, r8                                                                                                                                                                                                   |         rsi -= r8;
    0x0041ef83 mov rax, qword [rdi + 0x58]                                                                                                                                                                                   |         rax = *((rdi + 0x58));
    0x0041ef87 add rax, r8                                                                                                                                                                                                   |         rax += r8;
    0x0041ef8a mov qword [rdi + 0x30], r8                                                                                                                                                                                    |         *((rdi + 0x30)) = r8;
    0x0041ef8e mov qword [rdi + 0x28], r8                                                                                                                                                                                    |         *((rdi + 0x28)) = r8;
    0x0041ef92 mov qword [rdi + 0x38], rax                                                                                                                                                                                   |         *((rdi + 0x38)) = rax;
    0x0041ef96 mov eax, 0x80000000                                                                                                                                                                                           |         eax = 0x80000000;
    0x0041ef9b cmp rsi, rax                                                                                                                                                                                                  |         
                                                                                                                                                                                                                             |         if (rsi >= rax) {
    0x0041ef9e jl 0x41eff8                                                                                                                                                                                                   |             
    0x0041efa0 mov eax, 0xfffffffe                                                                                                                                                                                           |             eax = 0xfffffffe;
    0x0041efa5 cmp rsi, rax                                                                                                                                                                                                  |             
                                                                                                                                                                                                                             |             if (rsi < rax) {
    0x0041efa8 cmovl rax, rsi                                                                                                                                                                                                |                 rax = rsi;
                                                                                                                                                                                                                             |             }
    0x0041efac neg rax                                                                                                                                                                                                       |             rax = -rax;
    0x0041efaf lea rcx, [rsi + rax + 0x7ffffffe]                                                                                                                                                                             |             rcx = rsi + rax + 0x7ffffffe;
    0x0041efb7 movabs rdx, 0x200000005                                                                                                                                                                                       |             rdx = 0x200000005;
    0x0041efc1 mov rax, rcx                                                                                                                                                                                                  |             rax = rcx;
    0x0041efc4 mul rdx                                                                                                                                                                                                       |             rdx:rax = rax * rdx;
    0x0041efc7 sub rcx, rdx                                                                                                                                                                                                  |             rcx -= rdx;
    0x0041efca shr rcx, 1                                                                                                                                                                                                    |             rcx >>= 1;
    0x0041efcd add rcx, rdx                                                                                                                                                                                                  |             rcx += rdx;
    0x0041efd0 shr rcx, 0x1e                                                                                                                                                                                                 |             rcx >>= 0x1e;
    0x0041efd4 mov rdx, rcx                                                                                                                                                                                                  |             rdx = rcx;
    0x0041efd7 shl rdx, 0x1f                                                                                                                                                                                                 |             rdx <<= 0x1f;
    0x0041efdb sub rdx, rcx                                                                                                                                                                                                  |             rdx -= rcx;
    0x0041efde lea r8, [rdx + r8 + 0x7fffffff]                                                                                                                                                                               |             r8 = rdx + r8 + 0x7fffffff;
    0x0041efe6 mov rax, rsi                                                                                                                                                                                                  |             rax = rsi;
    0x0041efe9 sub rax, rdx                                                                                                                                                                                                  |             rax -= rdx;
    0x0041efec add rax, 0xffffffff80000001                                                                                                                                                                                   |             rax += 0xffffffff80000001;
    0x0041eff2 mov qword [rdi + 0x30], r8                                                                                                                                                                                    |             *((rdi + 0x30)) = r8;
    0x0041eff6 jmp 0x41effb                                                                                                                                                                                                  |             
                                                                                                                                                                                                                             |         } else {
    0x0041eff8 mov rax, rsi                                                                                                                                                                                                  |             rax = rsi;
                                                                                                                                                                                                                             |         }
    0x0041effb test rax, rax                                                                                                                                                                                                 |         
                                                                                                                                                                                                                             |         if (rax != 0) {
    0x0041effe je 0x41f009                                                                                                                                                                                                   |             
    0x0041f000 cdqe                                                                                                                                                                                                          |             rax = (int64_t) eax;
    0x0041f002 add r8, rax                                                                                                                                                                                                   |             r8 += rax;
    0x0041f005 mov qword [rdi + 0x30], r8                                                                                                                                                                                    |             *((rdi + 0x30)) = r8;
                                                                                                                                                                                                                             |         }
    0x0041f009 mov r8, rsi                                                                                                                                                                                                   |         r8 = rsi;
                                                                                                                                                                                                                             |     }
                                                                                                                                                                                                                             | label_0:
    0x0041f00c xor eax, eax                                                                                                                                                                                                  |     eax = 0;
    0x0041f00e mov rdx, r8                                                                                                                                                                                                   |     rdx = r8;
    0x0041f011 ret                                                                                                                                                                                                           |     return rax;
                                                                                                                                                                                                                             | }