; assembly                                                                                                                                                       | /* r2dec pseudo code output */
                                                                                                                                                                     | /* balber_berdecoder.t/assume @ 0x4677a0 */
                                                                                                                                                                     | #include <stdint.h>
                                                                                                                                                                     |  
    ; (fcn) method.BloombergLP::bdlt::Iso8601Util.generate_char__int__BloombergLP::bdlt::TimeTz_const__BloombergLP::bdlt::Iso8601UtilConfiguration_const_ ()         | int64_t method_BloombergLP::bdlt::Iso8601Util_generate_char_int_BloombergLP::bdlt::TimeTz_const_BloombergLP::bdlt::Iso8601UtilConfiguration_const_ (int64_t arg4, int64_t arg3, uint32_t arg2, int64_t arg1) {
                                                                                                                                                                     |     rcx = arg4;
                                                                                                                                                                     |     rdx = arg3;
                                                                                                                                                                     |     rsi = arg2;
                                                                                                                                                                     |     rdi = arg1;
                                                                                                                                                                     |     /* BloombergLP::bdlt::Iso8601Util::generate(char*, int, BloombergLP::bdlt::TimeTz const&, BloombergLP::bdlt::Iso8601UtilConfiguration const&) */
    0x004677a0 push rbp                                                                                                                                              |     
    0x004677a1 push r15                                                                                                                                              |     
    0x004677a3 push r14                                                                                                                                              |     
    0x004677a5 push rbx                                                                                                                                              |     
    0x004677a6 sub rsp, 0x18                                                                                                                                         |     
    0x004677aa mov ebp, esi                                                                                                                                          |     
    0x004677ac mov r14, rdi                                                                                                                                          |     r14 = rdi;
    0x004677af cmp esi, 0x15                                                                                                                                         |     
                                                                                                                                                                     |     if (esi >= 0x15) {
    0x004677b2 jb 0x4677ca                                                                                                                                           |         
    0x004677b4 mov rdi, r14                                                                                                                                          |         
    0x004677b7 mov rsi, rdx                                                                                                                                          |         
    0x004677ba mov rdx, rcx                                                                                                                                          |         
    0x004677bd call 0x467820                                                                                                                                         |         eax = BloombergLP::bdlt::Iso8601Util::generateRaw(char*,BloombergLP::bdlt::TimeTzconst&,BloombergLP::bdlt::Iso8601UtilConfigurationconst&) (r14, rdx, rcx);
    0x004677c2 mov ebx, eax                                                                                                                                          |         ebx = eax;
    0x004677c4 cmp ebx, ebp                                                                                                                                          |         
                                                                                                                                                                     |         if (ebx >= ebp) {
    0x004677c6 jl 0x46780b                                                                                                                                           |             
    0x004677c8 jmp 0x467813                                                                                                                                          |             
                                                                                                                                                                     |         } else {
    0x004677ca mov rdi, rsp                                                                                                                                          |             
    0x004677cd mov rsi, rdx                                                                                                                                          |             
    0x004677d0 mov rdx, rcx                                                                                                                                          |             
    0x004677d3 call 0x467820                                                                                                                                         |             eax = BloombergLP::bdlt::Iso8601Util::generateRaw(char*,BloombergLP::bdlt::TimeTzconst&,BloombergLP::bdlt::Iso8601UtilConfigurationconst&) (rsp, rdx, rcx);
    0x004677d8 mov ebx, eax                                                                                                                                          |             ebx = eax;
    0x004677da cmp eax, ebp                                                                                                                                          |             
                                                                                                                                                                     |             if (eax < ebp) {
    0x004677dc jae 0x4677fa                                                                                                                                          |                 
    0x004677de mov r15d, ebx                                                                                                                                         |                 r15d = ebx;
    0x004677e1 mov rsi, rsp                                                                                                                                          |                 
    0x004677e4 mov rdi, r14                                                                                                                                          |                 
    0x004677e7 mov rdx, r15                                                                                                                                          |                 
    0x004677ea call 0x404980                                                                                                                                         |                 memcpy (r14, rsp, r15);
    0x004677ef mov byte [r14 + r15], 0                                                                                                                               |                 *((r14 + r15)) = 0;
    0x004677f4 cmp ebx, ebp                                                                                                                                          |                 
                                                                                                                                                                     |                 if (ebx < ebp) {
    0x004677f6 jl 0x46780b                                                                                                                                           |                     goto label_0;
                                                                                                                                                                     |                 }
    0x004677f8 jmp 0x467813                                                                                                                                          |                 goto label_1;
                                                                                                                                                                     |             }
    0x004677fa mov edx, ebp                                                                                                                                          |             
    0x004677fc mov rsi, rsp                                                                                                                                          |             
    0x004677ff mov rdi, r14                                                                                                                                          |             
    0x00467802 call 0x404980                                                                                                                                         |             memcpy (r14, rsp, ebp);
    0x00467807 cmp ebx, ebp                                                                                                                                          |             
                                                                                                                                                                     |             if (ebx >= ebp) {
    0x00467809 jge 0x467813                                                                                                                                          |                 goto label_1;
                                                                                                                                                                     |             }
                                                                                                                                                                     |         }
                                                                                                                                                                     | label_0:
    0x0046780b movsxd rax, ebx                                                                                                                                       |         rax = (int64_t) ebx;
    0x0046780e mov byte [r14 + rax], 0                                                                                                                               |         *((r14 + rax)) = 0;
                                                                                                                                                                     |     }
                                                                                                                                                                     | label_1:
    0x00467813 mov eax, ebx                                                                                                                                          |     eax = ebx;
    0x00467815 add rsp, 0x18                                                                                                                                         |     
    0x00467819 pop rbx                                                                                                                                               |     
    0x0046781a pop r14                                                                                                                                               |     
    0x0046781c pop r15                                                                                                                                               |     
    0x0046781e pop rbp                                                                                                                                               |     
    0x0046781f ret                                                                                                                                                   |     return rax;
                                                                                                                                                                     | }