void WrLogicExpr(void) {
  int result;
  int compl ;
  WrMessage("@LOGICAL-EXPRESSIONS");
  compl = 0;
  WrMessage("@LOGICAL-EXPR-AND");
  result = OperandValue((-9), 0);
  result = OperandValue(1, 0) && OperandValue(2, 0);
  result = OperandValue((-99), 0);
  if (result == 1) {
    compl ++;
    printf("\n");
  } else {
    WrMessage("@LOGICAL-EXPR-NOT-COMPLIANT");
  }
  WrMessage("@LOGICAL-EXPR-OR");
  result = OperandValue((-9), 0);
  result = OperandValue(1, 1) || OperandValue(2, 1);
  result = OperandValue((-99), 0);
  if (result == 1) {
    compl ++;
    printf("\n");
  } else {
    WrMessage("@LOGICAL-EXPR-NOT-COMPLIANT");
  }
  WrMessage("@LOGICAL-EXPR-THREE-OPERANDS");
  result = OperandValue((-9), 0);
  result = OperandValue(1, 1) && OperandValue(2, 1) || OperandValue(3, 1);
  result = OperandValue((-99), 0);
  if (result == 2) {
    compl ++;
    printf("\n");
  } else {
    WrMessage("@LOGICAL-EXPR-NOT-COMPLIANT");
  }
  WrMessage("@LOGICAL-EXPR-THREE-BRACKETS");
  result = OperandValue((-9), 0);
  result = (OperandValue(1, 1) && OperandValue(2, 1)) || OperandValue(3, 1);
  result = OperandValue((-99), 0);
  if (result == 2) {
    compl ++;
    printf("\n");
  } else {
    WrMessage("@LOGICAL-EXPR-NOT-COMPLIANT");
  }
  if (compl == 4) {
    WrMessage("@LOGICAL-EXPR-COMPLIANT");
  }
  return;
}


