#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 *, ...);
void operand_check(char a[], int i) {
  int h = 0;
  if (i > 7 && i < 33 || i == 3 || i == 4 || i == 41 || i == 42) {
    if (a[3] == '_') {
      h = 1;
    }
    if (h == 1) {
      printf("Number of operands (1) perfect.\n");
      return;
    } else if (h != 1) {
      printf("Number of operands exceed (or preceed)(1) limit.-%d\n", h);
      return;
    }
  } else if (i > 32 && i < 41 || i > 0 && i < 8 && i != 3 && i != 4) {
    h = 0;
    if (a[3] == '_') {
      h = 1;
      if (i == 1 || i == 5 || i == 6) {
        int g = 4;
        while (a[g] != '\0') {
          if (a[g] == '_' && g > 4) {
            h++;
          }
          g++;
        }
      } else if (i == 2 || i == 7 || (i > 35 && i < 41)) {
        int g = 4;
        while (a[g] != '\0') {
          if (a[g] == '_' && g > 4) {
            h++;
          }
          g++;
        }
      } else if (i == 33 || i == 34 || i == 35) {
        int g = 4;
        while (a[g] != '\0' && g > 4) {
          if (a[g] == '_') {
            h++;
          }
          g++;
        }
      }
    }
    if (h == 2) {
      printf("Number of operands(2) perfect.\n");
      return;
    } else if (h != 2) {
      printf("Number of operands exceed (or preceed)(2) limit.-%d\n", h);
      return;
    }
  } else if (i > 52 && i < 66 || i == 82) {
    h = 0;
    while (a[h] != '\0') {
      if (a[h] == '_') {
        h++;
      }
    }
    if (h == 0) {
      printf("Number of operands(0) perfect.\n");
      return;
    } else if (h != 0) {
      printf("Number of operands exceed (or preceed)(0) limit.-%d\n", h);
      return;
    }
  } else if (i > 42 && i < 53 || i > 65 && i < 82) {
    h = 0;
    if (a[3] == '_') {
      h = 1;
    }
    if (h == 1) {
      printf("Number of operands(1-) perfect.\n");
      return;
    } else if (h != 1) {
      printf("Number of operands exceed (or preceed)(1-) limit.\n", h);
      return;
    }
  }
}


