#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*/ check_arg_error();
scalar_t__ check_arg_type(char const *);
scalar_t__ strcmp(char const *const, char *);
void check_arg(const int argc, const char *argv[]) {
  const char *const *parms = argv;
  int parm_pos = 2;
  if (argc < 2) {
    check_arg_error();
  }
  while (parm_pos < argc) {
    if ((strcmp(parms[parm_pos], "-name") == 0) && (parm_pos + 1 < argc)) {
      if (parm_pos + 2 < argc) {
        parm_pos += 2;
      } else {
        break;
      }
    } else if ((strcmp(parms[parm_pos], "-path") == 0) &&
               (parm_pos + 1 < argc)) {
      if (parm_pos + 2 < argc) {
        parm_pos += 2;
      } else {
        break;
      }
    } else if ((strcmp(parms[parm_pos], "-user") == 0) &&
               (parm_pos + 1 < argc)) {
      if (parm_pos + 2 < argc) {
        parm_pos += 2;
      } else {
        break;
      }
    } else if ((strcmp(parms[parm_pos], "-type") == 0) &&
               (parm_pos + 1 < argc)) {
      if (check_arg_type(argv[parm_pos + 1])) {
        if (parm_pos + 2 < argc) {
          parm_pos += 2;
        } else {
          break;
        }
      } else {
        check_arg_error();
      }
    } else if ((strcmp(parms[parm_pos], "-nouser") == 0)) {
      if (parm_pos + 1 < argc) {
        parm_pos++;
      } else {
        break;
      }
    } else if ((strcmp(parms[parm_pos], "-print") == 0)) {
      if (parm_pos + 1 < argc) {
        parm_pos++;
      } else {
        break;
      }
    } else if ((strcmp(parms[parm_pos], "-ls") == 0)) {
      if (parm_pos + 1 < argc) {
        parm_pos++;
      } else {
        break;
      }
    } else
      check_arg_error();
  }
}


