#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 */
typedef int /*<<< orphan*/ buf;

/* Variables and functions */
int atoi(char *);
int /*<<< orphan*/ memset(char *, int /*<<< orphan*/, int);
int strlen(char *);
int validate_v4addr(char *addr) {
  int i, j, k, m;
  char buf[16];
  if (strlen(addr) < 7 || strlen(addr) > 15)
    return 0;
  i = 0;
  j = 0;
  while (i < strlen(addr)) {
    if (addr[i++] == '.')
      j++;
  }
  if (j != 3)
    return 0;
  i = 0;
  j = 0;
  while (i < strlen(addr)) {
    k = 0;
    j = 0;
    while (k < strlen("0123456789.") && !j) {
      if (addr[i] == "0123456789."[k])
        j = 1;
      k++;
    }
    if (!j)
      return 0;
    i++;
  }
  if (addr[0] == '.' || addr[strlen(addr) - 1] == '.')
    return 0;
  i = 0;
  while (i < (strlen(addr) - 1)) {
    if (addr[i] == '.' && addr[i + 1] == '.')
      return 0;
    i++;
  }
  j = 0;
  for (i = 0; i < 4; i++) {
    k = 0;
    memset(buf, 0, sizeof(buf));
    while (addr[j] != '.' && j < strlen(addr))
      buf[k++] = addr[j++];
    if (k > 3)
      return 0;
    m = atoi(buf);
    if (m < 0 || m > 255)
      return 0;
    j++;
  };
  return 1;
}


