const char *getTok(const char **pp) {
  enum { inAtom, inString, init, inComment };
  int state = init;
  const char *tokStart = 0;
  for (;;) {
    switch (**pp) {
    case '\0':
      return 0;
    case ' ':
    case '\r':
    case '\t':
    case '\n':
      if (state == inAtom)
        return tokStart;
      break;
    case '(':
      if (state == inAtom)
        return tokStart;
      if (state != inString)
        state++;
      break;
    case ')':
      if (state > init)
        --state;
      else if (state != inString)
        return 0;
      break;
    case ';':
    case '/':
    case '=':
      if (state == inAtom)
        return tokStart;
      if (state == init)
        return (*pp)++;
      break;
    case '\\':
      ++*pp;
      if (**pp == '\0')
        return 0;
      break;
    case '"':
      switch (state) {
      case inString:
        ++*pp;
        return tokStart;
      case inAtom:
        return tokStart;
      case init:
        tokStart = *pp;
        state = inString;
        break;
      }
      break;
    default:
      if (state == init) {
        tokStart = *pp;
        state = inAtom;
      }
      break;
    }
    ++*pp;
  }
}


x86 assembly (clang, -O0):
<getTok>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x2,-0x14(%rbp)
movq   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
mov    %eax,%ecx
mov    %rcx,-0x28(%rbp)
sub    $0x5c,%eax
ja     12bc <getTok+0x1bc>
mov    -0x28(%rbp),%rax
lea    0xec5(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movq   $0x0,-0x8(%rbp)
jmp    12f0 <getTok+0x1f0>
cmpl   $0x0,-0x14(%rbp)
jne    1168 <getTok+0x68>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12f0 <getTok+0x1f0>
jmp    12dd <getTok+0x1dd>
cmpl   $0x0,-0x14(%rbp)
jne    1184 <getTok+0x84>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12f0 <getTok+0x1f0>
cmpl   $0x1,-0x14(%rbp)
je     1197 <getTok+0x97>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12dd <getTok+0x1dd>
cmpl   $0x2,-0x14(%rbp)
jle    11b4 <getTok+0xb4>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    11d0 <getTok+0xd0>
cmpl   $0x1,-0x14(%rbp)
je     11cb <getTok+0xcb>
movq   $0x0,-0x8(%rbp)
jmp    12f0 <getTok+0x1f0>
jmp    11d0 <getTok+0xd0>
jmp    12dd <getTok+0x1dd>
cmpl   $0x0,-0x14(%rbp)
jne    11ec <getTok+0xec>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12f0 <getTok+0x1f0>
cmpl   $0x2,-0x14(%rbp)
jne    1210 <getTok+0x110>
mov    -0x10(%rbp),%rcx
mov    (%rcx),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,(%rcx)
mov    %rax,-0x8(%rbp)
jmp    12f0 <getTok+0x1f0>
jmp    12dd <getTok+0x1dd>
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1243 <getTok+0x143>
movq   $0x0,-0x8(%rbp)
jmp    12f0 <getTok+0x1f0>
jmp    12dd <getTok+0x1dd>
mov    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
test   %eax,%eax
je     1298 <getTok+0x198>
jmp    125b <getTok+0x15b>
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
je     127d <getTok+0x17d>
jmp    126c <getTok+0x16c>
mov    -0x2c(%rbp),%eax
sub    $0x2,%eax
je     12a5 <getTok+0x1a5>
jmp    12b7 <getTok+0x1b7>
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12f0 <getTok+0x1f0>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12f0 <getTok+0x1f0>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x20(%rbp)
movl   $0x1,-0x14(%rbp)
jmp    12dd <getTok+0x1dd>
cmpl   $0x2,-0x14(%rbp)
jne    12d8 <getTok+0x1d8>
mov    -0x10(%rbp),%rax
mov    (%rax),%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x14(%rbp)
jmp    12dd <getTok+0x1dd>
mov    -0x10(%rbp),%rax
mov    (%rax),%rcx
add    $0x1,%rcx
mov    %rcx,(%rax)
jmp    1117 <getTok+0x17>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<getTok>:
mov    (%rdi),%rcx
mov    $0x2,%edx
xor    %r8d,%r8d
lea    0xeee(%rip),%r10
xor    %r9d,%r9d
jmp    1132 <getTok+0x32>
nopw   0x0(%rax,%rax,1)
mov    %r9,%rax
test   %edx,%edx
je     11b0 <getTok+0xb0>
add    $0x1,%rcx
mov    %rcx,(%rdi)
movsbl (%rcx),%eax
cmp    $0x5c,%eax
ja     1150 <getTok+0x50>
movslq (%r10,%rax,4),%rsi
add    %r10,%rsi
xor    %eax,%eax
jmp    *%rsi
test   %edx,%edx
je     11bb <getTok+0xbb>
cmp    $0x2,%edx
jne    112b <getTok+0x2b>
jmp    11b1 <getTok+0xb1>
cmp    $0x2,%edx
cmove  %r8d,%edx
cmove  %rcx,%r9
jmp    112b <getTok+0x2b>
cmp    $0x2,%edx
je     11a3 <getTok+0xa3>
test   %edx,%edx
je     11bb <getTok+0xbb>
cmp    $0x1,%edx
jne    112b <getTok+0x2b>
jmp    11b4 <getTok+0xb4>
cmp    $0x1,%edx
je     112b <getTok+0x2b>
test   %edx,%edx
je     11bb <getTok+0xbb>
add    $0x1,%edx
jmp    112b <getTok+0x2b>
cmp    $0x3,%edx
jl     1197 <getTok+0x97>
add    $0xffffffff,%edx
jmp    112b <getTok+0x2b>
lea    0x1(%rcx),%rax
mov    %rax,(%rdi)
cmpb   $0x0,0x1(%rcx)
mov    %rax,%rcx
jne    112b <getTok+0x2b>
jmp    11bf <getTok+0xbf>
cmp    $0x1,%edx
mov    $0x1,%edx
je     112b <getTok+0x2b>
jmp    11bf <getTok+0xbf>
mov    $0x1,%edx
mov    %rcx,%r9
jmp    112b <getTok+0x2b>
ret
mov    %rcx,%r9
add    $0x1,%rcx
mov    %rcx,(%rdi)
mov    %r9,%rax
ret
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i8* @getTok(i8** nocapture %0) {
%2 = load i8*, i8** %0
br label %3
3: ; preds = %31, %1
%4 = phi i8* [ %2, %1 ], [ %35, %31 ]
%5 = phi i32 [ 2, %1 ], [ %33, %31 ]
%6 = phi i8* [ null, %1 ], [ %34, %31 ]
%7 = load i8, i8* %4
%8 = sext i8 %7 to i32
switch i32 %8, label %27 [
i32 0, label %39
i32 32, label %9
i32 13, label %9
i32 9, label %9
i32 10, label %9
i32 40, label %11
i32 41, label %14
i32 59, label %20
i32 47, label %20
i32 61, label %20
i32 92, label %21
i32 34, label %25
]
9: ; preds = %3, %3, %3, %3
%10 = icmp eq i32 %5, 0
br i1 %10, label %39, label %31
11: ; preds = %3
switch i32 %5, label %12 [
i32 0, label %39
i32 1, label %31
]
12: ; preds = %11
%13 = add nsw i32 %5, 1
br label %31
14: ; preds = %3
%15 = icmp sgt i32 %5, 2
br i1 %15, label %16, label %18
16: ; preds = %14
%17 = add nsw i32 %5, -1
br label %31
18: ; preds = %14
%19 = icmp eq i32 %5, 1
br i1 %19, label %31, label %39
20: ; preds = %3, %3, %3
switch i32 %5, label %31 [
i32 0, label %39
i32 2, label %36
]
21: ; preds = %3
%22 = getelementptr inbounds i8, i8* %4, i64 1
store i8* %22, i8** %0
%23 = load i8, i8* %22
%24 = icmp eq i8 %23, 0
br i1 %24, label %39, label %31
25: ; preds = %3
switch i32 %5, label %31 [
i32 1, label %36
i32 0, label %39
i32 2, label %26
]
26: ; preds = %25
br label %31
27: ; preds = %3
%28 = icmp eq i32 %5, 2
%29 = select i1 %28, i32 0, i32 %5
%30 = select i1 %28, i8* %4, i8* %6
br label %31
31: ; preds = %27, %20, %11, %26, %25, %21, %16, %18, %12, %9
%32 = phi i8* [ %4, %25 ], [ %4, %26 ], [ %22, %21 ], [ %4, %16 ], [ %4, %18 ], [ %4, %12 ], [ %4, %9 ], [ %4, %11 ], [ %4, %20 ], [ %4, %27 ]
%33 = phi i32 [ %5, %25 ], [ 1, %26 ], [ %5, %21 ], [ %17, %16 ], [ 1, %18 ], [ %13, %12 ], [ %5, %9 ], [ %5, %11 ], [ %5, %20 ], [ %29, %27 ]
%34 = phi i8* [ %6, %25 ], [ %4, %26 ], [ %6, %21 ], [ %6, %16 ], [ %6, %18 ], [ %6, %12 ], [ %6, %9 ], [ %6, %11 ], [ %6, %20 ], [ %30, %27 ]
%35 = getelementptr inbounds i8, i8* %32, i64 1
store i8* %35, i8** %0
br label %3
36: ; preds = %25, %20
%37 = phi i8* [ %4, %20 ], [ %6, %25 ]
%38 = getelementptr inbounds i8, i8* %4, i64 1
store i8* %38, i8** %0
br label %39
39: ; preds = %25, %21, %20, %18, %11, %9, %3, %36
%40 = phi i8* [ %37, %36 ], [ %6, %25 ], [ null, %21 ], [ %6, %20 ], [ null, %18 ], [ %6, %11 ], [ %6, %9 ], [ null, %3 ]
ret i8* %40
}