; assembly                                                                                                                                                                                                                                                                       | /* r2dec pseudo code output */
                                                                                                                                                                                                                                                                                     | /* bdlc_compactedarray.t/assume @ 0x433c40 */
                                                                                                                                                                                                                                                                                     | #include <stdint.h>
                                                                                                                                                                                                                                                                                     |  
    ; (fcn) method.void_BloombergLP::bslalg::ArrayPrimitives_Imp::moveConstruct_BloombergLP::bdlc::CompactedArray_CountedValue_bsl::basic_string_char__std::__1::char_traits_char___bsl::allocator_char_______bsl::allocator_BloombergLP::bdlc::CompactedArray_CountedValu ()        | int64_t method_void_BloombergLP::bslalg::ArrayPrimitives_Imp::moveConstruct_BloombergLP::bdlc::CompactedArray_CountedValue_bsl::basic_string_char_std::_1::char_traits_char_bsl::allocator_char_bsl::allocator_BloombergLP::bdlc::CompactedArray_CountedValu (int64_t arg4, int64_t arg3, uint32_t arg2, int64_t arg1) {
                                                                                                                                                                                                                                                                                     |     rcx = arg4;
                                                                                                                                                                                                                                                                                     |     rdx = arg3;
                                                                                                                                                                                                                                                                                     |     rsi = arg2;
                                                                                                                                                                                                                                                                                     |     rdi = arg1;
                                                                                                                                                                                                                                                                                     |     /* void BloombergLP::bslalg::ArrayPrimitives_Imp::moveConstruct<BloombergLP::bdlc::CompactedArray_CountedValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > >, bsl::allocator<BloombergLP::bdlc::CompactedArray_CountedValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > > > >(BloombergLP::bdlc::CompactedArray_CountedValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > >*, BloombergLP::bdlc::CompactedArray_CountedValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > >*, BloombergLP::bdlc::CompactedArray_CountedValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > >*, bsl::allocator<BloombergLP::bdlc::CompactedArray_CountedValue<bsl::basic_string<char, std::__1::char_traits<char>, bsl::allocator<char> > > >, BloombergLP::bslmf::MetaInt<0>*) */
    0x00433c40 push r15                                                                                                                                                                                                                                                              |     
    0x00433c42 push r14                                                                                                                                                                                                                                                              |     
    0x00433c44 push r13                                                                                                                                                                                                                                                              |     
    0x00433c46 push r12                                                                                                                                                                                                                                                              |     
    0x00433c48 push rbx                                                                                                                                                                                                                                                              |     
    0x00433c49 cmp rsi, rdx                                                                                                                                                                                                                                                          |     
                                                                                                                                                                                                                                                                                     |     if (rsi == rdx) {
    0x00433c4c je 0x433d20                                                                                                                                                                                                                                                           |         goto label_3;
                                                                                                                                                                                                                                                                                     |     }
    0x00433c52 mov r14, rcx                                                                                                                                                                                                                                                          |     r14 = rcx;
    0x00433c55 mov r15, rdx                                                                                                                                                                                                                                                          |     r15 = rdx;
    0x00433c58 mov r12, rsi                                                                                                                                                                                                                                                          |     r12 = rsi;
    0x00433c5b mov r13, rdi                                                                                                                                                                                                                                                          |     r13 = rdi;
    0x00433c5e sub r15, rsi                                                                                                                                                                                                                                                          |     r15 -= rsi;
    0x00433c61 xor ebx, ebx                                                                                                                                                                                                                                                          |     ebx = 0;
    0x00433c63 jmp 0x433c7e                                                                                                                                                                                                                                                          |     goto label_4;
                                                                                                                                                                                                                                                                                     | label_1:
    0x00433c65 mov rsi, qword [r12 + rbx]                                                                                                                                                                                                                                            |     
                                                                                                                                                                                                                                                                                     | label_2:
    0x00433c69 mov rdi, rax                                                                                                                                                                                                                                                          |     
    0x00433c6c call 0x403ea0                                                                                                                                                                                                                                                         |     memcpy (rax, *((r12 + rbx)), rdx);
                                                                                                                                                                                                                                                                                     |     do {
                                                                                                                                                                                                                                                                                     | label_0:
    0x00433c71 add rbx, 0x38                                                                                                                                                                                                                                                         |         rbx += 0x38;
    0x00433c75 cmp r15, rbx                                                                                                                                                                                                                                                          |         
                                                                                                                                                                                                                                                                                     |         if (r15 == rbx) {
    0x00433c78 je 0x433d20                                                                                                                                                                                                                                                           |             goto label_3;
                                                                                                                                                                                                                                                                                     |         }
                                                                                                                                                                                                                                                                                     | label_4:
    0x00433c7e mov rdi, qword [r14]                                                                                                                                                                                                                                                  |         rdi = *(r14);
    0x00433c81 mov rax, qword [r12 + rbx + 0x30]                                                                                                                                                                                                                                     |         rax = *((r12 + rbx + 0x30));
    0x00433c86 mov qword [r13 + rbx + 0x30], rax                                                                                                                                                                                                                                     |         *((r13 + rbx + 0x30)) = rax;
    0x00433c8b movups xmm0, xmmword [r12 + rbx]                                                                                                                                                                                                                                      |         __asm ("movups xmm0, xmmword [r12 + rbx]");
    0x00433c90 movups xmm1, xmmword [r12 + rbx + 0x10]                                                                                                                                                                                                                               |         __asm ("movups xmm1, xmmword [r12 + rbx + 0x10]");
    0x00433c96 movups xmmword [r13 + rbx], xmm0                                                                                                                                                                                                                                      |         __asm ("movups xmmword [r13 + rbx], xmm0");
    0x00433c9c movups xmmword [r13 + rbx + 0x10], xmm1                                                                                                                                                                                                                               |         __asm ("movups xmmword [r13 + rbx + 0x10], xmm1");
    0x00433ca2 mov rax, qword [r12 + rbx + 0x20]                                                                                                                                                                                                                                     |         rax = *((r12 + rbx + 0x20));
    0x00433ca7 mov qword [r13 + rbx + 0x20], rax                                                                                                                                                                                                                                     |         *((r13 + rbx + 0x20)) = rax;
    0x00433cac mov qword [r13 + rbx + 0x28], rdi                                                                                                                                                                                                                                     |         *((r13 + rbx + 0x28)) = rdi;
    0x00433cb1 cmp rax, 0x17                                                                                                                                                                                                                                                         |         
    0x00433cb5 je 0x433c71                                                                                                                                                                                                                                                           |         
                                                                                                                                                                                                                                                                                     |     } while (rax == 0x17);
    0x00433cb7 mov rax, qword [r12 + rbx + 0x18]                                                                                                                                                                                                                                     |     rax = *((r12 + rbx + 0x18));
    0x00433cbc cmp rax, 0x17                                                                                                                                                                                                                                                         |     
    0x00433cc0 mov esi, 0x17                                                                                                                                                                                                                                                         |     esi = 0x17;
                                                                                                                                                                                                                                                                                     |     if (rax > 0x17) {
    0x00433cc5 cmova rsi, rax                                                                                                                                                                                                                                                        |         rsi = rax;
                                                                                                                                                                                                                                                                                     |     }
    0x00433cc9 mov qword [r13 + rbx], 0                                                                                                                                                                                                                                              |     *((r13 + rbx)) = 0;
    0x00433cd2 mov qword [r13 + rbx + 0x18], rax                                                                                                                                                                                                                                     |     *((r13 + rbx + 0x18)) = rax;
    0x00433cd7 mov qword [r13 + rbx + 0x20], rsi                                                                                                                                                                                                                                     |     *((r13 + rbx + 0x20)) = rsi;
    0x00433cdc cmp rax, 0x18                                                                                                                                                                                                                                                         |     
                                                                                                                                                                                                                                                                                     |     if (rax >= 0x18) {
    0x00433ce0 jb 0x433cf8                                                                                                                                                                                                                                                           |         
    0x00433ce2 inc rsi                                                                                                                                                                                                                                                               |         rsi++;
    0x00433ce5 mov rax, qword [rdi]                                                                                                                                                                                                                                                  |         rax = *(rdi);
    0x00433ce8 call qword [rax + 0x10]                                                                                                                                                                                                                                               |         rax = uint64_t (*rax + 0x10)() ();
    0x00433ceb mov qword [r13 + rbx], rax                                                                                                                                                                                                                                            |         *((r13 + rbx)) = rax;
    0x00433cf0 cmp qword [r13 + rbx + 0x20], 0x17                                                                                                                                                                                                                                    |         
                                                                                                                                                                                                                                                                                     |         if (*((r13 + rbx + 0x20)) != 0x17) {
    0x00433cf6 jne 0x433cfd                                                                                                                                                                                                                                                          |             goto label_5;
                                                                                                                                                                                                                                                                                     |         }
                                                                                                                                                                                                                                                                                     |     }
    0x00433cf8 lea rax, [r13 + rbx]                                                                                                                                                                                                                                                  |     rax = r13 + rbx;
                                                                                                                                                                                                                                                                                     | label_5:
    0x00433cfd mov rdx, qword [r13 + rbx + 0x18]                                                                                                                                                                                                                                     |     rdx = *((r13 + rbx + 0x18));
    0x00433d02 inc rdx                                                                                                                                                                                                                                                               |     rdx++;
                                                                                                                                                                                                                                                                                     |     if (rdx == 0) {
    0x00433d05 je 0x433c71                                                                                                                                                                                                                                                           |         goto label_0;
                                                                                                                                                                                                                                                                                     |     }
    0x00433d0b cmp qword [r12 + rbx + 0x20], 0x17                                                                                                                                                                                                                                    |     
                                                                                                                                                                                                                                                                                     |     if (*((r12 + rbx + 0x20)) != 0x17) {
    0x00433d11 jne 0x433c65                                                                                                                                                                                                                                                          |         goto label_1;
                                                                                                                                                                                                                                                                                     |     }
    0x00433d17 lea rsi, [r12 + rbx]                                                                                                                                                                                                                                                  |     rsi = r12 + rbx;
    0x00433d1b jmp 0x433c69                                                                                                                                                                                                                                                          |     goto label_2;
                                                                                                                                                                                                                                                                                     | label_3:
    0x00433d20 pop rbx                                                                                                                                                                                                                                                               |     
    0x00433d21 pop r12                                                                                                                                                                                                                                                               |     
    0x00433d23 pop r13                                                                                                                                                                                                                                                               |     
    0x00433d25 pop r14                                                                                                                                                                                                                                                               |     
    0x00433d27 pop r15                                                                                                                                                                                                                                                               |     
    0x00433d29 ret                                                                                                                                                                                                                                                                   |     return rax;
                                                                                                                                                                                                                                                                                     | }