void NA_diffns(int *na, int *a, int *nb, int *b, int *nc, int *c) {
  int pta, ptb, ptc;
  int aa, i;
  pta = 0;
  ptb = 0;
  ptc = 0;
  if (*nb == 0) {
    for (i = 0; i < *na; i++)
      c[i] = a[i];
    *nc = *na;
  } else {
    for (i = 0; i < *na; i++)
      c[i] = -1;
    while ((pta < *na) && (ptb < *nb)) {
      aa = a[pta];
      if (b[ptb] > aa) {
        c[ptc] = aa;
        ptc = ptc + 1;
        pta = pta + 1;
      } else if (b[ptb] == aa) {
        pta = pta + 1;
      } else {
        while ((b[ptb] < aa) && (ptb < *nb)) {
          ptb = ptb + 1;
          if (ptb >= *nb) {
            c[ptc] = aa;
            ptc = ptc + 1;
            break;
          }
        }
      }
    }
    for (i = pta + 1; i < *na; i++) {
      c[ptc] = a[i];
      ptc = ptc + 1;
    }
    *nc = ptc;
  }
}


x86 assembly (clang, -O0):
<NA_diffns>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x18(%rbp),%rax
cmpl   $0x0,(%rax)
jne    1189 <NA_diffns+0x89>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    (%rcx),%eax
jge    1178 <NA_diffns+0x78>
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1145 <NA_diffns+0x45>
mov    -0x8(%rbp),%rax
mov    (%rax),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
jmp    1330 <NA_diffns+0x230>
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    (%rcx),%eax
jge    11bc <NA_diffns+0xbc>
mov    -0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
movl   $0xffffffff,(%rax,%rcx,4)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    1190 <NA_diffns+0x90>
jmp    11c1 <NA_diffns+0xc1>
mov    -0x34(%rbp),%ecx
mov    -0x8(%rbp),%rdx
xor    %eax,%eax
cmp    (%rdx),%ecx
mov    %al,-0x45(%rbp)
jge    11e4 <NA_diffns+0xe4>
mov    -0x38(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
setl   %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    11f4 <NA_diffns+0xf4>
jmp    12e2 <NA_diffns+0x1e2>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x40(%rbp),%eax
jle    123b <NA_diffns+0x13b>
mov    -0x40(%rbp),%edx
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12dd <NA_diffns+0x1dd>
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x40(%rbp),%eax
jne    125d <NA_diffns+0x15d>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12d8 <NA_diffns+0x1d8>
jmp    1262 <NA_diffns+0x162>
mov    -0x20(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
xor    %eax,%eax
cmp    -0x40(%rbp),%ecx
mov    %al,-0x46(%rbp)
jge    128a <NA_diffns+0x18a>
mov    -0x38(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
setl   %al
mov    %al,-0x46(%rbp)
mov    -0x46(%rbp),%al
test   $0x1,%al
jne    129a <NA_diffns+0x19a>
jmp    12d3 <NA_diffns+0x1d3>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jl     12ce <NA_diffns+0x1ce>
mov    -0x40(%rbp),%edx
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    12d3 <NA_diffns+0x1d3>
jmp    1262 <NA_diffns+0x162>
jmp    12d8 <NA_diffns+0x1d8>
jmp    12dd <NA_diffns+0x1dd>
jmp    11c1 <NA_diffns+0xc1>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    -0x8(%rbp),%rcx
cmp    (%rcx),%eax
jge    1327 <NA_diffns+0x227>
mov    -0x10(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    12eb <NA_diffns+0x1eb>
mov    -0x3c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<NA_diffns>:
push   %rbp
push   %r15
push   %r14
push   %rbx
cmpl   $0x0,(%rdx)
mov    (%rdi),%eax
je     11f5 <NA_diffns+0xf5>
test   %eax,%eax
jle    1215 <NA_diffns+0x115>
xor    %ebp,%ebp
nopl   0x0(%rax,%rax,1)
movl   $0xffffffff,(%r9,%rbp,4)
ff
add    $0x1,%rbp
movslq (%rdi),%rax
cmp    %rax,%rbp
jl     1120 <NA_diffns+0x20>
xor    %r10d,%r10d
test   %eax,%eax
jle    1218 <NA_diffns+0x118>
mov    (%rdx),%r14d
mov    $0x0,%r11d
test   %r14d,%r14d
jle    121b <NA_diffns+0x11b>
xor    %ebp,%ebp
xor    %r10d,%r10d
xor    %r11d,%r11d
nopl   0x0(%rax)
movslq %r11d,%rax
mov    (%rsi,%rax,4),%r15d
movslq %ebp,%rbx
mov    (%rcx,%rbx,4),%eax
cmp    %r15d,%eax
jle    1190 <NA_diffns+0x90>
movslq %r10d,%rax
mov    %r15d,(%r9,%rax,4)
add    $0x1,%r10d
add    $0x1,%r11d
jmp    11e0 <NA_diffns+0xe0>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
jne    11a0 <NA_diffns+0xa0>
add    $0x1,%r11d
jmp    11e0 <NA_diffns+0xe0>
nopl   0x0(%rax,%rax,1)
jge    11c8 <NA_diffns+0xc8>
add    $0x1,%ebp
mov    %ebp,%eax
nopw   0x0(%rax,%rax,1)
cmp    %eax,%r14d
je     11cd <NA_diffns+0xcd>
add    $0x1,%eax
lea    0x1(%rbx),%rbp
cmp    %r15d,0x4(%rcx,%rbx,4)
mov    %rbp,%rbx
jl     11b0 <NA_diffns+0xb0>
jmp    11e0 <NA_diffns+0xe0>
mov    %rbx,%rbp
jmp    11e0 <NA_diffns+0xe0>
movslq %r10d,%r10
mov    %r15d,(%r9,%r10,4)
add    $0x1,%r10d
mov    %r14d,%ebp
nopl   0x0(%rax,%rax,1)
mov    (%rdi),%eax
cmp    %eax,%r11d
jge    121b <NA_diffns+0x11b>
mov    (%rdx),%r14d
cmp    %r14d,%ebp
jl     1160 <NA_diffns+0x60>
jmp    121b <NA_diffns+0x11b>
test   %eax,%eax
jle    125d <NA_diffns+0x15d>
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
mov    (%rsi,%rcx,4),%eax
mov    %eax,(%r9,%rcx,4)
add    $0x1,%rcx
movslq (%rdi),%rax
cmp    %rax,%rcx
jl     1200 <NA_diffns+0x100>
jmp    125d <NA_diffns+0x15d>
xor    %r10d,%r10d
xor    %r11d,%r11d
add    $0x1,%r11d
cmp    %eax,%r11d
jge    125a <NA_diffns+0x15a>
movslq %r11d,%rcx
movslq %r10d,%rax
lea    (%r9,%rax,4),%rdx
mov    %r10d,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rsi,%rcx,4),%ebp
mov    %ebp,(%rdx)
add    $0x1,%rcx
movslq (%rdi),%rbp
add    $0x4,%rdx
add    $0x1,%eax
cmp    %rbp,%rcx
jl     1240 <NA_diffns+0x140>
jmp    125d <NA_diffns+0x15d>
mov    %r10d,%eax
mov    %eax,(%r8)
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @NA_diffns(i32* nocapture %0, i32* nocapture %1, i32* nocapture %2, i32* nocapture %3, i32* nocapture writeonly %4, i32* nocapture writeonly %5) {
%7 = load i32, i32* %2
%8 = icmp eq i32 %7, 0
%9 = load i32, i32* %0
%10 = icmp sgt i32 %9, 0
br i1 %8, label %12, label %11
11: ; preds = %6
br i1 %10, label %27, label %82
12: ; preds = %6
br i1 %10, label %13, label %104
13: ; preds = %12, %13
%14 = phi i64 [ %18, %13 ], [ 0, %12 ]
%15 = getelementptr inbounds i32, i32* %1, i64 %14
%16 = load i32, i32* %15
%17 = getelementptr inbounds i32, i32* %5, i64 %14
store i32 %16, i32* %17
%18 = add nuw nsw i64 %14, 1
%19 = load i32, i32* %0
%20 = sext i32 %19 to i64
%21 = icmp slt i64 %18, %20
br i1 %21, label %13, label %104
22: ; preds = %27
%23 = icmp sgt i32 %31, 0
br i1 %23, label %24, label %82
24: ; preds = %22
%25 = load i32, i32* %2
%26 = icmp sgt i32 %25, 0
br i1 %26, label %37, label %82
27: ; preds = %11, %27
%28 = phi i64 [ %30, %27 ], [ 0, %11 ]
%29 = getelementptr inbounds i32, i32* %5, i64 %28
store i32 -1, i32* %29
%30 = add nuw nsw i64 %28, 1
%31 = load i32, i32* %0
%32 = sext i32 %31 to i64
%33 = icmp slt i64 %30, %32
br i1 %33, label %27, label %22
34: ; preds = %76
%35 = load i32, i32* %2
%36 = icmp slt i32 %77, %35
br i1 %36, label %37, label %82
37: ; preds = %24, %34
%38 = phi i32 [ %35, %34 ], [ %25, %24 ]
%39 = phi i32 [ %77, %34 ], [ 0, %24 ]
%40 = phi i32 [ %78, %34 ], [ 0, %24 ]
%41 = phi i32 [ %79, %34 ], [ 0, %24 ]
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i32, i32* %1, i64 %42
%44 = load i32, i32* %43
%45 = sext i32 %39 to i64
%46 = getelementptr inbounds i32, i32* %3, i64 %45
%47 = load i32, i32* %46
%48 = icmp sgt i32 %47, %44
br i1 %48, label %49, label %54
49: ; preds = %37
%50 = sext i32 %40 to i64
%51 = getelementptr inbounds i32, i32* %5, i64 %50
store i32 %44, i32* %51
%52 = add nsw i32 %40, 1
%53 = add nsw i32 %41, 1
br label %76
54: ; preds = %37
%55 = icmp eq i32 %47, %44
br i1 %55, label %58, label %56
56: ; preds = %54
%57 = icmp slt i32 %47, %44
br i1 %57, label %60, label %73
58: ; preds = %54
%59 = add nsw i32 %41, 1
br label %76
60: ; preds = %56, %65
%61 = phi i64 [ %62, %65 ], [ %45, %56 ]
%62 = add nsw i64 %61, 1
%63 = trunc i64 %62 to i32
%64 = icmp eq i32 %38, %63
br i1 %64, label %69, label %65
65: ; preds = %60
%66 = getelementptr inbounds i32, i32* %3, i64 %62
%67 = load i32, i32* %66
%68 = icmp slt i32 %67, %44
br i1 %68, label %60, label %73
69: ; preds = %60
%70 = sext i32 %40 to i64
%71 = getelementptr inbounds i32, i32* %5, i64 %70
store i32 %44, i32* %71
%72 = add nsw i32 %40, 1
br label %76
73: ; preds = %65, %56
%74 = phi i64 [ %45, %56 ], [ %62, %65 ]
%75 = trunc i64 %74 to i32
br label %76
76: ; preds = %73, %58, %69, %49
%77 = phi i32 [ %39, %49 ], [ %39, %58 ], [ %38, %69 ], [ %75, %73 ]
%78 = phi i32 [ %52, %49 ], [ %40, %58 ], [ %72, %69 ], [ %40, %73 ]
%79 = phi i32 [ %53, %49 ], [ %59, %58 ], [ %41, %69 ], [ %41, %73 ]
%80 = load i32, i32* %0
%81 = icmp slt i32 %79, %80
br i1 %81, label %34, label %82
82: ; preds = %76, %34, %24, %11, %22
%83 = phi i32 [ %31, %22 ], [ %9, %11 ], [ %31, %24 ], [ %80, %34 ], [ %80, %76 ]
%84 = phi i32 [ 0, %22 ], [ 0, %11 ], [ 0, %24 ], [ %78, %34 ], [ %78, %76 ]
%85 = phi i32 [ 0, %22 ], [ 0, %11 ], [ 0, %24 ], [ %79, %34 ], [ %79, %76 ]
%86 = add i32 %85, 1
%87 = icmp slt i32 %86, %83
br i1 %87, label %88, label %104
88: ; preds = %82
%89 = sext i32 %86 to i64
%90 = sext i32 %84 to i64
br label %91
91: ; preds = %88, %91
%92 = phi i64 [ %90, %88 ], [ %97, %91 ]
%93 = phi i64 [ %89, %88 ], [ %98, %91 ]
%94 = getelementptr inbounds i32, i32* %1, i64 %93
%95 = load i32, i32* %94
%96 = getelementptr inbounds i32, i32* %5, i64 %92
store i32 %95, i32* %96
%97 = add nsw i64 %92, 1
%98 = add nsw i64 %93, 1
%99 = load i32, i32* %0
%100 = sext i32 %99 to i64
%101 = icmp slt i64 %98, %100
br i1 %101, label %91, label %102
102: ; preds = %91
%103 = trunc i64 %97 to i32
br label %104
104: ; preds = %13, %102, %82, %12
%105 = phi i32 [ %9, %12 ], [ %84, %82 ], [ %103, %102 ], [ %19, %13 ]
store i32 %105, i32* %4
ret void
}