#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*/ check_name(char *);
int legal_hostname(char *name) {
  char c;
  int first;
  if (!check_name(name))
    return 0;
  for (first = 1; (c = *name); name++, first = 0) {
    if ((c >= 'A' && c <= 'Z') || (c >= 'a' && c <= 'z') ||
        (c >= '0' && c <= '9'))
      continue;
    if (!first && (c == '-' || c == '_'))
      continue;
    if (c == '.')
      return 1;
    return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<legal_hostname>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <check_name@plt>
cmp    $0x0,%eax
jne    113a <legal_hostname+0x2a>
movl   $0x0,-0x4(%rbp)
jmp    1212 <legal_hostname+0x102>
movl   $0x1,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
cmp    $0x0,%al
je     120b <legal_hostname+0xfb>
movsbl -0x11(%rbp),%eax
cmp    $0x41,%eax
jl     116c <legal_hostname+0x5c>
movsbl -0x11(%rbp),%eax
cmp    $0x5a,%eax
jle    11a0 <legal_hostname+0x90>
movsbl -0x11(%rbp),%eax
cmp    $0x61,%eax
jl     1186 <legal_hostname+0x76>
movsbl -0x11(%rbp),%eax
cmp    $0x7a,%eax
jle    11a0 <legal_hostname+0x90>
movsbl -0x11(%rbp),%eax
cmp    $0x30,%eax
jl     11a5 <legal_hostname+0x95>
movsbl -0x11(%rbp),%eax
cmp    $0x39,%eax
jg     11a5 <legal_hostname+0x95>
jmp    11f3 <legal_hostname+0xe3>
cmpl   $0x0,-0x18(%rbp)
jne    11ce <legal_hostname+0xbe>
movsbl -0x11(%rbp),%eax
cmp    $0x2d,%eax
je     11c9 <legal_hostname+0xb9>
movsbl -0x11(%rbp),%eax
cmp    $0x5f,%eax
jne    11ce <legal_hostname+0xbe>
jmp    11f3 <legal_hostname+0xe3>
movsbl -0x11(%rbp),%eax
cmp    $0x2e,%eax
jne    11e7 <legal_hostname+0xd7>
movl   $0x1,-0x4(%rbp)
jmp    1212 <legal_hostname+0x102>
movl   $0x0,-0x4(%rbp)
jmp    1212 <legal_hostname+0x102>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
jmp    1141 <legal_hostname+0x31>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<legal_hostname>:
push   %rbx
mov    %rdi,%rbx
call   1030 <check_name@plt>
test   %eax,%eax
je     116a <legal_hostname+0x5a>
mov    (%rbx),%cl
mov    $0x1,%eax
test   %cl,%cl
je     1168 <legal_hostname+0x58>
add    $0x1,%rbx
xor    %esi,%esi
jmp    113e <legal_hostname+0x2e>
movzbl (%rbx),%ecx
add    $0x1,%rbx
mov    $0x1,%sil
test   %cl,%cl
je     1168 <legal_hostname+0x58>
mov    %ecx,%edx
and    $0xdf,%dl
add    $0xbf,%dl
cmp    $0x1a,%dl
jb     1130 <legal_hostname+0x20>
lea    -0x30(%rcx),%edx
cmp    $0xa,%dl
jb     1130 <legal_hostname+0x20>
test   $0x1,%sil
je     1163 <legal_hostname+0x53>
cmp    $0x2d,%cl
je     1130 <legal_hostname+0x20>
cmp    $0x5f,%cl
je     1130 <legal_hostname+0x20>
cmp    $0x2e,%cl
jne    116a <legal_hostname+0x5a>
pop    %rbx
ret
xor    %eax,%eax
pop    %rbx
ret

LLVM IR (-O0):
define i32 @legal_hostname(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i8
%5 = alloca i32
store i8* %0, i8** %3
%6 = load i8*, i8** %3
%7 = call i32 @check_name(i8* %6)
%8 = icmp ne i32 %7, 0
br i1 %8, label %10, label %9
9: ; preds = %1
store i32 0, i32* %2
br label %62
10: ; preds = %1
store i32 1, i32* %5
br label %11
11: ; preds = %58, %10
%12 = load i8*, i8** %3
%13 = load i8, i8* %12
store i8 %13, i8* %4
%14 = icmp ne i8 %13, 0
br i1 %14, label %15, label %61
15: ; preds = %11
%16 = load i8, i8* %4
%17 = sext i8 %16 to i32
%18 = icmp sge i32 %17, 65
br i1 %18, label %19, label %23
19: ; preds = %15
%20 = load i8, i8* %4
%21 = sext i8 %20 to i32
%22 = icmp sle i32 %21, 90
br i1 %22, label %39, label %23
23: ; preds = %19, %15
%24 = load i8, i8* %4
%25 = sext i8 %24 to i32
%26 = icmp sge i32 %25, 97
br i1 %26, label %27, label %31
27: ; preds = %23
%28 = load i8, i8* %4
%29 = sext i8 %28 to i32
%30 = icmp sle i32 %29, 122
br i1 %30, label %39, label %31
31: ; preds = %27, %23
%32 = load i8, i8* %4
%33 = sext i8 %32 to i32
%34 = icmp sge i32 %33, 48
br i1 %34, label %35, label %40
35: ; preds = %31
%36 = load i8, i8* %4
%37 = sext i8 %36 to i32
%38 = icmp sle i32 %37, 57
br i1 %38, label %39, label %40
39: ; preds = %35, %27, %19
br label %58
40: ; preds = %35, %31
%41 = load i32, i32* %5
%42 = icmp ne i32 %41, 0
br i1 %42, label %52, label %43
43: ; preds = %40
%44 = load i8, i8* %4
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 45
br i1 %46, label %51, label %47
47: ; preds = %43
%48 = load i8, i8* %4
%49 = sext i8 %48 to i32
%50 = icmp eq i32 %49, 95
br i1 %50, label %51, label %52
51: ; preds = %47, %43
br label %58
52: ; preds = %47, %40
%53 = load i8, i8* %4
%54 = sext i8 %53 to i32
%55 = icmp eq i32 %54, 46
br i1 %55, label %56, label %57
56: ; preds = %52
store i32 1, i32* %2
br label %62
57: ; preds = %52
store i32 0, i32* %2
br label %62
58: ; preds = %51, %39
%59 = load i8*, i8** %3
%60 = getelementptr inbounds i8, i8* %59, i32 1
store i8* %60, i8** %3
store i32 0, i32* %5
br label %11
61: ; preds = %11
store i32 1, i32* %2
br label %62
62: ; preds = %61, %57, %56, %9
%63 = load i32, i32* %2
ret i32 %63
}

LLVM IR (-O2):
define i32 @legal_hostname(i8* %0) {
%2 = tail call i32 @check_name(i8* %0)
%3 = icmp eq i32 %2, 0
br i1 %3, label %26, label %4
4: ; preds = %1
%5 = load i8, i8* %0
%6 = icmp eq i8 %5, 0
br i1 %6, label %26, label %7
7: ; preds = %4, %22
%8 = phi i8 [ %24, %22 ], [ %5, %4 ]
%9 = phi i1 [ true, %22 ], [ false, %4 ]
%10 = phi i8* [ %23, %22 ], [ %0, %4 ]
%11 = and i8 %8, -33
%12 = add i8 %11, -65
%13 = icmp ult i8 %12, 26
%14 = add i8 %8, -48
%15 = icmp ult i8 %14, 10
%16 = select i1 %13, i1 true, i1 %15
br i1 %16, label %22, label %17
17: ; preds = %7
br i1 %9, label %18, label %19
18: ; preds = %17
switch i8 %8, label %21 [
i8 95, label %22
i8 45, label %22
i8 46, label %26
]
19: ; preds = %17
%20 = icmp eq i8 %8, 46
br i1 %20, label %26, label %21
21: ; preds = %18, %19
br label %26
22: ; preds = %18, %18, %7
%23 = getelementptr inbounds i8, i8* %10, i64 1
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 0
br i1 %25, label %26, label %7
26: ; preds = %18, %22, %4, %19, %1, %21
%27 = phi i32 [ 0, %21 ], [ 0, %1 ], [ 1, %19 ], [ 1, %4 ], [ 1, %22 ], [ 1, %18 ]
ret i32 %27
}