void ConvertShort(unsigned short *array, unsigned int length) {
  unsigned short b1, b2;
  unsigned char *ptr;
  ptr = (unsigned char *)array;
  while (length--) {
    b1 = *ptr++;
    b2 = *ptr++;
    *array++ = (b1 << 8) | (b2);
  }
}


x86 assembly (clang, -O0):
<ConvertShort>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0xc(%rbp)
cmp    $0x0,%eax
je     117a <ConvertShort+0x7a>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movzbl (%rax),%eax
mov    %ax,-0xe(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movzbl (%rax),%eax
mov    %ax,-0x10(%rbp)
movzwl -0xe(%rbp),%eax
shl    $0x8,%eax
movzwl -0x10(%rbp),%ecx
or     %ecx,%eax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cx,(%rax)
jmp    1113 <ConvertShort+0x13>
pop    %rbp
ret

x86 assembly (clang, -O2):
<ConvertShort>:
test   %esi,%esi
je     115f <ConvertShort+0x5f>
lea    -0x1(%rsi),%eax
test   $0x3,%sil
je     1132 <ConvertShort+0x32>
mov    %esi,%edx
and    $0x3,%edx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
rolw   $0x8,(%rdi)
add    $0x2,%rdi
add    $0x1,%rcx
cmp    %ecx,%edx
jne    1120 <ConvertShort+0x20>
sub    %ecx,%esi
cmp    $0x3,%eax
jb     115f <ConvertShort+0x5f>
mov    %esi,%eax
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
rolw   $0x8,(%rdi,%rcx,2)
rolw   $0x8,0x2(%rdi,%rcx,2)
rolw   $0x8,0x4(%rdi,%rcx,2)
rolw   $0x8,0x6(%rdi,%rcx,2)
add    $0x4,%rcx
cmp    %ecx,%eax
jne    1140 <ConvertShort+0x40>
ret

LLVM IR (-O0):
define void @ConvertShort(i16* %0, i32 %1) {
%3 = alloca i16*
%4 = alloca i32
%5 = alloca i16
%6 = alloca i16
%7 = alloca i8*
store i16* %0, i16** %3
store i32 %1, i32* %4
%8 = load i16*, i16** %3
%9 = bitcast i16* %8 to i8*
store i8* %9, i8** %7
br label %10
10: ; preds = %14, %2
%11 = load i32, i32* %4
%12 = add i32 %11, -1
store i32 %12, i32* %4
%13 = icmp ne i32 %11, 0
br i1 %13, label %14, label %32
14: ; preds = %10
%15 = load i8*, i8** %7
%16 = getelementptr inbounds i8, i8* %15, i32 1
store i8* %16, i8** %7
%17 = load i8, i8* %15
%18 = zext i8 %17 to i16
store i16 %18, i16* %5
%19 = load i8*, i8** %7
%20 = getelementptr inbounds i8, i8* %19, i32 1
store i8* %20, i8** %7
%21 = load i8, i8* %19
%22 = zext i8 %21 to i16
store i16 %22, i16* %6
%23 = load i16, i16* %5
%24 = zext i16 %23 to i32
%25 = shl i32 %24, 8
%26 = load i16, i16* %6
%27 = zext i16 %26 to i32
%28 = or i32 %25, %27
%29 = trunc i32 %28 to i16
%30 = load i16*, i16** %3
%31 = getelementptr inbounds i16, i16* %30, i32 1
store i16* %31, i16** %3
store i16 %29, i16* %30
br label %10
32: ; preds = %10
ret void
}

LLVM IR (-O2):
define void @ConvertShort(i16* nocapture %0, i32 %1) {
%3 = icmp eq i32 %1, 0
br i1 %3, label %70, label %4
4: ; preds = %2
%5 = bitcast i16* %0 to i8*
%6 = add i32 %1, -1
%7 = and i32 %1, 3
%8 = icmp eq i32 %7, 0
br i1 %8, label %25, label %9
9: ; preds = %4, %9
%10 = phi i8* [ %17, %9 ], [ %5, %4 ]
%11 = phi i32 [ %14, %9 ], [ %1, %4 ]
%12 = phi i32 [ %23, %9 ], [ 0, %4 ]
%13 = bitcast i8* %10 to i16*
%14 = add i32 %11, -1
%15 = getelementptr inbounds i8, i8* %10, i64 1
%16 = load i8, i8* %10
%17 = getelementptr inbounds i8, i8* %10, i64 2
%18 = load i8, i8* %15
%19 = zext i8 %16 to i16
%20 = shl nuw i16 %19, 8
%21 = zext i8 %18 to i16
%22 = or i16 %20, %21
store i16 %22, i16* %13
%23 = add i32 %12, 1
%24 = icmp eq i32 %23, %7
br i1 %24, label %25, label %9
25: ; preds = %9, %4
%26 = phi i8* [ %5, %4 ], [ %17, %9 ]
%27 = phi i32 [ %1, %4 ], [ %14, %9 ]
%28 = icmp ult i32 %6, 3
br i1 %28, label %70, label %29
29: ; preds = %25, %29
%30 = phi i8* [ %63, %29 ], [ %26, %25 ]
%31 = phi i32 [ %60, %29 ], [ %27, %25 ]
%32 = bitcast i8* %30 to i16*
%33 = getelementptr inbounds i8, i8* %30, i64 1
%34 = load i8, i8* %30
%35 = getelementptr inbounds i8, i8* %30, i64 2
%36 = load i8, i8* %33
%37 = zext i8 %34 to i16
%38 = shl nuw i16 %37, 8
%39 = zext i8 %36 to i16
%40 = or i16 %38, %39
store i16 %40, i16* %32
%41 = bitcast i8* %35 to i16*
%42 = getelementptr inbounds i8, i8* %30, i64 3
%43 = load i8, i8* %35
%44 = getelementptr inbounds i8, i8* %30, i64 4
%45 = load i8, i8* %42
%46 = zext i8 %43 to i16
%47 = shl nuw i16 %46, 8
%48 = zext i8 %45 to i16
%49 = or i16 %47, %48
store i16 %49, i16* %41
%50 = bitcast i8* %44 to i16*
%51 = getelementptr inbounds i8, i8* %30, i64 5
%52 = load i8, i8* %44
%53 = getelementptr inbounds i8, i8* %30, i64 6
%54 = load i8, i8* %51
%55 = zext i8 %52 to i16
%56 = shl nuw i16 %55, 8
%57 = zext i8 %54 to i16
%58 = or i16 %56, %57
store i16 %58, i16* %50
%59 = bitcast i8* %53 to i16*
%60 = add i32 %31, -4
%61 = getelementptr inbounds i8, i8* %30, i64 7
%62 = load i8, i8* %53
%63 = getelementptr inbounds i8, i8* %30, i64 8
%64 = load i8, i8* %61
%65 = zext i8 %62 to i16
%66 = shl nuw i16 %65, 8
%67 = zext i8 %64 to i16
%68 = or i16 %66, %67
store i16 %68, i16* %59
%69 = icmp eq i32 %60, 0
br i1 %69, label %70, label %29
70: ; preds = %25, %29, %2
ret void
}