#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 */

/* Variables and functions */
int /*<<< orphan*/ printf(char *);
scalar_t__ set_bad_offset(int /*<<< orphan*/, long long, int);
scalar_t__ set_offset(int, int);
int validate_set_offset(void) {
  printf("Testing ADJ_SETOFFSET... ");
  if (set_offset(1000000000LL - 1, 1)) {
    return -1;
  }
  if (set_offset(-1000000000LL + 1, 1)) {
    return -1;
  }
  if (set_offset(-1000000000LL - 1, 1)) {
    return -1;
  }
  if (set_offset(5 * 1000000000LL, 1)) {
    return -1;
  }
  if (set_offset(-5 * 1000000000LL, 1)) {
    return -1;
  }
  if (set_offset(5 * 1000000000LL + 1000000000LL / 2, 1)) {
    return -1;
  }
  if (set_offset(-5 * 1000000000LL - 1000000000LL / 2, 1)) {
    return -1;
  }
  if (set_offset(1000000LL - 1, 0)) {
    return -1;
  }
  if (set_offset(-1000000LL + 1, 0)) {
    return -1;
  }
  if (set_offset(-1000000LL - 1, 0)) {
    return -1;
  }
  if (set_offset(5 * 1000000LL, 0)) {
    return -1;
  }
  if (set_offset(-5 * 1000000LL, 0)) {
    return -1;
  }
  if (set_offset(5 * 1000000LL + 1000000LL / 2, 0)) {
    return -1;
  }
  if (set_offset(-5 * 1000000LL - 1000000LL / 2, 0)) {
    return -1;
  }
  if (set_bad_offset(0, -1, 1)) {
    return -1;
  }
  if (set_bad_offset(0, -1, 0)) {
    return -1;
  }
  if (set_bad_offset(0, 2 * 1000000000LL, 1)) {
    return -1;
  }
  if (set_bad_offset(0, 2 * 1000000LL, 0)) {
    return -1;
  }
  if (set_bad_offset(0, 1000000000LL, 1)) {
    return -1;
  }
  if (set_bad_offset(0, 1000000LL, 0)) {
    return -1;
  }
  if (set_bad_offset(0, -1000000000LL, 1)) {
    return -1;
  }
  if (set_bad_offset(0, -1000000LL, 0)) {
    return -1;
  }
  printf("[OK]\n");
  return 0;
}


