char test() {
  volatile char one = 0x1;
  volatile char One = 0x1;
  volatile char zero = 0x0;
  volatile char foo = 0x0;
  if (one > zero) {
    foo |= 0x01;
  }
  if (one >= zero) {
    foo |= 0x02;
  }
  if (zero < one) {
    foo |= 0x04;
  }
  if (zero <= one) {
    foo |= 0x04;
  }
  if (one != zero) {
    foo |= 0x08;
  }
  if (one == One) {
    foo |= 0x10;
  }
  if (one >= One) {
    foo |= 0x20;
  }
  if (one <= One) {
    foo |= 0x40;
  }
  if (one) {
    foo |= 0x80;
  }
  return foo;
}


x86 assembly (clang, -O0):
<test>:
push   %rbp
mov    %rsp,%rbp
movb   $0x1,-0x1(%rbp)
movb   $0x1,-0x2(%rbp)
movb   $0x0,-0x3(%rbp)
movb   $0x0,-0x4(%rbp)
mov    -0x1(%rbp),%al
movsbl %al,%eax
mov    -0x3(%rbp),%cl
movsbl %cl,%ecx
cmp    %ecx,%eax
jle    1134 <test+0x34>
mov    -0x4(%rbp),%al
movsbl %al,%eax
or     $0x1,%eax
mov    %al,-0x4(%rbp)
mov    -0x1(%rbp),%al
movsbl %al,%eax
mov    -0x3(%rbp),%cl
movsbl %cl,%ecx
cmp    %ecx,%eax
jl     1154 <test+0x54>
mov    -0x4(%rbp),%al
movsbl %al,%eax
or     $0x2,%eax
mov    %al,-0x4(%rbp)
mov    -0x3(%rbp),%al
movsbl %al,%eax
mov    -0x1(%rbp),%cl
movsbl %cl,%ecx
cmp    %ecx,%eax
jge    1174 <test+0x74>
mov    -0x4(%rbp),%al
movsbl %al,%eax
or     $0x4,%eax
mov    %al,-0x4(%rbp)
mov    -0x3(%rbp),%al
movsbl %al,%eax
mov    -0x1(%rbp),%cl
movsbl %cl,%ecx
cmp    %ecx,%eax
jg     1194 <test+0x94>
mov    -0x4(%rbp),%al
movsbl %al,%eax
or     $0x4,%eax
mov    %al,-0x4(%rbp)
mov    -0x1(%rbp),%al
movsbl %al,%eax
mov    -0x3(%rbp),%cl
movsbl %cl,%ecx
cmp    %ecx,%eax
je     11b4 <test+0xb4>
mov    -0x4(%rbp),%al
movsbl %al,%eax
or     $0x8,%eax
mov    %al,-0x4(%rbp)
mov    -0x1(%rbp),%al
movsbl %al,%eax
mov    -0x2(%rbp),%cl
movsbl %cl,%ecx
cmp    %ecx,%eax
jne    11d4 <test+0xd4>
mov    -0x4(%rbp),%al
movsbl %al,%eax
or     $0x10,%eax
mov    %al,-0x4(%rbp)
mov    -0x1(%rbp),%al
movsbl %al,%eax
mov    -0x2(%rbp),%cl
movsbl %cl,%ecx
cmp    %ecx,%eax
jl     11f4 <test+0xf4>
mov    -0x4(%rbp),%al
movsbl %al,%eax
or     $0x20,%eax
mov    %al,-0x4(%rbp)
mov    -0x1(%rbp),%al
movsbl %al,%eax
mov    -0x2(%rbp),%cl
movsbl %cl,%ecx
cmp    %ecx,%eax
jg     1214 <test+0x114>
mov    -0x4(%rbp),%al
movsbl %al,%eax
or     $0x40,%eax
mov    %al,-0x4(%rbp)
mov    -0x1(%rbp),%al
cmp    $0x0,%al
je     122d <test+0x12d>
mov    -0x4(%rbp),%al
movsbl %al,%eax
or     $0x80,%eax
mov    %al,-0x4(%rbp)
mov    -0x4(%rbp),%al
movsbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<test>:
movb   $0x1,-0x3(%rsp)
movb   $0x1,-0x1(%rsp)
movb   $0x0,-0x2(%rsp)
movb   $0x0,-0x4(%rsp)
mov    -0x3(%rsp),%al
cmp    -0x2(%rsp),%al
jle    1123 <test+0x23>
orb    $0x1,-0x4(%rsp)
mov    -0x3(%rsp),%al
cmp    -0x2(%rsp),%al
jl     1132 <test+0x32>
orb    $0x2,-0x4(%rsp)
mov    -0x2(%rsp),%al
cmp    -0x3(%rsp),%al
jge    1141 <test+0x41>
orb    $0x4,-0x4(%rsp)
mov    -0x2(%rsp),%al
cmp    -0x3(%rsp),%al
jg     1150 <test+0x50>
orb    $0x4,-0x4(%rsp)
mov    -0x3(%rsp),%al
cmp    -0x2(%rsp),%al
je     115f <test+0x5f>
orb    $0x8,-0x4(%rsp)
mov    -0x3(%rsp),%al
cmp    -0x1(%rsp),%al
jne    116e <test+0x6e>
orb    $0x10,-0x4(%rsp)
mov    -0x3(%rsp),%al
cmp    -0x1(%rsp),%al
jl     117d <test+0x7d>
orb    $0x20,-0x4(%rsp)
mov    -0x3(%rsp),%al
cmp    -0x1(%rsp),%al
jg     118c <test+0x8c>
orb    $0x40,-0x4(%rsp)
cmpb   $0x0,-0x3(%rsp)
je     1198 <test+0x98>
orb    $0x80,-0x4(%rsp)
mov    -0x4(%rsp),%al
ret

