; assembly                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                 | /* baljsn_datumutil.t/assume @ 0x43f150 */
                                                                                                                                                 | #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_38h;
                                                                                                                                                 |     size_t var_40h;
                                                                                                                                                 |     rsi = arg2;
                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                 |     /* int BloombergLP::baljsn::SimpleFormatter::addValue<BloombergLP::bdlt::Datetime>(BloombergLP::bdlt::Datetime const&) */
    0x0043f150 push rbp                                                                                                                          |     
    0x0043f151 push r15                                                                                                                          |     
    0x0043f153 push r14                                                                                                                          |     
    0x0043f155 push rbx                                                                                                                          |     
    0x0043f156 sub rsp, 0x48                                                                                                                     |     
    0x0043f15a mov r14, rsi                                                                                                                      |     r14 = rsi;
    0x0043f15d mov rbx, rdi                                                                                                                      |     rbx = rdi;
    0x0043f160 cmp dword [rdi + 0x4c], 1                                                                                                         |     
                                                                                                                                                 |     if (*((rdi + 0x4c)) == 1) {
    0x0043f164 jne 0x43f1c5                                                                                                                      |         
    0x0043f166 mov bpl, byte [rbx + 0xa]                                                                                                         |         bpl = *((rbx + 0xa));
    0x0043f16a mov byte [rbx + 9], 1                                                                                                             |         *((rbx + 9)) = 1;
    0x0043f16e cmp byte [rbx + 8], 0                                                                                                             |         
                                                                                                                                                 |         if (*((rbx + 8)) != 0) {
    0x0043f172 je 0x43f1a8                                                                                                                       |             
    0x0043f174 mov rdi, qword [rbx]                                                                                                              |             
    0x0043f177 mov byte [rsp + 0x10], 0x2c                                                                                                       |             *((rsp + 0x10)) = 0x2c;
    0x0043f17c lea rsi, [rsp + 0x10]                                                                                                             |             
    0x0043f181 mov edx, 1                                                                                                                        |             
    0x0043f186 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);
    0x0043f18b cmp dword [rbx + 0x4c], 1                                                                                                         |             
                                                                                                                                                 |             if (*((rbx + 0x4c)) != 1) {
    0x0043f18f jne 0x43f1a8                                                                                                                      |                 goto label_0;
                                                                                                                                                 |             }
    0x0043f191 mov rdi, qword [rbx]                                                                                                              |             
    0x0043f194 mov byte [rsp + 0x10], 0xa                                                                                                        |             *((rsp + 0x10)) = 0xa;
    0x0043f199 lea rsi, [rsp + 0x10]                                                                                                             |             
    0x0043f19e mov edx, 1                                                                                                                        |             
    0x0043f1a3 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:
    0x0043f1a8 mov byte [rbx + 0xa], 0                                                                                                           |         *((rbx + 0xa)) = 0;
    0x0043f1ac mov byte [rbx + 8], 1                                                                                                             |         *((rbx + 8)) = 1;
    0x0043f1b0 test bpl, bpl                                                                                                                     |         
                                                                                                                                                 |         if (bpl != 0) {
    0x0043f1b3 jne 0x43f20b                                                                                                                      |             goto label_1;
                                                                                                                                                 |         }
    0x0043f1b5 mov rdi, qword [rbx]                                                                                                              |         
    0x0043f1b8 mov esi, dword [rbx + 0x54]                                                                                                       |         
    0x0043f1bb mov edx, dword [rbx + 0x3c]                                                                                                       |         edx = *((rbx + 0x3c));
    0x0043f1be call 0x448060                                                                                                                     |         BloombergLP::bdlb::Print::indent(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,int,int) (*(rbx), *((rbx + 0x54)));
    0x0043f1c3 jmp 0x43f20b                                                                                                                      |         
                                                                                                                                                 |     } else {
    0x0043f1c5 mov byte [rbx + 9], 1                                                                                                             |         *((rbx + 9)) = 1;
    0x0043f1c9 cmp byte [rbx + 8], 0                                                                                                             |         
                                                                                                                                                 |         if (*((rbx + 8)) != 0) {
    0x0043f1cd je 0x43f203                                                                                                                       |             
    0x0043f1cf mov rdi, qword [rbx]                                                                                                              |             
    0x0043f1d2 mov byte [rsp + 0x10], 0x2c                                                                                                       |             *((rsp + 0x10)) = 0x2c;
    0x0043f1d7 lea rsi, [rsp + 0x10]                                                                                                             |             
    0x0043f1dc mov edx, 1                                                                                                                        |             
    0x0043f1e1 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);
    0x0043f1e6 cmp dword [rbx + 0x4c], 1                                                                                                         |             
                                                                                                                                                 |             if (*((rbx + 0x4c)) != 1) {
    0x0043f1ea jne 0x43f203                                                                                                                      |                 goto label_2;
                                                                                                                                                 |             }
    0x0043f1ec mov rdi, qword [rbx]                                                                                                              |             
    0x0043f1ef mov byte [rsp + 0x10], 0xa                                                                                                        |             *((rsp + 0x10)) = 0xa;
    0x0043f1f4 lea rsi, [rsp + 0x10]                                                                                                             |             
    0x0043f1f9 mov edx, 1                                                                                                                        |             
    0x0043f1fe 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:
    0x0043f203 mov byte [rbx + 0xa], 0                                                                                                           |         *((rbx + 0xa)) = 0;
    0x0043f207 mov byte [rbx + 8], 1                                                                                                             |         *((rbx + 8)) = 1;
                                                                                                                                                 |     }
                                                                                                                                                 | label_1:
    0x0043f20b mov r15, qword [rbx]                                                                                                              |     r15 = *(rbx);
    0x0043f20e mov dword [rsp + 8], 3                                                                                                            |     *((rsp + 8)) = 3;
    0x0043f216 mov esi, dword [rbx + 0x40]                                                                                                       |     
    0x0043f219 lea rdi, [rsp + 8]                                                                                                                |     
    0x0043f21e call 0x4629a0                                                                                                                     |     BloombergLP::bdlt::Iso8601UtilConfiguration::setFractionalSecondPrecision(int) (rsp + 8, *((rbx + 0x40)));
    0x0043f223 lea rbx, [rsp + 0x10]                                                                                                             |     rbx = rsp + 0x10;
    0x0043f228 lea rcx, [rsp + 8]                                                                                                                |     
    0x0043f22d mov rdi, rbx                                                                                                                      |     
    0x0043f230 mov esi, 0x27                                                                                                                     |     
    0x0043f235 mov rdx, r14                                                                                                                      |     
    0x0043f238 call 0x45fde0                                                                                                                     |     BloombergLP::bdlt::Iso8601Util::generate(char*,int,BloombergLP::bdlt::Datetimeconst&,BloombergLP::bdlt::Iso8601UtilConfigurationconst&) (rbx, 0x27, r14, rsp + 8);
    0x0043f23d mov qword [rsp + 0x38], rbx                                                                                                       |     *((rsp + 0x38)) = rbx;
    0x0043f242 mov rdi, rbx                                                                                                                      |     
    0x0043f245 call 0x4047a0                                                                                                                     |     rax = strlen (rbx);
    0x0043f24a mov qword [rsp + 0x40], rax                                                                                                       |     *((rsp + 0x40)) = rax;
    0x0043f24f lea rsi, [rsp + 0x38]                                                                                                             |     
    0x0043f254 mov rdi, r15                                                                                                                      |     
    0x0043f257 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);
    0x0043f25c add rsp, 0x48                                                                                                                     |     
    0x0043f260 pop rbx                                                                                                                           |     
    0x0043f261 pop r14                                                                                                                           |     
    0x0043f263 pop r15                                                                                                                           |     
    0x0043f265 pop rbp                                                                                                                           |     
    0x0043f266 ret                                                                                                                               |     return rax;
                                                                                                                                                 | }