; assembly                                                                                                                           | /* r2dec pseudo code output */
                                                                                                                                         | /* balber_berdecoder.t/assume @ 0x405260 */
                                                                                                                                         | #include <stdint.h>
                                                                                                                                         |  
    ; (fcn) method.BloombergLP::s_baltst::MyChoiceWithDefaultValues.makeSelection2_BloombergLP::s_baltst::MyEnumeration::Value_ ()       | int64_t method_BloombergLP::s_baltst::MyChoiceWithDefaultValues_makeSelection2_BloombergLP::s_baltst::MyEnumeration::Value_ (int64_t arg2, int64_t arg1) {
                                                                                                                                         |     rsi = arg2;
                                                                                                                                         |     rdi = arg1;
                                                                                                                                         |     /* BloombergLP::s_baltst::MyChoiceWithDefaultValues::makeSelection2(BloombergLP::s_baltst::MyEnumeration::Value) */
    0x00405260 push rbp                                                                                                                  |     
    0x00405261 push rbx                                                                                                                  |     
    0x00405262 push rax                                                                                                                  |     
    0x00405263 mov ebp, esi                                                                                                              |     
    0x00405265 mov rbx, rdi                                                                                                              |     rbx = rdi;
    0x00405268 mov eax, dword [rdi + 0x30]                                                                                               |     eax = *((rdi + 0x30));
    0x0040526b test eax, eax                                                                                                             |     
                                                                                                                                         |     if (eax != 0) {
    0x0040526d je 0x405299                                                                                                               |         
    0x0040526f cmp eax, 1                                                                                                                |         
                                                                                                                                         |         if (eax != 1) {
    0x00405272 je 0x40527d                                                                                                               |             
    0x00405274 cmp eax, 2                                                                                                                |             
                                                                                                                                         |             if (eax != 2) {
    0x00405277 jne 0x405299                                                                                                              |                 goto label_0;
                                                                                                                                         |             }
    0x00405279 mov dword [rbx], ebp                                                                                                      |             *(rbx) = ebp;
    0x0040527b jmp 0x4052a2                                                                                                              |             goto label_1;
                                                                                                                                         |         }
    0x0040527d cmp qword [rbx + 0x20], 0x17                                                                                              |         
                                                                                                                                         |         if (*((rbx + 0x20)) != 0x17) {
    0x00405282 je 0x405291                                                                                                               |             
    0x00405284 mov rsi, qword [rbx]                                                                                                      |             rsi = *(rbx);
    0x00405287 mov rdi, qword [rbx + 0x28]                                                                                               |             rdi = *((rbx + 0x28));
    0x0040528b mov rax, qword [rdi]                                                                                                      |             rax = *(rdi);
    0x0040528e call qword [rax + 0x18]                                                                                                   |             uint64_t (*rax + 0x18)() ();
                                                                                                                                         |         }
    0x00405291 mov qword [rbx + 0x18], 0xffffffffffffffff                                                                                |         *((rbx + 0x18)) = 0xffffffffffffffff;
                                                                                                                                         |     }
                                                                                                                                         | label_0:
    0x00405299 mov dword [rbx], ebp                                                                                                      |     *(rbx) = ebp;
    0x0040529b mov dword [rbx + 0x30], 2                                                                                                 |     *((rbx + 0x30)) = 2;
                                                                                                                                         | label_1:
    0x004052a2 mov rax, rbx                                                                                                              |     rax = rbx;
    0x004052a5 add rsp, 8                                                                                                                |     
    0x004052a9 pop rbx                                                                                                                   |     
    0x004052aa pop rbp                                                                                                                   |     
    0x004052ab ret                                                                                                                       |     return rax;
                                                                                                                                         | }