#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 */
unsigned int X509_CHECK_FLAG_NO_PARTIAL_WILDCARDS;
scalar_t__ strncasecmp(char *, char *, int);
const unsigned char *valid_star(const unsigned char *p, size_t len,
                                unsigned int flags) {
  const unsigned char *star = 0;
  size_t i;
  int state = (1 << 0);
  int dots = 0;
  for (i = 0; i < len; ++i) {
    if (p[i] == '*') {
      int atstart = (state & (1 << 0));
      int atend = (i == len - 1 || p[i + i] == '.');
      if (star != NULL || (state & (1 << 3)) != 0 || dots)
        return NULL;
      if ((flags & X509_CHECK_FLAG_NO_PARTIAL_WILDCARDS) &&
          (!atstart || !atend))
        return NULL;
      if (!atstart && !atend)
        return NULL;
      star = &p[i];
      state &= ~(1 << 0);
    } else if (('a' <= p[i] && p[i] <= 'z') || ('A' <= p[i] && p[i] <= 'Z') ||
               ('0' <= p[i] && p[i] <= '9')) {
      if ((state & (1 << 0)) != 0 && len - i >= 4 &&
          strncasecmp((char *)&p[i], "xn--", 4) == 0)
        state |= (1 << 3);
      state &= ~((1 << 2) | (1 << 0));
    } else if (p[i] == '.') {
      if ((state & ((1 << 2) | (1 << 0))) != 0)
        return NULL;
      state = (1 << 0);
      ++dots;
    } else if (p[i] == '-') {
      if ((state & (1 << 2)) != 0)
        return NULL;
      state |= (1 << 2);
    } else
      return NULL;
  }
  if ((state & ((1 << 0) | (1 << 2))) != 0 || dots < 2)
    return NULL;
  return star;
}


