; assembly                                                                                                                           | /* r2dec pseudo code output */
                                                                                                                                         | /* baljsn_datumutil.t/none @ 0x43f200 */
                                                                                                                                         | #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_40h;
                                                                                                                                         |     size_t var_48h;
                                                                                                                                         |     rsi = arg2;
                                                                                                                                         |     rdi = arg1;
                                                                                                                                         |     /* int BloombergLP::baljsn::SimpleFormatter::addValue<BloombergLP::bdlt::Time>(BloombergLP::bdlt::Time const&) */
    0x0043f200 push rbp                                                                                                                  |     
    0x0043f201 push r15                                                                                                                  |     
    0x0043f203 push r14                                                                                                                  |     
    0x0043f205 push r12                                                                                                                  |     
    0x0043f207 push rbx                                                                                                                  |     
    0x0043f208 sub rsp, 0x50                                                                                                             |     
    0x0043f20c mov r14, rsi                                                                                                              |     r14 = rsi;
    0x0043f20f mov rbx, rdi                                                                                                              |     rbx = rdi;
    0x0043f212 cmp dword [rdi + 0x4c], 1                                                                                                 |     
                                                                                                                                         |     if (*((rdi + 0x4c)) == 1) {
    0x0043f216 jne 0x43f277                                                                                                              |         
    0x0043f218 mov bpl, byte [rbx + 0xa]                                                                                                 |         bpl = *((rbx + 0xa));
    0x0043f21c mov byte [rbx + 9], 1                                                                                                     |         *((rbx + 9)) = 1;
    0x0043f220 cmp byte [rbx + 8], 0                                                                                                     |         
                                                                                                                                         |         if (*((rbx + 8)) != 0) {
    0x0043f224 je 0x43f25a                                                                                                               |             
    0x0043f226 mov rdi, qword [rbx]                                                                                                      |             
    0x0043f229 mov byte [rsp + 0x10], 0x2c                                                                                               |             *((rsp + 0x10)) = 0x2c;
    0x0043f22e lea rsi, [rsp + 0x10]                                                                                                     |             
    0x0043f233 mov edx, 1                                                                                                                |             
    0x0043f238 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);
    0x0043f23d cmp dword [rbx + 0x4c], 1                                                                                                 |             
                                                                                                                                         |             if (*((rbx + 0x4c)) != 1) {
    0x0043f241 jne 0x43f25a                                                                                                              |                 goto label_0;
                                                                                                                                         |             }
    0x0043f243 mov rdi, qword [rbx]                                                                                                      |             
    0x0043f246 mov byte [rsp + 0x10], 0xa                                                                                                |             *((rsp + 0x10)) = 0xa;
    0x0043f24b lea rsi, [rsp + 0x10]                                                                                                     |             
    0x0043f250 mov edx, 1                                                                                                                |             
    0x0043f255 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:
    0x0043f25a mov byte [rbx + 0xa], 0                                                                                                   |         *((rbx + 0xa)) = 0;
    0x0043f25e mov byte [rbx + 8], 1                                                                                                     |         *((rbx + 8)) = 1;
    0x0043f262 test bpl, bpl                                                                                                             |         
                                                                                                                                         |         if (bpl != 0) {
    0x0043f265 jne 0x43f2bd                                                                                                              |             goto label_1;
                                                                                                                                         |         }
    0x0043f267 mov rdi, qword [rbx]                                                                                                      |         
    0x0043f26a mov esi, dword [rbx + 0x54]                                                                                               |         
    0x0043f26d mov edx, dword [rbx + 0x3c]                                                                                               |         edx = *((rbx + 0x3c));
    0x0043f270 call 0x4485d0                                                                                                             |         BloombergLP::bdlb::Print::indent(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,int,int) (*(rbx), *((rbx + 0x54)));
    0x0043f275 jmp 0x43f2bd                                                                                                              |         
                                                                                                                                         |     } else {
    0x0043f277 mov byte [rbx + 9], 1                                                                                                     |         *((rbx + 9)) = 1;
    0x0043f27b cmp byte [rbx + 8], 0                                                                                                     |         
                                                                                                                                         |         if (*((rbx + 8)) != 0) {
    0x0043f27f je 0x43f2b5                                                                                                               |             
    0x0043f281 mov rdi, qword [rbx]                                                                                                      |             
    0x0043f284 mov byte [rsp + 0x10], 0x2c                                                                                               |             *((rsp + 0x10)) = 0x2c;
    0x0043f289 lea rsi, [rsp + 0x10]                                                                                                     |             
    0x0043f28e mov edx, 1                                                                                                                |             
    0x0043f293 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);
    0x0043f298 cmp dword [rbx + 0x4c], 1                                                                                                 |             
                                                                                                                                         |             if (*((rbx + 0x4c)) != 1) {
    0x0043f29c jne 0x43f2b5                                                                                                              |                 goto label_2;
                                                                                                                                         |             }
    0x0043f29e mov rdi, qword [rbx]                                                                                                      |             
    0x0043f2a1 mov byte [rsp + 0x10], 0xa                                                                                                |             *((rsp + 0x10)) = 0xa;
    0x0043f2a6 lea rsi, [rsp + 0x10]                                                                                                     |             
    0x0043f2ab mov edx, 1                                                                                                                |             
    0x0043f2b0 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:
    0x0043f2b5 mov byte [rbx + 0xa], 0                                                                                                   |         *((rbx + 0xa)) = 0;
    0x0043f2b9 mov byte [rbx + 8], 1                                                                                                     |         *((rbx + 8)) = 1;
                                                                                                                                         |     }
                                                                                                                                         | label_1:
    0x0043f2bd mov r15, qword [rbx]                                                                                                      |     r15 = *(rbx);
    0x0043f2c0 mov dword [rsp + 8], 3                                                                                                    |     *((rsp + 8)) = 3;
    0x0043f2c8 mov esi, dword [rbx + 0x40]                                                                                               |     
    0x0043f2cb lea r12, [rsp + 8]                                                                                                        |     r12 = rsp + 8;
    0x0043f2d0 mov rdi, r12                                                                                                              |     
    0x0043f2d3 call 0x463500                                                                                                             |     BloombergLP::bdlt::Iso8601UtilConfiguration::setFractionalSecondPrecision(int) (r12, *((rbx + 0x40)));
    0x0043f2d8 lea rbx, [rsp + 0x10]                                                                                                     |     rbx = rsp + 0x10;
    0x0043f2dd mov rdi, rbx                                                                                                              |     
    0x0043f2e0 mov esi, 0x27                                                                                                             |     
    0x0043f2e5 mov rdx, r14                                                                                                              |     
    0x0043f2e8 mov rcx, r12                                                                                                              |     
    0x0043f2eb call 0x4600c0                                                                                                             |     BloombergLP::bdlt::Iso8601Util::generate(char*,int,BloombergLP::bdlt::Timeconst&,BloombergLP::bdlt::Iso8601UtilConfigurationconst&) (rbx, 0x27, r14, r12);
    0x0043f2f0 mov qword [rsp + 0x40], rbx                                                                                               |     *((rsp + 0x40)) = rbx;
    0x0043f2f5 mov rdi, rbx                                                                                                              |     
    0x0043f2f8 call 0x4047a0                                                                                                             |     rax = strlen (rbx);
    0x0043f2fd mov qword [rsp + 0x48], rax                                                                                               |     *((rsp + 0x48)) = rax;
    0x0043f302 lea rsi, [rsp + 0x40]                                                                                                     |     
    0x0043f307 mov rdi, r15                                                                                                              |     
    0x0043f30a 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);
    0x0043f30f add rsp, 0x50                                                                                                             |     
    0x0043f313 pop rbx                                                                                                                   |     
    0x0043f314 pop r12                                                                                                                   |     
    0x0043f316 pop r14                                                                                                                   |     
    0x0043f318 pop r15                                                                                                                   |     
    0x0043f31a pop rbp                                                                                                                   |     
    0x0043f31b ret                                                                                                                       |     return rax;
                                                                                                                                         | }