long isvalidipaddress(char *st) {
  long i, bcnt, num;
  bcnt = 0;
  num = 0;
  for (i = 0; st[i]; i++) {
    if (st[i] == '.') {
      bcnt++;
      num = 0;
      continue;
    }
    if (st[i] == ':') {
      if (bcnt != 3)
        return (0);
      num = 0;
      for (i++; st[i]; i++) {
        if ((st[i] >= '0') && (st[i] <= '9')) {
          num = num * 10 + st[i] - '0';
          if (num >= 65536)
            return (0);
        } else
          return (0);
      }
      return (1);
    }
    if ((st[i] >= '0') && (st[i] <= '9')) {
      num = num * 10 + st[i] - '0';
      if (num >= 256)
        return (0);
    }
  }
  return (bcnt == 3);
}


x86 assembly (clang, -O0):
<isvalidipaddress>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     12c7 <isvalidipaddress+0x1c7>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1160 <isvalidipaddress+0x60>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
jmp    12b6 <isvalidipaddress+0x1b6>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jne    124a <isvalidipaddress+0x14a>
cmpq   $0x3,-0x20(%rbp)
je     118d <isvalidipaddress+0x8d>
movq   $0x0,-0x8(%rbp)
jmp    12da <isvalidipaddress+0x1da>
movq   $0x0,-0x28(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     123d <isvalidipaddress+0x13d>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     121a <isvalidipaddress+0x11a>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     121a <isvalidipaddress+0x11a>
imul   $0xa,-0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rdx
movsbq (%rcx,%rdx,1),%rcx
add    %rcx,%rax
sub    $0x30,%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x10000,-0x28(%rbp)
jl     1215 <isvalidipaddress+0x115>
movq   $0x0,-0x8(%rbp)
jmp    12da <isvalidipaddress+0x1da>
jmp    1227 <isvalidipaddress+0x127>
movq   $0x0,-0x8(%rbp)
jmp    12da <isvalidipaddress+0x1da>
jmp    122c <isvalidipaddress+0x12c>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    11a1 <isvalidipaddress+0xa1>
movq   $0x1,-0x8(%rbp)
jmp    12da <isvalidipaddress+0x1da>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     12b1 <isvalidipaddress+0x1b1>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     12b1 <isvalidipaddress+0x1b1>
imul   $0xa,-0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%rdx
movsbq (%rcx,%rdx,1),%rcx
add    %rcx,%rax
sub    $0x30,%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x100,-0x28(%rbp)
jl     12ac <isvalidipaddress+0x1ac>
movq   $0x0,-0x8(%rbp)
jmp    12da <isvalidipaddress+0x1da>
jmp    12b1 <isvalidipaddress+0x1b1>
jmp    12b6 <isvalidipaddress+0x1b6>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1120 <isvalidipaddress+0x20>
cmpq   $0x3,-0x20(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isvalidipaddress>:
add    $0x2,%rdi
xor    %eax,%eax
xor    %r8d,%r8d
xor    %edx,%edx
jmp    111a <isvalidipaddress+0x1a>
nopl   (%rax)
add    $0x1,%r8
xor    %edx,%edx
add    $0x1,%rdi
movzbl -0x2(%rdi),%esi
cmp    $0x2e,%rsi
je     1110 <isvalidipaddress+0x10>
test   %sil,%sil
je     1156 <isvalidipaddress+0x56>
cmp    $0x3a,%sil
je     1160 <isvalidipaddress+0x60>
lea    -0x30(%rsi),%ecx
cmp    $0x9,%cl
ja     1116 <isvalidipaddress+0x16>
lea    (%rdx,%rdx,4),%rdx
lea    (%rsi,%rdx,2),%rcx
cmp    $0x12f,%rcx
jg     115f <isvalidipaddress+0x5f>
lea    (%rsi,%rdx,2),%rdx
add    $0xffffffffffffffd0,%rdx
add    $0x1,%rdi
jmp    111a <isvalidipaddress+0x1a>
xor    %eax,%eax
cmp    $0x3,%r8
sete   %al
ret
cmp    $0x3,%r8
jne    11ae <isvalidipaddress+0xae>
mov    -0x1(%rdi),%cl
mov    $0x1,%eax
test   %cl,%cl
je     115f <isvalidipaddress+0x5f>
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    -0x30(%rcx),%esi
cmp    $0x9,%sil
ja     11ae <isvalidipaddress+0xae>
lea    (%rdx,%rdx,4),%rdx
movzbl %cl,%ecx
lea    (%rcx,%rdx,2),%rdx
cmp    $0x1002f,%rdx
jg     11ae <isvalidipaddress+0xae>
add    $0xffffffffffffffd0,%rdx
movzbl (%rdi),%ecx
add    $0x1,%rdi
test   %cl,%cl
jne    1180 <isvalidipaddress+0x80>
jmp    115f <isvalidipaddress+0x5f>
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i64 @isvalidipaddress(i8* nocapture %0) {
br label %2
2: ; preds = %43, %1
%3 = phi i64 [ 0, %1 ], [ %46, %43 ]
%4 = phi i64 [ 0, %1 ], [ %44, %43 ]
%5 = phi i64 [ 0, %1 ], [ %45, %43 ]
%6 = getelementptr inbounds i8, i8* %0, i64 %3
%7 = load i8, i8* %6
switch i8 %7, label %34 [
i8 0, label %47
i8 46, label %8
i8 58, label %10
]
8: ; preds = %2
%9 = add nsw i64 %4, 1
br label %43
10: ; preds = %2
%11 = icmp eq i64 %4, 3
br i1 %11, label %12, label %50
12: ; preds = %10
%13 = add nuw nsw i64 %3, 1
%14 = getelementptr inbounds i8, i8* %0, i64 %13
%15 = load i8, i8* %14
%16 = icmp eq i8 %15, 0
br i1 %16, label %50, label %23
17: ; preds = %29
%18 = add nsw i64 %32, -48
%19 = add nuw nsw i64 %25, 1
%20 = getelementptr inbounds i8, i8* %0, i64 %19
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 0
br i1 %22, label %50, label %23
23: ; preds = %12, %17
%24 = phi i8 [ %21, %17 ], [ %15, %12 ]
%25 = phi i64 [ %19, %17 ], [ %13, %12 ]
%26 = phi i64 [ %18, %17 ], [ 0, %12 ]
%27 = add i8 %24, -48
%28 = icmp ult i8 %27, 10
br i1 %28, label %29, label %50
29: ; preds = %23
%30 = mul nsw i64 %26, 10
%31 = zext i8 %24 to i64
%32 = add nsw i64 %30, %31
%33 = icmp sgt i64 %32, 65583
br i1 %33, label %50, label %17
34: ; preds = %2
%35 = add i8 %7, -48
%36 = icmp ult i8 %35, 10
br i1 %36, label %37, label %43
37: ; preds = %34
%38 = mul nsw i64 %5, 10
%39 = zext i8 %7 to i64
%40 = add nsw i64 %38, %39
%41 = add nsw i64 %40, -48
%42 = icmp sgt i64 %40, 303
br i1 %42, label %50, label %43
43: ; preds = %34, %37, %8
%44 = phi i64 [ %9, %8 ], [ %4, %37 ], [ %4, %34 ]
%45 = phi i64 [ 0, %8 ], [ %41, %37 ], [ %5, %34 ]
%46 = add nuw nsw i64 %3, 1
br label %2
47: ; preds = %2
%48 = icmp eq i64 %4, 3
%49 = zext i1 %48 to i64
br label %50
50: ; preds = %37, %29, %23, %17, %12, %10, %47
%51 = phi i64 [ %49, %47 ], [ 0, %10 ], [ 1, %12 ], [ 0, %29 ], [ 0, %23 ], [ 1, %17 ], [ 0, %37 ]
ret i64 %51
}