int main(void) {
  unsigned long long arr[128];
  unsigned long long expect[128];
  int i;
  check_vect();
  for (i = 0; i < 128; ++i) {
    arr[i] = i;
    expect[i] = __builtin_bswap64(i);
    asm volatile("" ::: "memory");
  }
  vfoo64(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    $0x820,%rsp
movl   $0x0,-0x4(%rbp)
mov    $0x0,%al
call   1050 <check_vect@plt>
movl   $0x0,-0x814(%rbp)
cmpl   $0x80,-0x814(%rbp)
jge    11a6 <main+0x76>
movslq -0x814(%rbp),%rcx
movslq -0x814(%rbp),%rax
mov    %rcx,-0x410(%rbp,%rax,8)
ff
movslq -0x814(%rbp),%rcx
bswap  %rcx
movslq -0x814(%rbp),%rax
mov    %rcx,-0x810(%rbp,%rax,8)
ff
mov    -0x814(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x814(%rbp)
jmp    1153 <main+0x23>
lea    -0x410(%rbp),%rdi
mov    $0x0,%al
call   1030 <vfoo64@plt>
movl   $0x0,-0x814(%rbp)
cmpl   $0x80,-0x814(%rbp)
jge    1210 <main+0xe0>
movslq -0x814(%rbp),%rax
mov    -0x410(%rbp,%rax,8),%rax
ff
movslq -0x814(%rbp),%rcx
cmp    -0x810(%rbp,%rcx,8),%rax
ff
je     11f7 <main+0xc7>
call   1040 <abort@plt>
jmp    11fc <main+0xcc>
mov    -0x814(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x814(%rbp)
jmp    11be <main+0x8e>
xor    %eax,%eax
add    $0x820,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbx
sub    $0x800,%rsp
xor    %ebx,%ebx
xor    %eax,%eax
call   1050 <check_vect@plt>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rbx,(%rsp,%rbx,8)
mov    %rbx,%rax
bswap  %rax
mov    %rax,0x400(%rsp,%rbx,8)
add    $0x1,%rbx
cmp    $0x80,%rbx
jne    1150 <main+0x20>
xor    %ebx,%ebx
mov    %rsp,%rdi
xor    %eax,%eax
call   1030 <vfoo64@plt>
nopl   0x0(%rax,%rax,1)
mov    (%rsp,%rbx,8),%rax
cmp    0x400(%rsp,%rbx,8),%rax
jne    11d3 <main+0xa3>
mov    0x8(%rsp,%rbx,8),%rax
cmp    0x408(%rsp,%rbx,8),%rax
jne    11d3 <main+0xa3>
mov    0x10(%rsp,%rbx,8),%rax
cmp    0x410(%rsp,%rbx,8),%rax
jne    11d3 <main+0xa3>
mov    0x18(%rsp,%rbx,8),%rax
cmp    0x418(%rsp,%rbx,8),%rax
jne    11d3 <main+0xa3>
add    $0x4,%rbx
cmp    $0x80,%rbx
jne    1180 <main+0x50>
xor    %eax,%eax
add    $0x800,%rsp
pop    %rbx
ret
call   1040 <abort@plt>

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

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