x86 assembly (clang, -O0):
<validate_set_offset>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
lea    0xec1(%rip),%rdi
call   1030 <printf@plt>
mov    $0x3b9ac9ff,%edi
mov    $0x1,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     1169 <validate_set_offset+0x39>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0xc4653601,%edi
mov    $0x1,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     118e <validate_set_offset+0x5e>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0xc46535ff,%edi
mov    $0x1,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     11b3 <validate_set_offset+0x83>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0x2a05f200,%edi
mov    $0x1,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     11d8 <validate_set_offset+0xa8>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0xd5fa0e00,%edi
mov    $0x1,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     11fd <validate_set_offset+0xcd>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0x47d35700,%edi
mov    $0x1,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     1222 <validate_set_offset+0xf2>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0xb82ca900,%edi
mov    $0x1,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     1247 <validate_set_offset+0x117>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0xf423f,%edi
xor    %esi,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     1269 <validate_set_offset+0x139>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0xfff0bdc1,%edi
xor    %esi,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     128b <validate_set_offset+0x15b>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0xfff0bdbf,%edi
xor    %esi,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     12ad <validate_set_offset+0x17d>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0x4c4b40,%edi
xor    %esi,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     12cf <validate_set_offset+0x19f>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0xffb3b4c0,%edi
xor    %esi,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     12f1 <validate_set_offset+0x1c1>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0x53ec60,%edi
xor    %esi,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     1313 <validate_set_offset+0x1e3>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
mov    $0xffac13a0,%edi
xor    %esi,%esi
call   1040 <set_offset@plt>
cmp    $0x0,%rax
je     1335 <validate_set_offset+0x205>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
xor    %edi,%edi
mov    $0xffffffffffffffff,%rsi
mov    $0x1,%edx
call   1050 <set_bad_offset@plt>
cmp    $0x0,%rax
je     135e <validate_set_offset+0x22e>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
xor    %edx,%edx
mov    $0xffffffffffffffff,%rsi
mov    %edx,%edi
call   1050 <set_bad_offset@plt>
cmp    $0x0,%rax
je     1384 <validate_set_offset+0x254>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
xor    %edi,%edi
mov    $0x77359400,%esi
mov    $0x1,%edx
call   1050 <set_bad_offset@plt>
cmp    $0x0,%rax
je     13ab <validate_set_offset+0x27b>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
xor    %edx,%edx
mov    $0x1e8480,%esi
mov    %edx,%edi
call   1050 <set_bad_offset@plt>
cmp    $0x0,%rax
je     13cf <validate_set_offset+0x29f>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
xor    %edi,%edi
mov    $0x3b9aca00,%esi
mov    $0x1,%edx
call   1050 <set_bad_offset@plt>
cmp    $0x0,%rax
je     13f6 <validate_set_offset+0x2c6>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
xor    %edx,%edx
mov    $0xf4240,%esi
mov    %edx,%edi
call   1050 <set_bad_offset@plt>
cmp    $0x0,%rax
je     141a <validate_set_offset+0x2ea>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
xor    %edi,%edi
mov    $0xffffffffc4653600,%rsi
mov    $0x1,%edx
call   1050 <set_bad_offset@plt>
cmp    $0x0,%rax
je     1443 <validate_set_offset+0x313>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
xor    %edx,%edx
mov    $0xfffffffffff0bdc0,%rsi
mov    %edx,%edi
call   1050 <set_bad_offset@plt>
cmp    $0x0,%rax
je     1469 <validate_set_offset+0x339>
movl   $0xffffffff,-0x4(%rbp)
jmp    147c <validate_set_offset+0x34c>
lea    0xbaa(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<validate_set_offset>:
push   %rbx
lea    0xeb8(%rip),%rdi
call   1040 <printf@plt>
mov    $0x3b9ac9ff,%edi
mov    $0x1,%esi
call   1050 <set_offset@plt>
mov    $0xffffffff,%ebx
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xc4653601,%edi
mov    $0x1,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xc46535ff,%edi
mov    $0x1,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0x2a05f200,%edi
mov    $0x1,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xd5fa0e00,%edi
mov    $0x1,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0x47d35700,%edi
mov    $0x1,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xb82ca900,%edi
mov    $0x1,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xf423f,%edi
xor    %esi,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xfff0bdc1,%edi
xor    %esi,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xfff0bdbf,%edi
xor    %esi,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0x4c4b40,%edi
xor    %esi,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xffb3b4c0,%edi
xor    %esi,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0x53ec60,%edi
xor    %esi,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xffac13a0,%edi
xor    %esi,%esi
call   1050 <set_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
xor    %edi,%edi
mov    $0xffffffffffffffff,%rsi
mov    $0x1,%edx
call   1060 <set_bad_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
xor    %edi,%edi
mov    $0xffffffffffffffff,%rsi
xor    %edx,%edx
call   1060 <set_bad_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0x77359400,%esi
xor    %edi,%edi
mov    $0x1,%edx
call   1060 <set_bad_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0x1e8480,%esi
xor    %edi,%edi
xor    %edx,%edx
call   1060 <set_bad_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0x3b9aca00,%esi
xor    %edi,%edi
mov    $0x1,%edx
call   1060 <set_bad_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
mov    $0xf4240,%esi
xor    %edi,%edi
xor    %edx,%edx
call   1060 <set_bad_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
xor    %edi,%edi
mov    $0xffffffffc4653600,%rsi
mov    $0x1,%edx
call   1060 <set_bad_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
xor    %edi,%edi
mov    $0xfffffffffff0bdc0,%rsi
xor    %edx,%edx
call   1060 <set_bad_offset@plt>
test   %rax,%rax
jne    134f <validate_set_offset+0x20f>
lea    0xcd2(%rip),%rdi
call   1030 <puts@plt>
xor    %ebx,%ebx
mov    %ebx,%eax
pop    %rbx
ret

LLVM IR (-O0):
@.str = [26 x i8] c"Testing ADJ_SETOFFSET... \00"
@.str.1 = [6 x i8] c"[OK]\0A\00"
define i32 @validate_set_offset() {
%1 = alloca i32
%2 = call i32 @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str, i64 0, i64 0))
%3 = call i64 @set_offset(i32 999999999, i32 1)
%4 = icmp ne i64 %3, 0
br i1 %4, label %5, label %6
5: ; preds = %0
store i32 -1, i32* %1
br label %92
6: ; preds = %0
%7 = call i64 @set_offset(i32 -999999999, i32 1)
%8 = icmp ne i64 %7, 0
br i1 %8, label %9, label %10
9: ; preds = %6
store i32 -1, i32* %1
br label %92
10: ; preds = %6
%11 = call i64 @set_offset(i32 -1000000001, i32 1)
%12 = icmp ne i64 %11, 0
br i1 %12, label %13, label %14
13: ; preds = %10
store i32 -1, i32* %1
br label %92
14: ; preds = %10
%15 = call i64 @set_offset(i32 705032704, i32 1)
%16 = icmp ne i64 %15, 0
br i1 %16, label %17, label %18
17: ; preds = %14
store i32 -1, i32* %1
br label %92
18: ; preds = %14
%19 = call i64 @set_offset(i32 -705032704, i32 1)
%20 = icmp ne i64 %19, 0
br i1 %20, label %21, label %22
21: ; preds = %18
store i32 -1, i32* %1
br label %92
22: ; preds = %18
%23 = call i64 @set_offset(i32 1205032704, i32 1)
%24 = icmp ne i64 %23, 0
br i1 %24, label %25, label %26
25: ; preds = %22
store i32 -1, i32* %1
br label %92
26: ; preds = %22
%27 = call i64 @set_offset(i32 -1205032704, i32 1)
%28 = icmp ne i64 %27, 0
br i1 %28, label %29, label %30
29: ; preds = %26
store i32 -1, i32* %1
br label %92
30: ; preds = %26
%31 = call i64 @set_offset(i32 999999, i32 0)
%32 = icmp ne i64 %31, 0
br i1 %32, label %33, label %34
33: ; preds = %30
store i32 -1, i32* %1
br label %92
34: ; preds = %30
%35 = call i64 @set_offset(i32 -999999, i32 0)
%36 = icmp ne i64 %35, 0
br i1 %36, label %37, label %38
37: ; preds = %34
store i32 -1, i32* %1
br label %92
38: ; preds = %34
%39 = call i64 @set_offset(i32 -1000001, i32 0)
%40 = icmp ne i64 %39, 0
br i1 %40, label %41, label %42
41: ; preds = %38
store i32 -1, i32* %1
br label %92
42: ; preds = %38
%43 = call i64 @set_offset(i32 5000000, i32 0)
%44 = icmp ne i64 %43, 0
br i1 %44, label %45, label %46
45: ; preds = %42
store i32 -1, i32* %1
br label %92
46: ; preds = %42
%47 = call i64 @set_offset(i32 -5000000, i32 0)
%48 = icmp ne i64 %47, 0
br i1 %48, label %49, label %50
49: ; preds = %46
store i32 -1, i32* %1
br label %92
50: ; preds = %46
%51 = call i64 @set_offset(i32 5500000, i32 0)
%52 = icmp ne i64 %51, 0
br i1 %52, label %53, label %54
53: ; preds = %50
store i32 -1, i32* %1
br label %92
54: ; preds = %50
%55 = call i64 @set_offset(i32 -5500000, i32 0)
%56 = icmp ne i64 %55, 0
br i1 %56, label %57, label %58
57: ; preds = %54
store i32 -1, i32* %1
br label %92
58: ; preds = %54
%59 = call i64 @set_bad_offset(i32 0, i64 -1, i32 1)
%60 = icmp ne i64 %59, 0
br i1 %60, label %61, label %62
61: ; preds = %58
store i32 -1, i32* %1
br label %92
62: ; preds = %58
%63 = call i64 @set_bad_offset(i32 0, i64 -1, i32 0)
%64 = icmp ne i64 %63, 0
br i1 %64, label %65, label %66
65: ; preds = %62
store i32 -1, i32* %1
br label %92
66: ; preds = %62
%67 = call i64 @set_bad_offset(i32 0, i64 2000000000, i32 1)
%68 = icmp ne i64 %67, 0
br i1 %68, label %69, label %70
69: ; preds = %66
store i32 -1, i32* %1
br label %92
70: ; preds = %66
%71 = call i64 @set_bad_offset(i32 0, i64 2000000, i32 0)
%72 = icmp ne i64 %71, 0
br i1 %72, label %73, label %74
73: ; preds = %70
store i32 -1, i32* %1
br label %92
74: ; preds = %70
%75 = call i64 @set_bad_offset(i32 0, i64 1000000000, i32 1)
%76 = icmp ne i64 %75, 0
br i1 %76, label %77, label %78
77: ; preds = %74
store i32 -1, i32* %1
br label %92
78: ; preds = %74
%79 = call i64 @set_bad_offset(i32 0, i64 1000000, i32 0)
%80 = icmp ne i64 %79, 0
br i1 %80, label %81, label %82
81: ; preds = %78
store i32 -1, i32* %1
br label %92
82: ; preds = %78
%83 = call i64 @set_bad_offset(i32 0, i64 -1000000000, i32 1)
%84 = icmp ne i64 %83, 0
br i1 %84, label %85, label %86
85: ; preds = %82
store i32 -1, i32* %1
br label %92
86: ; preds = %82
%87 = call i64 @set_bad_offset(i32 0, i64 -1000000, i32 0)
%88 = icmp ne i64 %87, 0
br i1 %88, label %89, label %90
89: ; preds = %86
store i32 -1, i32* %1
br label %92
90: ; preds = %86
%91 = call i32 @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0))
store i32 0, i32* %1
br label %92
92: ; preds = %90, %89, %85, %81, %77, %73, %69, %65, %61, %57, %53, %49, %45, %41, %37, %33, %29, %25, %21, %17, %13, %9, %5
%93 = load i32, i32* %1
ret i32 %93
}

