#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_20(int i, int j) {
  __analyzer_eval(i + 1);
  __analyzer_eval(i + j);
  __analyzer_eval(i - 1);
  __analyzer_eval(i - j);
  __analyzer_eval(i * 2);
  __analyzer_eval(i * j);
  __analyzer_eval(i / 2);
  __analyzer_eval(i / j);
  __analyzer_eval(i % 2);
  __analyzer_eval(i % j);
  __analyzer_eval(i & 1);
  __analyzer_eval(i & j);
  __analyzer_eval(i | 1);
  __analyzer_eval(i | j);
  __analyzer_eval(i ^ 1);
  __analyzer_eval(i ^ j);
  __analyzer_eval(i >> 1);
  __analyzer_eval(i >> j);
  __analyzer_eval(i << 1);
  __analyzer_eval(i << j);
  __analyzer_eval(i && 0);
  __analyzer_eval(i && 1);
  __analyzer_eval(i && j);
  __analyzer_eval(i || 0);
  __analyzer_eval(i || 1);
  __analyzer_eval(i || j);
  __analyzer_eval(~i);
  __analyzer_eval(-i);
  __analyzer_eval(+i);
}


x86 assembly (clang, -O0):
<test_20>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    -0x4(%rbp),%edi
add    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
add    -0x8(%rbp),%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
sub    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
sub    -0x8(%rbp),%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
shl    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
imul   -0x8(%rbp),%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
mov    %eax,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %edx,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%eax
cltd
idivl  -0x8(%rbp)
mov    %edx,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
and    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
and    -0x8(%rbp),%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
or     $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
or     -0x8(%rbp),%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
xor    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
xor    -0x8(%rbp),%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
sar    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%ecx
sar    %cl,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
shl    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
mov    -0x8(%rbp),%ecx
shl    %cl,%edi
call   1030 <__analyzer_eval@plt>
xor    %eax,%eax
cmpl   $0x0,-0x4(%rbp)
mov    %al,-0x9(%rbp)
je     122c <test_20+0x11c>
xor    %eax,%eax
mov    %al,-0x9(%rbp)
jmp    122c <test_20+0x11c>
mov    -0x9(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
xor    %eax,%eax
cmpl   $0x0,-0x4(%rbp)
mov    %al,-0xa(%rbp)
je     1252 <test_20+0x142>
mov    $0x1,%al
mov    %al,-0xa(%rbp)
jmp    1252 <test_20+0x142>
mov    -0xa(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
xor    %eax,%eax
cmpl   $0x0,-0x4(%rbp)
mov    %al,-0xb(%rbp)
je     1278 <test_20+0x168>
cmpl   $0x0,-0x8(%rbp)
setne  %al
mov    %al,-0xb(%rbp)
mov    -0xb(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%al
cmpl   $0x0,-0x4(%rbp)
mov    %al,-0xc(%rbp)
jne    129e <test_20+0x18e>
xor    %eax,%eax
mov    %al,-0xc(%rbp)
jmp    129e <test_20+0x18e>
mov    -0xc(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%al
cmpl   $0x0,-0x4(%rbp)
mov    %al,-0xd(%rbp)
jne    12c4 <test_20+0x1b4>
mov    $0x1,%al
mov    %al,-0xd(%rbp)
jmp    12c4 <test_20+0x1b4>
mov    -0xd(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%al
cmpl   $0x0,-0x4(%rbp)
mov    %al,-0xe(%rbp)
jne    12ea <test_20+0x1da>
cmpl   $0x0,-0x8(%rbp)
setne  %al
mov    %al,-0xe(%rbp)
mov    -0xe(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
xor    $0xffffffff,%edi
call   1030 <__analyzer_eval@plt>
xor    %edi,%edi
sub    -0x4(%rbp),%edi
call   1030 <__analyzer_eval@plt>
mov    -0x4(%rbp),%edi
call   1030 <__analyzer_eval@plt>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_20>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %esi,%r14d
mov    %edi,%ebx
lea    0x1(%rbx),%edi
call   1030 <__analyzer_eval@plt>
lea    (%r14,%rbx,1),%edi
call   1030 <__analyzer_eval@plt>
xor    %r12d,%r12d
mov    %ebx,%edi
add    $0xffffffff,%edi
setb   %r12b
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
sub    %r14d,%edi
call   1030 <__analyzer_eval@plt>
lea    (%rbx,%rbx,1),%r15d
mov    %r15d,%edi
call   1030 <__analyzer_eval@plt>
mov    %r14d,%edi
imul   %ebx,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%ebp
shr    $0x1f,%ebp
add    %ebx,%ebp
mov    %ebp,%edi
sar    %edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%eax
cltd
idiv   %r14d
mov    %edx,%r13d
mov    %eax,%edi
call   1030 <__analyzer_eval@plt>
and    $0xfffffffe,%ebp
mov    %ebx,%edi
sub    %ebp,%edi
call   1030 <__analyzer_eval@plt>
mov    %r13d,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
and    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    %r14d,%edi
and    %ebx,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
or     $0x1,%edi
call   1030 <__analyzer_eval@plt>
xor    %ebp,%ebp
mov    %r14d,%edi
or     %ebx,%edi
setne  %bpl
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
xor    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    %r14d,%edi
xor    %ebx,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
sar    %edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
mov    %r14d,%ecx
sar    %cl,%edi
call   1030 <__analyzer_eval@plt>
mov    %r15d,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
mov    %r14d,%ecx
shl    %cl,%edi
call   1030 <__analyzer_eval@plt>
xor    %edi,%edi
call   1030 <__analyzer_eval@plt>
mov    %r12d,%edi
call   1030 <__analyzer_eval@plt>
test   %r14d,%r14d
setne  %al
and    %r12b,%al
movzbl %al,%edi
call   1030 <__analyzer_eval@plt>
mov    %r12d,%edi
call   1030 <__analyzer_eval@plt>
mov    $0x1,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebp,%edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
not    %edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
neg    %edi
call   1030 <__analyzer_eval@plt>
mov    %ebx,%edi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <__analyzer_eval@plt>

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

LLVM IR (-O2):
define void @test_20(i32 %0, i32 %1) {
%3 = add nsw i32 %0, 1
%4 = tail call i32 @__analyzer_eval(i32 %3)
%5 = add nsw i32 %1, %0
%6 = tail call i32 @__analyzer_eval(i32 %5)
%7 = add nsw i32 %0, -1
%8 = tail call i32 @__analyzer_eval(i32 %7)
%9 = sub nsw i32 %0, %1
%10 = tail call i32 @__analyzer_eval(i32 %9)
%11 = shl nsw i32 %0, 1
%12 = tail call i32 @__analyzer_eval(i32 %11)
%13 = mul nsw i32 %1, %0
%14 = tail call i32 @__analyzer_eval(i32 %13)
%15 = sdiv i32 %0, 2
%16 = tail call i32 @__analyzer_eval(i32 %15)
%17 = sdiv i32 %0, %1
%18 = tail call i32 @__analyzer_eval(i32 %17)
%19 = srem i32 %0, 2
%20 = tail call i32 @__analyzer_eval(i32 %19)
%21 = srem i32 %0, %1
%22 = tail call i32 @__analyzer_eval(i32 %21)
%23 = and i32 %0, 1
%24 = tail call i32 @__analyzer_eval(i32 %23)
%25 = and i32 %1, %0
%26 = tail call i32 @__analyzer_eval(i32 %25)
%27 = or i32 %0, 1
%28 = tail call i32 @__analyzer_eval(i32 %27)
%29 = or i32 %1, %0
%30 = tail call i32 @__analyzer_eval(i32 %29)
%31 = xor i32 %0, 1
%32 = tail call i32 @__analyzer_eval(i32 %31)
%33 = xor i32 %1, %0
%34 = tail call i32 @__analyzer_eval(i32 %33)
%35 = ashr i32 %0, 1
%36 = tail call i32 @__analyzer_eval(i32 %35)
%37 = ashr i32 %0, %1
%38 = tail call i32 @__analyzer_eval(i32 %37)
%39 = tail call i32 @__analyzer_eval(i32 %11)
%40 = shl i32 %0, %1
%41 = tail call i32 @__analyzer_eval(i32 %40)
%42 = tail call i32 @__analyzer_eval(i32 0)
%43 = icmp ne i32 %0, 0
%44 = zext i1 %43 to i32
%45 = tail call i32 @__analyzer_eval(i32 %44)
%46 = icmp ne i32 %1, 0
%47 = and i1 %43, %46
%48 = zext i1 %47 to i32
%49 = tail call i32 @__analyzer_eval(i32 %48)
%50 = tail call i32 @__analyzer_eval(i32 %44)
%51 = tail call i32 @__analyzer_eval(i32 1)
%52 = icmp ne i32 %29, 0
%53 = zext i1 %52 to i32
%54 = tail call i32 @__analyzer_eval(i32 %53)
%55 = xor i32 %0, -1
%56 = tail call i32 @__analyzer_eval(i32 %55)
%57 = sub nsw i32 0, %0
%58 = tail call i32 @__analyzer_eval(i32 %57)
%59 = tail call i32 @__analyzer_eval(i32 %0)
ret void
}