; assembly                                                                                                                               | /* r2dec pseudo code output */
                                                                                                                                             | /* balber_berdecoder.t/assume @ 0x404fe0 */
                                                                                                                                             | #include <stdint.h>
                                                                                                                                             |  
    ; (fcn) method.BloombergLP::s_baltst::MyChoiceWithDefaultValues.operator_BloombergLP::s_baltst::MyChoiceWithDefaultValues_const_ ()      | int64_t method_BloombergLP::s_baltst::MyChoiceWithDefaultValues_operator_BloombergLP::s_baltst::MyChoiceWithDefaultValues_const_ (int64_t arg2, uint32_t arg1) {
                                                                                                                                             |     rsi = arg2;
                                                                                                                                             |     rdi = arg1;
                                                                                                                                             |     /* BloombergLP::s_baltst::MyChoiceWithDefaultValues::operator=(BloombergLP::s_baltst::MyChoiceWithDefaultValues const&) */
    0x00404fe0 push rbp                                                                                                                      |     
    0x00404fe1 push rbx                                                                                                                      |     
    0x00404fe2 push rax                                                                                                                      |     
    0x00404fe3 mov rbx, rdi                                                                                                                  |     rbx = rdi;
    0x00404fe6 cmp rdi, rsi                                                                                                                  |     
                                                                                                                                             |     if (rdi != rsi) {
    0x00404fe9 je 0x4050ce                                                                                                                   |         
    0x00404fef mov eax, dword [rsi + 0x30]                                                                                                   |         eax = *((rsi + 0x30));
    0x00404ff2 cmp eax, 2                                                                                                                    |         
                                                                                                                                             |         if (eax != 2) {
    0x00404ff5 je 0x40501d                                                                                                                   |             
    0x00404ff7 cmp eax, 1                                                                                                                    |             
                                                                                                                                             |             if (eax == 1) {
    0x00404ffa je 0x40503f                                                                                                                   |                 goto label_0;
                                                                                                                                             |             }
    0x00404ffc test eax, eax                                                                                                                 |             
                                                                                                                                             |             if (eax != 0) {
    0x00404ffe jne 0x40504c                                                                                                                  |                 goto label_1;
                                                                                                                                             |             }
    0x00405000 mov ebp, dword [rsi]                                                                                                          |             ebp = *(rsi);
    0x00405002 mov eax, dword [rbx + 0x30]                                                                                                   |             eax = *((rbx + 0x30));
    0x00405005 cmp eax, 2                                                                                                                    |             
                                                                                                                                             |             if (eax == 2) {
    0x00405008 je 0x40509e                                                                                                                   |                 goto label_2;
                                                                                                                                             |             }
    0x0040500e cmp eax, 1                                                                                                                    |             
                                                                                                                                             |             if (eax == 1) {
    0x00405011 je 0x405082                                                                                                                   |                 goto label_3;
                                                                                                                                             |             }
    0x00405013 test eax, eax                                                                                                                 |             
                                                                                                                                             |             if (eax != 0) {
    0x00405015 jne 0x40509e                                                                                                                  |                 goto label_2;
                                                                                                                                             |             }
    0x0040501b jmp 0x405038                                                                                                                  |             
                                                                                                                                             |         } else {
    0x0040501d mov ebp, dword [rsi]                                                                                                          |             ebp = *(rsi);
    0x0040501f mov eax, dword [rbx + 0x30]                                                                                                   |             eax = *((rbx + 0x30));
    0x00405022 test eax, eax                                                                                                                 |             
                                                                                                                                             |             if (eax == 0) {
    0x00405024 je 0x4050c5                                                                                                                   |                 goto label_4;
                                                                                                                                             |             }
    0x0040502a cmp eax, 1                                                                                                                    |             
                                                                                                                                             |             if (eax == 1) {
    0x0040502d je 0x4050a9                                                                                                                   |                 goto label_5;
                                                                                                                                             |             }
    0x0040502f cmp eax, 2                                                                                                                    |             
                                                                                                                                             |             if (eax != 2) {
    0x00405032 jne 0x4050c5                                                                                                                  |                 goto label_4;
                                                                                                                                             |             }
                                                                                                                                             |         }
    0x00405038 mov dword [rbx], ebp                                                                                                          |         *(rbx) = ebp;
    0x0040503a jmp 0x4050ce                                                                                                                  |         goto label_6;
                                                                                                                                             | label_0:
    0x0040503f mov rdi, rbx                                                                                                                  |         
    0x00405042 call 0x405150                                                                                                                 |         BloombergLP::s_baltst::MyChoiceWithDefaultValues::makeSelection1(bsl::basic_string<char,std::_1::char_traits<char>,bsl::allocator<char>>const&) (rbx, rsi);
    0x00405047 jmp 0x4050ce                                                                                                                  |         goto label_6;
                                                                                                                                             | label_1:
    0x0040504c mov eax, dword [rbx + 0x30]                                                                                                   |         eax = *((rbx + 0x30));
    0x0040504f test eax, eax                                                                                                                 |         
                                                                                                                                             |         if (eax != 0) {
    0x00405051 je 0x405079                                                                                                                   |             
    0x00405053 cmp eax, 2                                                                                                                    |             
                                                                                                                                             |             if (eax == 2) {
    0x00405056 je 0x405079                                                                                                                   |                 goto label_7;
                                                                                                                                             |             }
    0x00405058 cmp eax, 1                                                                                                                    |             
                                                                                                                                             |             if (eax != 1) {
    0x0040505b jne 0x405079                                                                                                                  |                 goto label_7;
                                                                                                                                             |             }
    0x0040505d cmp qword [rbx + 0x20], 0x17                                                                                                  |             
                                                                                                                                             |             if (*((rbx + 0x20)) != 0x17) {
    0x00405062 je 0x405071                                                                                                                   |                 
    0x00405064 mov rsi, qword [rbx]                                                                                                          |                 rsi = *(rbx);
    0x00405067 mov rdi, qword [rbx + 0x28]                                                                                                   |                 rdi = *((rbx + 0x28));
    0x0040506b mov rax, qword [rdi]                                                                                                          |                 rax = *(rdi);
    0x0040506e call qword [rax + 0x18]                                                                                                       |                 uint64_t (*rax + 0x18)() ();
                                                                                                                                             |             }
    0x00405071 mov qword [rbx + 0x18], 0xffffffffffffffff                                                                                    |             *((rbx + 0x18)) = 0xffffffffffffffff;
                                                                                                                                             |         }
                                                                                                                                             | label_7:
    0x00405079 mov dword [rbx + 0x30], 0xffffffff                                                                                            |         *((rbx + 0x30)) = 0xffffffff;
    0x00405080 jmp 0x4050ce                                                                                                                  |         goto label_6;
                                                                                                                                             | label_3:
    0x00405082 cmp qword [rbx + 0x20], 0x17                                                                                                  |         
                                                                                                                                             |         if (*((rbx + 0x20)) != 0x17) {
    0x00405087 je 0x405096                                                                                                                   |             
    0x00405089 mov rsi, qword [rbx]                                                                                                          |             rsi = *(rbx);
    0x0040508c mov rdi, qword [rbx + 0x28]                                                                                                   |             rdi = *((rbx + 0x28));
    0x00405090 mov rax, qword [rdi]                                                                                                          |             rax = *(rdi);
    0x00405093 call qword [rax + 0x18]                                                                                                       |             uint64_t (*rax + 0x18)() ();
                                                                                                                                             |         }
    0x00405096 mov qword [rbx + 0x18], 0xffffffffffffffff                                                                                    |         *((rbx + 0x18)) = 0xffffffffffffffff;
                                                                                                                                             | label_2:
    0x0040509e mov dword [rbx], ebp                                                                                                          |         *(rbx) = ebp;
    0x004050a0 mov dword [rbx + 0x30], 0                                                                                                     |         *((rbx + 0x30)) = 0;
    0x004050a7 jmp 0x4050ce                                                                                                                  |         goto label_6;
                                                                                                                                             | label_5:
    0x004050a9 cmp qword [rbx + 0x20], 0x17                                                                                                  |         
                                                                                                                                             |         if (*((rbx + 0x20)) != 0x17) {
    0x004050ae je 0x4050bd                                                                                                                   |             
    0x004050b0 mov rsi, qword [rbx]                                                                                                          |             rsi = *(rbx);
    0x004050b3 mov rdi, qword [rbx + 0x28]                                                                                                   |             rdi = *((rbx + 0x28));
    0x004050b7 mov rax, qword [rdi]                                                                                                          |             rax = *(rdi);
    0x004050ba call qword [rax + 0x18]                                                                                                       |             uint64_t (*rax + 0x18)() ();
                                                                                                                                             |         }
    0x004050bd mov qword [rbx + 0x18], 0xffffffffffffffff                                                                                    |         *((rbx + 0x18)) = 0xffffffffffffffff;
                                                                                                                                             | label_4:
    0x004050c5 mov dword [rbx], ebp                                                                                                          |         *(rbx) = ebp;
    0x004050c7 mov dword [rbx + 0x30], 2                                                                                                     |         *((rbx + 0x30)) = 2;
                                                                                                                                             |     }
                                                                                                                                             | label_6:
    0x004050ce mov rax, rbx                                                                                                                  |     rax = rbx;
    0x004050d1 add rsp, 8                                                                                                                    |     
    0x004050d5 pop rbx                                                                                                                       |     
    0x004050d6 pop rbp                                                                                                                       |     
    0x004050d7 ret                                                                                                                           |     return rax;
                                                                                                                                             | }