void touch(int node, int *pointers, int *indices, int *resid, int *flow,
           int *touched, int *flow1, int *seen, int *nseen) {
  int flow2;
  int neighbor;
  int i, j, k;
  touched[node] = 1;
  seen[(*nseen)++] = node;
  for (i = pointers[node]; i < pointers[node + 1]; i++) {
    neighbor = indices[i];
    if (!touched[neighbor]) {
      touched[neighbor] = 1;
      seen[(*nseen)++] = neighbor;
      if (resid[neighbor]) {
        flow2 = ((*flow1) < (resid[neighbor]) ? (*flow1) : (resid[neighbor]));
        resid[neighbor] -= flow2;
        resid[node] -= flow2;
        for (k = pointers[neighbor];
             k < pointers[neighbor + 1] && indices[k] != node; k++) {
          ;
        }
        flow[k] += flow2;
        *flow1 = flow2;
        return;
      }
      for (j = pointers[neighbor]; j < pointers[neighbor + 1]; j++) {
        if (flow[j] && !touched[indices[j]]) {
          flow2 = ((*flow1) < (flow[j]) ? (*flow1) : (flow[j]));
          touch(indices[j], pointers, indices, resid, flow, touched, &flow2,
                seen, nseen);
          if (flow2) {
            resid[indices[j]] += flow2;
            resid[node] -= flow2;
            flow[j] -= flow2;
            for (k = pointers[neighbor];
                 k < pointers[neighbor + 1] && indices[k] != node; k++) {
              ;
            }
            flow[k] += flow2;
            *flow1 = flow2;
            return;
          }
        }
      }
    }
  }
  *flow1 = 0;
}


