signed long test_cond(int i) {
  switch (i) {
  case 1:
    i += 1;
    break;
  case -1:
    i -= 10;
    break;
  default:
    return i;
  }
  if (i == 2)
    i += 1;
  else
    i -= 10;
  if (i > 2)
    i += 1;
  else
    i -= 10;
  if (i >= 4)
    i += 1;
  else
    i -= 10;
  if (i <= 5)
    i += 1;
  else
    i -= 10;
  if (i < 7)
    i += 1;
  else
    i -= 10;
  if (i != 666)
    i += 1;
  else
    i -= 10;
  return i;
}


x86 assembly (clang, -O0):
<test_cond>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
sub    $0xffffffff,%eax
je     113a <test_cond+0x3a>
jmp    111b <test_cond+0x1b>
mov    -0x10(%rbp),%eax
sub    $0x1,%eax
jne    1148 <test_cond+0x48>
jmp    112c <test_cond+0x2c>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1155 <test_cond+0x55>
mov    -0xc(%rbp),%eax
sub    $0xa,%eax
mov    %eax,-0xc(%rbp)
jmp    1155 <test_cond+0x55>
movslq -0xc(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1226 <test_cond+0x126>
cmpl   $0x2,-0xc(%rbp)
jne    116d <test_cond+0x6d>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1176 <test_cond+0x76>
mov    -0xc(%rbp),%eax
sub    $0xa,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x2,-0xc(%rbp)
jle    118e <test_cond+0x8e>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    1197 <test_cond+0x97>
mov    -0xc(%rbp),%eax
sub    $0xa,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x4,-0xc(%rbp)
jl     11af <test_cond+0xaf>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11b8 <test_cond+0xb8>
mov    -0xc(%rbp),%eax
sub    $0xa,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x5,-0xc(%rbp)
jg     11d0 <test_cond+0xd0>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11d9 <test_cond+0xd9>
mov    -0xc(%rbp),%eax
sub    $0xa,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x7,-0xc(%rbp)
jge    11f1 <test_cond+0xf1>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11fa <test_cond+0xfa>
mov    -0xc(%rbp),%eax
sub    $0xa,%eax
mov    %eax,-0xc(%rbp)
cmpl   $0x29a,-0xc(%rbp)
je     1215 <test_cond+0x115>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    121e <test_cond+0x11e>
mov    -0xc(%rbp),%eax
sub    $0xa,%eax
mov    %eax,-0xc(%rbp)
movslq -0xc(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_cond>:
cmp    $0xffffffff,%edi
je     1110 <test_cond+0x10>
mov    $0x8,%eax
cmp    $0x1,%edi
jne    1118 <test_cond+0x18>
ret
mov    $0xffffffffffffffda,%rax
ret
movslq %edi,%rax
ret

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

LLVM IR (-O2):
define i64 @test_cond(i32 %0) {
switch i32 %0, label %2 [
i32 1, label %5
i32 -1, label %4
]
2: ; preds = %1
%3 = sext i32 %0 to i64
br label %5
4: ; preds = %1
br label %5
5: ; preds = %4, %1, %2
%6 = phi i64 [ %3, %2 ], [ -38, %4 ], [ 8, %1 ]
ret i64 %6
}