; assembly                                                                                                                                                                                                                           | /* r2dec pseudo code output */
                                                                                                                                                                                                                                         | /* balber_berdecoder.t/none @ 0x454f70 */
                                                                                                                                                                                                                                         | #include <stdint.h>
                                                                                                                                                                                                                                         |  
    ; (fcn) method.BloombergLP::balber::BerUtil_Iso8601ImpUtil.putTimeTzValue_std::__1::basic_streambuf_char__std::__1::char_traits_char_____BloombergLP::bdlt::TimeTz_const__BloombergLP::balber::BerEncoderOptions_const_ ()           | uint64_t method_BloombergLP::balber::BerUtil_Iso8601ImpUtil_putTimeTzValue_std::_1::basic_streambuf_char_std::_1::char_traits_char_BloombergLP::bdlt::TimeTz_const_BloombergLP::balber::BerEncoderOptions_const_ (int64_t arg3, int64_t arg2, int64_t arg1) {
                                                                                                                                                                                                                                         |     int64_t var_8h;
                                                                                                                                                                                                                                         |     int64_t var_10h;
                                                                                                                                                                                                                                         |     rdx = arg3;
                                                                                                                                                                                                                                         |     rsi = arg2;
                                                                                                                                                                                                                                         |     rdi = arg1;
                                                                                                                                                                                                                                         |     /* BloombergLP::balber::BerUtil_Iso8601ImpUtil::putTimeTzValue(std::__1::basic_streambuf<char, std::__1::char_traits<char> >*, BloombergLP::bdlt::TimeTz const&, BloombergLP::balber::BerEncoderOptions const*) */
    0x00454f70 push r15                                                                                                                                                                                                                  |     
    0x00454f72 push r14                                                                                                                                                                                                                  |     
    0x00454f74 push rbx                                                                                                                                                                                                                  |     
    0x00454f75 sub rsp, 0x40                                                                                                                                                                                                             |     
    0x00454f79 mov r15, rsi                                                                                                                                                                                                              |     r15 = rsi;
    0x00454f7c mov r14, rdi                                                                                                                                                                                                              |     r14 = rdi;
    0x00454f7f mov dword [rsp + 8], 3                                                                                                                                                                                                    |     *((rsp + 8)) = 3;
    0x00454f87 test rdx, rdx                                                                                                                                                                                                             |     
                                                                                                                                                                                                                                         |     if (rdx != 0) {
    0x00454f8a je 0x454f90                                                                                                                                                                                                               |         
    0x00454f8c mov esi, dword [rdx]                                                                                                                                                                                                      |         esi = *(rdx);
    0x00454f8e jmp 0x454f95                                                                                                                                                                                                              |         
                                                                                                                                                                                                                                         |     } else {
    0x00454f90 mov esi, 6                                                                                                                                                                                                                |         
                                                                                                                                                                                                                                         |     }
    0x00454f95 lea rbx, [rsp + 8]                                                                                                                                                                                                        |     rbx = rsp + 8;
    0x00454f9a mov rdi, rbx                                                                                                                                                                                                              |     
    0x00454f9d call 0x469bc0                                                                                                                                                                                                             |     BloombergLP::bdlt::Iso8601UtilConfiguration::setFractionalSecondPrecision(int) (rbx, 6);
    0x00454fa2 lea rdi, [rsp + 0x10]                                                                                                                                                                                                     |     
    0x00454fa7 mov esi, 0x26                                                                                                                                                                                                             |     
    0x00454fac mov rdx, r15                                                                                                                                                                                                              |     
    0x00454faf mov rcx, rbx                                                                                                                                                                                                              |     
    0x00454fb2 call 0x4679f0                                                                                                                                                                                                             |     eax = BloombergLP::bdlt::Iso8601Util::generate(char*,int,BloombergLP::bdlt::TimeTzconst&,BloombergLP::bdlt::Iso8601UtilConfigurationconst&) (rsp + 0x10, 0x26, r15, rbx);
    0x00454fb7 mov ebx, eax                                                                                                                                                                                                              |     ebx = eax;
    0x00454fb9 mov rdi, r14                                                                                                                                                                                                              |     
    0x00454fbc mov esi, eax                                                                                                                                                                                                              |     
    0x00454fbe call 0x453da0                                                                                                                                                                                                             |     eax = BloombergLP::balber::BerUtil_LengthImpUtil::putLength(std::_1::basic_streambuf<char,std::_1::char_traits<char>>*,int) (r14, eax);
    0x00454fc3 mov ecx, eax                                                                                                                                                                                                              |     ecx = eax;
    0x00454fc5 mov eax, 0xffffffff                                                                                                                                                                                                       |     eax = 0xffffffff;
    0x00454fca test ecx, ecx                                                                                                                                                                                                             |     
                                                                                                                                                                                                                                         |     if (ecx == 0) {
    0x00454fcc jne 0x454fef                                                                                                                                                                                                              |         
    0x00454fce movsxd rbx, ebx                                                                                                                                                                                                           |         rbx = (int64_t) ebx;
    0x00454fd1 mov rax, qword [r14]                                                                                                                                                                                                      |         rax = *(r14);
    0x00454fd4 lea rsi, [rsp + 0x10]                                                                                                                                                                                                     |         rsi = rsp + 0x10;
    0x00454fd9 mov rdi, r14                                                                                                                                                                                                              |         rdi = r14;
    0x00454fdc mov rdx, rbx                                                                                                                                                                                                              |         rdx = rbx;
    0x00454fdf call qword [rax + 0x60]                                                                                                                                                                                                   |         rax = uint64_t (*rax + 0x60)() ();
    0x00454fe2 mov rcx, rax                                                                                                                                                                                                              |         rcx = rax;
    0x00454fe5 xor eax, eax                                                                                                                                                                                                              |         eax = 0;
    0x00454fe7 cmp rcx, rbx                                                                                                                                                                                                              |         
    0x00454fea setne al                                                                                                                                                                                                                  |         al = (rcx != rbx) ? 1 : 0;
    0x00454fed neg eax                                                                                                                                                                                                                   |         eax = -eax;
                                                                                                                                                                                                                                         |     }
    0x00454fef add rsp, 0x40                                                                                                                                                                                                             |     
    0x00454ff3 pop rbx                                                                                                                                                                                                                   |     
    0x00454ff4 pop r14                                                                                                                                                                                                                   |     
    0x00454ff6 pop r15                                                                                                                                                                                                                   |     
    0x00454ff8 ret                                                                                                                                                                                                                       |     return rax;
                                                                                                                                                                                                                                         | }