; assembly                                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                                 | /* balber_berdecoder.t/none @ 0x45ae80 */
                                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                                 |  
    ; (fcn) method.BloombergLP::s_baltst::MyChoice.makeSelection2_bsl::basic_string_char__std::__1::char_traits_char___bsl::allocator_char____const_ ()          | uint64_t method_BloombergLP::s_baltst::MyChoice_makeSelection2_bsl::basic_string_char_std::_1::char_traits_char_bsl::allocator_char_const_ (int64_t arg2, uint32_t arg1) {
                                                                                                                                                                 |     rsi = arg2;
                                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                                 |     /* BloombergLP::s_baltst::MyChoice::makeSelection2(bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > const&) */
    0x0045ae80 push r15                                                                                                                                          |     
    0x0045ae82 push r14                                                                                                                                          |     
    0x0045ae84 push rbx                                                                                                                                          |     
    0x0045ae85 mov r14, rsi                                                                                                                                      |     r14 = rsi;
    0x0045ae88 mov rbx, rdi                                                                                                                                      |     rbx = rdi;
    0x0045ae8b cmp dword [rdi + 0x30], 1                                                                                                                         |     
                                                                                                                                                                 |     if (*((rdi + 0x30)) == 1) {
    0x0045ae8f jne 0x45aec9                                                                                                                                      |         
    0x0045ae91 cmp rbx, r14                                                                                                                                      |         
                                                                                                                                                                 |         if (rbx == r14) {
    0x0045ae94 je 0x45af70                                                                                                                                       |             goto label_0;
                                                                                                                                                                 |         }
    0x0045ae9a mov rdx, qword [r14 + 0x18]                                                                                                                       |         rdx = *((r14 + 0x18));
    0x0045ae9e cmp qword [r14 + 0x20], 0x17                                                                                                                      |         
                                                                                                                                                                 |         if (*((r14 + 0x20)) != 0x17) {
    0x0045aea3 je 0x45aea8                                                                                                                                       |             
    0x0045aea5 mov r14, qword [r14]                                                                                                                              |             r14 = *(r14);
                                                                                                                                                                 |         }
    0x0045aea8 mov r15, qword [rbx + 0x18]                                                                                                                       |         r15 = *((rbx + 0x18));
    0x0045aeac mov qword [rbx + 0x18], 0                                                                                                                         |         *((rbx + 0x18)) = 0;
    0x0045aeb4 mov ecx, 0x49aa04                                                                                                                                 |         
    0x0045aeb9 mov rdi, rbx                                                                                                                                      |         
    0x0045aebc mov rsi, r14                                                                                                                                      |         
    0x0045aebf call 0x471c30                                                                                                                                     |         bsl::basic_string<char,std::_1::char_traits<char>,bsl::allocator<char>>::privateAppend(char const*,unsigned long,char const*) (rbx, r14, rdx, "string<...>::operator=(const string&...): string too long");
    0x0045aec4 jmp 0x45af70                                                                                                                                      |         
                                                                                                                                                                 |     } else {
    0x0045aec9 mov dword [rbx + 0x30], 0xffffffff                                                                                                                |         *((rbx + 0x30)) = 0xffffffff;
    0x0045aed0 mov rdi, qword [rbx + 0x38]                                                                                                                       |         rdi = *((rbx + 0x38));
    0x0045aed4 test rdi, rdi                                                                                                                                     |         
                                                                                                                                                                 |         if (rdi == 0) {
    0x0045aed7 jne 0x45aeed                                                                                                                                      |             
    0x0045aed9 mov rdi, qword [rip + 0x29c510]                                                                                                                   |             rdi = BloombergLP::bslma::Default::s_defaultAllocator;
    0x0045aee0 test rdi, rdi                                                                                                                                     |             
                                                                                                                                                                 |             if (rdi != 0) {
    0x0045aee3 jne 0x45aeed                                                                                                                                      |                 goto label_1;
                                                                                                                                                                 |             }
    0x0045aee5 call 0x46d5b0                                                                                                                                     |             rax = BloombergLP::bslma::Default::determineAndReturnDefaultAllocator() ();
    0x0045aeea mov rdi, rax                                                                                                                                      |             rdi = rax;
                                                                                                                                                                 |         }
                                                                                                                                                                 | label_1:
    0x0045aeed mov rax, qword [r14 + 0x20]                                                                                                                       |         rax = *((r14 + 0x20));
    0x0045aef1 mov qword [rbx + 0x20], rax                                                                                                                       |         *((rbx + 0x20)) = rax;
    0x0045aef5 movups xmm0, xmmword [r14]                                                                                                                        |         __asm ("movups xmm0, xmmword [r14]");
    0x0045aef9 movups xmm1, xmmword [r14 + 0x10]                                                                                                                 |         __asm ("movups xmm1, xmmword [r14 + 0x10]");
    0x0045aefe movups xmmword [rbx + 0x10], xmm1                                                                                                                 |         __asm ("movups xmmword [rbx + 0x10], xmm1");
    0x0045af02 movups xmmword [rbx], xmm0                                                                                                                        |         __asm ("movups xmmword [rbx], xmm0");
    0x0045af05 mov qword [rbx + 0x28], rdi                                                                                                                       |         *((rbx + 0x28)) = rdi;
    0x0045af09 cmp rax, 0x17                                                                                                                                     |         
                                                                                                                                                                 |         if (rax != 0x17) {
    0x0045af0d je 0x45af69                                                                                                                                       |             
    0x0045af0f mov rax, qword [r14 + 0x18]                                                                                                                       |             rax = *((r14 + 0x18));
    0x0045af13 cmp rax, 0x17                                                                                                                                     |             
    0x0045af17 mov esi, 0x17                                                                                                                                     |             esi = 0x17;
                                                                                                                                                                 |             if (rax > 0x17) {
    0x0045af1c cmova rsi, rax                                                                                                                                    |                 rsi = rax;
                                                                                                                                                                 |             }
    0x0045af20 mov qword [rbx], 0                                                                                                                                |             *(rbx) = 0;
    0x0045af27 mov qword [rbx + 0x18], rax                                                                                                                       |             *((rbx + 0x18)) = rax;
    0x0045af2b mov qword [rbx + 0x20], rsi                                                                                                                       |             *((rbx + 0x20)) = rsi;
    0x0045af2f cmp rax, 0x18                                                                                                                                     |             
                                                                                                                                                                 |             if (rax >= 0x18) {
    0x0045af33 jb 0x45af48                                                                                                                                       |                 
    0x0045af35 inc rsi                                                                                                                                           |                 rsi++;
    0x0045af38 mov rax, qword [rdi]                                                                                                                              |                 rax = *(rdi);
    0x0045af3b call qword [rax + 0x10]                                                                                                                           |                 rax = uint64_t (*rax + 0x10)() ();
    0x0045af3e mov qword [rbx], rax                                                                                                                              |                 *(rbx) = rax;
    0x0045af41 cmp qword [rbx + 0x20], 0x17                                                                                                                      |                 
                                                                                                                                                                 |                 if (*((rbx + 0x20)) != 0x17) {
    0x0045af46 jne 0x45af4b                                                                                                                                      |                     goto label_2;
                                                                                                                                                                 |                 }
                                                                                                                                                                 |             }
    0x0045af48 mov rax, rbx                                                                                                                                      |             rax = rbx;
                                                                                                                                                                 | label_2:
    0x0045af4b mov rdx, qword [rbx + 0x18]                                                                                                                       |             rdx = *((rbx + 0x18));
    0x0045af4f inc rdx                                                                                                                                           |             rdx++;
                                                                                                                                                                 |             if (rdx == 0) {
    0x0045af52 je 0x45af69                                                                                                                                       |                 goto label_3;
                                                                                                                                                                 |             }
    0x0045af54 cmp qword [r14 + 0x20], 0x17                                                                                                                      |             
                                                                                                                                                                 |             if (*((r14 + 0x20)) != 0x17) {
    0x0045af59 je 0x45af5e                                                                                                                                       |                 
    0x0045af5b mov r14, qword [r14]                                                                                                                              |                 r14 = *(r14);
                                                                                                                                                                 |             }
    0x0045af5e mov rdi, rax                                                                                                                                      |             
    0x0045af61 mov rsi, r14                                                                                                                                      |             
    0x0045af64 call 0x404980                                                                                                                                     |             memcpy (rax, r14, rdx);
                                                                                                                                                                 |         }
                                                                                                                                                                 | label_3:
    0x0045af69 mov dword [rbx + 0x30], 1                                                                                                                         |         *((rbx + 0x30)) = 1;
                                                                                                                                                                 |     }
                                                                                                                                                                 | label_0:
    0x0045af70 mov rax, rbx                                                                                                                                      |     rax = rbx;
    0x0045af73 pop rbx                                                                                                                                           |     
    0x0045af74 pop r14                                                                                                                                           |     
    0x0045af76 pop r15                                                                                                                                           |     
    0x0045af78 ret                                                                                                                                               |     return rax;
                                                                                                                                                                 | }