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 < 0 || 0 < prn)
      return 0;
    return (32 - 1 + 1) + prn - 0 + 1;
  case 0x08:
    if (prn < 0 || 0 < prn)
      return 0;
    return (32 - 1 + 1) + 0 + prn - 0 + 1;
  case 0x10:
    if (prn < 0 || 0 < prn)
      return 0;
    return (32 - 1 + 1) + 0 + 0 + prn - 0 + 1;
  case 0x20:
    if (prn < 0 || 0 < prn)
      return 0;
    return (32 - 1 + 1) + 0 + 0 + 0 + prn - 0 + 1;
  case 0x40:
    if (prn < 0 || 0 < prn)
      return 0;
    return (32 - 1 + 1) + 0 + 0 + 0 + 0 + prn - 0 + 1;
  case 0x02:
    if (prn < 120 || 142 < prn)
      return 0;
    return (32 - 1 + 1) + 0 + 0 + 0 + 0 + 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    12c6 <satno+0x1c6>
mov    -0x8(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x18(%rbp)
sub    $0x3f,%eax
ja     12bf <satno+0x1bf>
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    12c6 <satno+0x1c6>
mov    -0xc(%rbp),%eax
sub    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
cmpl   $0x0,-0xc(%rbp)
jl     1193 <satno+0x93>
xor    %eax,%eax
cmp    -0xc(%rbp),%eax
jge    119f <satno+0x9f>
movl   $0x0,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
mov    -0xc(%rbp),%eax
add    $0x20,%eax
sub    $0x0,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
cmpl   $0x0,-0xc(%rbp)
jl     11c8 <satno+0xc8>
xor    %eax,%eax
cmp    -0xc(%rbp),%eax
jge    11d4 <satno+0xd4>
movl   $0x0,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
mov    -0xc(%rbp),%eax
add    $0x20,%eax
sub    $0x0,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
cmpl   $0x0,-0xc(%rbp)
jl     11fd <satno+0xfd>
xor    %eax,%eax
cmp    -0xc(%rbp),%eax
jge    1209 <satno+0x109>
movl   $0x0,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
mov    -0xc(%rbp),%eax
add    $0x20,%eax
sub    $0x0,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
cmpl   $0x0,-0xc(%rbp)
jl     1232 <satno+0x132>
xor    %eax,%eax
cmp    -0xc(%rbp),%eax
jge    123e <satno+0x13e>
movl   $0x0,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
mov    -0xc(%rbp),%eax
add    $0x20,%eax
sub    $0x0,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
cmpl   $0x0,-0xc(%rbp)
jl     1267 <satno+0x167>
xor    %eax,%eax
cmp    -0xc(%rbp),%eax
jge    1273 <satno+0x173>
movl   $0x0,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
mov    -0xc(%rbp),%eax
add    $0x20,%eax
sub    $0x0,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
cmpl   $0x78,-0xc(%rbp)
jl     129f <satno+0x19f>
mov    $0x8e,%eax
cmp    -0xc(%rbp),%eax
jge    12ab <satno+0x1ab>
movl   $0x0,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
mov    -0xc(%rbp),%eax
add    $0x20,%eax
sub    $0x78,%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    12c6 <satno+0x1c6>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<satno>:
xor    %eax,%eax
test   %esi,%esi
jle    112a <satno+0x2a>
cmp    $0x2,%edi
je     1119 <satno+0x19>
cmp    $0x1,%edi
jne    112a <satno+0x2a>
xor    %eax,%eax
cmp    $0x21,%esi
cmovb  %esi,%eax
ret
lea    -0x8f(%rsi),%ecx
add    $0xffffffa9,%esi
xor    %eax,%eax
cmp    $0xffffffe9,%ecx
cmovae %esi,%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, 0
br i1 %24, label %28, label %25
25: ; preds = %22
%26 = load i32, i32* %5
%27 = icmp slt i32 0, %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, 0
%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 32, %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 32, %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, 0
br i1 %60, label %64, label %61
61: ; preds = %58
%62 = load i32, i32* %5
%63 = icmp slt i32 0, %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 32, %66
%68 = sub nsw i32 %67, 0
%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 32, %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 32, %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 %13, label %4
4: ; preds = %2
switch i32 %0, label %13 [
i32 1, label %5
i32 2, label %8
]
5: ; preds = %4
%6 = icmp ugt i32 %1, 32
%7 = select i1 %6, i32 0, i32 %1
br label %13
8: ; preds = %4
%9 = add nsw i32 %1, -143
%10 = icmp ult i32 %9, -23
%11 = add nsw i32 %1, -87
%12 = select i1 %10, i32 0, i32 %11
br label %13
13: ; preds = %8, %4, %5, %2
%14 = phi i32 [ 0, %2 ], [ %7, %5 ], [ 0, %4 ], [ %12, %8 ]
ret i32 %14
}