int DomainEndsInDot(const char *dom) {
  while (dom[0] && dom[1]) {
    if (dom[0] == '\\') {
      if (((dom[1]) >= '0' && (dom[1]) <= '9') &&
          ((dom[2]) >= '0' && (dom[2]) <= '9') &&
          ((dom[3]) >= '0' && (dom[3]) <= '9'))
        dom += 4;
      else
        dom += 2;
    } else
      dom++;
  }
  return (dom[0] == '.');
}


x86 assembly (clang, -O0):
<DomainEndsInDot>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x9(%rbp)
je     112e <DomainEndsInDot+0x2e>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x9(%rbp)
mov    -0x9(%rbp),%al
test   $0x1,%al
jne    113e <DomainEndsInDot+0x3e>
jmp    11e7 <DomainEndsInDot+0xe7>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    11d6 <DomainEndsInDot+0xd6>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x30,%eax
jl     11c5 <DomainEndsInDot+0xc5>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x39,%eax
jg     11c5 <DomainEndsInDot+0xc5>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x30,%eax
jl     11c5 <DomainEndsInDot+0xc5>
mov    -0x8(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x39,%eax
jg     11c5 <DomainEndsInDot+0xc5>
mov    -0x8(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x30,%eax
jl     11c5 <DomainEndsInDot+0xc5>
mov    -0x8(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x39,%eax
jg     11c5 <DomainEndsInDot+0xc5>
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x8(%rbp)
jmp    11d1 <DomainEndsInDot+0xd1>
mov    -0x8(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x8(%rbp)
jmp    11e2 <DomainEndsInDot+0xe2>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    1108 <DomainEndsInDot+0x8>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<DomainEndsInDot>:
mov    (%rdi),%cl
test   %cl,%cl
jne    112a <DomainEndsInDot+0x2a>
xor    %ecx,%ecx
xor    %eax,%eax
cmp    $0x2e,%cl
sete   %al
ret
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rdi
mov    %eax,%ecx
test   %al,%al
je     1106 <DomainEndsInDot+0x6>
movzbl 0x1(%rdi),%eax
test   %al,%al
je     1108 <DomainEndsInDot+0x8>
cmp    $0x5c,%cl
jne    1120 <DomainEndsInDot+0x20>
add    $0xd0,%al
cmp    $0x9,%al
ja     1160 <DomainEndsInDot+0x60>
movzbl 0x2(%rdi),%eax
add    $0xd0,%al
cmp    $0x9,%al
ja     1160 <DomainEndsInDot+0x60>
movzbl 0x3(%rdi),%eax
add    $0xd0,%al
mov    $0x4,%ecx
cmp    $0xa,%al
jb     1165 <DomainEndsInDot+0x65>
cs nopw 0x0(%rax,%rax,1)
mov    $0x2,%ecx
movzbl (%rdi,%rcx,1),%eax
add    %rcx,%rdi
jmp    1124 <DomainEndsInDot+0x24>

LLVM IR (-O0):
define i32 @DomainEndsInDot(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
br label %3
3: ; preds = %69, %1
%4 = load i8*, i8** %2
%5 = getelementptr inbounds i8, i8* %4, i64 0
%6 = load i8, i8* %5
%7 = sext i8 %6 to i32
%8 = icmp ne i32 %7, 0
br i1 %8, label %9, label %15
9: ; preds = %3
%10 = load i8*, i8** %2
%11 = getelementptr inbounds i8, i8* %10, i64 1
%12 = load i8, i8* %11
%13 = sext i8 %12 to i32
%14 = icmp ne i32 %13, 0
br label %15
15: ; preds = %9, %3
%16 = phi i1 [ false, %3 ], [ %14, %9 ]
br i1 %16, label %17, label %70
17: ; preds = %15
%18 = load i8*, i8** %2
%19 = getelementptr inbounds i8, i8* %18, i64 0
%20 = load i8, i8* %19
%21 = sext i8 %20 to i32
%22 = icmp eq i32 %21, 92
br i1 %22, label %23, label %66
23: ; preds = %17
%24 = load i8*, i8** %2
%25 = getelementptr inbounds i8, i8* %24, i64 1
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp sge i32 %27, 48
br i1 %28, label %29, label %62
29: ; preds = %23
%30 = load i8*, i8** %2
%31 = getelementptr inbounds i8, i8* %30, i64 1
%32 = load i8, i8* %31
%33 = sext i8 %32 to i32
%34 = icmp sle i32 %33, 57
br i1 %34, label %35, label %62
35: ; preds = %29
%36 = load i8*, i8** %2
%37 = getelementptr inbounds i8, i8* %36, i64 2
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = icmp sge i32 %39, 48
br i1 %40, label %41, label %62
41: ; preds = %35
%42 = load i8*, i8** %2
%43 = getelementptr inbounds i8, i8* %42, i64 2
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = icmp sle i32 %45, 57
br i1 %46, label %47, label %62
47: ; preds = %41
%48 = load i8*, i8** %2
%49 = getelementptr inbounds i8, i8* %48, i64 3
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = icmp sge i32 %51, 48
br i1 %52, label %53, label %62
53: ; preds = %47
%54 = load i8*, i8** %2
%55 = getelementptr inbounds i8, i8* %54, i64 3
%56 = load i8, i8* %55
%57 = sext i8 %56 to i32
%58 = icmp sle i32 %57, 57
br i1 %58, label %59, label %62
59: ; preds = %53
%60 = load i8*, i8** %2
%61 = getelementptr inbounds i8, i8* %60, i64 4
store i8* %61, i8** %2
br label %65
62: ; preds = %53, %47, %41, %35, %29, %23
%63 = load i8*, i8** %2
%64 = getelementptr inbounds i8, i8* %63, i64 2
store i8* %64, i8** %2
br label %65
65: ; preds = %62, %59
br label %69
66: ; preds = %17
%67 = load i8*, i8** %2
%68 = getelementptr inbounds i8, i8* %67, i32 1
store i8* %68, i8** %2
br label %69
69: ; preds = %66, %65
br label %3
70: ; preds = %15
%71 = load i8*, i8** %2
%72 = getelementptr inbounds i8, i8* %71, i64 0
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp eq i32 %74, 46
%76 = zext i1 %75 to i32
ret i32 %76
}

LLVM IR (-O2):
define i32 @DomainEndsInDot(i8* nocapture %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %34, label %4
4: ; preds = %1, %30
%5 = phi i8 [ %31, %30 ], [ %2, %1 ]
%6 = phi i8* [ %32, %30 ], [ %0, %1 ]
%7 = getelementptr inbounds i8, i8* %6, i64 1
%8 = load i8, i8* %7
%9 = icmp eq i8 %8, 0
br i1 %9, label %34, label %10
10: ; preds = %4
%11 = icmp eq i8 %5, 92
br i1 %11, label %12, label %30
12: ; preds = %10
%13 = add i8 %8, -48
%14 = icmp ult i8 %13, 10
br i1 %14, label %15, label %25
15: ; preds = %12
%16 = getelementptr inbounds i8, i8* %6, i64 2
%17 = load i8, i8* %16
%18 = add i8 %17, -48
%19 = icmp ult i8 %18, 10
br i1 %19, label %20, label %25
20: ; preds = %15
%21 = getelementptr inbounds i8, i8* %6, i64 3
%22 = load i8, i8* %21
%23 = add i8 %22, -48
%24 = icmp ult i8 %23, 10
br i1 %24, label %26, label %25
25: ; preds = %20, %15, %12
br label %26
26: ; preds = %20, %25
%27 = phi i64 [ 2, %25 ], [ 4, %20 ]
%28 = getelementptr inbounds i8, i8* %6, i64 %27
%29 = load i8, i8* %28
br label %30
30: ; preds = %26, %10
%31 = phi i8 [ %29, %26 ], [ %8, %10 ]
%32 = phi i8* [ %28, %26 ], [ %7, %10 ]
%33 = icmp eq i8 %31, 0
br i1 %33, label %34, label %4
34: ; preds = %4, %30, %1
%35 = phi i8 [ 0, %1 ], [ 0, %30 ], [ %5, %4 ]
%36 = icmp eq i8 %35, 46
%37 = zext i1 %36 to i32
ret i32 %37
}