#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 */
struct stat {
  int st_mode;
};
struct dirent {
  int /*<<< orphan*/ d_name;
};
typedef int /*<<< orphan*/ DIR;

/* Variables and functions */
int PATH_MAX;
int S_IFREG;
int S_IXUSR;
int /*<<< orphan*/ closedir(int /*<<< orphan*/ *);
int /*<<< orphan*/ free(char *);
int /*<<< orphan*/ *opendir(char *);
char *path_getcwd();
struct dirent *readdir(int /*<<< orphan*/ *);
int /*<<< orphan*/ snprintf(char *, int, char *, char *, char *);
scalar_t__ stat(char *, struct stat *);
int /*<<< orphan*/ strcat(char *, int /*<<< orphan*/);
scalar_t__ strcmp(int /*<<< orphan*/, char const *);
size_t strlen(char *);
int /*<<< orphan*/ strncat(char *, char *, int);
int /*<<< orphan*/ strncpy(char *, char *, size_t);
int path_lookup(char *search_path, const char *exe, char *dest,
                size_t destlen) {
  char *s;
  char *e;
  size_t len = strlen(search_path);
  s = e = search_path;
  while (e < search_path + len) {
    DIR *dirp = NULL;
    while (*e != ':' && *e != '\0')
      e++;
    *e = '\0';
    if (*s != '/') {
      char tmp[PATH_MAX];
      char *cwd;
      cwd = path_getcwd();
      snprintf(tmp, PATH_MAX, "%s/%s", cwd, s);
      free(cwd);
      s = tmp;
    }
    if ((dirp = opendir(s))) {
      struct dirent *dp = NULL;
      while ((dp = readdir(dirp))) {
        if (strcmp(dp->d_name, exe) == 0) {
          struct stat sb;
          char fn[PATH_MAX];
          strncpy(fn, s, PATH_MAX);
          strncat(fn, "/", 1);
          strcat(fn, dp->d_name);
          if (stat(fn, &sb) == 0 && sb.st_mode & (S_IXUSR | S_IFREG)) {
            strncpy(dest, fn, destlen);
            closedir(dirp);
            return 0;
          }
        }
      }
      closedir(dirp);
    }
    *e = ':';
    e++;
    s = e;
  }
  return 1;
}


