int main(void) {
  unsigned short arr[128];
  unsigned short expect[128];
  int i;
  check_vect();
  for (i = 0; i < 128; ++i) {
    arr[i] = i;
    expect[i] = __builtin_bswap16(i);
    asm volatile("" ::: "memory");
  }
  vfoo16(arr);
  for (i = 0; i < 128; ++i) {
    if (arr[i] != expect[i])
      abort();
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x220,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x0,%al
call   1040 <check_vect@plt>
movl   $0x0,-0x214(%rbp)
cmpl   $0x80,-0x214(%rbp)
jge    11ab <main+0x7b>
mov    -0x214(%rbp),%eax
mov    %ax,%cx
movslq -0x214(%rbp),%rax
mov    %cx,-0x110(%rbp,%rax,2)
ff
mov    -0x214(%rbp),%eax
mov    %ax,%cx
rol    $0x8,%cx
movslq -0x214(%rbp),%rax
mov    %cx,-0x210(%rbp,%rax,2)
ff
mov    -0x214(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x214(%rbp)
jmp    1153 <main+0x23>
lea    -0x110(%rbp),%rdi
mov    $0x0,%al
call   1050 <vfoo16@plt>
movl   $0x0,-0x214(%rbp)
cmpl   $0x80,-0x214(%rbp)
jge    1217 <main+0xe7>
movslq -0x214(%rbp),%rax
movzwl -0x110(%rbp,%rax,2),%eax
ff
movslq -0x214(%rbp),%rcx
movzwl -0x210(%rbp,%rcx,2),%ecx
ff
cmp    %ecx,%eax
je     11fe <main+0xce>
call   1030 <abort@plt>
jmp    1203 <main+0xd3>
mov    -0x214(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x214(%rbp)
jmp    11c3 <main+0x93>
xor    %eax,%eax
add    $0x220,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x200,%rsp
xor    %ebx,%ebx
xor    %eax,%eax
call   1040 <check_vect@plt>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %bx,(%rsp,%rbx,2)
mov    %ebx,%eax
rol    $0x8,%ax
mov    %ax,0x100(%rsp,%rbx,2)
add    $0x1,%rbx
cmp    $0x80,%rbx
jne    1150 <main+0x20>
xor    %ebx,%ebx
mov    %rsp,%rdi
xor    %eax,%eax
call   1050 <vfoo16@plt>
nopl   0x0(%rax,%rax,1)
movzwl (%rsp,%rbx,2),%eax
cmp    0x100(%rsp,%rbx,2),%ax
jne    11d3 <main+0xa3>
movzwl 0x2(%rsp,%rbx,2),%eax
cmp    0x102(%rsp,%rbx,2),%ax
jne    11d3 <main+0xa3>
movzwl 0x4(%rsp,%rbx,2),%eax
cmp    0x104(%rsp,%rbx,2),%ax
jne    11d3 <main+0xa3>
movzwl 0x6(%rsp,%rbx,2),%eax
cmp    0x106(%rsp,%rbx,2),%ax
jne    11d3 <main+0xa3>
add    $0x4,%rbx
cmp    $0x80,%rbx
jne    1180 <main+0x50>
xor    %eax,%eax
add    $0x200,%rsp
pop    %rbx
ret
call   1030 <abort@plt>

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca [128 x i16]
%3 = alloca [128 x i16]
%4 = alloca i32
store i32 0, i32* %1
%5 = call i32 (...) @check_vect()
store i32 0, i32* %4
br label %6
6: ; preds = %21, %0
%7 = load i32, i32* %4
%8 = icmp slt i32 %7, 128
br i1 %8, label %9, label %24
9: ; preds = %6
%10 = load i32, i32* %4
%11 = trunc i32 %10 to i16
%12 = load i32, i32* %4
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds [128 x i16], [128 x i16]* %2, i64 0, i64 %13
store i16 %11, i16* %14
%15 = load i32, i32* %4
%16 = trunc i32 %15 to i16
%17 = call i16 @llvm.bswap.i16(i16 %16)
%18 = load i32, i32* %4
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds [128 x i16], [128 x i16]* %3, i64 0, i64 %19
store i16 %17, i16* %20
br label %21
21: ; preds = %9
%22 = load i32, i32* %4
%23 = add nsw i32 %22, 1
store i32 %23, i32* %4
br label %6
24: ; preds = %6
%25 = getelementptr inbounds [128 x i16], [128 x i16]* %2, i64 0, i64 0
%26 = call i32 (i16*, ...) bitcast (i32 (...)* @vfoo16 to i32 (i16*, ...)*)(i16* %25)
store i32 0, i32* %4
br label %27
27: ; preds = %44, %24
%28 = load i32, i32* %4
%29 = icmp slt i32 %28, 128
br i1 %29, label %30, label %47
30: ; preds = %27
%31 = load i32, i32* %4
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds [128 x i16], [128 x i16]* %2, i64 0, i64 %32
%34 = load i16, i16* %33
%35 = zext i16 %34 to i32
%36 = load i32, i32* %4
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds [128 x i16], [128 x i16]* %3, i64 0, i64 %37
%39 = load i16, i16* %38
%40 = zext i16 %39 to i32
%41 = icmp ne i32 %35, %40
br i1 %41, label %42, label %43
42: ; preds = %30
unreachable
43: ; preds = %30
br label %44
44: ; preds = %43
%45 = load i32, i32* %4
%46 = add nsw i32 %45, 1
store i32 %46, i32* %4
br label %27
47: ; preds = %27
ret i32 0
}

LLVM IR (-O2):
define i32 @main() {
%1 = alloca [128 x i16]
%2 = alloca [128 x i16]
%3 = bitcast [128 x i16]* %1 to i8*
%4 = bitcast [128 x i16]* %2 to i8*
%5 = tail call i32 (...) @check_vect()
br label %6
6: ; preds = %0, %6
%7 = phi i64 [ 0, %0 ], [ %12, %6 ]
%8 = trunc i64 %7 to i16
%9 = getelementptr inbounds [128 x i16], [128 x i16]* %1, i64 0, i64 %7
store i16 %8, i16* %9
%10 = tail call i16 @llvm.bswap.i16(i16 %8)
%11 = getelementptr inbounds [128 x i16], [128 x i16]* %2, i64 0, i64 %7
store i16 %10, i16* %11
tail call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"()
%12 = add nuw nsw i64 %7, 1
%13 = icmp eq i64 %12, 128
br i1 %13, label %14, label %6
14: ; preds = %6
%15 = getelementptr inbounds [128 x i16], [128 x i16]* %1, i64 0, i64 0
%16 = call i32 (i16*, ...) bitcast (i32 (...)* @vfoo16 to i32 (i16*, ...)*)(i16* %15)
br label %41
17: ; preds = %41
%18 = or i64 %42, 1
%19 = getelementptr inbounds [128 x i16], [128 x i16]* %1, i64 0, i64 %18
%20 = load i16, i16* %19
%21 = getelementptr inbounds [128 x i16], [128 x i16]* %2, i64 0, i64 %18
%22 = load i16, i16* %21
%23 = icmp eq i16 %20, %22
br i1 %23, label %24, label %48
24: ; preds = %17
%25 = or i64 %42, 2
%26 = getelementptr inbounds [128 x i16], [128 x i16]* %1, i64 0, i64 %25
%27 = load i16, i16* %26
%28 = getelementptr inbounds [128 x i16], [128 x i16]* %2, i64 0, i64 %25
%29 = load i16, i16* %28
%30 = icmp eq i16 %27, %29
br i1 %30, label %31, label %48
31: ; preds = %24
%32 = or i64 %42, 3
%33 = getelementptr inbounds [128 x i16], [128 x i16]* %1, i64 0, i64 %32
%34 = load i16, i16* %33
%35 = getelementptr inbounds [128 x i16], [128 x i16]* %2, i64 0, i64 %32
%36 = load i16, i16* %35
%37 = icmp eq i16 %34, %36
br i1 %37, label %38, label %48
38: ; preds = %31
%39 = add nuw nsw i64 %42, 4
%40 = icmp eq i64 %39, 128
br i1 %40, label %49, label %41
41: ; preds = %38, %14
%42 = phi i64 [ 0, %14 ], [ %39, %38 ]
%43 = getelementptr inbounds [128 x i16], [128 x i16]* %1, i64 0, i64 %42
%44 = load i16, i16* %43
%45 = getelementptr inbounds [128 x i16], [128 x i16]* %2, i64 0, i64 %42
%46 = load i16, i16* %45
%47 = icmp eq i16 %44, %46
br i1 %47, label %17, label %48
48: ; preds = %31, %24, %17, %41
unreachable
49: ; preds = %38
ret i32 0
}