; assembly                                                                                                                               | /* r2dec pseudo code output */
                                                                                                                                             | /* baljsn_simpleformatter.t/assume @ 0x42a810 */
                                                                                                                                             | #include <stdint.h>
                                                                                                                                             |  
    ; (fcn) method.int_BloombergLP::baljsn::SimpleFormatter::addValue_BloombergLP::bdlt.DateTz__BloombergLP::bdlt::DateTz_const_ ()          | uint64_t method_int_BloombergLP::baljsn::SimpleFormatter::addValue_BloombergLP::bdlt_DateTz_BloombergLP::bdlt::DateTz_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::DateTz>(BloombergLP::bdlt::DateTz const&) */
    0x0042a810 push rbp                                                                                                                      |     
    0x0042a811 push r15                                                                                                                      |     
    0x0042a813 push r14                                                                                                                      |     
    0x0042a815 push rbx                                                                                                                      |     
    0x0042a816 sub rsp, 0x48                                                                                                                 |     
    0x0042a81a mov r14, rsi                                                                                                                  |     r14 = rsi;
    0x0042a81d mov rbx, rdi                                                                                                                  |     rbx = rdi;
    0x0042a820 cmp dword [rdi + 0x4c], 1                                                                                                     |     
                                                                                                                                             |     if (*((rdi + 0x4c)) == 1) {
    0x0042a824 jne 0x42a885                                                                                                                  |         
    0x0042a826 mov bpl, byte [rbx + 0xa]                                                                                                     |         bpl = *((rbx + 0xa));
    0x0042a82a mov byte [rbx + 9], 1                                                                                                         |         *((rbx + 9)) = 1;
    0x0042a82e cmp byte [rbx + 8], 0                                                                                                         |         
                                                                                                                                             |         if (*((rbx + 8)) != 0) {
    0x0042a832 je 0x42a868                                                                                                                   |             
    0x0042a834 mov rdi, qword [rbx]                                                                                                          |             
    0x0042a837 mov byte [rsp + 0x10], 0x2c                                                                                                   |             *((rsp + 0x10)) = 0x2c;
    0x0042a83c lea rsi, [rsp + 0x10]                                                                                                         |             
    0x0042a841 mov edx, 1                                                                                                                    |             
    0x0042a846 call 0x429220                                                                                                                 |             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);
    0x0042a84b cmp dword [rbx + 0x4c], 1                                                                                                     |             
                                                                                                                                             |             if (*((rbx + 0x4c)) != 1) {
    0x0042a84f jne 0x42a868                                                                                                                  |                 goto label_0;
                                                                                                                                             |             }
    0x0042a851 mov rdi, qword [rbx]                                                                                                          |             
    0x0042a854 mov byte [rsp + 0x10], 0xa                                                                                                    |             *((rsp + 0x10)) = 0xa;
    0x0042a859 lea rsi, [rsp + 0x10]                                                                                                         |             
    0x0042a85e mov edx, 1                                                                                                                    |             
    0x0042a863 call 0x429220                                                                                                                 |             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:
    0x0042a868 mov byte [rbx + 0xa], 0                                                                                                       |         *((rbx + 0xa)) = 0;
    0x0042a86c mov byte [rbx + 8], 1                                                                                                         |         *((rbx + 8)) = 1;
    0x0042a870 test bpl, bpl                                                                                                                 |         
                                                                                                                                             |         if (bpl != 0) {
    0x0042a873 jne 0x42a8cb                                                                                                                  |             goto label_1;
                                                                                                                                             |         }
    0x0042a875 mov rdi, qword [rbx]                                                                                                          |         
    0x0042a878 mov esi, dword [rbx + 0x54]                                                                                                   |         
    0x0042a87b mov edx, dword [rbx + 0x3c]                                                                                                   |         edx = *((rbx + 0x3c));
    0x0042a87e call 0x430ee0                                                                                                                 |         BloombergLP::bdlb::Print::indent(std::_1::basic_ostream<char,std::_1::char_traits<char>>&,int,int) (*(rbx), *((rbx + 0x54)));
    0x0042a883 jmp 0x42a8cb                                                                                                                  |         
                                                                                                                                             |     } else {
    0x0042a885 mov byte [rbx + 9], 1                                                                                                         |         *((rbx + 9)) = 1;
    0x0042a889 cmp byte [rbx + 8], 0                                                                                                         |         
                                                                                                                                             |         if (*((rbx + 8)) != 0) {
    0x0042a88d je 0x42a8c3                                                                                                                   |             
    0x0042a88f mov rdi, qword [rbx]                                                                                                          |             
    0x0042a892 mov byte [rsp + 0x10], 0x2c                                                                                                   |             *((rsp + 0x10)) = 0x2c;
    0x0042a897 lea rsi, [rsp + 0x10]                                                                                                         |             
    0x0042a89c mov edx, 1                                                                                                                    |             
    0x0042a8a1 call 0x429220                                                                                                                 |             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);
    0x0042a8a6 cmp dword [rbx + 0x4c], 1                                                                                                     |             
                                                                                                                                             |             if (*((rbx + 0x4c)) != 1) {
    0x0042a8aa jne 0x42a8c3                                                                                                                  |                 goto label_2;
                                                                                                                                             |             }
    0x0042a8ac mov rdi, qword [rbx]                                                                                                          |             
    0x0042a8af mov byte [rsp + 0x10], 0xa                                                                                                    |             *((rsp + 0x10)) = 0xa;
    0x0042a8b4 lea rsi, [rsp + 0x10]                                                                                                         |             
    0x0042a8b9 mov edx, 1                                                                                                                    |             
    0x0042a8be call 0x429220                                                                                                                 |             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:
    0x0042a8c3 mov byte [rbx + 0xa], 0                                                                                                       |         *((rbx + 0xa)) = 0;
    0x0042a8c7 mov byte [rbx + 8], 1                                                                                                         |         *((rbx + 8)) = 1;
                                                                                                                                             |     }
                                                                                                                                             | label_1:
    0x0042a8cb mov r15, qword [rbx]                                                                                                          |     r15 = *(rbx);
    0x0042a8ce mov dword [rsp + 8], 3                                                                                                        |     *((rsp + 8)) = 3;
    0x0042a8d6 mov esi, dword [rbx + 0x40]                                                                                                   |     
    0x0042a8d9 lea rdi, [rsp + 8]                                                                                                            |     
    0x0042a8de call 0x441a90                                                                                                                 |     BloombergLP::bdlt::Iso8601UtilConfiguration::setFractionalSecondPrecision(int) (rsp + 8, *((rbx + 0x40)));
    0x0042a8e3 lea rbx, [rsp + 0x10]                                                                                                         |     rbx = rsp + 0x10;
    0x0042a8e8 lea rcx, [rsp + 8]                                                                                                            |     
    0x0042a8ed mov rdi, rbx                                                                                                                  |     
    0x0042a8f0 mov esi, 0x27                                                                                                                 |     
    0x0042a8f5 mov rdx, r14                                                                                                                  |     
    0x0042a8f8 call 0x43f760                                                                                                                 |     BloombergLP::bdlt::Iso8601Util::generate(char*,int,BloombergLP::bdlt::DateTzconst&,BloombergLP::bdlt::Iso8601UtilConfigurationconst&) (rbx, 0x27, r14, rsp + 8);
    0x0042a8fd mov qword [rsp + 0x38], rbx                                                                                                   |     *((rsp + 0x38)) = rbx;
    0x0042a902 mov rdi, rbx                                                                                                                  |     
    0x0042a905 call 0x404440                                                                                                                 |     rax = strlen (rbx);
    0x0042a90a mov qword [rsp + 0x40], rax                                                                                                   |     *((rsp + 0x40)) = rax;
    0x0042a90f lea rsi, [rsp + 0x38]                                                                                                         |     
    0x0042a914 mov rdi, r15                                                                                                                  |     
    0x0042a917 call 0x42b270                                                                                                                 |     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);
    0x0042a91c add rsp, 0x48                                                                                                                 |     
    0x0042a920 pop rbx                                                                                                                       |     
    0x0042a921 pop r14                                                                                                                       |     
    0x0042a923 pop r15                                                                                                                       |     
    0x0042a925 pop rbp                                                                                                                       |     
    0x0042a926 ret                                                                                                                           |     return rax;
                                                                                                                                             | }