int touch2(int node, int *pointers, int *indices, int *matching, int *touched) {
  int neighbor;
  int result;
  int j;
  touched[node] = 1;
  for (j = pointers[node]; j < pointers[node + 1]; j++) {
    neighbor = indices[j];
    if (!touched[neighbor]) {
      touched[neighbor] = 1;
      if (matching[neighbor] == -1) {
        return (1);
      }
      result = touch2(matching[neighbor], pointers, indices, matching, touched);
      if (result) {
        return (1);
      }
    }
  }
  return (0);
}


x86 assembly (clang, -O0):
<touch2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x8(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x8(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    -0x8(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    11ff <touch2+0xef>
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    11ec <touch2+0xdc>
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0xffffffff,(%rax,%rcx,4)
jne    11ae <touch2+0x9e>
movl   $0x1,-0x4(%rbp)
jmp    1206 <touch2+0xf6>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
call   1030 <touch2@plt>
mov    %eax,-0x30(%rbp)
cmpl   $0x0,-0x30(%rbp)
je     11e7 <touch2+0xd7>
movl   $0x1,-0x4(%rbp)
jmp    1206 <touch2+0xf6>
jmp    11ec <touch2+0xdc>
jmp    11f1 <touch2+0xe1>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1148 <touch2+0x38>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<touch2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
movslq %edi,%r12
movl   $0x1,(%r8,%r12,4)
movslq (%rsi,%r12,4),%r14
mov    0x4(%rsi,%r12,4),%eax
cmp    %eax,%r14d
jge    1193 <touch2+0x83>
mov    %rsi,%r15
add    $0x1,%r12
jmp    114c <touch2+0x3c>
nopl   (%rax)
add    $0x1,%r14
movslq %eax,%rdi
cmp    %rdi,%r14
jge    1193 <touch2+0x83>
movslq (%rdx,%r14,4),%rdi
cmpl   $0x0,(%r8,%rdi,4)
jne    1140 <touch2+0x30>
movl   $0x1,(%r8,%rdi,4)
mov    (%rcx,%rdi,4),%edi
movl   $0x1,0x4(%rsp)
cmp    $0xffffffff,%edi
je     119b <touch2+0x8b>
mov    %r15,%rsi
mov    %rdx,%rbx
mov    %rcx,%r13
mov    %r8,%rbp
call   1030 <touch2@plt>
test   %eax,%eax
jne    119b <touch2+0x8b>
mov    (%r15,%r12,4),%eax
mov    %r13,%rcx
mov    %rbx,%rdx
mov    %rbp,%r8
jmp    1140 <touch2+0x30>
movl   $0x0,0x4(%rsp)
mov    0x4(%rsp),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @touch2(i32 %0, i32* %1, i32* %2, i32* %3, i32* %4) {
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i32 %0, i32* %7
store i32* %1, i32** %8
store i32* %2, i32** %9
store i32* %3, i32** %10
store i32* %4, i32** %11
%15 = load i32*, i32** %11
%16 = load i32, i32* %7
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds i32, i32* %15, i64 %17
store i32 1, i32* %18
%19 = load i32*, i32** %8
%20 = load i32, i32* %7
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %19, i64 %21
%23 = load i32, i32* %22
store i32 %23, i32* %14
br label %24
24: ; preds = %73, %5
%25 = load i32, i32* %14
%26 = load i32*, i32** %8
%27 = load i32, i32* %7
%28 = add nsw i32 %27, 1
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i32, i32* %26, i64 %29
%31 = load i32, i32* %30
%32 = icmp slt i32 %25, %31
br i1 %32, label %33, label %76
33: ; preds = %24
%34 = load i32*, i32** %9
%35 = load i32, i32* %14
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i32, i32* %34, i64 %36
%38 = load i32, i32* %37
store i32 %38, i32* %12
%39 = load i32*, i32** %11
%40 = load i32, i32* %12
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %39, i64 %41
%43 = load i32, i32* %42
%44 = icmp ne i32 %43, 0
br i1 %44, label %72, label %45
45: ; preds = %33
%46 = load i32*, i32** %11
%47 = load i32, i32* %12
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i32, i32* %46, i64 %48
store i32 1, i32* %49
%50 = load i32*, i32** %10
%51 = load i32, i32* %12
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %50, i64 %52
%54 = load i32, i32* %53
%55 = icmp eq i32 %54, -1
br i1 %55, label %56, label %57
56: ; preds = %45
store i32 1, i32* %6
br label %77
57: ; preds = %45
%58 = load i32*, i32** %10
%59 = load i32, i32* %12
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %58, i64 %60
%62 = load i32, i32* %61
%63 = load i32*, i32** %8
%64 = load i32*, i32** %9
%65 = load i32*, i32** %10
%66 = load i32*, i32** %11
%67 = call i32 @touch2(i32 %62, i32* %63, i32* %64, i32* %65, i32* %66)
store i32 %67, i32* %13
%68 = load i32, i32* %13
%69 = icmp ne i32 %68, 0
br i1 %69, label %70, label %71
70: ; preds = %57
store i32 1, i32* %6
br label %77
71: ; preds = %57
br label %72
72: ; preds = %71, %33
br label %73
73: ; preds = %72
%74 = load i32, i32* %14
%75 = add nsw i32 %74, 1
store i32 %75, i32* %14
br label %24
76: ; preds = %24
store i32 0, i32* %6
br label %77
77: ; preds = %76, %70, %56
%78 = load i32, i32* %6
ret i32 %78
}

LLVM IR (-O2):
define i32 @touch2(i32 %0, i32* nocapture %1, i32* nocapture %2, i32* nocapture %3, i32* nocapture %4) {
%6 = sext i32 %0 to i64
%7 = getelementptr inbounds i32, i32* %4, i64 %6
store i32 1, i32* %7
%8 = getelementptr inbounds i32, i32* %1, i64 %6
%9 = load i32, i32* %8
%10 = add nsw i32 %0, 1
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i32, i32* %1, i64 %11
%13 = load i32, i32* %12
%14 = icmp slt i32 %9, %13
br i1 %14, label %15, label %40
15: ; preds = %5
%16 = sext i32 %9 to i64
br label %17
17: ; preds = %15, %35
%18 = phi i32 [ %13, %15 ], [ %36, %35 ]
%19 = phi i64 [ %16, %15 ], [ %37, %35 ]
%20 = getelementptr inbounds i32, i32* %2, i64 %19
%21 = load i32, i32* %20
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %4, i64 %22
%24 = load i32, i32* %23
%25 = icmp eq i32 %24, 0
br i1 %25, label %26, label %35
26: ; preds = %17
store i32 1, i32* %23
%27 = getelementptr inbounds i32, i32* %3, i64 %22
%28 = load i32, i32* %27
%29 = icmp eq i32 %28, -1
br i1 %29, label %40, label %30
30: ; preds = %26
%31 = tail call i32 @touch2(i32 %28, i32* %1, i32* %2, i32* %3, i32* %4)
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %40
33: ; preds = %30
%34 = load i32, i32* %12
br label %35
35: ; preds = %33, %17
%36 = phi i32 [ %34, %33 ], [ %18, %17 ]
%37 = add nsw i64 %19, 1
%38 = sext i32 %36 to i64
%39 = icmp slt i64 %37, %38
br i1 %39, label %17, label %40
40: ; preds = %26, %30, %35, %5
%41 = phi i32 [ 0, %5 ], [ 0, %35 ], [ 1, %30 ], [ 1, %26 ]
ret i32 %41
}