void reverse(long *u, const long *w, long len) {
  register long i;
  for (i = 0; i < len; i++, u++)
    *u = w[len - i - 1];
}


x86 assembly (clang, -O0):
<reverse>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jge    115e <reverse+0x5e>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    -0x20(%rbp),%rcx
sub    $0x1,%rcx
mov    (%rax,%rcx,8),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x8(%rbp)
jmp    1118 <reverse+0x18>
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverse>:
test   %rdx,%rdx
jle    1278 <reverse+0x178>
cmp    $0x4,%rdx
jb     1129 <reverse+0x29>
lea    (%rsi,%rdx,8),%rax
cmp    %rdi,%rax
jbe    11b2 <reverse+0xb2>
lea    (%rdi,%rdx,8),%rax
cmp    %rsi,%rax
jbe    11b2 <reverse+0xb2>
xor    %r9d,%r9d
mov    %r9,%r8
not    %r8
add    %rdx,%r8
mov    %rdx,%r11
and    $0x3,%r11
je     1167 <reverse+0x67>
lea    (%rsi,%r8,8),%r10
neg    %r11
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
mov    (%r10,%rcx,8),%rax
mov    %rax,(%rdi)
add    $0x8,%rdi
add    $0xffffffffffffffff,%rcx
cmp    %rcx,%r11
jne    1150 <reverse+0x50>
sub    %rcx,%r9
cmp    $0x3,%r8
jb     1278 <reverse+0x178>
sub    %r9,%rdx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    -0x8(%rsi,%rdx,8),%rax
mov    %rax,(%rdi)
mov    -0x10(%rsi,%rdx,8),%rax
mov    %rax,0x8(%rdi)
mov    -0x18(%rsi,%rdx,8),%rax
mov    %rax,0x10(%rdi)
mov    -0x20(%rsi,%rdx,8),%rax
mov    %rax,0x18(%rdi)
add    $0x20,%rdi
add    $0xfffffffffffffffc,%rdx
jne    1180 <reverse+0x80>
jmp    1278 <reverse+0x178>
mov    %rdx,%r9
and    $0xfffffffffffffffc,%r9
lea    -0x4(%r9),%rax
mov    %rax,%r8
shr    $0x2,%r8
add    $0x1,%r8
test   %rax,%rax
je     1282 <reverse+0x182>
mov    %r8,%r10
and    $0xfffffffffffffffe,%r10
lea    0x30(%rdi),%rax
lea    (%rsi,%rdx,8),%r11
add    $0xfffffffffffffff0,%r11
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
movdqu -0x10(%r11,%rcx,8),%xmm0
movdqu (%r11,%rcx,8),%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshufd $0x4e,%xmm0,%xmm0
movdqu %xmm1,-0x30(%rax)
movdqu %xmm0,-0x20(%rax)
movdqu -0x30(%r11,%rcx,8),%xmm0
movdqu -0x20(%r11,%rcx,8),%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshufd $0x4e,%xmm0,%xmm0
movdqu %xmm1,-0x10(%rax)
movdqu %xmm0,(%rax)
add    $0x40,%rax
add    $0xfffffffffffffff8,%rcx
add    $0xfffffffffffffffe,%r10
jne    11f0 <reverse+0xf0>
neg    %rcx
test   $0x1,%r8b
je     1273 <reverse+0x173>
mov    %rcx,%rax
not    %rax
add    %rdx,%rax
movdqu -0x18(%rsi,%rax,8),%xmm0
movdqu -0x8(%rsi,%rax,8),%xmm1
pshufd $0x4e,%xmm1,%xmm1
pshufd $0x4e,%xmm0,%xmm0
movdqu %xmm1,(%rdi,%rcx,8)
movdqu %xmm0,0x10(%rdi,%rcx,8)
cmp    %rdx,%r9
jne    1279 <reverse+0x179>
ret
lea    (%rdi,%r9,8),%rdi
jmp    112c <reverse+0x2c>
xor    %ecx,%ecx
test   $0x1,%r8b
jne    1249 <reverse+0x149>
jmp    1273 <reverse+0x173>

