int foo(unsigned char c) {
  switch (c) {
  case 42:
  case -1:
    return -1;
  };
  switch (c) {
  case 42:
  case 300:
    return -1;
  };
  switch (c) {
  case 42:
  case -1 ... 2:
    return -1;
  };
  switch (c) {
  case 42:
  case 250 ... 300:
    return -1;
  };
  return 0;
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
mov    %dil,%al
mov    %al,-0x5(%rbp)
movzbl -0x5(%rbp),%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
test   %al,%al
jne    1131 <foo+0x31>
jmp    1120 <foo+0x20>
mov    -0xc(%rbp),%eax
sub    $0x2a,%eax
jne    113d <foo+0x3d>
jmp    1131 <foo+0x31>
movl   $0xffffffff,-0x4(%rbp)
jmp    11ee <foo+0xee>
movzbl -0x5(%rbp),%eax
mov    %eax,-0x10(%rbp)
sub    $0x2a,%eax
je     1165 <foo+0x65>
jmp    1152 <foo+0x52>
mov    -0x10(%rbp),%eax
sub    $0x12c,%eax
jne    1171 <foo+0x71>
jmp    1165 <foo+0x65>
movl   $0xffffffff,-0x4(%rbp)
jmp    11ee <foo+0xee>
movzbl -0x5(%rbp),%eax
mov    %eax,-0x14(%rbp)
add    $0x1,%eax
sub    $0x4,%eax
jb     119f <foo+0x9f>
jmp    1189 <foo+0x89>
mov    -0x14(%rbp),%eax
sub    $0x2a,%eax
jne    11ab <foo+0xab>
jmp    119a <foo+0x9a>
jmp    119f <foo+0x9f>
movl   $0xffffffff,-0x4(%rbp)
jmp    11ee <foo+0xee>
movzbl -0x5(%rbp),%eax
mov    %eax,-0x18(%rbp)
sub    $0x2a,%eax
je     11d6 <foo+0xd6>
jmp    11c0 <foo+0xc0>
mov    -0x18(%rbp),%eax
add    $0xffffff06,%eax
sub    $0x33,%eax
jb     11db <foo+0xdb>
jmp    11e7 <foo+0xe7>
jmp    11db <foo+0xdb>
movl   $0xffffffff,-0x4(%rbp)
jmp    11ee <foo+0xee>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
mov    $0xffffffff,%eax
lea    0x6(%rdi),%ecx
cmp    $0x9,%cl
jae    110e <foo+0xe>
ret
cmp    $0x2a,%dil
je     110d <foo+0xd>
xor    %eax,%eax
ret

LLVM IR (-O0):
define i32 @foo(i8 zeroext %0) {
%2 = alloca i32
%3 = alloca i8
store i8 %0, i8* %3
%4 = load i8, i8* %3
%5 = zext i8 %4 to i32
switch i32 %5, label %7 [
i32 42, label %6
i32 -1, label %6
]
6: ; preds = %1, %1
store i32 -1, i32* %2
br label %22
7: ; preds = %1
%8 = load i8, i8* %3
%9 = zext i8 %8 to i32
switch i32 %9, label %11 [
i32 42, label %10
i32 300, label %10
]
10: ; preds = %7, %7
store i32 -1, i32* %2
br label %22
11: ; preds = %7
%12 = load i8, i8* %3
%13 = zext i8 %12 to i32
switch i32 %13, label %16 [
i32 42, label %14
i32 -1, label %15
i32 0, label %15
i32 1, label %15
i32 2, label %15
]
14: ; preds = %11
br label %15
15: ; preds = %11, %11, %11, %11, %14
store i32 -1, i32* %2
br label %22
16: ; preds = %11
%17 = load i8, i8* %3
%18 = zext i8 %17 to i32
switch i32 %18, label %21 [
i32 42, label %19
i32 250, label %20
i32 251, label %20
i32 252, label %20
i32 253, label %20
i32 254, label %20
i32 255, label %20
i32 256, label %20
i32 257, label %20
i32 258, label %20
i32 259, label %20
i32 260, label %20
i32 261, label %20
i32 262, label %20
i32 263, label %20
i32 264, label %20
i32 265, label %20
i32 266, label %20
i32 267, label %20
i32 268, label %20
i32 269, label %20
i32 270, label %20
i32 271, label %20
i32 272, label %20
i32 273, label %20
i32 274, label %20
i32 275, label %20
i32 276, label %20
i32 277, label %20
i32 278, label %20
i32 279, label %20
i32 280, label %20
i32 281, label %20
i32 282, label %20
i32 283, label %20
i32 284, label %20
i32 285, label %20
i32 286, label %20
i32 287, label %20
i32 288, label %20
i32 289, label %20
i32 290, label %20
i32 291, label %20
i32 292, label %20
i32 293, label %20
i32 294, label %20
i32 295, label %20
i32 296, label %20
i32 297, label %20
i32 298, label %20
i32 299, label %20
i32 300, label %20
]
19: ; preds = %16
br label %20
20: ; preds = %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %16, %19
store i32 -1, i32* %2
br label %22
21: ; preds = %16
store i32 0, i32* %2
br label %22
22: ; preds = %21, %20, %15, %10, %6
%23 = load i32, i32* %2
ret i32 %23
}

LLVM IR (-O2):
define i32 @foo(i8 zeroext %0) {
switch i8 %0, label %2 [
i8 42, label %3
i8 1, label %3
i8 2, label %3
i8 0, label %3
i8 -1, label %3
i8 -6, label %3
i8 -5, label %3
i8 -4, label %3
i8 -3, label %3
i8 -2, label %3
]
2: ; preds = %1
br label %3
3: ; preds = %1, %1, %1, %1, %1, %1, %1, %1, %1, %1, %2
%4 = phi i32 [ 0, %2 ], [ -1, %1 ], [ -1, %1 ], [ -1, %1 ], [ -1, %1 ], [ -1, %1 ], [ -1, %1 ], [ -1, %1 ], [ -1, %1 ], [ -1, %1 ], [ -1, %1 ]
ret i32 %4
}