int Cyc_Absyn_attribute_case_number(void *att) {
  void *_tmp25D = att;
  switch (*((int *)_tmp25D)) {
  case 0U:
  _LL1:
  _LL2:
    return 0;
  case 1U:
  _LL3:
  _LL4:
    return 1;
  case 2U:
  _LL5:
  _LL6:
    return 2;
  case 3U:
  _LL7:
  _LL8:
    return 3;
  case 4U:
  _LL9:
  _LLA:
    return 4;
  case 5U:
  _LLB:
  _LLC:
    return 5;
  case 6U:
  _LLD:
  _LLE:
    return 6;
  case 7U:
  _LLF:
  _LL10:
    return 7;
  case 8U:
  _LL11:
  _LL12:
    return 8;
  case 9U:
  _LL13:
  _LL14:
    return 9;
  case 10U:
  _LL15:
  _LL16:
    return 10;
  case 11U:
  _LL17:
  _LL18:
    return 11;
  case 12U:
  _LL19:
  _LL1A:
    return 12;
  case 13U:
  _LL1B:
  _LL1C:
    return 13;
  case 14U:
  _LL1D:
  _LL1E:
    return 14;
  case 15U:
  _LL1F:
  _LL20:
    return 15;
  case 16U:
  _LL21:
  _LL22:
    return 16;
  case 17U:
  _LL23:
  _LL24:
    return 17;
  case 18U:
  _LL25:
  _LL26:
    return 18;
  case 19U:
  _LL27:
  _LL28:
    return 19;
  case 20U:
  _LL29:
  _LL2A:
    return 20;
  default:
  _LL2B:
  _LL2C:
    return 21;
  }
_LL0:;
}


