#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*/ clang_analyzer_eval(int);
void testBitwiseRules(unsigned int a, int b, int c) {
  clang_analyzer_eval((a | 1) >= 1);
  clang_analyzer_eval((a | -1) >= -1);
  clang_analyzer_eval((a | 2) >= 2);
  clang_analyzer_eval((a | 5) >= 5);
  clang_analyzer_eval((a | 10) >= 10);
  clang_analyzer_eval((1 | a) >= 1);
  clang_analyzer_eval((a & 1) <= 1);
  clang_analyzer_eval((a & 1) >= 0);
  clang_analyzer_eval((a & 2) <= 2);
  clang_analyzer_eval((a & 5) <= 5);
  clang_analyzer_eval((a & 10) <= 10);
  clang_analyzer_eval((a & -10) <= 10);
  clang_analyzer_eval((1 & a) <= 1);
  unsigned int d = a;
  d |= 1;
  clang_analyzer_eval((d | 0) == 0);
  clang_analyzer_eval((b | 1) > 0);
  clang_analyzer_eval((b | 1) == 0);
  clang_analyzer_eval((b | -2) == 0);
  clang_analyzer_eval((b | 10) == 0);
  clang_analyzer_eval((b | 0) == 0);
  clang_analyzer_eval((b | -2) >= 0);
  if (b < 0) {
    clang_analyzer_eval((b | -1) == -1);
    clang_analyzer_eval((b | -10) >= -10);
    clang_analyzer_eval((b & 0) == 0);
    clang_analyzer_eval((b & -10) <= -10);
    clang_analyzer_eval((b & 5) >= 0);
    int e = (b | -5);
    clang_analyzer_eval(e >= -5 && e <= -1);
    if (b < -20) {
      clang_analyzer_eval((b | e) >= -5);
      clang_analyzer_eval((b & -10) < -20);
      clang_analyzer_eval((b & e) < -20);
      clang_analyzer_eval((b & -30) <= -30);
      if (c >= -30 && c <= -10) {
        clang_analyzer_eval((b & c) <= -20);
      }
    }
    if (a <= 40) {
      int g = (int)a & b;
      clang_analyzer_eval(g <= 40 && g >= 0);
    }
    clang_analyzer_eval((b | c) != 0);
  }
  if (a <= 30 && b >= 10 && c >= 20) {
    clang_analyzer_eval((b | c) >= 20);
    clang_analyzer_eval((a | b) >= 10);
    clang_analyzer_eval((a & b) <= 30);
    if (b <= 20) {
      clang_analyzer_eval((a & b) <= 20);
    }
  }
  unsigned int constant = 1 << 3;
  unsigned int f = a | constant;
  clang_analyzer_eval(f >= constant);
  clang_analyzer_eval(((a | 10) | 5) >= 10);
  if (a < 10) {
    clang_analyzer_eval((a | 20) >= 20);
  }
  if (a > 10) {
    clang_analyzer_eval((a & 1) <= 1);
  }
}


