#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 */
scalar_t__ isalpha(char);
scalar_t__ isdigit(char);
scalar_t__ ispunct(char);
scalar_t__ isspace(char);
int /*<<< orphan*/ lex_kwident(char *);
int /*<<< orphan*/ lex_number(char *);
int /*<<< orphan*/ lex_punct(char *);
int /*<<< orphan*/ lex_string(char *);
void lex(char *str) {
  if (isalpha(*str) || *str == '_')
    lex_kwident(str);
  else if ((*str == '\"'))
    lex_string(str);
  else if (isdigit(*str))
    lex_number(str);
  else if (ispunct(*str) && *str != '_')
    lex_punct(str);
  else if (isspace(*str)) {
    str++;
    lex(str);
  }
}


x86 assembly (clang, -O0):
<lex>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   10b0 <isalpha@plt>
cmp    $0x0,%rax
jne    11c2 <lex+0x32>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5f,%eax
jne    11d0 <lex+0x40>
mov    -0x8(%rbp),%rdi
call   1060 <lex_kwident@plt>
jmp    1285 <lex+0xf5>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x22,%eax
jne    11ee <lex+0x5e>
mov    -0x8(%rbp),%rdi
call   1050 <lex_string@plt>
jmp    1280 <lex+0xf0>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1040 <isdigit@plt>
cmp    $0x0,%rax
je     1212 <lex+0x82>
mov    -0x8(%rbp),%rdi
call   10a0 <lex_number@plt>
jmp    127b <lex+0xeb>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1070 <ispunct@plt>
cmp    $0x0,%rax
je     1246 <lex+0xb6>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5f,%eax
je     1246 <lex+0xb6>
mov    -0x8(%rbp),%rdi
call   1080 <lex_punct@plt>
jmp    1276 <lex+0xe6>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1090 <isspace@plt>
cmp    $0x0,%rax
je     1271 <lex+0xe1>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <lex@plt>
jmp    1276 <lex+0xe6>
jmp    127b <lex+0xeb>
jmp    1280 <lex+0xf0>
jmp    1285 <lex+0xf5>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lex>:
push   %rbx
mov    %rdi,%rbx
movsbl (%rdi),%edi
call   10a0 <isalpha@plt>
test   %rax,%rax
jne    11d7 <lex+0x57>
movzbl (%rbx),%eax
cmp    $0x22,%al
je     11e0 <lex+0x60>
cmp    $0x5f,%al
je     11d7 <lex+0x57>
movsbl %al,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    11e9 <lex+0x69>
movsbl (%rbx),%edi
call   1060 <ispunct@plt>
movzbl (%rbx),%ecx
test   %rax,%rax
je     11c0 <lex+0x40>
cmp    $0x5f,%cl
mov    $0x5f,%cl
jne    11f4 <lex+0x74>
movsbl %cl,%edi
call   1080 <isspace@plt>
test   %rax,%rax
je     11f2 <lex+0x72>
movsbl 0x1(%rbx),%edi
add    $0x1,%rbx
jmp    1187 <lex+0x7>
mov    %rbx,%rdi
pop    %rbx
jmp    1050 <lex_kwident@plt>
mov    %rbx,%rdi
pop    %rbx
jmp    1040 <lex_string@plt>
mov    %rbx,%rdi
pop    %rbx
jmp    1090 <lex_number@plt>
pop    %rbx
ret
mov    %rbx,%rdi
pop    %rbx
jmp    1070 <lex_punct@plt>

