#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 htrace_log {
  int dummy;
};

/* Variables and functions */
int /*<<< orphan*/ htrace_log(struct htrace_log *, char *, char const *, int,
                              unsigned char const);
int validate_json_string(struct htrace_log *lg, const char *str) {
  const unsigned char *b = (const unsigned char *)str;
  int off = 0;
  while (*b) {
    if (((0x20 <= b[0] && b[0] <= 0x7E)) && ((b[0] != '"') && (b[0] != '\\'))) {
      b++;
      off++;
      continue;
    }
    if ((0xC2 <= b[0] && b[0] <= 0xDF) && (0x80 <= b[1] && b[1] <= 0xBF)) {
      b += 2;
      off += 2;
      continue;
    }
    if ((b[0] == 0xe0 && (0xa0 <= b[1] && b[1] <= 0xbf) &&
         (0x80 <= b[2] && b[2] <= 0xbf)) ||
        (((0xe1 <= b[0] && b[0] <= 0xec) || b[0] == 0xee || b[0] == 0xef) &&
         (0x80 <= b[1] && b[1] <= 0xbf) && (0x80 <= b[2] && b[2] <= 0xbf)) ||
        (b[0] == 0xed && (0x80 <= b[1] && b[1] <= 0x9f) &&
         (0x80 <= b[2] && b[2] <= 0xbf))) {
      b += 3;
      off += 3;
      continue;
    }
    if (lg) {
      htrace_log(lg,
                 "validate_json_string(%s): byte %d (0x%02x) "
                 "was problematic.\n",
                 str, off, b[0]);
    }
    return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<validate_json_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x20(%rbp),%rax
cmpb   $0x0,(%rax)
je     13b0 <validate_json_string+0x2a0>
mov    -0x20(%rbp),%rax
movzbl (%rax),%ecx
mov    $0x20,%eax
cmp    %ecx,%eax
jg     119a <validate_json_string+0x8a>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x7e,%eax
jg     119a <validate_json_string+0x8a>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x22,%eax
je     119a <validate_json_string+0x8a>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0x5c,%eax
je     119a <validate_json_string+0x8a>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    112f <validate_json_string+0x1f>
mov    -0x20(%rbp),%rax
movzbl (%rax),%ecx
mov    $0xc2,%eax
cmp    %ecx,%eax
jg     1202 <validate_json_string+0xf2>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xdf,%eax
jg     1202 <validate_json_string+0xf2>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%ecx
mov    $0x80,%eax
cmp    %ecx,%eax
jg     1202 <validate_json_string+0xf2>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0xbf,%eax
jg     1202 <validate_json_string+0xf2>
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x24(%rbp)
jmp    112f <validate_json_string+0x1f>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xe0,%eax
jne    1264 <validate_json_string+0x154>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%ecx
mov    $0xa0,%eax
cmp    %ecx,%eax
jg     1264 <validate_json_string+0x154>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0xbf,%eax
jg     1264 <validate_json_string+0x154>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%ecx
mov    $0x80,%eax
cmp    %ecx,%eax
jg     1264 <validate_json_string+0x154>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%eax
cmp    $0xbf,%eax
jle    1360 <validate_json_string+0x250>
mov    -0x20(%rbp),%rax
movzbl (%rax),%ecx
mov    $0xe1,%eax
cmp    %ecx,%eax
jg     128a <validate_json_string+0x17a>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xec,%eax
jle    12ae <validate_json_string+0x19e>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xee,%eax
je     12ae <validate_json_string+0x19e>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xef,%eax
jne    12fe <validate_json_string+0x1ee>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%ecx
mov    $0x80,%eax
cmp    %ecx,%eax
jg     12fe <validate_json_string+0x1ee>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0xbf,%eax
jg     12fe <validate_json_string+0x1ee>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%ecx
mov    $0x80,%eax
cmp    %ecx,%eax
jg     12fe <validate_json_string+0x1ee>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%eax
cmp    $0xbf,%eax
jle    1360 <validate_json_string+0x250>
mov    -0x20(%rbp),%rax
movzbl (%rax),%eax
cmp    $0xed,%eax
jne    137a <validate_json_string+0x26a>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%ecx
mov    $0x80,%eax
cmp    %ecx,%eax
jg     137a <validate_json_string+0x26a>
mov    -0x20(%rbp),%rax
movzbl 0x1(%rax),%eax
cmp    $0x9f,%eax
jg     137a <validate_json_string+0x26a>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%ecx
mov    $0x80,%eax
cmp    %ecx,%eax
jg     137a <validate_json_string+0x26a>
mov    -0x20(%rbp),%rax
movzbl 0x2(%rax),%eax
cmp    $0xbf,%eax
jg     137a <validate_json_string+0x26a>
mov    -0x20(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x20(%rbp)
mov    -0x24(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x24(%rbp)
jmp    112f <validate_json_string+0x1f>
cmpq   $0x0,-0x10(%rbp)
je     13a4 <validate_json_string+0x294>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rdx
mov    -0x24(%rbp),%ecx
mov    -0x20(%rbp),%rax
lea    0xc65(%rip),%rsi
movzbl (%rax),%r8d
call   1030 <htrace_log@plt>
movl   $0x0,-0x4(%rbp)
jmp    13b7 <validate_json_string+0x2a7>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<validate_json_string>:
push   %rbp
push   %r14
push   %rbx
mov    %rsi,%rdx
mov    (%rsi),%sil
mov    $0x1,%r14d
test   %sil,%sil
je     1205 <validate_json_string+0xf5>
xor    %ecx,%ecx
mov    %rdx,%rax
jmp    1166 <validate_json_string+0x56>
movzbl 0x1(%rax),%ebx
and    $0xe0,%bl
cmp    $0xa0,%bl
jne    11ed <validate_json_string+0xdd>
cmpb   $0xc0,0x2(%rax)
jge    11ed <validate_json_string+0xdd>
mov    $0x3,%ebx
mov    $0x3,%ebp
movzbl (%rax,%rbp,1),%esi
add    %rbp,%rax
add    %ebx,%ecx
test   %sil,%sil
je     1205 <validate_json_string+0xf5>
lea    -0x7f(%rsi),%ebp
cmp    $0xa1,%bpl
jae    1190 <validate_json_string+0x80>
lea    0x3e(%rsi),%ebp
cmp    $0x1d,%bpl
ja     11b0 <validate_json_string+0xa0>
cmpb   $0xc0,0x1(%rax)
jge    11ed <validate_json_string+0xdd>
mov    $0x2,%ebx
mov    $0x2,%ebp
jmp    1154 <validate_json_string+0x44>
nopw   0x0(%rax,%rax,1)
cmp    $0x22,%sil
je     11ed <validate_json_string+0xdd>
cmp    $0x5c,%sil
je     11ed <validate_json_string+0xdd>
mov    $0x1,%ebx
mov    $0x1,%ebp
jmp    1154 <validate_json_string+0x44>
nopl   0x0(%rax,%rax,1)
cmp    $0xe0,%sil
je     1130 <validate_json_string+0x20>
lea    0x1f(%rsi),%ebp
cmp    $0xc,%bpl
jb     11cd <validate_json_string+0xbd>
mov    %esi,%ebx
and    $0xfe,%bl
cmp    $0xee,%bl
jne    11dd <validate_json_string+0xcd>
cmpb   $0xbf,0x1(%rax)
jg     11dd <validate_json_string+0xcd>
cmpb   $0xc0,0x2(%rax)
jl     114a <validate_json_string+0x3a>
cmp    $0xed,%sil
jne    11ed <validate_json_string+0xdd>
cmpb   $0x9f,0x1(%rax)
jle    1140 <validate_json_string+0x30>
xor    %r14d,%r14d
test   %rdi,%rdi
je     1205 <validate_json_string+0xf5>
movzbl %sil,%r8d
lea    0xe00(%rip),%rsi
call   1030 <htrace_log@plt>
mov    %r14d,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
%struct.htrace_log = type { i32 }
@.str = [61 x i8] c"validate_json_string(%s): byte %d (0x%02x) was problematic.\0A\00"
define i32 @validate_json_string(%struct.htrace_log* %0, i8* %1) {
%3 = load i8, i8* %1
%4 = icmp eq i8 %3, 0
br i1 %4, label %67, label %5
5: ; preds = %2, %13
%6 = phi i8 [ %18, %13 ], [ %3, %2 ]
%7 = phi i32 [ %17, %13 ], [ 0, %2 ]
%8 = phi i8* [ %16, %13 ], [ %1, %2 ]
%9 = freeze i8 %6
%10 = add i8 %9, -127
%11 = icmp ult i8 %10, -95
br i1 %11, label %20, label %12
12: ; preds = %5
switch i8 %9, label %13 [
i8 92, label %62
i8 34, label %62
]
13: ; preds = %12, %34, %48, %58, %23
%14 = phi i64 [ 2, %23 ], [ 3, %58 ], [ 3, %48 ], [ 3, %34 ], [ 1, %12 ]
%15 = phi i32 [ 2, %23 ], [ 3, %58 ], [ 3, %48 ], [ 3, %34 ], [ 1, %12 ]
%16 = getelementptr inbounds i8, i8* %8, i64 %14
%17 = add nuw nsw i32 %7, %15
%18 = load i8, i8* %16
%19 = icmp eq i8 %18, 0
br i1 %19, label %67, label %5
20: ; preds = %5
%21 = add i8 %9, 62
%22 = icmp ult i8 %21, 30
br i1 %22, label %23, label %27
23: ; preds = %20
%24 = getelementptr inbounds i8, i8* %8, i64 1
%25 = load i8, i8* %24
%26 = icmp slt i8 %25, -64
br i1 %26, label %13, label %62
27: ; preds = %20
%28 = icmp eq i8 %9, -32
br i1 %28, label %29, label %38
29: ; preds = %27
%30 = getelementptr inbounds i8, i8* %8, i64 1
%31 = load i8, i8* %30
%32 = and i8 %31, -32
%33 = icmp eq i8 %32, -96
br i1 %33, label %34, label %62
34: ; preds = %29
%35 = getelementptr inbounds i8, i8* %8, i64 2
%36 = load i8, i8* %35
%37 = icmp slt i8 %36, -64
br i1 %37, label %13, label %62
38: ; preds = %27
%39 = add i8 %9, 31
%40 = icmp ult i8 %39, 12
%41 = and i8 %9, -2
%42 = icmp eq i8 %41, -18
%43 = or i1 %40, %42
br i1 %43, label %44, label %52
44: ; preds = %38
%45 = getelementptr inbounds i8, i8* %8, i64 1
%46 = load i8, i8* %45
%47 = icmp slt i8 %46, -64
br i1 %47, label %48, label %52
48: ; preds = %44
%49 = getelementptr inbounds i8, i8* %8, i64 2
%50 = load i8, i8* %49
%51 = icmp slt i8 %50, -64
br i1 %51, label %13, label %52
52: ; preds = %38, %48, %44
%53 = icmp eq i8 %9, -19
br i1 %53, label %54, label %62
54: ; preds = %52
%55 = getelementptr inbounds i8, i8* %8, i64 1
%56 = load i8, i8* %55
%57 = icmp slt i8 %56, -96
br i1 %57, label %58, label %62
58: ; preds = %54
%59 = getelementptr inbounds i8, i8* %8, i64 2
%60 = load i8, i8* %59
%61 = icmp slt i8 %60, -64
br i1 %61, label %13, label %62
62: ; preds = %23, %12, %12, %29, %34, %58, %54, %52
%63 = freeze i8 %6
%64 = icmp eq %struct.htrace_log* %0, null
br i1 %64, label %67, label %65
65: ; preds = %62
%66 = tail call i32 @htrace_log(%struct.htrace_log* %0, i8* getelementptr inbounds ([61 x i8], [61 x i8]* @.str, i64 0, i64 0), i8* %1, i32 %7, i8 zeroext %63)
br label %67
67: ; preds = %13, %2, %62, %65
%68 = phi i32 [ 0, %65 ], [ 0, %62 ], [ 1, %2 ], [ 1, %13 ]
ret i32 %68
}