#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 *);
int strlen(unsigned char *);
void check_utf8(unsigned char *s) {
  int pos;
  unsigned char c;
  unsigned long unicode = 0;
  if (!s)
    return;
  pos = strlen(s);
  while (pos > 0) {
    c = *s;
    if (c >= 0xfc) {
      unicode = (s[0] & 0x01) << 30;
      unicode |= (s[1] & 0x3F) << 24;
      unicode |= (s[2] & 0x3F) << 18;
      unicode |= (s[3] & 0x3F) << 12;
      unicode |= (s[4] & 0x3F) << 6;
      unicode |= (s[5] & 0x3F);
      pos -= 6;
      s += 6;
    } else if (c >= 0xf8) {
      unicode = (s[0] & 0x03) << 24;
      unicode |= (s[1] & 0x3F) << 18;
      unicode |= (s[2] & 0x3F) << 12;
      unicode |= (s[3] & 0x3F) << 6;
      unicode |= (s[4] & 0x3F);
      pos -= 5;
      s += 5;
    } else if (c >= 0xf0) {
      unicode = (s[0] & 0x07) << 18;
      unicode |= (s[1] & 0x3F) << 12;
      unicode |= (s[2] & 0x3F) << 6;
      unicode |= (s[3] & 0x3F);
      pos -= 4;
      s += 4;
    } else if (c >= 0xe0) {
      unicode = (s[0] & 0x0F) << 12;
      unicode |= (s[1] & 0x3F) << 6;
      unicode |= (s[2] & 0x3F);
      pos -= 3;
      s += 3;
    } else if (c >= 0xc0) {
      unicode = (s[0] & 0x1F) << 6;
      unicode |= (s[1] & 0x3F);
      pos -= 2;
      s += 2;
    } else {
      unicode = s[0];
      if (unicode < 0x20)
        s[0] = 0x20;
      pos -= 1;
      s += 1;
    }
  }
  if (pos != 0)
    printf("this utf8 text has some wrong\n");
}