x86 assembly (clang, -O0):
<validate_v4addr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0x7,%eax
jl     1160 <validate_v4addr+0x30>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
cmp    $0xf,%eax
jle    116c <validate_v4addr+0x3c>
movl   $0x0,-0x4(%rbp)
jmp    1465 <validate_v4addr+0x335>
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x34(%rbp),%eax
cmp    %ecx,%eax
jge    11c3 <validate_v4addr+0x93>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x14(%rbp)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    11be <validate_v4addr+0x8e>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    117a <validate_v4addr+0x4a>
cmpl   $0x3,-0x18(%rbp)
je     11d9 <validate_v4addr+0xa9>
movl   $0x0,-0x4(%rbp)
jmp    1465 <validate_v4addr+0x335>
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
cmp    %ecx,%eax
jge    12ad <validate_v4addr+0x17d>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x40(%rbp)
lea    0xde2(%rip),%rdi
call   1030 <strlen@plt>
mov    -0x40(%rbp),%ecx
mov    %eax,%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x39(%rbp)
jge    1241 <validate_v4addr+0x111>
cmpl   $0x0,-0x18(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    1251 <validate_v4addr+0x121>
jmp    1289 <validate_v4addr+0x159>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movslq -0x1c(%rbp),%rdx
lea    0xd98(%rip),%rcx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    127b <validate_v4addr+0x14b>
movl   $0x1,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1211 <validate_v4addr+0xe1>
cmpl   $0x0,-0x18(%rbp)
jne    129f <validate_v4addr+0x16f>
movl   $0x0,-0x4(%rbp)
jmp    1465 <validate_v4addr+0x335>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11e7 <validate_v4addr+0xb7>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     12e7 <validate_v4addr+0x1b7>
mov    -0x10(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    12f3 <validate_v4addr+0x1c3>
movl   $0x0,-0x4(%rbp)
jmp    1465 <validate_v4addr+0x335>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x4c(%rbp),%eax
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1362 <validate_v4addr+0x232>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1354 <validate_v4addr+0x224>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1354 <validate_v4addr+0x224>
movl   $0x0,-0x4(%rbp)
jmp    1465 <validate_v4addr+0x335>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12fa <validate_v4addr+0x1ca>
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jge    145e <validate_v4addr+0x32e>
movl   $0x0,-0x1c(%rbp)
lea    -0x30(%rbp),%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1040 <memset@plt>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x2e,%ecx
mov    %al,-0x4d(%rbp)
je     13c7 <validate_v4addr+0x297>
mov    -0x18(%rbp),%eax
mov    %eax,-0x54(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x54(%rbp),%eax
cmp    %ecx,%eax
setl   %al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
test   $0x1,%al
jne    13d7 <validate_v4addr+0x2a7>
jmp    1402 <validate_v4addr+0x2d2>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x1c(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
cltq
mov    %cl,-0x30(%rbp,%rax,1)
jmp    1391 <validate_v4addr+0x261>
cmpl   $0x3,-0x1c(%rbp)
jle    1418 <validate_v4addr+0x2e8>
movl   $0x0,-0x4(%rbp)
jmp    1465 <validate_v4addr+0x335>
lea    -0x30(%rbp),%rdi
call   1050 <atoi@plt>
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     143b <validate_v4addr+0x30b>
cmpl   $0xff,-0x20(%rbp)
jle    1447 <validate_v4addr+0x317>
movl   $0x0,-0x4(%rbp)
jmp    1465 <validate_v4addr+0x335>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1370 <validate_v4addr+0x240>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<validate_v4addr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%r15
call   1030 <strlen@plt>
xor    %ebp,%ebp
cmp    $0x7,%eax
jl     1213 <validate_v4addr+0xe3>
mov    %r15,%rdi
call   1030 <strlen@plt>
cmp    $0xf,%eax
jg     1213 <validate_v4addr+0xe3>
mov    %r15,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    1213 <validate_v4addr+0xe3>
xor    %eax,%eax
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
lea    0x1(%rax),%rbp
xor    %ecx,%ecx
cmpb   $0x2e,(%r15,%rax,1)
sete   %cl
add    %ecx,%ebx
mov    %r15,%rdi
call   1030 <strlen@plt>
movslq %eax,%rcx
mov    %rbp,%rax
cmp    %rcx,%rbp
jl     1180 <validate_v4addr+0x50>
xor    %ebp,%ebp
cmp    $0x3,%ebx
jne    1213 <validate_v4addr+0xe3>
mov    %r15,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    120b <validate_v4addr+0xdb>
xor    %r13d,%r13d
lea    0xe40(%rip),%r12
mov    %r12,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    1211 <validate_v4addr+0xe1>
xor    %ebp,%ebp
xchg   %ax,%ax
movzbl (%r15,%r13,1),%ebx
movzbl 0x0(%rbp,%r12,1),%r14d
add    $0x1,%rbp
mov    %r12,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbp
jge    11f3 <validate_v4addr+0xc3>
cmp    %r14b,%bl
jne    11d0 <validate_v4addr+0xa0>
cmp    %r14b,%bl
jne    1211 <validate_v4addr+0xe1>
add    $0x1,%r13
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%r13
jl     11c0 <validate_v4addr+0x90>
cmpb   $0x2e,(%r15)
jne    1224 <validate_v4addr+0xf4>
xor    %ebp,%ebp
mov    %ebp,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmpb   $0x2e,-0x1(%rax,%r15,1)
mov    $0x0,%ebp
je     1213 <validate_v4addr+0xe3>
mov    %r15,%rdi
call   1030 <strlen@plt>
cmp    $0x2,%eax
jl     1273 <validate_v4addr+0x143>
xor    %ebx,%ebx
jmp    1262 <validate_v4addr+0x132>
add    $0x1,%rbx
mov    %r15,%rdi
call   1030 <strlen@plt>
add    $0xffffffff,%eax
cltq
cmp    %rax,%rbx
jge    1273 <validate_v4addr+0x143>
cmpb   $0x2e,(%r15,%rbx,1)
jne    124c <validate_v4addr+0x11c>
cmpb   $0x2e,0x1(%r15,%rbx,1)
jne    124c <validate_v4addr+0x11c>
jmp    1211 <validate_v4addr+0xe1>
mov    %rsp,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1040 <memset@plt>
cmpb   $0x2e,(%r15)
mov    $0x0,%r14d
je     12c7 <validate_v4addr+0x197>
xor    %ebx,%ebx
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbx
jge    12b8 <validate_v4addr+0x188>
lea    0x1(%rbx),%r14
movzbl (%r15,%rbx,1),%eax
mov    %al,(%rsp,%rbx,1)
cmpb   $0x2e,0x1(%r15,%rbx,1)
mov    %r14,%rbx
jne    1290 <validate_v4addr+0x160>
jmp    12bb <validate_v4addr+0x18b>
mov    %rbx,%r14
xor    %ebp,%ebp
cmp    $0x3,%r14d
ja     1213 <validate_v4addr+0xe3>
mov    %rsp,%rdi
call   1050 <atoi@plt>
mov    $0x0,%ebp
cmp    $0xff,%eax
ja     1213 <validate_v4addr+0xe3>
mov    %r14d,%ebx
lea    0x1(%rbx),%r14
mov    %rsp,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1040 <memset@plt>
cmpb   $0x2e,0x1(%r15,%rbx,1)
je     133f <validate_v4addr+0x20f>
xor    %ebx,%ebx
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%r14
jge    132b <validate_v4addr+0x1fb>
lea    0x1(%r14),%rax
movzbl (%r15,%r14,1),%ecx
mov    %cl,(%rsp,%rbx,1)
add    $0x1,%rbx
cmpb   $0x2e,0x1(%r15,%r14,1)
mov    %rax,%r14
jne    12ff <validate_v4addr+0x1cf>
jmp    132e <validate_v4addr+0x1fe>
mov    %r14,%rax
xor    %ebp,%ebp
test   $0xfffffffc,%ebx
jne    1213 <validate_v4addr+0xe3>
mov    %eax,%r14d
mov    %rsp,%rdi
call   1050 <atoi@plt>
mov    $0x0,%ebp
cmp    $0xff,%eax
ja     1213 <validate_v4addr+0xe3>
movslq %r14d,%rbx
lea    0x1(%rbx),%r14
mov    %rsp,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1040 <memset@plt>
cmpb   $0x2e,0x1(%r15,%rbx,1)
je     13b7 <validate_v4addr+0x287>
xor    %ebx,%ebx
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%r14
jge    13a3 <validate_v4addr+0x273>
lea    0x1(%r14),%rax
movzbl (%r15,%r14,1),%ecx
mov    %cl,(%rsp,%rbx,1)
add    $0x1,%rbx
cmpb   $0x2e,0x1(%r15,%r14,1)
mov    %rax,%r14
jne    1377 <validate_v4addr+0x247>
jmp    13a6 <validate_v4addr+0x276>
mov    %r14,%rax
xor    %ebp,%ebp
test   $0xfffffffc,%ebx
jne    1213 <validate_v4addr+0xe3>
mov    %eax,%r14d
mov    %rsp,%rdi
call   1050 <atoi@plt>
mov    $0x0,%ebp
cmp    $0xff,%eax
ja     1213 <validate_v4addr+0xe3>
movslq %r14d,%rbx
mov    %rsp,%rdi
xor    %esi,%esi
mov    $0x10,%edx
call   1040 <memset@plt>
cmpb   $0x2e,0x1(%r15,%rbx,1)
je     1427 <validate_v4addr+0x2f7>
add    $0x1,%rbx
xor    %r14d,%r14d
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbx
jge    1418 <validate_v4addr+0x2e8>
movzbl (%r15,%rbx,1),%eax
mov    %al,(%rsp,%r14,1)
add    $0x1,%r14
cmpb   $0x2e,0x1(%r15,%rbx,1)
lea    0x1(%rbx),%rbx
jne    13f0 <validate_v4addr+0x2c0>
xor    %ebp,%ebp
test   $0xfffffffc,%r14d
jne    1213 <validate_v4addr+0xe3>
mov    %rsp,%rdi
call   1050 <atoi@plt>
xor    %ebp,%ebp
cmp    $0x100,%eax
setb   %bpl
jmp    1213 <validate_v4addr+0xe3>

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

LLVM IR (-O2):
@.str = [12 x i8] c"0123456789.\00"
define i32 @validate_v4addr(i8* %0) {
%2 = alloca [16 x i8]
%3 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 0
%4 = tail call i32 @strlen(i8* %0)
%5 = icmp slt i32 %4, 7
br i1 %5, label %199, label %6
6: ; preds = %1
%7 = tail call i32 @strlen(i8* %0)
%8 = icmp sgt i32 %7, 15
br i1 %8, label %199, label %9
9: ; preds = %6
%10 = tail call i32 @strlen(i8* %0)
%11 = icmp sgt i32 %10, 0
br i1 %11, label %12, label %199
12: ; preds = %9, %12
%13 = phi i64 [ %15, %12 ], [ 0, %9 ]
%14 = phi i32 [ %20, %12 ], [ 0, %9 ]
%15 = add nuw nsw i64 %13, 1
%16 = getelementptr inbounds i8, i8* %0, i64 %13
%17 = load i8, i8* %16
%18 = icmp eq i8 %17, 46
%19 = zext i1 %18 to i32
%20 = add nuw nsw i32 %14, %19
%21 = tail call i32 @strlen(i8* %0)
%22 = sext i32 %21 to i64
%23 = icmp slt i64 %15, %22
br i1 %23, label %12, label %24
24: ; preds = %12
%25 = icmp eq i32 %20, 3
br i1 %25, label %26, label %199
26: ; preds = %24
%27 = tail call i32 @strlen(i8* %0)
%28 = icmp sgt i32 %27, 0
br i1 %28, label %33, label %52
29: ; preds = %50
%30 = tail call i32 @strlen(i8* %0)
%31 = sext i32 %30 to i64
%32 = icmp slt i64 %51, %31
br i1 %32, label %33, label %52
33: ; preds = %26, %29
%34 = phi i64 [ %51, %29 ], [ 0, %26 ]
%35 = tail call i32 @strlen(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0))
%36 = icmp sgt i32 %35, 0
br i1 %36, label %37, label %199
37: ; preds = %33
%38 = getelementptr inbounds i8, i8* %0, i64 %34
br label %39
39: ; preds = %37, %39
%40 = phi i64 [ 0, %37 ], [ %45, %39 ]
%41 = load i8, i8* %38
%42 = getelementptr inbounds [12 x i8], [12 x i8]* @.str, i64 0, i64 %40
%43 = load i8, i8* %42
%44 = icmp ne i8 %41, %43
%45 = add nuw nsw i64 %40, 1
%46 = tail call i32 @strlen(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0))
%47 = sext i32 %46 to i64
%48 = icmp slt i64 %45, %47
%49 = select i1 %48, i1 %44, i1 false
br i1 %49, label %39, label %50
50: ; preds = %39
%51 = add nuw nsw i64 %34, 1
br i1 %44, label %199, label %29
52: ; preds = %29, %26
%53 = load i8, i8* %0
%54 = icmp eq i8 %53, 46
br i1 %54, label %199, label %55
55: ; preds = %52
%56 = tail call i32 @strlen(i8* %0)
%57 = add nsw i32 %56, -1
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %0, i64 %58
%60 = load i8, i8* %59
%61 = icmp eq i8 %60, 46
br i1 %61, label %199, label %62
62: ; preds = %55
%63 = tail call i32 @strlen(i8* %0)
%64 = icmp sgt i32 %63, 1
br i1 %64, label %69, label %65
65: ; preds = %79, %62
%66 = call i32 @memset(i8* %3, i32 0, i32 16)
%67 = load i8, i8* %0
%68 = icmp eq i8 %67, 46
br i1 %68, label %101, label %84
69: ; preds = %62, %79
%70 = phi i64 [ %74, %79 ], [ 0, %62 ]
%71 = getelementptr inbounds i8, i8* %0, i64 %70
%72 = load i8, i8* %71
%73 = icmp eq i8 %72, 46
%74 = add nuw nsw i64 %70, 1
br i1 %73, label %75, label %79
75: ; preds = %69
%76 = getelementptr inbounds i8, i8* %0, i64 %74
%77 = load i8, i8* %76
%78 = icmp eq i8 %77, 46
br i1 %78, label %199, label %79
79: ; preds = %69, %75
%80 = tail call i32 @strlen(i8* %0)
%81 = add nsw i32 %80, -1
%82 = sext i32 %81 to i64
%83 = icmp slt i64 %74, %82
br i1 %83, label %69, label %65
84: ; preds = %65, %90
%85 = phi i64 [ %91, %90 ], [ 0, %65 ]
%86 = phi i8* [ %94, %90 ], [ %0, %65 ]
%87 = call i32 @strlen(i8* %0)
%88 = sext i32 %87 to i64
%89 = icmp slt i64 %85, %88
br i1 %89, label %90, label %97
90: ; preds = %84
%91 = add nuw nsw i64 %85, 1
%92 = load i8, i8* %86
%93 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 %85
store i8 %92, i8* %93
%94 = getelementptr inbounds i8, i8* %0, i64 %91
%95 = load i8, i8* %94
%96 = icmp eq i8 %95, 46
br i1 %96, label %97, label %84
97: ; preds = %84, %90
%98 = phi i64 [ %85, %84 ], [ %91, %90 ]
%99 = trunc i64 %98 to i32
%100 = icmp ugt i32 %99, 3
br i1 %100, label %199, label %101
101: ; preds = %65, %97
%102 = phi i32 [ %99, %97 ], [ 0, %65 ]
%103 = call i32 @atoi(i8* %3)
%104 = icmp ugt i32 %103, 255
br i1 %104, label %199, label %105
105: ; preds = %101
%106 = add nuw nsw i32 %102, 1
%107 = call i32 @memset(i8* %3, i32 0, i32 16)
%108 = zext i32 %106 to i64
%109 = getelementptr inbounds i8, i8* %0, i64 %108
%110 = load i8, i8* %109
%111 = icmp eq i8 %110, 46
br i1 %111, label %133, label %112
112: ; preds = %105, %119
%113 = phi i64 [ %120, %119 ], [ %108, %105 ]
%114 = phi i64 [ %122, %119 ], [ 0, %105 ]
%115 = phi i8* [ %124, %119 ], [ %109, %105 ]
%116 = call i32 @strlen(i8* %0)
%117 = sext i32 %116 to i64
%118 = icmp slt i64 %113, %117
br i1 %118, label %119, label %127
119: ; preds = %112
%120 = add nuw nsw i64 %113, 1
%121 = load i8, i8* %115
%122 = add nuw nsw i64 %114, 1
%123 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 %114
store i8 %121, i8* %123
%124 = getelementptr inbounds i8, i8* %0, i64 %120
%125 = load i8, i8* %124
%126 = icmp eq i8 %125, 46
br i1 %126, label %127, label %112
127: ; preds = %112, %119
%128 = phi i64 [ %113, %112 ], [ %120, %119 ]
%129 = phi i64 [ %114, %112 ], [ %122, %119 ]
%130 = trunc i64 %128 to i32
%131 = and i64 %129, 4294967292
%132 = icmp eq i64 %131, 0
br i1 %132, label %133, label %199
133: ; preds = %105, %127
%134 = phi i32 [ %130, %127 ], [ %106, %105 ]
%135 = call i32 @atoi(i8* %3)
%136 = icmp ugt i32 %135, 255
br i1 %136, label %199, label %137
137: ; preds = %133
%138 = add nsw i32 %134, 1
%139 = call i32 @memset(i8* %3, i32 0, i32 16)
%140 = sext i32 %138 to i64
%141 = getelementptr inbounds i8, i8* %0, i64 %140
%142 = load i8, i8* %141
%143 = icmp eq i8 %142, 46
br i1 %143, label %165, label %144
144: ; preds = %137, %151
%145 = phi i64 [ %152, %151 ], [ %140, %137 ]
%146 = phi i64 [ %154, %151 ], [ 0, %137 ]
%147 = phi i8* [ %156, %151 ], [ %141, %137 ]
%148 = call i32 @strlen(i8* %0)
%149 = sext i32 %148 to i64
%150 = icmp slt i64 %145, %149
br i1 %150, label %151, label %159
151: ; preds = %144
%152 = add nsw i64 %145, 1
%153 = load i8, i8* %147
%154 = add nuw nsw i64 %146, 1
%155 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 %146
store i8 %153, i8* %155
%156 = getelementptr inbounds i8, i8* %0, i64 %152
%157 = load i8, i8* %156
%158 = icmp eq i8 %157, 46
br i1 %158, label %159, label %144
159: ; preds = %144, %151
%160 = phi i64 [ %145, %144 ], [ %152, %151 ]
%161 = phi i64 [ %146, %144 ], [ %154, %151 ]
%162 = trunc i64 %160 to i32
%163 = and i64 %161, 4294967292
%164 = icmp eq i64 %163, 0
br i1 %164, label %165, label %199
165: ; preds = %137, %159
%166 = phi i32 [ %162, %159 ], [ %138, %137 ]
%167 = call i32 @atoi(i8* %3)
%168 = icmp ugt i32 %167, 255
br i1 %168, label %199, label %169
169: ; preds = %165
%170 = add nsw i32 %166, 1
%171 = call i32 @memset(i8* %3, i32 0, i32 16)
%172 = sext i32 %170 to i64
%173 = getelementptr inbounds i8, i8* %0, i64 %172
%174 = load i8, i8* %173
%175 = icmp eq i8 %174, 46
br i1 %175, label %195, label %176
176: ; preds = %169, %183
%177 = phi i64 [ %184, %183 ], [ %172, %169 ]
%178 = phi i64 [ %186, %183 ], [ 0, %169 ]
%179 = phi i8* [ %188, %183 ], [ %173, %169 ]
%180 = call i32 @strlen(i8* %0)
%181 = sext i32 %180 to i64
%182 = icmp slt i64 %177, %181
br i1 %182, label %183, label %191
183: ; preds = %176
%184 = add nsw i64 %177, 1
%185 = load i8, i8* %179
%186 = add nuw nsw i64 %178, 1
%187 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 %178
store i8 %185, i8* %187
%188 = getelementptr inbounds i8, i8* %0, i64 %184
%189 = load i8, i8* %188
%190 = icmp eq i8 %189, 46
br i1 %190, label %191, label %176
191: ; preds = %176, %183
%192 = phi i64 [ %178, %176 ], [ %186, %183 ]
%193 = and i64 %192, 4294967292
%194 = icmp eq i64 %193, 0
br i1 %194, label %195, label %199
195: ; preds = %169, %191
%196 = call i32 @atoi(i8* %3)
%197 = icmp ult i32 %196, 256
%198 = zext i1 %197 to i32
br label %199
199: ; preds = %33, %50, %75, %195, %9, %101, %97, %127, %133, %159, %165, %191, %52, %55, %24, %1, %6
%200 = phi i32 [ 0, %6 ], [ 0, %1 ], [ 0, %24 ], [ 0, %55 ], [ 0, %52 ], [ 0, %97 ], [ 0, %101 ], [ 0, %127 ], [ 0, %133 ], [ 0, %159 ], [ 0, %165 ], [ 0, %191 ], [ 0, %9 ], [ %198, %195 ], [ 0, %75 ], [ 0, %50 ], [ 0, %33 ]
ret i32 %200
}