int d1(char *s) {
  switch (s[0]) {
  case 't':
    if (s[3] == '\0')
      return 10;
    else if (s[6] == 'e')
      return 13;
    else if (s[5] == 'e')
      return 12;
    break;
  case 'e':
    if (s[1] == 'l')
      return 11;
    else if (s[5] == 'e')
      return 18;
    break;
  case 'f':
    if (s[4] == 'e')
      return 15;
    else if (s[4] == 't')
      return 14;
    break;
  case 's':
    if (s[1] == s[6])
      return 17;
    else if (s[4] == s[5])
      return 16;
    break;
  case 'n':
    if (s[5] == 'e')
      return 19;
  }
  return -1;
}


x86 assembly (clang, -O0):
<d1>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
add    $0xffffff9b,%eax
mov    %eax,%ecx
mov    %rcx,-0x18(%rbp)
sub    $0xf,%eax
ja     1297 <d1+0x197>
mov    -0x18(%rbp),%rax
lea    0xed4(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x0,%eax
jne    1152 <d1+0x52>
movl   $0xa,-0x4(%rbp)
jmp    129e <d1+0x19e>
mov    -0x10(%rbp),%rax
movsbl 0x6(%rax),%eax
cmp    $0x65,%eax
jne    116f <d1+0x6f>
movl   $0xd,-0x4(%rbp)
jmp    129e <d1+0x19e>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x65,%eax
jne    118c <d1+0x8c>
movl   $0xc,-0x4(%rbp)
jmp    129e <d1+0x19e>
jmp    1191 <d1+0x91>
jmp    1196 <d1+0x96>
jmp    1297 <d1+0x197>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x6c,%eax
jne    11b8 <d1+0xb8>
movl   $0xb,-0x4(%rbp)
jmp    129e <d1+0x19e>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x65,%eax
jne    11d5 <d1+0xd5>
movl   $0x12,-0x4(%rbp)
jmp    129e <d1+0x19e>
jmp    11da <d1+0xda>
jmp    1297 <d1+0x197>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x65,%eax
jne    11fc <d1+0xfc>
movl   $0xf,-0x4(%rbp)
jmp    129e <d1+0x19e>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
cmp    $0x74,%eax
jne    1219 <d1+0x119>
movl   $0xe,-0x4(%rbp)
jmp    129e <d1+0x19e>
jmp    121e <d1+0x11e>
jmp    1297 <d1+0x197>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x6(%rcx),%ecx
cmp    %ecx,%eax
jne    1247 <d1+0x147>
movl   $0x11,-0x4(%rbp)
jmp    129e <d1+0x19e>
mov    -0x10(%rbp),%rax
movsbl 0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
movsbl 0x5(%rcx),%ecx
cmp    %ecx,%eax
jne    126b <d1+0x16b>
movl   $0x10,-0x4(%rbp)
jmp    129e <d1+0x19e>
jmp    1270 <d1+0x170>
jmp    1297 <d1+0x197>
mov    -0x10(%rbp),%rax
movsbl 0x5(%rax),%eax
cmp    $0x65,%eax
jne    1292 <d1+0x192>
movl   $0x13,-0x4(%rbp)
jmp    129e <d1+0x19e>
jmp    1297 <d1+0x197>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<d1>:
movsbl (%rdi),%eax
add    $0xffffff9b,%eax
cmp    $0xf,%eax
ja     1198 <d1+0x98>
lea    0xeea(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    $0xb,%eax
cmpb   $0x6c,0x1(%rdi)
je     115f <d1+0x5f>
mov    $0x12,%eax
cmpb   $0x65,0x5(%rdi)
je     115f <d1+0x5f>
jmp    1198 <d1+0x98>
mov    0x4(%rdi),%al
cmp    $0x74,%al
mov    $0xe,%ecx
mov    $0xffffffff,%edx
cmove  %ecx,%edx
cmp    $0x65,%al
mov    $0xf,%eax
cmovne %edx,%eax
ret
mov    $0x13,%eax
cmpb   $0x65,0x5(%rdi)
jne    1198 <d1+0x98>
ret
mov    0x1(%rdi),%cl
mov    $0x11,%eax
cmp    0x6(%rdi),%cl
je     115f <d1+0x5f>
mov    0x4(%rdi),%cl
mov    $0x10,%eax
cmp    0x5(%rdi),%cl
je     115f <d1+0x5f>
jmp    1198 <d1+0x98>
cmpb   $0x0,0x3(%rdi)
je     119e <d1+0x9e>
mov    $0xd,%eax
cmpb   $0x65,0x6(%rdi)
je     115f <d1+0x5f>
mov    $0xc,%eax
cmpb   $0x65,0x5(%rdi)
je     115f <d1+0x5f>
mov    $0xffffffff,%eax
ret
mov    $0xa,%eax
ret

LLVM IR (-O0):
define i32 @d1(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
store i8* %0, i8** %3
%4 = load i8*, i8** %3
%5 = getelementptr inbounds i8, i8* %4, i64 0
%6 = load i8, i8* %5
%7 = sext i8 %6 to i32
switch i32 %7, label %96 [
i32 116, label %8
i32 101, label %32
i32 102, label %48
i32 115, label %64
i32 110, label %88
]
8: ; preds = %1
%9 = load i8*, i8** %3
%10 = getelementptr inbounds i8, i8* %9, i64 3
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp eq i32 %12, 0
br i1 %13, label %14, label %15
14: ; preds = %8
store i32 10, i32* %2
br label %97
15: ; preds = %8
%16 = load i8*, i8** %3
%17 = getelementptr inbounds i8, i8* %16, i64 6
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = icmp eq i32 %19, 101
br i1 %20, label %21, label %22
21: ; preds = %15
store i32 13, i32* %2
br label %97
22: ; preds = %15
%23 = load i8*, i8** %3
%24 = getelementptr inbounds i8, i8* %23, i64 5
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %26, 101
br i1 %27, label %28, label %29
28: ; preds = %22
store i32 12, i32* %2
br label %97
29: ; preds = %22
br label %30
30: ; preds = %29
br label %31
31: ; preds = %30
br label %96
32: ; preds = %1
%33 = load i8*, i8** %3
%34 = getelementptr inbounds i8, i8* %33, i64 1
%35 = load i8, i8* %34
%36 = sext i8 %35 to i32
%37 = icmp eq i32 %36, 108
br i1 %37, label %38, label %39
38: ; preds = %32
store i32 11, i32* %2
br label %97
39: ; preds = %32
%40 = load i8*, i8** %3
%41 = getelementptr inbounds i8, i8* %40, i64 5
%42 = load i8, i8* %41
%43 = sext i8 %42 to i32
%44 = icmp eq i32 %43, 101
br i1 %44, label %45, label %46
45: ; preds = %39
store i32 18, i32* %2
br label %97
46: ; preds = %39
br label %47
47: ; preds = %46
br label %96
48: ; preds = %1
%49 = load i8*, i8** %3
%50 = getelementptr inbounds i8, i8* %49, i64 4
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = icmp eq i32 %52, 101
br i1 %53, label %54, label %55
54: ; preds = %48
store i32 15, i32* %2
br label %97
55: ; preds = %48
%56 = load i8*, i8** %3
%57 = getelementptr inbounds i8, i8* %56, i64 4
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = icmp eq i32 %59, 116
br i1 %60, label %61, label %62
61: ; preds = %55
store i32 14, i32* %2
br label %97
62: ; preds = %55
br label %63
63: ; preds = %62
br label %96
64: ; preds = %1
%65 = load i8*, i8** %3
%66 = getelementptr inbounds i8, i8* %65, i64 1
%67 = load i8, i8* %66
%68 = sext i8 %67 to i32
%69 = load i8*, i8** %3
%70 = getelementptr inbounds i8, i8* %69, i64 6
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp eq i32 %68, %72
br i1 %73, label %74, label %75
74: ; preds = %64
store i32 17, i32* %2
br label %97
75: ; preds = %64
%76 = load i8*, i8** %3
%77 = getelementptr inbounds i8, i8* %76, i64 4
%78 = load i8, i8* %77
%79 = sext i8 %78 to i32
%80 = load i8*, i8** %3
%81 = getelementptr inbounds i8, i8* %80, i64 5
%82 = load i8, i8* %81
%83 = sext i8 %82 to i32
%84 = icmp eq i32 %79, %83
br i1 %84, label %85, label %86
85: ; preds = %75
store i32 16, i32* %2
br label %97
86: ; preds = %75
br label %87
87: ; preds = %86
br label %96
88: ; preds = %1
%89 = load i8*, i8** %3
%90 = getelementptr inbounds i8, i8* %89, i64 5
%91 = load i8, i8* %90
%92 = sext i8 %91 to i32
%93 = icmp eq i32 %92, 101
br i1 %93, label %94, label %95
94: ; preds = %88
store i32 19, i32* %2
br label %97
95: ; preds = %88
br label %96
96: ; preds = %95, %1, %87, %63, %47, %31
store i32 -1, i32* %2
br label %97
97: ; preds = %96, %94, %85, %74, %61, %54, %45, %38, %28, %21, %14
%98 = load i32, i32* %2
ret i32 %98
}

LLVM IR (-O2):
define i32 @d1(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = sext i8 %2 to i32
switch i32 %3, label %47 [
i32 116, label %4
i32 101, label %16
i32 102, label %24
i32 115, label %31
i32 110, label %43
]
4: ; preds = %1
%5 = getelementptr inbounds i8, i8* %0, i64 3
%6 = load i8, i8* %5
%7 = icmp eq i8 %6, 0
br i1 %7, label %48, label %8
8: ; preds = %4
%9 = getelementptr inbounds i8, i8* %0, i64 6
%10 = load i8, i8* %9
%11 = icmp eq i8 %10, 101
br i1 %11, label %48, label %12
12: ; preds = %8
%13 = getelementptr inbounds i8, i8* %0, i64 5
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 101
br i1 %15, label %48, label %47
16: ; preds = %1
%17 = getelementptr inbounds i8, i8* %0, i64 1
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 108
br i1 %19, label %48, label %20
20: ; preds = %16
%21 = getelementptr inbounds i8, i8* %0, i64 5
%22 = load i8, i8* %21
%23 = icmp eq i8 %22, 101
br i1 %23, label %48, label %47
24: ; preds = %1
%25 = getelementptr inbounds i8, i8* %0, i64 4
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 116
%28 = select i1 %27, i32 14, i32 -1
%29 = icmp eq i8 %26, 101
%30 = select i1 %29, i32 15, i32 %28
br label %48
31: ; preds = %1
%32 = getelementptr inbounds i8, i8* %0, i64 1
%33 = load i8, i8* %32
%34 = getelementptr inbounds i8, i8* %0, i64 6
%35 = load i8, i8* %34
%36 = icmp eq i8 %33, %35
br i1 %36, label %48, label %37
37: ; preds = %31
%38 = getelementptr inbounds i8, i8* %0, i64 4
%39 = load i8, i8* %38
%40 = getelementptr inbounds i8, i8* %0, i64 5
%41 = load i8, i8* %40
%42 = icmp eq i8 %39, %41
br i1 %42, label %48, label %47
43: ; preds = %1
%44 = getelementptr inbounds i8, i8* %0, i64 5
%45 = load i8, i8* %44
%46 = icmp eq i8 %45, 101
br i1 %46, label %48, label %47
47: ; preds = %43, %37, %20, %12, %1
br label %48
48: ; preds = %24, %43, %37, %31, %20, %16, %12, %8, %4, %47
%49 = phi i32 [ -1, %47 ], [ 10, %4 ], [ 13, %8 ], [ 12, %12 ], [ 11, %16 ], [ 18, %20 ], [ 17, %31 ], [ 16, %37 ], [ 19, %43 ], [ %30, %24 ]
ret i32 %49
}