char *headers_explain_state(int state) {
  switch (state) {
  case 0:
    return "Ready (no error)";
  case 1:
    return "The header parser ran out of buffers to contain the receieved data";
  case 2:
    return "The header parser ran out of buffers to contain the parsed headers";
  case 3:
    return "An invalid header was encountered (headers must be of form 'key: "
           "value')";
  case 4:
    return "An invalid request was encountered (requests are the first line of "
           "an HTTP request, and must be of form 'method uri version')";
  case 5:
    return "The headers have already finished";
  default:
    return "Unknown error";
  }
}


x86 assembly (clang, -O0):
<headers_explain_state>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0xc(%rbp)
mov    -0xc(%rbp),%eax
mov    %rax,-0x18(%rbp)
sub    $0x5,%rax
ja     118c <headers_explain_state+0x8c>
mov    -0x18(%rbp),%rax
lea    0xedd(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
lea    0xee5(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1197 <headers_explain_state+0x97>
lea    0xee6(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1197 <headers_explain_state+0x97>
lea    0xf19(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1197 <headers_explain_state+0x97>
lea    0xf4c(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1197 <headers_explain_state+0x97>
lea    0xf85(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1197 <headers_explain_state+0x97>
lea    0xff3(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    1197 <headers_explain_state+0x97>
lea    0x1005(%rip),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<headers_explain_state>:
cmp    $0x5,%edi
ja     1117 <headers_explain_state+0x17>
movslq %edi,%rax
lea    0x1081(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
ret
lea    0x1062(%rip),%rax
ret

LLVM IR (-O0):
@.str = [17 x i8] c"Ready (no error)\00"
@.str.1 = [67 x i8] c"The header parser ran out of buffers to contain the receieved data\00"
@.str.2 = [67 x i8] c"The header parser ran out of buffers to contain the parsed headers\00"
@.str.3 = [73 x i8] c"An invalid header was encountered (headers must be of form 'key: value')\00"
@.str.4 = [126 x i8] c"An invalid request was encountered (requests are the first line of an HTTP request, and must be of form 'method uri version')\00"
@.str.5 = [34 x i8] c"The headers have already finished\00"
@.str.6 = [14 x i8] c"Unknown error\00"
define i8* @headers_explain_state(i32 %0) {
%2 = alloca i8*
%3 = alloca i32
store i32 %0, i32* %3
%4 = load i32, i32* %3
switch i32 %4, label %11 [
i32 0, label %5
i32 1, label %6
i32 2, label %7
i32 3, label %8
i32 4, label %9
i32 5, label %10
]
5: ; preds = %1
store i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str, i64 0, i64 0), i8** %2
br label %12
6: ; preds = %1
store i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.1, i64 0, i64 0), i8** %2
br label %12
7: ; preds = %1
store i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.2, i64 0, i64 0), i8** %2
br label %12
8: ; preds = %1
store i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.3, i64 0, i64 0), i8** %2
br label %12
9: ; preds = %1
store i8* getelementptr inbounds ([126 x i8], [126 x i8]* @.str.4, i64 0, i64 0), i8** %2
br label %12
10: ; preds = %1
store i8* getelementptr inbounds ([34 x i8], [34 x i8]* @.str.5, i64 0, i64 0), i8** %2
br label %12
11: ; preds = %1
store i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.6, i64 0, i64 0), i8** %2
br label %12
12: ; preds = %11, %10, %9, %8, %7, %6, %5
%13 = load i8*, i8** %2
ret i8* %13
}

LLVM IR (-O2):
@.str = [17 x i8] c"Ready (no error)\00"
@.str.1 = [67 x i8] c"The header parser ran out of buffers to contain the receieved data\00"
@.str.2 = [67 x i8] c"The header parser ran out of buffers to contain the parsed headers\00"
@.str.3 = [73 x i8] c"An invalid header was encountered (headers must be of form 'key: value')\00"
@.str.4 = [126 x i8] c"An invalid request was encountered (requests are the first line of an HTTP request, and must be of form 'method uri version')\00"
@.str.5 = [34 x i8] c"The headers have already finished\00"
@.str.6 = [14 x i8] c"Unknown error\00"
@reltable.headers_explain_state = [6 x i32] [i32 trunc (i64 sub (i64 ptrtoint ([17 x i8]* @.str to i64), i64 ptrtoint ([6 x i32]* @reltable.headers_explain_state to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([67 x i8]* @.str.1 to i64), i64 ptrtoint ([6 x i32]* @reltable.headers_explain_state to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([67 x i8]* @.str.2 to i64), i64 ptrtoint ([6 x i32]* @reltable.headers_explain_state to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([73 x i8]* @.str.3 to i64), i64 ptrtoint ([6 x i32]* @reltable.headers_explain_state to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([126 x i8]* @.str.4 to i64), i64 ptrtoint ([6 x i32]* @reltable.headers_explain_state to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint ([34 x i8]* @.str.5 to i64), i64 ptrtoint ([6 x i32]* @reltable.headers_explain_state to i64)) to i32)]
define i8* @headers_explain_state(i32 %0) {
%2 = icmp ult i32 %0, 6
br i1 %2, label %3, label %7
3: ; preds = %1
%4 = sext i32 %0 to i64
%5 = shl i64 %4, 2
%6 = call i8* @llvm.load.relative.i64(i8* bitcast ([6 x i32]* @reltable.headers_explain_state to i8*), i64 %5)
br label %7
7: ; preds = %1, %3
%8 = phi i8* [ %6, %3 ], [ getelementptr inbounds ([14 x i8], [14 x i8]* @.str.6, i64 0, i64 0), %1 ]
ret i8* %8
}