LLVM IR (-O0):
define signext i8 @test() {
%1 = alloca i8
%2 = alloca i8
%3 = alloca i8
%4 = alloca i8
store volatile i8 1, i8* %1
store volatile i8 1, i8* %2
store volatile i8 0, i8* %3
store volatile i8 0, i8* %4
%5 = load volatile i8, i8* %1
%6 = sext i8 %5 to i32
%7 = load volatile i8, i8* %3
%8 = sext i8 %7 to i32
%9 = icmp sgt i32 %6, %8
br i1 %9, label %10, label %15
10: ; preds = %0
%11 = load volatile i8, i8* %4
%12 = sext i8 %11 to i32
%13 = or i32 %12, 1
%14 = trunc i32 %13 to i8
store volatile i8 %14, i8* %4
br label %15
15: ; preds = %10, %0
%16 = load volatile i8, i8* %1
%17 = sext i8 %16 to i32
%18 = load volatile i8, i8* %3
%19 = sext i8 %18 to i32
%20 = icmp sge i32 %17, %19
br i1 %20, label %21, label %26
21: ; preds = %15
%22 = load volatile i8, i8* %4
%23 = sext i8 %22 to i32
%24 = or i32 %23, 2
%25 = trunc i32 %24 to i8
store volatile i8 %25, i8* %4
br label %26
26: ; preds = %21, %15
%27 = load volatile i8, i8* %3
%28 = sext i8 %27 to i32
%29 = load volatile i8, i8* %1
%30 = sext i8 %29 to i32
%31 = icmp slt i32 %28, %30
br i1 %31, label %32, label %37
32: ; preds = %26
%33 = load volatile i8, i8* %4
%34 = sext i8 %33 to i32
%35 = or i32 %34, 4
%36 = trunc i32 %35 to i8
store volatile i8 %36, i8* %4
br label %37
37: ; preds = %32, %26
%38 = load volatile i8, i8* %3
%39 = sext i8 %38 to i32
%40 = load volatile i8, i8* %1
%41 = sext i8 %40 to i32
%42 = icmp sle i32 %39, %41
br i1 %42, label %43, label %48
43: ; preds = %37
%44 = load volatile i8, i8* %4
%45 = sext i8 %44 to i32
%46 = or i32 %45, 4
%47 = trunc i32 %46 to i8
store volatile i8 %47, i8* %4
br label %48
48: ; preds = %43, %37
%49 = load volatile i8, i8* %1
%50 = sext i8 %49 to i32
%51 = load volatile i8, i8* %3
%52 = sext i8 %51 to i32
%53 = icmp ne i32 %50, %52
br i1 %53, label %54, label %59
54: ; preds = %48
%55 = load volatile i8, i8* %4
%56 = sext i8 %55 to i32
%57 = or i32 %56, 8
%58 = trunc i32 %57 to i8
store volatile i8 %58, i8* %4
br label %59
59: ; preds = %54, %48
%60 = load volatile i8, i8* %1
%61 = sext i8 %60 to i32
%62 = load volatile i8, i8* %2
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %61, %63
br i1 %64, label %65, label %70
65: ; preds = %59
%66 = load volatile i8, i8* %4
%67 = sext i8 %66 to i32
%68 = or i32 %67, 16
%69 = trunc i32 %68 to i8
store volatile i8 %69, i8* %4
br label %70
70: ; preds = %65, %59
%71 = load volatile i8, i8* %1
%72 = sext i8 %71 to i32
%73 = load volatile i8, i8* %2
%74 = sext i8 %73 to i32
%75 = icmp sge i32 %72, %74
br i1 %75, label %76, label %81
76: ; preds = %70
%77 = load volatile i8, i8* %4
%78 = sext i8 %77 to i32
%79 = or i32 %78, 32
%80 = trunc i32 %79 to i8
store volatile i8 %80, i8* %4
br label %81
81: ; preds = %76, %70
%82 = load volatile i8, i8* %1
%83 = sext i8 %82 to i32
%84 = load volatile i8, i8* %2
%85 = sext i8 %84 to i32
%86 = icmp sle i32 %83, %85
br i1 %86, label %87, label %92
87: ; preds = %81
%88 = load volatile i8, i8* %4
%89 = sext i8 %88 to i32
%90 = or i32 %89, 64
%91 = trunc i32 %90 to i8
store volatile i8 %91, i8* %4
br label %92
92: ; preds = %87, %81
%93 = load volatile i8, i8* %1
%94 = icmp ne i8 %93, 0
br i1 %94, label %95, label %100
95: ; preds = %92
%96 = load volatile i8, i8* %4
%97 = sext i8 %96 to i32
%98 = or i32 %97, 128
%99 = trunc i32 %98 to i8
store volatile i8 %99, i8* %4
br label %100
100: ; preds = %95, %92
%101 = load volatile i8, i8* %4
ret i8 %101
}

