int Max(long a, long b, long c, long d) {
  return ((a) > (b) ? (a) : (b)) > ((c) > (d) ? (c) : (d))
             ? ((a) > (b) ? (a) : (b))
             : ((c) > (d) ? (c) : (d));
}


x86 assembly (clang, -O0):
<Max>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jle    112f <Max+0x2f>
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    1137 <Max+0x37>
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jle    115a <Max+0x5a>
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
jmp    1162 <Max+0x62>
mov    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
cmp    %rcx,%rax
jle    11a3 <Max+0xa3>
mov    -0x8(%rbp),%rax
cmp    -0x10(%rbp),%rax
jle    118e <Max+0x8e>
mov    -0x8(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    1196 <Max+0x96>
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
mov    %rax,-0x48(%rbp)
jmp    11ce <Max+0xce>
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jle    11be <Max+0xbe>
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
jmp    11c6 <Max+0xc6>
mov    -0x20(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Max>:
cmp    %rsi,%rdi
cmovg  %rdi,%rsi
mov    %rcx,%rax
cmp    %rcx,%rdx
cmovg  %rdx,%rax
cmp    %rax,%rsi
cmovg  %esi,%eax
ret

LLVM IR (-O0):
define i32 @Max(i64 %0, i64 %1, i64 %2, i64 %3) {
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
store i64 %0, i64* %5
store i64 %1, i64* %6
store i64 %2, i64* %7
store i64 %3, i64* %8
%9 = load i64, i64* %5
%10 = load i64, i64* %6
%11 = icmp sgt i64 %9, %10
br i1 %11, label %12, label %14
12: ; preds = %4
%13 = load i64, i64* %5
br label %16
14: ; preds = %4
%15 = load i64, i64* %6
br label %16
16: ; preds = %14, %12
%17 = phi i64 [ %13, %12 ], [ %15, %14 ]
%18 = load i64, i64* %7
%19 = load i64, i64* %8
%20 = icmp sgt i64 %18, %19
br i1 %20, label %21, label %23
21: ; preds = %16
%22 = load i64, i64* %7
br label %25
23: ; preds = %16
%24 = load i64, i64* %8
br label %25
25: ; preds = %23, %21
%26 = phi i64 [ %22, %21 ], [ %24, %23 ]
%27 = icmp sgt i64 %17, %26
br i1 %27, label %28, label %38
28: ; preds = %25
%29 = load i64, i64* %5
%30 = load i64, i64* %6
%31 = icmp sgt i64 %29, %30
br i1 %31, label %32, label %34
32: ; preds = %28
%33 = load i64, i64* %5
br label %36
34: ; preds = %28
%35 = load i64, i64* %6
br label %36
36: ; preds = %34, %32
%37 = phi i64 [ %33, %32 ], [ %35, %34 ]
br label %48
38: ; preds = %25
%39 = load i64, i64* %7
%40 = load i64, i64* %8
%41 = icmp sgt i64 %39, %40
br i1 %41, label %42, label %44
42: ; preds = %38
%43 = load i64, i64* %7
br label %46
44: ; preds = %38
%45 = load i64, i64* %8
br label %46
46: ; preds = %44, %42
%47 = phi i64 [ %43, %42 ], [ %45, %44 ]
br label %48
48: ; preds = %46, %36
%49 = phi i64 [ %37, %36 ], [ %47, %46 ]
%50 = trunc i64 %49 to i32
ret i32 %50
}

LLVM IR (-O2):
define i32 @Max(i64 %0, i64 %1, i64 %2, i64 %3) {
%5 = icmp sgt i64 %0, %1
%6 = select i1 %5, i64 %0, i64 %1
%7 = icmp sgt i64 %2, %3
%8 = select i1 %7, i64 %2, i64 %3
%9 = icmp sgt i64 %6, %8
%10 = select i1 %9, i64 %6, i64 %8
%11 = trunc i64 %10 to i32
ret i32 %11
}