void ConvertShort(unsigned short *array, long length) {
  unsigned long 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    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x10(%rbp)
cmp    $0x0,%rax
je     117f <ConvertShort+0x7f>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movzbl (%rax),%eax
mov    %rax,-0x18(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movzbl (%rax),%eax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
shl    $0x8,%rax
or     -0x20(%rbp),%rax
mov    %ax,%cx
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x2,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cx,(%rax)
jmp    1114 <ConvertShort+0x14>
pop    %rbp
ret

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

LLVM IR (-O0):
define void @ConvertShort(i16* %0, i64 %1) {
%3 = alloca i16*
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i8*
store i16* %0, i16** %3
store i64 %1, i64* %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 i64, i64* %4
%12 = add nsw i64 %11, -1
store i64 %12, i64* %4
%13 = icmp ne i64 %11, 0
br i1 %13, label %14, label %30
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 i64
store i64 %18, i64* %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 i64
store i64 %22, i64* %6
%23 = load i64, i64* %5
%24 = shl i64 %23, 8
%25 = load i64, i64* %6
%26 = or i64 %24, %25
%27 = trunc i64 %26 to i16
%28 = load i16*, i16** %3
%29 = getelementptr inbounds i16, i16* %28, i32 1
store i16* %29, i16** %3
store i16 %27, i16* %28
br label %10
30: ; preds = %10
ret void
}

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