#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
const char *get_region_name_CV(int region_code) {
  switch (region_code) {
  case 1:
    return "Boa Vista";
  case 2:
    return "Brava";
  case 4:
    return "Maio";
  case 5:
    return "Paul";
  case 7:
    return "Ribeira Grande";
  case 8:
    return "Sal";
  case 10:
    return "Sao Nicolau";
  case 11:
    return "Sao Vicente";
  case 13:
    return "Mosteiros";
  case 14:
    return "Praia";
  case 15:
    return "Santa Catarina";
  case 16:
    return "Santa Cruz";
  case 17:
    return "Sao Domingos";
  case 18:
    return "Sao Filipe";
  case 19:
    return "Sao Miguel";
  case 20:
    return "Tarrafal";
  default:
    return NULL;
  }
}


x86 assembly (clang, -O0):
<get_region_name_CV>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x18(%rbp)
sub    $0x13,%eax
ja     1230 <get_region_name_CV+0x130>
mov    -0x18(%rbp),%rax
lea    0xed9(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
lea    0xf19(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xf13(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xf09(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xefe(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xef3(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xef2(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xee6(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xee2(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xede(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xed8(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xece(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xecd(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xec8(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xec5(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xec0(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
lea    0xebb(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1238 <get_region_name_CV+0x138>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_region_name_CV>:
add    $0xffffffff,%edi
cmp    $0x13,%edi
ja     1117 <get_region_name_CV+0x17>
movslq %edi,%rax
lea    0x2c9e(%rip),%rcx
mov    (%rcx,%rax,8),%rax
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
@.str = [10 x i8] c"Boa Vista\00"
@.str.1 = [6 x i8] c"Brava\00"
@.str.2 = [5 x i8] c"Maio\00"
@.str.3 = [5 x i8] c"Paul\00"
@.str.4 = [15 x i8] c"Ribeira Grande\00"
@.str.5 = [4 x i8] c"Sal\00"
@.str.6 = [12 x i8] c"Sao Nicolau\00"
@.str.7 = [12 x i8] c"Sao Vicente\00"
@.str.8 = [10 x i8] c"Mosteiros\00"
@.str.9 = [6 x i8] c"Praia\00"
@.str.10 = [15 x i8] c"Santa Catarina\00"
@.str.11 = [11 x i8] c"Santa Cruz\00"
@.str.12 = [13 x i8] c"Sao Domingos\00"
@.str.13 = [11 x i8] c"Sao Filipe\00"
@.str.14 = [11 x i8] c"Sao Miguel\00"
@.str.15 = [9 x i8] c"Tarrafal\00"
define i8* @get_region_name_CV(i32 %0) {
%2 = alloca i8*
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
switch i32 %4, label %21 [
i32 1, label %5
i32 2, label %6
i32 4, label %7
i32 5, label %8
i32 7, label %9
i32 8, label %10
i32 10, label %11
i32 11, label %12
i32 13, label %13
i32 14, label %14
i32 15, label %15
i32 16, label %16
i32 17, label %17
i32 18, label %18
i32 19, label %19
i32 20, label %20
]
5: ; preds = %1
store i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i8** %2
br label %22
6: ; preds = %1
store i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8** %2
br label %22
7: ; preds = %1
store i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.2, i64 0, i64 0), i8** %2
br label %22
8: ; preds = %1
store i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0), i8** %2
br label %22
9: ; preds = %1
store i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.4, i64 0, i64 0), i8** %2
br label %22
10: ; preds = %1
store i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.5, i64 0, i64 0), i8** %2
br label %22
11: ; preds = %1
store i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i8** %2
br label %22
12: ; preds = %1
store i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.7, i64 0, i64 0), i8** %2
br label %22
13: ; preds = %1
store i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.8, i64 0, i64 0), i8** %2
br label %22
14: ; preds = %1
store i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.9, i64 0, i64 0), i8** %2
br label %22
15: ; preds = %1
store i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.10, i64 0, i64 0), i8** %2
br label %22
16: ; preds = %1
store i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.11, i64 0, i64 0), i8** %2
br label %22
17: ; preds = %1
store i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.12, i64 0, i64 0), i8** %2
br label %22
18: ; preds = %1
store i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.13, i64 0, i64 0), i8** %2
br label %22
19: ; preds = %1
store i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.14, i64 0, i64 0), i8** %2
br label %22
20: ; preds = %1
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.15, i64 0, i64 0), i8** %2
br label %22
21: ; preds = %1
store i8* null, i8** %2
br label %22
22: ; preds = %21, %20, %19, %18, %17, %16, %15, %14, %13, %12, %11, %10, %9, %8, %7, %6, %5
%23 = load i8*, i8** %2
ret i8* %23
}

LLVM IR (-O2):
@.str = [10 x i8] c"Boa Vista\00"
@.str.1 = [6 x i8] c"Brava\00"
@.str.2 = [5 x i8] c"Maio\00"
@.str.3 = [5 x i8] c"Paul\00"
@.str.4 = [15 x i8] c"Ribeira Grande\00"
@.str.5 = [4 x i8] c"Sal\00"
@.str.6 = [12 x i8] c"Sao Nicolau\00"
@.str.7 = [12 x i8] c"Sao Vicente\00"
@.str.8 = [10 x i8] c"Mosteiros\00"
@.str.9 = [6 x i8] c"Praia\00"
@.str.10 = [15 x i8] c"Santa Catarina\00"
@.str.11 = [11 x i8] c"Santa Cruz\00"
@.str.12 = [13 x i8] c"Sao Domingos\00"
@.str.13 = [11 x i8] c"Sao Filipe\00"
@.str.14 = [11 x i8] c"Sao Miguel\00"
@.str.15 = [9 x i8] c"Tarrafal\00"
@switch.table.get_region_name_CV = [20 x i8*] [i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.1, i64 0, i64 0), i8* null, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.2, i64 0, i64 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0), i8* null, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.4, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.5, i64 0, i64 0), i8* null, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.6, i64 0, i64 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.7, i64 0, i64 0), i8* null, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.8, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.10, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.11, i64 0, i64 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.12, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.13, i64 0, i64 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.14, i64 0, i64 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.15, i64 0, i64 0)]
define i8* @get_region_name_CV(i32 %0) {
%2 = add i32 %0, -1
%3 = icmp ult i32 %2, 20
br i1 %3, label %4, label %8
4: ; preds = %1
%5 = sext i32 %2 to i64
%6 = getelementptr inbounds [20 x i8*], [20 x i8*]* @switch.table.get_region_name_CV, i64 0, i64 %5
%7 = load i8*, i8** %6
br label %8
8: ; preds = %1, %4
%9 = phi i8* [ %7, %4 ], [ null, %1 ]
ret i8* %9
}