#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__ isAlphaNumDots(char *);
scalar_t__ isNumeric(char *);
char *strchr(char *, char);
scalar_t__ strcmp(char *, char *);
int messageParser(char *input) {
  char *aux, *aux2;
  if (input == NULL)
    return -1;
  if (strcmp(input, "%EXIT\n") == 0)
    return 1;
  if (strcmp(input, "%HELP\n") == 0)
    return 0;
  if ((aux = strchr(input, ':')) == NULL)
    return -1;
  if ((input[0] == '%') && (input[1] == 'R') && (input[2] == ' ')) {
    if ((aux2 = strchr(aux + 1, ':')) != NULL || aux == (input + 3) ||
        !isAlphaNumDots(input + 3))
      return -1;
    else
      return 2;
  }
  if ((aux2 = strchr(aux + 1, ':')) == NULL)
    return -1;
  if (isAlphaNumDots(input) && aux2 != aux + 1 && aux != input &&
      isNumeric(aux2 + 1))
    return 3;
  return -1;
}


x86 assembly (clang, -O0):
<messageParser>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    1163 <messageParser+0x23>
movl   $0xffffffff,-0x4(%rbp)
jmp    12f9 <messageParser+0x1b9>
mov    -0x10(%rbp),%rdi
lea    0xe92(%rip),%rsi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
jne    1189 <messageParser+0x49>
movl   $0x1,-0x4(%rbp)
jmp    12f9 <messageParser+0x1b9>
mov    -0x10(%rbp),%rdi
lea    0xe73(%rip),%rsi
call   1050 <strcmp@plt>
cmp    $0x0,%rax
jne    11af <messageParser+0x6f>
movl   $0x0,-0x4(%rbp)
jmp    12f9 <messageParser+0x1b9>
mov    -0x10(%rbp),%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
mov    %rax,-0x18(%rbp)
cmp    $0x0,%rax
jne    11d7 <messageParser+0x97>
movl   $0xffffffff,-0x4(%rbp)
jmp    12f9 <messageParser+0x1b9>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x25,%eax
jne    126d <messageParser+0x12d>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x52,%eax
jne    126d <messageParser+0x12d>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x20,%eax
jne    126d <messageParser+0x12d>
mov    -0x18(%rbp),%rdi
add    $0x1,%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
jne    1255 <messageParser+0x115>
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
add    $0x3,%rcx
cmp    %rcx,%rax
je     1255 <messageParser+0x115>
mov    -0x10(%rbp),%rdi
add    $0x3,%rdi
call   1060 <isAlphaNumDots@plt>
cmp    $0x0,%rax
jne    1261 <messageParser+0x121>
movl   $0xffffffff,-0x4(%rbp)
jmp    12f9 <messageParser+0x1b9>
movl   $0x2,-0x4(%rbp)
jmp    12f9 <messageParser+0x1b9>
mov    -0x18(%rbp),%rdi
add    $0x1,%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
jne    1299 <messageParser+0x159>
movl   $0xffffffff,-0x4(%rbp)
jmp    12f9 <messageParser+0x1b9>
mov    -0x10(%rbp),%rdi
call   1060 <isAlphaNumDots@plt>
cmp    $0x0,%rax
je     12f2 <messageParser+0x1b2>
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
je     12f2 <messageParser+0x1b2>
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     12f2 <messageParser+0x1b2>
mov    -0x20(%rbp),%rdi
add    $0x1,%rdi
call   1030 <isNumeric@plt>
cmp    $0x0,%rax
je     12f2 <messageParser+0x1b2>
movl   $0x3,-0x4(%rbp)
jmp    12f9 <messageParser+0x1b9>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<messageParser>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    $0xffffffff,%ebp
test   %rdi,%rdi
je     122d <messageParser+0xed>
mov    %rdi,%rbx
lea    0xea0(%rip),%rsi
call   1050 <strcmp@plt>
test   %rax,%rax
je     11d7 <messageParser+0x97>
lea    0xe96(%rip),%rsi
mov    %rbx,%rdi
call   1050 <strcmp@plt>
test   %rax,%rax
je     11de <messageParser+0x9e>
mov    %rbx,%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
test   %rax,%rax
je     122d <messageParser+0xed>
mov    %rax,%r14
cmpb   $0x25,(%rbx)
jne    11e2 <messageParser+0xa2>
cmpb   $0x52,0x1(%rbx)
jne    11e2 <messageParser+0xa2>
cmpb   $0x20,0x2(%rbx)
jne    11e2 <messageParser+0xa2>
lea    0x1(%r14),%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
test   %rax,%rax
jne    122d <messageParser+0xed>
add    $0x3,%rbx
cmp    %rbx,%r14
je     122d <messageParser+0xed>
mov    %rbx,%rdi
call   1060 <isAlphaNumDots@plt>
cmp    $0x1,%rax
sbb    %ebp,%ebp
or     $0x2,%ebp
jmp    122d <messageParser+0xed>
mov    $0x1,%ebp
jmp    122d <messageParser+0xed>
xor    %ebp,%ebp
jmp    122d <messageParser+0xed>
lea    0x1(%r14),%r12
mov    %r12,%rdi
mov    $0x3a,%esi
call   1040 <strchr@plt>
test   %rax,%rax
je     122d <messageParser+0xed>
mov    %rax,%r15
mov    %rbx,%rdi
call   1060 <isAlphaNumDots@plt>
test   %rax,%rax
je     1228 <messageParser+0xe8>
cmp    %r12,%r15
je     1228 <messageParser+0xe8>
cmp    %rbx,%r14
je     1228 <messageParser+0xe8>
add    $0x1,%r15
mov    %r15,%rdi
call   1030 <isNumeric@plt>
mov    $0x3,%ebp
test   %rax,%rax
jne    122d <messageParser+0xed>
mov    $0xffffffff,%ebp
mov    %ebp,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [7 x i8] c"%EXIT\0A\00"
@.str.1 = [7 x i8] c"%HELP\0A\00"
define i32 @messageParser(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %50, label %3
3: ; preds = %1
%4 = tail call i64 @strcmp(i8* %0, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0))
%5 = icmp eq i64 %4, 0
br i1 %5, label %50, label %6
6: ; preds = %3
%7 = tail call i64 @strcmp(i8* %0, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0))
%8 = icmp eq i64 %7, 0
br i1 %8, label %50, label %9
9: ; preds = %6
%10 = tail call i8* @strchr(i8* %0, i8 signext 58)
%11 = icmp eq i8* %10, null
br i1 %11, label %50, label %12
12: ; preds = %9
%13 = load i8, i8* %0
%14 = icmp eq i8 %13, 37
br i1 %14, label %15, label %34
15: ; preds = %12
%16 = getelementptr inbounds i8, i8* %0, i64 1
%17 = load i8, i8* %16
%18 = icmp eq i8 %17, 82
br i1 %18, label %19, label %34
19: ; preds = %15
%20 = getelementptr inbounds i8, i8* %0, i64 2
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 32
br i1 %22, label %23, label %34
23: ; preds = %19
%24 = getelementptr inbounds i8, i8* %10, i64 1
%25 = tail call i8* @strchr(i8* %24, i8 signext 58)
%26 = icmp eq i8* %25, null
br i1 %26, label %27, label %50
27: ; preds = %23
%28 = getelementptr inbounds i8, i8* %0, i64 3
%29 = icmp eq i8* %10, %28
br i1 %29, label %50, label %30
30: ; preds = %27
%31 = tail call i64 @isAlphaNumDots(i8* %28)
%32 = icmp eq i64 %31, 0
%33 = select i1 %32, i32 -1, i32 2
br label %50
34: ; preds = %19, %15, %12
%35 = getelementptr inbounds i8, i8* %10, i64 1
%36 = tail call i8* @strchr(i8* %35, i8 signext 58)
%37 = icmp eq i8* %36, null
br i1 %37, label %50, label %38
38: ; preds = %34
%39 = tail call i64 @isAlphaNumDots(i8* %0)
%40 = icmp eq i64 %39, 0
%41 = icmp eq i8* %36, %35
%42 = select i1 %40, i1 true, i1 %41
%43 = icmp eq i8* %10, %0
%44 = select i1 %42, i1 true, i1 %43
br i1 %44, label %49, label %45
45: ; preds = %38
%46 = getelementptr inbounds i8, i8* %36, i64 1
%47 = tail call i64 @isNumeric(i8* %46)
%48 = icmp eq i64 %47, 0
br i1 %48, label %49, label %50
49: ; preds = %45, %38
br label %50
50: ; preds = %30, %45, %34, %23, %27, %9, %6, %3, %1, %49
%51 = phi i32 [ -1, %49 ], [ -1, %1 ], [ 1, %3 ], [ 0, %6 ], [ -1, %9 ], [ -1, %27 ], [ -1, %23 ], [ -1, %34 ], [ 3, %45 ], [ %33, %30 ]
ret i32 %51
}