x86 assembly (clang, -O0):
<operand_check>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
cmpl   $0x7,-0xc(%rbp)
jle    113a <operand_check+0x2a>
cmpl   $0x21,-0xc(%rbp)
jl     1162 <operand_check+0x52>
cmpl   $0x3,-0xc(%rbp)
je     1162 <operand_check+0x52>
cmpl   $0x4,-0xc(%rbp)
je     1162 <operand_check+0x52>
cmpl   $0x29,-0xc(%rbp)
je     1162 <operand_check+0x52>
cmpl   $0x2a,-0xc(%rbp)
jne    11c1 <operand_check+0xb1>
mov    -0x8(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x5f,%eax
jne    117a <operand_check+0x6a>
movl   $0x1,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jne    1197 <operand_check+0x87>
lea    0xe75(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1531 <operand_check+0x421>
cmpl   $0x1,-0x10(%rbp)
je     11b7 <operand_check+0xa7>
mov    -0x10(%rbp),%esi
lea    0xe76(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1531 <operand_check+0x421>
jmp    11bc <operand_check+0xac>
jmp    1531 <operand_check+0x421>
cmpl   $0x20,-0xc(%rbp)
jle    11d5 <operand_check+0xc5>
cmpl   $0x29,-0xc(%rbp)
jl     11fd <operand_check+0xed>
cmpl   $0x0,-0xc(%rbp)
jle    13f0 <operand_check+0x2e0>
cmpl   $0x8,-0xc(%rbp)
jge    13f0 <operand_check+0x2e0>
cmpl   $0x3,-0xc(%rbp)
je     13f0 <operand_check+0x2e0>
cmpl   $0x4,-0xc(%rbp)
je     13f0 <operand_check+0x2e0>
movl   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x5f,%eax
jne    13a9 <operand_check+0x299>
movl   $0x1,-0x10(%rbp)
cmpl   $0x1,-0xc(%rbp)
je     123a <operand_check+0x12a>
cmpl   $0x5,-0xc(%rbp)
je     123a <operand_check+0x12a>
cmpl   $0x6,-0xc(%rbp)
jne    1291 <operand_check+0x181>
movl   $0x4,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     128c <operand_check+0x17c>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5f,%eax
jne    127e <operand_check+0x16e>
cmpl   $0x4,-0x14(%rbp)
jle    127e <operand_check+0x16e>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1241 <operand_check+0x131>
jmp    13a4 <operand_check+0x294>
cmpl   $0x2,-0xc(%rbp)
je     12b9 <operand_check+0x1a9>
cmpl   $0x7,-0xc(%rbp)
je     12b9 <operand_check+0x1a9>
cmpl   $0x23,-0xc(%rbp)
jle    1310 <operand_check+0x200>
cmpl   $0x29,-0xc(%rbp)
jge    1310 <operand_check+0x200>
movl   $0x4,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     130b <operand_check+0x1fb>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5f,%eax
jne    12fd <operand_check+0x1ed>
cmpl   $0x4,-0x18(%rbp)
jle    12fd <operand_check+0x1ed>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    12c0 <operand_check+0x1b0>
jmp    139f <operand_check+0x28f>
cmpl   $0x21,-0xc(%rbp)
je     132e <operand_check+0x21e>
cmpl   $0x22,-0xc(%rbp)
je     132e <operand_check+0x21e>
cmpl   $0x23,-0xc(%rbp)
jne    139a <operand_check+0x28a>
movl   $0x4,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1d(%rbp)
je     1359 <operand_check+0x249>
cmpl   $0x4,-0x1c(%rbp)
setg   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    1369 <operand_check+0x259>
jmp    1395 <operand_check+0x285>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5f,%eax
jne    1387 <operand_check+0x277>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1335 <operand_check+0x225>
jmp    139a <operand_check+0x28a>
jmp    139f <operand_check+0x28f>
jmp    13a4 <operand_check+0x294>
jmp    13a9 <operand_check+0x299>
cmpl   $0x2,-0x10(%rbp)
jne    13c6 <operand_check+0x2b6>
lea    0xc9c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1531 <operand_check+0x421>
cmpl   $0x2,-0x10(%rbp)
je     13e6 <operand_check+0x2d6>
mov    -0x10(%rbp),%esi
lea    0xc9c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1531 <operand_check+0x421>
jmp    13eb <operand_check+0x2db>
jmp    152c <operand_check+0x41c>
cmpl   $0x34,-0xc(%rbp)
jle    1404 <operand_check+0x2f4>
cmpl   $0x42,-0xc(%rbp)
jl     140e <operand_check+0x2fe>
cmpl   $0x52,-0xc(%rbp)
jne    1494 <operand_check+0x384>
movl   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     144d <operand_check+0x33d>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5f,%eax
jne    1448 <operand_check+0x338>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1415 <operand_check+0x305>
cmpl   $0x0,-0x10(%rbp)
jne    146a <operand_check+0x35a>
lea    0xc4d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1531 <operand_check+0x421>
cmpl   $0x0,-0x10(%rbp)
je     148a <operand_check+0x37a>
mov    -0x10(%rbp),%esi
lea    0xc4d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1531 <operand_check+0x421>
jmp    148f <operand_check+0x37f>
jmp    1527 <operand_check+0x417>
cmpl   $0x2a,-0xc(%rbp)
jle    14a8 <operand_check+0x398>
cmpl   $0x35,-0xc(%rbp)
jl     14bc <operand_check+0x3ac>
cmpl   $0x41,-0xc(%rbp)
jle    1522 <operand_check+0x412>
cmpl   $0x52,-0xc(%rbp)
jge    1522 <operand_check+0x412>
movl   $0x0,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x5f,%eax
jne    14db <operand_check+0x3cb>
movl   $0x1,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jne    14f8 <operand_check+0x3e8>
lea    0xc14(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1531 <operand_check+0x421>
cmpl   $0x1,-0x10(%rbp)
je     1518 <operand_check+0x408>
mov    -0x10(%rbp),%esi
lea    0xc15(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1531 <operand_check+0x421>
jmp    151d <operand_check+0x40d>
jmp    1522 <operand_check+0x412>
jmp    1527 <operand_check+0x417>
jmp    152c <operand_check+0x41c>
jmp    1531 <operand_check+0x421>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<operand_check>:
mov    %esi,%eax
lea    -0x8(%rax),%ecx
cmp    $0x19,%ecx
jae    1140 <operand_check+0x20>
cmpb   $0x5f,0x3(%rdi)
jne    11c6 <operand_check+0xa6>
lea    0xff4(%rip),%rdi
jmp    1030 <puts@plt>
cmp    $0x2a,%eax
ja     11ea <operand_check+0xca>
mov    %eax,%ecx
movabs $0x1fe000000e6,%rdx
bt     %rcx,%rdx
jae    11d6 <operand_check+0xb6>
xor    %esi,%esi
cmpb   $0x5f,0x3(%rdi)
jne    1272 <operand_check+0x152>
cmp    $0x7,%eax
ja     1222 <operand_check+0x102>
mov    $0x62,%ecx
bt     %eax,%ecx
jae    1218 <operand_check+0xf8>
mov    0x4(%rdi),%cl
mov    $0x1,%esi
test   %cl,%cl
je     1272 <operand_check+0x152>
mov    $0x4,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmp    $0x5f,%cl
sete   %cl
cmp    $0x5,%rax
setae  %dl
and    %cl,%dl
movzbl %dl,%ecx
add    %ecx,%esi
movzbl 0x1(%rdi,%rax,1),%ecx
add    $0x1,%rax
test   %cl,%cl
jne    11a0 <operand_check+0x80>
jmp    1261 <operand_check+0x141>
lea    0xe33(%rip),%rdi
xor    %esi,%esi
xor    %eax,%eax
jmp    1040 <printf@plt>
movabs $0x60000000018,%rdx
bt     %rcx,%rdx
jb     112a <operand_check+0xa>
cmp    $0x52,%eax
je     1280 <operand_check+0x160>
lea    -0x35(%rax),%ecx
cmp    $0xc,%ecx
jbe    1280 <operand_check+0x160>
lea    -0x2b(%rax),%ecx
cmp    $0xa,%ecx
jb     12af <operand_check+0x18f>
add    $0xffffffbe,%eax
cmp    $0xf,%eax
jbe    12af <operand_check+0x18f>
ret
mov    $0x84,%ecx
bt     %eax,%ecx
jb     122f <operand_check+0x10f>
add    $0xffffffdc,%eax
mov    $0x1,%esi
cmp    $0x4,%eax
ja     1272 <operand_check+0x152>
mov    0x4(%rdi),%cl
mov    $0x1,%esi
test   %cl,%cl
je     1272 <operand_check+0x152>
mov    $0x4,%eax
cmp    $0x5f,%cl
sete   %cl
cmp    $0x5,%rax
setae  %dl
and    %cl,%dl
movzbl %dl,%ecx
add    %ecx,%esi
movzbl 0x1(%rdi,%rax,1),%ecx
add    $0x1,%rax
test   %cl,%cl
jne    1240 <operand_check+0x120>
cmp    $0x2,%esi
jne    1272 <operand_check+0x152>
lea    0xea3(%rip),%rdi
jmp    1030 <puts@plt>
lea    0xdbc(%rip),%rdi
xor    %eax,%eax
jmp    1040 <printf@plt>
xor    %esi,%esi
mov    %esi,%eax
mov    (%rdi,%rax,1),%al
nopw   0x0(%rax,%rax,1)
test   %al,%al
je     129d <operand_check+0x17d>
cmp    $0x5f,%al
jne    1290 <operand_check+0x170>
add    $0x1,%esi
jmp    1282 <operand_check+0x162>
test   %esi,%esi
je     12c1 <operand_check+0x1a1>
lea    0xdc2(%rip),%rdi
xor    %eax,%eax
jmp    1040 <printf@plt>
cmpb   $0x5f,0x3(%rdi)
jne    12cd <operand_check+0x1ad>
lea    0xe15(%rip),%rdi
jmp    1030 <puts@plt>
lea    0xe29(%rip),%rdi
jmp    1030 <puts@plt>
lea    0xdcb(%rip),%rdi
jmp    1030 <puts@plt>

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

LLVM IR (-O2):
@.str.1 = [53 x i8] c"Number of operands exceed (or preceed)(1) limit.-%d\0A\00"
@.str.3 = [53 x i8] c"Number of operands exceed (or preceed)(2) limit.-%d\0A\00"
@.str.5 = [53 x i8] c"Number of operands exceed (or preceed)(0) limit.-%d\0A\00"
@str = [50 x i8] c"Number of operands exceed (or preceed)(1-) limit.\00"
@str.8 = [32 x i8] c"Number of operands(1-) perfect.\00"
@str.9 = [31 x i8] c"Number of operands(0) perfect.\00"
@str.10 = [31 x i8] c"Number of operands(2) perfect.\00"
@str.11 = [32 x i8] c"Number of operands (1) perfect.\00"
define void @operand_check(i8* nocapture %0, i32 %1) {
%3 = add i32 %1, -8
%4 = icmp ult i32 %3, 25
br i1 %4, label %6, label %5
5: ; preds = %2
switch i32 %1, label %64 [
i32 42, label %6
i32 41, label %6
i32 4, label %6
i32 3, label %6
i32 40, label %14
i32 39, label %14
i32 38, label %14
i32 37, label %14
i32 36, label %14
i32 35, label %14
i32 34, label %14
i32 33, label %14
i32 7, label %14
i32 6, label %14
i32 5, label %14
i32 2, label %14
i32 1, label %14
]
6: ; preds = %5, %5, %5, %5, %2
%7 = getelementptr inbounds i8, i8* %0, i64 3
%8 = load i8, i8* %7
%9 = icmp eq i8 %8, 95
br i1 %9, label %10, label %12
10: ; preds = %6
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @str.11, i64 0, i64 0))
br label %97
12: ; preds = %6
%13 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @.str.1, i64 0, i64 0), i32 0)
br label %97
14: ; preds = %5, %5, %5, %5, %5, %5, %5, %5, %5, %5, %5, %5, %5
%15 = getelementptr inbounds i8, i8* %0, i64 3
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 95
br i1 %17, label %18, label %61
18: ; preds = %14
switch i32 %1, label %36 [
i32 6, label %19
i32 5, label %19
i32 1, label %19
i32 7, label %39
i32 2, label %39
]
19: ; preds = %18, %18, %18
%20 = getelementptr inbounds i8, i8* %0, i64 4
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 0
br i1 %22, label %61, label %23
23: ; preds = %19, %23
%24 = phi i64 [ %32, %23 ], [ 4, %19 ]
%25 = phi i8 [ %34, %23 ], [ %21, %19 ]
%26 = phi i32 [ %31, %23 ], [ 1, %19 ]
%27 = icmp eq i8 %25, 95
%28 = icmp ugt i64 %24, 4
%29 = select i1 %27, i1 %28, i1 false
%30 = zext i1 %29 to i32
%31 = add nuw nsw i32 %26, %30
%32 = add nuw nsw i64 %24, 1
%33 = getelementptr inbounds i8, i8* %0, i64 %32
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 0
br i1 %35, label %56, label %23
36: ; preds = %18
%37 = add nsw i32 %1, -36
%38 = icmp ult i32 %37, 5
br i1 %38, label %39, label %61
39: ; preds = %18, %18, %36
%40 = getelementptr inbounds i8, i8* %0, i64 4
%41 = load i8, i8* %40
%42 = icmp eq i8 %41, 0
br i1 %42, label %61, label %43
43: ; preds = %39, %43
%44 = phi i64 [ %52, %43 ], [ 4, %39 ]
%45 = phi i8 [ %54, %43 ], [ %41, %39 ]
%46 = phi i32 [ %51, %43 ], [ 1, %39 ]
%47 = icmp eq i8 %45, 95
%48 = icmp ugt i64 %44, 4
%49 = select i1 %47, i1 %48, i1 false
%50 = zext i1 %49 to i32
%51 = add nuw nsw i32 %46, %50
%52 = add nuw nsw i64 %44, 1
%53 = getelementptr inbounds i8, i8* %0, i64 %52
%54 = load i8, i8* %53
%55 = icmp eq i8 %54, 0
br i1 %55, label %56, label %43
56: ; preds = %23, %43
%57 = phi i32 [ %51, %43 ], [ %31, %23 ]
%58 = icmp eq i32 %57, 2
br i1 %58, label %59, label %61
59: ; preds = %56
%60 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str.10, i64 0, i64 0))
br label %97
61: ; preds = %19, %39, %36, %14, %56
%62 = phi i32 [ %57, %56 ], [ 1, %36 ], [ 0, %14 ], [ 1, %39 ], [ 1, %19 ]
%63 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @.str.3, i64 0, i64 0), i32 %62)
br label %97
64: ; preds = %5
%65 = add i32 %1, -53
%66 = icmp ult i32 %65, 13
%67 = icmp eq i32 %1, 82
%68 = or i1 %67, %66
br i1 %68, label %69, label %83
69: ; preds = %64, %75
%70 = phi i32 [ %76, %75 ], [ 0, %64 ]
%71 = zext i32 %70 to i64
%72 = getelementptr inbounds i8, i8* %0, i64 %71
%73 = load i8, i8* %72
br label %74
74: ; preds = %69, %74
switch i8 %73, label %74 [
i8 0, label %77
i8 95, label %75
]
75: ; preds = %74
%76 = add nuw nsw i32 %70, 1
br label %69
77: ; preds = %74
%78 = icmp eq i32 %70, 0
br i1 %78, label %79, label %81
79: ; preds = %77
%80 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str.9, i64 0, i64 0))
br label %97
81: ; preds = %77
%82 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @.str.5, i64 0, i64 0), i32 %70)
br label %97
83: ; preds = %64
%84 = add i32 %1, -43
%85 = icmp ult i32 %84, 10
%86 = add i32 %1, -66
%87 = icmp ult i32 %86, 16
%88 = or i1 %85, %87
br i1 %88, label %89, label %97
89: ; preds = %83
%90 = getelementptr inbounds i8, i8* %0, i64 3
%91 = load i8, i8* %90
%92 = icmp eq i8 %91, 95
br i1 %92, label %93, label %95
93: ; preds = %89
%94 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @str.8, i64 0, i64 0))
br label %97
95: ; preds = %89
%96 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([50 x i8], [50 x i8]* @str, i64 0, i64 0))
br label %97
97: ; preds = %83, %95, %93, %81, %79, %61, %59, %12, %10
ret void
}