x86 assembly (clang, -O0):
<check_arg>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
movl   $0x2,-0x1c(%rbp)
cmpl   $0x2,-0x4(%rbp)
jge    115f <check_arg+0x2f>
mov    $0x0,%al
call   1050 <check_arg_error@plt>
jmp    1164 <check_arg+0x34>
mov    -0x1c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1401 <check_arg+0x2d1>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
lea    0xe7d(%rip),%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%rax
jne    11c8 <check_arg+0x98>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cmp    -0x4(%rbp),%eax
jge    11c8 <check_arg+0x98>
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
cmp    -0x4(%rbp),%eax
jge    11be <check_arg+0x8e>
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x1c(%rbp)
jmp    11c3 <check_arg+0x93>
jmp    1401 <check_arg+0x2d1>
jmp    13fc <check_arg+0x2cc>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
lea    0xe2b(%rip),%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%rax
jne    1220 <check_arg+0xf0>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cmp    -0x4(%rbp),%eax
jge    1220 <check_arg+0xf0>
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
cmp    -0x4(%rbp),%eax
jge    1216 <check_arg+0xe6>
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x1c(%rbp)
jmp    121b <check_arg+0xeb>
jmp    1401 <check_arg+0x2d1>
jmp    13f7 <check_arg+0x2c7>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
lea    0xdd9(%rip),%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%rax
jne    1278 <check_arg+0x148>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cmp    -0x4(%rbp),%eax
jge    1278 <check_arg+0x148>
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
cmp    -0x4(%rbp),%eax
jge    126e <check_arg+0x13e>
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x1c(%rbp)
jmp    1273 <check_arg+0x143>
jmp    1401 <check_arg+0x2d1>
jmp    13f2 <check_arg+0x2c2>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
lea    0xd87(%rip),%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%rax
jne    12fc <check_arg+0x1cc>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cmp    -0x4(%rbp),%eax
jge    12fc <check_arg+0x1cc>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rdi
call   1040 <check_arg_type@plt>
cmp    $0x0,%rax
je     12f0 <check_arg+0x1c0>
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
cmp    -0x4(%rbp),%eax
jge    12e6 <check_arg+0x1b6>
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x1c(%rbp)
jmp    12eb <check_arg+0x1bb>
jmp    1401 <check_arg+0x2d1>
jmp    12f7 <check_arg+0x1c7>
mov    $0x0,%al
call   1050 <check_arg_error@plt>
jmp    13ed <check_arg+0x2bd>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
lea    0xd09(%rip),%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%rax
jne    1345 <check_arg+0x215>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cmp    -0x4(%rbp),%eax
jge    133b <check_arg+0x20b>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1340 <check_arg+0x210>
jmp    1401 <check_arg+0x2d1>
jmp    13e8 <check_arg+0x2b8>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
lea    0xcc8(%rip),%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%rax
jne    138e <check_arg+0x25e>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cmp    -0x4(%rbp),%eax
jge    1384 <check_arg+0x254>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1389 <check_arg+0x259>
jmp    1401 <check_arg+0x2d1>
jmp    13e3 <check_arg+0x2b3>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,8),%rdi
lea    0xc86(%rip),%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%rax
jne    13d7 <check_arg+0x2a7>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cmp    -0x4(%rbp),%eax
jge    13cd <check_arg+0x29d>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    13d2 <check_arg+0x2a2>
jmp    1401 <check_arg+0x2d1>
jmp    13de <check_arg+0x2ae>
mov    $0x0,%al
call   1050 <check_arg_error@plt>
jmp    13e3 <check_arg+0x2b3>
jmp    13e8 <check_arg+0x2b8>
jmp    13ed <check_arg+0x2bd>
jmp    13f2 <check_arg+0x2c2>
jmp    13f7 <check_arg+0x2c7>
jmp    13fc <check_arg+0x2cc>
jmp    1164 <check_arg+0x34>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_arg>:
cmp    $0x1,%edi
jg     113c <check_arg+0xc>
xor    %eax,%eax
jmp    1050 <check_arg_error@plt>
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edi,%ebp
cmp    $0x2,%edi
jne    115d <check_arg+0x2d>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %rsi,%rbx
mov    $0x2,%r13d
lea    0xe93(%rip),%r14
nopl   (%rax)
movslq %r13d,%r12
mov    (%rbx,%r12,8),%rdi
mov    %r14,%rsi
call   1030 <strcmp@plt>
lea    0x1(%r12),%r15d
test   %rax,%rax
jne    118e <check_arg+0x5e>
cmp    %ebp,%r15d
jl     11d0 <check_arg+0xa0>
mov    (%rbx,%r12,8),%rdi
lea    0xe6d(%rip),%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
jne    11a8 <check_arg+0x78>
cmp    %ebp,%r15d
jl     11d0 <check_arg+0xa0>
mov    (%rbx,%r12,8),%rdi
lea    0xe59(%rip),%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
jne    11e7 <check_arg+0xb7>
cmp    %ebp,%r15d
jge    11e7 <check_arg+0xb7>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x2,%r13d
cmp    %ebp,%r13d
jge    114e <check_arg+0x1e>
cmp    %ebp,%r13d
jl     1170 <check_arg+0x40>
jmp    114e <check_arg+0x1e>
mov    (%rbx,%r12,8),%rdi
lea    0xe20(%rip),%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
je     1248 <check_arg+0x118>
mov    (%rbx,%r12,8),%rdi
lea    0xe11(%rip),%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
je     123b <check_arg+0x10b>
mov    (%rbx,%r12,8),%rdi
lea    0xe04(%rip),%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
je     123b <check_arg+0x10b>
mov    (%rbx,%r12,8),%rdi
lea    0xdf6(%rip),%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
jne    12af <check_arg+0x17f>
mov    %r15d,%r13d
cmp    %ebp,%r15d
jl     11dd <check_arg+0xad>
jmp    114e <check_arg+0x1e>
cmp    %ebp,%r15d
jge    1264 <check_arg+0x134>
movslq %r15d,%rax
mov    (%rbx,%rax,8),%rdi
call   1040 <check_arg_type@plt>
test   %rax,%rax
jne    11d0 <check_arg+0xa0>
jmp    12af <check_arg+0x17f>
mov    (%rbx,%r12,8),%rdi
lea    0xda9(%rip),%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
je     114e <check_arg+0x1e>
mov    (%rbx,%r12,8),%rdi
lea    0xd98(%rip),%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
je     114e <check_arg+0x1e>
mov    (%rbx,%r12,8),%rdi
lea    0xd86(%rip),%rsi
call   1030 <strcmp@plt>
test   %rax,%rax
je     114e <check_arg+0x1e>
xor    %eax,%eax
call   1050 <check_arg_error@plt>
cmp    %ebp,%r13d
jl     1170 <check_arg+0x40>
jmp    114e <check_arg+0x1e>

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

