extern int satno(int sys, int prn) {
  if (prn <= 0) {
    return 0;
  }
  switch (sys) {
  case 0x01:
    if (prn < 1 || 32 < prn) {
      return 0;
    }
    return prn - 1 + 1;
  case 0x04:
    if (prn < 1 || 24 < prn) {
      return 0;
    }
    return (32 - 1 + 1) + prn - 1 + 1;
  case 0x08:
    if (prn < 0 || 0 < prn) {
      return 0;
    }
    return (32 - 1 + 1) + (24 - 1 + 1) + prn - 0 + 1;
  case 0x10:
    if (prn < 0 || 0 < prn) {
      return 0;
    }
    return (32 - 1 + 1) + (24 - 1 + 1) + 0 + prn - 0 + 1;
  case 0x20:
    if (prn < 1 || 35 < prn) {
      return 0;
    }
    return (32 - 1 + 1) + (24 - 1 + 1) + 0 + 0 + prn - 1 + 1;
  case 0x40:
    if (prn < 0 || 0 < prn) {
      return 0;
    }
    return (32 - 1 + 1) + (24 - 1 + 1) + 0 + 0 + (35 - 1 + 1) + prn - 0 + 1;
  case 0x02:
    if (prn < 120 || 142 < prn) {
      return 0;
    }
    return (32 - 1 + 1) + (24 - 1 + 1) + 0 + 0 + (35 - 1 + 1) + 0 + prn - 120 +
           1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<satno>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x0,-0xc(%rbp)
jg     1120 <satno+0x20>
movl   $0x0,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x18(%rbp)
sub    $0x3f,%eax
ja     12c5 <satno+0x1c5>
mov    -0x18(%rbp),%rax
lea    0xec0(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
cmpl   $0x1,-0xc(%rbp)
jl     1161 <satno+0x61>
mov    $0x20,%eax
cmp    -0xc(%rbp),%eax
jge    116d <satno+0x6d>
movl   $0x0,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
cmpl   $0x1,-0xc(%rbp)
jl     1196 <satno+0x96>
mov    $0x18,%eax
cmp    -0xc(%rbp),%eax
jge    11a2 <satno+0xa2>
movl   $0x0,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
mov    -0xc(%rbp),%eax
add    $0x20,%eax
sub    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
cmpl   $0x0,-0xc(%rbp)
jl     11cb <satno+0xcb>
xor    %eax,%eax
cmp    -0xc(%rbp),%eax
jge    11d7 <satno+0xd7>
movl   $0x0,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
mov    -0xc(%rbp),%eax
add    $0x38,%eax
sub    $0x0,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
cmpl   $0x0,-0xc(%rbp)
jl     1200 <satno+0x100>
xor    %eax,%eax
cmp    -0xc(%rbp),%eax
jge    120c <satno+0x10c>
movl   $0x0,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
mov    -0xc(%rbp),%eax
add    $0x38,%eax
sub    $0x0,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
cmpl   $0x1,-0xc(%rbp)
jl     1238 <satno+0x138>
mov    $0x23,%eax
cmp    -0xc(%rbp),%eax
jge    1244 <satno+0x144>
movl   $0x0,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
mov    -0xc(%rbp),%eax
add    $0x38,%eax
sub    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
cmpl   $0x0,-0xc(%rbp)
jl     126d <satno+0x16d>
xor    %eax,%eax
cmp    -0xc(%rbp),%eax
jge    1279 <satno+0x179>
movl   $0x0,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
mov    -0xc(%rbp),%eax
add    $0x5b,%eax
sub    $0x0,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
cmpl   $0x78,-0xc(%rbp)
jl     12a5 <satno+0x1a5>
mov    $0x8e,%eax
cmp    -0xc(%rbp),%eax
jge    12b1 <satno+0x1b1>
movl   $0x0,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
mov    -0xc(%rbp),%eax
add    $0x5b,%eax
sub    $0x78,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12cc <satno+0x1cc>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<satno>:
xor    %eax,%eax
test   %esi,%esi
jle    1138 <satno+0x38>
add    $0xffffffff,%edi
cmp    $0x1f,%edi
ja     1138 <satno+0x38>
lea    0xeeb(%rip),%rcx
movslq (%rcx,%rdi,4),%rdx
add    %rcx,%rdx
jmp    *%rdx
xor    %eax,%eax
cmp    $0x21,%esi
cmovb  %esi,%eax
ret
lea    -0x8f(%rsi),%ecx
add    $0xffffffe4,%esi
xor    %eax,%eax
cmp    $0xffffffe9,%ecx
cmovae %esi,%eax
ret
lea    0x20(%rsi),%ecx
xor    %eax,%eax
cmp    $0x19,%esi
cmovb  %ecx,%eax
ret
lea    0x38(%rsi),%ecx
xor    %eax,%eax
cmp    $0x24,%esi
cmovb  %ecx,%eax
ret

LLVM IR (-O0):
define i32 @satno(i32 %0, i32 %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
store i32 %0, i32* %4
store i32 %1, i32* %5
%6 = load i32, i32* %5
%7 = icmp sle i32 %6, 0
br i1 %7, label %8, label %9
8: ; preds = %2
store i32 0, i32* %3
br label %95
9: ; preds = %2
%10 = load i32, i32* %4
switch i32 %10, label %94 [
i32 1, label %11
i32 4, label %22
i32 8, label %34
i32 16, label %46
i32 32, label %58
i32 64, label %70
i32 2, label %82
]
11: ; preds = %9
%12 = load i32, i32* %5
%13 = icmp slt i32 %12, 1
br i1 %13, label %17, label %14
14: ; preds = %11
%15 = load i32, i32* %5
%16 = icmp slt i32 32, %15
br i1 %16, label %17, label %18
17: ; preds = %14, %11
store i32 0, i32* %3
br label %95
18: ; preds = %14
%19 = load i32, i32* %5
%20 = sub nsw i32 %19, 1
%21 = add nsw i32 %20, 1
store i32 %21, i32* %3
br label %95
22: ; preds = %9
%23 = load i32, i32* %5
%24 = icmp slt i32 %23, 1
br i1 %24, label %28, label %25
25: ; preds = %22
%26 = load i32, i32* %5
%27 = icmp slt i32 24, %26
br i1 %27, label %28, label %29
28: ; preds = %25, %22
store i32 0, i32* %3
br label %95
29: ; preds = %25
%30 = load i32, i32* %5
%31 = add nsw i32 32, %30
%32 = sub nsw i32 %31, 1
%33 = add nsw i32 %32, 1
store i32 %33, i32* %3
br label %95
34: ; preds = %9
%35 = load i32, i32* %5
%36 = icmp slt i32 %35, 0
br i1 %36, label %40, label %37
37: ; preds = %34
%38 = load i32, i32* %5
%39 = icmp slt i32 0, %38
br i1 %39, label %40, label %41
40: ; preds = %37, %34
store i32 0, i32* %3
br label %95
41: ; preds = %37
%42 = load i32, i32* %5
%43 = add nsw i32 56, %42
%44 = sub nsw i32 %43, 0
%45 = add nsw i32 %44, 1
store i32 %45, i32* %3
br label %95
46: ; preds = %9
%47 = load i32, i32* %5
%48 = icmp slt i32 %47, 0
br i1 %48, label %52, label %49
49: ; preds = %46
%50 = load i32, i32* %5
%51 = icmp slt i32 0, %50
br i1 %51, label %52, label %53
52: ; preds = %49, %46
store i32 0, i32* %3
br label %95
53: ; preds = %49
%54 = load i32, i32* %5
%55 = add nsw i32 56, %54
%56 = sub nsw i32 %55, 0
%57 = add nsw i32 %56, 1
store i32 %57, i32* %3
br label %95
58: ; preds = %9
%59 = load i32, i32* %5
%60 = icmp slt i32 %59, 1
br i1 %60, label %64, label %61
61: ; preds = %58
%62 = load i32, i32* %5
%63 = icmp slt i32 35, %62
br i1 %63, label %64, label %65
64: ; preds = %61, %58
store i32 0, i32* %3
br label %95
65: ; preds = %61
%66 = load i32, i32* %5
%67 = add nsw i32 56, %66
%68 = sub nsw i32 %67, 1
%69 = add nsw i32 %68, 1
store i32 %69, i32* %3
br label %95
70: ; preds = %9
%71 = load i32, i32* %5
%72 = icmp slt i32 %71, 0
br i1 %72, label %76, label %73
73: ; preds = %70
%74 = load i32, i32* %5
%75 = icmp slt i32 0, %74
br i1 %75, label %76, label %77
76: ; preds = %73, %70
store i32 0, i32* %3
br label %95
77: ; preds = %73
%78 = load i32, i32* %5
%79 = add nsw i32 91, %78
%80 = sub nsw i32 %79, 0
%81 = add nsw i32 %80, 1
store i32 %81, i32* %3
br label %95
82: ; preds = %9
%83 = load i32, i32* %5
%84 = icmp slt i32 %83, 120
br i1 %84, label %88, label %85
85: ; preds = %82
%86 = load i32, i32* %5
%87 = icmp slt i32 142, %86
br i1 %87, label %88, label %89
88: ; preds = %85, %82
store i32 0, i32* %3
br label %95
89: ; preds = %85
%90 = load i32, i32* %5
%91 = add nsw i32 91, %90
%92 = sub nsw i32 %91, 120
%93 = add nsw i32 %92, 1
store i32 %93, i32* %3
br label %95
94: ; preds = %9
store i32 0, i32* %3
br label %95
95: ; preds = %94, %89, %88, %77, %76, %65, %64, %53, %52, %41, %40, %29, %28, %18, %17, %8
%96 = load i32, i32* %3
ret i32 %96
}

LLVM IR (-O2):
define i32 @satno(i32 %0, i32 %1) {
%3 = icmp slt i32 %1, 1
br i1 %3, label %21, label %4
4: ; preds = %2
switch i32 %0, label %21 [
i32 1, label %5
i32 4, label %8
i32 2, label %16
i32 32, label %12
]
5: ; preds = %4
%6 = icmp ugt i32 %1, 32
%7 = select i1 %6, i32 0, i32 %1
br label %21
8: ; preds = %4
%9 = icmp ugt i32 %1, 24
%10 = add nuw nsw i32 %1, 32
%11 = select i1 %9, i32 0, i32 %10
br label %21
12: ; preds = %4
%13 = icmp ugt i32 %1, 35
%14 = add nuw nsw i32 %1, 56
%15 = select i1 %13, i32 0, i32 %14
br label %21
16: ; preds = %4
%17 = add nsw i32 %1, -143
%18 = icmp ult i32 %17, -23
%19 = add nsw i32 %1, -28
%20 = select i1 %18, i32 0, i32 %19
br label %21
21: ; preds = %16, %12, %8, %4, %5, %2
%22 = phi i32 [ 0, %2 ], [ %7, %5 ], [ 0, %4 ], [ %11, %8 ], [ %15, %12 ], [ %20, %16 ]
ret i32 %22
}