LLVM IR (-O0):
define void @lex(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i8*, i8** %2
%4 = load i8, i8* %3
%5 = call i64 @isalpha(i8 signext %4)
%6 = icmp ne i64 %5, 0
br i1 %6, label %12, label %7
7: ; preds = %1
%8 = load i8*, i8** %2
%9 = load i8, i8* %8
%10 = sext i8 %9 to i32
%11 = icmp eq i32 %10, 95
br i1 %11, label %12, label %15
12: ; preds = %7, %1
%13 = load i8*, i8** %2
%14 = call i32 @lex_kwident(i8* %13)
br label %57
15: ; preds = %7
%16 = load i8*, i8** %2
%17 = load i8, i8* %16
%18 = sext i8 %17 to i32
%19 = icmp eq i32 %18, 34
br i1 %19, label %20, label %23
20: ; preds = %15
%21 = load i8*, i8** %2
%22 = call i32 @lex_string(i8* %21)
br label %56
23: ; preds = %15
%24 = load i8*, i8** %2
%25 = load i8, i8* %24
%26 = call i64 @isdigit(i8 signext %25)
%27 = icmp ne i64 %26, 0
br i1 %27, label %28, label %31
28: ; preds = %23
%29 = load i8*, i8** %2
%30 = call i32 @lex_number(i8* %29)
br label %55
31: ; preds = %23
%32 = load i8*, i8** %2
%33 = load i8, i8* %32
%34 = call i64 @ispunct(i8 signext %33)
%35 = icmp ne i64 %34, 0
br i1 %35, label %36, label %44
36: ; preds = %31
%37 = load i8*, i8** %2
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = icmp ne i32 %39, 95
br i1 %40, label %41, label %44
41: ; preds = %36
%42 = load i8*, i8** %2
%43 = call i32 @lex_punct(i8* %42)
br label %54
44: ; preds = %36, %31
%45 = load i8*, i8** %2
%46 = load i8, i8* %45
%47 = call i64 @isspace(i8 signext %46)
%48 = icmp ne i64 %47, 0
br i1 %48, label %49, label %53
49: ; preds = %44
%50 = load i8*, i8** %2
%51 = getelementptr inbounds i8, i8* %50, i32 1
store i8* %51, i8** %2
%52 = load i8*, i8** %2
br label %53
53: ; preds = %49, %44
br label %54
54: ; preds = %53, %41
br label %55
55: ; preds = %54, %28
br label %56
56: ; preds = %55, %20
br label %57
57: ; preds = %56, %12
ret void
}

LLVM IR (-O2):
define void @lex(i8* %0) {
%2 = load i8, i8* %0
%3 = tail call i64 @isalpha(i8 signext %2)
%4 = icmp eq i64 %3, 0
br i1 %4, label %5, label %8
5: ; preds = %1, %31
%6 = phi i8* [ %32, %31 ], [ %0, %1 ]
%7 = load i8, i8* %6
switch i8 %7, label %13 [
i8 95, label %8
i8 34, label %11
]
8: ; preds = %31, %5, %1
%9 = phi i8* [ %0, %1 ], [ %6, %5 ], [ %32, %31 ]
%10 = tail call i32 @lex_kwident(i8* %9)
br label %36
11: ; preds = %5
%12 = tail call i32 @lex_string(i8* %6)
br label %36
13: ; preds = %5
%14 = tail call i64 @isdigit(i8 signext %7)
%15 = icmp eq i64 %14, 0
br i1 %15, label %18, label %16
16: ; preds = %13
%17 = tail call i32 @lex_number(i8* %6)
br label %36
18: ; preds = %13
%19 = load i8, i8* %6
%20 = tail call i64 @ispunct(i8 signext %19)
%21 = icmp eq i64 %20, 0
%22 = load i8, i8* %6
br i1 %21, label %27, label %23
23: ; preds = %18
%24 = icmp eq i8 %22, 95
br i1 %24, label %27, label %25
25: ; preds = %23
%26 = tail call i32 @lex_punct(i8* %6)
br label %36
27: ; preds = %18, %23
%28 = phi i8 [ 95, %23 ], [ %22, %18 ]
%29 = tail call i64 @isspace(i8 signext %28)
%30 = icmp eq i64 %29, 0
br i1 %30, label %36, label %31
31: ; preds = %27
%32 = getelementptr inbounds i8, i8* %6, i64 1
%33 = load i8, i8* %32
%34 = tail call i64 @isalpha(i8 signext %33)
%35 = icmp eq i64 %34, 0
br i1 %35, label %5, label %8
36: ; preds = %27, %11, %25, %16, %8
ret void
}