; assembly                                                                                                               | /* r2dec pseudo code output */
                                                                                                                             | /* ball_recordjsonformatter.t/assume @ 0x41a730 */
                                                                                                                             | #include <stdint.h>
                                                                                                                             |  
    ; (fcn) method.BloombergLP::ball._anonymous_namespace_::FileFormatter::parse_BloombergLP::bdld::DatumMapRef_ ()          | uint64_t method_BloombergLP::ball_anonymous_namespace_::FileFormatter::parse_BloombergLP::bdld::DatumMapRef_ (int64_t arg_40h, int64_t arg_48h, int64_t arg1) {
                                                                                                                             |     rdi = arg1;
                                                                                                                             |     /* BloombergLP::ball::(anonymous namespace)::FileFormatter::parse(BloombergLP::bdld::DatumMapRef) */
    0x0041a730 push rbp                                                                                                      |     
    0x0041a731 push r15                                                                                                      |     
    0x0041a733 push r14                                                                                                      |     
    0x0041a735 push r13                                                                                                      |     
    0x0041a737 push r12                                                                                                      |     
    0x0041a739 push rbx                                                                                                      |     
    0x0041a73a push rax                                                                                                      |     
    0x0041a73b mov r12, qword [rsp + 0x48]                                                                                   |     r12 = *((rsp + 0x48));
    0x0041a740 test r12, r12                                                                                                 |     
                                                                                                                             |     if (r12 == 0) {
    0x0041a743 je 0x41a813                                                                                                   |         goto label_2;
                                                                                                                             |     }
    0x0041a749 mov r15, rdi                                                                                                  |     r15 = rdi;
    0x0041a74c lea rax, [rsp + 0x40]                                                                                         |     rax = rsp + 0x40;
    0x0041a751 mov rbx, qword [rax]                                                                                          |     rbx = *(rax);
    0x0041a754 lea r14, [rdi + 8]                                                                                            |     r14 = rdi + 8;
    0x0041a758 add rbx, 0x11                                                                                                 |     rbx += 0x11;
    0x0041a75c mov r13d, 0x4030                                                                                              |     r13d = 0x4030;
    0x0041a762 jmp 0x41a78d                                                                                                  |     goto label_3;
                                                                                                                             | label_1:
    0x0041a764 mov rbp, qword [r15 + 0x20]                                                                                   |     rbp = *((r15 + 0x20));
    0x0041a768 mov qword [r15 + 0x20], 0                                                                                     |     *((r15 + 0x20)) = 0;
    0x0041a770 mov ecx, 0x49a434                                                                                             |     
    0x0041a775 mov rdi, r14                                                                                                  |     
    0x0041a778 call 0x4753c0                                                                                                 |     rax = bsl::basic_string<char,std::_1::char_traits<char>,bsl::allocator<char>>::privateAppend(char const*,unsigned long,char const*) (r14, rsi, rdx, "string<>::operator=(basic_string_view&): string too long");
    0x0041a77d nop dword [rax]                                                                                               |     
                                                                                                                             |     do {
                                                                                                                             | label_0:
    0x0041a780 add rbx, 0x20                                                                                                 |         rbx += 0x20;
    0x0041a784 dec r12                                                                                                       |         r12--;
                                                                                                                             |         if (r12 == 0) {
    0x0041a787 je 0x41a813                                                                                                   |             goto label_2;
                                                                                                                             |         }
                                                                                                                             | label_3:
    0x0041a78d movsx ecx, word [rbx + 0xd]                                                                                   |         ecx = *((rbx + 0xd));
    0x0041a791 mov eax, 0xffffffff                                                                                           |         eax = 0xffffffff;
    0x0041a796 bt r13, rcx                                                                                                   |         
                                                                                                                             |         if (((r13 >> rcx) & 1) >= 0) {
    0x0041a79a jae 0x41a815                                                                                                  |             goto label_4;
                                                                                                                             |         }
    0x0041a79c cmp ecx, 0xe                                                                                                  |         
                                                                                                                             |         if (ecx != 0xe) {
    0x0041a79f je 0x41a7a6                                                                                                   |             
    0x0041a7a1 cmp ecx, 5                                                                                                    |             
                                                                                                                             |             if (ecx != 5) {
    0x0041a7a4 jne 0x41a7c0                                                                                                  |                 goto label_5;
                                                                                                                             |             }
                                                                                                                             |         }
    0x0041a7a6 mov rsi, qword [rbx - 1]                                                                                      |         rsi = *((rbx - 1));
    0x0041a7aa movsxd rdx, dword [rbx + 7]                                                                                   |         rdx = *((rbx + 7));
    0x0041a7ae cmp qword [rbx - 9], 4                                                                                        |         
    0x0041a7b3 jne 0x41a780                                                                                                  |         
                                                                                                                             |     } while (*((rbx - 9)) != 4);
    0x0041a7b5 jmp 0x41a7cf                                                                                                  |     goto label_6;
                                                                                                                             | label_5:
    0x0041a7c0 movsx rdx, byte [rbx - 1]                                                                                     |     rdx = *((rbx - 1));
    0x0041a7c5 mov rsi, rbx                                                                                                  |     rsi = rbx;
    0x0041a7c8 cmp qword [rbx - 9], 4                                                                                        |     
                                                                                                                             |     if (*((rbx - 9)) != 4) {
    0x0041a7cd jne 0x41a780                                                                                                  |         goto label_0;
                                                                                                                             |     }
                                                                                                                             | label_6:
    0x0041a7cf mov rcx, qword [rbx - 0x11]                                                                                   |     rcx = *((rbx - 0x11));
    0x0041a7d3 cmp dword [rcx], 0x656d616e                                                                                   |     
                                                                                                                             |     if (*(rcx) == 0x656d616e) {
    0x0041a7d9 je 0x41a764                                                                                                   |         goto label_1;
                                                                                                                             |     }
    0x0041a7db cmp dword [rcx], 0x68746170                                                                                   |     
                                                                                                                             |     if (*(rcx) != 0x68746170) {
    0x0041a7e1 jne 0x41a780                                                                                                  |         goto label_0;
                                                                                                                             |     }
    0x0041a7e3 cmp rdx, 4                                                                                                    |     
                                                                                                                             |     if (rdx == 4) {
    0x0041a7e7 jne 0x41a815                                                                                                  |         
    0x0041a7e9 cmp dword [rsi], 0x6c6c7566                                                                                   |         
                                                                                                                             |         if (*(rsi) != 0x6c6c7566) {
    0x0041a7ef je 0x41a806                                                                                                   |             
    0x0041a7f1 cmp dword [rsi], 0x656c6966                                                                                   |             
                                                                                                                             |             if (*(rsi) != 0x656c6966) {
    0x0041a7f7 jne 0x41a815                                                                                                  |                 goto label_4;
                                                                                                                             |             }
    0x0041a7f9 mov dword [r15 + 0x38], 0                                                                                     |             *((r15 + 0x38)) = 0;
    0x0041a801 jmp 0x41a780                                                                                                  |             goto label_0;
                                                                                                                             |         }
    0x0041a806 mov dword [r15 + 0x38], 1                                                                                     |         *((r15 + 0x38)) = 1;
    0x0041a80e jmp 0x41a780                                                                                                  |         goto label_0;
                                                                                                                             | label_2:
    0x0041a813 xor eax, eax                                                                                                  |         eax = 0;
                                                                                                                             |     }
                                                                                                                             | label_4:
    0x0041a815 add rsp, 8                                                                                                    |     
    0x0041a819 pop rbx                                                                                                       |     
    0x0041a81a pop r12                                                                                                       |     
    0x0041a81c pop r13                                                                                                       |     
    0x0041a81e pop r14                                                                                                       |     
    0x0041a820 pop r15                                                                                                       |     
    0x0041a822 pop rbp                                                                                                       |     
    0x0041a823 ret                                                                                                           |     return rax;
                                                                                                                             | }