LLVM IR (-O2):
@.str = [6 x i8] c"-name\00"
@.str.1 = [6 x i8] c"-path\00"
@.str.2 = [6 x i8] c"-user\00"
@.str.3 = [6 x i8] c"-type\00"
@.str.4 = [8 x i8] c"-nouser\00"
@.str.5 = [7 x i8] c"-print\00"
@.str.6 = [4 x i8] c"-ls\00"
define void @check_arg(i32 %0, i8** nocapture %1) {
%3 = icmp slt i32 %0, 2
br i1 %3, label %4, label %6
4: ; preds = %2
%5 = tail call i32 (...) @check_arg_error()
br label %83
6: ; preds = %2
%7 = icmp eq i32 %0, 2
br i1 %7, label %83, label %8
8: ; preds = %6, %80
%9 = phi i32 [ %81, %80 ], [ 2, %6 ]
%10 = sext i32 %9 to i64
%11 = getelementptr inbounds i8*, i8** %1, i64 %10
%12 = load i8*, i8** %11
%13 = tail call i64 @strcmp(i8* %12, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0))
%14 = icmp eq i64 %13, 0
%15 = add nsw i32 %9, 1
%16 = icmp slt i32 %15, %0
%17 = select i1 %14, i1 %16, i1 false
br i1 %17, label %18, label %21
18: ; preds = %8
%19 = add nsw i32 %9, 2
%20 = icmp slt i32 %19, %0
br i1 %20, label %80, label %83
21: ; preds = %8
%22 = load i8*, i8** %11
%23 = tail call i64 @strcmp(i8* %22, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0))
%24 = icmp eq i64 %23, 0
%25 = select i1 %24, i1 %16, i1 false
br i1 %25, label %26, label %29
26: ; preds = %21
%27 = add nsw i32 %9, 2
%28 = icmp slt i32 %27, %0
br i1 %28, label %80, label %83
29: ; preds = %21
%30 = load i8*, i8** %11
%31 = tail call i64 @strcmp(i8* %30, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.2, i64 0, i64 0))
%32 = icmp eq i64 %31, 0
%33 = select i1 %32, i1 %16, i1 false
br i1 %33, label %34, label %37
34: ; preds = %29
%35 = add nsw i32 %9, 2
%36 = icmp slt i32 %35, %0
br i1 %36, label %80, label %83
37: ; preds = %29
%38 = load i8*, i8** %11
%39 = tail call i64 @strcmp(i8* %38, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.3, i64 0, i64 0))
%40 = icmp eq i64 %39, 0
br i1 %40, label %41, label %51
41: ; preds = %37
br i1 %16, label %42, label %55
42: ; preds = %41
%43 = sext i32 %15 to i64
%44 = getelementptr inbounds i8*, i8** %1, i64 %43
%45 = load i8*, i8** %44
%46 = tail call i64 @check_arg_type(i8* %45)
%47 = icmp eq i64 %46, 0
br i1 %47, label %78, label %48
48: ; preds = %42
%49 = add nsw i32 %9, 2
%50 = icmp slt i32 %49, %0
br i1 %50, label %80, label %83
51: ; preds = %37
%52 = load i8*, i8** %11
%53 = tail call i64 @strcmp(i8* %52, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.4, i64 0, i64 0))
%54 = icmp eq i64 %53, 0
br i1 %54, label %59, label %60
55: ; preds = %41
%56 = load i8*, i8** %11
%57 = tail call i64 @strcmp(i8* %56, i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.4, i64 0, i64 0))
%58 = icmp eq i64 %57, 0
br i1 %58, label %83, label %64
59: ; preds = %51
br i1 %16, label %80, label %83
60: ; preds = %51
%61 = load i8*, i8** %11
%62 = tail call i64 @strcmp(i8* %61, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0))
%63 = icmp eq i64 %62, 0
br i1 %63, label %68, label %69
64: ; preds = %55
%65 = load i8*, i8** %11
%66 = tail call i64 @strcmp(i8* %65, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0))
%67 = icmp eq i64 %66, 0
br i1 %67, label %83, label %73
68: ; preds = %60
br i1 %16, label %80, label %83
69: ; preds = %60
%70 = load i8*, i8** %11
%71 = tail call i64 @strcmp(i8* %70, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0))
%72 = icmp eq i64 %71, 0
br i1 %72, label %77, label %78
73: ; preds = %64
%74 = load i8*, i8** %11
%75 = tail call i64 @strcmp(i8* %74, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.6, i64 0, i64 0))
%76 = icmp eq i64 %75, 0
br i1 %76, label %83, label %78
77: ; preds = %69
br i1 %16, label %80, label %83
78: ; preds = %69, %73, %42
%79 = tail call i32 (...) @check_arg_error()
br label %80
80: ; preds = %78, %77, %68, %59, %48, %34, %26, %18
%81 = phi i32 [ %19, %18 ], [ %27, %26 ], [ %35, %34 ], [ %49, %48 ], [ %15, %59 ], [ %15, %68 ], [ %15, %77 ], [ %9, %78 ]
%82 = icmp slt i32 %81, %0
br i1 %82, label %8, label %83
83: ; preds = %80, %18, %26, %34, %48, %59, %68, %77, %55, %64, %73, %4, %6
ret void
}