; assembly                                                                                                                                                                               | /* r2dec pseudo code output */
                                                                                                                                                                                             | /* baljsn_decoder.t/assume @ 0x458200 */
                                                                                                                                                                                             | #include <stdint.h>
                                                                                                                                                                                             |  
    ; (fcn) method.int_BloombergLP::balb::SequenceWithAnonymityChoice::manipulateSelection_BloombergLP::baljsn.Decoder_ElementVisitor__BloombergLP::baljsn::Decoder_ElementVisitor_ ()       | int32_t method_int_BloombergLP::balb::SequenceWithAnonymityChoice::manipulateSelection_BloombergLP::baljsn_Decoder_ElementVisitor_BloombergLP::baljsn::Decoder_ElementVisitor_ (uint32_t arg_8h, int64_t arg_10h, int64_t arg2, int64_t arg1) {
                                                                                                                                                                                             |     rsi = arg2;
                                                                                                                                                                                             |     rdi = arg1;
                                                                                                                                                                                             |     /* int BloombergLP::balb::SequenceWithAnonymityChoice::manipulateSelection<BloombergLP::baljsn::Decoder_ElementVisitor>(BloombergLP::baljsn::Decoder_ElementVisitor&) */
    0x00458200 push r14                                                                                                                                                                      |     
    0x00458202 push rbx                                                                                                                                                                      |     
    0x00458203 sub rsp, 0x18                                                                                                                                                                 |     
    0x00458207 mov eax, dword [rdi + 0x170]                                                                                                                                                  |     eax = *((rdi + 0x170));
    0x0045820d cmp rax, 3                                                                                                                                                                    |     
                                                                                                                                                                                             |     if (rax > 3) {
    0x00458211 ja 0x4582ae                                                                                                                                                                   |         goto label_1;
                                                                                                                                                                                             |     }
    0x00458217 mov rbx, rdi                                                                                                                                                                  |     rbx = rdi;
                                                                                                                                                                                             |     /* switch table (4 cases) at 0x4f6058 */
    0x0045821a jmp qword [rax*8 + 0x4f6058]                                                                                                                                                  |     
    0x00458221 mov rdi, qword [rsi]                                                                                                                                                          |     rdi = *(rsi);
    0x00458224 mov edx, dword [rip + 0x1c29f6]                                                                                                                                               |     edx = .comment;
    0x0045822a mov rsi, rbx                                                                                                                                                                  |     rsi = rbx;
    0x0045822d add rsp, 0x18                                                                                                                                                                 |     
    0x00458231 pop rbx                                                                                                                                                                       |     
    0x00458232 pop r14                                                                                                                                                                       |     
    0x00458234 jmp 0x450b80                                                                                                                                                                  |     void (*0x450b80)() ();
    0x00458239 mov r14, qword [rsi]                                                                                                                                                          |     r14 = *(rsi);
    0x0045823c cmp dword [r14 + 0x2300], 7                                                                                                                                                   |     
                                                                                                                                                                                             |     if (*((r14 + 0x2300)) == 7) {
    0x00458244 jne 0x45829c                                                                                                                                                                  |         
    0x00458246 lea rdi, [r14 + 0x120]                                                                                                                                                        |         
    0x0045824d xorps xmm0, xmm0                                                                                                                                                              |         __asm ("xorps xmm0, xmm0");
    0x00458250 movaps xmmword [rsp], xmm0                                                                                                                                                    |         *(rsp) = xmm0;
    0x00458254 mov rsi, rsp                                                                                                                                                                  |         
    0x00458257 call 0x45f7a0                                                                                                                                                                 |         eax = BloombergLP::baljsn::Tokenizer::value(std::_1::basic_string_view<char,std::_1::char_traits<char>>*)const (r14 + 0x120, rsp);
    0x0045825c test eax, eax                                                                                                                                                                 |         
                                                                                                                                                                                             |         if (eax == 0) {
    0x0045825e je 0x4582bb                                                                                                                                                                   |             goto label_2;
                                                                                                                                                                                             |         }
    0x00458260 mov esi, 0x6131e6                                                                                                                                                             |         esi = "Error reading simple value\n";
    0x00458265 mov edx, 0x1b                                                                                                                                                                 |         edx = 0x1b;
    0x0045826a jmp 0x4582a6                                                                                                                                                                  |         goto label_3;
    0x0045826c mov rdi, qword [rsi]                                                                                                                                                          |         rdi = *(rsi);
    0x0045826f mov edx, dword [rip + 0x1c29fb]                                                                                                                                               |         edx = *(0x0061ac70);
    0x00458275 mov rsi, rbx                                                                                                                                                                  |         rsi = rbx;
    0x00458278 add rsp, 0x18                                                                                                                                                                 |         
    0x0045827c pop rbx                                                                                                                                                                       |         
    0x0045827d pop r14                                                                                                                                                                       |         
    0x0045827f jmp 0x451510                                                                                                                                                                  |         void (*0x451510)() ();
    0x00458284 mov rdi, qword [rsi]                                                                                                                                                          |         rdi = *(rsi);
    0x00458287 mov edx, dword [rip + 0x1c2a0b]                                                                                                                                               |         edx = *(0x0061ac98);
    0x0045828d mov rsi, rbx                                                                                                                                                                  |         rsi = rbx;
    0x00458290 add rsp, 0x18                                                                                                                                                                 |         
    0x00458294 pop rbx                                                                                                                                                                       |         
    0x00458295 pop r14                                                                                                                                                                       |         
    0x00458297 jmp 0x451740                                                                                                                                                                  |         void (*0x451740)() ();
                                                                                                                                                                                             |     }
    0x0045829c mov esi, 0x6131c2                                                                                                                                                             |     
    0x004582a1 mov edx, 0x23                                                                                                                                                                 |     
                                                                                                                                                                                             | label_3:
    0x004582a6 mov rdi, r14                                                                                                                                                                  |     
    0x004582a9 call 0x417b30                                                                                                                                                                 |     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) (r14, "Simple element value was not found\n", 0x23);
                                                                                                                                                                                             |     do {
                                                                                                                                                                                             | label_1:
    0x004582ae mov eax, 0xffffffff                                                                                                                                                           |         eax = 0xffffffff;
                                                                                                                                                                                             | label_0:
    0x004582b3 add rsp, 0x18                                                                                                                                                                 |         
    0x004582b7 pop rbx                                                                                                                                                                       |         
    0x004582b8 pop r14                                                                                                                                                                       |         
    0x004582ba ret                                                                                                                                                                           |         return eax;
                                                                                                                                                                                             | label_2:
    0x004582bb cmp qword [rsp + 8], 0                                                                                                                                                        |         
    0x004582c1 je 0x4582ae                                                                                                                                                                   |         
                                                                                                                                                                                             |     } while (*((rsp + 8)) == 0);
    0x004582c3 lea rdi, [rsp + 0x10]                                                                                                                                                         |     
    0x004582c8 mov rsi, rsp                                                                                                                                                                  |     
    0x004582cb call 0x45e240                                                                                                                                                                 |     eax = BloombergLP::baljsn::ParserUtil::getUint64(unsigned long long*,std::_1::basic_string_view<char,std::_1::char_traits<char>>const&) (rsp + 0x10, rsp);
    0x004582d0 mov ecx, eax                                                                                                                                                                  |     ecx = eax;
    0x004582d2 mov eax, 0xffffffff                                                                                                                                                           |     eax = 0xffffffff;
    0x004582d7 test ecx, ecx                                                                                                                                                                 |     
                                                                                                                                                                                             |     if (ecx != 0) {
    0x004582d9 jne 0x4582b3                                                                                                                                                                  |         goto label_0;
                                                                                                                                                                                             |     }
    0x004582db mov rcx, qword [rsp + 0x10]                                                                                                                                                   |     rcx = *((rsp + 0x10));
    0x004582e0 cmp rcx, 0xff                                                                                                                                                                 |     
                                                                                                                                                                                             |     if (rcx > 0xff) {
    0x004582e7 ja 0x4582b3                                                                                                                                                                   |         goto label_0;
                                                                                                                                                                                             |     }
    0x004582e9 mov byte [rbx], cl                                                                                                                                                            |     *(rbx) = cl;
    0x004582eb xor eax, eax                                                                                                                                                                  |     eax = 0;
    0x004582ed jmp 0x4582b3                                                                                                                                                                  |     goto label_0;
                                                                                                                                                                                             | }