int test_icmp_(int a, int b, int c, unsigned d) {
  int result = 0;
  if (a < b)
    result |= 1;
  if (b <= c)
    result |= 2;
  if (a > b)
    result |= 4;
  if (b >= c)
    result |= 8;
  if (a < d)
    result |= 16;
  if (b <= d)
    result |= 32;
  if (c >= d)
    result |= 64;
  if (a > d)
    result |= 128;
  if (a == b)
    result |= 256;
  if (b != c)
    result |= 512;
  return result;
}


x86 assembly (clang, -O0):
<test_icmp_>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    112c <test_icmp_+0x2c>
mov    -0x14(%rbp),%eax
or     $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jg     1141 <test_icmp_+0x41>
mov    -0x14(%rbp),%eax
or     $0x2,%eax
mov    %eax,-0x14(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jle    1156 <test_icmp_+0x56>
mov    -0x14(%rbp),%eax
or     $0x4,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
jl     116b <test_icmp_+0x6b>
mov    -0x14(%rbp),%eax
or     $0x8,%eax
mov    %eax,-0x14(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0x10(%rbp),%eax
jae    1180 <test_icmp_+0x80>
mov    -0x14(%rbp),%eax
or     $0x10,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0x10(%rbp),%eax
ja     1195 <test_icmp_+0x95>
mov    -0x14(%rbp),%eax
or     $0x20,%eax
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jb     11aa <test_icmp_+0xaa>
mov    -0x14(%rbp),%eax
or     $0x40,%eax
mov    %eax,-0x14(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0x10(%rbp),%eax
jbe    11c1 <test_icmp_+0xc1>
mov    -0x14(%rbp),%eax
or     $0x80,%eax
mov    %eax,-0x14(%rbp)
mov    -0x4(%rbp),%eax
cmp    -0x8(%rbp),%eax
jne    11d8 <test_icmp_+0xd8>
mov    -0x14(%rbp),%eax
or     $0x100,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%eax
cmp    -0xc(%rbp),%eax
je     11ef <test_icmp_+0xef>
mov    -0x14(%rbp),%eax
or     $0x200,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_icmp_>:
xor    %r8d,%r8d
cmp    %esi,%edi
setl   %r8b
lea    0x2(%r8),%eax
cmp    %edx,%esi
cmovg  %r8d,%eax
lea    0x4(%rax),%r8d
cmp    %esi,%edi
cmovle %eax,%r8d
lea    0x8(%r8),%r9d
cmp    %edx,%esi
cmovl  %r8d,%r9d
mov    %r9d,%eax
or     $0x10,%eax
cmp    %ecx,%edi
cmovae %r9d,%eax
mov    %eax,%r8d
or     $0x20,%r8d
cmp    %ecx,%esi
cmova  %eax,%r8d
mov    %r8d,%eax
or     $0x40,%eax
cmp    %ecx,%edx
cmovb  %r8d,%eax
mov    %eax,%r8d
or     $0x80,%r8d
cmp    %ecx,%edi
cmovbe %eax,%r8d
mov    %r8d,%ecx
or     $0x100,%ecx
cmp    %esi,%edi
cmovne %r8d,%ecx
mov    %ecx,%eax
or     $0x200,%eax
cmp    %edx,%esi
cmove  %ecx,%eax
ret

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

LLVM IR (-O2):
define i32 @test_icmp_(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = icmp slt i32 %0, %1
%6 = zext i1 %5 to i32
%7 = icmp sgt i32 %1, %2
%8 = or i32 %6, 2
%9 = select i1 %7, i32 %6, i32 %8
%10 = icmp sgt i32 %0, %1
%11 = or i32 %9, 4
%12 = select i1 %10, i32 %11, i32 %9
%13 = icmp slt i32 %1, %2
%14 = or i32 %12, 8
%15 = select i1 %13, i32 %12, i32 %14
%16 = icmp ult i32 %0, %3
%17 = or i32 %15, 16
%18 = select i1 %16, i32 %17, i32 %15
%19 = icmp ugt i32 %1, %3
%20 = or i32 %18, 32
%21 = select i1 %19, i32 %18, i32 %20
%22 = icmp ult i32 %2, %3
%23 = or i32 %21, 64
%24 = select i1 %22, i32 %21, i32 %23
%25 = icmp ugt i32 %0, %3
%26 = or i32 %24, 128
%27 = select i1 %25, i32 %26, i32 %24
%28 = icmp eq i32 %0, %1
%29 = or i32 %27, 256
%30 = select i1 %28, i32 %29, i32 %27
%31 = icmp eq i32 %1, %2
%32 = or i32 %30, 512
%33 = select i1 %31, i32 %30, i32 %32
ret i32 %33
}