x86 assembly (clang, -O0):
<touch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x4(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x4(%rbp),%edx
mov    0x18(%rbp),%rax
mov    0x20(%rbp),%rsi
mov    (%rsi),%ecx
mov    %ecx,%edi
add    $0x1,%edi
mov    %edi,(%rsi)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    -0x4(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    148c <touch+0x37c>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x38(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1479 <touch+0x369>
mov    -0x30(%rbp),%rax
movslq -0x38(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x38(%rbp),%edx
mov    0x18(%rbp),%rax
mov    0x20(%rbp),%rsi
mov    (%rsi),%ecx
mov    %ecx,%edi
add    $0x1,%edi
mov    %edi,(%rsi)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     12c7 <touch+0x1b7>
mov    0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
movslq -0x38(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    120b <touch+0xfb>
mov    0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x48(%rbp)
jmp    1219 <touch+0x109>
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%esi
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%esi
mov    -0x20(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%ecx
mov    -0x10(%rbp),%rdx
mov    -0x38(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rsi
xor    %eax,%eax
cmp    (%rdx,%rsi,4),%ecx
mov    %al,-0x49(%rbp)
jge    1285 <touch+0x175>
mov    -0x18(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x4(%rbp),%eax
setne  %al
mov    %al,-0x49(%rbp)
mov    -0x49(%rbp),%al
test   $0x1,%al
jne    1295 <touch+0x185>
jmp    12a8 <touch+0x198>
jmp    129a <touch+0x18a>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1253 <touch+0x143>
mov    -0x34(%rbp),%edx
mov    -0x28(%rbp),%rax
movslq -0x44(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
jmp    1496 <touch+0x386>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    -0x38(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1474 <touch+0x364>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     1461 <touch+0x351>
mov    -0x30(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq -0x40(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1461 <touch+0x351>
mov    0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x28(%rbp),%rcx
movslq -0x40(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jge    133f <touch+0x22f>
mov    0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x50(%rbp)
jmp    134d <touch+0x23d>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
mov    -0x30(%rbp),%r9
mov    0x18(%rbp),%r10
mov    0x20(%rbp),%rax
lea    -0x34(%rbp),%r11
mov    %r11,(%rsp)
mov    %r10,0x8(%rsp)
mov    %rax,0x10(%rsp)
call   1030 <touch@plt>
cmpl   $0x0,-0x34(%rbp)
je     145c <touch+0x34c>
mov    -0x34(%rbp),%edx
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq -0x40(%rbp),%rsi
movslq (%rcx,%rsi,4),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%esi
mov    -0x20(%rbp),%rax
movslq -0x4(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%esi
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
sub    %esi,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%ecx
mov    -0x10(%rbp),%rdx
mov    -0x38(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rsi
xor    %eax,%eax
cmp    (%rdx,%rsi,4),%ecx
mov    %al,-0x51(%rbp)
jge    141a <touch+0x30a>
mov    -0x18(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x4(%rbp),%eax
setne  %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    142a <touch+0x31a>
jmp    143d <touch+0x32d>
jmp    142f <touch+0x31f>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    13e8 <touch+0x2d8>
mov    -0x34(%rbp),%edx
mov    -0x28(%rbp),%rax
movslq -0x44(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x34(%rbp),%ecx
mov    0x10(%rbp),%rax
mov    %ecx,(%rax)
jmp    1496 <touch+0x386>
jmp    1461 <touch+0x351>
jmp    1466 <touch+0x356>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    12d5 <touch+0x1c5>
jmp    1479 <touch+0x369>
jmp    147e <touch+0x36e>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1172 <touch+0x62>
mov    0x10(%rbp),%rax
movl   $0x0,(%rax)
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<touch>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rcx,0x8(%rsp)
mov    0x70(%rsp),%rbx
mov    0x68(%rsp),%r10
movslq %edi,%rbp
movl   $0x1,(%r9,%rbp,4)
movslq (%rbx),%rax
lea    0x1(%rax),%ecx
mov    %ecx,(%rbx)
mov    %ebp,(%r10,%rax,4)
movslq (%rsi,%rbp,4),%rbx
xor    %ecx,%ecx
cmp    0x4(%rsi,%rbp,4),%ebx
jge    12fa <touch+0x1ea>
mov    %edi,(%rsp)
mov    %rbp,0x10(%rsp)
lea    0x1(%rbp),%rax
mov    %rax,0x18(%rsp)
jmp    118b <touch+0x7b>
nopw   0x0(%rax,%rax,1)
mov    0x20(%rsp),%rbx
add    $0x1,%rbx
mov    0x18(%rsp),%rax
movslq (%rsi,%rax,4),%rax
cmp    %rax,%rbx
jge    12a3 <touch+0x193>
mov    %rbx,0x20(%rsp)
mov    (%rdx,%rbx,4),%eax
movslq %eax,%r14
cmpl   $0x0,(%r9,%r14,4)
jne    1170 <touch+0x60>
movl   $0x1,(%r9,%r14,4)
mov    0x70(%rsp),%rdi
movslq (%rdi),%rax
lea    0x1(%rax),%ecx
mov    %ecx,(%rdi)
mov    0x68(%rsp),%rcx
mov    %r14d,(%rcx,%rax,4)
mov    0x8(%rsp),%rax
mov    (%rax,%r14,4),%ecx
test   %ecx,%ecx
jne    12a7 <touch+0x197>
movslq (%rsi,%r14,4),%r15
mov    0x4(%rsi,%r14,4),%eax
cmp    %eax,%r15d
jl     1201 <touch+0xf1>
jmp    1170 <touch+0x60>
nopl   0x0(%rax)
mov    0x4(%rbp,%r14,4),%eax
mov    %r13,%r8
mov    %rbp,%rsi
mov    %rbx,%rdx
mov    %r12,%r9
add    $0x1,%r15
movslq %eax,%rcx
cmp    %rcx,%r15
jge    1170 <touch+0x60>
mov    (%r8,%r15,4),%ecx
test   %ecx,%ecx
je     11f1 <touch+0xe1>
movslq (%rdx,%r15,4),%rdi
cmpl   $0x0,(%r9,%rdi,4)
jne    11f1 <touch+0xe1>
mov    0x60(%rsp),%rax
mov    (%rax),%eax
cmp    %ecx,%eax
cmovl  %eax,%ecx
mov    %ecx,0x4(%rsp)
sub    $0x8,%rsp
mov    %rsi,%rbp
mov    %rdx,%rbx
mov    0x10(%rsp),%rcx
mov    %r8,%r13
mov    %r9,%r12
push   0x78(%rsp)
push   0x78(%rsp)
lea    0x1c(%rsp),%rax
push   %rax
call   1030 <touch@plt>
add    $0x20,%rsp
mov    0x4(%rsp),%eax
test   %eax,%eax
je     11e0 <touch+0xd0>
movslq (%rbx,%r15,4),%rcx
mov    0x8(%rsp),%rdx
add    %eax,(%rdx,%rcx,4)
mov    0x10(%rsp),%rcx
sub    %eax,(%rdx,%rcx,4)
mov    %r13,%r8
sub    %eax,0x0(%r13,%r15,4)
mov    0x0(%rbp,%r14,4),%ecx
mov    0x4(%rbp,%r14,4),%edx
cmp    %edx,%ecx
jge    12f1 <touch+0x1e1>
movslq %ecx,%rsi
lea    (%rbx,%rsi,4),%rsi
mov    (%rsp),%edi
nopl   0x0(%rax)
cmp    %edi,(%rsi)
je     12f1 <touch+0x1e1>
add    $0x1,%ecx
add    $0x4,%rsi
cmp    %ecx,%edx
jne    1290 <touch+0x180>
mov    %edx,%ecx
jmp    12f1 <touch+0x1e1>
xor    %ecx,%ecx
jmp    12fa <touch+0x1ea>
mov    0x60(%rsp),%rax
mov    (%rax),%eax
cmp    %ecx,%eax
cmovge %ecx,%eax
sub    %eax,%ecx
mov    0x8(%rsp),%rdi
mov    %ecx,(%rdi,%r14,4)
mov    0x10(%rsp),%rcx
sub    %eax,(%rdi,%rcx,4)
mov    (%rsi,%r14,4),%ecx
mov    0x4(%rsi,%r14,4),%ebp
cmp    %ebp,%ecx
jge    12f1 <touch+0x1e1>
movslq %ecx,%rsi
lea    (%rdx,%rsi,4),%rsi
mov    (%rsp),%edi
nopl   (%rax)
cmp    %edi,(%rsi)
je     12f1 <touch+0x1e1>
add    $0x1,%ecx
add    $0x4,%rsi
cmp    %ecx,%ebp
jne    12e0 <touch+0x1d0>
mov    %ebp,%ecx
movslq %ecx,%rcx
add    %eax,(%r8,%rcx,4)
mov    %eax,%ecx
mov    0x60(%rsp),%rax
mov    %ecx,(%rax)
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @touch(i32 %0, i32* %1, i32* %2, i32* %3, i32* %4, i32* %5, i32* %6, i32* %7, i32* %8) {
%10 = alloca i32
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i32*
%14 = alloca i32*
%15 = alloca i32*
%16 = alloca i32*
%17 = alloca i32*
%18 = alloca i32*
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
%23 = alloca i32
store i32 %0, i32* %10
store i32* %1, i32** %11
store i32* %2, i32** %12
store i32* %3, i32** %13
store i32* %4, i32** %14
store i32* %5, i32** %15
store i32* %6, i32** %16
store i32* %7, i32** %17
store i32* %8, i32** %18
%24 = load i32*, i32** %15
%25 = load i32, i32* %10
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %24, i64 %26
store i32 1, i32* %27
%28 = load i32, i32* %10
%29 = load i32*, i32** %17
%30 = load i32*, i32** %18
%31 = load i32, i32* %30
%32 = add nsw i32 %31, 1
store i32 %32, i32* %30
%33 = sext i32 %31 to i64
%34 = getelementptr inbounds i32, i32* %29, i64 %33
store i32 %28, i32* %34
%35 = load i32*, i32** %11
%36 = load i32, i32* %10
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i32, i32* %35, i64 %37
%39 = load i32, i32* %38
store i32 %39, i32* %21
br label %40
40: ; preds = %289, %9
%41 = load i32, i32* %21
%42 = load i32*, i32** %11
%43 = load i32, i32* %10
%44 = add nsw i32 %43, 1
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i32, i32* %42, i64 %45
%47 = load i32, i32* %46
%48 = icmp slt i32 %41, %47
br i1 %48, label %49, label %292
49: ; preds = %40
%50 = load i32*, i32** %12
%51 = load i32, i32* %21
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i32, i32* %50, i64 %52
%54 = load i32, i32* %53
store i32 %54, i32* %20
%55 = load i32*, i32** %15
%56 = load i32, i32* %20
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds i32, i32* %55, i64 %57
%59 = load i32, i32* %58
%60 = icmp ne i32 %59, 0
br i1 %60, label %288, label %61
61: ; preds = %49
%62 = load i32*, i32** %15
%63 = load i32, i32* %20
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i32, i32* %62, i64 %64
store i32 1, i32* %65
%66 = load i32, i32* %20
%67 = load i32*, i32** %17
%68 = load i32*, i32** %18
%69 = load i32, i32* %68
%70 = add nsw i32 %69, 1
store i32 %70, i32* %68
%71 = sext i32 %69 to i64
%72 = getelementptr inbounds i32, i32* %67, i64 %71
store i32 %66, i32* %72
%73 = load i32*, i32** %13
%74 = load i32, i32* %20
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %73, i64 %75
%77 = load i32, i32* %76
%78 = icmp ne i32 %77, 0
br i1 %78, label %79, label %151
79: ; preds = %61
%80 = load i32*, i32** %16
%81 = load i32, i32* %80
%82 = load i32*, i32** %13
%83 = load i32, i32* %20
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i32, i32* %82, i64 %84
%86 = load i32, i32* %85
%87 = icmp slt i32 %81, %86
br i1 %87, label %88, label %91
88: ; preds = %79
%89 = load i32*, i32** %16
%90 = load i32, i32* %89
br label %97
91: ; preds = %79
%92 = load i32*, i32** %13
%93 = load i32, i32* %20
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %92, i64 %94
%96 = load i32, i32* %95
br label %97
97: ; preds = %91, %88
%98 = phi i32 [ %90, %88 ], [ %96, %91 ]
store i32 %98, i32* %19
%99 = load i32, i32* %19
%100 = load i32*, i32** %13
%101 = load i32, i32* %20
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i32, i32* %100, i64 %102
%104 = load i32, i32* %103
%105 = sub nsw i32 %104, %99
store i32 %105, i32* %103
%106 = load i32, i32* %19
%107 = load i32*, i32** %13
%108 = load i32, i32* %10
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i32, i32* %107, i64 %109
%111 = load i32, i32* %110
%112 = sub nsw i32 %111, %106
store i32 %112, i32* %110
%113 = load i32*, i32** %11
%114 = load i32, i32* %20
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds i32, i32* %113, i64 %115
%117 = load i32, i32* %116
store i32 %117, i32* %23
br label %118
118: ; preds = %138, %97
%119 = load i32, i32* %23
%120 = load i32*, i32** %11
%121 = load i32, i32* %20
%122 = add nsw i32 %121, 1
%123 = sext i32 %122 to i64
%124 = getelementptr inbounds i32, i32* %120, i64 %123
%125 = load i32, i32* %124
%126 = icmp slt i32 %119, %125
br i1 %126, label %127, label %135
127: ; preds = %118
%128 = load i32*, i32** %12
%129 = load i32, i32* %23
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i32, i32* %128, i64 %130
%132 = load i32, i32* %131
%133 = load i32, i32* %10
%134 = icmp ne i32 %132, %133
br label %135
135: ; preds = %127, %118
%136 = phi i1 [ false, %118 ], [ %134, %127 ]
br i1 %136, label %137, label %141
137: ; preds = %135
br label %138
138: ; preds = %137
%139 = load i32, i32* %23
%140 = add nsw i32 %139, 1
store i32 %140, i32* %23
br label %118
141: ; preds = %135
%142 = load i32, i32* %19
%143 = load i32*, i32** %14
%144 = load i32, i32* %23
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds i32, i32* %143, i64 %145
%147 = load i32, i32* %146
%148 = add nsw i32 %147, %142
store i32 %148, i32* %146
%149 = load i32, i32* %19
%150 = load i32*, i32** %16
store i32 %149, i32* %150
br label %294
151: ; preds = %61
%152 = load i32*, i32** %11
%153 = load i32, i32* %20
%154 = sext i32 %153 to i64
%155 = getelementptr inbounds i32, i32* %152, i64 %154
%156 = load i32, i32* %155
store i32 %156, i32* %22
br label %157
157: ; preds = %284, %151
%158 = load i32, i32* %22
%159 = load i32*, i32** %11
%160 = load i32, i32* %20
%161 = add nsw i32 %160, 1
%162 = sext i32 %161 to i64
%163 = getelementptr inbounds i32, i32* %159, i64 %162
%164 = load i32, i32* %163
%165 = icmp slt i32 %158, %164
br i1 %165, label %166, label %287
166: ; preds = %157
%167 = load i32*, i32** %14
%168 = load i32, i32* %22
%169 = sext i32 %168 to i64
%170 = getelementptr inbounds i32, i32* %167, i64 %169
%171 = load i32, i32* %170
%172 = icmp ne i32 %171, 0
br i1 %172, label %173, label %283
173: ; preds = %166
%174 = load i32*, i32** %15
%175 = load i32*, i32** %12
%176 = load i32, i32* %22
%177 = sext i32 %176 to i64
%178 = getelementptr inbounds i32, i32* %175, i64 %177
%179 = load i32, i32* %178
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds i32, i32* %174, i64 %180
%182 = load i32, i32* %181
%183 = icmp ne i32 %182, 0
br i1 %183, label %283, label %184
184: ; preds = %173
%185 = load i32*, i32** %16
%186 = load i32, i32* %185
%187 = load i32*, i32** %14
%188 = load i32, i32* %22
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds i32, i32* %187, i64 %189
%191 = load i32, i32* %190
%192 = icmp slt i32 %186, %191
br i1 %192, label %193, label %196
193: ; preds = %184
%194 = load i32*, i32** %16
%195 = load i32, i32* %194
br label %202
196: ; preds = %184
%197 = load i32*, i32** %14
%198 = load i32, i32* %22
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds i32, i32* %197, i64 %199
%201 = load i32, i32* %200
br label %202
202: ; preds = %196, %193
%203 = phi i32 [ %195, %193 ], [ %201, %196 ]
store i32 %203, i32* %19
%204 = load i32*, i32** %12
%205 = load i32, i32* %22
%206 = sext i32 %205 to i64
%207 = getelementptr inbounds i32, i32* %204, i64 %206
%208 = load i32, i32* %207
%209 = load i32*, i32** %11
%210 = load i32*, i32** %12
%211 = load i32*, i32** %13
%212 = load i32*, i32** %14
%213 = load i32*, i32** %15
%214 = load i32*, i32** %17
%215 = load i32*, i32** %18
%216 = load i32, i32* %19
%217 = icmp ne i32 %216, 0
br i1 %217, label %218, label %282
218: ; preds = %202
%219 = load i32, i32* %19
%220 = load i32*, i32** %13
%221 = load i32*, i32** %12
%222 = load i32, i32* %22
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds i32, i32* %221, i64 %223
%225 = load i32, i32* %224
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds i32, i32* %220, i64 %226
%228 = load i32, i32* %227
%229 = add nsw i32 %228, %219
store i32 %229, i32* %227
%230 = load i32, i32* %19
%231 = load i32*, i32** %13
%232 = load i32, i32* %10
%233 = sext i32 %232 to i64
%234 = getelementptr inbounds i32, i32* %231, i64 %233
%235 = load i32, i32* %234
%236 = sub nsw i32 %235, %230
store i32 %236, i32* %234
%237 = load i32, i32* %19
%238 = load i32*, i32** %14
%239 = load i32, i32* %22
%240 = sext i32 %239 to i64
%241 = getelementptr inbounds i32, i32* %238, i64 %240
%242 = load i32, i32* %241
%243 = sub nsw i32 %242, %237
store i32 %243, i32* %241
%244 = load i32*, i32** %11
%245 = load i32, i32* %20
%246 = sext i32 %245 to i64
%247 = getelementptr inbounds i32, i32* %244, i64 %246
%248 = load i32, i32* %247
store i32 %248, i32* %23
br label %249
249: ; preds = %269, %218
%250 = load i32, i32* %23
%251 = load i32*, i32** %11
%252 = load i32, i32* %20
%253 = add nsw i32 %252, 1
%254 = sext i32 %253 to i64
%255 = getelementptr inbounds i32, i32* %251, i64 %254
%256 = load i32, i32* %255
%257 = icmp slt i32 %250, %256
br i1 %257, label %258, label %266
258: ; preds = %249
%259 = load i32*, i32** %12
%260 = load i32, i32* %23
%261 = sext i32 %260 to i64
%262 = getelementptr inbounds i32, i32* %259, i64 %261
%263 = load i32, i32* %262
%264 = load i32, i32* %10
%265 = icmp ne i32 %263, %264
br label %266
266: ; preds = %258, %249
%267 = phi i1 [ false, %249 ], [ %265, %258 ]
br i1 %267, label %268, label %272
268: ; preds = %266
br label %269
269: ; preds = %268
%270 = load i32, i32* %23
%271 = add nsw i32 %270, 1
store i32 %271, i32* %23
br label %249
272: ; preds = %266
%273 = load i32, i32* %19
%274 = load i32*, i32** %14
%275 = load i32, i32* %23
%276 = sext i32 %275 to i64
%277 = getelementptr inbounds i32, i32* %274, i64 %276
%278 = load i32, i32* %277
%279 = add nsw i32 %278, %273
store i32 %279, i32* %277
%280 = load i32, i32* %19
%281 = load i32*, i32** %16
store i32 %280, i32* %281
br label %294
282: ; preds = %202
br label %283
283: ; preds = %282, %173, %166
br label %284
284: ; preds = %283
%285 = load i32, i32* %22
%286 = add nsw i32 %285, 1
store i32 %286, i32* %22
br label %157
287: ; preds = %157
br label %288
288: ; preds = %287, %49
br label %289
289: ; preds = %288
%290 = load i32, i32* %21
%291 = add nsw i32 %290, 1
store i32 %291, i32* %21
br label %40
292: ; preds = %40
%293 = load i32*, i32** %16
store i32 0, i32* %293
br label %294
294: ; preds = %292, %272, %141
ret void
}

LLVM IR (-O2):
define void @touch(i32 %0, i32* nocapture %1, i32* nocapture %2, i32* nocapture %3, i32* nocapture %4, i32* nocapture %5, i32* nocapture %6, i32* nocapture writeonly %7, i32* nocapture %8) {
%10 = alloca i32
%11 = bitcast i32* %10 to i8*
%12 = sext i32 %0 to i64
%13 = getelementptr inbounds i32, i32* %5, i64 %12
store i32 1, i32* %13
%14 = load i32, i32* %8
%15 = add nsw i32 %14, 1
store i32 %15, i32* %8
%16 = sext i32 %14 to i64
%17 = getelementptr inbounds i32, i32* %7, i64 %16
store i32 %0, i32* %17
%18 = getelementptr inbounds i32, i32* %1, i64 %12
%19 = load i32, i32* %18
%20 = add nsw i32 %0, 1
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %1, i64 %21
%23 = load i32, i32* %22
%24 = icmp slt i32 %19, %23
br i1 %24, label %25, label %152
25: ; preds = %9
%26 = sext i32 %19 to i64
br label %27
27: ; preds = %25, %140
%28 = phi i64 [ %26, %25 ], [ %141, %140 ]
%29 = getelementptr inbounds i32, i32* %2, i64 %28
%30 = load i32, i32* %29
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %5, i64 %31
%33 = load i32, i32* %32
%34 = icmp eq i32 %33, 0
br i1 %34, label %35, label %140
35: ; preds = %27
store i32 1, i32* %32
%36 = load i32, i32* %8
%37 = add nsw i32 %36, 1
store i32 %37, i32* %8
%38 = sext i32 %36 to i64
%39 = getelementptr inbounds i32, i32* %7, i64 %38
store i32 %30, i32* %39
%40 = getelementptr inbounds i32, i32* %3, i64 %31
%41 = load i32, i32* %40
%42 = icmp eq i32 %41, 0
br i1 %42, label %73, label %43
43: ; preds = %35
%44 = sext i32 %30 to i64
%45 = getelementptr inbounds i32, i32* %3, i64 %44
%46 = load i32, i32* %6
%47 = icmp slt i32 %46, %41
%48 = select i1 %47, i32 %46, i32 %41
%49 = sub nsw i32 %41, %48
store i32 %49, i32* %45
%50 = getelementptr inbounds i32, i32* %3, i64 %12
%51 = load i32, i32* %50
%52 = sub nsw i32 %51, %48
store i32 %52, i32* %50
%53 = getelementptr inbounds i32, i32* %1, i64 %44
%54 = load i32, i32* %53
%55 = add nsw i32 %30, 1
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32, i32* %1, i64 %56
%58 = load i32, i32* %57
%59 = icmp slt i32 %54, %58
br i1 %59, label %60, label %145
60: ; preds = %43
%61 = sext i32 %54 to i64
br label %62
62: ; preds = %60, %67
%63 = phi i64 [ %61, %60 ], [ %68, %67 ]
%64 = getelementptr inbounds i32, i32* %2, i64 %63
%65 = load i32, i32* %64
%66 = icmp eq i32 %65, %0
br i1 %66, label %71, label %67
67: ; preds = %62
%68 = add nsw i64 %63, 1
%69 = trunc i64 %68 to i32
%70 = icmp eq i32 %58, %69
br i1 %70, label %145, label %62
71: ; preds = %62
%72 = trunc i64 %63 to i32
br label %145
73: ; preds = %35
%74 = getelementptr inbounds i32, i32* %1, i64 %31
%75 = load i32, i32* %74
%76 = add nsw i32 %30, 1
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %1, i64 %77
%79 = load i32, i32* %78
%80 = icmp slt i32 %75, %79
br i1 %80, label %81, label %140
81: ; preds = %73
%82 = sext i32 %75 to i64
br label %83
83: ; preds = %81, %135
%84 = phi i32 [ %79, %81 ], [ %136, %135 ]
%85 = phi i64 [ %82, %81 ], [ %137, %135 ]
%86 = getelementptr inbounds i32, i32* %4, i64 %85
%87 = load i32, i32* %86
%88 = icmp eq i32 %87, 0
br i1 %88, label %135, label %89
89: ; preds = %83
%90 = getelementptr inbounds i32, i32* %2, i64 %85
%91 = load i32, i32* %90
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i32, i32* %5, i64 %92
%94 = load i32, i32* %93
%95 = icmp eq i32 %94, 0
br i1 %95, label %96, label %135
96: ; preds = %89
%97 = load i32, i32* %6
%98 = icmp slt i32 %97, %87
%99 = select i1 %98, i32 %97, i32 %87
store i32 %99, i32* %10
%100 = load i32, i32* %10
%101 = icmp eq i32 %100, 0
br i1 %101, label %102, label %104
102: ; preds = %96
%103 = load i32, i32* %78
br label %135
104: ; preds = %96
%105 = sext i32 %30 to i64
%106 = getelementptr inbounds i32, i32* %1, i64 %105
%107 = getelementptr inbounds i32, i32* %4, i64 %85
%108 = getelementptr inbounds i32, i32* %2, i64 %85
%109 = load i32, i32* %108
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i32, i32* %3, i64 %110
%112 = load i32, i32* %111
%113 = add nsw i32 %112, %100
store i32 %113, i32* %111
%114 = getelementptr inbounds i32, i32* %3, i64 %12
%115 = load i32, i32* %114
%116 = sub nsw i32 %115, %100
store i32 %116, i32* %114
%117 = load i32, i32* %107
%118 = sub nsw i32 %117, %100
store i32 %118, i32* %107
%119 = load i32, i32* %106
%120 = load i32, i32* %78
%121 = icmp slt i32 %119, %120
br i1 %121, label %122, label %145
122: ; preds = %104
%123 = sext i32 %119 to i64
br label %124
124: ; preds = %122, %129
%125 = phi i64 [ %123, %122 ], [ %130, %129 ]
%126 = getelementptr inbounds i32, i32* %2, i64 %125
%127 = load i32, i32* %126
%128 = icmp eq i32 %127, %0
br i1 %128, label %133, label %129
129: ; preds = %124
%130 = add nsw i64 %125, 1
%131 = trunc i64 %130 to i32
%132 = icmp eq i32 %120, %131
br i1 %132, label %145, label %124
133: ; preds = %124
%134 = trunc i64 %125 to i32
br label %145
135: ; preds = %102, %83, %89
%136 = phi i32 [ %103, %102 ], [ %84, %83 ], [ %84, %89 ]
%137 = add nsw i64 %85, 1
%138 = sext i32 %136 to i64
%139 = icmp slt i64 %137, %138
br i1 %139, label %83, label %140
140: ; preds = %135, %73, %27
%141 = add nsw i64 %28, 1
%142 = load i32, i32* %22
%143 = sext i32 %142 to i64
%144 = icmp slt i64 %141, %143
br i1 %144, label %27, label %152
145: ; preds = %67, %129, %104, %133, %43, %71
%146 = phi i32 [ %54, %43 ], [ %72, %71 ], [ %119, %104 ], [ %134, %133 ], [ %120, %129 ], [ %58, %67 ]
%147 = phi i32 [ %48, %43 ], [ %48, %71 ], [ %100, %104 ], [ %100, %133 ], [ %100, %129 ], [ %48, %67 ]
%148 = sext i32 %146 to i64
%149 = getelementptr inbounds i32, i32* %4, i64 %148
%150 = load i32, i32* %149
%151 = add nsw i32 %150, %147
store i32 %151, i32* %149
br label %152
152: ; preds = %140, %145, %9
%153 = phi i32 [ 0, %9 ], [ %147, %145 ], [ 0, %140 ]
store i32 %153, i32* %6
ret void
}