int f6(unsigned int a) {
  int v1 = (a <= 31);
  int v2 = (a >= 64 && a <= 95);
  int v3 = (a >= 128 && a <= 159);
  int v4 = (a >= 192 && a <= 223);
  return v1 || v2 || v3 || v4;
}


x86 assembly (clang, -O0):
<f6>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
cmpl   $0x1f,-0x4(%rbp)
setbe  %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x8(%rbp)
xor    %eax,%eax
cmpl   $0x40,-0x4(%rbp)
mov    %al,-0x15(%rbp)
jb     112f <f6+0x2f>
cmpl   $0x5f,-0x4(%rbp)
setbe  %al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0xc(%rbp)
xor    %eax,%eax
cmpl   $0x80,-0x4(%rbp)
mov    %al,-0x16(%rbp)
jb     1159 <f6+0x59>
cmpl   $0x9f,-0x4(%rbp)
setbe  %al
mov    %al,-0x16(%rbp)
mov    -0x16(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x10(%rbp)
xor    %eax,%eax
cmpl   $0xc0,-0x4(%rbp)
mov    %al,-0x17(%rbp)
jb     1183 <f6+0x83>
cmpl   $0xdf,-0x4(%rbp)
setbe  %al
mov    %al,-0x17(%rbp)
mov    -0x17(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
mov    $0x1,%al
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x18(%rbp)
jne    11c5 <f6+0xc5>
mov    $0x1,%al
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x18(%rbp)
jne    11c5 <f6+0xc5>
mov    $0x1,%al
cmpl   $0x0,-0x10(%rbp)
mov    %al,-0x18(%rbp)
jne    11c5 <f6+0xc5>
cmpl   $0x0,-0x14(%rbp)
setne  %al
mov    %al,-0x18(%rbp)
mov    -0x18(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<f6>:
cmp    $0x20,%edi
setb   %al
mov    %edi,%ecx
and    $0xffffffe0,%ecx
cmp    $0x40,%ecx
sete   %cl
or     %al,%cl
and    $0xffffffa0,%edi
cmp    $0x80,%edi
sete   %al
or     %cl,%al
movzbl %al,%eax
ret

LLVM IR (-O0):
define i32 @f6(i32 %0) {
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i32 %0, i32* %2
%7 = load i32, i32* %2
%8 = icmp ule i32 %7, 31
%9 = zext i1 %8 to i32
store i32 %9, i32* %3
%10 = load i32, i32* %2
%11 = icmp uge i32 %10, 64
br i1 %11, label %12, label %15
12: ; preds = %1
%13 = load i32, i32* %2
%14 = icmp ule i32 %13, 95
br label %15
15: ; preds = %12, %1
%16 = phi i1 [ false, %1 ], [ %14, %12 ]
%17 = zext i1 %16 to i32
store i32 %17, i32* %4
%18 = load i32, i32* %2
%19 = icmp uge i32 %18, 128
br i1 %19, label %20, label %23
20: ; preds = %15
%21 = load i32, i32* %2
%22 = icmp ule i32 %21, 159
br label %23
23: ; preds = %20, %15
%24 = phi i1 [ false, %15 ], [ %22, %20 ]
%25 = zext i1 %24 to i32
store i32 %25, i32* %5
%26 = load i32, i32* %2
%27 = icmp uge i32 %26, 192
br i1 %27, label %28, label %31
28: ; preds = %23
%29 = load i32, i32* %2
%30 = icmp ule i32 %29, 223
br label %31
31: ; preds = %28, %23
%32 = phi i1 [ false, %23 ], [ %30, %28 ]
%33 = zext i1 %32 to i32
store i32 %33, i32* %6
%34 = load i32, i32* %3
%35 = icmp ne i32 %34, 0
br i1 %35, label %45, label %36
36: ; preds = %31
%37 = load i32, i32* %4
%38 = icmp ne i32 %37, 0
br i1 %38, label %45, label %39
39: ; preds = %36
%40 = load i32, i32* %5
%41 = icmp ne i32 %40, 0
br i1 %41, label %45, label %42
42: ; preds = %39
%43 = load i32, i32* %6
%44 = icmp ne i32 %43, 0
br label %45
45: ; preds = %42, %39, %36, %31
%46 = phi i1 [ true, %39 ], [ true, %36 ], [ true, %31 ], [ %44, %42 ]
%47 = zext i1 %46 to i32
ret i32 %47
}

LLVM IR (-O2):
define i32 @f6(i32 %0) {
%2 = icmp ult i32 %0, 32
%3 = and i32 %0, -32
%4 = icmp eq i32 %3, 64
%5 = or i1 %2, %4
%6 = and i32 %0, -96
%7 = icmp eq i32 %6, 128
%8 = or i1 %7, %5
%9 = zext i1 %8 to i32
ret i32 %9
}