; assembly                                                                                                                           | /* r2dec pseudo code output */
                                                                                                                                         | /* baljsn_datumutil.t/assume @ 0x43f030 */
                                                                                                                                         | #include <stdint.h>
                                                                                                                                         |  
    ; (fcn) method.int_BloombergLP::baljsn::SimpleFormatter::addValue_BloombergLP::bdlt.Time__BloombergLP::bdlt::Time_const_ ()          | uint64_t method_int_BloombergLP::baljsn::SimpleFormatter::addValue_BloombergLP::bdlt_Time_BloombergLP::bdlt::Time_const_ (int64_t arg2, uint32_t arg1) {
                                                                                                                                         |     int64_t var_8h;
                                                                                                                                         |     int64_t var_10h;
                                                                                                                                         |     int64_t var_38h;
                                                                                                                                         |     size_t var_40h;
                                                                                                                                         |     rsi = arg2;
                                                                                                                                         |     rdi = arg1;
                                                                                                                                         |     /* int BloombergLP::baljsn::SimpleFormatter::addValue<BloombergLP::bdlt::Time>(BloombergLP::bdlt::Time const&) */
    0x0043f030 push rbp                                                                                                                  |     
    0x0043f031 push r15                                                                                                                  |     
    0x0043f033 push r14                                                                                                                  |     
    0x0043f035 push rbx                                                                                                                  |     
    0x0043f036 sub rsp, 0x48                                                                                                             |     
    0x0043f03a mov r14, rsi                                                                                                              |     r14 = rsi;
    0x0043f03d mov rbx, rdi                                                                                                              |     rbx = rdi;
    0x0043f040 cmp dword [rdi + 0x4c], 1                                                                                                 |     
                                                                                                                                         |     if (*((rdi + 0x4c)) == 1) {
    0x0043f044 jne 0x43f0a5                                                                                                              |         
    0x0043f046 mov bpl, byte [rbx + 0xa]                                                                                                 |         bpl = *((rbx + 0xa));
    0x0043f04a mov byte [rbx + 9], 1                                                                                                     |         *((rbx + 9)) = 1;
    0x0043f04e cmp byte [rbx + 8], 0                                                                                                     |         
                                                                                                                                         |         if (*((rbx + 8)) != 0) {
    0x0043f052 je 0x43f088                                                                                                               |             
    0x0043f054 mov rdi, qword [rbx]                                                                                                      |             
    0x0043f057 mov byte [rsp + 0x10], 0x2c                                                                                               |             *((rsp + 0x10)) = 0x2c;
    0x0043f05c lea rsi, [rsp + 0x10]                                                                                                     |             
    0x0043f061 mov edx, 1                                                                                                                |             
    0x0043f066 call 0x43ae00                                                                                                             |             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);
    0x0043f06b cmp dword [rbx + 0x4c], 1                                                                                                 |             
                                                                                                                                         |             if (*((rbx + 0x4c)) != 1) {
    0x0043f06f jne 0x43f088                                                                                                              |                 goto label_0;
                                                                                                                                         |             }
    0x0043f071 mov rdi, qword [rbx]                                                                                                      |             
    0x0043f074 mov byte [rsp + 0x10], 0xa                                                                                                |             *((rsp + 0x10)) = 0xa;
    0x0043f079 lea rsi, [rsp + 0x10]                                                                                                     |             
    0x0043f07e mov edx, 1                                                                                                                |             
    0x0043f083 call 0x43ae00                                                                                                             |             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:
    0x0043f088 mov byte [rbx + 0xa], 0                                                                                                   |         *((rbx + 0xa)) = 0;
    0x0043f08c mov byte [rbx + 8], 1                                                                                                     |         *((rbx + 8)) = 1;
    0x0043f090 test bpl, bpl                                                                                                             |         
                                                                                                                                         |         if (bpl != 0) {
    0x0043f093 jne 0x43f0eb                                                                                                              |             goto label_1;
                                                                                                                                         |         }
    0x0043f095 mov rdi, qword [rbx]                                                                                                      |         
    0x0043f098 mov esi, dword [rbx + 0x54]                                                                                               |         
    0x0043f09b mov edx, dword [rbx + 0x3c]                                                                                               |         edx = *((rbx + 0x3c));
    0x0043f09e call 0x448060                                                                                                             |         BloombergLP::bdlb::Print::indent(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,int,int) (*(rbx), *((rbx + 0x54)));
    0x0043f0a3 jmp 0x43f0eb                                                                                                              |         
                                                                                                                                         |     } else {
    0x0043f0a5 mov byte [rbx + 9], 1                                                                                                     |         *((rbx + 9)) = 1;
    0x0043f0a9 cmp byte [rbx + 8], 0                                                                                                     |         
                                                                                                                                         |         if (*((rbx + 8)) != 0) {
    0x0043f0ad je 0x43f0e3                                                                                                               |             
    0x0043f0af mov rdi, qword [rbx]                                                                                                      |             
    0x0043f0b2 mov byte [rsp + 0x10], 0x2c                                                                                               |             *((rsp + 0x10)) = 0x2c;
    0x0043f0b7 lea rsi, [rsp + 0x10]                                                                                                     |             
    0x0043f0bc mov edx, 1                                                                                                                |             
    0x0043f0c1 call 0x43ae00                                                                                                             |             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);
    0x0043f0c6 cmp dword [rbx + 0x4c], 1                                                                                                 |             
                                                                                                                                         |             if (*((rbx + 0x4c)) != 1) {
    0x0043f0ca jne 0x43f0e3                                                                                                              |                 goto label_2;
                                                                                                                                         |             }
    0x0043f0cc mov rdi, qword [rbx]                                                                                                      |             
    0x0043f0cf mov byte [rsp + 0x10], 0xa                                                                                                |             *((rsp + 0x10)) = 0xa;
    0x0043f0d4 lea rsi, [rsp + 0x10]                                                                                                     |             
    0x0043f0d9 mov edx, 1                                                                                                                |             
    0x0043f0de call 0x43ae00                                                                                                             |             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:
    0x0043f0e3 mov byte [rbx + 0xa], 0                                                                                                   |         *((rbx + 0xa)) = 0;
    0x0043f0e7 mov byte [rbx + 8], 1                                                                                                     |         *((rbx + 8)) = 1;
                                                                                                                                         |     }
                                                                                                                                         | label_1:
    0x0043f0eb mov r15, qword [rbx]                                                                                                      |     r15 = *(rbx);
    0x0043f0ee mov dword [rsp + 8], 3                                                                                                    |     *((rsp + 8)) = 3;
    0x0043f0f6 mov esi, dword [rbx + 0x40]                                                                                               |     
    0x0043f0f9 lea rdi, [rsp + 8]                                                                                                        |     
    0x0043f0fe call 0x4629a0                                                                                                             |     BloombergLP::bdlt::Iso8601UtilConfiguration::setFractionalSecondPrecision(int) (rsp + 8, *((rbx + 0x40)));
    0x0043f103 lea rbx, [rsp + 0x10]                                                                                                     |     rbx = rsp + 0x10;
    0x0043f108 lea rcx, [rsp + 8]                                                                                                        |     
    0x0043f10d mov rdi, rbx                                                                                                              |     
    0x0043f110 mov esi, 0x27                                                                                                             |     
    0x0043f115 mov rdx, r14                                                                                                              |     
    0x0043f118 call 0x45f810                                                                                                             |     BloombergLP::bdlt::Iso8601Util::generate(char*,int,BloombergLP::bdlt::Timeconst&,BloombergLP::bdlt::Iso8601UtilConfigurationconst&) (rbx, 0x27, r14, rsp + 8);
    0x0043f11d mov qword [rsp + 0x38], rbx                                                                                               |     *((rsp + 0x38)) = rbx;
    0x0043f122 mov rdi, rbx                                                                                                              |     
    0x0043f125 call 0x4047a0                                                                                                             |     rax = strlen (rbx);
    0x0043f12a mov qword [rsp + 0x40], rax                                                                                               |     *((rsp + 0x40)) = rax;
    0x0043f12f lea rsi, [rsp + 0x38]                                                                                                     |     
    0x0043f134 mov rdi, r15                                                                                                              |     
    0x0043f137 call 0x440e00                                                                                                             |     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 + 0x38);
    0x0043f13c add rsp, 0x48                                                                                                             |     
    0x0043f140 pop rbx                                                                                                                   |     
    0x0043f141 pop r14                                                                                                                   |     
    0x0043f143 pop r15                                                                                                                   |     
    0x0043f145 pop rbp                                                                                                                   |     
    0x0043f146 ret                                                                                                                       |     return rax;
                                                                                                                                         | }