#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 */
int /*<<< orphan*/ exit(int);
int /*<<< orphan*/ isdigit(char);
int /*<<< orphan*/ printf(char *);
int lex(char *str, int *pos) {
  int estado = 0;
  char c;
  while (1) {
    c = str[*pos];
    switch (estado) {
    case 0:
      if (isdigit(c)) {
        (*pos)++;
        estado = 1;
      } else
        switch (c) {
        case ' ':
          (*pos)++;
          break;
        case '.':
          (*pos)++;
          estado = 2;
          break;
        case '<':
          (*pos)++;
          return 0x0100;
        case '>':
          (*pos)++;
          return 0x0200;
        case '^':
          (*pos)++;
          return 0X0300;
        case 'v':
          (*pos)++;
          return 0x0400;
        case '~':
          (*pos)++;
          return 0x0500;
        case '(':
          (*pos)++;
          return 0x0600;
        case ')':
          (*pos)++;
          return 0x0700;
        case 'c':
          (*pos)++;
          return 0x0800;
        case '\0':
          return 0x0900;
        default:
          (*pos)++;
          return 0x0000;
        }
      break;
    case 1:
      if (isdigit(c))
        (*pos)++;
      else if (c == '.') {
        estado = 3;
        (*pos)++;
      } else {
        return 0x0800;
      }
      break;
    case 2:
      if (isdigit(c)) {
        (*pos)++;
        estado = 3;
      } else {
        (*pos)++;
        return 0x0000;
      }
      break;
    case 3:
      if (isdigit(c))
        (*pos)++;
      else {
        return 0x0800;
      }
      break;
    default:
      printf("Lex:Estado indefinido");
      exit(1);
    }
  }
}


