int yuri__validate_domain(const char *str, int len) {
  int haslabel = 0, lastishyp = 0, startdig = 0, llen = 0;
  if (len > 255)
    return -1;
  for (; len > 0; str++, len--) {
    if (*str == '.') {
      if (!llen || lastishyp)
        return -1;
      llen = 0;
      continue;
    } else if (llen >= 63)
      return -1;
    if (!((*str) == '-' || ((((*str) >= 'a' && (*str) <= 'z') ||
                             ((*str) >= 'A' && (*str) <= 'Z')) ||
                            ((*str) >= '0' && (*str) <= '9'))))
      return -1;
    lastishyp = *str == '-';
    if (llen == 0) {
      if (lastishyp)
        return -1;
      startdig = ((*str) >= '0' && (*str) <= '9');
    }
    haslabel = 1;
    llen++;
  }
  return haslabel && !startdig ? 0 : -1;
}


x86 assembly (clang, -O0):
<yuri__validate_domain>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0xff,-0x14(%rbp)
jle    1140 <yuri__validate_domain+0x40>
movl   $0xffffffff,-0x4(%rbp)
jmp    12df <yuri__validate_domain+0x1df>
jmp    1145 <yuri__validate_domain+0x45>
cmpl   $0x0,-0x14(%rbp)
jle    12b1 <yuri__validate_domain+0x1b1>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    118b <yuri__validate_domain+0x8b>
cmpl   $0x0,-0x24(%rbp)
je     1173 <yuri__validate_domain+0x73>
cmpl   $0x0,-0x1c(%rbp)
je     117f <yuri__validate_domain+0x7f>
movl   $0xffffffff,-0x4(%rbp)
jmp    12df <yuri__validate_domain+0x1df>
movl   $0x0,-0x24(%rbp)
jmp    1297 <yuri__validate_domain+0x197>
cmpl   $0x3f,-0x24(%rbp)
jl     11a1 <yuri__validate_domain+0xa1>
movl   $0xffffffff,-0x4(%rbp)
jmp    12df <yuri__validate_domain+0x1df>
jmp    11a6 <yuri__validate_domain+0xa6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     1222 <yuri__validate_domain+0x122>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     11d6 <yuri__validate_domain+0xd6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7a,%eax
jle    1222 <yuri__validate_domain+0x122>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     11f6 <yuri__validate_domain+0xf6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5a,%eax
jle    1222 <yuri__validate_domain+0x122>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     1216 <yuri__validate_domain+0x116>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jle    1222 <yuri__validate_domain+0x122>
movl   $0xffffffff,-0x4(%rbp)
jmp    12df <yuri__validate_domain+0x1df>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x24(%rbp)
jne    1287 <yuri__validate_domain+0x187>
cmpl   $0x0,-0x1c(%rbp)
je     1257 <yuri__validate_domain+0x157>
movl   $0xffffffff,-0x4(%rbp)
jmp    12df <yuri__validate_domain+0x1df>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x30,%ecx
mov    %al,-0x25(%rbp)
jl     127c <yuri__validate_domain+0x17c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
setle  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x20(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1145 <yuri__validate_domain+0x45>
xor    %eax,%eax
cmpl   $0x0,-0x18(%rbp)
mov    %al,-0x26(%rbp)
je     12cc <yuri__validate_domain+0x1cc>
cmpl   $0x0,-0x20(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%dl
mov    $0xffffffff,%eax
xor    %ecx,%ecx
test   $0x1,%dl
cmovne %ecx,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<yuri__validate_domain>:
mov    $0xffffffff,%eax
cmp    $0xff,%esi
jg     11b9 <yuri__validate_domain+0xb9>
test   %esi,%esi
jle    11ba <yuri__validate_domain+0xba>
add    $0x1,%esi
xor    %r10d,%r10d
xor    %r8d,%r8d
xor    %ecx,%ecx
xor    %r9d,%r9d
jmp    1157 <yuri__validate_domain+0x57>
nopl   0x0(%rax)
xor    %ecx,%ecx
cmp    $0xa,%dl
setb   %cl
test   %r10d,%r10d
cmove  %ecx,%r8d
xor    %ecx,%ecx
add    $0x1,%r10d
mov    $0x1,%r9d
add    $0x1,%rdi
add    $0xffffffff,%esi
cmp    $0x1,%esi
jle    11c0 <yuri__validate_domain+0xc0>
movzbl (%rdi),%edx
cmp    $0x2e,%dl
jne    1180 <yuri__validate_domain+0x80>
test   %r10d,%r10d
je     11b9 <yuri__validate_domain+0xb9>
xor    %r10d,%r10d
test   %ecx,%ecx
mov    $0x0,%ecx
je     114b <yuri__validate_domain+0x4b>
jmp    11b9 <yuri__validate_domain+0xb9>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cmp    $0x3e,%r10d
jg     11b9 <yuri__validate_domain+0xb9>
cmp    $0x2d,%dl
jne    11a0 <yuri__validate_domain+0xa0>
mov    $0x1,%ecx
test   %r10d,%r10d
jne    1141 <yuri__validate_domain+0x41>
jmp    11b9 <yuri__validate_domain+0xb9>
nopw   0x0(%rax,%rax,1)
mov    %edx,%ecx
and    $0xdf,%cl
add    $0xbf,%cl
add    $0xd0,%dl
cmp    $0x1a,%cl
jb     1130 <yuri__validate_domain+0x30>
cmp    $0x9,%dl
jbe    1130 <yuri__validate_domain+0x30>
ret
xor    %r9d,%r9d
xor    %r8d,%r8d
test   %r9d,%r9d
sete   %al
test   %r8d,%r8d
setne  %cl
or     %al,%cl
movzbl %cl,%eax
neg    %eax
ret

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

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