; assembly                                                                                                                                                                                                                                                   | /* r2dec pseudo code output */
                                                                                                                                                                                                                                                                 | /* bdlde_charconvertutf16.t/none @ 0x42f240 */
                                                                                                                                                                                                                                                                 | #include <stdint.h>
                                                                                                                                                                                                                                                                 |  
    ; (fcn) method.BloombergLP::bdlde::CharConvertUtf16.utf16ToUtf8_bsl::vector_char__bsl::allocator_char_____std::__1::basic_string_view_wchar_t__std::__1::char_traits_wchar_t____const__unsigned_long__char__BloombergLP::bdlde::ByteOrder::Enum_ ()          | int64_t method_BloombergLP::bdlde::CharConvertUtf16_utf16ToUtf8_bsl::vector_char_bsl::allocator_char_std::_1::basic_string_view_wchar_t_std::_1::char_traits_wchar_t_const_unsigned_long_char_BloombergLP::bdlde::ByteOrder::Enum_ (int64_t arg5, int64_t arg4, uint32_t arg3, char * arg2, char * arg1) {
                                                                                                                                                                                                                                                                 |     r8 = arg5;
                                                                                                                                                                                                                                                                 |     rcx = arg4;
                                                                                                                                                                                                                                                                 |     rdx = arg3;
                                                                                                                                                                                                                                                                 |     rsi = arg2;
                                                                                                                                                                                                                                                                 |     rdi = arg1;
                                                                                                                                                                                                                                                                 |     /* BloombergLP::bdlde::CharConvertUtf16::utf16ToUtf8(bsl::vector<char, bsl::allocator<char> >*, std::__1::basic_string_view<wchar_t, std::__1::char_traits<wchar_t> > const&, unsigned long*, char, BloombergLP::bdlde::ByteOrder::Enum) */
    0x0042f240 push rbp                                                                                                                                                                                                                                          |     
    0x0042f241 push r15                                                                                                                                                                                                                                          |     
    0x0042f243 push r14                                                                                                                                                                                                                                          |     
    0x0042f245 push r13                                                                                                                                                                                                                                          |     
    0x0042f247 push r12                                                                                                                                                                                                                                          |     
    0x0042f249 push rbx                                                                                                                                                                                                                                          |     
    0x0042f24a push rax                                                                                                                                                                                                                                          |     
    0x0042f24b mov r13d, ecx                                                                                                                                                                                                                                     |     r13d = ecx;
    0x0042f24e mov r14, rdx                                                                                                                                                                                                                                      |     r14 = rdx;
    0x0042f251 mov r12, rdi                                                                                                                                                                                                                                      |     r12 = rdi;
    0x0042f254 mov r15, qword [rsi]                                                                                                                                                                                                                              |     r15 = *(rsi);
    0x0042f257 mov rax, qword [rsi + 8]                                                                                                                                                                                                                          |     rax = *((rsi + 8));
    0x0042f25b lea rbx, [r15 + rax*4]                                                                                                                                                                                                                            |     rbx = r15 + rax*4;
    0x0042f25f xor esi, esi                                                                                                                                                                                                                                      |     esi = 0;
    0x0042f261 test r8d, r8d                                                                                                                                                                                                                                     |     
                                                                                                                                                                                                                                                                 |     if (r8d == 0) {
    0x0042f264 je 0x42f33a                                                                                                                                                                                                                                       |         goto label_6;
                                                                                                                                                                                                                                                                 |     }
    0x0042f26a test rax, rax                                                                                                                                                                                                                                     |     
                                                                                                                                                                                                                                                                 |     if (rax <= 0) {
    0x0042f26d jle 0x42f300                                                                                                                                                                                                                                      |         goto label_7;
                                                                                                                                                                                                                                                                 |     }
    0x0042f273 mov r8d, 0xfc0000                                                                                                                                                                                                                                 |     r8d = 0xfc0000;
    0x0042f279 mov rcx, r15                                                                                                                                                                                                                                      |     rcx = r15;
    0x0042f27c jmp 0x42f296                                                                                                                                                                                                                                      |     goto label_8;
                                                                                                                                                                                                                                                                 | label_0:
    0x0042f280 cmp edi, 0x800                                                                                                                                                                                                                                    |     
    0x0042f286 sbb rsi, 0                                                                                                                                                                                                                                        |     
    0x0042f28a add rsi, 3                                                                                                                                                                                                                                        |     rsi += 3;
                                                                                                                                                                                                                                                                 |     do {
                                                                                                                                                                                                                                                                 | label_2:
    0x0042f28e mov rcx, rdx                                                                                                                                                                                                                                      |         rcx = rdx;
    0x0042f291 cmp rdx, rbx                                                                                                                                                                                                                                      |         
                                                                                                                                                                                                                                                                 |         if (rdx >= rbx) {
    0x0042f294 jae 0x42f300                                                                                                                                                                                                                                      |             goto label_7;
                                                                                                                                                                                                                                                                 |         }
                                                                                                                                                                                                                                                                 | label_8:
    0x0042f296 mov ebp, dword [rcx]                                                                                                                                                                                                                              |         ebp = *(rcx);
    0x0042f298 mov edx, ebp                                                                                                                                                                                                                                      |         edx = *(rcx);
    0x0042f29a shr edx, 0x18                                                                                                                                                                                                                                     |         edx >>= 0x18;
    0x0042f29d mov edi, ebp                                                                                                                                                                                                                                      |         edi = ebp;
    0x0042f29f shr edi, 8                                                                                                                                                                                                                                        |         edi >>= 8;
    0x0042f2a2 and edi, 0xff00                                                                                                                                                                                                                                   |         edi &= 0xff00;
    0x0042f2a8 or edi, edx                                                                                                                                                                                                                                       |         edi |= edx;
    0x0042f2aa cmp edi, 0x7f                                                                                                                                                                                                                                     |         
                                                                                                                                                                                                                                                                 |         if (edi > 0x7f) {
    0x0042f2ad ja 0x42f2c0                                                                                                                                                                                                                                       |             goto label_9;
                                                                                                                                                                                                                                                                 |         }
    0x0042f2af add rcx, 4                                                                                                                                                                                                                                        |         rcx += 4;
    0x0042f2b3 inc rsi                                                                                                                                                                                                                                           |         rsi++;
                                                                                                                                                                                                                                                                 | label_1:
    0x0042f2b6 mov rdx, rcx                                                                                                                                                                                                                                      |         rdx = rcx;
    0x0042f2b9 jmp 0x42f28e                                                                                                                                                                                                                                      |         
                                                                                                                                                                                                                                                                 |     } while (1);
                                                                                                                                                                                                                                                                 | label_9:
    0x0042f2c0 mov eax, ebp                                                                                                                                                                                                                                      |     eax = ebp;
    0x0042f2c2 and eax, 0xf80000                                                                                                                                                                                                                                 |     eax &= 0xf80000;
    0x0042f2c7 lea rdx, [rcx + 4]                                                                                                                                                                                                                                |     rdx = rcx + 4;
    0x0042f2cb cmp eax, 0xd80000                                                                                                                                                                                                                                 |     
                                                                                                                                                                                                                                                                 |     if (eax != 0xd80000) {
    0x0042f2d0 jne 0x42f280                                                                                                                                                                                                                                      |         goto label_0;
                                                                                                                                                                                                                                                                 |     }
    0x0042f2d2 cmp rdx, rbx                                                                                                                                                                                                                                      |     
                                                                                                                                                                                                                                                                 |     if (rdx < rbx) {
    0x0042f2d5 jae 0x42f2fb                                                                                                                                                                                                                                      |         
    0x0042f2d7 and ebp, 0xfc0000                                                                                                                                                                                                                                 |         ebp &= 0xfc0000;
    0x0042f2dd cmp ebp, 0xd80000                                                                                                                                                                                                                                 |         
                                                                                                                                                                                                                                                                 |         if (ebp != 0xd80000) {
    0x0042f2e3 jne 0x42f2fb                                                                                                                                                                                                                                      |             goto label_10;
                                                                                                                                                                                                                                                                 |         }
    0x0042f2e5 mov eax, dword [rdx]                                                                                                                                                                                                                              |         eax = *(rdx);
    0x0042f2e7 and eax, r8d                                                                                                                                                                                                                                      |         eax &= r8d;
    0x0042f2ea cmp eax, 0xdc0000                                                                                                                                                                                                                                 |         
                                                                                                                                                                                                                                                                 |         if (eax != 0xdc0000) {
    0x0042f2ef jne 0x42f2fb                                                                                                                                                                                                                                      |             goto label_10;
                                                                                                                                                                                                                                                                 |         }
    0x0042f2f1 add rcx, 8                                                                                                                                                                                                                                        |         rcx += 8;
    0x0042f2f5 add rsi, 4                                                                                                                                                                                                                                        |         rsi += 4;
    0x0042f2f9 jmp 0x42f2b6                                                                                                                                                                                                                                      |         goto label_1;
                                                                                                                                                                                                                                                                 |     }
                                                                                                                                                                                                                                                                 | label_10:
    0x0042f2fb inc rsi                                                                                                                                                                                                                                           |     rsi++;
    0x0042f2fe jmp 0x42f28e                                                                                                                                                                                                                                      |     goto label_2;
                                                                                                                                                                                                                                                                 | label_7:
    0x0042f300 inc rsi                                                                                                                                                                                                                                           |     rsi++;
    0x0042f303 mov rdi, qword [r12]                                                                                                                                                                                                                              |     rdi = *(r12);
    0x0042f307 mov rax, qword [r12 + 8]                                                                                                                                                                                                                          |     rax = *((r12 + 8));
    0x0042f30c sub rax, rdi                                                                                                                                                                                                                                      |     rax -= rdi;
    0x0042f30f cmp rsi, rax                                                                                                                                                                                                                                      |     
                                                                                                                                                                                                                                                                 |     if (rsi > rax) {
    0x0042f312 jbe 0x42f320                                                                                                                                                                                                                                      |         
    0x0042f314 mov rdi, r12                                                                                                                                                                                                                                      |         
    0x0042f317 call 0x442e60                                                                                                                                                                                                                                     |         bsl::vector<char,bsl::allocator<char>>::resize(unsigned long) (r12, rsi);
    0x0042f31c mov rdi, qword [r12]                                                                                                                                                                                                                              |         rdi = *(r12);
                                                                                                                                                                                                                                                                 |     }
    0x0042f320 movsx r9d, r13b                                                                                                                                                                                                                                   |     r9d = (int32_t) r13b;
    0x0042f324 mov r8, rsp                                                                                                                                                                                                                                       |     r8 = rsp;
    0x0042f327 mov rsi, r15                                                                                                                                                                                                                                      |     rsi = r15;
    0x0042f32a mov rdx, rbx                                                                                                                                                                                                                                      |     rdx = rbx;
    0x0042f32d mov rcx, r14                                                                                                                                                                                                                                      |     rcx = r14;
    0x0042f330 call 0x433380                                                                                                                                                                                                                                     |     rax = int(anonymousnamespace)::localUtf16ToUtf8<wchar_t,(anonymousnamespace)::NoOpCapacity,(anonymousnamespace)::Utf16::PtrBasedEnd<wchar_t>,(anonymousnamespace)::Swapper<wchar_t>>(char*,(anonymousnamespace)::NoOpCapacity,wchar_tconst*,(anonymousnamespace)::Utf16::PtrBasedEnd<wchar_t>,(anonymousnamespace)::Swapper<wchar_t>,unsigned long*,unsigned long*,char) ();
    0x0042f335 jmp 0x42f3f7                                                                                                                                                                                                                                      |     goto label_11;
                                                                                                                                                                                                                                                                 | label_6:
    0x0042f33a test rax, rax                                                                                                                                                                                                                                     |     
                                                                                                                                                                                                                                                                 |     if (rax <= 0) {
    0x0042f33d jle 0x42f3c2                                                                                                                                                                                                                                      |         goto label_12;
                                                                                                                                                                                                                                                                 |     }
    0x0042f343 mov eax, 0xfc00                                                                                                                                                                                                                                   |     eax = 0xfc00;
    0x0042f348 mov rcx, r15                                                                                                                                                                                                                                      |     rcx = r15;
    0x0042f34b jmp 0x42f366                                                                                                                                                                                                                                      |     goto label_13;
                                                                                                                                                                                                                                                                 | label_3:
    0x0042f350 cmp edi, 0x800                                                                                                                                                                                                                                    |     
    0x0042f356 sbb rsi, 0                                                                                                                                                                                                                                        |     
    0x0042f35a add rsi, 3                                                                                                                                                                                                                                        |     rsi += 3;
                                                                                                                                                                                                                                                                 |     do {
                                                                                                                                                                                                                                                                 | label_5:
    0x0042f35e mov rcx, rdx                                                                                                                                                                                                                                      |         rcx = rdx;
    0x0042f361 cmp rdx, rbx                                                                                                                                                                                                                                      |         
                                                                                                                                                                                                                                                                 |         if (rdx >= rbx) {
    0x0042f364 jae 0x42f3c2                                                                                                                                                                                                                                      |             goto label_12;
                                                                                                                                                                                                                                                                 |         }
                                                                                                                                                                                                                                                                 | label_13:
    0x0042f366 mov edi, dword [rcx]                                                                                                                                                                                                                              |         edi = *(rcx);
    0x0042f368 cmp edi, 0x7f                                                                                                                                                                                                                                     |         
                                                                                                                                                                                                                                                                 |         if (edi > 0x7f) {
    0x0042f36b ja 0x42f380                                                                                                                                                                                                                                       |             goto label_14;
                                                                                                                                                                                                                                                                 |         }
    0x0042f36d add rcx, 4                                                                                                                                                                                                                                        |         rcx += 4;
    0x0042f371 inc rsi                                                                                                                                                                                                                                           |         rsi++;
                                                                                                                                                                                                                                                                 | label_4:
    0x0042f374 mov rdx, rcx                                                                                                                                                                                                                                      |         rdx = rcx;
    0x0042f377 jmp 0x42f35e                                                                                                                                                                                                                                      |         
                                                                                                                                                                                                                                                                 |     } while (1);
                                                                                                                                                                                                                                                                 | label_14:
    0x0042f380 mov ebp, edi                                                                                                                                                                                                                                      |     
    0x0042f382 and ebp, 0xf800                                                                                                                                                                                                                                   |     ebp &= 0xf800;
    0x0042f388 lea rdx, [rcx + 4]                                                                                                                                                                                                                                |     rdx = rcx + 4;
    0x0042f38c cmp ebp, 0xd800                                                                                                                                                                                                                                   |     
                                                                                                                                                                                                                                                                 |     if (ebp != 0xd800) {
    0x0042f392 jne 0x42f350                                                                                                                                                                                                                                      |         goto label_3;
                                                                                                                                                                                                                                                                 |     }
    0x0042f394 cmp rdx, rbx                                                                                                                                                                                                                                      |     
                                                                                                                                                                                                                                                                 |     if (rdx < rbx) {
    0x0042f397 jae 0x42f3bd                                                                                                                                                                                                                                      |         
    0x0042f399 and edi, 0xfc00                                                                                                                                                                                                                                   |         edi &= 0xfc00;
    0x0042f39f cmp edi, 0xd800                                                                                                                                                                                                                                   |         
                                                                                                                                                                                                                                                                 |         if (edi != 0xd800) {
    0x0042f3a5 jne 0x42f3bd                                                                                                                                                                                                                                      |             goto label_15;
                                                                                                                                                                                                                                                                 |         }
    0x0042f3a7 mov edi, dword [rdx]                                                                                                                                                                                                                              |         edi = *(rdx);
    0x0042f3a9 and edi, eax                                                                                                                                                                                                                                      |         edi &= eax;
    0x0042f3ab cmp edi, 0xdc00                                                                                                                                                                                                                                   |         
                                                                                                                                                                                                                                                                 |         if (edi != 0xdc00) {
    0x0042f3b1 jne 0x42f3bd                                                                                                                                                                                                                                      |             goto label_15;
                                                                                                                                                                                                                                                                 |         }
    0x0042f3b3 add rcx, 8                                                                                                                                                                                                                                        |         rcx += 8;
    0x0042f3b7 add rsi, 4                                                                                                                                                                                                                                        |         rsi += 4;
    0x0042f3bb jmp 0x42f374                                                                                                                                                                                                                                      |         goto label_4;
                                                                                                                                                                                                                                                                 |     }
                                                                                                                                                                                                                                                                 | label_15:
    0x0042f3bd inc rsi                                                                                                                                                                                                                                           |     rsi++;
    0x0042f3c0 jmp 0x42f35e                                                                                                                                                                                                                                      |     goto label_5;
                                                                                                                                                                                                                                                                 | label_12:
    0x0042f3c2 inc rsi                                                                                                                                                                                                                                           |     rsi++;
    0x0042f3c5 mov rdi, qword [r12]                                                                                                                                                                                                                              |     rdi = *(r12);
    0x0042f3c9 mov rax, qword [r12 + 8]                                                                                                                                                                                                                          |     rax = *((r12 + 8));
    0x0042f3ce sub rax, rdi                                                                                                                                                                                                                                      |     rax -= rdi;
    0x0042f3d1 cmp rsi, rax                                                                                                                                                                                                                                      |     
                                                                                                                                                                                                                                                                 |     if (rsi > rax) {
    0x0042f3d4 jbe 0x42f3e2                                                                                                                                                                                                                                      |         
    0x0042f3d6 mov rdi, r12                                                                                                                                                                                                                                      |         
    0x0042f3d9 call 0x442e60                                                                                                                                                                                                                                     |         bsl::vector<char,bsl::allocator<char>>::resize(unsigned long) (r12, rsi);
    0x0042f3de mov rdi, qword [r12]                                                                                                                                                                                                                              |         rdi = *(r12);
                                                                                                                                                                                                                                                                 |     }
    0x0042f3e2 movsx r9d, r13b                                                                                                                                                                                                                                   |     r9d = (int32_t) r13b;
    0x0042f3e6 mov r8, rsp                                                                                                                                                                                                                                       |     r8 = rsp;
    0x0042f3e9 mov rsi, r15                                                                                                                                                                                                                                      |     rsi = r15;
    0x0042f3ec mov rdx, rbx                                                                                                                                                                                                                                      |     rdx = rbx;
    0x0042f3ef mov rcx, r14                                                                                                                                                                                                                                      |     rcx = r14;
    0x0042f3f2 call 0x4331f0                                                                                                                                                                                                                                     |     eax = int(anonymousnamespace)::localUtf16ToUtf8<wchar_t,(anonymousnamespace)::NoOpCapacity,(anonymousnamespace)::Utf16::PtrBasedEnd<wchar_t>,(anonymousnamespace)::NoOpSwapper<wchar_t>>(char*,(anonymousnamespace)::NoOpCapacity,wchar_tconst*,(anonymousnamespace)::Utf16::PtrBasedEnd<wchar_t>,(anonymousnamespace)::NoOpSwapper<wchar_t>,unsigned long*,unsigned long*,char) ();
                                                                                                                                                                                                                                                                 | label_11:
    0x0042f3f7 mov ebx, eax                                                                                                                                                                                                                                      |     ebx = eax;
    0x0042f3f9 mov rsi, qword [rsp]                                                                                                                                                                                                                              |     rsi = *(rsp);
    0x0042f3fd mov rax, qword [r12 + 8]                                                                                                                                                                                                                          |     rax = *((r12 + 8));
    0x0042f402 sub rax, qword [r12]                                                                                                                                                                                                                              |     rax -= *(r12);
    0x0042f406 cmp rax, rsi                                                                                                                                                                                                                                      |     
                                                                                                                                                                                                                                                                 |     if (rax != rsi) {
    0x0042f409 je 0x42f413                                                                                                                                                                                                                                       |         
    0x0042f40b mov rdi, r12                                                                                                                                                                                                                                      |         
    0x0042f40e call 0x442e60                                                                                                                                                                                                                                     |         bsl::vector<char,bsl::allocator<char>>::resize(unsigned long) (r12, rsi);
                                                                                                                                                                                                                                                                 |     }
    0x0042f413 mov eax, ebx                                                                                                                                                                                                                                      |     eax = ebx;
    0x0042f415 add rsp, 8                                                                                                                                                                                                                                        |     
    0x0042f419 pop rbx                                                                                                                                                                                                                                           |     
    0x0042f41a pop r12                                                                                                                                                                                                                                           |     
    0x0042f41c pop r13                                                                                                                                                                                                                                           |     
    0x0042f41e pop r14                                                                                                                                                                                                                                           |     
    0x0042f420 pop r15                                                                                                                                                                                                                                           |     
    0x0042f422 pop rbp                                                                                                                                                                                                                                           |     
    0x0042f423 ret                                                                                                                                                                                                                                               |     return rax;
                                                                                                                                                                                                                                                                 | }