unsigned long f(int t, unsigned int B, unsigned int C, unsigned int D) {
  if (t < 20)
    return ((B & C) | ((~B) & D));
  else if (t < 40)
    return (B ^ C ^ D);
  else if (t < 60)
    return ((B & C) | (B & D) | (C & D));
  return (B ^ C ^ D);
}


x86 assembly (clang, -O0):
<f>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0xc(%rbp)
mov    %esi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
cmpl   $0x14,-0xc(%rbp)
jge    1136 <f+0x36>
mov    -0x10(%rbp),%eax
and    -0x14(%rbp),%eax
mov    -0x10(%rbp),%ecx
xor    $0xffffffff,%ecx
and    -0x18(%rbp),%ecx
or     %ecx,%eax
mov    %eax,%eax
mov    %rax,-0x8(%rbp)
jmp    1198 <f+0x98>
cmpl   $0x28,-0xc(%rbp)
jge    1154 <f+0x54>
mov    -0x10(%rbp),%eax
xor    -0x14(%rbp),%eax
xor    -0x18(%rbp),%eax
mov    %eax,%eax
mov    %rax,-0x8(%rbp)
jmp    1198 <f+0x98>
cmpl   $0x3c,-0xc(%rbp)
jge    117f <f+0x7f>
mov    -0x10(%rbp),%eax
and    -0x14(%rbp),%eax
mov    -0x10(%rbp),%ecx
and    -0x18(%rbp),%ecx
or     %ecx,%eax
mov    -0x14(%rbp),%ecx
and    -0x18(%rbp),%ecx
or     %ecx,%eax
mov    %eax,%eax
mov    %rax,-0x8(%rbp)
jmp    1198 <f+0x98>
jmp    1184 <f+0x84>
jmp    1189 <f+0x89>
mov    -0x10(%rbp),%eax
xor    -0x14(%rbp),%eax
xor    -0x18(%rbp),%eax
mov    %eax,%eax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<f>:
cmp    $0x13,%edi
jg     110b <f+0xb>
xor    %ecx,%edx
and    %esi,%edx
jmp    1124 <f+0x24>
cmp    $0x27,%edi
jbe    1122 <f+0x22>
cmp    $0x3b,%edi
ja     1122 <f+0x22>
mov    %ecx,%eax
or     %edx,%eax
and    %esi,%eax
and    %edx,%ecx
or     %eax,%ecx
mov    %ecx,%eax
ret
xor    %esi,%edx
xor    %ecx,%edx
mov    %edx,%eax
ret

LLVM IR (-O0):
define i64 @f(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i64
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32 %0, i32* %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
%10 = load i32, i32* %6
%11 = icmp slt i32 %10, 20
br i1 %11, label %12, label %22
12: ; preds = %4
%13 = load i32, i32* %7
%14 = load i32, i32* %8
%15 = and i32 %13, %14
%16 = load i32, i32* %7
%17 = xor i32 %16, -1
%18 = load i32, i32* %9
%19 = and i32 %17, %18
%20 = or i32 %15, %19
%21 = zext i32 %20 to i64
store i64 %21, i64* %5
br label %57
22: ; preds = %4
%23 = load i32, i32* %6
%24 = icmp slt i32 %23, 40
br i1 %24, label %25, label %32
25: ; preds = %22
%26 = load i32, i32* %7
%27 = load i32, i32* %8
%28 = xor i32 %26, %27
%29 = load i32, i32* %9
%30 = xor i32 %28, %29
%31 = zext i32 %30 to i64
store i64 %31, i64* %5
br label %57
32: ; preds = %22
%33 = load i32, i32* %6
%34 = icmp slt i32 %33, 60
br i1 %34, label %35, label %48
35: ; preds = %32
%36 = load i32, i32* %7
%37 = load i32, i32* %8
%38 = and i32 %36, %37
%39 = load i32, i32* %7
%40 = load i32, i32* %9
%41 = and i32 %39, %40
%42 = or i32 %38, %41
%43 = load i32, i32* %8
%44 = load i32, i32* %9
%45 = and i32 %43, %44
%46 = or i32 %42, %45
%47 = zext i32 %46 to i64
store i64 %47, i64* %5
br label %57
48: ; preds = %32
br label %49
49: ; preds = %48
br label %50
50: ; preds = %49
%51 = load i32, i32* %7
%52 = load i32, i32* %8
%53 = xor i32 %51, %52
%54 = load i32, i32* %9
%55 = xor i32 %53, %54
%56 = zext i32 %55 to i64
store i64 %56, i64* %5
br label %57
57: ; preds = %50, %35, %25, %12
%58 = load i64, i64* %5
ret i64 %58
}

LLVM IR (-O2):
define i64 @f(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = icmp slt i32 %0, 20
br i1 %5, label %6, label %11
6: ; preds = %4
%7 = and i32 %2, %1
%8 = xor i32 %1, -1
%9 = and i32 %8, %3
%10 = or i32 %9, %7
br label %26
11: ; preds = %4
%12 = icmp ult i32 %0, 40
br i1 %12, label %13, label %16
13: ; preds = %11
%14 = xor i32 %2, %1
%15 = xor i32 %14, %3
br label %26
16: ; preds = %11
%17 = icmp ult i32 %0, 60
br i1 %17, label %18, label %23
18: ; preds = %16
%19 = or i32 %3, %2
%20 = and i32 %19, %1
%21 = and i32 %3, %2
%22 = or i32 %20, %21
br label %26
23: ; preds = %16
%24 = xor i32 %2, %1
%25 = xor i32 %24, %3
br label %26
26: ; preds = %23, %18, %13, %6
%27 = phi i32 [ %10, %6 ], [ %15, %13 ], [ %22, %18 ], [ %25, %23 ]
%28 = zext i32 %27 to i64
ret i64 %28
}