x86 assembly (clang, -O0):
<WrLogicExpr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
lea    0xec1(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
movl   $0x0,-0x8(%rbp)
lea    0xec1(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
mov    $0xfffffff7,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,-0x4(%rbp)
mov    $0x1,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x9(%rbp)
je     11a1 <WrLogicExpr+0x71>
mov    $0x2,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x9(%rbp)
mov    -0x9(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    $0xffffff9d,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,-0x4(%rbp)
cmpl   $0x1,-0x4(%rbp)
jne    11e3 <WrLogicExpr+0xb3>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
lea    0xe50(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    11f1 <WrLogicExpr+0xc1>
lea    0xe3f(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
lea    0xe4d(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
mov    $0xfffffff7,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,-0x4(%rbp)
mov    $0x1,%esi
mov    %esi,%edi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0xa(%rbp)
jne    1248 <WrLogicExpr+0x118>
mov    $0x2,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0xa(%rbp)
mov    -0xa(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    $0xffffff9d,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,-0x4(%rbp)
cmpl   $0x1,-0x4(%rbp)
jne    128a <WrLogicExpr+0x15a>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
lea    0xda9(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1298 <WrLogicExpr+0x168>
lea    0xd98(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
lea    0xdb7(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
mov    $0xfffffff7,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,-0x4(%rbp)
mov    $0x1,%esi
mov    %esi,%edi
mov    $0x0,%al
call   1040 <OperandValue@plt>
cmp    $0x0,%eax
je     12ef <WrLogicExpr+0x1bf>
mov    $0x2,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0xb(%rbp)
jne    1309 <WrLogicExpr+0x1d9>
mov    $0x3,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0xb(%rbp)
mov    -0xb(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    $0xffffff9d,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,-0x4(%rbp)
cmpl   $0x2,-0x4(%rbp)
jne    134b <WrLogicExpr+0x21b>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
lea    0xce8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1359 <WrLogicExpr+0x229>
lea    0xcd7(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
lea    0xd13(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
mov    $0xfffffff7,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,-0x4(%rbp)
mov    $0x1,%esi
mov    %esi,%edi
mov    $0x0,%al
call   1040 <OperandValue@plt>
cmp    $0x0,%eax
je     13b0 <WrLogicExpr+0x280>
mov    $0x2,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0xc(%rbp)
jne    13ca <WrLogicExpr+0x29a>
mov    $0x3,%edi
mov    $0x1,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0xc(%rbp)
mov    -0xc(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    $0xffffff9d,%edi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <OperandValue@plt>
mov    %eax,-0x4(%rbp)
cmpl   $0x2,-0x4(%rbp)
jne    140c <WrLogicExpr+0x2dc>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x8(%rbp)
lea    0xc27(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    141a <WrLogicExpr+0x2ea>
lea    0xc16(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
cmpl   $0x4,-0x8(%rbp)
jne    1432 <WrLogicExpr+0x302>
lea    0xc65(%rip),%rdi
mov    $0x0,%al
call   1050 <WrMessage@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<WrLogicExpr>:
push   %rbx
lea    0xec8(%rip),%rdi
xor    %eax,%eax
call   1050 <WrMessage@plt>
lea    0xecf(%rip),%rdi
xor    %eax,%eax
call   1050 <WrMessage@plt>
mov    $0xfffffff7,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
mov    $0x1,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
test   %eax,%eax
je     117b <WrLogicExpr+0x4b>
mov    $0x2,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
xor    %ebx,%ebx
mov    $0xffffff9d,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
cmp    $0x1,%eax
jne    11a1 <WrLogicExpr+0x71>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    $0x1,%ebx
jmp    11af <WrLogicExpr+0x7f>
lea    0xe7f(%rip),%rdi
xor    %eax,%eax
call   1050 <WrMessage@plt>
lea    0xe8d(%rip),%rdi
xor    %eax,%eax
call   1050 <WrMessage@plt>
mov    $0xfffffff7,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
mov    $0x1,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
test   %eax,%eax
jne    11f1 <WrLogicExpr+0xc1>
mov    $0x2,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
mov    $0xffffff9d,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
cmp    $0x1,%eax
jne    1213 <WrLogicExpr+0xe3>
add    $0x1,%ebx
mov    $0xa,%edi
call   1030 <putchar@plt>
jmp    1221 <WrLogicExpr+0xf1>
lea    0xe0d(%rip),%rdi
xor    %eax,%eax
call   1050 <WrMessage@plt>
lea    0xe2c(%rip),%rdi
xor    %eax,%eax
call   1050 <WrMessage@plt>
mov    $0xfffffff7,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
mov    $0x1,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
test   %eax,%eax
je     1267 <WrLogicExpr+0x137>
mov    $0x2,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
test   %eax,%eax
jne    1278 <WrLogicExpr+0x148>
mov    $0x3,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
mov    $0xffffff9d,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
cmp    $0x2,%eax
jne    129a <WrLogicExpr+0x16a>
add    $0x1,%ebx
mov    $0xa,%edi
call   1030 <putchar@plt>
jmp    12a8 <WrLogicExpr+0x178>
lea    0xd86(%rip),%rdi
xor    %eax,%eax
call   1050 <WrMessage@plt>
lea    0xdc2(%rip),%rdi
xor    %eax,%eax
call   1050 <WrMessage@plt>
mov    $0xfffffff7,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
mov    $0x1,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
test   %eax,%eax
je     12ee <WrLogicExpr+0x1be>
mov    $0x2,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
test   %eax,%eax
jne    12ff <WrLogicExpr+0x1cf>
mov    $0x3,%edi
mov    $0x1,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
mov    $0xffffff9d,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <OperandValue@plt>
cmp    $0x2,%eax
jne    132a <WrLogicExpr+0x1fa>
mov    $0xa,%edi
call   1030 <putchar@plt>
cmp    $0x3,%ebx
jne    1339 <WrLogicExpr+0x209>
lea    0xd66(%rip),%rdi
jmp    1331 <WrLogicExpr+0x201>
lea    0xcf6(%rip),%rdi
xor    %eax,%eax
pop    %rbx
jmp    1050 <WrMessage@plt>
pop    %rbx
ret

LLVM IR (-O0):
@.str = [21 x i8] c"@LOGICAL-EXPRESSIONS\00"
@.str.1 = [18 x i8] c"@LOGICAL-EXPR-AND\00"
@.str.2 = [2 x i8] c"\0A\00"
@.str.3 = [28 x i8] c"@LOGICAL-EXPR-NOT-COMPLIANT\00"
@.str.4 = [17 x i8] c"@LOGICAL-EXPR-OR\00"
@.str.5 = [29 x i8] c"@LOGICAL-EXPR-THREE-OPERANDS\00"
@.str.6 = [29 x i8] c"@LOGICAL-EXPR-THREE-BRACKETS\00"
@.str.7 = [24 x i8] c"@LOGICAL-EXPR-COMPLIANT\00"
define void @WrLogicExpr() {
%1 = alloca i32
%2 = alloca i32
%3 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %2
%4 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.1, i64 0, i64 0))
%5 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -9, i32 0)
store i32 %5, i32* %1
%6 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 1, i32 0)
%7 = icmp ne i32 %6, 0
br i1 %7, label %8, label %11
8: ; preds = %0
%9 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 2, i32 0)
%10 = icmp ne i32 %9, 0
br label %11
11: ; preds = %8, %0
%12 = phi i1 [ false, %0 ], [ %10, %8 ]
%13 = zext i1 %12 to i32
store i32 %13, i32* %1
%14 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -99, i32 0)
store i32 %14, i32* %1
%15 = load i32, i32* %1
%16 = icmp eq i32 %15, 1
br i1 %16, label %17, label %21
17: ; preds = %11
%18 = load i32, i32* %2
%19 = add nsw i32 %18, 1
store i32 %19, i32* %2
%20 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %23
21: ; preds = %11
%22 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0))
br label %23
23: ; preds = %21, %17
%24 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.4, i64 0, i64 0))
%25 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -9, i32 0)
store i32 %25, i32* %1
%26 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 1, i32 1)
%27 = icmp ne i32 %26, 0
br i1 %27, label %31, label %28
28: ; preds = %23
%29 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 2, i32 1)
%30 = icmp ne i32 %29, 0
br label %31
31: ; preds = %28, %23
%32 = phi i1 [ true, %23 ], [ %30, %28 ]
%33 = zext i1 %32 to i32
store i32 %33, i32* %1
%34 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -99, i32 0)
store i32 %34, i32* %1
%35 = load i32, i32* %1
%36 = icmp eq i32 %35, 1
br i1 %36, label %37, label %41
37: ; preds = %31
%38 = load i32, i32* %2
%39 = add nsw i32 %38, 1
store i32 %39, i32* %2
%40 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %43
41: ; preds = %31
%42 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0))
br label %43
43: ; preds = %41, %37
%44 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.5, i64 0, i64 0))
%45 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -9, i32 0)
store i32 %45, i32* %1
%46 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 1, i32 1)
%47 = icmp ne i32 %46, 0
br i1 %47, label %48, label %51
48: ; preds = %43
%49 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 2, i32 1)
%50 = icmp ne i32 %49, 0
br i1 %50, label %54, label %51
51: ; preds = %48, %43
%52 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 3, i32 1)
%53 = icmp ne i32 %52, 0
br label %54
54: ; preds = %51, %48
%55 = phi i1 [ true, %48 ], [ %53, %51 ]
%56 = zext i1 %55 to i32
store i32 %56, i32* %1
%57 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -99, i32 0)
store i32 %57, i32* %1
%58 = load i32, i32* %1
%59 = icmp eq i32 %58, 2
br i1 %59, label %60, label %64
60: ; preds = %54
%61 = load i32, i32* %2
%62 = add nsw i32 %61, 1
store i32 %62, i32* %2
%63 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %66
64: ; preds = %54
%65 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0))
br label %66
66: ; preds = %64, %60
%67 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.6, i64 0, i64 0))
%68 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -9, i32 0)
store i32 %68, i32* %1
%69 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 1, i32 1)
%70 = icmp ne i32 %69, 0
br i1 %70, label %71, label %74
71: ; preds = %66
%72 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 2, i32 1)
%73 = icmp ne i32 %72, 0
br i1 %73, label %77, label %74
74: ; preds = %71, %66
%75 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 3, i32 1)
%76 = icmp ne i32 %75, 0
br label %77
77: ; preds = %74, %71
%78 = phi i1 [ true, %71 ], [ %76, %74 ]
%79 = zext i1 %78 to i32
store i32 %79, i32* %1
%80 = call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -99, i32 0)
store i32 %80, i32* %1
%81 = load i32, i32* %1
%82 = icmp eq i32 %81, 2
br i1 %82, label %83, label %87
83: ; preds = %77
%84 = load i32, i32* %2
%85 = add nsw i32 %84, 1
store i32 %85, i32* %2
%86 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %89
87: ; preds = %77
%88 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0))
br label %89
89: ; preds = %87, %83
%90 = load i32, i32* %2
%91 = icmp eq i32 %90, 4
br i1 %91, label %92, label %94
92: ; preds = %89
%93 = call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.7, i64 0, i64 0))
br label %94
94: ; preds = %92, %89
ret void
}

