; assembly                                                                                                                                                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                                                                                                                                                 | /* ball_administration.t/none @ 0x412700 */
                                                                                                                                                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                                                                                                                                                 |  
    ; (fcn) method.void_BloombergLP::bslalg::ArrayPrimitives_Imp::moveIfNoexcept_BloombergLP::ball::ManagedAttribute__bsl::allocator_BloombergLP::ball.ManagedAttribute____BloombergLP::ball::ManagedAttribute__BloombergLP::ball::ManagedAttribute__BloombergLP::ball:: ()      | void method_void_BloombergLP::bslalg::ArrayPrimitives_Imp::moveIfNoexcept_BloombergLP::ball::ManagedAttribute_bsl::allocator_BloombergLP::ball_ManagedAttribute_BloombergLP::ball::ManagedAttribute_BloombergLP::ball::ManagedAttribute_BloombergLP::ball:: (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::moveIfNoexcept<BloombergLP::ball::ManagedAttribute, bsl::allocator<BloombergLP::ball::ManagedAttribute> >(BloombergLP::ball::ManagedAttribute*, BloombergLP::ball::ManagedAttribute*, BloombergLP::ball::ManagedAttribute*, bsl::allocator<BloombergLP::ball::ManagedAttribute>, BloombergLP::bslmf::MetaInt<0>*) */
    0x00412700 push r15                                                                                                                                                                                                                                                          |     
    0x00412702 push r14                                                                                                                                                                                                                                                          |     
    0x00412704 push r13                                                                                                                                                                                                                                                          |     
    0x00412706 push r12                                                                                                                                                                                                                                                          |     
    0x00412708 push rbx                                                                                                                                                                                                                                                          |     
    0x00412709 cmp rsi, rdx                                                                                                                                                                                                                                                      |     
                                                                                                                                                                                                                                                                                 |     if (rsi == rdx) {
    0x0041270c je 0x41273c                                                                                                                                                                                                                                                       |         goto label_0;
                                                                                                                                                                                                                                                                                 |     }
    0x0041270e mov r14, rcx                                                                                                                                                                                                                                                      |     r14 = rcx;
    0x00412711 mov r15, rdx                                                                                                                                                                                                                                                      |     r15 = rdx;
    0x00412714 mov r12, rsi                                                                                                                                                                                                                                                      |     r12 = rsi;
    0x00412717 mov r13, rdi                                                                                                                                                                                                                                                      |     r13 = rdi;
    0x0041271a sub r15, rsi                                                                                                                                                                                                                                                      |     r15 -= rsi;
    0x0041271d xor ebx, ebx                                                                                                                                                                                                                                                      |     ebx = 0;
    0x0041271f nop                                                                                                                                                                                                                                                               |     
                                                                                                                                                                                                                                                                                 |     do {
    0x00412720 lea rcx, [r12 + rbx]                                                                                                                                                                                                                                              |         rcx = r12 + rbx;
    0x00412724 lea rdi, [r13 + rbx]                                                                                                                                                                                                                                              |         
    0x00412729 mov rsi, qword [r14]                                                                                                                                                                                                                                              |         
    0x0041272c xor edx, edx                                                                                                                                                                                                                                                      |         
    0x0041272e call 0x4127d0                                                                                                                                                                                                                                                     |         voidBloombergLP::bslma::ConstructionUtil_Imp::construct<BloombergLP::ball::ManagedAttribute,BloombergLP::ball::ManagedAttributeconst&>(BloombergLP::ball::ManagedAttribute*,BloombergLP::bslma::Allocator*,bsl::integral_constant<int,4>*,BloombergLP::ball::ManagedAttributeconst&) (r13 + rbx, *(r14), 0);
    0x00412733 sub rbx, 0xffffffffffffff80                                                                                                                                                                                                                                       |         rbx -= 0xffffffffffffff80;
    0x00412737 cmp r15, rbx                                                                                                                                                                                                                                                      |         
    0x0041273a jne 0x412720                                                                                                                                                                                                                                                      |         
                                                                                                                                                                                                                                                                                 |     } while (r15 != rbx);
                                                                                                                                                                                                                                                                                 | label_0:
    0x0041273c pop rbx                                                                                                                                                                                                                                                           |     
    0x0041273d pop r12                                                                                                                                                                                                                                                           |     
    0x0041273f pop r13                                                                                                                                                                                                                                                           |     
    0x00412741 pop r14                                                                                                                                                                                                                                                           |     
    0x00412743 pop r15                                                                                                                                                                                                                                                           |     
    0x00412745 ret                                                                                                                                                                                                                                                               |     
                                                                                                                                                                                                                                                                                 | }