void revBin(int *p, int index) {
  if (index == 0) {
    return;
  } else {
    *p = !*p;
    revBin(++p, --index);
  }
}


x86 assembly (clang, -O0):
<revBin>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jne    112e <revBin+0x1e>
jmp    115f <revBin+0x4f>
mov    -0x8(%rbp),%rax
cmpl   $0x0,(%rax)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%ecx
mov    -0x8(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x8(%rbp),%rdi
add    $0x4,%rdi
mov    %rdi,-0x8(%rbp)
mov    -0xc(%rbp),%esi
add    $0xffffffff,%esi
mov    %esi,-0xc(%rbp)
call   1030 <revBin@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<revBin>:
test   %esi,%esi
je     1204 <revBin+0x104>
lea    -0x1(%rsi),%r9d
cmp    $0x7,%r9d
jb     11e8 <revBin+0xe8>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%rax
shr    $0x3,%rax
add    $0x1,%rax
test   %rcx,%rcx
je     1205 <revBin+0x105>
mov    %rax,%rcx
and    $0xfffffffffffffffe,%rcx
xor    %edx,%edx
pxor   %xmm0,%xmm0
cs nopw 0x0(%rax,%rax,1)
movdqu (%rdi,%rdx,4),%xmm1
movdqu 0x10(%rdi,%rdx,4),%xmm2
movdqu 0x20(%rdi,%rdx,4),%xmm3
movdqu 0x30(%rdi,%rdx,4),%xmm4
pcmpeqd %xmm0,%xmm1
psrld  $0x1f,%xmm1
pcmpeqd %xmm0,%xmm2
psrld  $0x1f,%xmm2
movdqu %xmm1,(%rdi,%rdx,4)
movdqu %xmm2,0x10(%rdi,%rdx,4)
pcmpeqd %xmm0,%xmm3
psrld  $0x1f,%xmm3
pcmpeqd %xmm0,%xmm4
psrld  $0x1f,%xmm4
movdqu %xmm3,0x20(%rdi,%rdx,4)
movdqu %xmm4,0x30(%rdi,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rcx
jne    1150 <revBin+0x50>
test   $0x1,%al
je     11dc <revBin+0xdc>
movdqu (%rdi,%rdx,4),%xmm0
movdqu 0x10(%rdi,%rdx,4),%xmm1
pxor   %xmm2,%xmm2
pcmpeqd %xmm2,%xmm0
psrld  $0x1f,%xmm0
pcmpeqd %xmm2,%xmm1
psrld  $0x1f,%xmm1
movdqu %xmm0,(%rdi,%rdx,4)
movdqu %xmm1,0x10(%rdi,%rdx,4)
cmp    %r8,%r9
je     1204 <revBin+0x104>
sub    %r8d,%esi
lea    (%rdi,%r8,4),%rdi
mov    %esi,%eax
xor    %ecx,%ecx
nopl   0x0(%rax)
xor    %edx,%edx
cmpl   $0x0,(%rdi,%rcx,4)
sete   %dl
mov    %edx,(%rdi,%rcx,4)
add    $0x1,%rcx
cmp    %ecx,%eax
jne    11f0 <revBin+0xf0>
ret
xor    %edx,%edx
test   $0x1,%al
jne    11b0 <revBin+0xb0>
jmp    11dc <revBin+0xdc>

LLVM IR (-O0):
define void @revBin(i32* %0, i32 %1) {
%3 = alloca i32*
%4 = alloca i32
store i32* %0, i32** %3
store i32 %1, i32* %4
%5 = load i32, i32* %4
%6 = icmp eq i32 %5, 0
br i1 %6, label %7, label %8
7: ; preds = %2
br label %19
8: ; preds = %2
%9 = load i32*, i32** %3
%10 = load i32, i32* %9
%11 = icmp ne i32 %10, 0
%12 = xor i1 %11, true
%13 = zext i1 %12 to i32
%14 = load i32*, i32** %3
store i32 %13, i32* %14
%15 = load i32*, i32** %3
%16 = getelementptr inbounds i32, i32* %15, i32 1
store i32* %16, i32** %3
%17 = load i32, i32* %4
%18 = add nsw i32 %17, -1
store i32 %18, i32* %4
br label %19
19: ; preds = %7, %8
ret void
}

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