x86 assembly (clang, -O0):
<check_utf8>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
movq   $0x0,-0x18(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    1144 <check_utf8+0x24>
jmp    1449 <check_utf8+0x329>
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jle    1433 <check_utf8+0x313>
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0xd(%rbp)
movzbl -0xd(%rbp),%eax
cmp    $0xfc,%eax
jl     1214 <check_utf8+0xf4>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0x1,%eax
shl    $0x1e,%eax
cltq
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x3f,%eax
shl    $0x18,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0x3f,%eax
shl    $0x12,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
and    $0x3f,%eax
shl    $0xc,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x4(%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x5(%rax),%eax
and    $0x3f,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x6,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
add    $0x6,%rax
mov    %rax,-0x8(%rbp)
jmp    142e <check_utf8+0x30e>
movzbl -0xd(%rbp),%eax
cmp    $0xf8,%eax
jl     12ad <check_utf8+0x18d>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0x3,%eax
shl    $0x18,%eax
cltq
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x3f,%eax
shl    $0x12,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0x3f,%eax
shl    $0xc,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x4(%rax),%eax
and    $0x3f,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x5,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
add    $0x5,%rax
mov    %rax,-0x8(%rbp)
jmp    1429 <check_utf8+0x309>
movzbl -0xd(%rbp),%eax
cmp    $0xf0,%eax
jl     132e <check_utf8+0x20e>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0x7,%eax
shl    $0x12,%eax
cltq
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x3f,%eax
shl    $0xc,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x3(%rax),%eax
and    $0x3f,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x4,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
jmp    1424 <check_utf8+0x304>
movzbl -0xd(%rbp),%eax
cmp    $0xe0,%eax
jl     1397 <check_utf8+0x277>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0xf,%eax
shl    $0xc,%eax
cltq
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x3f,%eax
shl    $0x6,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x2(%rax),%eax
and    $0x3f,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x3,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x8(%rbp)
jmp    141f <check_utf8+0x2ff>
movzbl -0xd(%rbp),%eax
cmp    $0xc0,%eax
jl     13e8 <check_utf8+0x2c8>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
and    $0x1f,%eax
shl    $0x6,%eax
cltq
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movzbl 0x1(%rax),%eax
and    $0x3f,%eax
cltq
or     -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0xc(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
jmp    141a <check_utf8+0x2fa>
mov    -0x8(%rbp),%rax
movzbl (%rax),%eax
mov    %rax,-0x18(%rbp)
cmpq   $0x20,-0x18(%rbp)
jae    1405 <check_utf8+0x2e5>
mov    -0x8(%rbp),%rax
movb   $0x20,(%rax)
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    141f <check_utf8+0x2ff>
jmp    1424 <check_utf8+0x304>
jmp    1429 <check_utf8+0x309>
jmp    142e <check_utf8+0x30e>
jmp    1150 <check_utf8+0x30>
cmpl   $0x0,-0xc(%rbp)
je     1449 <check_utf8+0x329>
lea    0xbbc(%rip),%rdi
call   1040 <printf@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_utf8>:
test   %rdi,%rdi
je     11c7 <check_utf8+0xa7>
push   %rbx
mov    %rdi,%rbx
call   1040 <strlen@plt>
test   %eax,%eax
jg     1161 <check_utf8+0x41>
test   %eax,%eax
pop    %rbx
je     11c7 <check_utf8+0xa7>
lea    0xeba(%rip),%rdi
jmp    1030 <puts@plt>
nopl   0x0(%rax,%rax,1)
mov    $0x6,%esi
mov    $0xfffffffa,%edx
add    %rsi,%rbx
add    %edx,%eax
jle    1136 <check_utf8+0x16>
movzbl (%rbx),%ecx
cmp    $0xfb,%cl
ja     1150 <check_utf8+0x30>
cmp    $0xf7,%cl
jbe    1180 <check_utf8+0x60>
mov    $0x5,%esi
mov    $0xfffffffb,%edx
jmp    115a <check_utf8+0x3a>
nopw   0x0(%rax,%rax,1)
cmp    $0xef,%cl
jbe    1191 <check_utf8+0x71>
mov    $0x4,%esi
mov    $0xfffffffc,%edx
jmp    115a <check_utf8+0x3a>
cmp    $0xdf,%cl
jbe    11a2 <check_utf8+0x82>
mov    $0x3,%esi
mov    $0xfffffffd,%edx
jmp    115a <check_utf8+0x3a>
cmp    $0xbf,%cl
jbe    11b3 <check_utf8+0x93>
mov    $0x2,%esi
mov    $0xfffffffe,%edx
jmp    115a <check_utf8+0x3a>
mov    $0x1,%esi
mov    $0xffffffff,%edx
cmp    $0x1f,%cl
ja     115a <check_utf8+0x3a>
movb   $0x20,(%rbx)
jmp    115a <check_utf8+0x3a>
ret

LLVM IR (-O0):
@.str = [31 x i8] c"this utf8 text has some wrong\0A\00"
define void @check_utf8(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
%4 = alloca i8
%5 = alloca i64
store i8* %0, i8** %2
store i64 0, i64* %5
%6 = load i8*, i8** %2
%7 = icmp ne i8* %6, null
br i1 %7, label %9, label %8
8: ; preds = %1
br label %252
9: ; preds = %1
%10 = load i8*, i8** %2
%11 = call i32 @strlen(i8* %10)
store i32 %11, i32* %3
br label %12
12: ; preds = %246, %9
%13 = load i32, i32* %3
%14 = icmp sgt i32 %13, 0
br i1 %14, label %15, label %247
15: ; preds = %12
%16 = load i8*, i8** %2
%17 = load i8, i8* %16
store i8 %17, i8* %4
%18 = load i8, i8* %4
%19 = zext i8 %18 to i32
%20 = icmp sge i32 %19, 252
br i1 %20, label %21, label %77
21: ; preds = %15
%22 = load i8*, i8** %2
%23 = getelementptr inbounds i8, i8* %22, i64 0
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = and i32 %25, 1
%27 = shl i32 %26, 30
%28 = sext i32 %27 to i64
store i64 %28, i64* %5
%29 = load i8*, i8** %2
%30 = getelementptr inbounds i8, i8* %29, i64 1
%31 = load i8, i8* %30
%32 = zext i8 %31 to i32
%33 = and i32 %32, 63
%34 = shl i32 %33, 24
%35 = sext i32 %34 to i64
%36 = load i64, i64* %5
%37 = or i64 %36, %35
store i64 %37, i64* %5
%38 = load i8*, i8** %2
%39 = getelementptr inbounds i8, i8* %38, i64 2
%40 = load i8, i8* %39
%41 = zext i8 %40 to i32
%42 = and i32 %41, 63
%43 = shl i32 %42, 18
%44 = sext i32 %43 to i64
%45 = load i64, i64* %5
%46 = or i64 %45, %44
store i64 %46, i64* %5
%47 = load i8*, i8** %2
%48 = getelementptr inbounds i8, i8* %47, i64 3
%49 = load i8, i8* %48
%50 = zext i8 %49 to i32
%51 = and i32 %50, 63
%52 = shl i32 %51, 12
%53 = sext i32 %52 to i64
%54 = load i64, i64* %5
%55 = or i64 %54, %53
store i64 %55, i64* %5
%56 = load i8*, i8** %2
%57 = getelementptr inbounds i8, i8* %56, i64 4
%58 = load i8, i8* %57
%59 = zext i8 %58 to i32
%60 = and i32 %59, 63
%61 = shl i32 %60, 6
%62 = sext i32 %61 to i64
%63 = load i64, i64* %5
%64 = or i64 %63, %62
store i64 %64, i64* %5
%65 = load i8*, i8** %2
%66 = getelementptr inbounds i8, i8* %65, i64 5
%67 = load i8, i8* %66
%68 = zext i8 %67 to i32
%69 = and i32 %68, 63
%70 = sext i32 %69 to i64
%71 = load i64, i64* %5
%72 = or i64 %71, %70
store i64 %72, i64* %5
%73 = load i32, i32* %3
%74 = sub nsw i32 %73, 6
store i32 %74, i32* %3
%75 = load i8*, i8** %2
%76 = getelementptr inbounds i8, i8* %75, i64 6
store i8* %76, i8** %2
br label %246
77: ; preds = %15
%78 = load i8, i8* %4
%79 = zext i8 %78 to i32
%80 = icmp sge i32 %79, 248
br i1 %80, label %81, label %128
81: ; preds = %77
%82 = load i8*, i8** %2
%83 = getelementptr inbounds i8, i8* %82, i64 0
%84 = load i8, i8* %83
%85 = zext i8 %84 to i32
%86 = and i32 %85, 3
%87 = shl i32 %86, 24
%88 = sext i32 %87 to i64
store i64 %88, i64* %5
%89 = load i8*, i8** %2
%90 = getelementptr inbounds i8, i8* %89, i64 1
%91 = load i8, i8* %90
%92 = zext i8 %91 to i32
%93 = and i32 %92, 63
%94 = shl i32 %93, 18
%95 = sext i32 %94 to i64
%96 = load i64, i64* %5
%97 = or i64 %96, %95
store i64 %97, i64* %5
%98 = load i8*, i8** %2
%99 = getelementptr inbounds i8, i8* %98, i64 2
%100 = load i8, i8* %99
%101 = zext i8 %100 to i32
%102 = and i32 %101, 63
%103 = shl i32 %102, 12
%104 = sext i32 %103 to i64
%105 = load i64, i64* %5
%106 = or i64 %105, %104
store i64 %106, i64* %5
%107 = load i8*, i8** %2
%108 = getelementptr inbounds i8, i8* %107, i64 3
%109 = load i8, i8* %108
%110 = zext i8 %109 to i32
%111 = and i32 %110, 63
%112 = shl i32 %111, 6
%113 = sext i32 %112 to i64
%114 = load i64, i64* %5
%115 = or i64 %114, %113
store i64 %115, i64* %5
%116 = load i8*, i8** %2
%117 = getelementptr inbounds i8, i8* %116, i64 4
%118 = load i8, i8* %117
%119 = zext i8 %118 to i32
%120 = and i32 %119, 63
%121 = sext i32 %120 to i64
%122 = load i64, i64* %5
%123 = or i64 %122, %121
store i64 %123, i64* %5
%124 = load i32, i32* %3
%125 = sub nsw i32 %124, 5
store i32 %125, i32* %3
%126 = load i8*, i8** %2
%127 = getelementptr inbounds i8, i8* %126, i64 5
store i8* %127, i8** %2
br label %245
128: ; preds = %77
%129 = load i8, i8* %4
%130 = zext i8 %129 to i32
%131 = icmp sge i32 %130, 240
br i1 %131, label %132, label %170
132: ; preds = %128
%133 = load i8*, i8** %2
%134 = getelementptr inbounds i8, i8* %133, i64 0
%135 = load i8, i8* %134
%136 = zext i8 %135 to i32
%137 = and i32 %136, 7
%138 = shl i32 %137, 18
%139 = sext i32 %138 to i64
store i64 %139, i64* %5
%140 = load i8*, i8** %2
%141 = getelementptr inbounds i8, i8* %140, i64 1
%142 = load i8, i8* %141
%143 = zext i8 %142 to i32
%144 = and i32 %143, 63
%145 = shl i32 %144, 12
%146 = sext i32 %145 to i64
%147 = load i64, i64* %5
%148 = or i64 %147, %146
store i64 %148, i64* %5
%149 = load i8*, i8** %2
%150 = getelementptr inbounds i8, i8* %149, i64 2
%151 = load i8, i8* %150
%152 = zext i8 %151 to i32
%153 = and i32 %152, 63
%154 = shl i32 %153, 6
%155 = sext i32 %154 to i64
%156 = load i64, i64* %5
%157 = or i64 %156, %155
store i64 %157, i64* %5
%158 = load i8*, i8** %2
%159 = getelementptr inbounds i8, i8* %158, i64 3
%160 = load i8, i8* %159
%161 = zext i8 %160 to i32
%162 = and i32 %161, 63
%163 = sext i32 %162 to i64
%164 = load i64, i64* %5
%165 = or i64 %164, %163
store i64 %165, i64* %5
%166 = load i32, i32* %3
%167 = sub nsw i32 %166, 4
store i32 %167, i32* %3
%168 = load i8*, i8** %2
%169 = getelementptr inbounds i8, i8* %168, i64 4
store i8* %169, i8** %2
br label %244
170: ; preds = %128
%171 = load i8, i8* %4
%172 = zext i8 %171 to i32
%173 = icmp sge i32 %172, 224
br i1 %173, label %174, label %203
174: ; preds = %170
%175 = load i8*, i8** %2
%176 = getelementptr inbounds i8, i8* %175, i64 0
%177 = load i8, i8* %176
%178 = zext i8 %177 to i32
%179 = and i32 %178, 15
%180 = shl i32 %179, 12
%181 = sext i32 %180 to i64
store i64 %181, i64* %5
%182 = load i8*, i8** %2
%183 = getelementptr inbounds i8, i8* %182, i64 1
%184 = load i8, i8* %183
%185 = zext i8 %184 to i32
%186 = and i32 %185, 63
%187 = shl i32 %186, 6
%188 = sext i32 %187 to i64
%189 = load i64, i64* %5
%190 = or i64 %189, %188
store i64 %190, i64* %5
%191 = load i8*, i8** %2
%192 = getelementptr inbounds i8, i8* %191, i64 2
%193 = load i8, i8* %192
%194 = zext i8 %193 to i32
%195 = and i32 %194, 63
%196 = sext i32 %195 to i64
%197 = load i64, i64* %5
%198 = or i64 %197, %196
store i64 %198, i64* %5
%199 = load i32, i32* %3
%200 = sub nsw i32 %199, 3
store i32 %200, i32* %3
%201 = load i8*, i8** %2
%202 = getelementptr inbounds i8, i8* %201, i64 3
store i8* %202, i8** %2
br label %243
203: ; preds = %170
%204 = load i8, i8* %4
%205 = zext i8 %204 to i32
%206 = icmp sge i32 %205, 192
br i1 %206, label %207, label %227
207: ; preds = %203
%208 = load i8*, i8** %2
%209 = getelementptr inbounds i8, i8* %208, i64 0
%210 = load i8, i8* %209
%211 = zext i8 %210 to i32
%212 = and i32 %211, 31
%213 = shl i32 %212, 6
%214 = sext i32 %213 to i64
store i64 %214, i64* %5
%215 = load i8*, i8** %2
%216 = getelementptr inbounds i8, i8* %215, i64 1
%217 = load i8, i8* %216
%218 = zext i8 %217 to i32
%219 = and i32 %218, 63
%220 = sext i32 %219 to i64
%221 = load i64, i64* %5
%222 = or i64 %221, %220
store i64 %222, i64* %5
%223 = load i32, i32* %3
%224 = sub nsw i32 %223, 2
store i32 %224, i32* %3
%225 = load i8*, i8** %2
%226 = getelementptr inbounds i8, i8* %225, i64 2
store i8* %226, i8** %2
br label %242
227: ; preds = %203
%228 = load i8*, i8** %2
%229 = getelementptr inbounds i8, i8* %228, i64 0
%230 = load i8, i8* %229
%231 = zext i8 %230 to i64
store i64 %231, i64* %5
%232 = load i64, i64* %5
%233 = icmp ult i64 %232, 32
br i1 %233, label %234, label %237
234: ; preds = %227
%235 = load i8*, i8** %2
%236 = getelementptr inbounds i8, i8* %235, i64 0
store i8 32, i8* %236
br label %237
237: ; preds = %234, %227
%238 = load i32, i32* %3
%239 = sub nsw i32 %238, 1
store i32 %239, i32* %3
%240 = load i8*, i8** %2
%241 = getelementptr inbounds i8, i8* %240, i64 1
store i8* %241, i8** %2
br label %242
242: ; preds = %237, %207
br label %243
243: ; preds = %242, %174
br label %244
244: ; preds = %243, %132
br label %245
245: ; preds = %244, %81
br label %246
246: ; preds = %245, %21
br label %12
247: ; preds = %12
%248 = load i32, i32* %3
%249 = icmp ne i32 %248, 0
br i1 %249, label %250, label %252
250: ; preds = %247
%251 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str, i64 0, i64 0))
br label %252
252: ; preds = %8, %250, %247
ret void
}

LLVM IR (-O2):
@str = [30 x i8] c"this utf8 text has some wrong\00"
define void @check_utf8(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %33, label %3
3: ; preds = %1
%4 = tail call i32 @strlen(i8* %0)
%5 = icmp sgt i32 %4, 0
br i1 %5, label %6, label %28
6: ; preds = %3, %22
%7 = phi i8* [ %26, %22 ], [ %0, %3 ]
%8 = phi i32 [ %25, %22 ], [ %4, %3 ]
%9 = load i8, i8* %7
%10 = icmp ugt i8 %9, -5
br i1 %10, label %22, label %11
11: ; preds = %6
%12 = icmp ugt i8 %9, -9
br i1 %12, label %22, label %13
13: ; preds = %11
%14 = icmp ugt i8 %9, -17
br i1 %14, label %22, label %15
15: ; preds = %13
%16 = icmp ugt i8 %9, -33
br i1 %16, label %22, label %17
17: ; preds = %15
%18 = icmp ugt i8 %9, -65
br i1 %18, label %22, label %19
19: ; preds = %17
%20 = icmp ult i8 %9, 32
br i1 %20, label %21, label %22
21: ; preds = %19
store i8 32, i8* %7
br label %22
22: ; preds = %19, %21, %17, %15, %13, %11, %6
%23 = phi i32 [ -6, %6 ], [ -5, %11 ], [ -4, %13 ], [ -3, %15 ], [ -2, %17 ], [ -1, %21 ], [ -1, %19 ]
%24 = phi i64 [ 6, %6 ], [ 5, %11 ], [ 4, %13 ], [ 3, %15 ], [ 2, %17 ], [ 1, %21 ], [ 1, %19 ]
%25 = add nsw i32 %8, %23
%26 = getelementptr inbounds i8, i8* %7, i64 %24
%27 = icmp sgt i32 %25, 0
br i1 %27, label %6, label %28
28: ; preds = %22, %3
%29 = phi i32 [ %4, %3 ], [ %25, %22 ]
%30 = icmp eq i32 %29, 0
br i1 %30, label %33, label %31
31: ; preds = %28
%32 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @str, i64 0, i64 0))
br label %33
33: ; preds = %28, %31, %1
ret void
}