void reverse_array(void *ptr, int head, int tail) {
  unsigned long *arr = (unsigned long *)ptr;
  while (head < --tail) {
    arr[head] ^= arr[tail];
    arr[tail] ^= arr[head];
    arr[head] ^= arr[tail];
    ++head;
  }
}


x86 assembly (clang, -O0):
<reverse_array>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
mov    -0x10(%rbp),%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x10(%rbp)
cmp    %ecx,%eax
jge    118c <reverse_array+0x8c>
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
xor    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
xor    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0x18(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,8),%rdx
mov    -0x18(%rbp),%rax
movslq -0xc(%rbp),%rcx
xor    (%rax,%rcx,8),%rdx
mov    %rdx,(%rax,%rcx,8)
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1116 <reverse_array+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<reverse_array>:
add    $0xffffffff,%edx
cmp    %esi,%edx
jle    114b <reverse_array+0x4b>
movslq %edx,%rax
movslq %esi,%rcx
add    $0xffffffffffffffff,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rcx,8),%rdx
xor    0x8(%rdi,%rax,8),%rdx
mov    %rdx,(%rdi,%rcx,8)
xor    0x8(%rdi,%rax,8),%rdx
mov    %rdx,0x8(%rdi,%rax,8)
xor    %rdx,(%rdi,%rcx,8)
add    $0x1,%rcx
lea    -0x1(%rax),%rdx
cmp    %rax,%rcx
mov    %rdx,%rax
jl     1120 <reverse_array+0x20>
ret

LLVM IR (-O0):
define void @reverse_array(i8* %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i64*
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
%8 = load i8*, i8** %4
%9 = bitcast i8* %8 to i64*
store i64* %9, i64** %7
br label %10
10: ; preds = %15, %3
%11 = load i32, i32* %5
%12 = load i32, i32* %6
%13 = add nsw i32 %12, -1
store i32 %13, i32* %6
%14 = icmp slt i32 %11, %13
br i1 %14, label %15, label %51
15: ; preds = %10
%16 = load i64*, i64** %7
%17 = load i32, i32* %6
%18 = sext i32 %17 to i64
%19 = getelementptr inbounds i64, i64* %16, i64 %18
%20 = load i64, i64* %19
%21 = load i64*, i64** %7
%22 = load i32, i32* %5
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i64, i64* %21, i64 %23
%25 = load i64, i64* %24
%26 = xor i64 %25, %20
store i64 %26, i64* %24
%27 = load i64*, i64** %7
%28 = load i32, i32* %5
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i64, i64* %27, i64 %29
%31 = load i64, i64* %30
%32 = load i64*, i64** %7
%33 = load i32, i32* %6
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds i64, i64* %32, i64 %34
%36 = load i64, i64* %35
%37 = xor i64 %36, %31
store i64 %37, i64* %35
%38 = load i64*, i64** %7
%39 = load i32, i32* %6
%40 = sext i32 %39 to i64
%41 = getelementptr inbounds i64, i64* %38, i64 %40
%42 = load i64, i64* %41
%43 = load i64*, i64** %7
%44 = load i32, i32* %5
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i64, i64* %43, i64 %45
%47 = load i64, i64* %46
%48 = xor i64 %47, %42
store i64 %48, i64* %46
%49 = load i32, i32* %5
%50 = add nsw i32 %49, 1
store i32 %50, i32* %5
br label %10
51: ; preds = %10
ret void
}

LLVM IR (-O2):
define void @reverse_array(i8* nocapture %0, i32 %1, i32 %2) {
%4 = bitcast i8* %0 to i64*
%5 = add i32 %2, -1
%6 = icmp sgt i32 %5, %1
br i1 %6, label %7, label %25
7: ; preds = %3
%8 = sext i32 %5 to i64
%9 = sext i32 %1 to i64
br label %10
10: ; preds = %7, %10
%11 = phi i64 [ %9, %7 ], [ %22, %10 ]
%12 = phi i64 [ %8, %7 ], [ %23, %10 ]
%13 = getelementptr inbounds i64, i64* %4, i64 %12
%14 = load i64, i64* %13
%15 = getelementptr inbounds i64, i64* %4, i64 %11
%16 = load i64, i64* %15
%17 = xor i64 %16, %14
store i64 %17, i64* %15
%18 = load i64, i64* %13
%19 = xor i64 %18, %17
store i64 %19, i64* %13
%20 = load i64, i64* %15
%21 = xor i64 %20, %19
store i64 %21, i64* %15
%22 = add nsw i64 %11, 1
%23 = add nsw i64 %12, -1
%24 = icmp slt i64 %22, %23
br i1 %24, label %10, label %25
25: ; preds = %10, %3
ret void
}