int main() {
  if ((3 && 4) != 1)
    return 1;
  if ((0 && 4) != 0)
    return 2;
  if (0 && 4)
    return 3;
  if ((3 && 0) != 0)
    return 4;
  if (3 && 0)
    return 5;
  int a, *p = &a;
  if ((p && 0) != 0)
    return 6;
  if (p && 0)
    return 7;
  if ((p && p) != 1)
    return 8;
  if ((3 || 4) != 1)
    return 9;
  if ((0 || 4) != 1)
    return 10;
  if ((2 || 0) != 1)
    return 11;
  if ((0 || 0) != 0)
    return 12;
  if (0 || 0)
    return 13;
  if ((0 || 0) != 0)
    return 12;
  if ((p || 0) != 1)
    return 14;
  if ((p || p) != 1)
    return 15;
  if (!p != 0)
    return 16;
  if (!p)
    return 16;
  if (!0 != 1)
    return 17;
  int n = 0;
  0 && (n = 1);
  if (n == 1)
    return 18;
  (n = 1) && 0;
  if (n != 1)
    return 19;
  1 || (n = 3);
  if (n == 3)
    return 20;
  (n = 3) || 1;
  if (n != 3)
    return 21;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
lea    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x15(%rbp)
je     112d <main+0x2d>
xor    %eax,%eax
mov    %al,-0x15(%rbp)
jmp    112d <main+0x2d>
mov    -0x15(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x0,%eax
je     114a <main+0x4a>
movl   $0x6,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
cmpq   $0x0,-0x10(%rbp)
je     1170 <main+0x70>
xor    %eax,%eax
test   $0x1,%al
jne    1164 <main+0x64>
jmp    1170 <main+0x70>
movl   $0x7,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
xor    %eax,%eax
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x16(%rbp)
je     118b <main+0x8b>
cmpq   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x16(%rbp)
mov    -0x16(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x1,%eax
je     11a8 <main+0xa8>
movl   $0x8,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
mov    $0x1,%al
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x17(%rbp)
jne    11c2 <main+0xc2>
xor    %eax,%eax
mov    %al,-0x17(%rbp)
jmp    11c2 <main+0xc2>
mov    -0x17(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x1,%eax
je     11df <main+0xdf>
movl   $0xe,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
mov    $0x1,%al
cmpq   $0x0,-0x10(%rbp)
mov    %al,-0x18(%rbp)
jne    11fa <main+0xfa>
cmpq   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x18(%rbp)
mov    -0x18(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x1,%eax
je     1217 <main+0x117>
movl   $0xf,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
cmpq   $0x0,-0x10(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
cmp    $0x0,%eax
je     123b <main+0x13b>
movl   $0x10,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
cmpq   $0x0,-0x10(%rbp)
jne    1252 <main+0x152>
movl   $0x10,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
movl   $0x0,-0x14(%rbp)
cmpl   $0x1,-0x14(%rbp)
jne    126f <main+0x16f>
movl   $0x12,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
movl   $0x1,-0x14(%rbp)
xor    %eax,%eax
mov    $0x1,%cl
test   $0x1,%cl
mov    %al,-0x19(%rbp)
jne    128b <main+0x18b>
jmp    1295 <main+0x195>
xor    %eax,%eax
mov    %al,-0x19(%rbp)
jmp    1295 <main+0x195>
mov    -0x19(%rbp),%al
cmpl   $0x1,-0x14(%rbp)
je     12ae <main+0x1ae>
movl   $0x13,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
cmpl   $0x3,-0x14(%rbp)
jne    12c4 <main+0x1c4>
movl   $0x14,-0x4(%rbp)
jmp    12f6 <main+0x1f6>
movl   $0x3,-0x14(%rbp)
mov    $0x1,%al
test   $0x1,%al
mov    %al,-0x1a(%rbp)
jne    12e2 <main+0x1e2>
mov    $0x1,%al
mov    %al,-0x1a(%rbp)
jmp    12e2 <main+0x1e2>
mov    -0x1a(%rbp),%al
cmpl   $0x3,-0x14(%rbp)
je     12f6 <main+0x1f6>
movl   $0x15,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32*
%4 = alloca i32
store i32 0, i32* %1
store i32* %2, i32** %3
%5 = load i32*, i32** %3
%6 = icmp ne i32* %5, null
br i1 %6, label %7, label %8
7: ; preds = %0
br label %8
8: ; preds = %7, %0
%9 = phi i1 [ false, %0 ], [ false, %7 ]
%10 = zext i1 %9 to i32
%11 = icmp ne i32 %10, 0
br i1 %11, label %12, label %13
12: ; preds = %8
store i32 6, i32* %1
br label %84
13: ; preds = %8
%14 = load i32*, i32** %3
%15 = icmp ne i32* %14, null
br i1 %15, label %16, label %18
16: ; preds = %13
br i1 false, label %17, label %18
17: ; preds = %16
store i32 7, i32* %1
br label %84
18: ; preds = %16, %13
%19 = load i32*, i32** %3
%20 = icmp ne i32* %19, null
br i1 %20, label %21, label %24
21: ; preds = %18
%22 = load i32*, i32** %3
%23 = icmp ne i32* %22, null
br label %24
24: ; preds = %21, %18
%25 = phi i1 [ false, %18 ], [ %23, %21 ]
%26 = zext i1 %25 to i32
%27 = icmp ne i32 %26, 1
br i1 %27, label %28, label %29
28: ; preds = %24
store i32 8, i32* %1
br label %84
29: ; preds = %24
%30 = load i32*, i32** %3
%31 = icmp ne i32* %30, null
br i1 %31, label %33, label %32
32: ; preds = %29
br label %33
33: ; preds = %32, %29
%34 = phi i1 [ true, %29 ], [ false, %32 ]
%35 = zext i1 %34 to i32
%36 = icmp ne i32 %35, 1
br i1 %36, label %37, label %38
37: ; preds = %33
store i32 14, i32* %1
br label %84
38: ; preds = %33
%39 = load i32*, i32** %3
%40 = icmp ne i32* %39, null
br i1 %40, label %44, label %41
41: ; preds = %38
%42 = load i32*, i32** %3
%43 = icmp ne i32* %42, null
br label %44
44: ; preds = %41, %38
%45 = phi i1 [ true, %38 ], [ %43, %41 ]
%46 = zext i1 %45 to i32
%47 = icmp ne i32 %46, 1
br i1 %47, label %48, label %49
48: ; preds = %44
store i32 15, i32* %1
br label %84
49: ; preds = %44
%50 = load i32*, i32** %3
%51 = icmp ne i32* %50, null
%52 = xor i1 %51, true
%53 = zext i1 %52 to i32
%54 = icmp ne i32 %53, 0
br i1 %54, label %55, label %56
55: ; preds = %49
store i32 16, i32* %1
br label %84
56: ; preds = %49
%57 = load i32*, i32** %3
%58 = icmp ne i32* %57, null
br i1 %58, label %60, label %59
59: ; preds = %56
store i32 16, i32* %1
br label %84
60: ; preds = %56
store i32 0, i32* %4
%61 = load i32, i32* %4
%62 = icmp eq i32 %61, 1
br i1 %62, label %63, label %64
63: ; preds = %60
store i32 18, i32* %1
br label %84
64: ; preds = %60
store i32 1, i32* %4
br i1 true, label %65, label %66
65: ; preds = %64
br label %66
66: ; preds = %65, %64
%67 = phi i1 [ false, %64 ], [ false, %65 ]
%68 = zext i1 %67 to i32
%69 = load i32, i32* %4
%70 = icmp ne i32 %69, 1
br i1 %70, label %71, label %72
71: ; preds = %66
store i32 19, i32* %1
br label %84
72: ; preds = %66
%73 = load i32, i32* %4
%74 = icmp eq i32 %73, 3
br i1 %74, label %75, label %76
75: ; preds = %72
store i32 20, i32* %1
br label %84
76: ; preds = %72
store i32 3, i32* %4
br i1 true, label %78, label %77
77: ; preds = %76
br label %78
78: ; preds = %77, %76
%79 = phi i1 [ true, %76 ], [ true, %77 ]
%80 = zext i1 %79 to i32
%81 = load i32, i32* %4
%82 = icmp ne i32 %81, 3
br i1 %82, label %83, label %84
83: ; preds = %78
store i32 21, i32* %1
br label %84
84: ; preds = %12, %17, %28, %37, %48, %55, %59, %63, %71, %75, %83, %78
%85 = load i32, i32* %1
ret i32 %85
}

LLVM IR (-O2):
define i32 @main() {
ret i32 0
}