#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*/ strcmp(char const *, char *);
int chkaddr(const char *s) {
  int dotcount;
  const char *p = s, *dom;
  if (*p == '@')
    return -1;
  do {
    char c = *p++;
    if (!(('A' <= (c) && (c) <= 'Z') || ('a' <= (c) && (c) <= 'z') ||
          ('0' <= (c) && (c) <= '9') || ((c) == '-')) &&
        (c != '.') && (c != '_'))
      return -1;
  } while (*p != '@');
  if (*++p == '\0')
    return -1;
  dom = p;
  dotcount = -1;
  do {
    if (*p == '.' || *p == '\0')
      return -2;
    dotcount += 1;
    do {
      char c = *p++;
      if (!(('A' <= (c) && (c) <= 'Z') || ('a' <= (c) && (c) <= 'z') ||
            ('0' <= (c) && (c) <= '9') || ((c) == '-')))
        return 0;
    } while (*p && *p != '.');
  } while (*p++ == '.');
  if (dotcount < 1) {
    if (!strcmp(dom, "localhost"))
      return 1;
    return -3;
  }
  return 0;
}


x86 assembly (clang, -O0):
<chkaddr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x40,%eax
jne    1140 <chkaddr+0x30>
movl   $0xffffffff,-0x4(%rbp)
jmp    1385 <chkaddr+0x275>
jmp    1145 <chkaddr+0x35>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%al
mov    %al,-0x29(%rbp)
movsbl -0x29(%rbp),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
jg     1177 <chkaddr+0x67>
movsbl -0x29(%rbp),%eax
cmp    $0x5a,%eax
jle    11e6 <chkaddr+0xd6>
movsbl -0x29(%rbp),%ecx
mov    $0x61,%eax
cmp    %ecx,%eax
jg     1195 <chkaddr+0x85>
movsbl -0x29(%rbp),%eax
cmp    $0x7a,%eax
jle    11e6 <chkaddr+0xd6>
movsbl -0x29(%rbp),%ecx
mov    $0x30,%eax
cmp    %ecx,%eax
jg     11b3 <chkaddr+0xa3>
movsbl -0x29(%rbp),%eax
cmp    $0x39,%eax
jle    11e6 <chkaddr+0xd6>
movsbl -0x29(%rbp),%eax
cmp    $0x2d,%eax
je     11e6 <chkaddr+0xd6>
movsbl -0x29(%rbp),%eax
cmp    $0x2e,%eax
je     11e6 <chkaddr+0xd6>
movsbl -0x29(%rbp),%eax
cmp    $0x5f,%eax
je     11e6 <chkaddr+0xd6>
movl   $0xffffffff,-0x4(%rbp)
jmp    1385 <chkaddr+0x275>
jmp    11eb <chkaddr+0xdb>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x40,%eax
jne    1145 <chkaddr+0x35>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    1223 <chkaddr+0x113>
movl   $0xffffffff,-0x4(%rbp)
jmp    1385 <chkaddr+0x275>
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0xffffffff,-0x14(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     1252 <chkaddr+0x142>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    125e <chkaddr+0x14e>
movl   $0xfffffffe,-0x4(%rbp)
jmp    1385 <chkaddr+0x275>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%al
mov    %al,-0x2a(%rbp)
movsbl -0x2a(%rbp),%ecx
mov    $0x41,%eax
cmp    %ecx,%eax
jg     1299 <chkaddr+0x189>
movsbl -0x2a(%rbp),%eax
cmp    $0x5a,%eax
jle    12ee <chkaddr+0x1de>
movsbl -0x2a(%rbp),%ecx
mov    $0x61,%eax
cmp    %ecx,%eax
jg     12b7 <chkaddr+0x1a7>
movsbl -0x2a(%rbp),%eax
cmp    $0x7a,%eax
jle    12ee <chkaddr+0x1de>
movsbl -0x2a(%rbp),%ecx
mov    $0x30,%eax
cmp    %ecx,%eax
jg     12d5 <chkaddr+0x1c5>
movsbl -0x2a(%rbp),%eax
cmp    $0x39,%eax
jle    12ee <chkaddr+0x1de>
movsbl -0x2a(%rbp),%eax
cmp    $0x2d,%eax
je     12ee <chkaddr+0x1de>
movl   $0x0,-0x4(%rbp)
jmp    1385 <chkaddr+0x275>
jmp    12f3 <chkaddr+0x1e3>
mov    -0x20(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x2b(%rbp)
je     1318 <chkaddr+0x208>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
setne  %al
mov    %al,-0x2b(%rbp)
mov    -0x2b(%rbp),%al
test   $0x1,%al
jne    1267 <chkaddr+0x157>
jmp    1328 <chkaddr+0x218>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     1232 <chkaddr+0x122>
cmpl   $0x1,-0x14(%rbp)
jge    137e <chkaddr+0x26e>
mov    -0x28(%rbp),%rdi
lea    0xca8(%rip),%rsi
call   1030 <strcmp@plt>
cmp    $0x0,%eax
jne    1372 <chkaddr+0x262>
movl   $0x1,-0x4(%rbp)
jmp    1385 <chkaddr+0x275>
movl   $0xfffffffd,-0x4(%rbp)
jmp    1385 <chkaddr+0x275>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<chkaddr>:
push   %rax
mov    (%rdi),%cl
mov    $0xffffffff,%eax
cmp    $0x40,%cl
je     11dd <chkaddr+0xcd>
add    $0x1,%rdi
movabs $0x4000000000003,%rsi
jmp    114c <chkaddr+0x3c>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rdi),%ecx
add    $0x1,%rdi
cmp    $0x40,%cl
je     1174 <chkaddr+0x64>
mov    %ecx,%edx
and    $0xdf,%dl
add    $0xbf,%dl
cmp    $0x1a,%dl
jb     1140 <chkaddr+0x30>
lea    -0x3a(%rcx),%edx
cmp    $0xf5,%dl
ja     1140 <chkaddr+0x30>
add    $0xd3,%cl
cmp    $0x32,%cl
ja     11dd <chkaddr+0xcd>
movzbl %cl,%ecx
bt     %rcx,%rsi
jb     1140 <chkaddr+0x30>
jmp    11dd <chkaddr+0xcd>
mov    (%rdi),%dl
test   %dl,%dl
je     11dd <chkaddr+0xcd>
mov    $0xffffffff,%r8d
mov    %rdi,%rax
test   %dl,%dl
je     11d8 <chkaddr+0xc8>
cmp    $0x2e,%dl
je     11d8 <chkaddr+0xc8>
lea    0x1(%r8),%esi
add    $0x1,%rax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %edx,%ecx
and    $0xdf,%cl
add    $0xbf,%cl
cmp    $0x1a,%cl
jb     11ba <chkaddr+0xaa>
cmp    $0x2d,%dl
je     11ba <chkaddr+0xaa>
add    $0xd0,%dl
cmp    $0x9,%dl
ja     11df <chkaddr+0xcf>
movzbl (%rax),%edx
add    $0x1,%rax
cmp    $0x2e,%dl
je     11ca <chkaddr+0xba>
test   %dl,%dl
jne    11a0 <chkaddr+0x90>
cmp    $0x2e,%dl
jne    11e3 <chkaddr+0xd3>
mov    (%rax),%dl
mov    %esi,%r8d
test   %dl,%dl
jne    1187 <chkaddr+0x77>
mov    $0xfffffffe,%eax
pop    %rcx
ret
xor    %eax,%eax
pop    %rcx
ret
xor    %eax,%eax
test   %r8d,%r8d
jns    11dd <chkaddr+0xcd>
lea    0xe0f(%rip),%rsi
call   1030 <strcmp@plt>
xor    %ecx,%ecx
test   %eax,%eax
sete   %cl
lea    -0x3(,%rcx,4),%eax
pop    %rcx
ret

LLVM IR (-O0):
@.str = [10 x i8] c"localhost\00"
define i32 @chkaddr(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8
%8 = alloca i8
store i8* %0, i8** %3
%9 = load i8*, i8** %3
store i8* %9, i8** %5
%10 = load i8*, i8** %5
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp eq i32 %12, 64
br i1 %13, label %14, label %15
14: ; preds = %1
store i32 -1, i32* %2
br label %147
15: ; preds = %1
br label %16
16: ; preds = %57, %15
%17 = load i8*, i8** %5
%18 = getelementptr inbounds i8, i8* %17, i32 1
store i8* %18, i8** %5
%19 = load i8, i8* %17
store i8 %19, i8* %7
%20 = load i8, i8* %7
%21 = sext i8 %20 to i32
%22 = icmp sle i32 65, %21
br i1 %22, label %23, label %27
23: ; preds = %16
%24 = load i8, i8* %7
%25 = sext i8 %24 to i32
%26 = icmp sle i32 %25, 90
br i1 %26, label %56, label %27
27: ; preds = %23, %16
%28 = load i8, i8* %7
%29 = sext i8 %28 to i32
%30 = icmp sle i32 97, %29
br i1 %30, label %31, label %35
31: ; preds = %27
%32 = load i8, i8* %7
%33 = sext i8 %32 to i32
%34 = icmp sle i32 %33, 122
br i1 %34, label %56, label %35
35: ; preds = %31, %27
%36 = load i8, i8* %7
%37 = sext i8 %36 to i32
%38 = icmp sle i32 48, %37
br i1 %38, label %39, label %43
39: ; preds = %35
%40 = load i8, i8* %7
%41 = sext i8 %40 to i32
%42 = icmp sle i32 %41, 57
br i1 %42, label %56, label %43
43: ; preds = %39, %35
%44 = load i8, i8* %7
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 45
br i1 %46, label %56, label %47
47: ; preds = %43
%48 = load i8, i8* %7
%49 = sext i8 %48 to i32
%50 = icmp ne i32 %49, 46
br i1 %50, label %51, label %56
51: ; preds = %47
%52 = load i8, i8* %7
%53 = sext i8 %52 to i32
%54 = icmp ne i32 %53, 95
br i1 %54, label %55, label %56
55: ; preds = %51
store i32 -1, i32* %2
br label %147
56: ; preds = %51, %47, %43, %39, %31, %23
br label %57
57: ; preds = %56
%58 = load i8*, i8** %5
%59 = load i8, i8* %58
%60 = sext i8 %59 to i32
%61 = icmp ne i32 %60, 64
br i1 %61, label %16, label %62
62: ; preds = %57
%63 = load i8*, i8** %5
%64 = getelementptr inbounds i8, i8* %63, i32 1
store i8* %64, i8** %5
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp eq i32 %66, 0
br i1 %67, label %68, label %69
68: ; preds = %62
store i32 -1, i32* %2
br label %147
69: ; preds = %62
%70 = load i8*, i8** %5
store i8* %70, i8** %6
store i32 -1, i32* %4
br label %71
71: ; preds = %131, %69
%72 = load i8*, i8** %5
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp eq i32 %74, 46
br i1 %75, label %81, label %76
76: ; preds = %71
%77 = load i8*, i8** %5
%78 = load i8, i8* %77
%79 = sext i8 %78 to i32
%80 = icmp eq i32 %79, 0
br i1 %80, label %81, label %82
81: ; preds = %76, %71
store i32 -2, i32* %2
br label %147
82: ; preds = %76
%83 = load i32, i32* %4
%84 = add nsw i32 %83, 1
store i32 %84, i32* %4
br label %85
85: ; preds = %128, %82
%86 = load i8*, i8** %5
%87 = getelementptr inbounds i8, i8* %86, i32 1
store i8* %87, i8** %5
%88 = load i8, i8* %86
store i8 %88, i8* %8
%89 = load i8, i8* %8
%90 = sext i8 %89 to i32
%91 = icmp sle i32 65, %90
br i1 %91, label %92, label %96
92: ; preds = %85
%93 = load i8, i8* %8
%94 = sext i8 %93 to i32
%95 = icmp sle i32 %94, 90
br i1 %95, label %117, label %96
96: ; preds = %92, %85
%97 = load i8, i8* %8
%98 = sext i8 %97 to i32
%99 = icmp sle i32 97, %98
br i1 %99, label %100, label %104
100: ; preds = %96
%101 = load i8, i8* %8
%102 = sext i8 %101 to i32
%103 = icmp sle i32 %102, 122
br i1 %103, label %117, label %104
104: ; preds = %100, %96
%105 = load i8, i8* %8
%106 = sext i8 %105 to i32
%107 = icmp sle i32 48, %106
br i1 %107, label %108, label %112
108: ; preds = %104
%109 = load i8, i8* %8
%110 = sext i8 %109 to i32
%111 = icmp sle i32 %110, 57
br i1 %111, label %117, label %112
112: ; preds = %108, %104
%113 = load i8, i8* %8
%114 = sext i8 %113 to i32
%115 = icmp eq i32 %114, 45
br i1 %115, label %117, label %116
116: ; preds = %112
store i32 0, i32* %2
br label %147
117: ; preds = %112, %108, %100, %92
br label %118
118: ; preds = %117
%119 = load i8*, i8** %5
%120 = load i8, i8* %119
%121 = sext i8 %120 to i32
%122 = icmp ne i32 %121, 0
br i1 %122, label %123, label %128
123: ; preds = %118
%124 = load i8*, i8** %5
%125 = load i8, i8* %124
%126 = sext i8 %125 to i32
%127 = icmp ne i32 %126, 46
br label %128
128: ; preds = %123, %118
%129 = phi i1 [ false, %118 ], [ %127, %123 ]
br i1 %129, label %85, label %130
130: ; preds = %128
br label %131
131: ; preds = %130
%132 = load i8*, i8** %5
%133 = getelementptr inbounds i8, i8* %132, i32 1
store i8* %133, i8** %5
%134 = load i8, i8* %132
%135 = sext i8 %134 to i32
%136 = icmp eq i32 %135, 46
br i1 %136, label %71, label %137
137: ; preds = %131
%138 = load i32, i32* %4
%139 = icmp slt i32 %138, 1
br i1 %139, label %140, label %146
140: ; preds = %137
%141 = load i8*, i8** %6
%142 = call i32 @strcmp(i8* %141, i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0))
%143 = icmp ne i32 %142, 0
br i1 %143, label %145, label %144
144: ; preds = %140
store i32 1, i32* %2
br label %147
145: ; preds = %140
store i32 -3, i32* %2
br label %147
146: ; preds = %137
store i32 0, i32* %2
br label %147
147: ; preds = %146, %145, %144, %116, %81, %68, %55, %14
%148 = load i32, i32* %2
ret i32 %148
}

