#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*/ __analyzer_eval(int);
void test(int i, int j) {
  if (i > 4) {
    __analyzer_eval(i > 4);
    __analyzer_eval(i <= 4);
    __analyzer_eval(i > 3);
    __analyzer_eval(i > 5);
    __analyzer_eval(i != 3);
    __analyzer_eval(i == 3);
    __analyzer_eval(i != 4);
    __analyzer_eval(i == 4);
    __analyzer_eval(i == 5);
    __analyzer_eval(i != 5);
    __analyzer_eval(i < 5);
    __analyzer_eval(i <= 5);
    if (j < i) {
      __analyzer_eval(j < i);
      __analyzer_eval(j <= 4);
    } else {
      __analyzer_eval(j >= i);
      __analyzer_eval(j > 4);
    }
  } else {
    __analyzer_eval(i > 4);
    __analyzer_eval(i <= 4);
    __analyzer_eval(i > 3);
    __analyzer_eval(i > 5);
    __analyzer_eval(i != 3);
    __analyzer_eval(i == 3);
    __analyzer_eval(i != 4);
    __analyzer_eval(i == 4);
    __analyzer_eval(i == 5);
    __analyzer_eval(i != 5);
    __analyzer_eval(i < 5);
    __analyzer_eval(i <= 5);
  }
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
cmpl   $0x4,-0x4(%rbp)
jle    1252 <test+0x142>
cmpl   $0x4,-0x4(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x4,-0x4(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x3,-0x4(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x3,-0x4(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x3,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x4,-0x4(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x4,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1229 <test+0x119>
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x4,-0x8(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
jmp    124d <test+0x13d>
mov    -0x8(%rbp),%eax
cmp    -0x4(%rbp),%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x4,-0x8(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
jmp    131e <test+0x20e>
cmpl   $0x4,-0x4(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x4,-0x4(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x3,-0x4(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x3,-0x4(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x3,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x4,-0x4(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x4,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
cmpl   $0x5,-0x4(%rbp)
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %edi,%r12d
cmp    $0x5,%edi
jl     11bc <test+0xac>
mov    %esi,%r15d
mov    $0x1,%r14d
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
xor    %edi,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
xor    %ebp,%ebp
xor    %ebx,%ebx
cmp    $0x5,%r12d
setne  %bpl
sete   %bl
mov    %ebp,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
xor    %edi,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
xor    %edi,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebp,%edi
call   1030 <__analyzer_eval@plt>
xor    %edi,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
cmp    %r12d,%r15d
jge    1237 <test+0x127>
xor    %r14d,%r14d
cmp    $0x5,%r15d
setl   %r14b
jmp    1237 <test+0x127>
xor    %edi,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%r14d
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
xor    %ebx,%ebx
xor    %r15d,%r15d
cmp    $0x4,%r12d
sete   %bl
setne  %r15b
mov    %ebx,%edi
call   1030 <__analyzer_eval@plt>
xor    %edi,%edi
call   1030 <__analyzer_eval@plt>
xor    %edi,%edi
xor    %ebp,%ebp
cmp    $0x3,%r12d
setne  %dil
sete   %bpl
call   1030 <__analyzer_eval@plt>
mov    %ebp,%edi
call   1030 <__analyzer_eval@plt>
mov    %r15d,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
call   1030 <__analyzer_eval@plt>
xor    %edi,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    %r14d,%edi
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <__analyzer_eval@plt>

LLVM IR (-O0):
define void @test(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
store i32 %0, i32* %3
store i32 %1, i32* %4
%5 = load i32, i32* %3
%6 = icmp sgt i32 %5, 4
br i1 %6, label %7, label %80
7: ; preds = %2
%8 = load i32, i32* %3
%9 = icmp sgt i32 %8, 4
%10 = zext i1 %9 to i32
%11 = call i32 @__analyzer_eval(i32 %10)
%12 = load i32, i32* %3
%13 = icmp sle i32 %12, 4
%14 = zext i1 %13 to i32
%15 = call i32 @__analyzer_eval(i32 %14)
%16 = load i32, i32* %3
%17 = icmp sgt i32 %16, 3
%18 = zext i1 %17 to i32
%19 = call i32 @__analyzer_eval(i32 %18)
%20 = load i32, i32* %3
%21 = icmp sgt i32 %20, 5
%22 = zext i1 %21 to i32
%23 = call i32 @__analyzer_eval(i32 %22)
%24 = load i32, i32* %3
%25 = icmp ne i32 %24, 3
%26 = zext i1 %25 to i32
%27 = call i32 @__analyzer_eval(i32 %26)
%28 = load i32, i32* %3
%29 = icmp eq i32 %28, 3
%30 = zext i1 %29 to i32
%31 = call i32 @__analyzer_eval(i32 %30)
%32 = load i32, i32* %3
%33 = icmp ne i32 %32, 4
%34 = zext i1 %33 to i32
%35 = call i32 @__analyzer_eval(i32 %34)
%36 = load i32, i32* %3
%37 = icmp eq i32 %36, 4
%38 = zext i1 %37 to i32
%39 = call i32 @__analyzer_eval(i32 %38)
%40 = load i32, i32* %3
%41 = icmp eq i32 %40, 5
%42 = zext i1 %41 to i32
%43 = call i32 @__analyzer_eval(i32 %42)
%44 = load i32, i32* %3
%45 = icmp ne i32 %44, 5
%46 = zext i1 %45 to i32
%47 = call i32 @__analyzer_eval(i32 %46)
%48 = load i32, i32* %3
%49 = icmp slt i32 %48, 5
%50 = zext i1 %49 to i32
%51 = call i32 @__analyzer_eval(i32 %50)
%52 = load i32, i32* %3
%53 = icmp sle i32 %52, 5
%54 = zext i1 %53 to i32
%55 = call i32 @__analyzer_eval(i32 %54)
%56 = load i32, i32* %4
%57 = load i32, i32* %3
%58 = icmp slt i32 %56, %57
br i1 %58, label %59, label %69
59: ; preds = %7
%60 = load i32, i32* %4
%61 = load i32, i32* %3
%62 = icmp slt i32 %60, %61
%63 = zext i1 %62 to i32
%64 = call i32 @__analyzer_eval(i32 %63)
%65 = load i32, i32* %4
%66 = icmp sle i32 %65, 4
%67 = zext i1 %66 to i32
%68 = call i32 @__analyzer_eval(i32 %67)
br label %79
69: ; preds = %7
%70 = load i32, i32* %4
%71 = load i32, i32* %3
%72 = icmp sge i32 %70, %71
%73 = zext i1 %72 to i32
%74 = call i32 @__analyzer_eval(i32 %73)
%75 = load i32, i32* %4
%76 = icmp sgt i32 %75, 4
%77 = zext i1 %76 to i32
%78 = call i32 @__analyzer_eval(i32 %77)
br label %79
79: ; preds = %69, %59
br label %129
80: ; preds = %2
%81 = load i32, i32* %3
%82 = icmp sgt i32 %81, 4
%83 = zext i1 %82 to i32
%84 = call i32 @__analyzer_eval(i32 %83)
%85 = load i32, i32* %3
%86 = icmp sle i32 %85, 4
%87 = zext i1 %86 to i32
%88 = call i32 @__analyzer_eval(i32 %87)
%89 = load i32, i32* %3
%90 = icmp sgt i32 %89, 3
%91 = zext i1 %90 to i32
%92 = call i32 @__analyzer_eval(i32 %91)
%93 = load i32, i32* %3
%94 = icmp sgt i32 %93, 5
%95 = zext i1 %94 to i32
%96 = call i32 @__analyzer_eval(i32 %95)
%97 = load i32, i32* %3
%98 = icmp ne i32 %97, 3
%99 = zext i1 %98 to i32
%100 = call i32 @__analyzer_eval(i32 %99)
%101 = load i32, i32* %3
%102 = icmp eq i32 %101, 3
%103 = zext i1 %102 to i32
%104 = call i32 @__analyzer_eval(i32 %103)
%105 = load i32, i32* %3
%106 = icmp ne i32 %105, 4
%107 = zext i1 %106 to i32
%108 = call i32 @__analyzer_eval(i32 %107)
%109 = load i32, i32* %3
%110 = icmp eq i32 %109, 4
%111 = zext i1 %110 to i32
%112 = call i32 @__analyzer_eval(i32 %111)
%113 = load i32, i32* %3
%114 = icmp eq i32 %113, 5
%115 = zext i1 %114 to i32
%116 = call i32 @__analyzer_eval(i32 %115)
%117 = load i32, i32* %3
%118 = icmp ne i32 %117, 5
%119 = zext i1 %118 to i32
%120 = call i32 @__analyzer_eval(i32 %119)
%121 = load i32, i32* %3
%122 = icmp slt i32 %121, 5
%123 = zext i1 %122 to i32
%124 = call i32 @__analyzer_eval(i32 %123)
%125 = load i32, i32* %3
%126 = icmp sle i32 %125, 5
%127 = zext i1 %126 to i32
%128 = call i32 @__analyzer_eval(i32 %127)
br label %129
129: ; preds = %80, %79
ret void
}

LLVM IR (-O2):
define void @test(i32 %0, i32 %1) {
%3 = icmp sgt i32 %0, 4
br i1 %3, label %4, label %26
4: ; preds = %2
%5 = tail call i32 @__analyzer_eval(i32 1)
%6 = tail call i32 @__analyzer_eval(i32 0)
%7 = tail call i32 @__analyzer_eval(i32 1)
%8 = icmp ne i32 %0, 5
%9 = zext i1 %8 to i32
%10 = tail call i32 @__analyzer_eval(i32 %9)
%11 = tail call i32 @__analyzer_eval(i32 1)
%12 = tail call i32 @__analyzer_eval(i32 0)
%13 = tail call i32 @__analyzer_eval(i32 1)
%14 = tail call i32 @__analyzer_eval(i32 0)
%15 = icmp eq i32 %0, 5
%16 = zext i1 %15 to i32
%17 = tail call i32 @__analyzer_eval(i32 %16)
%18 = tail call i32 @__analyzer_eval(i32 %9)
%19 = tail call i32 @__analyzer_eval(i32 0)
%20 = tail call i32 @__analyzer_eval(i32 %16)
%21 = icmp slt i32 %1, %0
%22 = tail call i32 @__analyzer_eval(i32 1)
br i1 %21, label %23, label %46
23: ; preds = %4
%24 = icmp slt i32 %1, 5
%25 = zext i1 %24 to i32
br label %46
26: ; preds = %2
%27 = tail call i32 @__analyzer_eval(i32 0)
%28 = tail call i32 @__analyzer_eval(i32 1)
%29 = icmp eq i32 %0, 4
%30 = zext i1 %29 to i32
%31 = tail call i32 @__analyzer_eval(i32 %30)
%32 = tail call i32 @__analyzer_eval(i32 0)
%33 = icmp ne i32 %0, 3
%34 = zext i1 %33 to i32
%35 = tail call i32 @__analyzer_eval(i32 %34)
%36 = icmp eq i32 %0, 3
%37 = zext i1 %36 to i32
%38 = tail call i32 @__analyzer_eval(i32 %37)
%39 = icmp ne i32 %0, 4
%40 = zext i1 %39 to i32
%41 = tail call i32 @__analyzer_eval(i32 %40)
%42 = tail call i32 @__analyzer_eval(i32 %30)
%43 = tail call i32 @__analyzer_eval(i32 0)
%44 = tail call i32 @__analyzer_eval(i32 1)
%45 = tail call i32 @__analyzer_eval(i32 1)
br label %46
46: ; preds = %4, %23, %26
%47 = phi i32 [ %25, %23 ], [ 1, %26 ], [ 1, %4 ]
%48 = tail call i32 @__analyzer_eval(i32 %47)
ret void
}