long sparse_switch_eg(long x, long y, long z) {
  long w = 1;
  switch (x) {
  case 100:
    w = y * z;
    break;
  case 200:
    w = y / z;
  case 300:
    w += z;
    break;
  case 500:
  case 600:
    w -= z;
    break;
  default:
    w = 2;
  }
  return w;
}


x86 assembly (clang, -O0):
<sparse_switch_eg>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movq   $0x1,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
sub    $0x64,%rax
je     1183 <sparse_switch_eg+0x83>
jmp    112f <sparse_switch_eg+0x2f>
mov    -0x28(%rbp),%rax
sub    $0xc8,%rax
je     1195 <sparse_switch_eg+0x95>
jmp    1144 <sparse_switch_eg+0x44>
mov    -0x28(%rbp),%rax
sub    $0x12c,%rax
je     11a3 <sparse_switch_eg+0xa3>
jmp    1159 <sparse_switch_eg+0x59>
mov    -0x28(%rbp),%rax
sub    $0x1f4,%rax
je     11b4 <sparse_switch_eg+0xb4>
jmp    116e <sparse_switch_eg+0x6e>
mov    -0x28(%rbp),%rax
sub    $0x258,%rax
je     11b4 <sparse_switch_eg+0xb4>
jmp    11c8 <sparse_switch_eg+0xc8>
mov    -0x10(%rbp),%rax
imul   -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    11d0 <sparse_switch_eg+0xd0>
mov    -0x10(%rbp),%rax
cqto
idivq  -0x18(%rbp)
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    11d0 <sparse_switch_eg+0xd0>
mov    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%rax
sub    %rcx,%rax
mov    %rax,-0x20(%rbp)
jmp    11d0 <sparse_switch_eg+0xd0>
movq   $0x2,-0x20(%rbp)
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<sparse_switch_eg>:
mov    %rdx,%rcx
mov    $0x2,%eax
cmp    $0x12b,%rdi
jle    1135 <sparse_switch_eg+0x35>
cmp    $0x12c,%rdi
je     115a <sparse_switch_eg+0x5a>
cmp    $0x1f4,%rdi
je     112c <sparse_switch_eg+0x2c>
cmp    $0x258,%rdi
jne    1172 <sparse_switch_eg+0x72>
mov    $0x1,%eax
sub    %rcx,%rax
ret
cmp    $0x64,%rdi
je     1161 <sparse_switch_eg+0x61>
cmp    $0xc8,%rdi
jne    1172 <sparse_switch_eg+0x72>
mov    %rsi,%rax
or     %rcx,%rax
shr    $0x20,%rax
je     1169 <sparse_switch_eg+0x69>
mov    %rsi,%rax
cqto
idiv   %rcx
jmp    116f <sparse_switch_eg+0x6f>
mov    $0x1,%eax
jmp    116f <sparse_switch_eg+0x6f>
imul   %rsi,%rcx
mov    %rcx,%rax
ret
mov    %esi,%eax
xor    %edx,%edx
div    %ecx
add    %rcx,%rax
ret

LLVM IR (-O0):
define i64 @sparse_switch_eg(i64 %0, i64 %1, i64 %2) {
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
store i64 %0, i64* %4
store i64 %1, i64* %5
store i64 %2, i64* %6
store i64 1, i64* %7
%8 = load i64, i64* %4
switch i64 %8, label %25 [
i64 100, label %9
i64 200, label %13
i64 300, label %17
i64 500, label %21
i64 600, label %21
]
9: ; preds = %3
%10 = load i64, i64* %5
%11 = load i64, i64* %6
%12 = mul nsw i64 %10, %11
store i64 %12, i64* %7
br label %26
13: ; preds = %3
%14 = load i64, i64* %5
%15 = load i64, i64* %6
%16 = sdiv i64 %14, %15
store i64 %16, i64* %7
br label %17
17: ; preds = %3, %13
%18 = load i64, i64* %6
%19 = load i64, i64* %7
%20 = add nsw i64 %19, %18
store i64 %20, i64* %7
br label %26
21: ; preds = %3, %3
%22 = load i64, i64* %6
%23 = load i64, i64* %7
%24 = sub nsw i64 %23, %22
store i64 %24, i64* %7
br label %26
25: ; preds = %3
store i64 2, i64* %7
br label %26
26: ; preds = %25, %21, %17, %9
%27 = load i64, i64* %7
ret i64 %27
}

LLVM IR (-O2):
define i64 @sparse_switch_eg(i64 %0, i64 %1, i64 %2) {
switch i64 %0, label %13 [
i64 100, label %4
i64 200, label %6
i64 300, label %8
i64 500, label %11
i64 600, label %11
]
4: ; preds = %3
%5 = mul nsw i64 %2, %1
br label %13
6: ; preds = %3
%7 = sdiv i64 %1, %2
br label %8
8: ; preds = %3, %6
%9 = phi i64 [ 1, %3 ], [ %7, %6 ]
%10 = add nsw i64 %9, %2
br label %13
11: ; preds = %3, %3
%12 = sub nsw i64 1, %2
br label %13
13: ; preds = %3, %11, %8, %4
%14 = phi i64 [ %12, %11 ], [ %10, %8 ], [ %5, %4 ], [ 2, %3 ]
ret i64 %14
}