int is_ret(unsigned int inst) {
  int case0 = inst << 4 >> 25 == 0xd && inst << 20 >> 24 == 0x0 &&
              inst << 16 >> 28 == 0xf && (inst & 0xf) == 0xe;
  int case1 = inst << 4 >> 20 == 0x8bd && (inst & 0x8000) == 0x8000;
  int case2 = inst << 4 >> 10 == 0x4bffc && (inst & 0xf) == 0xe;
  int case3 = (inst << 4 >> 29 == 0x2 || inst << 4 >> 29 == 0x3) &&
              inst << 16 >> 28 == 0xf;
  return case0 || case1 || case2 || case3;
}


x86 assembly (clang, -O0):
<is_ret>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    -0x4(%rbp),%ecx
shl    $0x4,%ecx
shr    $0x19,%ecx
xor    %eax,%eax
cmp    $0xd,%ecx
mov    %al,-0x15(%rbp)
jne    115b <is_ret+0x5b>
mov    -0x4(%rbp),%ecx
shl    $0x14,%ecx
shr    $0x18,%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x15(%rbp)
jne    115b <is_ret+0x5b>
mov    -0x4(%rbp),%ecx
shl    $0x10,%ecx
shr    $0x1c,%ecx
xor    %eax,%eax
cmp    $0xf,%ecx
mov    %al,-0x15(%rbp)
jne    115b <is_ret+0x5b>
mov    -0x4(%rbp),%eax
and    $0xf,%eax
cmp    $0xe,%eax
sete   %al
mov    %al,-0x15(%rbp)
mov    -0x15(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x8(%rbp)
mov    -0x4(%rbp),%ecx
shl    $0x4,%ecx
shr    $0x14,%ecx
xor    %eax,%eax
cmp    $0x8bd,%ecx
mov    %al,-0x16(%rbp)
jne    1193 <is_ret+0x93>
mov    -0x4(%rbp),%eax
and    $0x8000,%eax
cmp    $0x8000,%eax
sete   %al
mov    %al,-0x16(%rbp)
mov    -0x16(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0xc(%rbp)
mov    -0x4(%rbp),%ecx
shl    $0x4,%ecx
shr    $0xa,%ecx
xor    %eax,%eax
cmp    $0x4bffc,%ecx
mov    %al,-0x17(%rbp)
jne    11c7 <is_ret+0xc7>
mov    -0x4(%rbp),%eax
and    $0xf,%eax
cmp    $0xe,%eax
sete   %al
mov    %al,-0x17(%rbp)
mov    -0x17(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x10(%rbp)
mov    -0x4(%rbp),%eax
shl    $0x4,%eax
shr    $0x1d,%eax
cmp    $0x2,%eax
je     11fb <is_ret+0xfb>
mov    -0x4(%rbp),%ecx
shl    $0x4,%ecx
shr    $0x1d,%ecx
xor    %eax,%eax
cmp    $0x3,%ecx
mov    %al,-0x18(%rbp)
jne    120d <is_ret+0x10d>
mov    -0x4(%rbp),%eax
shl    $0x10,%eax
shr    $0x1c,%eax
cmp    $0xf,%eax
sete   %al
mov    %al,-0x18(%rbp)
mov    -0x18(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x14(%rbp)
mov    $0x1,%al
cmpl   $0x0,-0x8(%rbp)
mov    %al,-0x19(%rbp)
jne    124f <is_ret+0x14f>
mov    $0x1,%al
cmpl   $0x0,-0xc(%rbp)
mov    %al,-0x19(%rbp)
jne    124f <is_ret+0x14f>
mov    $0x1,%al
cmpl   $0x0,-0x10(%rbp)
mov    %al,-0x19(%rbp)
jne    124f <is_ret+0x14f>
cmpl   $0x0,-0x14(%rbp)
setne  %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_ret>:
movd   %edi,%xmm0
pshufd $0x0,%xmm0,%xmm0
pand   0xeef(%rip),%xmm0
pcmpeqd 0xef7(%rip),%xmm0
movmskps %xmm0,%ecx
xor    %eax,%eax
test   %ecx,%ecx
setne  %al
ret

LLVM IR (-O0):
define i32 @is_ret(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 = shl i32 %7, 4
%9 = lshr i32 %8, 25
%10 = icmp eq i32 %9, 13
br i1 %10, label %11, label %25
11: ; preds = %1
%12 = load i32, i32* %2
%13 = shl i32 %12, 20
%14 = lshr i32 %13, 24
%15 = icmp eq i32 %14, 0
br i1 %15, label %16, label %25
16: ; preds = %11
%17 = load i32, i32* %2
%18 = shl i32 %17, 16
%19 = lshr i32 %18, 28
%20 = icmp eq i32 %19, 15
br i1 %20, label %21, label %25
21: ; preds = %16
%22 = load i32, i32* %2
%23 = and i32 %22, 15
%24 = icmp eq i32 %23, 14
br label %25
25: ; preds = %21, %16, %11, %1
%26 = phi i1 [ false, %16 ], [ false, %11 ], [ false, %1 ], [ %24, %21 ]
%27 = zext i1 %26 to i32
store i32 %27, i32* %3
%28 = load i32, i32* %2
%29 = shl i32 %28, 4
%30 = lshr i32 %29, 20
%31 = icmp eq i32 %30, 2237
br i1 %31, label %32, label %36
32: ; preds = %25
%33 = load i32, i32* %2
%34 = and i32 %33, 32768
%35 = icmp eq i32 %34, 32768
br label %36
36: ; preds = %32, %25
%37 = phi i1 [ false, %25 ], [ %35, %32 ]
%38 = zext i1 %37 to i32
store i32 %38, i32* %4
%39 = load i32, i32* %2
%40 = shl i32 %39, 4
%41 = lshr i32 %40, 10
%42 = icmp eq i32 %41, 311292
br i1 %42, label %43, label %47
43: ; preds = %36
%44 = load i32, i32* %2
%45 = and i32 %44, 15
%46 = icmp eq i32 %45, 14
br label %47
47: ; preds = %43, %36
%48 = phi i1 [ false, %36 ], [ %46, %43 ]
%49 = zext i1 %48 to i32
store i32 %49, i32* %5
%50 = load i32, i32* %2
%51 = shl i32 %50, 4
%52 = lshr i32 %51, 29
%53 = icmp eq i32 %52, 2
br i1 %53, label %59, label %54
54: ; preds = %47
%55 = load i32, i32* %2
%56 = shl i32 %55, 4
%57 = lshr i32 %56, 29
%58 = icmp eq i32 %57, 3
br i1 %58, label %59, label %64
59: ; preds = %54, %47
%60 = load i32, i32* %2
%61 = shl i32 %60, 16
%62 = lshr i32 %61, 28
%63 = icmp eq i32 %62, 15
br label %64
64: ; preds = %59, %54
%65 = phi i1 [ false, %54 ], [ %63, %59 ]
%66 = zext i1 %65 to i32
store i32 %66, i32* %6
%67 = load i32, i32* %3
%68 = icmp ne i32 %67, 0
br i1 %68, label %78, label %69
69: ; preds = %64
%70 = load i32, i32* %4
%71 = icmp ne i32 %70, 0
br i1 %71, label %78, label %72
72: ; preds = %69
%73 = load i32, i32* %5
%74 = icmp ne i32 %73, 0
br i1 %74, label %78, label %75
75: ; preds = %72
%76 = load i32, i32* %6
%77 = icmp ne i32 %76, 0
br label %78
78: ; preds = %75, %72, %69, %64
%79 = phi i1 [ true, %72 ], [ true, %69 ], [ true, %64 ], [ %77, %75 ]
%80 = zext i1 %79 to i32
ret i32 %80
}

LLVM IR (-O2):
define i32 @is_ret(i32 %0) {
%2 = insertelement <4 x i32> poison, i32 %0, i64 0
%3 = shufflevector <4 x i32> %2, <4 x i32> poison, <4 x i32> zeroinitializer
%4 = and <4 x i32> %3, <i32 201388032, i32 268435407, i32 268402688, i32 266403839>
%5 = icmp eq <4 x i32> %4, <i32 67170304, i32 19922702, i32 146636800, i32 27324430>
%6 = bitcast <4 x i1> %5 to i4
%7 = icmp ne i4 %6, 0
%8 = zext i1 %7 to i32
ret i32 %8
}