LLVM IR (-O2):
@.str = [21 x i8] c"@LOGICAL-EXPRESSIONS\00"
@.str.1 = [18 x i8] c"@LOGICAL-EXPR-AND\00"
@.str.3 = [28 x i8] c"@LOGICAL-EXPR-NOT-COMPLIANT\00"
@.str.4 = [17 x i8] c"@LOGICAL-EXPR-OR\00"
@.str.5 = [29 x i8] c"@LOGICAL-EXPR-THREE-OPERANDS\00"
@.str.6 = [29 x i8] c"@LOGICAL-EXPR-THREE-BRACKETS\00"
@.str.7 = [24 x i8] c"@LOGICAL-EXPR-COMPLIANT\00"
define void @WrLogicExpr() {
%1 = tail call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str, i64 0, i64 0))
%2 = tail call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.1, i64 0, i64 0))
%3 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -9, i32 0)
%4 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 1, i32 0)
%5 = icmp eq i32 %4, 0
br i1 %5, label %8, label %6
6: ; preds = %0
%7 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 2, i32 0)
br label %8
8: ; preds = %6, %0
%9 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -99, i32 0)
%10 = icmp eq i32 %9, 1
br i1 %10, label %11, label %13
11: ; preds = %8
%12 = tail call i32 @putchar(i32 10)
br label %15
13: ; preds = %8
%14 = tail call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0))
br label %15
15: ; preds = %13, %11
%16 = phi i32 [ 1, %11 ], [ 0, %13 ]
%17 = tail call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.4, i64 0, i64 0))
%18 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -9, i32 0)
%19 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 1, i32 1)
%20 = icmp eq i32 %19, 0
br i1 %20, label %21, label %23
21: ; preds = %15
%22 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 2, i32 1)
br label %23
23: ; preds = %21, %15
%24 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -99, i32 0)
%25 = icmp eq i32 %24, 1
br i1 %25, label %26, label %29
26: ; preds = %23
%27 = add nuw nsw i32 %16, 1
%28 = tail call i32 @putchar(i32 10)
br label %31
29: ; preds = %23
%30 = tail call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0))
br label %31
31: ; preds = %29, %26
%32 = phi i32 [ %27, %26 ], [ %16, %29 ]
%33 = tail call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.5, i64 0, i64 0))
%34 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -9, i32 0)
%35 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 1, i32 1)
%36 = icmp eq i32 %35, 0
br i1 %36, label %40, label %37
37: ; preds = %31
%38 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 2, i32 1)
%39 = icmp eq i32 %38, 0
br i1 %39, label %40, label %42
40: ; preds = %37, %31
%41 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 3, i32 1)
br label %42
42: ; preds = %40, %37
%43 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -99, i32 0)
%44 = icmp eq i32 %43, 2
br i1 %44, label %45, label %48
45: ; preds = %42
%46 = add nuw nsw i32 %32, 1
%47 = tail call i32 @putchar(i32 10)
br label %50
48: ; preds = %42
%49 = tail call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0))
br label %50
50: ; preds = %48, %45
%51 = phi i32 [ %46, %45 ], [ %32, %48 ]
%52 = tail call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.6, i64 0, i64 0))
%53 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -9, i32 0)
%54 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 1, i32 1)
%55 = icmp eq i32 %54, 0
br i1 %55, label %59, label %56
56: ; preds = %50
%57 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 2, i32 1)
%58 = icmp eq i32 %57, 0
br i1 %58, label %59, label %61
59: ; preds = %56, %50
%60 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 3, i32 1)
br label %61
61: ; preds = %59, %56
%62 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @OperandValue to i32 (i32, i32, ...)*)(i32 -99, i32 0)
%63 = icmp eq i32 %62, 2
br i1 %63, label %64, label %67
64: ; preds = %61
%65 = tail call i32 @putchar(i32 10)
%66 = icmp eq i32 %51, 3
br i1 %66, label %67, label %70
67: ; preds = %64, %61
%68 = phi i8* [ getelementptr inbounds ([28 x i8], [28 x i8]* @.str.3, i64 0, i64 0), %61 ], [ getelementptr inbounds ([24 x i8], [24 x i8]* @.str.7, i64 0, i64 0), %64 ]
%69 = tail call i32 (i8*, ...) bitcast (i32 (...)* @WrMessage to i32 (i8*, ...)*)(i8* %68)
br label %70
70: ; preds = %67, %64
ret void
}