#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_IT(int region_code) {
  switch (region_code) {
  case 1:
    return "Abruzzi";
  case 2:
    return "Basilicata";
  case 3:
    return "Calabria";
  case 4:
    return "Campania";
  case 5:
    return "Emilia-Romagna";
  case 6:
    return "Friuli-Venezia Giulia";
  case 7:
    return "Lazio";
  case 8:
    return "Liguria";
  case 9:
    return "Lombardia";
  case 10:
    return "Marche";
  case 11:
    return "Molise";
  case 12:
    return "Piemonte";
  case 13:
    return "Puglia";
  case 14:
    return "Sardegna";
  case 15:
    return "Sicilia";
  case 16:
    return "Toscana";
  case 17:
    return "Trentino-Alto Adige";
  case 18:
    return "Umbria";
  case 19:
    return "Valle d'Aosta";
  case 20:
    return "Veneto";
  default:
    return NULL;
  }
}


x86 assembly (clang, -O0):
<get_region_name_IT>:
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     1270 <get_region_name_IT+0x170>
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    1278 <get_region_name_IT+0x178>
lea    0xf11(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xf0c(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xf05(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xefe(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xefd(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xf03(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xef9(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xef1(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xeeb(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xee2(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xed9(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xed2(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xec9(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xec2(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xeba(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xeb2(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xeb6(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xead(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
lea    0xeab(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1278 <get_region_name_IT+0x178>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_region_name_IT>:
add    $0xffffffff,%edi
cmp    $0x13,%edi
ja     111a <get_region_name_IT+0x1a>
movslq %edi,%rax
lea    0xfba(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
ret
xor    %eax,%eax
ret

LLVM IR (-O0):
@.str = [8 x i8] c"Abruzzi\00"
@.str.1 = [11 x i8] c"Basilicata\00"
@.str.2 = [9 x i8] c"Calabria\00"
@.str.3 = [9 x i8] c"Campania\00"
@.str.4 = [15 x i8] c"Emilia-Romagna\00"
@.str.5 = [22 x i8] c"Friuli-Venezia Giulia\00"
@.str.6 = [6 x i8] c"Lazio\00"
@.str.7 = [8 x i8] c"Liguria\00"
@.str.8 = [10 x i8] c"Lombardia\00"
@.str.9 = [7 x i8] c"Marche\00"
@.str.10 = [7 x i8] c"Molise\00"
@.str.11 = [9 x i8] c"Piemonte\00"
@.str.12 = [7 x i8] c"Puglia\00"
@.str.13 = [9 x i8] c"Sardegna\00"
@.str.14 = [8 x i8] c"Sicilia\00"
@.str.15 = [8 x i8] c"Toscana\00"
@.str.16 = [20 x i8] c"Trentino-Alto Adige\00"
@.str.17 = [7 x i8] c"Umbria\00"
@.str.18 = [14 x i8] c"Valle d'Aosta\00"
@.str.19 = [7 x i8] c"Veneto\00"
define i8* @get_region_name_IT(i32 %0) {
%2 = alloca i8*
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
switch i32 %4, label %25 [
i32 1, label %5
i32 2, label %6
i32 3, label %7
i32 4, label %8
i32 5, label %9
i32 6, label %10
i32 7, label %11
i32 8, label %12
i32 9, label %13
i32 10, label %14
i32 11, label %15
i32 12, label %16
i32 13, label %17
i32 14, label %18
i32 15, label %19
i32 16, label %20
i32 17, label %21
i32 18, label %22
i32 19, label %23
i32 20, label %24
]
5: ; preds = %1
store i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0), i8** %2
br label %26
6: ; preds = %1
store i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.1, i64 0, i64 0), i8** %2
br label %26
7: ; preds = %1
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.2, i64 0, i64 0), i8** %2
br label %26
8: ; preds = %1
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.3, i64 0, i64 0), i8** %2
br label %26
9: ; preds = %1
store i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.4, i64 0, i64 0), i8** %2
br label %26
10: ; preds = %1
store i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.5, i64 0, i64 0), i8** %2
br label %26
11: ; preds = %1
store i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.6, i64 0, i64 0), i8** %2
br label %26
12: ; preds = %1
store i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.7, i64 0, i64 0), i8** %2
br label %26
13: ; preds = %1
store i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.8, i64 0, i64 0), i8** %2
br label %26
14: ; preds = %1
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.9, i64 0, i64 0), i8** %2
br label %26
15: ; preds = %1
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.10, i64 0, i64 0), i8** %2
br label %26
16: ; preds = %1
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.11, i64 0, i64 0), i8** %2
br label %26
17: ; preds = %1
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.12, i64 0, i64 0), i8** %2
br label %26
18: ; preds = %1
store i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.13, i64 0, i64 0), i8** %2
br label %26
19: ; preds = %1
store i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.14, i64 0, i64 0), i8** %2
br label %26
20: ; preds = %1
store i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.15, i64 0, i64 0), i8** %2
br label %26
21: ; preds = %1
store i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.16, i64 0, i64 0), i8** %2
br label %26
22: ; preds = %1
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.17, i64 0, i64 0), i8** %2
br label %26
23: ; preds = %1
store i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.18, i64 0, i64 0), i8** %2
br label %26
24: ; preds = %1
store i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.19, i64 0, i64 0), i8** %2
br label %26
25: ; preds = %1
store i8* null, i8** %2
br label %26
26: ; preds = %25, %24, %23, %22, %21, %20, %19, %18, %17, %16, %15, %14, %13, %12, %11, %10, %9, %8, %7, %6, %5
%27 = load i8*, i8** %2
ret i8* %27
}

