; assembly                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                 | /* ball_recordjsonformatter.t/assume @ 0x41a220 */
                                                                                                                                 | #include <stdint.h>
                                                                                                                                 |  
    ; (fcn) method.BloombergLP::ball._anonymous_namespace_::ThreadIdFormatter::parse_BloombergLP::bdld::DatumMapRef_ ()          | uint64_t method_BloombergLP::ball_anonymous_namespace_::ThreadIdFormatter::parse_BloombergLP::bdld::DatumMapRef_ (int64_t arg_40h, int64_t arg_48h, int64_t arg1) {
                                                                                                                                 |     rdi = arg1;
                                                                                                                                 |     /* BloombergLP::ball::(anonymous namespace)::ThreadIdFormatter::parse(BloombergLP::bdld::DatumMapRef) */
    0x0041a220 push rbp                                                                                                          |     
    0x0041a221 push r15                                                                                                          |     
    0x0041a223 push r14                                                                                                          |     
    0x0041a225 push r13                                                                                                          |     
    0x0041a227 push r12                                                                                                          |     
    0x0041a229 push rbx                                                                                                          |     
    0x0041a22a push rax                                                                                                          |     
    0x0041a22b mov r12, qword [rsp + 0x48]                                                                                       |     r12 = *((rsp + 0x48));
    0x0041a230 test r12, r12                                                                                                     |     
                                                                                                                                 |     if (r12 == 0) {
    0x0041a233 je 0x41a342                                                                                                       |         goto label_1;
                                                                                                                                 |     }
    0x0041a239 mov r15, rdi                                                                                                      |     r15 = rdi;
    0x0041a23c lea rax, [rsp + 0x40]                                                                                             |     rax = rsp + 0x40;
    0x0041a241 mov rbx, qword [rax]                                                                                              |     rbx = *(rax);
    0x0041a244 lea rax, [rdi + 8]                                                                                                |     rax = rdi + 8;
    0x0041a248 mov qword [rsp], rax                                                                                              |     *(rsp) = rax;
    0x0041a24c add rbx, 0x11                                                                                                     |     rbx += 0x11;
    0x0041a250 mov r13d, 0x4030                                                                                                  |     r13d = 0x4030;
    0x0041a256 mov ebp, 0x6d726f66                                                                                               |     
    0x0041a25b jmp 0x41a27f                                                                                                      |     
                                                                                                                                 |     while (rdi == 6) {
    0x0041a260 mov edi, dword [rcx]                                                                                              |         edi = *(rcx);
    0x0041a262 xor edi, ebp                                                                                                      |         edi ^= ebp;
    0x0041a264 movzx ecx, word [rcx + 4]                                                                                         |         ecx = *((rcx + 4));
    0x0041a268 xor ecx, 0x7461                                                                                                   |         ecx ^= 0x7461;
    0x0041a26e or ecx, edi                                                                                                       |         ecx |= edi;
                                                                                                                                 |         if (ecx == 0) {
    0x0041a270 je 0x41a2f0                                                                                                       |             goto label_2;
                                                                                                                                 |         }
                                                                                                                                 | label_0:
    0x0041a272 add rbx, 0x20                                                                                                     |         rbx += 0x20;
    0x0041a276 dec r12                                                                                                           |         r12--;
                                                                                                                                 |         if (r12 == 0) {
    0x0041a279 je 0x41a342                                                                                                       |             goto label_1;
                                                                                                                                 |         }
    0x0041a27f movsx ecx, word [rbx + 0xd]                                                                                       |         ecx = *((rbx + 0xd));
    0x0041a283 mov eax, 0xffffffff                                                                                               |         eax = 0xffffffff;
    0x0041a288 bt r13, rcx                                                                                                       |         
                                                                                                                                 |         if (((r13 >> rcx) & 1) >= 0) {
    0x0041a28c jae 0x41a344                                                                                                      |             goto label_3;
                                                                                                                                 |         }
    0x0041a292 cmp ecx, 0xe                                                                                                      |         
                                                                                                                                 |         if (ecx != 0xe) {
    0x0041a295 je 0x41a29c                                                                                                       |             
    0x0041a297 cmp ecx, 5                                                                                                        |             
                                                                                                                                 |             if (ecx != 5) {
    0x0041a29a jne 0x41a2b0                                                                                                      |                 goto label_4;
                                                                                                                                 |             }
                                                                                                                                 |         }
    0x0041a29c mov rsi, qword [rbx - 1]                                                                                          |         rsi = *((rbx - 1));
    0x0041a2a0 movsxd rdx, dword [rbx + 7]                                                                                       |         rdx = *((rbx + 7));
    0x0041a2a4 jmp 0x41a2b8                                                                                                      |         goto label_5;
                                                                                                                                 | label_4:
    0x0041a2b0 movsx rdx, byte [rbx - 1]                                                                                         |         rdx = *((rbx - 1));
    0x0041a2b5 mov rsi, rbx                                                                                                      |         rsi = rbx;
                                                                                                                                 | label_5:
    0x0041a2b8 mov rcx, qword [rbx - 0x11]                                                                                       |         rcx = *((rbx - 0x11));
    0x0041a2bc mov rdi, qword [rbx - 9]                                                                                          |         rdi = *((rbx - 9));
    0x0041a2c0 cmp rdi, 6                                                                                                        |         
    0x0041a2c4 je 0x41a260                                                                                                       |         
                                                                                                                                 |     }
    0x0041a2c6 cmp rdi, 4                                                                                                        |     
                                                                                                                                 |     if (rdi != 4) {
    0x0041a2ca jne 0x41a272                                                                                                      |         goto label_0;
                                                                                                                                 |     }
    0x0041a2cc cmp dword [rcx], 0x656d616e                                                                                       |     
                                                                                                                                 |     if (*(rcx) != 0x656d616e) {
    0x0041a2d2 jne 0x41a272                                                                                                      |         goto label_0;
                                                                                                                                 |     }
    0x0041a2d4 mov r14, qword [r15 + 0x20]                                                                                       |     r14 = *((r15 + 0x20));
    0x0041a2d8 mov qword [r15 + 0x20], 0                                                                                         |     *((r15 + 0x20)) = 0;
    0x0041a2e0 mov ecx, 0x49a434                                                                                                 |     
    0x0041a2e5 mov rdi, qword [rsp]                                                                                              |     
    0x0041a2e9 call 0x4753c0                                                                                                     |     eax = bsl::basic_string<char,std::_1::char_traits<char>,bsl::allocator<char>>::privateAppend(char const*,unsigned long,char const*) (*(rsp), rsi, rdx, "string<>::operator=(basic_string_view&): string too long");
    0x0041a2ee jmp 0x41a272                                                                                                      |     goto label_0;
                                                                                                                                 | label_2:
    0x0041a2f0 cmp rdx, 3                                                                                                        |     
                                                                                                                                 |     if (rdx != 3) {
    0x0041a2f4 je 0x41a320                                                                                                       |         
    0x0041a2f6 cmp rdx, 7                                                                                                        |         
                                                                                                                                 |         if (rdx != 7) {
    0x0041a2fa jne 0x41a344                                                                                                      |             goto label_3;
                                                                                                                                 |         }
    0x0041a2fc mov ecx, dword [rsi]                                                                                              |         ecx = *(rsi);
    0x0041a2fe mov edx, 0x69636564                                                                                               |         edx = 0x69636564;
    0x0041a303 xor ecx, edx                                                                                                      |         ecx ^= edx;
    0x0041a305 mov edx, dword [rsi + 3]                                                                                          |         edx = *((rsi + 3));
    0x0041a308 mov esi, 0x6c616d69                                                                                               |         esi = 0x6c616d69;
    0x0041a30d xor edx, esi                                                                                                      |         edx ^= esi;
    0x0041a30f or edx, ecx                                                                                                       |         edx |= ecx;
                                                                                                                                 |         if (edx != 0) {
    0x0041a311 jne 0x41a344                                                                                                      |             goto label_3;
                                                                                                                                 |         }
    0x0041a313 mov dword [r15 + 0x38], 0                                                                                         |         *((r15 + 0x38)) = 0;
    0x0041a31b jmp 0x41a272                                                                                                      |         goto label_0;
                                                                                                                                 |     }
    0x0041a320 movzx ecx, word [rsi]                                                                                             |     ecx = *(rsi);
    0x0041a323 xor ecx, 0x6568                                                                                                   |     ecx ^= 0x6568;
    0x0041a329 movzx edx, byte [rsi + 2]                                                                                         |     edx = *((rsi + 2));
    0x0041a32d xor edx, 0x78                                                                                                     |     edx ^= 0x78;
    0x0041a330 or dx, cx                                                                                                         |     dx |= cx;
                                                                                                                                 |     if (dx == 0) {
    0x0041a333 jne 0x41a344                                                                                                      |         
    0x0041a335 mov dword [r15 + 0x38], 1                                                                                         |         *((r15 + 0x38)) = 1;
    0x0041a33d jmp 0x41a272                                                                                                      |         goto label_0;
                                                                                                                                 | label_1:
    0x0041a342 xor eax, eax                                                                                                      |         eax = 0;
                                                                                                                                 |     }
                                                                                                                                 | label_3:
    0x0041a344 add rsp, 8                                                                                                        |     
    0x0041a348 pop rbx                                                                                                           |     
    0x0041a349 pop r12                                                                                                           |     
    0x0041a34b pop r13                                                                                                           |     
    0x0041a34d pop r14                                                                                                           |     
    0x0041a34f pop r15                                                                                                           |     
    0x0041a351 pop rbp                                                                                                           |     
    0x0041a352 ret                                                                                                               |     return rax;
                                                                                                                                 | }