x86 assembly (clang, -O0):
<valid_star>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movq   $0x0,-0x28(%rbp)
movl   $0x1,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    13e9 <valid_star+0x2d9>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x2a,%eax
jne    124d <valid_star+0x13d>
mov    -0x34(%rbp),%eax
and    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x30(%rbp),%rcx
mov    -0x18(%rbp),%rdx
sub    $0x1,%rdx
mov    $0x1,%al
cmp    %rdx,%rcx
mov    %al,-0x41(%rbp)
je     11a0 <valid_star+0x90>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
add    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
sete   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x40(%rbp)
cmpq   $0x0,-0x28(%rbp)
jne    11cf <valid_star+0xbf>
mov    -0x34(%rbp),%eax
and    $0x8,%eax
cmp    $0x0,%eax
jne    11cf <valid_star+0xbf>
cmpl   $0x0,-0x38(%rbp)
je     11dc <valid_star+0xcc>
movq   $0x0,-0x8(%rbp)
jmp    1417 <valid_star+0x307>
mov    -0x1c(%rbp),%eax
mov    0x2dfa(%rip),%rcx
and    (%rcx),%eax
cmp    $0x0,%eax
je     1212 <valid_star+0x102>
cmpl   $0x0,-0x3c(%rbp)
je     1205 <valid_star+0xf5>
cmpl   $0x0,-0x40(%rbp)
jne    1212 <valid_star+0x102>
movq   $0x0,-0x8(%rbp)
jmp    1417 <valid_star+0x307>
cmpl   $0x0,-0x3c(%rbp)
jne    1233 <valid_star+0x123>
cmpl   $0x0,-0x40(%rbp)
jne    1233 <valid_star+0x123>
movq   $0x0,-0x8(%rbp)
jmp    1417 <valid_star+0x307>
mov    -0x10(%rbp),%rax
add    -0x30(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x34(%rbp),%eax
and    $0xfffffffe,%eax
mov    %eax,-0x34(%rbp)
jmp    13d3 <valid_star+0x2c3>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
mov    $0x61,%eax
cmp    %ecx,%eax
jg     127b <valid_star+0x16b>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jle    12d7 <valid_star+0x1c7>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
jg     12a9 <valid_star+0x199>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jle    12d7 <valid_star+0x1c7>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%ecx
mov    $0x30,%eax
cmp    %ecx,%eax
jg     1332 <valid_star+0x222>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     1332 <valid_star+0x222>
mov    -0x34(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1324 <valid_star+0x214>
mov    -0x18(%rbp),%rax
sub    -0x30(%rbp),%rax
cmp    $0x4,%rax
jb     1324 <valid_star+0x214>
mov    -0x10(%rbp),%rdi
add    -0x30(%rbp),%rdi
lea    0xcf9(%rip),%rsi
mov    $0x4,%edx
call   1030 <strncasecmp@plt>
cmp    $0x0,%rax
jne    1324 <valid_star+0x214>
mov    -0x34(%rbp),%eax
or     $0x8,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
and    $0xfffffffa,%eax
mov    %eax,-0x34(%rbp)
jmp    13ce <valid_star+0x2be>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1378 <valid_star+0x268>
mov    -0x34(%rbp),%eax
and    $0x5,%eax
cmp    $0x0,%eax
je     1363 <valid_star+0x253>
movq   $0x0,-0x8(%rbp)
jmp    1417 <valid_star+0x307>
movl   $0x1,-0x34(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    13c9 <valid_star+0x2b9>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    13b7 <valid_star+0x2a7>
mov    -0x34(%rbp),%eax
and    $0x4,%eax
cmp    $0x0,%eax
je     13a9 <valid_star+0x299>
movq   $0x0,-0x8(%rbp)
jmp    1417 <valid_star+0x307>
mov    -0x34(%rbp),%eax
or     $0x4,%eax
mov    %eax,-0x34(%rbp)
jmp    13c4 <valid_star+0x2b4>
movq   $0x0,-0x8(%rbp)
jmp    1417 <valid_star+0x307>
jmp    13c9 <valid_star+0x2b9>
jmp    13ce <valid_star+0x2be>
jmp    13d3 <valid_star+0x2c3>
jmp    13d8 <valid_star+0x2c8>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1141 <valid_star+0x31>
mov    -0x34(%rbp),%eax
and    $0x5,%eax
cmp    $0x0,%eax
jne    1402 <valid_star+0x2f2>
cmpl   $0x2,-0x38(%rbp)
jge    140f <valid_star+0x2ff>
movq   $0x0,-0x8(%rbp)
jmp    1417 <valid_star+0x307>
mov    -0x28(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<valid_star>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %rsi,%rsi
je     122b <valid_star+0x11b>
mov    %edx,%r14d
mov    %rsi,%rbx
mov    %rdi,%r13
mov    0x2eac(%rip),%rax
and    (%rax),%r14d
mov    $0x1,%ebp
xor    %r12d,%r12d
xor    %esi,%esi
xor    %r15d,%r15d
jmp    1167 <valid_star+0x57>
or     %bpl,%al
test   $0x1,%al
je     1226 <valid_star+0x116>
and    $0xfffffffe,%ebp
xor    %esi,%esi
mov    %rdi,%r12
add    $0x1,%r15
add    $0xffffffffffffffff,%rbx
je     1235 <valid_star+0x125>
lea    (%r15,%r13,1),%rdi
movzbl 0x0(%r13,%r15,1),%eax
cmp    $0x2a,%al
jne    11b0 <valid_star+0xa0>
mov    $0x1,%al
cmp    $0x1,%rbx
je     1186 <valid_star+0x76>
cmpb   $0x2e,0x0(%r13,%r15,2)
sete   %al
test   %r12,%r12
jne    1226 <valid_star+0x116>
mov    %ebp,%ecx
and    $0x8,%ecx
or     %esi,%ecx
jne    1226 <valid_star+0x116>
test   %r14d,%r14d
je     1146 <valid_star+0x36>
test   %al,%bpl
jne    1151 <valid_star+0x41>
jmp    1226 <valid_star+0x116>
nopl   0x0(%rax,%rax,1)
mov    %eax,%ecx
and    $0xdf,%cl
add    $0xbf,%cl
cmp    $0x1a,%cl
jb     11e0 <valid_star+0xd0>
lea    -0x30(%rax),%ecx
cmp    $0x9,%cl
jbe    11e0 <valid_star+0xd0>
cmp    $0x2d,%al
je     1218 <valid_star+0x108>
cmp    $0x2e,%al
jne    1226 <valid_star+0x116>
test   $0x5,%bpl
jne    1226 <valid_star+0x116>
add    $0x1,%esi
mov    $0x1,%ebp
jmp    1159 <valid_star+0x49>
test   $0x1,%bpl
je     1210 <valid_star+0x100>
cmp    $0x4,%rbx
jb     1210 <valid_star+0x100>
mov    %rsi,(%rsp)
lea    0xe09(%rip),%rsi
mov    $0x4,%edx
call   1030 <strncasecmp@plt>
mov    (%rsp),%rsi
test   %rax,%rax
mov    $0x8,%eax
cmove  %eax,%ebp
and    $0xfffffffa,%ebp
jmp    1159 <valid_star+0x49>
test   $0x4,%bpl
jne    1226 <valid_star+0x116>
or     $0x4,%ebp
jmp    1159 <valid_star+0x49>
xor    %r12d,%r12d
jmp    1246 <valid_star+0x136>
xor    %esi,%esi
mov    $0x1,%ebp
xor    %r12d,%r12d
xor    %eax,%eax
cmp    $0x2,%esi
cmovl  %rax,%r12
test   $0x5,%bpl
cmovne %rax,%r12
mov    %r12,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@X509_CHECK_FLAG_NO_PARTIAL_WILDCARDS = global i32 0
@.str = [5 x i8] c"xn--\00"
define i8* @valid_star(i8* %0, i64 %1, i32 %2) {
%4 = icmp eq i64 %1, 0
br i1 %4, label %79, label %5
5: ; preds = %3
%6 = add i64 %1, -1
%7 = load i32, i32* @X509_CHECK_FLAG_NO_PARTIAL_WILDCARDS
%8 = and i32 %7, %2
%9 = icmp eq i32 %8, 0
br label %10
10: ; preds = %5, %73
%11 = phi i8* [ null, %5 ], [ %76, %73 ]
%12 = phi i32 [ 0, %5 ], [ %75, %73 ]
%13 = phi i32 [ 1, %5 ], [ %74, %73 ]
%14 = phi i64 [ 0, %5 ], [ %77, %73 ]
%15 = getelementptr inbounds i8, i8* %0, i64 %14
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 42
br i1 %17, label %18, label %42
18: ; preds = %10
%19 = and i32 %13, 1
%20 = icmp eq i64 %14, %6
br i1 %20, label %26, label %21
21: ; preds = %18
%22 = shl i64 %14, 1
%23 = getelementptr inbounds i8, i8* %0, i64 %22
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 46
br label %26
26: ; preds = %21, %18
%27 = phi i1 [ true, %18 ], [ %25, %21 ]
%28 = icmp eq i8* %11, null
br i1 %28, label %29, label %88
29: ; preds = %26
%30 = and i32 %13, 8
%31 = icmp ne i32 %30, 0
%32 = icmp ne i32 %12, 0
%33 = select i1 %31, i1 true, i1 %32
br i1 %33, label %88, label %34
34: ; preds = %29
%35 = icmp ne i32 %19, 0
br i1 %9, label %38, label %36
36: ; preds = %34
%37 = select i1 %35, i1 %27, i1 false
br i1 %37, label %40, label %88
38: ; preds = %34
%39 = select i1 %35, i1 true, i1 %27
br i1 %39, label %40, label %88
40: ; preds = %36, %38
%41 = and i32 %13, -2
br label %73
42: ; preds = %10
%43 = and i8 %16, -33
%44 = add i8 %43, -65
%45 = icmp ult i8 %44, 26
%46 = add i8 %16, -48
%47 = icmp ult i8 %46, 10
%48 = select i1 %45, i1 true, i1 %47
br i1 %48, label %49, label %62
49: ; preds = %42
%50 = and i32 %13, 1
%51 = icmp ne i32 %50, 0
%52 = sub i64 %1, %14
%53 = icmp ugt i64 %52, 3
%54 = select i1 %51, i1 %53, i1 false
br i1 %54, label %55, label %59
55: ; preds = %49
%56 = tail call i64 @strncasecmp(i8* %15, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32 4)
%57 = icmp eq i64 %56, 0
%58 = select i1 %57, i32 8, i32 %13
br label %59
59: ; preds = %55, %49
%60 = phi i32 [ %13, %49 ], [ %58, %55 ]
%61 = and i32 %60, -6
br label %73
62: ; preds = %42
switch i8 %16, label %88 [
i8 46, label %63
i8 45, label %68
]
63: ; preds = %62
%64 = and i32 %13, 5
%65 = icmp eq i32 %64, 0
br i1 %65, label %66, label %88
66: ; preds = %63
%67 = add nsw i32 %12, 1
br label %73
68: ; preds = %62
%69 = and i32 %13, 4
%70 = icmp eq i32 %69, 0
br i1 %70, label %71, label %88
71: ; preds = %68
%72 = or i32 %13, 4
br label %73
73: ; preds = %40, %66, %71, %59
%74 = phi i32 [ %41, %40 ], [ %61, %59 ], [ 1, %66 ], [ %72, %71 ]
%75 = phi i32 [ 0, %40 ], [ %12, %59 ], [ %67, %66 ], [ %12, %71 ]
%76 = phi i8* [ %15, %40 ], [ %11, %59 ], [ %11, %66 ], [ %11, %71 ]
%77 = add nuw i64 %14, 1
%78 = icmp eq i64 %77, %1
br i1 %78, label %79, label %10
79: ; preds = %73, %3
%80 = phi i32 [ 1, %3 ], [ %74, %73 ]
%81 = phi i32 [ 0, %3 ], [ %75, %73 ]
%82 = phi i8* [ null, %3 ], [ %76, %73 ]
%83 = and i32 %80, 5
%84 = icmp ne i32 %83, 0
%85 = icmp slt i32 %81, 2
%86 = select i1 %84, i1 true, i1 %85
%87 = select i1 %86, i8* null, i8* %82
br label %88
88: ; preds = %38, %36, %26, %29, %62, %68, %63, %79
%89 = phi i8* [ %87, %79 ], [ null, %63 ], [ null, %68 ], [ null, %62 ], [ null, %29 ], [ null, %26 ], [ null, %36 ], [ null, %38 ]
ret i8* %89
}