LLVM IR (-O2):
@.str = [26 x i8] c"Testing ADJ_SETOFFSET... \00"
@str = [5 x i8] c"[OK]\00"
define i32 @validate_set_offset() {
%1 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @.str, i64 0, i64 0))
%2 = tail call i64 @set_offset(i32 999999999, i32 1)
%3 = icmp eq i64 %2, 0
br i1 %3, label %4, label %69
4: ; preds = %0
%5 = tail call i64 @set_offset(i32 -999999999, i32 1)
%6 = icmp eq i64 %5, 0
br i1 %6, label %7, label %69
7: ; preds = %4
%8 = tail call i64 @set_offset(i32 -1000000001, i32 1)
%9 = icmp eq i64 %8, 0
br i1 %9, label %10, label %69
10: ; preds = %7
%11 = tail call i64 @set_offset(i32 705032704, i32 1)
%12 = icmp eq i64 %11, 0
br i1 %12, label %13, label %69
13: ; preds = %10
%14 = tail call i64 @set_offset(i32 -705032704, i32 1)
%15 = icmp eq i64 %14, 0
br i1 %15, label %16, label %69
16: ; preds = %13
%17 = tail call i64 @set_offset(i32 1205032704, i32 1)
%18 = icmp eq i64 %17, 0
br i1 %18, label %19, label %69
19: ; preds = %16
%20 = tail call i64 @set_offset(i32 -1205032704, i32 1)
%21 = icmp eq i64 %20, 0
br i1 %21, label %22, label %69
22: ; preds = %19
%23 = tail call i64 @set_offset(i32 999999, i32 0)
%24 = icmp eq i64 %23, 0
br i1 %24, label %25, label %69
25: ; preds = %22
%26 = tail call i64 @set_offset(i32 -999999, i32 0)
%27 = icmp eq i64 %26, 0
br i1 %27, label %28, label %69
28: ; preds = %25
%29 = tail call i64 @set_offset(i32 -1000001, i32 0)
%30 = icmp eq i64 %29, 0
br i1 %30, label %31, label %69
31: ; preds = %28
%32 = tail call i64 @set_offset(i32 5000000, i32 0)
%33 = icmp eq i64 %32, 0
br i1 %33, label %34, label %69
34: ; preds = %31
%35 = tail call i64 @set_offset(i32 -5000000, i32 0)
%36 = icmp eq i64 %35, 0
br i1 %36, label %37, label %69
37: ; preds = %34
%38 = tail call i64 @set_offset(i32 5500000, i32 0)
%39 = icmp eq i64 %38, 0
br i1 %39, label %40, label %69
40: ; preds = %37
%41 = tail call i64 @set_offset(i32 -5500000, i32 0)
%42 = icmp eq i64 %41, 0
br i1 %42, label %43, label %69
43: ; preds = %40
%44 = tail call i64 @set_bad_offset(i32 0, i64 -1, i32 1)
%45 = icmp eq i64 %44, 0
br i1 %45, label %46, label %69
46: ; preds = %43
%47 = tail call i64 @set_bad_offset(i32 0, i64 -1, i32 0)
%48 = icmp eq i64 %47, 0
br i1 %48, label %49, label %69
49: ; preds = %46
%50 = tail call i64 @set_bad_offset(i32 0, i64 2000000000, i32 1)
%51 = icmp eq i64 %50, 0
br i1 %51, label %52, label %69
52: ; preds = %49
%53 = tail call i64 @set_bad_offset(i32 0, i64 2000000, i32 0)
%54 = icmp eq i64 %53, 0
br i1 %54, label %55, label %69
55: ; preds = %52
%56 = tail call i64 @set_bad_offset(i32 0, i64 1000000000, i32 1)
%57 = icmp eq i64 %56, 0
br i1 %57, label %58, label %69
58: ; preds = %55
%59 = tail call i64 @set_bad_offset(i32 0, i64 1000000, i32 0)
%60 = icmp eq i64 %59, 0
br i1 %60, label %61, label %69
61: ; preds = %58
%62 = tail call i64 @set_bad_offset(i32 0, i64 -1000000000, i32 1)
%63 = icmp eq i64 %62, 0
br i1 %63, label %64, label %69
64: ; preds = %61
%65 = tail call i64 @set_bad_offset(i32 0, i64 -1000000, i32 0)
%66 = icmp eq i64 %65, 0
br i1 %66, label %67, label %69
67: ; preds = %64
%68 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @str, i64 0, i64 0))
br label %69
69: ; preds = %64, %61, %58, %55, %52, %49, %46, %43, %40, %37, %34, %31, %28, %25, %22, %19, %16, %13, %10, %7, %4, %0, %67
%70 = phi i32 [ 0, %67 ], [ -1, %0 ], [ -1, %4 ], [ -1, %7 ], [ -1, %10 ], [ -1, %13 ], [ -1, %16 ], [ -1, %19 ], [ -1, %22 ], [ -1, %25 ], [ -1, %28 ], [ -1, %31 ], [ -1, %34 ], [ -1, %37 ], [ -1, %40 ], [ -1, %43 ], [ -1, %46 ], [ -1, %49 ], [ -1, %52 ], [ -1, %55 ], [ -1, %58 ], [ -1, %61 ], [ -1, %64 ]
ret i32 %70
}