#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 check_input_buffer2(char *buffer, size_t size) {
  char *ptr = buffer, *end_ptr = buffer + size;
  int length = 0;
  int extra = 0;
  while (ptr < end_ptr) {
    if (*++ptr == '\0') {
      length = ptr - buffer;
      break;
    }
  }
  if (!length) {
    return 0;
  }
  if (!((unsigned char)(*buffer | 0x20) >= 'a' &&
        (unsigned char)(*buffer | 0x20) <= 'z') &&
      *buffer != '_' && *buffer != '.') {
    return 0;
  }
  if (*buffer == '_' || *buffer == '.') {
    extra = 1;
  }
  for (ptr = buffer + 1; ptr < (buffer + length - 1); ptr++) {
    if (((*ptr) == '_' || (*ptr) == '-' || (*ptr) == '.') && extra) {
      return 0;
    }
    if (!(((unsigned char)(*ptr | 0x20) >= 'a' &&
           (unsigned char)(*ptr | 0x20) <= 'z') ||
          ((*ptr) >= '0' && (*ptr) <= '9')) &&
        !((*ptr) == '_' || (*ptr) == '-' || (*ptr) == '.')) {
      return 0;
    }
    extra = 0;
    if (((*ptr) == '_' || (*ptr) == '-' || (*ptr) == '.')) {
      extra = 1;
    }
  }
  return length;
}


