unsigned char *convertToUnibyteStringAndReplaceLastChar(
    unsigned short *input, unsigned char *output, const unsigned int length,
    unsigned char c) {
  int i = 0;
  for (; i <= length && input[i] != 0; ++i)
    output[i] = input[i] & 0xFF;
  output[i - 1] = c;
  output[i] = 0;
  return output;
}


x86 assembly (clang, -O0):
<convertToUnibyteStringAndReplaceLastChar>:
push   %rbp
mov    %rsp,%rbp
mov    %cl,%al
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %al,-0x15(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x1d(%rbp)
ja     1141 <convertToUnibyteStringAndReplaceLastChar+0x41>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzwl (%rax,%rcx,2),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    1151 <convertToUnibyteStringAndReplaceLastChar+0x51>
jmp    117d <convertToUnibyteStringAndReplaceLastChar+0x7d>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzwl (%rax,%rcx,2),%eax
and    $0xff,%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    111b <convertToUnibyteStringAndReplaceLastChar+0x1b>
mov    -0x15(%rbp),%dl
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<convertToUnibyteStringAndReplaceLastChar>:
mov    %rsi,%rax
add    $0x1,%edx
mov    %edx,%r8d
xor    %esi,%esi
nopl   0x0(%rax,%rax,1)
movzwl (%rdi,%rsi,2),%r9d
test   %r9w,%r9w
je     112a <convertToUnibyteStringAndReplaceLastChar+0x2a>
mov    %r9b,(%rax,%rsi,1)
add    $0x1,%rsi
cmp    %rsi,%r8
jne    1110 <convertToUnibyteStringAndReplaceLastChar+0x10>
jmp    112f <convertToUnibyteStringAndReplaceLastChar+0x2f>
mov    %esi,%r8d
mov    %esi,%edx
movslq %edx,%rdx
mov    %cl,-0x1(%rdx,%rax,1)
movb   $0x0,(%rax,%r8,1)
ret

LLVM IR (-O0):
define i8* @convertToUnibyteStringAndReplaceLastChar(i16* %0, i8* %1, i32 %2, i8 zeroext %3) {
%5 = alloca i16*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i8
%9 = alloca i32
store i16* %0, i16** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
store i8 %3, i8* %8
store i32 0, i32* %9
br label %10
10: ; preds = %37, %4
%11 = load i32, i32* %9
%12 = load i32, i32* %7
%13 = icmp ule i32 %11, %12
br i1 %13, label %14, label %22
14: ; preds = %10
%15 = load i16*, i16** %5
%16 = load i32, i32* %9
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i16, i16* %15, i64 %17
%19 = load i16, i16* %18
%20 = zext i16 %19 to i32
%21 = icmp ne i32 %20, 0
br label %22
22: ; preds = %14, %10
%23 = phi i1 [ false, %10 ], [ %21, %14 ]
br i1 %23, label %24, label %40
24: ; preds = %22
%25 = load i16*, i16** %5
%26 = load i32, i32* %9
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds i16, i16* %25, i64 %27
%29 = load i16, i16* %28
%30 = zext i16 %29 to i32
%31 = and i32 %30, 255
%32 = trunc i32 %31 to i8
%33 = load i8*, i8** %6
%34 = load i32, i32* %9
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %33, i64 %35
store i8 %32, i8* %36
br label %37
37: ; preds = %24
%38 = load i32, i32* %9
%39 = add nsw i32 %38, 1
store i32 %39, i32* %9
br label %10
40: ; preds = %22
%41 = load i8, i8* %8
%42 = load i8*, i8** %6
%43 = load i32, i32* %9
%44 = sub nsw i32 %43, 1
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %42, i64 %45
store i8 %41, i8* %46
%47 = load i8*, i8** %6
%48 = load i32, i32* %9
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i8, i8* %47, i64 %49
store i8 0, i8* %50
%51 = load i8*, i8** %6
ret i8* %51
}

LLVM IR (-O2):
define i8* @convertToUnibyteStringAndReplaceLastChar(i16* nocapture %0, i8* returned writeonly %1, i32 %2, i8 zeroext %3) {
%5 = add i32 %2, 1
%6 = zext i32 %5 to i64
br label %7
7: ; preds = %4, %15
%8 = phi i64 [ 0, %4 ], [ %18, %15 ]
%9 = getelementptr inbounds i16, i16* %0, i64 %8
%10 = load i16, i16* %9
%11 = icmp eq i16 %10, 0
br i1 %11, label %12, label %15
12: ; preds = %7
%13 = trunc i64 %8 to i32
%14 = and i64 %8, 4294967295
br label %20
15: ; preds = %7
%16 = trunc i16 %10 to i8
%17 = getelementptr inbounds i8, i8* %1, i64 %8
store i8 %16, i8* %17
%18 = add nuw nsw i64 %8, 1
%19 = icmp eq i64 %18, %6
br i1 %19, label %20, label %7
20: ; preds = %15, %12
%21 = phi i64 [ %14, %12 ], [ %6, %15 ]
%22 = phi i32 [ %13, %12 ], [ %5, %15 ]
%23 = add nsw i32 %22, -1
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %1, i64 %24
store i8 %3, i8* %25
%26 = getelementptr inbounds i8, i8* %1, i64 %21
store i8 0, i8* %26
ret i8* %1
}