x86 assembly (clang, -O0):
<Cyc_Absyn_attribute_case_number>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %rax,-0x20(%rbp)
sub    $0x14,%rax
ja     1306 <Cyc_Absyn_attribute_case_number+0x206>
mov    -0x20(%rbp),%rax
lea    0xed1(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
jmp    113d <Cyc_Absyn_attribute_case_number+0x3d>
jmp    1142 <Cyc_Absyn_attribute_case_number+0x42>
movl   $0x0,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    1153 <Cyc_Absyn_attribute_case_number+0x53>
jmp    1158 <Cyc_Absyn_attribute_case_number+0x58>
movl   $0x1,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    1169 <Cyc_Absyn_attribute_case_number+0x69>
jmp    116e <Cyc_Absyn_attribute_case_number+0x6e>
movl   $0x2,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    117f <Cyc_Absyn_attribute_case_number+0x7f>
jmp    1184 <Cyc_Absyn_attribute_case_number+0x84>
movl   $0x3,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    1195 <Cyc_Absyn_attribute_case_number+0x95>
jmp    119a <Cyc_Absyn_attribute_case_number+0x9a>
movl   $0x4,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    11ab <Cyc_Absyn_attribute_case_number+0xab>
jmp    11b0 <Cyc_Absyn_attribute_case_number+0xb0>
movl   $0x5,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    11c1 <Cyc_Absyn_attribute_case_number+0xc1>
jmp    11c6 <Cyc_Absyn_attribute_case_number+0xc6>
movl   $0x6,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    11d7 <Cyc_Absyn_attribute_case_number+0xd7>
jmp    11dc <Cyc_Absyn_attribute_case_number+0xdc>
movl   $0x7,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    11ed <Cyc_Absyn_attribute_case_number+0xed>
jmp    11f2 <Cyc_Absyn_attribute_case_number+0xf2>
movl   $0x8,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    1203 <Cyc_Absyn_attribute_case_number+0x103>
jmp    1208 <Cyc_Absyn_attribute_case_number+0x108>
movl   $0x9,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    1219 <Cyc_Absyn_attribute_case_number+0x119>
jmp    121e <Cyc_Absyn_attribute_case_number+0x11e>
movl   $0xa,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    122f <Cyc_Absyn_attribute_case_number+0x12f>
jmp    1234 <Cyc_Absyn_attribute_case_number+0x134>
movl   $0xb,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    1245 <Cyc_Absyn_attribute_case_number+0x145>
jmp    124a <Cyc_Absyn_attribute_case_number+0x14a>
movl   $0xc,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    125b <Cyc_Absyn_attribute_case_number+0x15b>
jmp    1260 <Cyc_Absyn_attribute_case_number+0x160>
movl   $0xd,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    1271 <Cyc_Absyn_attribute_case_number+0x171>
jmp    1276 <Cyc_Absyn_attribute_case_number+0x176>
movl   $0xe,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    1287 <Cyc_Absyn_attribute_case_number+0x187>
jmp    128c <Cyc_Absyn_attribute_case_number+0x18c>
movl   $0xf,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    129d <Cyc_Absyn_attribute_case_number+0x19d>
jmp    12a2 <Cyc_Absyn_attribute_case_number+0x1a2>
movl   $0x10,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    12b3 <Cyc_Absyn_attribute_case_number+0x1b3>
jmp    12b8 <Cyc_Absyn_attribute_case_number+0x1b8>
movl   $0x11,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    12c9 <Cyc_Absyn_attribute_case_number+0x1c9>
jmp    12ce <Cyc_Absyn_attribute_case_number+0x1ce>
movl   $0x12,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    12df <Cyc_Absyn_attribute_case_number+0x1df>
jmp    12e4 <Cyc_Absyn_attribute_case_number+0x1e4>
movl   $0x13,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    12f5 <Cyc_Absyn_attribute_case_number+0x1f5>
jmp    12fa <Cyc_Absyn_attribute_case_number+0x1fa>
movl   $0x14,-0x4(%rbp)
jmp    1317 <Cyc_Absyn_attribute_case_number+0x217>
jmp    130b <Cyc_Absyn_attribute_case_number+0x20b>
jmp    1310 <Cyc_Absyn_attribute_case_number+0x210>
movl   $0x15,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Cyc_Absyn_attribute_case_number>:
mov    (%rdi),%ecx
cmp    $0x15,%ecx
mov    $0x15,%eax
cmovb  %ecx,%eax
ret

LLVM IR (-O0):
define i32 @Cyc_Absyn_attribute_case_number(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i8*
store i8* %0, i8** %3
%5 = load i8*, i8** %3
store i8* %5, i8** %4
%6 = load i8*, i8** %4
%7 = bitcast i8* %6 to i32*
%8 = load i32, i32* %7
switch i32 %8, label %72 [
i32 0, label %9
i32 1, label %12
i32 2, label %15
i32 3, label %18
i32 4, label %21
i32 5, label %24
i32 6, label %27
i32 7, label %30
i32 8, label %33
i32 9, label %36
i32 10, label %39
i32 11, label %42
i32 12, label %45
i32 13, label %48
i32 14, label %51
i32 15, label %54
i32 16, label %57
i32 17, label %60
i32 18, label %63
i32 19, label %66
i32 20, label %69
]
9: ; preds = %1
br label %10
10: ; preds = %9
br label %11
11: ; preds = %10
store i32 0, i32* %2
br label %76
12: ; preds = %1
br label %13
13: ; preds = %12
br label %14
14: ; preds = %13
store i32 1, i32* %2
br label %76
15: ; preds = %1
br label %16
16: ; preds = %15
br label %17
17: ; preds = %16
store i32 2, i32* %2
br label %76
18: ; preds = %1
br label %19
19: ; preds = %18
br label %20
20: ; preds = %19
store i32 3, i32* %2
br label %76
21: ; preds = %1
br label %22
22: ; preds = %21
br label %23
23: ; preds = %22
store i32 4, i32* %2
br label %76
24: ; preds = %1
br label %25
25: ; preds = %24
br label %26
26: ; preds = %25
store i32 5, i32* %2
br label %76
27: ; preds = %1
br label %28
28: ; preds = %27
br label %29
29: ; preds = %28
store i32 6, i32* %2
br label %76
30: ; preds = %1
br label %31
31: ; preds = %30
br label %32
32: ; preds = %31
store i32 7, i32* %2
br label %76
33: ; preds = %1
br label %34
34: ; preds = %33
br label %35
35: ; preds = %34
store i32 8, i32* %2
br label %76
36: ; preds = %1
br label %37
37: ; preds = %36
br label %38
38: ; preds = %37
store i32 9, i32* %2
br label %76
39: ; preds = %1
br label %40
40: ; preds = %39
br label %41
41: ; preds = %40
store i32 10, i32* %2
br label %76
42: ; preds = %1
br label %43
43: ; preds = %42
br label %44
44: ; preds = %43
store i32 11, i32* %2
br label %76
45: ; preds = %1
br label %46
46: ; preds = %45
br label %47
47: ; preds = %46
store i32 12, i32* %2
br label %76
48: ; preds = %1
br label %49
49: ; preds = %48
br label %50
50: ; preds = %49
store i32 13, i32* %2
br label %76
51: ; preds = %1
br label %52
52: ; preds = %51
br label %53
53: ; preds = %52
store i32 14, i32* %2
br label %76
54: ; preds = %1
br label %55
55: ; preds = %54
br label %56
56: ; preds = %55
store i32 15, i32* %2
br label %76
57: ; preds = %1
br label %58
58: ; preds = %57
br label %59
59: ; preds = %58
store i32 16, i32* %2
br label %76
60: ; preds = %1
br label %61
61: ; preds = %60
br label %62
62: ; preds = %61
store i32 17, i32* %2
br label %76
63: ; preds = %1
br label %64
64: ; preds = %63
br label %65
65: ; preds = %64
store i32 18, i32* %2
br label %76
66: ; preds = %1
br label %67
67: ; preds = %66
br label %68
68: ; preds = %67
store i32 19, i32* %2
br label %76
69: ; preds = %1
br label %70
70: ; preds = %69
br label %71
71: ; preds = %70
store i32 20, i32* %2
br label %76
72: ; preds = %1
br label %73
73: ; preds = %72
br label %74
74: ; preds = %73
store i32 21, i32* %2
br label %76
75: ; No predecessors!
br label %76
76: ; preds = %75, %74, %71, %68, %65, %62, %59, %56, %53, %50, %47, %44, %41, %38, %35, %32, %29, %26, %23, %20, %17, %14, %11
%77 = load i32, i32* %2
ret i32 %77
}

LLVM IR (-O2):
define i32 @Cyc_Absyn_attribute_case_number(i8* nocapture %0) {
%2 = bitcast i8* %0 to i32*
%3 = load i32, i32* %2
%4 = icmp ult i32 %3, 21
%5 = select i1 %4, i32 %3, i32 21
ret i32 %5
}