int foo(int a, int b) {
  if (a > 0 && a <= (b == 1) ? 1 : 2)
    return 1;
  if (a > 0 && a <= (b == 2) ? 1 : 1)
    return 2;
  if (a > 0 && a <= (b == 3) ? 0 : 2)
    return 3;
  if (a == b ? 0 : 0)
    return 4;
  if (a == ((b ? 2 | 4 : 1) & 3 ? 0 : 2))
    return 5;
  if (a ? 1 : 1 + 1)
    return 6;
  if (b ? 1 + 1 : 1)
    return 7;
  return 0;
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x0,-0x8(%rbp)
jle    113b <foo+0x3b>
mov    -0x8(%rbp),%eax
cmpl   $0x1,-0xc(%rbp)
sete   %cl
and    $0x1,%cl
movzbl %cl,%ecx
cmp    %ecx,%eax
jg     113b <foo+0x3b>
mov    $0x1,%al
test   $0x1,%al
jne    114a <foo+0x4a>
jmp    1156 <foo+0x56>
mov    $0x1,%al
test   $0x1,%al
jne    114a <foo+0x4a>
jmp    1156 <foo+0x56>
movl   $0x1,-0x4(%rbp)
jmp    12cd <foo+0x1cd>
cmpl   $0x0,-0x8(%rbp)
jle    1187 <foo+0x87>
mov    -0x8(%rbp),%eax
cmpl   $0x2,-0xc(%rbp)
sete   %cl
and    $0x1,%cl
movzbl %cl,%ecx
cmp    %ecx,%eax
jg     1187 <foo+0x87>
mov    $0x1,%al
test   $0x1,%al
jne    1196 <foo+0x96>
jmp    11a2 <foo+0xa2>
mov    $0x1,%al
test   $0x1,%al
jne    1196 <foo+0x96>
jmp    11a2 <foo+0xa2>
movl   $0x2,-0x4(%rbp)
jmp    12cd <foo+0x1cd>
cmpl   $0x0,-0x8(%rbp)
jle    11d3 <foo+0xd3>
mov    -0x8(%rbp),%eax
cmpl   $0x3,-0xc(%rbp)
sete   %cl
and    $0x1,%cl
movzbl %cl,%ecx
cmp    %ecx,%eax
jg     11d3 <foo+0xd3>
xor    %eax,%eax
test   $0x1,%al
jne    11e2 <foo+0xe2>
jmp    11ee <foo+0xee>
mov    $0x1,%al
test   $0x1,%al
jne    11e2 <foo+0xe2>
jmp    11ee <foo+0xee>
movl   $0x3,-0x4(%rbp)
jmp    12cd <foo+0x1cd>
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    1209 <foo+0x109>
xor    %eax,%eax
test   $0x1,%al
jne    1218 <foo+0x118>
jmp    1224 <foo+0x124>
xor    %eax,%eax
test   $0x1,%al
jne    1218 <foo+0x118>
jmp    1224 <foo+0x124>
movl   $0x4,-0x4(%rbp)
jmp    12cd <foo+0x1cd>
mov    -0x8(%rbp),%eax
mov    -0xc(%rbp),%edx
mov    $0x1,%esi
mov    $0x6,%ecx
cmp    $0x0,%edx
cmovne %ecx,%esi
and    $0x3,%esi
mov    $0x2,%ecx
xor    %edx,%edx
cmp    $0x0,%esi
cmovne %edx,%ecx
cmp    %ecx,%eax
jne    125e <foo+0x15e>
movl   $0x5,-0x4(%rbp)
jmp    12cd <foo+0x1cd>
cmpl   $0x0,-0x8(%rbp)
je     1277 <foo+0x177>
mov    $0x1,%al
test   $0x1,%al
jne    1286 <foo+0x186>
jmp    1292 <foo+0x192>
mov    $0x1,%al
test   $0x1,%al
jne    1286 <foo+0x186>
jmp    1292 <foo+0x192>
movl   $0x6,-0x4(%rbp)
jmp    12cd <foo+0x1cd>
cmpl   $0x0,-0xc(%rbp)
je     12ab <foo+0x1ab>
mov    $0x1,%al
test   $0x1,%al
jne    12ba <foo+0x1ba>
jmp    12c6 <foo+0x1c6>
mov    $0x1,%al
test   $0x1,%al
jne    12ba <foo+0x1ba>
jmp    12c6 <foo+0x1c6>
movl   $0x7,-0x4(%rbp)
jmp    12cd <foo+0x1cd>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
mov    $0x1,%eax
ret

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

LLVM IR (-O2):
define i32 @foo(i32 %0, i32 %1) {
ret i32 1
}