#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*/ bzero(char *, int);
int strlen(char *);
int validate_v4addr(char *addr) {
  int x, y, z, m;
  char buf[16];
  if (strlen(addr) < 7 || strlen(addr) > 15)
    return 0;
  x = 0;
  y = 0;
  while (x < strlen(addr)) {
    if (addr[x] == '.')
      y++;
    x++;
  }
  if (y != 3)
    return 0;
  x = 0;
  y = 0;
  while (x < strlen(addr)) {
    z = 0;
    y = 0;
    while (z < strlen("0123456789.") && !y) {
      if (addr[x] == "0123456789."[z])
        y = 1;
      z++;
    }
    if (!y)
      return 0;
    x++;
  }
  if (addr[0] == '.' || addr[strlen(addr) - 1] == '.')
    return 0;
  x = 0;
  while (x < (strlen(addr) - 1)) {
    if (addr[x] == '.' && addr[x + 1] == '.')
      return 0;
    x++;
  }
  y = 0;
  for (x = 0; x < 4; x++) {
    z = 0;
    bzero((char *)buf, sizeof(buf));
    while (addr[y] != '.' && y < strlen(addr)) {
      buf[z] = addr[y];
      y++;
      z++;
    }
    if (z > 3)
      return 0;
    m = atoi(buf);
    if (m < 0 || m > 255)
      return 0;
    y++;
  };
  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    1461 <validate_v4addr+0x331>
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    11c2 <validate_v4addr+0x92>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    11b4 <validate_v4addr+0x84>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    117a <validate_v4addr+0x4a>
cmpl   $0x3,-0x18(%rbp)
je     11d8 <validate_v4addr+0xa8>
movl   $0x0,-0x4(%rbp)
jmp    1461 <validate_v4addr+0x331>
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    12ac <validate_v4addr+0x17c>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x40(%rbp)
lea    0xde3(%rip),%rdi
call   1030 <strlen@plt>
mov    -0x40(%rbp),%ecx
mov    %eax,%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x39(%rbp)
jge    1240 <validate_v4addr+0x110>
cmpl   $0x0,-0x18(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    1250 <validate_v4addr+0x120>
jmp    1288 <validate_v4addr+0x158>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movslq -0x1c(%rbp),%rdx
lea    0xd99(%rip),%rcx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    127a <validate_v4addr+0x14a>
movl   $0x1,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1210 <validate_v4addr+0xe0>
cmpl   $0x0,-0x18(%rbp)
jne    129e <validate_v4addr+0x16e>
movl   $0x0,-0x4(%rbp)
jmp    1461 <validate_v4addr+0x331>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11e6 <validate_v4addr+0xb6>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     12e6 <validate_v4addr+0x1b6>
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    12f2 <validate_v4addr+0x1c2>
movl   $0x0,-0x4(%rbp)
jmp    1461 <validate_v4addr+0x331>
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    1361 <validate_v4addr+0x231>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1353 <validate_v4addr+0x223>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    1353 <validate_v4addr+0x223>
movl   $0x0,-0x4(%rbp)
jmp    1461 <validate_v4addr+0x331>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12f9 <validate_v4addr+0x1c9>
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x4,-0x14(%rbp)
jge    145a <validate_v4addr+0x32a>
movl   $0x0,-0x1c(%rbp)
lea    -0x30(%rbp),%rdi
mov    $0x10,%esi
call   1040 <bzero@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     13c4 <validate_v4addr+0x294>
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    13d4 <validate_v4addr+0x2a4>
jmp    13fe <validate_v4addr+0x2ce>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x1c(%rbp),%rax
mov    %cl,-0x30(%rbp,%rax,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    138e <validate_v4addr+0x25e>
cmpl   $0x3,-0x1c(%rbp)
jle    1414 <validate_v4addr+0x2e4>
movl   $0x0,-0x4(%rbp)
jmp    1461 <validate_v4addr+0x331>
lea    -0x30(%rbp),%rdi
call   1050 <atoi@plt>
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     1437 <validate_v4addr+0x307>
cmpl   $0xff,-0x20(%rbp)
jle    1443 <validate_v4addr+0x313>
movl   $0x0,-0x4(%rbp)
jmp    1461 <validate_v4addr+0x331>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    136f <validate_v4addr+0x23f>
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    %ebx,%ebx
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    %ebx,%ebx
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
xor    %eax,%eax
cmpb   $0x2e,(%r15,%rbx,1)
sete   %al
add    %eax,%ebp
add    $0x1,%rbx
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbx
jl     1180 <validate_v4addr+0x50>
xor    %ebx,%ebx
cmp    $0x3,%ebp
jne    1213 <validate_v4addr+0xe3>
mov    %r15,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    120b <validate_v4addr+0xdb>
xor    %r13d,%r13d
lea    0xe44(%rip),%r12
nopl   0x0(%rax)
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    %ebx,%ebx
mov    %ebx,%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,%ebx
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
mov    $0x10,%esi
call   1040 <bzero@plt>
cmpb   $0x2e,(%r15)
mov    $0x0,%ebp
je     12c3 <validate_v4addr+0x193>
xor    %ebx,%ebx
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbx
jge    12b5 <validate_v4addr+0x185>
movzbl (%r15,%rbx,1),%eax
mov    %al,(%rsp,%rbx,1)
lea    0x1(%rbx),%rbp
cmpb   $0x2e,0x1(%r15,%rbx,1)
mov    %rbp,%rbx
jne    128d <validate_v4addr+0x15d>
jmp    12b8 <validate_v4addr+0x188>
mov    %rbx,%rbp
xor    %ebx,%ebx
cmp    $0x3,%ebp
ja     1213 <validate_v4addr+0xe3>
mov    %rsp,%rdi
call   1050 <atoi@plt>
cmp    $0xff,%eax
ja     1211 <validate_v4addr+0xe1>
mov    %ebp,%ebp
lea    0x1(%rbp),%rbx
mov    %rsp,%rdi
mov    $0x10,%esi
call   1040 <bzero@plt>
cmpb   $0x2e,0x1(%r15,%rbp,1)
je     1332 <validate_v4addr+0x202>
xor    %ebp,%ebp
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbx
jge    131f <validate_v4addr+0x1ef>
movzbl (%r15,%rbx,1),%eax
mov    %al,(%rsp,%rbp,1)
lea    0x1(%rbx),%rax
add    $0x1,%rbp
cmpb   $0x2e,0x1(%r15,%rbx,1)
mov    %rax,%rbx
jne    12f3 <validate_v4addr+0x1c3>
jmp    1322 <validate_v4addr+0x1f2>
mov    %rbx,%rax
xor    %ebx,%ebx
test   $0xfffffffc,%ebp
jne    1213 <validate_v4addr+0xe3>
mov    %eax,%ebx
mov    %rsp,%rdi
call   1050 <atoi@plt>
cmp    $0xff,%eax
ja     1211 <validate_v4addr+0xe1>
movslq %ebx,%rbx
lea    0x1(%rbx),%r14
mov    %rsp,%rdi
mov    $0x10,%esi
call   1040 <bzero@plt>
cmpb   $0x2e,0x1(%r15,%rbx,1)
je     13a3 <validate_v4addr+0x273>
xor    %ebp,%ebp
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%r14
jge    138f <validate_v4addr+0x25f>
movzbl (%r15,%r14,1),%eax
mov    %al,(%rsp,%rbp,1)
lea    0x1(%r14),%rax
add    $0x1,%rbp
cmpb   $0x2e,0x1(%r15,%r14,1)
mov    %rax,%r14
jne    1363 <validate_v4addr+0x233>
jmp    1392 <validate_v4addr+0x262>
mov    %r14,%rax
xor    %ebx,%ebx
test   $0xfffffffc,%ebp
jne    1213 <validate_v4addr+0xe3>
mov    %eax,%r14d
mov    %rsp,%rdi
call   1050 <atoi@plt>
mov    $0x0,%ebx
cmp    $0xff,%eax
ja     1213 <validate_v4addr+0xe3>
movslq %r14d,%rbx
mov    %rsp,%rdi
mov    $0x10,%esi
call   1040 <bzero@plt>
cmpb   $0x2e,0x1(%r15,%rbx,1)
je     140e <validate_v4addr+0x2de>
add    $0x1,%rbx
xor    %ebp,%ebp
mov    %r15,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbx
jge    1400 <validate_v4addr+0x2d0>
movzbl (%r15,%rbx,1),%eax
mov    %al,(%rsp,%rbp,1)
add    $0x1,%rbp
cmpb   $0x2e,0x1(%r15,%rbx,1)
lea    0x1(%rbx),%rbx
jne    13d9 <validate_v4addr+0x2a9>
xor    %ebx,%ebx
test   $0xfffffffc,%ebp
jne    1213 <validate_v4addr+0xe3>
mov    %rsp,%rdi
call   1050 <atoi@plt>
xor    %ebx,%ebx
cmp    $0x100,%eax
setb   %bl
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 %182
17: ; preds = %12
store i32 0, i32* %4
store i32 0, i32* %5
br label %18
18: ; preds = %34, %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 %37
23: ; preds = %18
%24 = load i8*, i8** %3
%25 = load i32, i32* %4
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %24, i64 %26
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp eq i32 %29, 46
br i1 %30, label %31, label %34
31: ; preds = %23
%32 = load i32, i32* %5
%33 = add nsw i32 %32, 1
store i32 %33, i32* %5
br label %34
34: ; preds = %31, %23
%35 = load i32, i32* %4
%36 = add nsw i32 %35, 1
store i32 %36, i32* %4
br label %18
37: ; preds = %18
%38 = load i32, i32* %5
%39 = icmp ne i32 %38, 3
br i1 %39, label %40, label %41
40: ; preds = %37
store i32 0, i32* %2
br label %182
41: ; preds = %37
store i32 0, i32* %4
store i32 0, i32* %5
br label %42
42: ; preds = %79, %41
%43 = load i32, i32* %4
%44 = load i8*, i8** %3
%45 = call i32 @strlen(i8* %44)
%46 = icmp slt i32 %43, %45
br i1 %46, label %47, label %82
47: ; preds = %42
store i32 0, i32* %6
store i32 0, i32* %5
br label %48
48: ; preds = %72, %47
%49 = load i32, i32* %6
%50 = call i32 @strlen(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str, i64 0, i64 0))
%51 = icmp slt i32 %49, %50
br i1 %51, label %52, label %56
52: ; preds = %48
%53 = load i32, i32* %5
%54 = icmp ne i32 %53, 0
%55 = xor i1 %54, true
br label %56
56: ; preds = %52, %48
%57 = phi i1 [ false, %48 ], [ %55, %52 ]
br i1 %57, label %58, label %75
58: ; preds = %56
%59 = load i8*, i8** %3
%60 = load i32, i32* %4
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i8, i8* %59, i64 %61
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = load i32, i32* %6
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds [12 x i8], [12 x i8]* @.str, i64 0, i64 %66
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = icmp eq i32 %64, %69
br i1 %70, label %71, label %72
71: ; preds = %58
store i32 1, i32* %5
br label %72
72: ; preds = %71, %58
%73 = load i32, i32* %6
%74 = add nsw i32 %73, 1
store i32 %74, i32* %6
br label %48
75: ; preds = %56
%76 = load i32, i32* %5
%77 = icmp ne i32 %76, 0
br i1 %77, label %79, label %78
78: ; preds = %75
store i32 0, i32* %2
br label %182
79: ; preds = %75
%80 = load i32, i32* %4
%81 = add nsw i32 %80, 1
store i32 %81, i32* %4
br label %42
82: ; preds = %42
%83 = load i8*, i8** %3
%84 = getelementptr inbounds i8, i8* %83, i64 0
%85 = load i8, i8* %84
%86 = sext i8 %85 to i32
%87 = icmp eq i32 %86, 46
br i1 %87, label %98, label %88
88: ; preds = %82
%89 = load i8*, i8** %3
%90 = load i8*, i8** %3
%91 = call i32 @strlen(i8* %90)
%92 = sub nsw i32 %91, 1
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %89, i64 %93
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp eq i32 %96, 46
br i1 %97, label %98, label %99
98: ; preds = %88, %82
store i32 0, i32* %2
br label %182
99: ; preds = %88
store i32 0, i32* %4
br label %100
100: ; preds = %124, %99
%101 = load i32, i32* %4
%102 = load i8*, i8** %3
%103 = call i32 @strlen(i8* %102)
%104 = sub nsw i32 %103, 1
%105 = icmp slt i32 %101, %104
br i1 %105, label %106, label %127
106: ; preds = %100
%107 = load i8*, i8** %3
%108 = load i32, i32* %4
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i8, i8* %107, i64 %109
%111 = load i8, i8* %110
%112 = sext i8 %111 to i32
%113 = icmp eq i32 %112, 46
br i1 %113, label %114, label %124
114: ; preds = %106
%115 = load i8*, i8** %3
%116 = load i32, i32* %4
%117 = add nsw i32 %116, 1
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i8, i8* %115, i64 %118
%120 = load i8, i8* %119
%121 = sext i8 %120 to i32
%122 = icmp eq i32 %121, 46
br i1 %122, label %123, label %124
123: ; preds = %114
store i32 0, i32* %2
br label %182
124: ; preds = %114, %106
%125 = load i32, i32* %4
%126 = add nsw i32 %125, 1
store i32 %126, i32* %4
br label %100
127: ; preds = %100
store i32 0, i32* %5
store i32 0, i32* %4
br label %128
128: ; preds = %178, %127
%129 = load i32, i32* %4
%130 = icmp slt i32 %129, 4
br i1 %130, label %131, label %181
131: ; preds = %128
store i32 0, i32* %6
%132 = getelementptr inbounds [16 x i8], [16 x i8]* %8, i64 0, i64 0
%133 = call i32 @bzero(i8* %132, i32 16)
br label %134
134: ; preds = %149, %131
%135 = load i8*, i8** %3
%136 = load i32, i32* %5
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds i8, i8* %135, i64 %137
%139 = load i8, i8* %138
%140 = sext i8 %139 to i32
%141 = icmp ne i32 %140, 46
br i1 %141, label %142, label %147
142: ; preds = %134
%143 = load i32, i32* %5
%144 = load i8*, i8** %3
%145 = call i32 @strlen(i8* %144)
%146 = icmp slt i32 %143, %145
br label %147
147: ; preds = %142, %134
%148 = phi i1 [ false, %134 ], [ %146, %142 ]
br i1 %148, label %149, label %162
149: ; preds = %147
%150 = load i8*, i8** %3
%151 = load i32, i32* %5
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i8, i8* %150, i64 %152
%154 = load i8, i8* %153
%155 = load i32, i32* %6
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds [16 x i8], [16 x i8]* %8, i64 0, i64 %156
store i8 %154, i8* %157
%158 = load i32, i32* %5
%159 = add nsw i32 %158, 1
store i32 %159, i32* %5
%160 = load i32, i32* %6
%161 = add nsw i32 %160, 1
store i32 %161, i32* %6
br label %134
162: ; preds = %147
%163 = load i32, i32* %6
%164 = icmp sgt i32 %163, 3
br i1 %164, label %165, label %166
165: ; preds = %162
store i32 0, i32* %2
br label %182
166: ; preds = %162
%167 = getelementptr inbounds [16 x i8], [16 x i8]* %8, i64 0, i64 0
%168 = call i32 @atoi(i8* %167)
store i32 %168, i32* %7
%169 = load i32, i32* %7
%170 = icmp slt i32 %169, 0
br i1 %170, label %174, label %171
171: ; preds = %166
%172 = load i32, i32* %7
%173 = icmp sgt i32 %172, 255
br i1 %173, label %174, label %175
174: ; preds = %171, %166
store i32 0, i32* %2
br label %182
175: ; preds = %171
%176 = load i32, i32* %5
%177 = add nsw i32 %176, 1
store i32 %177, i32* %5
br label %178
178: ; preds = %175
%179 = load i32, i32* %4
%180 = add nsw i32 %179, 1
store i32 %180, i32* %4
br label %128
181: ; preds = %128
store i32 1, i32* %2
br label %182
182: ; preds = %181, %174, %165, %123, %98, %78, %40, %16
%183 = load i32, i32* %2
ret i32 %183
}

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 [ %20, %12 ], [ 0, %9 ]
%14 = phi i32 [ %19, %12 ], [ 0, %9 ]
%15 = getelementptr inbounds i8, i8* %0, i64 %13
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 46
%18 = zext i1 %17 to i32
%19 = add nuw nsw i32 %14, %18
%20 = add nuw nsw i64 %13, 1
%21 = tail call i32 @strlen(i8* %0)
%22 = sext i32 %21 to i64
%23 = icmp slt i64 %20, %22
br i1 %23, label %12, label %24
24: ; preds = %12
%25 = icmp eq i32 %19, 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 @bzero(i8* %3, 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 [ %93, %90 ], [ 0, %65 ]
%86 = phi i8* [ %94, %90 ], [ %0, %65 ]
%87 = tail 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 = load i8, i8* %86
%92 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 %85
store i8 %91, i8* %92
%93 = add nuw nsw i64 %85, 1
%94 = getelementptr inbounds i8, i8* %0, i64 %93
%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 ], [ %93, %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 @bzero(i8* %3, 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 [ %122, %119 ], [ %108, %105 ]
%114 = phi i64 [ %123, %119 ], [ 0, %105 ]
%115 = phi i8* [ %124, %119 ], [ %109, %105 ]
%116 = tail 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 = load i8, i8* %115
%121 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 %114
store i8 %120, i8* %121
%122 = add nuw nsw i64 %113, 1
%123 = add nuw nsw i64 %114, 1
%124 = getelementptr inbounds i8, i8* %0, i64 %122
%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 ], [ %122, %119 ]
%129 = phi i64 [ %114, %112 ], [ %123, %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 @bzero(i8* %3, 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 [ %154, %151 ], [ %140, %137 ]
%146 = phi i64 [ %155, %151 ], [ 0, %137 ]
%147 = phi i8* [ %156, %151 ], [ %141, %137 ]
%148 = tail 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 = load i8, i8* %147
%153 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 %146
store i8 %152, i8* %153
%154 = add nsw i64 %145, 1
%155 = add nuw nsw i64 %146, 1
%156 = getelementptr inbounds i8, i8* %0, i64 %154
%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 ], [ %154, %151 ]
%161 = phi i64 [ %146, %144 ], [ %155, %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 @bzero(i8* %3, 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 [ %186, %183 ], [ %172, %169 ]
%178 = phi i64 [ %187, %183 ], [ 0, %169 ]
%179 = phi i8* [ %188, %183 ], [ %173, %169 ]
%180 = tail 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 = load i8, i8* %179
%185 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 %178
store i8 %184, i8* %185
%186 = add nsw i64 %177, 1
%187 = add nuw nsw i64 %178, 1
%188 = getelementptr inbounds i8, i8* %0, i64 %186
%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 ], [ %187, %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
}