LLVM IR (-O2):
define signext i8 @test() {
%1 = alloca i8
%2 = alloca i8
%3 = alloca i8
%4 = alloca i8
store volatile i8 1, i8* %1
store volatile i8 1, i8* %2
store volatile i8 0, i8* %3
store volatile i8 0, i8* %4
%5 = load volatile i8, i8* %1
%6 = load volatile i8, i8* %3
%7 = icmp sgt i8 %5, %6
br i1 %7, label %8, label %11
8: ; preds = %0
%9 = load volatile i8, i8* %4
%10 = or i8 %9, 1
store volatile i8 %10, i8* %4
br label %11
11: ; preds = %8, %0
%12 = load volatile i8, i8* %1
%13 = load volatile i8, i8* %3
%14 = icmp slt i8 %12, %13
br i1 %14, label %18, label %15
15: ; preds = %11
%16 = load volatile i8, i8* %4
%17 = or i8 %16, 2
store volatile i8 %17, i8* %4
br label %18
18: ; preds = %15, %11
%19 = load volatile i8, i8* %3
%20 = load volatile i8, i8* %1
%21 = icmp slt i8 %19, %20
br i1 %21, label %22, label %25
22: ; preds = %18
%23 = load volatile i8, i8* %4
%24 = or i8 %23, 4
store volatile i8 %24, i8* %4
br label %25
25: ; preds = %22, %18
%26 = load volatile i8, i8* %3
%27 = load volatile i8, i8* %1
%28 = icmp sgt i8 %26, %27
br i1 %28, label %32, label %29
29: ; preds = %25
%30 = load volatile i8, i8* %4
%31 = or i8 %30, 4
store volatile i8 %31, i8* %4
br label %32
32: ; preds = %29, %25
%33 = load volatile i8, i8* %1
%34 = load volatile i8, i8* %3
%35 = icmp eq i8 %33, %34
br i1 %35, label %39, label %36
36: ; preds = %32
%37 = load volatile i8, i8* %4
%38 = or i8 %37, 8
store volatile i8 %38, i8* %4
br label %39
39: ; preds = %36, %32
%40 = load volatile i8, i8* %1
%41 = load volatile i8, i8* %2
%42 = icmp eq i8 %40, %41
br i1 %42, label %43, label %46
43: ; preds = %39
%44 = load volatile i8, i8* %4
%45 = or i8 %44, 16
store volatile i8 %45, i8* %4
br label %46
46: ; preds = %43, %39
%47 = load volatile i8, i8* %1
%48 = load volatile i8, i8* %2
%49 = icmp slt i8 %47, %48
br i1 %49, label %53, label %50
50: ; preds = %46
%51 = load volatile i8, i8* %4
%52 = or i8 %51, 32
store volatile i8 %52, i8* %4
br label %53
53: ; preds = %50, %46
%54 = load volatile i8, i8* %1
%55 = load volatile i8, i8* %2
%56 = icmp sgt i8 %54, %55
br i1 %56, label %60, label %57
57: ; preds = %53
%58 = load volatile i8, i8* %4
%59 = or i8 %58, 64
store volatile i8 %59, i8* %4
br label %60
60: ; preds = %57, %53
%61 = load volatile i8, i8* %1
%62 = icmp eq i8 %61, 0
br i1 %62, label %66, label %63
63: ; preds = %60
%64 = load volatile i8, i8* %4
%65 = or i8 %64, -128
store volatile i8 %65, i8* %4
br label %66
66: ; preds = %63, %60
%67 = load volatile i8, i8* %4
ret i8 %67
}