#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*/ assert(int);
int main() {
  int a = 1, b = 1, c = 1, d = 1;
  assert((a || b) || (c || d));
  assert((a && b) && (c && d));
  assert((a ? b : c) ? (b ? c : d) : (c ? d : a));
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x1,-0x8(%rbp)
movl   $0x1,-0xc(%rbp)
movl   $0x1,-0x10(%rbp)
movl   $0x1,-0x14(%rbp)
mov    $0x1,%al
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x15(%rbp)
jne    1178 <main+0x68>
mov    $0x1,%al
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x15(%rbp)
jne    1178 <main+0x68>
mov    $0x1,%al
cmpl   $0x0,-0x10(%rbp)
mov    %al,-0x16(%rbp)
jne    1172 <main+0x62>
cmpl   $0x0,-0x14(%rbp)
setne  %al
mov    %al,-0x16(%rbp)
mov    -0x16(%rbp),%al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
xor    %eax,%eax
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x17(%rbp)
je     11c2 <main+0xb2>
xor    %eax,%eax
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x17(%rbp)
je     11c2 <main+0xb2>
xor    %eax,%eax
cmpl   $0x0,-0x10(%rbp)
mov    %al,-0x18(%rbp)
je     11bc <main+0xac>
cmpl   $0x0,-0x14(%rbp)
setne  %al
mov    %al,-0x18(%rbp)
mov    -0x18(%rbp),%al
mov    %al,-0x17(%rbp)
mov    -0x17(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
cmpl   $0x0,-0x8(%rbp)
je     11e8 <main+0xd8>
cmpl   $0x0,-0xc(%rbp)
jne    11f2 <main+0xe2>
jmp    1218 <main+0x108>
cmpl   $0x0,-0x10(%rbp)
je     1218 <main+0x108>
cmpl   $0x0,-0xc(%rbp)
je     1207 <main+0xf7>
mov    -0x10(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    120d <main+0xfd>
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1239 <main+0x129>
cmpl   $0x0,-0x10(%rbp)
je     122d <main+0x11d>
mov    -0x14(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    1233 <main+0x123>
mov    -0x8(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%edi
call   1030 <assert@plt>
xor    %eax,%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
xor    %eax,%eax
pop    %rcx
ret

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

LLVM IR (-O2):
define i32 @main() {
%1 = tail call i32 @assert(i32 1)
%2 = tail call i32 @assert(i32 1)
%3 = tail call i32 @assert(i32 1)
ret i32 0
}