x86 assembly (clang, -O0):
<check_input_buffer2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    1170 <check_input_buffer2+0x70>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    116b <check_input_buffer2+0x6b>
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x2c(%rbp)
jmp    1170 <check_input_buffer2+0x70>
jmp    112e <check_input_buffer2+0x2e>
cmpl   $0x0,-0x2c(%rbp)
jne    1186 <check_input_buffer2+0x86>
movl   $0x0,-0x4(%rbp)
jmp    1355 <check_input_buffer2+0x255>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
or     $0x20,%eax
movzbl %al,%eax
cmp    $0x61,%eax
jl     11b2 <check_input_buffer2+0xb2>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
or     $0x20,%eax
movzbl %al,%eax
cmp    $0x7a,%eax
jle    11de <check_input_buffer2+0xde>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5f,%eax
je     11de <check_input_buffer2+0xde>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     11de <check_input_buffer2+0xde>
movl   $0x0,-0x4(%rbp)
jmp    1355 <check_input_buffer2+0x255>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5f,%eax
je     11fe <check_input_buffer2+0xfe>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    1205 <check_input_buffer2+0x105>
movl   $0x1,-0x30(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x10(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
add    %rdx,%rcx
add    $0xffffffffffffffff,%rcx
cmp    %rcx,%rax
jae    134f <check_input_buffer2+0x24f>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5f,%eax
je     125d <check_input_buffer2+0x15d>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     125d <check_input_buffer2+0x15d>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    1273 <check_input_buffer2+0x173>
cmpl   $0x0,-0x30(%rbp)
je     1273 <check_input_buffer2+0x173>
movl   $0x0,-0x4(%rbp)
jmp    1355 <check_input_buffer2+0x255>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
or     $0x20,%eax
movzbl %al,%eax
cmp    $0x61,%eax
jl     129f <check_input_buffer2+0x19f>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
or     $0x20,%eax
movzbl %al,%eax
cmp    $0x7a,%eax
jle    12fb <check_input_buffer2+0x1fb>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     12bf <check_input_buffer2+0x1bf>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jle    12fb <check_input_buffer2+0x1fb>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5f,%eax
je     12fb <check_input_buffer2+0x1fb>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     12fb <check_input_buffer2+0x1fb>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     12fb <check_input_buffer2+0x1fb>
movl   $0x0,-0x4(%rbp)
jmp    1355 <check_input_buffer2+0x255>
movl   $0x0,-0x30(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5f,%eax
je     1332 <check_input_buffer2+0x232>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     1332 <check_input_buffer2+0x232>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    1339 <check_input_buffer2+0x239>
movl   $0x1,-0x30(%rbp)
jmp    133e <check_input_buffer2+0x23e>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1211 <check_input_buffer2+0x111>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_input_buffer2>:
add    %rdi,%rsi
xor    %eax,%eax
movabs $0x100000000,%r8
xor    %ecx,%ecx
xor    %r9d,%r9d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    (%rdi,%rcx,1),%rdx
cmp    %rsi,%rdx
jae    123b <check_input_buffer2+0x13b>
add    %r8,%r9
lea    0x1(%rcx),%r10
cmpb   $0x0,0x1(%rdi,%rcx,1)
mov    %r10,%rcx
jne    1120 <check_input_buffer2+0x20>
test   %r10d,%r10d
je     123b <check_input_buffer2+0x13b>
mov    (%rdi),%sil
mov    %esi,%ecx
or     $0x20,%cl
add    $0x9f,%cl
cmp    $0x1a,%cl
jb     1167 <check_input_buffer2+0x67>
cmp    $0x5f,%sil
je     1167 <check_input_buffer2+0x67>
cmp    $0x2e,%sil
jne    123b <check_input_buffer2+0x13b>
movabs $0x200000000,%rcx
cmp    %rcx,%r9
jle    1238 <check_input_buffer2+0x138>
sar    $0x20,%r9
add    %rdi,%r9
add    $0xffffffffffffffff,%r9
add    $0x1,%rdi
cmp    $0x5f,%sil
sete   %cl
cmp    $0x2e,%sil
sete   %dl
or     %cl,%dl
movzbl %dl,%edx
movabs $0x4000000000003,%r8
cs nopw 0x0(%rax,%rax,1)
movzbl (%rdi),%esi
cmp    $0x2d,%sil
je     11bf <check_input_buffer2+0xbf>
cmp    $0x5f,%sil
jne    11d0 <check_input_buffer2+0xd0>
test   %edx,%edx
je     11e0 <check_input_buffer2+0xe0>
jmp    123b <check_input_buffer2+0x13b>
cs nopw 0x0(%rax,%rax,1)
nop
test   %edx,%edx
je     11e0 <check_input_buffer2+0xe0>
cmp    $0x2e,%sil
je     123b <check_input_buffer2+0x13b>
nopw   0x0(%rax,%rax,1)
mov    %esi,%ecx
or     $0x20,%cl
add    $0x9f,%cl
cmp    $0x1a,%cl
jb     1210 <check_input_buffer2+0x110>
lea    -0x30(%rsi),%ecx
cmp    $0xa,%cl
jb     1210 <check_input_buffer2+0x110>
add    $0xd3,%sil
cmp    $0x32,%sil
ja     123b <check_input_buffer2+0x13b>
movzbl %sil,%ecx
bt     %rcx,%r8
jb     1226 <check_input_buffer2+0x126>
jmp    123b <check_input_buffer2+0x13b>
nopl   0x0(%rax,%rax,1)
xor    %edx,%edx
add    $0xd3,%sil
cmp    $0x32,%sil
ja     122b <check_input_buffer2+0x12b>
movzbl %sil,%ecx
bt     %rcx,%r8
jae    122b <check_input_buffer2+0x12b>
mov    $0x1,%edx
add    $0x1,%rdi
cmp    %r9,%rdi
jb     11b0 <check_input_buffer2+0xb0>
mov    %r10d,%eax
ret

LLVM IR (-O0):
define i32 @check_input_buffer2(i8* %0, i64 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %4
store i64 %1, i64* %5
%10 = load i8*, i8** %4
store i8* %10, i8** %6
%11 = load i8*, i8** %4
%12 = load i64, i64* %5
%13 = getelementptr inbounds i8, i8* %11, i64 %12
store i8* %13, i8** %7
store i32 0, i32* %8
store i32 0, i32* %9
br label %14
14: ; preds = %31, %2
%15 = load i8*, i8** %6
%16 = load i8*, i8** %7
%17 = icmp ult i8* %15, %16
br i1 %17, label %18, label %32
18: ; preds = %14
%19 = load i8*, i8** %6
%20 = getelementptr inbounds i8, i8* %19, i32 1
store i8* %20, i8** %6
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = icmp eq i32 %22, 0
br i1 %23, label %24, label %31
24: ; preds = %18
%25 = load i8*, i8** %6
%26 = load i8*, i8** %4
%27 = ptrtoint i8* %25 to i64
%28 = ptrtoint i8* %26 to i64
%29 = sub i64 %27, %28
%30 = trunc i64 %29 to i32
store i32 %30, i32* %8
br label %32
31: ; preds = %18
br label %14
32: ; preds = %24, %14
%33 = load i32, i32* %8
%34 = icmp ne i32 %33, 0
br i1 %34, label %36, label %35
35: ; preds = %32
store i32 0, i32* %3
br label %168
36: ; preds = %32
%37 = load i8*, i8** %4
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = or i32 %39, 32
%41 = trunc i32 %40 to i8
%42 = zext i8 %41 to i32
%43 = icmp sge i32 %42, 97
br i1 %43, label %44, label %52
44: ; preds = %36
%45 = load i8*, i8** %4
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = or i32 %47, 32
%49 = trunc i32 %48 to i8
%50 = zext i8 %49 to i32
%51 = icmp sle i32 %50, 122
br i1 %51, label %63, label %52
52: ; preds = %44, %36
%53 = load i8*, i8** %4
%54 = load i8, i8* %53
%55 = sext i8 %54 to i32
%56 = icmp ne i32 %55, 95
br i1 %56, label %57, label %63
57: ; preds = %52
%58 = load i8*, i8** %4
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = icmp ne i32 %60, 46
br i1 %61, label %62, label %63
62: ; preds = %57
store i32 0, i32* %3
br label %168
63: ; preds = %57, %52, %44
%64 = load i8*, i8** %4
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp eq i32 %66, 95
br i1 %67, label %73, label %68
68: ; preds = %63
%69 = load i8*, i8** %4
%70 = load i8, i8* %69
%71 = sext i8 %70 to i32
%72 = icmp eq i32 %71, 46
br i1 %72, label %73, label %74
73: ; preds = %68, %63
store i32 1, i32* %9
br label %74
74: ; preds = %73, %68
%75 = load i8*, i8** %4
%76 = getelementptr inbounds i8, i8* %75, i64 1
store i8* %76, i8** %6
br label %77
77: ; preds = %163, %74
%78 = load i8*, i8** %6
%79 = load i8*, i8** %4
%80 = load i32, i32* %8
%81 = sext i32 %80 to i64
%82 = getelementptr inbounds i8, i8* %79, i64 %81
%83 = getelementptr inbounds i8, i8* %82, i64 -1
%84 = icmp ult i8* %78, %83
br i1 %84, label %85, label %166
85: ; preds = %77
%86 = load i8*, i8** %6
%87 = load i8, i8* %86
%88 = sext i8 %87 to i32
%89 = icmp eq i32 %88, 95
br i1 %89, label %100, label %90
90: ; preds = %85
%91 = load i8*, i8** %6
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = icmp eq i32 %93, 45
br i1 %94, label %100, label %95
95: ; preds = %90
%96 = load i8*, i8** %6
%97 = load i8, i8* %96
%98 = sext i8 %97 to i32
%99 = icmp eq i32 %98, 46
br i1 %99, label %100, label %104
100: ; preds = %95, %90, %85
%101 = load i32, i32* %9
%102 = icmp ne i32 %101, 0
br i1 %102, label %103, label %104
103: ; preds = %100
store i32 0, i32* %3
br label %168
104: ; preds = %100, %95
%105 = load i8*, i8** %6
%106 = load i8, i8* %105
%107 = sext i8 %106 to i32
%108 = or i32 %107, 32
%109 = trunc i32 %108 to i8
%110 = zext i8 %109 to i32
%111 = icmp sge i32 %110, 97
br i1 %111, label %112, label %120
112: ; preds = %104
%113 = load i8*, i8** %6
%114 = load i8, i8* %113
%115 = sext i8 %114 to i32
%116 = or i32 %115, 32
%117 = trunc i32 %116 to i8
%118 = zext i8 %117 to i32
%119 = icmp sle i32 %118, 122
br i1 %119, label %146, label %120
120: ; preds = %112, %104
%121 = load i8*, i8** %6
%122 = load i8, i8* %121
%123 = sext i8 %122 to i32
%124 = icmp sge i32 %123, 48
br i1 %124, label %125, label %130
125: ; preds = %120
%126 = load i8*, i8** %6
%127 = load i8, i8* %126
%128 = sext i8 %127 to i32
%129 = icmp sle i32 %128, 57
br i1 %129, label %146, label %130
130: ; preds = %125, %120
%131 = load i8*, i8** %6
%132 = load i8, i8* %131
%133 = sext i8 %132 to i32
%134 = icmp eq i32 %133, 95
br i1 %134, label %146, label %135
135: ; preds = %130
%136 = load i8*, i8** %6
%137 = load i8, i8* %136
%138 = sext i8 %137 to i32
%139 = icmp eq i32 %138, 45
br i1 %139, label %146, label %140
140: ; preds = %135
%141 = load i8*, i8** %6
%142 = load i8, i8* %141
%143 = sext i8 %142 to i32
%144 = icmp eq i32 %143, 46
br i1 %144, label %146, label %145
145: ; preds = %140
store i32 0, i32* %3
br label %168
146: ; preds = %140, %135, %130, %125, %112
store i32 0, i32* %9
%147 = load i8*, i8** %6
%148 = load i8, i8* %147
%149 = sext i8 %148 to i32
%150 = icmp eq i32 %149, 95
br i1 %150, label %161, label %151
151: ; preds = %146
%152 = load i8*, i8** %6
%153 = load i8, i8* %152
%154 = sext i8 %153 to i32
%155 = icmp eq i32 %154, 45
br i1 %155, label %161, label %156
156: ; preds = %151
%157 = load i8*, i8** %6
%158 = load i8, i8* %157
%159 = sext i8 %158 to i32
%160 = icmp eq i32 %159, 46
br i1 %160, label %161, label %162
161: ; preds = %156, %151, %146
store i32 1, i32* %9
br label %162
162: ; preds = %161, %156
br label %163
163: ; preds = %162
%164 = load i8*, i8** %6
%165 = getelementptr inbounds i8, i8* %164, i32 1
store i8* %165, i8** %6
br label %77
166: ; preds = %77
%167 = load i32, i32* %8
store i32 %167, i32* %3
br label %168
168: ; preds = %166, %145, %103, %62, %35
%169 = load i32, i32* %3
ret i32 %169
}

LLVM IR (-O2):
define i32 @check_input_buffer2(i8* %0, i64 %1) {
%3 = getelementptr inbounds i8, i8* %0, i64 %1
br label %4
4: ; preds = %7, %2
%5 = phi i8* [ %0, %2 ], [ %8, %7 ]
%6 = icmp ult i8* %5, %3
br i1 %6, label %7, label %59
7: ; preds = %4
%8 = getelementptr inbounds i8, i8* %5, i64 1
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 0
br i1 %10, label %11, label %4
11: ; preds = %7
%12 = ptrtoint i8* %8 to i64
%13 = ptrtoint i8* %0 to i64
%14 = sub i64 %12, %13
%15 = trunc i64 %14 to i32
%16 = icmp eq i32 %15, 0
br i1 %16, label %59, label %17
17: ; preds = %11
%18 = load i8, i8* %0
%19 = or i8 %18, 32
%20 = add i8 %19, -97
%21 = icmp ult i8 %20, 26
br i1 %21, label %23, label %22
22: ; preds = %17
switch i8 %18, label %59 [
i8 95, label %23
i8 46, label %23
]
23: ; preds = %22, %22, %17
%24 = shl i64 %14, 32
%25 = ashr exact i64 %24, 32
%26 = add nsw i64 %25, -1
%27 = getelementptr inbounds i8, i8* %0, i64 %26
%28 = icmp sgt i64 %24, 8589934592
br i1 %28, label %29, label %59
29: ; preds = %23
%30 = getelementptr inbounds i8, i8* %0, i64 1
%31 = icmp eq i8 %18, 95
%32 = icmp eq i8 %18, 46
%33 = or i1 %31, %32
%34 = zext i1 %33 to i32
br label %35
35: ; preds = %29, %55
%36 = phi i8* [ %57, %55 ], [ %30, %29 ]
%37 = phi i32 [ %56, %55 ], [ %34, %29 ]
%38 = load i8, i8* %36
switch i8 %38, label %39 [
i8 95, label %43
i8 45, label %43
]
39: ; preds = %35
%40 = icmp eq i8 %38, 46
%41 = icmp ne i32 %37, 0
%42 = and i1 %41, %40
br i1 %42, label %59, label %45
43: ; preds = %35, %35
%44 = icmp eq i32 %37, 0
br i1 %44, label %45, label %59
45: ; preds = %43, %39
%46 = or i8 %38, 32
%47 = add i8 %46, -97
%48 = icmp ult i8 %47, 26
%49 = add i8 %38, -48
%50 = icmp ult i8 %49, 10
%51 = select i1 %48, i1 true, i1 %50
br i1 %51, label %53, label %52
52: ; preds = %45
switch i8 %38, label %59 [
i8 95, label %54
i8 45, label %54
i8 46, label %54
]
53: ; preds = %45
switch i8 %38, label %55 [
i8 95, label %54
i8 45, label %54
i8 46, label %54
]
54: ; preds = %52, %52, %52, %53, %53, %53
br label %55
55: ; preds = %53, %54
%56 = phi i32 [ 1, %54 ], [ 0, %53 ]
%57 = getelementptr inbounds i8, i8* %36, i64 1
%58 = icmp ult i8* %57, %27
br i1 %58, label %35, label %59
59: ; preds = %4, %39, %43, %55, %52, %23, %22, %11
%60 = phi i32 [ 0, %11 ], [ 0, %22 ], [ %15, %23 ], [ 0, %39 ], [ 0, %43 ], [ %15, %55 ], [ 0, %52 ], [ 0, %4 ]
ret i32 %60
}