#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int uint8_t;

/* Variables and functions */
int find_nal_unit(uint8_t *buf, int size, int *nal_start, int *nal_end) {
  int i;
  *nal_start = 0;
  *nal_end = 0;
  i = 0;
  while ((buf[i] != 0 || buf[i + 1] != 0 || buf[i + 2] != 0x01) &&
         (buf[i] != 0 || buf[i + 1] != 0 || buf[i + 2] != 0 ||
          buf[i + 3] != 0x01)) {
    i++;
    if (i + 4 >= size) {
      return 0;
    }
  }
  if (buf[i] != 0 || buf[i + 1] != 0 || buf[i + 2] != 0x01) {
    i++;
  }
  if (buf[i] != 0 || buf[i + 1] != 0 || buf[i + 2] != 0x01) {
    return 0;
  }
  i += 3;
  *nal_start = i;
  while ((buf[i] != 0 || buf[i + 1] != 0 || buf[i + 2] != 0) &&
         (buf[i] != 0 || buf[i + 1] != 0 || buf[i + 2] != 0x01)) {
    i++;
    if (i + 3 >= size) {
      *nal_end = size;
      return -1;
    }
  }
  *nal_end = i;
  return (*nal_end - *nal_start);
}


x86 assembly (clang, -O0):
<find_nal_unit>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x28(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1173 <find_nal_unit+0x73>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1173 <find_nal_unit+0x73>
mov    -0x10(%rbp),%rcx
mov    -0x2c(%rbp),%eax
add    $0x2,%eax
movslq %eax,%rdx
xor    %eax,%eax
cmpl   $0x1,(%rcx,%rdx,4)
mov    %al,-0x2d(%rbp)
je     11df <find_nal_unit+0xdf>
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x2e(%rbp)
jne    11d9 <find_nal_unit+0xd9>
mov    -0x10(%rbp),%rcx
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rdx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x2e(%rbp)
jne    11d9 <find_nal_unit+0xd9>
mov    -0x10(%rbp),%rcx
mov    -0x2c(%rbp),%eax
add    $0x2,%eax
movslq %eax,%rdx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x2e(%rbp)
jne    11d9 <find_nal_unit+0xd9>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
cmpl   $0x1,(%rax,%rcx,4)
setne  %al
mov    %al,-0x2e(%rbp)
mov    -0x2e(%rbp),%al
mov    %al,-0x2d(%rbp)
mov    -0x2d(%rbp),%al
test   $0x1,%al
jne    11ef <find_nal_unit+0xef>
jmp    1218 <find_nal_unit+0x118>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x4,%eax
cmp    -0x14(%rbp),%eax
jl     1213 <find_nal_unit+0x113>
movl   $0x0,-0x4(%rbp)
jmp    13ae <find_nal_unit+0x2ae>
jmp    112e <find_nal_unit+0x2e>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1258 <find_nal_unit+0x158>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1258 <find_nal_unit+0x158>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
cmpl   $0x1,(%rax,%rcx,4)
je     1261 <find_nal_unit+0x161>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12a1 <find_nal_unit+0x1a1>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12a1 <find_nal_unit+0x1a1>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
cmpl   $0x1,(%rax,%rcx,4)
je     12ad <find_nal_unit+0x1ad>
movl   $0x0,-0x4(%rbp)
jmp    13ae <find_nal_unit+0x2ae>
mov    -0x2c(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1304 <find_nal_unit+0x204>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1304 <find_nal_unit+0x204>
mov    -0x10(%rbp),%rcx
mov    -0x2c(%rbp),%eax
add    $0x2,%eax
movslq %eax,%rdx
xor    %eax,%eax
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x2f(%rbp)
je     1354 <find_nal_unit+0x254>
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x30(%rbp)
jne    134e <find_nal_unit+0x24e>
mov    -0x10(%rbp),%rcx
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
movslq %eax,%rdx
mov    $0x1,%al
cmpl   $0x0,(%rcx,%rdx,4)
mov    %al,-0x30(%rbp)
jne    134e <find_nal_unit+0x24e>
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
cmpl   $0x1,(%rax,%rcx,4)
setne  %al
mov    %al,-0x30(%rbp)
mov    -0x30(%rbp),%al
mov    %al,-0x2f(%rbp)
mov    -0x2f(%rbp),%al
test   $0x1,%al
jne    1364 <find_nal_unit+0x264>
jmp    1396 <find_nal_unit+0x296>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x3,%eax
cmp    -0x14(%rbp),%eax
jl     1391 <find_nal_unit+0x291>
mov    -0x14(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
movl   $0xffffffff,-0x4(%rbp)
jmp    13ae <find_nal_unit+0x2ae>
jmp    12bf <find_nal_unit+0x1bf>
mov    -0x2c(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x28(%rbp),%rax
mov    (%rax),%eax
mov    -0x20(%rbp),%rcx
sub    (%rcx),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<find_nal_unit>:
movl   $0x0,(%rdx)
movl   $0x0,(%rcx)
cmp    $0x6,%esi
mov    $0x5,%eax
cmovge %esi,%eax
add    $0xfffffffc,%eax
xor    %r8d,%r8d
jmp    1129 <find_nal_unit+0x29>
nop
add    $0x1,%r8
cmp    %r8,%rax
je     1171 <find_nal_unit+0x71>
cmpl   $0x0,(%rdi,%r8,4)
jne    1120 <find_nal_unit+0x20>
cmpl   $0x0,0x4(%rdi,%r8,4)
jne    1120 <find_nal_unit+0x20>
cmpl   $0x1,0x8(%rdi,%r8,4)
je     1150 <find_nal_unit+0x50>
cmpl   $0x0,0x8(%rdi,%r8,4)
jne    1120 <find_nal_unit+0x20>
cmpl   $0x1,0xc(%rdi,%r8,4)
jne    1120 <find_nal_unit+0x20>
cmpl   $0x0,0x4(%rdi,%r8,4)
jne    1160 <find_nal_unit+0x60>
cmpl   $0x1,0x8(%rdi,%r8,4)
je     1164 <find_nal_unit+0x64>
add    $0x1,%r8
movslq %r8d,%r9
xor    %eax,%eax
cmpl   $0x0,(%rdi,%r9,4)
je     1174 <find_nal_unit+0x74>
ret
xor    %eax,%eax
ret
cmpl   $0x0,0x4(%rdi,%r9,4)
jne    1170 <find_nal_unit+0x70>
cmpl   $0x1,0x8(%rdi,%r9,4)
jne    1170 <find_nal_unit+0x70>
lea    0x3(%r8),%eax
mov    %eax,(%rdx)
mov    %r8d,%r8d
movslq %esi,%r9
add    $0x6,%r8
jmp    11ac <find_nal_unit+0xac>
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%eax
add    $0x1,%r8
cmp    %r9,%r8
jge    11d1 <find_nal_unit+0xd1>
cmpl   $0x0,-0xc(%rdi,%r8,4)
jne    11a0 <find_nal_unit+0xa0>
cmpl   $0x0,-0x8(%rdi,%r8,4)
jne    11a0 <find_nal_unit+0xa0>
cmpl   $0x0,-0x4(%rdi,%r8,4)
je     11cc <find_nal_unit+0xcc>
cmpl   $0x1,-0x4(%rdi,%r8,4)
jne    11a0 <find_nal_unit+0xa0>
mov    %eax,(%rcx)
sub    (%rdx),%eax
ret
mov    %esi,(%rcx)
mov    $0xffffffff,%eax
ret

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

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