#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__ isalnum(int);
int check_userhost(char *p, char *end) {
  char *p1;
  int dot;
  p1 = p;
  while (p < end && (isalnum((int)*p) || *p == '-' || *p == '_' || *p == '.'))
    p++;
  if (p == p1 || p == end || *p != '@')
    return -1;
  p++;
  dot = 1;
  p1 = p;
  while (p < end) {
    if (*p == '.') {
      if (dot)
        return -1;
      dot = 1;
    } else if (isalnum((int)*p) || *p == '-' || *p == '_') {
      dot = 0;
    } else {
      return -1;
    }
    p++;
  }
  if (p1 == p || dot)
    return -1;
  return 0;
}


x86 assembly (clang, -O0):
<check_userhost>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x25(%rbp)
jae    1199 <check_userhost+0x89>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isalnum@plt>
mov    %rax,%rcx
mov    $0x1,%al
cmp    $0x0,%rcx
mov    %al,-0x26(%rbp)
jne    1193 <check_userhost+0x83>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x2d,%ecx
mov    %al,-0x26(%rbp)
je     1193 <check_userhost+0x83>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
mov    $0x1,%al
cmp    $0x5f,%ecx
mov    %al,-0x26(%rbp)
je     1193 <check_userhost+0x83>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
sete   %al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    11a9 <check_userhost+0x99>
jmp    11ba <check_userhost+0xaa>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1128 <check_userhost+0x18>
mov    -0x10(%rbp),%rax
cmp    -0x20(%rbp),%rax
je     11e6 <check_userhost+0xd6>
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
je     11e6 <check_userhost+0xd6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x40,%eax
je     11f2 <check_userhost+0xe2>
movl   $0xffffffff,-0x4(%rbp)
jmp    12dc <check_userhost+0x1cc>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
movl   $0x1,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    12b1 <check_userhost+0x1a1>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    124d <check_userhost+0x13d>
cmpl   $0x0,-0x24(%rbp)
je     1241 <check_userhost+0x131>
movl   $0xffffffff,-0x4(%rbp)
jmp    12dc <check_userhost+0x1cc>
movl   $0x1,-0x24(%rbp)
jmp    12a0 <check_userhost+0x190>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isalnum@plt>
cmp    $0x0,%rax
jne    1283 <check_userhost+0x173>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     1283 <check_userhost+0x173>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5f,%eax
jne    128f <check_userhost+0x17f>
movl   $0x0,-0x24(%rbp)
jmp    129b <check_userhost+0x18b>
movl   $0xffffffff,-0x4(%rbp)
jmp    12dc <check_userhost+0x1cc>
jmp    12a0 <check_userhost+0x190>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    120d <check_userhost+0xfd>
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     12c9 <check_userhost+0x1b9>
cmpl   $0x0,-0x24(%rbp)
je     12d5 <check_userhost+0x1c5>
movl   $0xffffffff,-0x4(%rbp)
jmp    12dc <check_userhost+0x1cc>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_userhost>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    $0xffffffff,%r14d
cmp    %rsi,%rdi
jae    1203 <check_userhost+0xf3>
mov    %rsi,%r15
mov    %rdi,%rbp
mov    %rsi,%r12
sub    %rdi,%r12
xor    %ebx,%ebx
movabs $0x4000000000003,%r13
jmp    1159 <check_userhost+0x49>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%rbx
cmp    %rbx,%r12
je     1181 <check_userhost+0x71>
movsbl 0x0(%rbp,%rbx,1),%edi
call   1030 <isalnum@plt>
test   %rax,%rax
jne    1150 <check_userhost+0x40>
movzbl 0x0(%rbp,%rbx,1),%eax
add    $0xd3,%al
cmp    $0x32,%al
ja     117c <check_userhost+0x6c>
movzbl %al,%eax
bt     %rax,%r13
jb     1150 <check_userhost+0x40>
add    %rbp,%rbx
jmp    1184 <check_userhost+0x74>
mov    %r15,%rbx
cmp    %rbp,%rbx
je     1203 <check_userhost+0xf3>
cmp    %r15,%rbx
je     1203 <check_userhost+0xf3>
cmpb   $0x40,(%rbx)
jne    1203 <check_userhost+0xf3>
lea    0x1(%rbx),%rax
cmp    %r15,%rax
jae    11e5 <check_userhost+0xd5>
sub    %rbx,%r15
mov    $0x1,%ebp
mov    $0x1,%ecx
jmp    11c2 <check_userhost+0xb2>
nopl   0x0(%rax,%rax,1)
test   %ecx,%ecx
mov    $0x1,%ecx
jne    1203 <check_userhost+0xf3>
add    $0x1,%rbp
cmp    %rbp,%r15
je     11ee <check_userhost+0xde>
movsbl (%rbx,%rbp,1),%edi
cmp    $0x2e,%edi
je     11b0 <check_userhost+0xa0>
call   1030 <isalnum@plt>
xor    %ecx,%ecx
test   %rax,%rax
jne    11b9 <check_userhost+0xa9>
movzbl (%rbx,%rbp,1),%eax
cmp    $0x5f,%al
je     11b9 <check_userhost+0xa9>
cmp    $0x2d,%al
je     11b9 <check_userhost+0xa9>
jmp    1203 <check_userhost+0xf3>
mov    $0x1,%ecx
mov    $0x1,%al
jmp    11f5 <check_userhost+0xe5>
cmp    $0x1,%r15
sete   %al
test   %ecx,%ecx
setne  %cl
or     %al,%cl
movzbl %cl,%r14d
neg    %r14d
mov    %r14d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @check_userhost(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
%8 = load i8*, i8** %4
store i8* %8, i8** %6
br label %9
9: ; preds = %38, %2
%10 = load i8*, i8** %4
%11 = load i8*, i8** %5
%12 = icmp ult i8* %10, %11
br i1 %12, label %13, label %36
13: ; preds = %9
%14 = load i8*, i8** %4
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = call i64 @isalnum(i32 %16)
%18 = icmp ne i64 %17, 0
br i1 %18, label %34, label %19
19: ; preds = %13
%20 = load i8*, i8** %4
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = icmp eq i32 %22, 45
br i1 %23, label %34, label %24
24: ; preds = %19
%25 = load i8*, i8** %4
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp eq i32 %27, 95
br i1 %28, label %34, label %29
29: ; preds = %24
%30 = load i8*, i8** %4
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = icmp eq i32 %32, 46
br label %34
34: ; preds = %29, %24, %19, %13
%35 = phi i1 [ true, %24 ], [ true, %19 ], [ true, %13 ], [ %33, %29 ]
br label %36
36: ; preds = %34, %9
%37 = phi i1 [ false, %9 ], [ %35, %34 ]
br i1 %37, label %38, label %41
38: ; preds = %36
%39 = load i8*, i8** %4
%40 = getelementptr inbounds i8, i8* %39, i32 1
store i8* %40, i8** %4
br label %9
41: ; preds = %36
%42 = load i8*, i8** %4
%43 = load i8*, i8** %6
%44 = icmp eq i8* %42, %43
br i1 %44, label %54, label %45
45: ; preds = %41
%46 = load i8*, i8** %4
%47 = load i8*, i8** %5
%48 = icmp eq i8* %46, %47
br i1 %48, label %54, label %49
49: ; preds = %45
%50 = load i8*, i8** %4
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = icmp ne i32 %52, 64
br i1 %53, label %54, label %55
54: ; preds = %49, %45, %41
store i32 -1, i32* %3
br label %104
55: ; preds = %49
%56 = load i8*, i8** %4
%57 = getelementptr inbounds i8, i8* %56, i32 1
store i8* %57, i8** %4
store i32 1, i32* %7
%58 = load i8*, i8** %4
store i8* %58, i8** %6
br label %59
59: ; preds = %92, %55
%60 = load i8*, i8** %4
%61 = load i8*, i8** %5
%62 = icmp ult i8* %60, %61
br i1 %62, label %63, label %95
63: ; preds = %59
%64 = load i8*, i8** %4
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp eq i32 %66, 46
br i1 %67, label %68, label %73
68: ; preds = %63
%69 = load i32, i32* %7
%70 = icmp ne i32 %69, 0
br i1 %70, label %71, label %72
71: ; preds = %68
store i32 -1, i32* %3
br label %104
72: ; preds = %68
store i32 1, i32* %7
br label %92
73: ; preds = %63
%74 = load i8*, i8** %4
%75 = load i8, i8* %74
%76 = sext i8 %75 to i32
%77 = call i64 @isalnum(i32 %76)
%78 = icmp ne i64 %77, 0
br i1 %78, label %89, label %79
79: ; preds = %73
%80 = load i8*, i8** %4
%81 = load i8, i8* %80
%82 = sext i8 %81 to i32
%83 = icmp eq i32 %82, 45
br i1 %83, label %89, label %84
84: ; preds = %79
%85 = load i8*, i8** %4
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 95
br i1 %88, label %89, label %90
89: ; preds = %84, %79, %73
store i32 0, i32* %7
br label %91
90: ; preds = %84
store i32 -1, i32* %3
br label %104
91: ; preds = %89
br label %92
92: ; preds = %91, %72
%93 = load i8*, i8** %4
%94 = getelementptr inbounds i8, i8* %93, i32 1
store i8* %94, i8** %4
br label %59
95: ; preds = %59
%96 = load i8*, i8** %6
%97 = load i8*, i8** %4
%98 = icmp eq i8* %96, %97
br i1 %98, label %102, label %99
99: ; preds = %95
%100 = load i32, i32* %7
%101 = icmp ne i32 %100, 0
br i1 %101, label %102, label %103
102: ; preds = %99, %95
store i32 -1, i32* %3
br label %104
103: ; preds = %99
store i32 0, i32* %3
br label %104
104: ; preds = %103, %102, %90, %71, %54
%105 = load i32, i32* %3
ret i32 %105
}

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