LLVM IR (-O2):
@.str = [8 x i8] c"Abruzzi\00"
@.str.1 = [11 x i8] c"Basilicata\00"
@.str.2 = [9 x i8] c"Calabria\00"
@.str.3 = [9 x i8] c"Campania\00"
@.str.4 = [15 x i8] c"Emilia-Romagna\00"
@.str.5 = [22 x i8] c"Friuli-Venezia Giulia\00"
@.str.6 = [6 x i8] c"Lazio\00"
@.str.7 = [8 x i8] c"Liguria\00"
@.str.8 = [10 x i8] c"Lombardia\00"
@.str.9 = [7 x i8] c"Marche\00"
@.str.10 = [7 x i8] c"Molise\00"
@.str.11 = [9 x i8] c"Piemonte\00"
@.str.12 = [7 x i8] c"Puglia\00"
@.str.13 = [9 x i8] c"Sardegna\00"
@.str.14 = [8 x i8] c"Sicilia\00"
@.str.15 = [8 x i8] c"Toscana\00"
@.str.16 = [20 x i8] c"Trentino-Alto Adige\00"
@.str.17 = [7 x i8] c"Umbria\00"
@.str.18 = [14 x i8] c"Valle d'Aosta\00"
@.str.19 = [7 x i8] c"Veneto\00"
@reltable.get_region_name_IT = [20 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([8 x i8]* @.str to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([11 x i8]* @.str.1 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([9 x i8]* @.str.2 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([9 x i8]* @.str.3 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([15 x i8]* @.str.4 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([22 x i8]* @.str.5 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([6 x i8]* @.str.6 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([8 x i8]* @.str.7 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([10 x i8]* @.str.8 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x i8]* @.str.9 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x i8]* @.str.10 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([9 x i8]* @.str.11 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x i8]* @.str.12 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([9 x i8]* @.str.13 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([8 x i8]* @.str.14 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([8 x i8]* @.str.15 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([20 x i8]* @.str.16 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x i8]* @.str.17 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([14 x i8]* @.str.18 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([7 x i8]* @.str.19 to i64), i64 ptrtoint ([20 x i32]* @reltable.get_region_name_IT to i64)) to i32)]
define i8* @get_region_name_IT(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 = shl i64 %5, 2
%7 = call i8* @llvm.load.relative.i64(i8* bitcast ([20 x i32]* @reltable.get_region_name_IT to i8*), i64 %6)
br label %8
8: ; preds = %1, %4
%9 = phi i8* [ %7, %4 ], [ null, %1 ]
ret i8* %9
}