; assembly                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                 | /* baljsn_datumutil.t/none @ 0x43f320 */
                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                 |  
    ; (fcn) method.int_BloombergLP::baljsn::SimpleFormatter::addValue_BloombergLP::bdlt.Datetime__BloombergLP::bdlt::Datetime_const_ ()          | uint64_t method_int_BloombergLP::baljsn::SimpleFormatter::addValue_BloombergLP::bdlt_Datetime_BloombergLP::bdlt::Datetime_const_ (int64_t arg2, uint32_t arg1) {
                                                                                                                                                 |     int64_t var_8h;
                                                                                                                                                 |     int64_t var_10h;
                                                                                                                                                 |     int64_t var_40h;
                                                                                                                                                 |     size_t var_48h;
                                                                                                                                                 |     rsi = arg2;
                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                 |     /* int BloombergLP::baljsn::SimpleFormatter::addValue<BloombergLP::bdlt::Datetime>(BloombergLP::bdlt::Datetime const&) */
    0x0043f320 push rbp                                                                                                                          |     
    0x0043f321 push r15                                                                                                                          |     
    0x0043f323 push r14                                                                                                                          |     
    0x0043f325 push r12                                                                                                                          |     
    0x0043f327 push rbx                                                                                                                          |     
    0x0043f328 sub rsp, 0x50                                                                                                                     |     
    0x0043f32c mov r14, rsi                                                                                                                      |     r14 = rsi;
    0x0043f32f mov rbx, rdi                                                                                                                      |     rbx = rdi;
    0x0043f332 cmp dword [rdi + 0x4c], 1                                                                                                         |     
                                                                                                                                                 |     if (*((rdi + 0x4c)) == 1) {
    0x0043f336 jne 0x43f397                                                                                                                      |         
    0x0043f338 mov bpl, byte [rbx + 0xa]                                                                                                         |         bpl = *((rbx + 0xa));
    0x0043f33c mov byte [rbx + 9], 1                                                                                                             |         *((rbx + 9)) = 1;
    0x0043f340 cmp byte [rbx + 8], 0                                                                                                             |         
                                                                                                                                                 |         if (*((rbx + 8)) != 0) {
    0x0043f344 je 0x43f37a                                                                                                                       |             
    0x0043f346 mov rdi, qword [rbx]                                                                                                              |             
    0x0043f349 mov byte [rsp + 0x10], 0x2c                                                                                                       |             *((rsp + 0x10)) = 0x2c;
    0x0043f34e lea rsi, [rsp + 0x10]                                                                                                             |             
    0x0043f353 mov edx, 1                                                                                                                        |             
    0x0043f358 call 0x43afb0                                                                                                                     |             std::_1::basic_ostream<char,std::_1::char_traits<char>>&std::_1::_put_character_sequence<char,std::_1::char_traits<char>>(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,char const*,unsigned long) (*(rbx), rsp + 0x10, 1);
    0x0043f35d cmp dword [rbx + 0x4c], 1                                                                                                         |             
                                                                                                                                                 |             if (*((rbx + 0x4c)) != 1) {
    0x0043f361 jne 0x43f37a                                                                                                                      |                 goto label_0;
                                                                                                                                                 |             }
    0x0043f363 mov rdi, qword [rbx]                                                                                                              |             
    0x0043f366 mov byte [rsp + 0x10], 0xa                                                                                                        |             *((rsp + 0x10)) = 0xa;
    0x0043f36b lea rsi, [rsp + 0x10]                                                                                                             |             
    0x0043f370 mov edx, 1                                                                                                                        |             
    0x0043f375 call 0x43afb0                                                                                                                     |             std::_1::basic_ostream<char,std::_1::char_traits<char>>&std::_1::_put_character_sequence<char,std::_1::char_traits<char>>(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,char const*,unsigned long) (*(rbx), rsp + 0x10, 1);
                                                                                                                                                 |         }
                                                                                                                                                 | label_0:
    0x0043f37a mov byte [rbx + 0xa], 0                                                                                                           |         *((rbx + 0xa)) = 0;
    0x0043f37e mov byte [rbx + 8], 1                                                                                                             |         *((rbx + 8)) = 1;
    0x0043f382 test bpl, bpl                                                                                                                     |         
                                                                                                                                                 |         if (bpl != 0) {
    0x0043f385 jne 0x43f3dd                                                                                                                      |             goto label_1;
                                                                                                                                                 |         }
    0x0043f387 mov rdi, qword [rbx]                                                                                                              |         
    0x0043f38a mov esi, dword [rbx + 0x54]                                                                                                       |         
    0x0043f38d mov edx, dword [rbx + 0x3c]                                                                                                       |         edx = *((rbx + 0x3c));
    0x0043f390 call 0x4485d0                                                                                                                     |         BloombergLP::bdlb::Print::indent(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,int,int) (*(rbx), *((rbx + 0x54)));
    0x0043f395 jmp 0x43f3dd                                                                                                                      |         
                                                                                                                                                 |     } else {
    0x0043f397 mov byte [rbx + 9], 1                                                                                                             |         *((rbx + 9)) = 1;
    0x0043f39b cmp byte [rbx + 8], 0                                                                                                             |         
                                                                                                                                                 |         if (*((rbx + 8)) != 0) {
    0x0043f39f je 0x43f3d5                                                                                                                       |             
    0x0043f3a1 mov rdi, qword [rbx]                                                                                                              |             
    0x0043f3a4 mov byte [rsp + 0x10], 0x2c                                                                                                       |             *((rsp + 0x10)) = 0x2c;
    0x0043f3a9 lea rsi, [rsp + 0x10]                                                                                                             |             
    0x0043f3ae mov edx, 1                                                                                                                        |             
    0x0043f3b3 call 0x43afb0                                                                                                                     |             std::_1::basic_ostream<char,std::_1::char_traits<char>>&std::_1::_put_character_sequence<char,std::_1::char_traits<char>>(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,char const*,unsigned long) (*(rbx), rsp + 0x10, 1);
    0x0043f3b8 cmp dword [rbx + 0x4c], 1                                                                                                         |             
                                                                                                                                                 |             if (*((rbx + 0x4c)) != 1) {
    0x0043f3bc jne 0x43f3d5                                                                                                                      |                 goto label_2;
                                                                                                                                                 |             }
    0x0043f3be mov rdi, qword [rbx]                                                                                                              |             
    0x0043f3c1 mov byte [rsp + 0x10], 0xa                                                                                                        |             *((rsp + 0x10)) = 0xa;
    0x0043f3c6 lea rsi, [rsp + 0x10]                                                                                                             |             
    0x0043f3cb mov edx, 1                                                                                                                        |             
    0x0043f3d0 call 0x43afb0                                                                                                                     |             std::_1::basic_ostream<char,std::_1::char_traits<char>>&std::_1::_put_character_sequence<char,std::_1::char_traits<char>>(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,char const*,unsigned long) (*(rbx), rsp + 0x10, 1);
                                                                                                                                                 |         }
                                                                                                                                                 | label_2:
    0x0043f3d5 mov byte [rbx + 0xa], 0                                                                                                           |         *((rbx + 0xa)) = 0;
    0x0043f3d9 mov byte [rbx + 8], 1                                                                                                             |         *((rbx + 8)) = 1;
                                                                                                                                                 |     }
                                                                                                                                                 | label_1:
    0x0043f3dd mov r15, qword [rbx]                                                                                                              |     r15 = *(rbx);
    0x0043f3e0 mov dword [rsp + 8], 3                                                                                                            |     *((rsp + 8)) = 3;
    0x0043f3e8 mov esi, dword [rbx + 0x40]                                                                                                       |     
    0x0043f3eb lea r12, [rsp + 8]                                                                                                                |     r12 = rsp + 8;
    0x0043f3f0 mov rdi, r12                                                                                                                      |     
    0x0043f3f3 call 0x463500                                                                                                                     |     BloombergLP::bdlt::Iso8601UtilConfiguration::setFractionalSecondPrecision(int) (r12, *((rbx + 0x40)));
    0x0043f3f8 lea rbx, [rsp + 0x10]                                                                                                             |     rbx = rsp + 0x10;
    0x0043f3fd mov rdi, rbx                                                                                                                      |     
    0x0043f400 mov esi, 0x27                                                                                                                     |     
    0x0043f405 mov rdx, r14                                                                                                                      |     
    0x0043f408 mov rcx, r12                                                                                                                      |     
    0x0043f40b call 0x460760                                                                                                                     |     BloombergLP::bdlt::Iso8601Util::generate(char*,int,BloombergLP::bdlt::Datetimeconst&,BloombergLP::bdlt::Iso8601UtilConfigurationconst&) (rbx, 0x27, r14, r12);
    0x0043f410 mov qword [rsp + 0x40], rbx                                                                                                       |     *((rsp + 0x40)) = rbx;
    0x0043f415 mov rdi, rbx                                                                                                                      |     
    0x0043f418 call 0x4047a0                                                                                                                     |     rax = strlen (rbx);
    0x0043f41d mov qword [rsp + 0x48], rax                                                                                                       |     *((rsp + 0x48)) = rax;
    0x0043f422 lea rsi, [rsp + 0x40]                                                                                                             |     
    0x0043f427 mov rdi, r15                                                                                                                      |     
    0x0043f42a call 0x440fd0                                                                                                                     |     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 + 0x40);
    0x0043f42f add rsp, 0x50                                                                                                                     |     
    0x0043f433 pop rbx                                                                                                                           |     
    0x0043f434 pop r12                                                                                                                           |     
    0x0043f436 pop r14                                                                                                                           |     
    0x0043f438 pop r15                                                                                                                           |     
    0x0043f43a pop rbp                                                                                                                           |     
    0x0043f43b ret                                                                                                                               |     return rax;
                                                                                                                                                 | }