; assembly                                                                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                                                                 | /* baljsn_encoder.t/assume @ 0x483740 */
                                                                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                                                                 |  
    ; (fcn) method.int_BloombergLP::baljsn::Encoder_ValueDispatcher.operator___BloombergLP::bdlt::Datetime__BloombergLP::bdlt::Datetime_const__BloombergLP::bdlat_TypeCategory::Simple_ ()       | int64_t method_int_BloombergLP::baljsn::Encoder_ValueDispatcher_operator_BloombergLP::bdlt::Datetime_BloombergLP::bdlt::Datetime_const_BloombergLP::bdlat_TypeCategory::Simple_ (int64_t arg2, int64_t arg1) {
                                                                                                                                                                                                 |     int64_t var_8h;
                                                                                                                                                                                                 |     int64_t var_10h;
                                                                                                                                                                                                 |     size_t var_18h;
                                                                                                                                                                                                 |     int64_t var_20h;
                                                                                                                                                                                                 |     rsi = arg2;
                                                                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                                                                 |     /* int BloombergLP::baljsn::Encoder_ValueDispatcher::operator()<BloombergLP::bdlt::Datetime>(BloombergLP::bdlt::Datetime const&, BloombergLP::bdlat_TypeCategory::Simple) */
    0x00483740 push r15                                                                                                                                                                          |     
    0x00483742 push r14                                                                                                                                                                          |     
    0x00483744 push r12                                                                                                                                                                          |     
    0x00483746 push rbx                                                                                                                                                                          |     
    0x00483747 sub rsp, 0x48                                                                                                                                                                     |     
    0x0048374b mov r14, rsi                                                                                                                                                                      |     r14 = rsi;
    0x0048374e mov byte [rdi], 0                                                                                                                                                                 |     *(rdi) = 0;
    0x00483751 mov rbx, qword [rdi + 8]                                                                                                                                                          |     rbx = *((rdi + 8));
    0x00483755 mov r12, qword [rdi + 0x20]                                                                                                                                                       |     r12 = *((rdi + 0x20));
    0x00483759 cmp byte [rbx + 8], 0                                                                                                                                                             |     
                                                                                                                                                                                                 |     if (*((rbx + 8)) != 0) {
    0x0048375d je 0x483789                                                                                                                                                                       |         
    0x0048375f mov rax, qword [rbx + 0x18]                                                                                                                                                       |         rax = *((rbx + 0x18));
    0x00483763 mov rcx, qword [rbx + 0x38]                                                                                                                                                       |         rcx = *((rbx + 0x38));
    0x00483767 dec rcx                                                                                                                                                                           |         rcx--;
    0x0048376a mov rdx, rcx                                                                                                                                                                      |         rdx = rcx;
    0x0048376d shr rdx, 6                                                                                                                                                                        |         rdx >>= 6;
    0x00483771 mov rax, qword [rax + rdx*8]                                                                                                                                                      |         rax = *((rax + rdx*8));
    0x00483775 bt rax, rcx                                                                                                                                                                       |         
                                                                                                                                                                                                 |         if (((rax >> rcx) & 1) >= 0) {
    0x00483779 jae 0x483789                                                                                                                                                                      |             goto label_0;
                                                                                                                                                                                                 |         }
    0x0048377b mov rdi, qword [rbx]                                                                                                                                                              |         
    0x0048377e mov esi, dword [rbx + 0xc]                                                                                                                                                        |         
    0x00483781 mov edx, dword [rbx + 0x10]                                                                                                                                                       |         edx = *((rbx + 0x10));
    0x00483784 call 0x4d79e0                                                                                                                                                                     |         BloombergLP::bdlb::Print::indent(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,int,int) (*(rbx), *((rbx + 0xc)));
                                                                                                                                                                                                 |     }
                                                                                                                                                                                                 | label_0:
    0x00483789 mov r15, qword [rbx]                                                                                                                                                              |     r15 = *(rbx);
    0x0048378c mov dword [rsp + 8], 3                                                                                                                                                            |     *((rsp + 8)) = 3;
    0x00483794 test r12, r12                                                                                                                                                                     |     
                                                                                                                                                                                                 |     if (r12 != 0) {
    0x00483797 je 0x4837aa                                                                                                                                                                       |         
    0x00483799 mov esi, dword [r12 + 8]                                                                                                                                                          |         
    0x0048379e lea rdi, [rsp + 8]                                                                                                                                                                |         
    0x004837a3 call 0x4e9490                                                                                                                                                                     |         BloombergLP::bdlt::Iso8601UtilConfiguration::setFractionalSecondPrecision(int) (rsp + 8, *((r12 + 8)));
    0x004837a8 jmp 0x4837b9                                                                                                                                                                      |         
                                                                                                                                                                                                 |     } else {
    0x004837aa lea rdi, [rsp + 8]                                                                                                                                                                |         
    0x004837af mov esi, 3                                                                                                                                                                        |         
    0x004837b4 call 0x4e9490                                                                                                                                                                     |         BloombergLP::bdlt::Iso8601UtilConfiguration::setFractionalSecondPrecision(int) (rsp + 8, 3);
                                                                                                                                                                                                 |     }
    0x004837b9 lea rbx, [rsp + 0x20]                                                                                                                                                             |     rbx = rsp + 0x20;
    0x004837be lea rcx, [rsp + 8]                                                                                                                                                                |     
    0x004837c3 mov rdi, rbx                                                                                                                                                                      |     
    0x004837c6 mov esi, 0x27                                                                                                                                                                     |     
    0x004837cb mov rdx, r14                                                                                                                                                                      |     
    0x004837ce call 0x4e68d0                                                                                                                                                                     |     BloombergLP::bdlt::Iso8601Util::generate(char*,int,BloombergLP::bdlt::Datetimeconst&,BloombergLP::bdlt::Iso8601UtilConfigurationconst&) (rbx, 0x27, r14, rsp + 8);
    0x004837d3 mov qword [rsp + 0x10], rbx                                                                                                                                                       |     *((rsp + 0x10)) = rbx;
    0x004837d8 mov rdi, rbx                                                                                                                                                                      |     
    0x004837db call 0x4055c0                                                                                                                                                                     |     rax = strlen (rbx);
    0x004837e0 mov qword [rsp + 0x18], rax                                                                                                                                                       |     *((rsp + 0x18)) = rax;
    0x004837e5 lea rsi, [rsp + 0x10]                                                                                                                                                             |     
    0x004837ea mov rdi, r15                                                                                                                                                                      |     
    0x004837ed call 0x48c7d0                                                                                                                                                                     |     BloombergLP::baljsn::PrintUtil::printString(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,std::_1::basic_string_view<char,std::_1::char_traits<char>>const&) (r15, rsp + 0x10);
    0x004837f2 add rsp, 0x48                                                                                                                                                                     |     
    0x004837f6 pop rbx                                                                                                                                                                           |     
    0x004837f7 pop r12                                                                                                                                                                           |     
    0x004837f9 pop r14                                                                                                                                                                           |     
    0x004837fb pop r15                                                                                                                                                                           |     
    0x004837fd ret                                                                                                                                                                               |     return rax;
                                                                                                                                                                                                 | }