x86 assembly (clang, -O0):
<testBitwiseRules>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    -0x4(%rbp),%eax
or     $0x1,%eax
cmp    $0x1,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
or     $0xffffffff,%eax
cmp    $0xffffffff,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
or     $0x2,%eax
cmp    $0x2,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
or     $0x5,%eax
cmp    $0x5,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
or     $0xa,%eax
cmp    $0xa,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
or     $0x1,%eax
cmp    $0x1,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
and    $0x1,%eax
cmp    $0x1,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
and    $0x2,%eax
cmp    $0x2,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
and    $0x5,%eax
cmp    $0x5,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
and    $0xa,%eax
cmp    $0xa,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
and    $0xfffffff6,%eax
cmp    $0xa,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
and    $0x1,%eax
cmp    $0x1,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
or     $0x1,%eax
mov    %eax,-0x10(%rbp)
mov    -0x10(%rbp),%eax
or     $0x0,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
or     $0x1,%eax
cmp    $0x0,%eax
setg   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
or     $0x1,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
or     $0xfffffffe,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
or     $0xa,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
or     $0x0,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
or     $0xfffffffe,%eax
cmp    $0x0,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
cmpl   $0x0,-0x8(%rbp)
jge    146f <testBitwiseRules+0x35f>
mov    -0x8(%rbp),%eax
or     $0xffffffff,%eax
cmp    $0xffffffff,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
or     $0xfffffff6,%eax
cmp    $0xfffffff6,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
and    $0x0,%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
and    $0xfffffff6,%eax
cmp    $0xfffffff6,%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
and    $0x5,%eax
cmp    $0x0,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
or     $0xfffffffb,%eax
mov    %eax,-0x14(%rbp)
xor    %eax,%eax
cmpl   $0xfffffffb,-0x14(%rbp)
mov    %al,-0x21(%rbp)
jl     1382 <testBitwiseRules+0x272>
cmpl   $0xffffffff,-0x14(%rbp)
setle  %al
mov    %al,-0x21(%rbp)
mov    -0x21(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
cmpl   $0xffffffec,-0x8(%rbp)
jge    1420 <testBitwiseRules+0x310>
mov    -0x8(%rbp),%eax
or     -0x14(%rbp),%eax
cmp    $0xfffffffb,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
and    $0xfffffff6,%eax
cmp    $0xffffffec,%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
and    -0x14(%rbp),%eax
cmp    $0xffffffec,%eax
setl   %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
and    $0xffffffe2,%eax
cmp    $0xffffffe2,%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
cmpl   $0xffffffe2,-0xc(%rbp)
jl     141b <testBitwiseRules+0x30b>
cmpl   $0xfffffff6,-0xc(%rbp)
jg     141b <testBitwiseRules+0x30b>
mov    -0x8(%rbp),%eax
and    -0xc(%rbp),%eax
cmp    $0xffffffec,%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
jmp    1420 <testBitwiseRules+0x310>
cmpl   $0x28,-0x4(%rbp)
ja     1459 <testBitwiseRules+0x349>
mov    -0x4(%rbp),%eax
and    -0x8(%rbp),%eax
mov    %eax,-0x18(%rbp)
xor    %eax,%eax
cmpl   $0x28,-0x18(%rbp)
mov    %al,-0x22(%rbp)
jg     144c <testBitwiseRules+0x33c>
cmpl   $0x0,-0x18(%rbp)
setge  %al
mov    %al,-0x22(%rbp)
mov    -0x22(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x8(%rbp),%eax
or     -0xc(%rbp),%eax
cmp    $0x0,%eax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
cmpl   $0x1e,-0x4(%rbp)
ja     14f4 <testBitwiseRules+0x3e4>
cmpl   $0xa,-0x8(%rbp)
jl     14f4 <testBitwiseRules+0x3e4>
cmpl   $0x14,-0xc(%rbp)
jl     14f4 <testBitwiseRules+0x3e4>
mov    -0x8(%rbp),%eax
or     -0xc(%rbp),%eax
cmp    $0x14,%eax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
or     -0x8(%rbp),%eax
cmp    $0xa,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
and    -0x8(%rbp),%eax
cmp    $0x1e,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
cmpl   $0x14,-0x8(%rbp)
jg     14ef <testBitwiseRules+0x3df>
mov    -0x4(%rbp),%eax
and    -0x8(%rbp),%eax
cmp    $0x14,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
jmp    14f4 <testBitwiseRules+0x3e4>
movl   $0x8,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
mov    -0x4(%rbp),%eax
or     $0xa,%eax
or     $0x5,%eax
cmp    $0xa,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
cmpl   $0xa,-0x4(%rbp)
jae    1550 <testBitwiseRules+0x440>
mov    -0x4(%rbp),%eax
or     $0x14,%eax
cmp    $0x14,%eax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
cmpl   $0xa,-0x4(%rbp)
jbe    1570 <testBitwiseRules+0x460>
mov    -0x4(%rbp),%eax
and    $0x1,%eax
cmp    $0x1,%eax
setbe  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <clang_analyzer_eval@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<testBitwiseRules>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %edx,%r14d
mov    %esi,%ebx
mov    %edi,%r15d
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    %r15d,%eax
and    $0xfffffff6,%eax
xor    %edi,%edi
cmp    $0xb,%eax
setb   %dil
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
xor    %edi,%edi
call   1030 <clang_analyzer_eval@plt>
xor    %edi,%edi
mov    %ebx,%eax
or     $0x1,%eax
setg   %dil
call   1030 <clang_analyzer_eval@plt>
xor    %edi,%edi
call   1030 <clang_analyzer_eval@plt>
xor    %edi,%edi
call   1030 <clang_analyzer_eval@plt>
xor    %edi,%edi
call   1030 <clang_analyzer_eval@plt>
xor    %edi,%edi
test   %ebx,%ebx
sete   %dil
call   1030 <clang_analyzer_eval@plt>
xor    %edi,%edi
call   1030 <clang_analyzer_eval@plt>
test   %ebx,%ebx
js     1240 <testBitwiseRules+0x130>
cmp    $0x1e,%r15d
ja     12f4 <testBitwiseRules+0x1e4>
cmp    $0xa,%ebx
jb     12f4 <testBitwiseRules+0x1e4>
cmp    $0x14,%r14d
jl     12f4 <testBitwiseRules+0x1e4>
or     %ebx,%r14d
xor    %edi,%edi
cmp    $0x14,%r14d
setge  %dil
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
cmp    $0x14,%ebx
jbe    12ea <testBitwiseRules+0x1da>
jmp    12f4 <testBitwiseRules+0x1e4>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    %ebx,%ebp
and    $0xfffffff6,%ebp
xor    %edi,%edi
cmp    $0xfffffff7,%ebp
setl   %dil
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
cmp    $0xffffffeb,%ebx
ja     12da <testBitwiseRules+0x1ca>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
xor    %edi,%edi
cmp    $0xffffffec,%ebp
setl   %dil
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    %ebx,%eax
and    $0xffffffe2,%eax
xor    %edi,%edi
cmp    $0xffffffe3,%eax
setl   %dil
call   1030 <clang_analyzer_eval@plt>
lea    0x1e(%r14),%eax
cmp    $0x14,%eax
ja     12da <testBitwiseRules+0x1ca>
and    %ebx,%r14d
xor    %edi,%edi
cmp    $0xffffffed,%r14d
setl   %dil
call   1030 <clang_analyzer_eval@plt>
cmp    $0x28,%r15d
ja     12ea <testBitwiseRules+0x1da>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <clang_analyzer_eval@plt>
cmp    $0xa,%r15d
jne    1319 <testBitwiseRules+0x209>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
mov    $0x1,%edi
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <clang_analyzer_eval@plt>

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

LLVM IR (-O2):
define void @testBitwiseRules(i32 %0, i32 %1, i32 %2) {
%4 = tail call i32 @clang_analyzer_eval(i32 1)
%5 = tail call i32 @clang_analyzer_eval(i32 1)
%6 = tail call i32 @clang_analyzer_eval(i32 1)
%7 = tail call i32 @clang_analyzer_eval(i32 1)
%8 = tail call i32 @clang_analyzer_eval(i32 1)
%9 = tail call i32 @clang_analyzer_eval(i32 1)
%10 = tail call i32 @clang_analyzer_eval(i32 1)
%11 = tail call i32 @clang_analyzer_eval(i32 1)
%12 = tail call i32 @clang_analyzer_eval(i32 1)
%13 = tail call i32 @clang_analyzer_eval(i32 1)
%14 = tail call i32 @clang_analyzer_eval(i32 1)
%15 = and i32 %0, -10
%16 = icmp ult i32 %15, 11
%17 = zext i1 %16 to i32
%18 = tail call i32 @clang_analyzer_eval(i32 %17)
%19 = tail call i32 @clang_analyzer_eval(i32 1)
%20 = tail call i32 @clang_analyzer_eval(i32 0)
%21 = or i32 %1, 1
%22 = icmp sgt i32 %21, 0
%23 = zext i1 %22 to i32
%24 = tail call i32 @clang_analyzer_eval(i32 %23)
%25 = tail call i32 @clang_analyzer_eval(i32 0)
%26 = tail call i32 @clang_analyzer_eval(i32 0)
%27 = tail call i32 @clang_analyzer_eval(i32 0)
%28 = icmp eq i32 %1, 0
%29 = zext i1 %28 to i32
%30 = tail call i32 @clang_analyzer_eval(i32 %29)
%31 = tail call i32 @clang_analyzer_eval(i32 0)
%32 = icmp slt i32 %1, 0
br i1 %32, label %33, label %65
33: ; preds = %3
%34 = tail call i32 @clang_analyzer_eval(i32 1)
%35 = tail call i32 @clang_analyzer_eval(i32 1)
%36 = tail call i32 @clang_analyzer_eval(i32 1)
%37 = and i32 %1, -10
%38 = icmp slt i32 %37, -9
%39 = zext i1 %38 to i32
%40 = tail call i32 @clang_analyzer_eval(i32 %39)
%41 = tail call i32 @clang_analyzer_eval(i32 1)
%42 = tail call i32 @clang_analyzer_eval(i32 1)
%43 = icmp ult i32 %1, -20
br i1 %43, label %44, label %61
44: ; preds = %33
%45 = tail call i32 @clang_analyzer_eval(i32 1)
%46 = icmp slt i32 %37, -20
%47 = zext i1 %46 to i32
%48 = tail call i32 @clang_analyzer_eval(i32 %47)
%49 = tail call i32 @clang_analyzer_eval(i32 1)
%50 = and i32 %1, -30
%51 = icmp slt i32 %50, -29
%52 = zext i1 %51 to i32
%53 = tail call i32 @clang_analyzer_eval(i32 %52)
%54 = add i32 %2, 30
%55 = icmp ult i32 %54, 21
br i1 %55, label %56, label %61
56: ; preds = %44
%57 = and i32 %2, %1
%58 = icmp slt i32 %57, -19
%59 = zext i1 %58 to i32
%60 = tail call i32 @clang_analyzer_eval(i32 %59)
br label %61
61: ; preds = %44, %56, %33
%62 = icmp ult i32 %0, 41
br i1 %62, label %63, label %79
63: ; preds = %61
%64 = tail call i32 @clang_analyzer_eval(i32 1)
br label %79
65: ; preds = %3
%66 = icmp ult i32 %0, 31
%67 = icmp ugt i32 %1, 9
%68 = and i1 %66, %67
%69 = icmp sgt i32 %2, 19
%70 = and i1 %68, %69
br i1 %70, label %71, label %81
71: ; preds = %65
%72 = or i32 %2, %1
%73 = icmp sgt i32 %72, 19
%74 = zext i1 %73 to i32
%75 = tail call i32 @clang_analyzer_eval(i32 %74)
%76 = tail call i32 @clang_analyzer_eval(i32 1)
%77 = tail call i32 @clang_analyzer_eval(i32 1)
%78 = icmp ult i32 %1, 21
br i1 %78, label %79, label %81
79: ; preds = %71, %63, %61
%80 = tail call i32 @clang_analyzer_eval(i32 1)
br label %81
81: ; preds = %79, %71, %65
%82 = tail call i32 @clang_analyzer_eval(i32 1)
%83 = tail call i32 @clang_analyzer_eval(i32 1)
%84 = icmp eq i32 %0, 10
br i1 %84, label %87, label %85
85: ; preds = %81
%86 = tail call i32 @clang_analyzer_eval(i32 1)
br label %87
87: ; preds = %81, %85
ret void
}