#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 */
char _toupper(char);
int /*<<< orphan*/ strcat(char *, char *);
int strlen(char *);
int /*<<< orphan*/ strncpy(char *, char const *, int);
int DEM_CheckGrid(const char *ing) {
  int error;
  long i;
  char g[7];
  strncpy(g, ing, 6);
  if (strlen(g) == 4)
    strcat(g, "LL");
  error = 0;
  i = 0;
  do {
    i++;
    if (i == 3 || i == 4) {
      if (g[i - 1] >= '0' && g[i - 1] <= '9')
        error = 0;
      else {
        error = 1;
      }
    } else if (g[i - 1] >= 'A' && g[i - 1] <= 'Z')
      error = 0;
    else if (g[i - 1] >= 'a' && g[i - 1] <= 'z') {
      g[i - 1] = _toupper(g[i - 1]);
      error = 0;
    } else
      error = 1;
  } while (!(i == 6 || error));
  return error;
}


x86 assembly (clang, -O0):
<DEM_CheckGrid>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
lea    -0x1f(%rbp),%rdi
mov    -0x8(%rbp),%rsi
mov    $0x6,%edx
call   1030 <strncpy@plt>
lea    -0x1f(%rbp),%rdi
call   1040 <strlen@plt>
cmp    $0x4,%eax
jne    1180 <DEM_CheckGrid+0x40>
lea    -0x1f(%rbp),%rdi
lea    0xe85(%rip),%rsi
call   1060 <strcat@plt>
movl   $0x0,-0xc(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x3,-0x18(%rbp)
je     11b1 <DEM_CheckGrid+0x71>
cmpq   $0x4,-0x18(%rbp)
jne    11f5 <DEM_CheckGrid+0xb5>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
movsbl -0x1f(%rbp,%rax,1),%eax
cmp    $0x30,%eax
jl     11e9 <DEM_CheckGrid+0xa9>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
movsbl -0x1f(%rbp,%rax,1),%eax
cmp    $0x39,%eax
jg     11e9 <DEM_CheckGrid+0xa9>
movl   $0x0,-0xc(%rbp)
jmp    11f0 <DEM_CheckGrid+0xb0>
movl   $0x1,-0xc(%rbp)
jmp    1296 <DEM_CheckGrid+0x156>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
movsbl -0x1f(%rbp,%rax,1),%eax
cmp    $0x41,%eax
jl     122d <DEM_CheckGrid+0xed>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
movsbl -0x1f(%rbp,%rax,1),%eax
cmp    $0x5a,%eax
jg     122d <DEM_CheckGrid+0xed>
movl   $0x0,-0xc(%rbp)
jmp    1291 <DEM_CheckGrid+0x151>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
movsbl -0x1f(%rbp,%rax,1),%eax
cmp    $0x61,%eax
jl     1285 <DEM_CheckGrid+0x145>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
movsbl -0x1f(%rbp,%rax,1),%eax
cmp    $0x7a,%eax
jg     1285 <DEM_CheckGrid+0x145>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
movsbl -0x1f(%rbp,%rax,1),%edi
call   1050 <_toupper@plt>
mov    %al,%cl
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
mov    %cl,-0x1f(%rbp,%rax,1)
movl   $0x0,-0xc(%rbp)
jmp    128c <DEM_CheckGrid+0x14c>
movl   $0x1,-0xc(%rbp)
jmp    1291 <DEM_CheckGrid+0x151>
jmp    1296 <DEM_CheckGrid+0x156>
jmp    129b <DEM_CheckGrid+0x15b>
mov    $0x1,%al
cmpq   $0x6,-0x18(%rbp)
mov    %al,-0x20(%rbp)
je     12b5 <DEM_CheckGrid+0x175>
cmpl   $0x0,-0xc(%rbp)
setne  %al
mov    %al,-0x20(%rbp)
mov    -0x20(%rbp),%al
xor    $0xff,%al
test   $0x1,%al
jne    118f <DEM_CheckGrid+0x4f>
mov    -0xc(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<DEM_CheckGrid>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%rsi
lea    0x1(%rsp),%rbx
mov    %rbx,%rdi
mov    $0x6,%edx
call   1030 <strncpy@plt>
mov    %rbx,%rdi
call   1040 <strlen@plt>
cmp    $0x4,%eax
jne    1177 <DEM_CheckGrid+0x37>
lea    0xe93(%rip),%rsi
lea    0x1(%rsp),%rdi
call   1060 <strcat@plt>
xor    %ebx,%ebx
movabs $0x7ffffffffffffffe,%r14
ff ff 7f
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rbx,%rax
and    %r14,%rax
movzbl 0x1(%rsp,%rbx,1),%ecx
cmp    $0x2,%rax
jne    11b0 <DEM_CheckGrid+0x70>
add    $0xc6,%cl
xor    %edx,%edx
cmp    $0xf6,%cl
setb   %dl
mov    %edx,%eax
jmp    11d7 <DEM_CheckGrid+0x97>
lea    -0x41(%rcx),%esi
xor    %edx,%edx
mov    $0x0,%eax
cmp    $0x1a,%sil
jb     11d7 <DEM_CheckGrid+0x97>
lea    -0x61(%rcx),%eax
cmp    $0x19,%al
ja     11e7 <DEM_CheckGrid+0xa7>
movsbl %cl,%edi
call   1050 <_toupper@plt>
mov    %al,0x1(%rsp,%rbx,1)
xor    %edx,%edx
xor    %eax,%eax
cmp    $0x5,%rbx
je     11ec <DEM_CheckGrid+0xac>
add    $0x1,%rbx
test   %dl,%dl
je     1190 <DEM_CheckGrid+0x50>
jmp    11ec <DEM_CheckGrid+0xac>
mov    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
@.str = [3 x i8] c"LL\00"
define i32 @DEM_CheckGrid(i8* %0) {
%2 = alloca [7 x i8]
%3 = getelementptr inbounds [7 x i8], [7 x i8]* %2, i64 0, i64 0
%4 = call i32 @strncpy(i8* %3, i8* %0, i32 6)
%5 = call i32 @strlen(i8* %3)
%6 = icmp eq i32 %5, 4
br i1 %6, label %7, label %9
7: ; preds = %1
%8 = call i32 @strcat(i8* %3, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
br label %9
9: ; preds = %7, %1
br label %10
10: ; preds = %9, %29
%11 = phi i64 [ %12, %29 ], [ 0, %9 ]
%12 = add nuw nsw i64 %11, 1
%13 = and i64 %11, 9223372036854775806
%14 = icmp eq i64 %13, 2
%15 = getelementptr inbounds [7 x i8], [7 x i8]* %2, i64 0, i64 %11
%16 = load i8, i8* %15
br i1 %14, label %17, label %21
17: ; preds = %10
%18 = add i8 %16, -58
%19 = icmp ult i8 %18, -10
%20 = zext i1 %19 to i32
br label %29
21: ; preds = %10
%22 = add i8 %16, -65
%23 = icmp ult i8 %22, 26
br i1 %23, label %29, label %24
24: ; preds = %21
%25 = add i8 %16, -97
%26 = icmp ult i8 %25, 26
br i1 %26, label %27, label %34
27: ; preds = %24
%28 = call signext i8 @_toupper(i8 signext %16)
store i8 %28, i8* %15
br label %29
29: ; preds = %17, %21, %27
%30 = phi i1 [ false, %27 ], [ false, %21 ], [ %19, %17 ]
%31 = phi i32 [ 0, %27 ], [ 0, %21 ], [ %20, %17 ]
%32 = icmp eq i64 %12, 6
%33 = or i1 %32, %30
br i1 %33, label %34, label %10
34: ; preds = %24, %29
%35 = phi i32 [ %31, %29 ], [ 1, %24 ]
ret i32 %35
}