LLVM IR (-O2):
@.str = [10 x i8] c"localhost\00"
define i32 @chkaddr(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 64
br i1 %3, label %54, label %4
4: ; preds = %1, %16
%5 = phi i8 [ %17, %16 ], [ %2, %1 ]
%6 = phi i8* [ %7, %16 ], [ %0, %1 ]
%7 = getelementptr inbounds i8, i8* %6, i64 1
%8 = and i8 %5, -33
%9 = add i8 %8, -65
%10 = icmp ult i8 %9, 26
br i1 %10, label %16, label %11
11: ; preds = %4
%12 = freeze i8 %5
%13 = add i8 %12, -58
%14 = icmp ult i8 %13, -10
br i1 %14, label %15, label %16
15: ; preds = %11
switch i8 %12, label %54 [
i8 95, label %16
i8 46, label %16
i8 45, label %16
]
16: ; preds = %4, %11, %15, %15, %15
%17 = load i8, i8* %7
%18 = icmp eq i8 %17, 64
br i1 %18, label %19, label %4
19: ; preds = %16
%20 = getelementptr inbounds i8, i8* %6, i64 2
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 0
br i1 %22, label %54, label %25
23: ; preds = %45
%24 = load i8, i8* %46
br label %25
25: ; preds = %19, %23
%26 = phi i8 [ %24, %23 ], [ %21, %19 ]
%27 = phi i8* [ %46, %23 ], [ %20, %19 ]
%28 = phi i32 [ %30, %23 ], [ -1, %19 ]
switch i8 %26, label %29 [
i8 46, label %54
i8 0, label %54
]
29: ; preds = %25
%30 = add nsw i32 %28, 1
br label %31
31: ; preds = %43, %29
%32 = phi i8 [ %26, %29 ], [ %44, %43 ]
%33 = phi i8* [ %27, %29 ], [ %34, %43 ]
%34 = getelementptr inbounds i8, i8* %33, i64 1
%35 = and i8 %32, -33
%36 = add i8 %35, -65
%37 = icmp ult i8 %36, 26
br i1 %37, label %43, label %38
38: ; preds = %31
%39 = add i8 %32, -48
%40 = icmp ult i8 %39, 10
%41 = icmp eq i8 %32, 45
%42 = or i1 %41, %40
br i1 %42, label %43, label %54
43: ; preds = %31, %38
%44 = load i8, i8* %34
switch i8 %44, label %31 [
i8 0, label %45
i8 46, label %45
]
45: ; preds = %43, %43
%46 = getelementptr inbounds i8, i8* %33, i64 2
%47 = icmp eq i8 %44, 46
br i1 %47, label %23, label %48
48: ; preds = %45
%49 = icmp slt i32 %28, 0
br i1 %49, label %50, label %54
50: ; preds = %48
%51 = tail call i32 @strcmp(i8* %20, i8* dereferenceable(10) getelementptr inbounds ([10 x i8], [10 x i8]* @.str, i64 0, i64 0))
%52 = icmp eq i32 %51, 0
%53 = select i1 %52, i32 1, i32 -3
br label %54
54: ; preds = %15, %25, %25, %38, %48, %50, %19, %1
%55 = phi i32 [ -1, %1 ], [ -1, %19 ], [ %53, %50 ], [ 0, %48 ], [ 0, %38 ], [ -2, %25 ], [ -2, %25 ], [ -1, %15 ]
ret i32 %55
}