x86 assembly (clang, -O0):
<lex>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x1d(%rbp)
mov    -0x1c(%rbp),%eax
mov    %rax,-0x28(%rbp)
sub    $0x3,%rax
ja     1444 <lex+0x314>
mov    -0x28(%rbp),%rax
lea    0xe8c(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsbl -0x1d(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     11a6 <lex+0x76>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x1,-0x1c(%rbp)
jmp    136b <lex+0x23b>
movsbl -0x1d(%rbp),%eax
mov    %eax,-0x2c(%rbp)
test   %eax,%eax
je     1343 <lex+0x213>
jmp    11ba <lex+0x8a>
mov    -0x2c(%rbp),%eax
sub    $0x20,%eax
je     1264 <lex+0x134>
jmp    11cb <lex+0x9b>
mov    -0x2c(%rbp),%eax
sub    $0x28,%eax
je     12fe <lex+0x1ce>
jmp    11dc <lex+0xac>
mov    -0x2c(%rbp),%eax
sub    $0x29,%eax
je     1315 <lex+0x1e5>
jmp    11ed <lex+0xbd>
mov    -0x2c(%rbp),%eax
sub    $0x2e,%eax
je     1274 <lex+0x144>
jmp    11fe <lex+0xce>
mov    -0x2c(%rbp),%eax
sub    $0x3c,%eax
je     128b <lex+0x15b>
jmp    120f <lex+0xdf>
mov    -0x2c(%rbp),%eax
sub    $0x3e,%eax
je     12a2 <lex+0x172>
jmp    1220 <lex+0xf0>
mov    -0x2c(%rbp),%eax
sub    $0x5e,%eax
je     12b9 <lex+0x189>
jmp    1231 <lex+0x101>
mov    -0x2c(%rbp),%eax
sub    $0x63,%eax
je     132c <lex+0x1fc>
jmp    1242 <lex+0x112>
mov    -0x2c(%rbp),%eax
sub    $0x76,%eax
je     12d0 <lex+0x1a0>
jmp    1253 <lex+0x123>
mov    -0x2c(%rbp),%eax
sub    $0x7e,%eax
je     12e7 <lex+0x1b7>
jmp    134f <lex+0x21f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    1366 <lex+0x236>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x2,-0x1c(%rbp)
jmp    1366 <lex+0x236>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x100,-0x4(%rbp)
jmp    145f <lex+0x32f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x200,-0x4(%rbp)
jmp    145f <lex+0x32f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x300,-0x4(%rbp)
jmp    145f <lex+0x32f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x400,-0x4(%rbp)
jmp    145f <lex+0x32f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x500,-0x4(%rbp)
jmp    145f <lex+0x32f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x600,-0x4(%rbp)
jmp    145f <lex+0x32f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x700,-0x4(%rbp)
jmp    145f <lex+0x32f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x800,-0x4(%rbp)
jmp    145f <lex+0x32f>
movl   $0x900,-0x4(%rbp)
jmp    145f <lex+0x32f>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    145f <lex+0x32f>
jmp    136b <lex+0x23b>
jmp    145a <lex+0x32a>
movsbl -0x1d(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     1392 <lex+0x262>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    13c7 <lex+0x297>
movsbl -0x1d(%rbp),%eax
cmp    $0x2e,%eax
jne    13b6 <lex+0x286>
movl   $0x3,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    13c2 <lex+0x292>
movl   $0x800,-0x4(%rbp)
jmp    145f <lex+0x32f>
jmp    13c7 <lex+0x297>
jmp    145a <lex+0x32a>
movsbl -0x1d(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     13f5 <lex+0x2c5>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x3,-0x1c(%rbp)
jmp    140c <lex+0x2dc>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    145f <lex+0x32f>
jmp    145a <lex+0x32a>
movsbl -0x1d(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%eax
je     1433 <lex+0x303>
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    143f <lex+0x30f>
movl   $0x800,-0x4(%rbp)
jmp    145f <lex+0x32f>
jmp    145a <lex+0x32a>
lea    0xbc5(%rip),%rdi
call   1040 <printf@plt>
mov    $0x1,%edi
call   1050 <exit@plt>
jmp    1147 <lex+0x17>
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lex>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rsi,%r15
mov    %rdi,%r14
mov    (%rsi),%edx
xor    %ecx,%ecx
lea    0xeb6(%rip),%r12
lea    0xebf(%rip),%r13
jmp    117d <lex+0x4d>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ebx,%edi
call   1030 <isdigit@plt>
mov    $0x3,%ecx
test   %eax,%eax
je     1211 <lex+0xe1>
mov    (%r15),%edx
add    $0x1,%edx
mov    %edx,(%r15)
cmp    $0x3,%ecx
ja     1269 <lex+0x139>
movslq %edx,%rax
movsbl (%r14,%rax,1),%ebx
mov    %ecx,%eax
movslq (%r12,%rax,4),%rax
add    %r12,%rax
jmp    *%rax
mov    %ebx,%edi
call   1030 <isdigit@plt>
mov    $0x1,%ecx
test   %eax,%eax
jne    1174 <lex+0x44>
lea    -0x20(%rbx),%eax
cmp    $0x5e,%eax
ja     1218 <lex+0xe8>
xor    %ecx,%ecx
movslq 0x0(%r13,%rax,4),%rax
add    %r13,%rax
jmp    *%rax
mov    $0x2,%ecx
jmp    1174 <lex+0x44>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %ebx,%edi
call   1030 <isdigit@plt>
mov    $0x1,%ecx
test   %eax,%eax
jne    1174 <lex+0x44>
mov    $0x3,%ecx
cmp    $0x2e,%bl
je     1174 <lex+0x44>
jmp    1211 <lex+0xe1>
nopl   0x0(%rax)
mov    %ebx,%edi
call   1030 <isdigit@plt>
mov    (%r15),%edx
add    $0x1,%edx
mov    %edx,(%r15)
mov    $0x3,%ecx
test   %eax,%eax
jne    117d <lex+0x4d>
xor    %eax,%eax
jmp    125f <lex+0x12f>
mov    $0x800,%eax
jmp    125f <lex+0x12f>
mov    $0x900,%eax
test   %ebx,%ebx
je     125f <lex+0x12f>
xor    %eax,%eax
jmp    125b <lex+0x12b>
mov    $0x600,%eax
jmp    125b <lex+0x12b>
mov    $0x700,%eax
jmp    125b <lex+0x12b>
mov    $0x100,%eax
jmp    125b <lex+0x12b>
mov    $0x200,%eax
jmp    125b <lex+0x12b>
mov    $0x300,%eax
jmp    125b <lex+0x12b>
mov    $0x800,%eax
jmp    125b <lex+0x12b>
mov    $0x400,%eax
jmp    125b <lex+0x12b>
mov    $0x500,%eax
addl   $0x1,(%r15)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
lea    0xf1c(%rip),%rdi
call   1040 <printf@plt>
mov    $0x1,%edi
call   1050 <exit@plt>

LLVM IR (-O0):
@.str = [22 x i8] c"Lex:Estado indefinido\00"
define i32 @lex(i8* %0, i32* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i8
store i8* %0, i8** %4
store i32* %1, i32** %5
store i32 0, i32* %6
br label %8
8: ; preds = %2, %119
%9 = load i8*, i8** %4
%10 = load i32*, i32** %5
%11 = load i32, i32* %10
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds i8, i8* %9, i64 %12
%14 = load i8, i8* %13
store i8 %14, i8* %7
%15 = load i32, i32* %6
switch i32 %15, label %116 [
i32 0, label %16
i32 1, label %74
i32 2, label %93
i32 3, label %106
]
16: ; preds = %8
%17 = load i8, i8* %7
%18 = call i32 @isdigit(i8 signext %17)
%19 = icmp ne i32 %18, 0
br i1 %19, label %20, label %24
20: ; preds = %16
%21 = load i32*, i32** %5
%22 = load i32, i32* %21
%23 = add nsw i32 %22, 1
store i32 %23, i32* %21
store i32 1, i32* %6
br label %73
24: ; preds = %16
%25 = load i8, i8* %7
%26 = sext i8 %25 to i32
switch i32 %26, label %68 [
i32 32, label %27
i32 46, label %31
i32 60, label %35
i32 62, label %39
i32 94, label %43
i32 118, label %47
i32 126, label %51
i32 40, label %55
i32 41, label %59
i32 99, label %63
i32 0, label %67
]
27: ; preds = %24
%28 = load i32*, i32** %5
%29 = load i32, i32* %28
%30 = add nsw i32 %29, 1
store i32 %30, i32* %28
br label %72
31: ; preds = %24
%32 = load i32*, i32** %5
%33 = load i32, i32* %32
%34 = add nsw i32 %33, 1
store i32 %34, i32* %32
store i32 2, i32* %6
br label %72
35: ; preds = %24
%36 = load i32*, i32** %5
%37 = load i32, i32* %36
%38 = add nsw i32 %37, 1
store i32 %38, i32* %36
store i32 256, i32* %3
br label %120
39: ; preds = %24
%40 = load i32*, i32** %5
%41 = load i32, i32* %40
%42 = add nsw i32 %41, 1
store i32 %42, i32* %40
store i32 512, i32* %3
br label %120
43: ; preds = %24
%44 = load i32*, i32** %5
%45 = load i32, i32* %44
%46 = add nsw i32 %45, 1
store i32 %46, i32* %44
store i32 768, i32* %3
br label %120
47: ; preds = %24
%48 = load i32*, i32** %5
%49 = load i32, i32* %48
%50 = add nsw i32 %49, 1
store i32 %50, i32* %48
store i32 1024, i32* %3
br label %120
51: ; preds = %24
%52 = load i32*, i32** %5
%53 = load i32, i32* %52
%54 = add nsw i32 %53, 1
store i32 %54, i32* %52
store i32 1280, i32* %3
br label %120
55: ; preds = %24
%56 = load i32*, i32** %5
%57 = load i32, i32* %56
%58 = add nsw i32 %57, 1
store i32 %58, i32* %56
store i32 1536, i32* %3
br label %120
59: ; preds = %24
%60 = load i32*, i32** %5
%61 = load i32, i32* %60
%62 = add nsw i32 %61, 1
store i32 %62, i32* %60
store i32 1792, i32* %3
br label %120
63: ; preds = %24
%64 = load i32*, i32** %5
%65 = load i32, i32* %64
%66 = add nsw i32 %65, 1
store i32 %66, i32* %64
store i32 2048, i32* %3
br label %120
67: ; preds = %24
store i32 2304, i32* %3
br label %120
68: ; preds = %24
%69 = load i32*, i32** %5
%70 = load i32, i32* %69
%71 = add nsw i32 %70, 1
store i32 %71, i32* %69
store i32 0, i32* %3
br label %120
72: ; preds = %31, %27
br label %73
73: ; preds = %72, %20
br label %119
74: ; preds = %8
%75 = load i8, i8* %7
%76 = call i32 @isdigit(i8 signext %75)
%77 = icmp ne i32 %76, 0
br i1 %77, label %78, label %82
78: ; preds = %74
%79 = load i32*, i32** %5
%80 = load i32, i32* %79
%81 = add nsw i32 %80, 1
store i32 %81, i32* %79
br label %92
82: ; preds = %74
%83 = load i8, i8* %7
%84 = sext i8 %83 to i32
%85 = icmp eq i32 %84, 46
br i1 %85, label %86, label %90
86: ; preds = %82
store i32 3, i32* %6
%87 = load i32*, i32** %5
%88 = load i32, i32* %87
%89 = add nsw i32 %88, 1
store i32 %89, i32* %87
br label %91
90: ; preds = %82
store i32 2048, i32* %3
br label %120
91: ; preds = %86
br label %92
92: ; preds = %91, %78
br label %119
93: ; preds = %8
%94 = load i8, i8* %7
%95 = call i32 @isdigit(i8 signext %94)
%96 = icmp ne i32 %95, 0
br i1 %96, label %97, label %101
97: ; preds = %93
%98 = load i32*, i32** %5
%99 = load i32, i32* %98
%100 = add nsw i32 %99, 1
store i32 %100, i32* %98
store i32 3, i32* %6
br label %105
101: ; preds = %93
%102 = load i32*, i32** %5
%103 = load i32, i32* %102
%104 = add nsw i32 %103, 1
store i32 %104, i32* %102
store i32 0, i32* %3
br label %120
105: ; preds = %97
br label %119
106: ; preds = %8
%107 = load i8, i8* %7
%108 = call i32 @isdigit(i8 signext %107)
%109 = icmp ne i32 %108, 0
br i1 %109, label %110, label %114
110: ; preds = %106
%111 = load i32*, i32** %5
%112 = load i32, i32* %111
%113 = add nsw i32 %112, 1
store i32 %113, i32* %111
br label %115
114: ; preds = %106
store i32 2048, i32* %3
br label %120
115: ; preds = %110
br label %119
116: ; preds = %8
%117 = call i32 @printf(i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str, i64 0, i64 0))
%118 = call i32 @exit(i32 1)
unreachable
119: ; preds = %115, %105, %92, %73
br label %8
120: ; preds = %114, %101, %90, %68, %67, %63, %59, %55, %51, %47, %43, %39, %35
%121 = load i32, i32* %3
ret i32 %121
}

LLVM IR (-O2):
@.str = [22 x i8] c"Lex:Estado indefinido\00"
define i32 @lex(i8* nocapture %0, i32* %1) {
%3 = load i32, i32* %1
br label %4
4: ; preds = %42, %2
%5 = phi i32 [ %3, %2 ], [ %43, %42 ]
%6 = phi i32 [ 0, %2 ], [ %44, %42 ]
%7 = sext i32 %5 to i64
%8 = getelementptr inbounds i8, i8* %0, i64 %7
%9 = load i8, i8* %8
switch i32 %6, label %35 [
i32 0, label %10
i32 1, label %22
i32 2, label %27
i32 3, label %32
]
10: ; preds = %4
%11 = tail call i32 @isdigit(i8 signext %9)
%12 = icmp eq i32 %11, 0
br i1 %12, label %13, label %38
13: ; preds = %10
%14 = sext i8 %9 to i32
switch i32 %14, label %21 [
i32 32, label %38
i32 46, label %15
i32 60, label %45
i32 62, label %46
i32 94, label %47
i32 118, label %16
i32 126, label %17
i32 40, label %18
i32 41, label %19
i32 99, label %20
i32 0, label %51
]
15: ; preds = %13
br label %38
16: ; preds = %13
br label %47
17: ; preds = %13
br label %47
18: ; preds = %13
br label %47
19: ; preds = %13
br label %47
20: ; preds = %13
br label %47
21: ; preds = %13
br label %47
22: ; preds = %4
%23 = tail call i32 @isdigit(i8 signext %9)
%24 = icmp eq i32 %23, 0
br i1 %24, label %25, label %38
25: ; preds = %22
%26 = icmp eq i8 %9, 46
br i1 %26, label %38, label %51
27: ; preds = %4
%28 = tail call i32 @isdigit(i8 signext %9)
%29 = icmp eq i32 %28, 0
%30 = load i32, i32* %1
%31 = add nsw i32 %30, 1
store i32 %31, i32* %1
br i1 %29, label %51, label %42
32: ; preds = %4
%33 = tail call i32 @isdigit(i8 signext %9)
%34 = icmp eq i32 %33, 0
br i1 %34, label %51, label %38
35: ; preds = %4
%36 = tail call i32 @printf(i8* dereferenceable(1) getelementptr inbounds ([22 x i8], [22 x i8]* @.str, i64 0, i64 0))
%37 = tail call i32 @exit(i32 1)
unreachable
38: ; preds = %32, %25, %22, %13, %10, %15
%39 = phi i32 [ 2, %15 ], [ 1, %10 ], [ 0, %13 ], [ 1, %22 ], [ 3, %25 ], [ 3, %32 ]
%40 = load i32, i32* %1
%41 = add nsw i32 %40, 1
store i32 %41, i32* %1
br label %42
42: ; preds = %38, %27
%43 = phi i32 [ %31, %27 ], [ %41, %38 ]
%44 = phi i32 [ 3, %27 ], [ %39, %38 ]
br label %4
45: ; preds = %13
br label %47
46: ; preds = %13
br label %47
47: ; preds = %13, %46, %45, %16, %17, %18, %19, %20, %21
%48 = phi i32 [ 1024, %16 ], [ 1280, %17 ], [ 1536, %18 ], [ 1792, %19 ], [ 2048, %20 ], [ 0, %21 ], [ 256, %45 ], [ 512, %46 ], [ 768, %13 ]
%49 = load i32, i32* %1
%50 = add nsw i32 %49, 1
store i32 %50, i32* %1
br label %51
51: ; preds = %32, %25, %13, %27, %47
%52 = phi i32 [ %48, %47 ], [ 0, %27 ], [ 2048, %32 ], [ 2048, %25 ], [ 2304, %13 ]
ret i32 %52
}