LLVM IR (-O0):
define void @reverse(i64* %0, i64* %1, i64 %2) {
%4 = alloca i64*
%5 = alloca i64*
%6 = alloca i64
%7 = alloca i64
store i64* %0, i64** %4
store i64* %1, i64** %5
store i64 %2, i64* %6
store i64 0, i64* %7
br label %8
8: ; preds = %21, %3
%9 = load i64, i64* %7
%10 = load i64, i64* %6
%11 = icmp slt i64 %9, %10
br i1 %11, label %12, label %26
12: ; preds = %8
%13 = load i64*, i64** %5
%14 = load i64, i64* %6
%15 = load i64, i64* %7
%16 = sub nsw i64 %14, %15
%17 = sub nsw i64 %16, 1
%18 = getelementptr inbounds i64, i64* %13, i64 %17
%19 = load i64, i64* %18
%20 = load i64*, i64** %4
store i64 %19, i64* %20
br label %21
21: ; preds = %12
%22 = load i64, i64* %7
%23 = add nsw i64 %22, 1
store i64 %23, i64* %7
%24 = load i64*, i64** %4
%25 = getelementptr inbounds i64, i64* %24, i32 1
store i64* %25, i64** %4
br label %8
26: ; preds = %8
ret void
}

LLVM IR (-O2):
define void @reverse(i64* nocapture writeonly %0, i64* nocapture %1, i64 %2) {
%4 = icmp sgt i64 %2, 0
br i1 %4, label %5, label %132
5: ; preds = %3
%6 = icmp ult i64 %2, 4
br i1 %6, label %84, label %7
7: ; preds = %5
%8 = getelementptr i64, i64* %0, i64 %2
%9 = getelementptr i64, i64* %1, i64 %2
%10 = icmp ugt i64* %9, %0
%11 = icmp ugt i64* %8, %1
%12 = and i1 %10, %11
br i1 %12, label %84, label %13
13: ; preds = %7
%14 = and i64 %2, -4
%15 = getelementptr i64, i64* %0, i64 %14
%16 = add i64 %14, -4
%17 = lshr exact i64 %16, 2
%18 = add nuw nsw i64 %17, 1
%19 = and i64 %18, 1
%20 = icmp eq i64 %16, 0
br i1 %20, label %62, label %21
21: ; preds = %13
%22 = and i64 %18, 9223372036854775806
br label %23
23: ; preds = %23, %21
%24 = phi i64 [ 0, %21 ], [ %59, %23 ]
%25 = phi i64 [ 0, %21 ], [ %60, %23 ]
%26 = getelementptr i64, i64* %0, i64 %24
%27 = xor i64 %24, -1
%28 = add i64 %27, %2
%29 = getelementptr inbounds i64, i64* %1, i64 %28
%30 = getelementptr inbounds i64, i64* %29, i64 -1
%31 = bitcast i64* %30 to <2 x i64>*
%32 = load <2 x i64>, <2 x i64>* %31
%33 = shufflevector <2 x i64> %32, <2 x i64> poison, <2 x i32> <i32 1, i32 0>
%34 = getelementptr inbounds i64, i64* %29, i64 -2
%35 = getelementptr inbounds i64, i64* %34, i64 -1
%36 = bitcast i64* %35 to <2 x i64>*
%37 = load <2 x i64>, <2 x i64>* %36
%38 = shufflevector <2 x i64> %37, <2 x i64> poison, <2 x i32> <i32 1, i32 0>
%39 = bitcast i64* %26 to <2 x i64>*
store <2 x i64> %33, <2 x i64>* %39
%40 = getelementptr i64, i64* %26, i64 2
%41 = bitcast i64* %40 to <2 x i64>*
store <2 x i64> %38, <2 x i64>* %41
%42 = or i64 %24, 4
%43 = getelementptr i64, i64* %0, i64 %42
%44 = sub nuw nsw i64 -5, %24
%45 = add i64 %44, %2
%46 = getelementptr inbounds i64, i64* %1, i64 %45
%47 = getelementptr inbounds i64, i64* %46, i64 -1
%48 = bitcast i64* %47 to <2 x i64>*
%49 = load <2 x i64>, <2 x i64>* %48
%50 = shufflevector <2 x i64> %49, <2 x i64> poison, <2 x i32> <i32 1, i32 0>
%51 = getelementptr inbounds i64, i64* %46, i64 -2
%52 = getelementptr inbounds i64, i64* %51, i64 -1
%53 = bitcast i64* %52 to <2 x i64>*
%54 = load <2 x i64>, <2 x i64>* %53
%55 = shufflevector <2 x i64> %54, <2 x i64> poison, <2 x i32> <i32 1, i32 0>
%56 = bitcast i64* %43 to <2 x i64>*
store <2 x i64> %50, <2 x i64>* %56
%57 = getelementptr i64, i64* %43, i64 2
%58 = bitcast i64* %57 to <2 x i64>*
store <2 x i64> %55, <2 x i64>* %58
%59 = add nuw i64 %24, 8
%60 = add i64 %25, 2
%61 = icmp eq i64 %60, %22
br i1 %61, label %62, label %23
62: ; preds = %23, %13
%63 = phi i64 [ 0, %13 ], [ %59, %23 ]
%64 = icmp eq i64 %19, 0
br i1 %64, label %82, label %65
65: ; preds = %62
%66 = getelementptr i64, i64* %0, i64 %63
%67 = xor i64 %63, -1
%68 = add i64 %67, %2
%69 = getelementptr inbounds i64, i64* %1, i64 %68
%70 = getelementptr inbounds i64, i64* %69, i64 -1
%71 = bitcast i64* %70 to <2 x i64>*
%72 = load <2 x i64>, <2 x i64>* %71
%73 = shufflevector <2 x i64> %72, <2 x i64> poison, <2 x i32> <i32 1, i32 0>
%74 = getelementptr inbounds i64, i64* %69, i64 -2
%75 = getelementptr inbounds i64, i64* %74, i64 -1
%76 = bitcast i64* %75 to <2 x i64>*
%77 = load <2 x i64>, <2 x i64>* %76
%78 = shufflevector <2 x i64> %77, <2 x i64> poison, <2 x i32> <i32 1, i32 0>
%79 = bitcast i64* %66 to <2 x i64>*
store <2 x i64> %73, <2 x i64>* %79
%80 = getelementptr i64, i64* %66, i64 2
%81 = bitcast i64* %80 to <2 x i64>*
store <2 x i64> %78, <2 x i64>* %81
br label %82
82: ; preds = %62, %65
%83 = icmp eq i64 %14, %2
br i1 %83, label %132, label %84
84: ; preds = %7, %5, %82
%85 = phi i64 [ 0, %7 ], [ 0, %5 ], [ %14, %82 ]
%86 = phi i64* [ %0, %7 ], [ %0, %5 ], [ %15, %82 ]
%87 = xor i64 %85, -1
%88 = add i64 %87, %2
%89 = and i64 %2, 3
%90 = icmp eq i64 %89, 0
br i1 %90, label %103, label %91
91: ; preds = %84, %91
%92 = phi i64 [ %99, %91 ], [ %85, %84 ]
%93 = phi i64* [ %100, %91 ], [ %86, %84 ]
%94 = phi i64 [ %101, %91 ], [ 0, %84 ]
%95 = xor i64 %92, -1
%96 = add i64 %95, %2
%97 = getelementptr inbounds i64, i64* %1, i64 %96
%98 = load i64, i64* %97
store i64 %98, i64* %93
%99 = add nuw nsw i64 %92, 1
%100 = getelementptr inbounds i64, i64* %93, i64 1
%101 = add i64 %94, 1
%102 = icmp eq i64 %101, %89
br i1 %102, label %103, label %91
103: ; preds = %91, %84
%104 = phi i64 [ %85, %84 ], [ %99, %91 ]
%105 = phi i64* [ %86, %84 ], [ %100, %91 ]
%106 = icmp ult i64 %88, 3
br i1 %106, label %132, label %107
107: ; preds = %103, %107
%108 = phi i64 [ %129, %107 ], [ %104, %103 ]
%109 = phi i64* [ %130, %107 ], [ %105, %103 ]
%110 = xor i64 %108, -1
%111 = add i64 %110, %2
%112 = getelementptr inbounds i64, i64* %1, i64 %111
%113 = load i64, i64* %112
store i64 %113, i64* %109
%114 = getelementptr inbounds i64, i64* %109, i64 1
%115 = sub i64 -2, %108
%116 = add i64 %115, %2
%117 = getelementptr inbounds i64, i64* %1, i64 %116
%118 = load i64, i64* %117
store i64 %118, i64* %114
%119 = getelementptr inbounds i64, i64* %109, i64 2
%120 = sub i64 -3, %108
%121 = add i64 %120, %2
%122 = getelementptr inbounds i64, i64* %1, i64 %121
%123 = load i64, i64* %122
store i64 %123, i64* %119
%124 = getelementptr inbounds i64, i64* %109, i64 3
%125 = sub i64 -4, %108
%126 = add i64 %125, %2
%127 = getelementptr inbounds i64, i64* %1, i64 %126
%128 = load i64, i64* %127
store i64 %128, i64* %124
%129 = add nuw nsw i64 %108, 4
%130 = getelementptr inbounds i64, i64* %109, i64 4
%131 = icmp eq i64 %129, %2
br i1 %131, label %132, label %107
132: ; preds = %103, %107, %82, %3
ret void
}