x86 assembly (clang, -O0):
<path_lookup>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1060 <strlen@plt>
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
add    -0x40(%rbp),%rcx
cmp    %rcx,%rax
jae    1474 <path_lookup+0x2b4>
movq   $0x0,-0x48(%rbp)
mov    -0x38(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x3a,%ecx
mov    %al,-0x85(%rbp)
je     123c <path_lookup+0x7c>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x85(%rbp)
mov    -0x85(%rbp),%al
test   $0x1,%al
jne    124f <path_lookup+0x8f>
jmp    1260 <path_lookup+0xa0>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1211 <path_lookup+0x51>
mov    -0x38(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     12f0 <path_lookup+0x130>
mov    0x2d72(%rip),%rax
mov    (%rax),%eax
mov    %rsp,%rcx
mov    %rcx,-0x50(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x90(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x58(%rbp)
mov    $0x0,%al
call   10e0 <path_getcwd@plt>
mov    -0x90(%rbp),%rdi
mov    %rax,-0x60(%rbp)
mov    0x2d31(%rip),%rax
mov    (%rax),%esi
mov    -0x60(%rbp),%rcx
mov    -0x30(%rbp),%r8
lea    0xd30(%rip),%rdx
call   1070 <snprintf@plt>
mov    -0x60(%rbp),%rdi
call   1030 <free@plt>
mov    -0x90(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,%rsp
mov    -0x30(%rbp),%rdi
call   1050 <opendir@plt>
mov    %rax,-0x48(%rbp)
cmp    $0x0,%rax
je     1454 <path_lookup+0x294>
movq   $0x0,-0x68(%rbp)
mov    -0x48(%rbp),%rdi
call   10c0 <readdir@plt>
mov    %rax,-0x68(%rbp)
cmp    $0x0,%rax
je     144b <path_lookup+0x28b>
mov    -0x68(%rbp),%rax
mov    (%rax),%edi
mov    -0x18(%rbp),%rsi
call   10a0 <strcmp@plt>
cmp    $0x0,%rax
jne    1446 <path_lookup+0x286>
mov    0x2caa(%rip),%rax
mov    (%rax),%eax
mov    %rsp,%rcx
mov    %rcx,-0x78(%rbp)
mov    %rax,%rcx
add    $0xf,%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rdi
sub    %rcx,%rdi
mov    %rdi,-0x98(%rbp)
mov    %rdi,%rsp
mov    %rax,-0x80(%rbp)
mov    -0x30(%rbp),%rsi
mov    0x2c77(%rip),%rax
movslq (%rax),%rdx
call   1040 <strncpy@plt>
mov    -0x98(%rbp),%rdi
lea    0xc77(%rip),%rsi
mov    $0x1,%edx
call   1080 <strncat@plt>
mov    -0x98(%rbp),%rdi
mov    -0x68(%rbp),%rax
mov    (%rax),%esi
call   10d0 <strcat@plt>
mov    -0x98(%rbp),%rdi
lea    -0x70(%rbp),%rsi
call   10b0 <stat@plt>
cmp    $0x0,%rax
jne    1418 <path_lookup+0x258>
mov    -0x70(%rbp),%eax
mov    0x2c11(%rip),%rcx
mov    (%rcx),%ecx
mov    0x2c00(%rip),%rdx
or     (%rdx),%ecx
and    %ecx,%eax
cmp    $0x0,%eax
je     1418 <path_lookup+0x258>
mov    -0x98(%rbp),%rsi
mov    -0x20(%rbp),%rdi
mov    -0x28(%rbp),%rdx
call   1040 <strncpy@plt>
mov    -0x48(%rbp),%rdi
call   1090 <closedir@plt>
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x84(%rbp)
jmp    1422 <path_lookup+0x262>
movl   $0x0,-0x84(%rbp)
mov    -0x78(%rbp),%rax
mov    %rax,%rsp
mov    -0x84(%rbp),%eax
test   %eax,%eax
je     1441 <path_lookup+0x281>
jmp    143c <path_lookup+0x27c>
jmp    147b <path_lookup+0x2bb>
jmp    1446 <path_lookup+0x286>
jmp    130f <path_lookup+0x14f>
mov    -0x48(%rbp),%rdi
call   1090 <closedir@plt>
mov    -0x38(%rbp),%rax
movb   $0x3a,(%rax)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    11f4 <path_lookup+0x34>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<path_lookup>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rcx,-0x48(%rbp)
mov    %rdx,-0x40(%rbp)
mov    %rsi,%r13
mov    %rdi,%rbx
call   1060 <strlen@plt>
test   %rax,%rax
jle    1394 <path_lookup+0x1d4>
add    %rbx,%rax
mov    %rax,-0x50(%rbp)
jmp    1216 <path_lookup+0x56>
cs nopw 0x0(%rax,%rax,1)
mov    %r14,%rdi
call   1090 <closedir@plt>
movb   $0x3a,-0x1(%rbx)
cmp    -0x50(%rbp),%rbx
jae    1394 <path_lookup+0x1d4>
mov    %rbx,%r15
add    $0x1,%rbx
nopl   (%rax)
movzbl -0x1(%rbx),%eax
test   %al,%al
je     1240 <path_lookup+0x80>
cmp    $0x3a,%al
je     1240 <path_lookup+0x80>
add    $0x1,%rbx
jmp    1220 <path_lookup+0x60>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movb   $0x0,-0x1(%rbx)
cmpb   $0x2f,(%r15)
je     129d <path_lookup+0xdd>
mov    %rsp,%r12
mov    0x2d9c(%rip),%rax
mov    (%rax),%eax
mov    %rsp,%r14
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r14
mov    %r14,%rsp
xor    %eax,%eax
call   10e0 <path_getcwd@plt>
mov    %r15,%r8
mov    %rax,%r15
mov    0x2d75(%rip),%rax
mov    (%rax),%esi
mov    %r14,%rdi
lea    0xd79(%rip),%rdx
mov    %r15,%rcx
call   1070 <snprintf@plt>
mov    %r15,%rdi
call   1030 <free@plt>
mov    %r12,%rsp
mov    %r14,%r15
mov    %r15,%rdi
call   1050 <opendir@plt>
test   %rax,%rax
je     1208 <path_lookup+0x48>
mov    %rax,%r14
mov    %r15,-0x58(%rbp)
mov    %rax,%rdi
call   10c0 <readdir@plt>
test   %rax,%rax
je     1200 <path_lookup+0x40>
mov    %rax,%r15
jmp    12e8 <path_lookup+0x128>
nopl   0x0(%rax,%rax,1)
mov    -0x38(%rbp),%rsp
mov    %r14,%rdi
call   10c0 <readdir@plt>
mov    %rax,%r15
test   %rax,%rax
je     1200 <path_lookup+0x40>
mov    (%r15),%edi
mov    %r13,%rsi
call   10a0 <strcmp@plt>
test   %rax,%rax
jne    12d4 <path_lookup+0x114>
mov    %rsp,-0x38(%rbp)
mov    0x2ced(%rip),%rcx
mov    (%rcx),%eax
mov    %rsp,%r12
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r12
mov    %r12,%rsp
movslq (%rcx),%rdx
mov    %r12,%rdi
mov    -0x58(%rbp),%rsi
call   1040 <strncpy@plt>
mov    %r12,%rdi
lea    0xcd7(%rip),%rsi
mov    $0x1,%edx
call   1080 <strncat@plt>
mov    (%r15),%esi
mov    %r12,%rdi
call   10d0 <strcat@plt>
mov    %r12,%rdi
lea    -0x30(%rbp),%rsi
call   10b0 <stat@plt>
test   %rax,%rax
jne    12d0 <path_lookup+0x110>
mov    0x2c78(%rip),%rax
mov    (%rax),%eax
mov    0x2c77(%rip),%rcx
or     (%rcx),%eax
test   %eax,-0x30(%rbp)
je     12d0 <path_lookup+0x110>
mov    -0x40(%rbp),%rdi
mov    %r12,%rsi
mov    -0x48(%rbp),%rdx
call   1040 <strncpy@plt>
mov    %r14,%rdi
call   1090 <closedir@plt>
mov    -0x38(%rbp),%rsp
xor    %eax,%eax
jmp    1399 <path_lookup+0x1d9>
mov    $0x1,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.dirent = type { i32 }
%struct.stat = type { i32 }
@PATH_MAX = global i32 0
@.str = [6 x i8] c"%s/%s\00"
@.str.1 = [2 x i8] c"/\00"
@S_IXUSR = global i32 0
@S_IFREG = global i32 0
define i32 @path_lookup(i8* %0, i8* %1, i8* %2, i64 %3) {
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i8*
%11 = alloca i8*
%12 = alloca i64
%13 = alloca i32*
%14 = alloca i8*
%15 = alloca i64
%16 = alloca i8*
%17 = alloca %struct.dirent*
%18 = alloca %struct.stat
%19 = alloca i8*
%20 = alloca i64
%21 = alloca i32
store i8* %0, i8** %6
store i8* %1, i8** %7
store i8* %2, i8** %8
store i64 %3, i64* %9
%22 = load i8*, i8** %6
%23 = call i64 @strlen(i8* %22)
store i64 %23, i64* %12
%24 = load i8*, i8** %6
store i8* %24, i8** %11
store i8* %24, i8** %10
br label %25
25: ; preds = %121, %4
%26 = load i8*, i8** %11
%27 = load i8*, i8** %6
%28 = load i64, i64* %12
%29 = getelementptr inbounds i8, i8* %27, i64 %28
%30 = icmp ult i8* %26, %29
br i1 %30, label %31, label %126
31: ; preds = %25
store i32* null, i32** %13
br label %32
32: ; preds = %44, %31
%33 = load i8*, i8** %11
%34 = load i8, i8* %33
%35 = sext i8 %34 to i32
%36 = icmp ne i32 %35, 58
br i1 %36, label %37, label %42
37: ; preds = %32
%38 = load i8*, i8** %11
%39 = load i8, i8* %38
%40 = sext i8 %39 to i32
%41 = icmp ne i32 %40, 0
br label %42
42: ; preds = %37, %32
%43 = phi i1 [ false, %32 ], [ %41, %37 ]
br i1 %43, label %44, label %47
44: ; preds = %42
%45 = load i8*, i8** %11
%46 = getelementptr inbounds i8, i8* %45, i32 1
store i8* %46, i8** %11
br label %32
47: ; preds = %42
%48 = load i8*, i8** %11
store i8 0, i8* %48
%49 = load i8*, i8** %10
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = icmp ne i32 %51, 47
br i1 %52, label %53, label %66
53: ; preds = %47
%54 = load i32, i32* @PATH_MAX
%55 = zext i32 %54 to i64
%56 = call i8* @llvm.stacksave()
store i8* %56, i8** %14
%57 = alloca i8, i64 %55
store i64 %55, i64* %15
%58 = call i8* (...) @path_getcwd()
store i8* %58, i8** %16
%59 = load i32, i32* @PATH_MAX
%60 = load i8*, i8** %16
%61 = load i8*, i8** %10
%62 = call i32 @snprintf(i8* %57, i32 %59, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i8* %60, i8* %61)
%63 = load i8*, i8** %16
%64 = call i32 @free(i8* %63)
store i8* %57, i8** %10
%65 = load i8*, i8** %14
br label %66
66: ; preds = %53, %47
%67 = load i8*, i8** %10
%68 = call i32* @opendir(i8* %67)
store i32* %68, i32** %13
%69 = icmp ne i32* %68, null
br i1 %69, label %70, label %121
70: ; preds = %66
store %struct.dirent* null, %struct.dirent** %17
br label %71
71: ; preds = %117, %70
%72 = load i32*, i32** %13
%73 = call %struct.dirent* @readdir(i32* %72)
store %struct.dirent* %73, %struct.dirent** %17
%74 = icmp ne %struct.dirent* %73, null
br i1 %74, label %75, label %118
75: ; preds = %71
%76 = load %struct.dirent*, %struct.dirent** %17
%77 = getelementptr inbounds %struct.dirent, %struct.dirent* %76, i32 0, i32 0
%78 = load i32, i32* %77
%79 = load i8*, i8** %7
%80 = call i64 @strcmp(i32 %78, i8* %79)
%81 = icmp eq i64 %80, 0
br i1 %81, label %82, label %117
82: ; preds = %75
%83 = load i32, i32* @PATH_MAX
%84 = zext i32 %83 to i64
%85 = call i8* @llvm.stacksave()
store i8* %85, i8** %19
%86 = alloca i8, i64 %84
store i64 %84, i64* %20
%87 = load i8*, i8** %10
%88 = load i32, i32* @PATH_MAX
%89 = sext i32 %88 to i64
%90 = call i32 @strncpy(i8* %86, i8* %87, i64 %89)
%91 = call i32 @strncat(i8* %86, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 1)
%92 = load %struct.dirent*, %struct.dirent** %17
%93 = getelementptr inbounds %struct.dirent, %struct.dirent* %92, i32 0, i32 0
%94 = load i32, i32* %93
%95 = call i32 @strcat(i8* %86, i32 %94)
%96 = call i64 @stat(i8* %86, %struct.stat* %18)
%97 = icmp eq i64 %96, 0
br i1 %97, label %98, label %112
98: ; preds = %82
%99 = getelementptr inbounds %struct.stat, %struct.stat* %18, i32 0, i32 0
%100 = load i32, i32* %99
%101 = load i32, i32* @S_IXUSR
%102 = load i32, i32* @S_IFREG
%103 = or i32 %101, %102
%104 = and i32 %100, %103
%105 = icmp ne i32 %104, 0
br i1 %105, label %106, label %112
106: ; preds = %98
%107 = load i8*, i8** %8
%108 = load i64, i64* %9
%109 = call i32 @strncpy(i8* %107, i8* %86, i64 %108)
%110 = load i32*, i32** %13
%111 = call i32 @closedir(i32* %110)
store i32 0, i32* %5
store i32 1, i32* %21
br label %113
112: ; preds = %98, %82
store i32 0, i32* %21
br label %113
113: ; preds = %112, %106
%114 = load i8*, i8** %19
%115 = load i32, i32* %21
switch i32 %115, label %129 [
i32 0, label %116
i32 1, label %127
]
116: ; preds = %113
br label %117
117: ; preds = %116, %75
br label %71
118: ; preds = %71
%119 = load i32*, i32** %13
%120 = call i32 @closedir(i32* %119)
br label %121
121: ; preds = %118, %66
%122 = load i8*, i8** %11
store i8 58, i8* %122
%123 = load i8*, i8** %11
%124 = getelementptr inbounds i8, i8* %123, i32 1
store i8* %124, i8** %11
%125 = load i8*, i8** %11
store i8* %125, i8** %10
br label %25
126: ; preds = %25
store i32 1, i32* %5
br label %127
127: ; preds = %126, %113
%128 = load i32, i32* %5
ret i32 %128
129: ; preds = %113
unreachable
}

LLVM IR (-O2):
%struct.stat = type { i32 }
%struct.dirent = type { i32 }
@PATH_MAX = global i32 0
@.str = [6 x i8] c"%s/%s\00"
@.str.1 = [2 x i8] c"/\00"
@S_IXUSR = global i32 0
@S_IFREG = global i32 0
define i32 @path_lookup(i8* %0, i8* %1, i8* %2, i64 %3) {
%5 = alloca %struct.stat
%6 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%7 = getelementptr inbounds i8, i8* %0, i64 %6
%8 = icmp sgt i64 %6, 0
br i1 %8, label %9, label %76
9: ; preds = %4
%10 = bitcast %struct.stat* %5 to i8*
%11 = getelementptr inbounds %struct.stat, %struct.stat* %5, i64 0, i32 0
br label %12
12: ; preds = %9, %73
%13 = phi i8* [ %0, %9 ], [ %74, %73 ]
br label %14
14: ; preds = %12, %17
%15 = phi i8* [ %18, %17 ], [ %13, %12 ]
%16 = load i8, i8* %15
switch i8 %16, label %17 [
i8 58, label %19
i8 0, label %19
]
17: ; preds = %14
%18 = getelementptr inbounds i8, i8* %15, i64 1
br label %14
19: ; preds = %14, %14
store i8 0, i8* %15
%20 = load i8, i8* %13
%21 = icmp eq i8 %20, 47
br i1 %21, label %31, label %22
22: ; preds = %19
%23 = load i32, i32* @PATH_MAX
%24 = zext i32 %23 to i64
%25 = call i8* @llvm.stacksave()
%26 = alloca i8, i64 %24
%27 = call i8* (...) @path_getcwd()
%28 = load i32, i32* @PATH_MAX
%29 = call i32 @snprintf(i8* %26, i32 %28, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0), i8* %27, i8* %13)
%30 = call i32 @free(i8* %27)
br label %31
31: ; preds = %22, %19
%32 = phi i8* [ %26, %22 ], [ %13, %19 ]
%33 = call i32* @opendir(i8* %32)
%34 = icmp eq i32* %33, null
br i1 %34, label %73, label %35
35: ; preds = %31
%36 = call %struct.dirent* @readdir(i32* %33)
%37 = icmp eq %struct.dirent* %36, null
br i1 %37, label %68, label %38
38: ; preds = %35, %65
%39 = phi %struct.dirent* [ %66, %65 ], [ %36, %35 ]
%40 = getelementptr inbounds %struct.dirent, %struct.dirent* %39, i64 0, i32 0
%41 = load i32, i32* %40
%42 = call i64 @strcmp(i32 %41, i8* %1)
%43 = icmp eq i64 %42, 0
br i1 %43, label %44, label %65
44: ; preds = %38
%45 = load i32, i32* @PATH_MAX
%46 = zext i32 %45 to i64
%47 = call i8* @llvm.stacksave()
%48 = alloca i8, i64 %46
%49 = load i32, i32* @PATH_MAX
%50 = sext i32 %49 to i64
%51 = call i32 @strncpy(i8* %48, i8* %32, i64 %50)
%52 = call i32 @strncat(i8* %48, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.1, i64 0, i64 0), i32 1)
%53 = load i32, i32* %40
%54 = call i32 @strcat(i8* %48, i32 %53)
%55 = call i64 @stat(i8* %48, %struct.stat* %5)
%56 = icmp eq i64 %55, 0
br i1 %56, label %57, label %64
57: ; preds = %44
%58 = load i32, i32* %11
%59 = load i32, i32* @S_IXUSR
%60 = load i32, i32* @S_IFREG
%61 = or i32 %60, %59
%62 = and i32 %61, %58
%63 = icmp eq i32 %62, 0
br i1 %63, label %64, label %70
64: ; preds = %44, %57
br label %65
65: ; preds = %64, %38
%66 = call %struct.dirent* @readdir(i32* %33)
%67 = icmp eq %struct.dirent* %66, null
br i1 %67, label %68, label %38
68: ; preds = %65, %35
%69 = call i32 @closedir(i32* %33)
br label %73
70: ; preds = %57
%71 = call i32 @strncpy(i8* %2, i8* %48, i64 %3)
%72 = call i32 @closedir(i32* %33)
br label %76
73: ; preds = %31, %68
store i8 58, i8* %15
%74 = getelementptr inbounds i8, i8* %15, i64 1
%75 = icmp ult i8* %74, %7
br i1 %75, label %12, label %76
76: ; preds = %73, %4, %70
%77 = phi i32 [ 0, %70 ], [ 1, %4 ], [ 1, %73 ]
ret i32 %77
}