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

/* Variables and functions */
int atoi(char *);
int /*<<< orphan*/ bzero(char *, int);
int /*<<< orphan*/ isxdigit(char);
scalar_t__ quadtonum(char *, int *);
int strlen(char *);
int /*<<< orphan*/ strncpy(char *, char *, int);
char *strstr(char *, char *);
int validate_netmask(char *in_addr) {
  int x, y, z, m;
  char addr[16];
  char *sl;
  u_int32_t sm;
  if (strlen(in_addr) > 18)
    return 0;
  x = 0;
  y = 0;
  z = 0;
  while (x < strlen(in_addr) && !y) {
    if (!isxdigit(in_addr[x]) && in_addr[x] != 'x' && in_addr[x] != 'X')
      y = 1;
    if (in_addr[x] == 'x' || in_addr[x] == 'X') {
      z++;
      y = 0;
    }
    x++;
  }
  x = 0;
  if (!y && z == 1) {
    x = 0;
    if (in_addr[0] == 'x' || in_addr[0] == 'X')
      x = 1;
    if (!x) {
      if (in_addr[0] == '0' && (in_addr[1] == 'x' || in_addr[1] == 'X'))
        x = 1;
    }
  }
  if (x == 1)
    return 3;
  bzero((char *)addr, sizeof(addr));
  if (strstr(in_addr, "/")) {
    x = 0;
    while (in_addr[x] != '/' && x < 15) {
      addr[x] = in_addr[x];
      x++;
    }
  } else {
    strncpy(addr, in_addr,
            sizeof(addr) - 1 + (addr[sizeof(addr) - 1] = '\0') * 0);
  }
  if (quadtonum(addr, &sm))
    return 0;
  if (!(sl = strstr(in_addr, "/"))) {
    y = 0;
    for (x = 0; x < 32; x++) {
      if (!y && !((sm >> (31 - x)) & 1))
        y = 1;
      if (y == 1 && ((sm >> (31 - x)) & 1))
        y = 2;
    }
    if (y == 2)
      return -1;
    return 1;
  }
  sl++;
  if (strlen(sl) < 1 || strlen(sl) > 2)
    return 0;
  if (sl[0] == '.' || sl[1] == '.')
    return 0;
  x = 0;
  y = 0;
  while (x < strlen(sl)) {
    z = 0;
    y = 0;
    while (z < strlen("0123456789.") && !y) {
      if (sl[x] == "0123456789."[z])
        y = 1;
      z++;
    }
    if (!y)
      return 0;
    x++;
  }
  m = atoi(sl);
  if (m < 0 || m > 32)
    return 0;
  return 2;
}


x86 assembly (clang, -O0):
<validate_netmask>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
cmp    $0x12,%eax
jle    119a <validate_netmask+0x2a>
movl   $0x0,-0x4(%rbp)
jmp    161c <validate_netmask+0x4ac>
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    -0x44(%rbp),%ecx
mov    %eax,%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x3d(%rbp)
jge    11dc <validate_netmask+0x6c>
cmpl   $0x0,-0x18(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
test   $0x1,%al
jne    11ec <validate_netmask+0x7c>
jmp    127f <validate_netmask+0x10f>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1080 <isxdigit@plt>
cmp    $0x0,%eax
jne    1237 <validate_netmask+0xc7>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x78,%eax
je     1237 <validate_netmask+0xc7>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x58,%eax
je     1237 <validate_netmask+0xc7>
movl   $0x1,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x78,%eax
je     1261 <validate_netmask+0xf1>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x58,%eax
jne    1271 <validate_netmask+0x101>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11af <validate_netmask+0x3f>
movl   $0x0,-0x14(%rbp)
cmpl   $0x0,-0x18(%rbp)
jne    1315 <validate_netmask+0x1a5>
cmpl   $0x1,-0x1c(%rbp)
jne    1315 <validate_netmask+0x1a5>
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x78,%eax
je     12c1 <validate_netmask+0x151>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x58,%eax
jne    12c8 <validate_netmask+0x158>
movl   $0x1,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1310 <validate_netmask+0x1a0>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    130b <validate_netmask+0x19b>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x78,%eax
je     1304 <validate_netmask+0x194>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x58,%eax
jne    130b <validate_netmask+0x19b>
movl   $0x1,-0x14(%rbp)
jmp    1310 <validate_netmask+0x1a0>
jmp    1315 <validate_netmask+0x1a5>
cmpl   $0x1,-0x14(%rbp)
jne    132b <validate_netmask+0x1bb>
movl   $0x3,-0x4(%rbp)
jmp    161c <validate_netmask+0x4ac>
lea    -0x30(%rbp),%rdi
mov    $0x10,%esi
call   1060 <bzero@plt>
mov    -0x10(%rbp),%rdi
lea    0xcbc(%rip),%rsi
call   1090 <strstr@plt>
cmp    $0x0,%rax
je     13b4 <validate_netmask+0x244>
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x2f,%ecx
mov    %al,-0x45(%rbp)
je     137e <validate_netmask+0x20e>
cmpl   $0xf,-0x14(%rbp)
setl   %al
mov    %al,-0x45(%rbp)
mov    -0x45(%rbp),%al
test   $0x1,%al
jne    138e <validate_netmask+0x21e>
jmp    13af <validate_netmask+0x23f>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x14(%rbp),%rax
mov    %cl,-0x30(%rbp,%rax,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    135a <validate_netmask+0x1ea>
jmp    13ca <validate_netmask+0x25a>
lea    -0x30(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movb   $0x0,-0x21(%rbp)
mov    $0xf,%edx
call   1030 <strncpy@plt>
lea    -0x30(%rbp),%rdi
lea    -0x3c(%rbp),%rsi
call   1050 <quadtonum@plt>
cmp    $0x0,%rax
je     13ed <validate_netmask+0x27d>
movl   $0x0,-0x4(%rbp)
jmp    161c <validate_netmask+0x4ac>
mov    -0x10(%rbp),%rdi
lea    0xc08(%rip),%rsi
call   1090 <strstr@plt>
mov    %rax,-0x38(%rbp)
cmp    $0x0,%rax
jne    14ac <validate_netmask+0x33c>
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x20,-0x14(%rbp)
jge    148a <validate_netmask+0x31a>
cmpl   $0x0,-0x18(%rbp)
jne    144d <validate_netmask+0x2dd>
mov    -0x3c(%rbp),%eax
mov    $0x1f,%ecx
sub    -0x14(%rbp),%ecx
sar    %cl,%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    144d <validate_netmask+0x2dd>
movl   $0x1,-0x18(%rbp)
cmpl   $0x1,-0x18(%rbp)
jne    1477 <validate_netmask+0x307>
mov    -0x3c(%rbp),%eax
mov    $0x1f,%ecx
sub    -0x14(%rbp),%ecx
sar    %cl,%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     1477 <validate_netmask+0x307>
movl   $0x2,-0x18(%rbp)
jmp    147c <validate_netmask+0x30c>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1419 <validate_netmask+0x2a9>
cmpl   $0x2,-0x18(%rbp)
jne    14a0 <validate_netmask+0x330>
movl   $0xffffffff,-0x4(%rbp)
jmp    161c <validate_netmask+0x4ac>
movl   $0x1,-0x4(%rbp)
jmp    161c <validate_netmask+0x4ac>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rdi
call   1040 <strlen@plt>
cmp    $0x1,%eax
jl     14dc <validate_netmask+0x36c>
mov    -0x38(%rbp),%rdi
call   1040 <strlen@plt>
cmp    $0x2,%eax
jle    14e8 <validate_netmask+0x378>
movl   $0x0,-0x4(%rbp)
jmp    161c <validate_netmask+0x4ac>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     1509 <validate_netmask+0x399>
mov    -0x38(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2e,%eax
jne    1515 <validate_netmask+0x3a5>
movl   $0x0,-0x4(%rbp)
jmp    161c <validate_netmask+0x4ac>
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x38(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%ecx
mov    -0x4c(%rbp),%eax
cmp    %ecx,%eax
jge    15e9 <validate_netmask+0x479>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x54(%rbp)
lea    0xaa8(%rip),%rdi
call   1040 <strlen@plt>
mov    -0x54(%rbp),%ecx
mov    %eax,%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x4d(%rbp)
jge    157d <validate_netmask+0x40d>
cmpl   $0x0,-0x18(%rbp)
setne  %al
xor    $0xff,%al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
test   $0x1,%al
jne    158d <validate_netmask+0x41d>
jmp    15c5 <validate_netmask+0x455>
mov    -0x38(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
movslq -0x1c(%rbp),%rdx
lea    0xa5e(%rip),%rcx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    15b7 <validate_netmask+0x447>
movl   $0x1,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    154d <validate_netmask+0x3dd>
cmpl   $0x0,-0x18(%rbp)
jne    15db <validate_netmask+0x46b>
movl   $0x0,-0x4(%rbp)
jmp    161c <validate_netmask+0x4ac>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1523 <validate_netmask+0x3b3>
mov    -0x38(%rbp),%rdi
call   1070 <atoi@plt>
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jl     1609 <validate_netmask+0x499>
cmpl   $0x20,-0x20(%rbp)
jle    1615 <validate_netmask+0x4a5>
movl   $0x0,-0x4(%rbp)
jmp    161c <validate_netmask+0x4ac>
movl   $0x2,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<validate_netmask>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdi,%r15
call   1040 <strlen@plt>
cmp    $0x12,%eax
jg     12b8 <validate_netmask+0x148>
mov    %r15,%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    1243 <validate_netmask+0xd3>
xor    %r14d,%r14d
mov    $0x1,%ebp
nopw   0x0(%rax,%rax,1)
movsbl -0x1(%r15,%rbp,1),%edi
call   1090 <isxdigit@plt>
test   %eax,%eax
sete   %al
movzbl -0x1(%r15,%rbp,1),%edx
mov    %edx,%ecx
and    $0xdf,%cl
cmp    $0x58,%cl
setne  %cl
or     $0x20,%dl
cmp    $0x78,%dl
jne    11f0 <validate_netmask+0x80>
add    $0x1,%r14d
xor    %ebx,%ebx
jmp    11f5 <validate_netmask+0x85>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
and    %cl,%al
movzbl %al,%ebx
mov    %r15,%rdi
call   1040 <strlen@plt>
test   %ebx,%ebx
jne    120f <validate_netmask+0x9f>
cltq
lea    0x1(%rbp),%rcx
cmp    %rax,%rbp
mov    %rcx,%rbp
jl     11b0 <validate_netmask+0x40>
test   %ebx,%ebx
jne    1243 <validate_netmask+0xd3>
cmp    $0x1,%r14d
jne    1243 <validate_netmask+0xd3>
mov    (%r15),%al
mov    $0x3,%ecx
cmp    $0x78,%al
je     12ba <validate_netmask+0x14a>
cmp    $0x58,%al
je     12ba <validate_netmask+0x14a>
cmp    $0x30,%al
jne    1243 <validate_netmask+0xd3>
mov    0x1(%r15),%al
or     $0x20,%al
cmp    $0x78,%al
je     12ba <validate_netmask+0x14a>
lea    0x10(%rsp),%rdi
mov    $0x10,%esi
call   1070 <bzero@plt>
mov    %r15,%rdi
mov    $0x2f,%esi
call   1050 <strchr@plt>
test   %rax,%rax
je     128d <validate_netmask+0x11d>
mov    (%r15),%al
cmp    $0x2f,%al
je     12a4 <validate_netmask+0x134>
xor    %ecx,%ecx
nopl   (%rax)
mov    %al,0x10(%rsp,%rcx,1)
movzbl 0x1(%r15,%rcx,1),%eax
cmp    $0x2f,%al
je     12a4 <validate_netmask+0x134>
lea    0x1(%rcx),%rdx
cmp    $0xe,%rcx
mov    %rdx,%rcx
jb     1270 <validate_netmask+0x100>
jmp    12a4 <validate_netmask+0x134>
movb   $0x0,0x1f(%rsp)
lea    0x10(%rsp),%rdi
mov    %r15,%rsi
mov    $0xf,%edx
call   1030 <strncpy@plt>
lea    0x10(%rsp),%rdi
lea    0xc(%rsp),%rsi
call   1060 <quadtonum@plt>
test   %rax,%rax
je     12cb <validate_netmask+0x15b>
xor    %ecx,%ecx
mov    %ecx,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    %r15,%rdi
mov    $0x2f,%esi
call   1050 <strchr@plt>
test   %rax,%rax
je     1395 <validate_netmask+0x225>
mov    %rax,%rbx
lea    0x1(%rax),%r15
mov    %r15,%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    12b8 <validate_netmask+0x148>
mov    %r15,%rdi
call   1040 <strlen@plt>
cmp    $0x2,%eax
jg     12b8 <validate_netmask+0x148>
cmpb   $0x2e,(%r15)
je     12b8 <validate_netmask+0x148>
cmpb   $0x2e,0x2(%rbx)
mov    $0x0,%ecx
je     12ba <validate_netmask+0x14a>
mov    %r15,%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    137e <validate_netmask+0x20e>
lea    0xcdb(%rip),%r12
xor    %ebp,%ebp
mov    %r12,%rdi
call   1040 <strlen@plt>
test   %eax,%eax
jle    12b8 <validate_netmask+0x148>
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
movzbl (%r15,%rbp,1),%r13d
movzbl (%rbx,%r12,1),%r14d
add    $0x1,%rbx
mov    %r12,%rdi
call   1040 <strlen@plt>
cltq
cmp    %rax,%rbx
jge    1362 <validate_netmask+0x1f2>
cmp    %r14b,%r13b
jne    1340 <validate_netmask+0x1d0>
cmp    %r14b,%r13b
jne    12b8 <validate_netmask+0x148>
add    $0x1,%rbp
mov    %r15,%rdi
call   1040 <strlen@plt>
cltq
cmp    %rax,%rbp
jl     1327 <validate_netmask+0x1b7>
mov    %r15,%rdi
call   1080 <atoi@plt>
xor    %ecx,%ecx
cmp    $0x21,%eax
setb   %cl
add    %ecx,%ecx
jmp    12ba <validate_netmask+0x14a>
xor    %esi,%esi
mov    0xc(%rsp),%edx
xor    %eax,%eax
jmp    13b3 <validate_netmask+0x243>
nop
cmp    $0x1,%esi
mov    $0x2,%esi
sbb    $0x0,%esi
add    $0x2,%eax
cmp    $0x20,%eax
je     1420 <validate_netmask+0x2b0>
test   %esi,%esi
je     13d0 <validate_netmask+0x260>
cmp    $0x1,%esi
jne    13eb <validate_netmask+0x27b>
mov    $0x80000000,%esi
mov    %eax,%ecx
shr    %cl,%esi
and    %edx,%esi
jmp    13e0 <validate_netmask+0x270>
nopl   0x0(%rax)
mov    %edx,%edi
mov    %eax,%ecx
shl    %cl,%edi
xor    %esi,%esi
test   $0x80000000,%edi
jne    13eb <validate_netmask+0x27b>
cmp    $0x1,%esi
mov    $0x2,%esi
sbb    $0x0,%esi
lea    0x1(%rax),%ecx
test   %esi,%esi
je     1410 <validate_netmask+0x2a0>
cmp    $0x1,%esi
jne    13ab <validate_netmask+0x23b>
mov    $0x80000000,%esi
shr    %cl,%esi
and    %edx,%esi
jmp    13a0 <validate_netmask+0x230>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %edx,%edi
shl    %cl,%edi
xor    %esi,%esi
test   $0x80000000,%edi
jne    13ab <validate_netmask+0x23b>
jmp    13a0 <validate_netmask+0x230>
xor    %eax,%eax
cmp    $0x2,%esi
setne  %al
lea    (%rax,%rax,1),%ecx
add    $0xffffffff,%ecx
jmp    12ba <validate_netmask+0x14a>

LLVM IR (-O0):
@.str = [2 x i8] c"/\00"
@.str.1 = [12 x i8] c"0123456789.\00"
define i32 @validate_netmask(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]
%9 = alloca i8*
%10 = alloca i32
store i8* %0, i8** %3
%11 = load i8*, i8** %3
%12 = call i32 @strlen(i8* %11)
%13 = icmp sgt i32 %12, 18
br i1 %13, label %14, label %15
14: ; preds = %1
store i32 0, i32* %2
br label %277
15: ; preds = %1
store i32 0, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
br label %16
16: ; preds = %71, %15
%17 = load i32, i32* %4
%18 = load i8*, i8** %3
%19 = call i32 @strlen(i8* %18)
%20 = icmp slt i32 %17, %19
br i1 %20, label %21, label %25
21: ; preds = %16
%22 = load i32, i32* %5
%23 = icmp ne i32 %22, 0
%24 = xor i1 %23, true
br label %25
25: ; preds = %21, %16
%26 = phi i1 [ false, %16 ], [ %24, %21 ]
br i1 %26, label %27, label %74
27: ; preds = %25
%28 = load i8*, i8** %3
%29 = load i32, i32* %4
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %28, i64 %30
%32 = load i8, i8* %31
%33 = call i32 @isxdigit(i8 signext %32)
%34 = icmp ne i32 %33, 0
br i1 %34, label %52, label %35
35: ; preds = %27
%36 = load i8*, i8** %3
%37 = load i32, i32* %4
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %36, i64 %38
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
%42 = icmp ne i32 %41, 120
br i1 %42, label %43, label %52
43: ; preds = %35
%44 = load i8*, i8** %3
%45 = load i32, i32* %4
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %44, i64 %46
%48 = load i8, i8* %47
%49 = sext i8 %48 to i32
%50 = icmp ne i32 %49, 88
br i1 %50, label %51, label %52
51: ; preds = %43
store i32 1, i32* %5
br label %52
52: ; preds = %51, %43, %35, %27
%53 = load i8*, i8** %3
%54 = load i32, i32* %4
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8, i8* %53, i64 %55
%57 = load i8, i8* %56
%58 = sext i8 %57 to i32
%59 = icmp eq i32 %58, 120
br i1 %59, label %68, label %60
60: ; preds = %52
%61 = load i8*, i8** %3
%62 = load i32, i32* %4
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds i8, i8* %61, i64 %63
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp eq i32 %66, 88
br i1 %67, label %68, label %71
68: ; preds = %60, %52
%69 = load i32, i32* %6
%70 = add nsw i32 %69, 1
store i32 %70, i32* %6
store i32 0, i32* %5
br label %71
71: ; preds = %68, %60
%72 = load i32, i32* %4
%73 = add nsw i32 %72, 1
store i32 %73, i32* %4
br label %16
74: ; preds = %25
store i32 0, i32* %4
%75 = load i32, i32* %5
%76 = icmp ne i32 %75, 0
br i1 %76, label %117, label %77
77: ; preds = %74
%78 = load i32, i32* %6
%79 = icmp eq i32 %78, 1
br i1 %79, label %80, label %117
80: ; preds = %77
store i32 0, i32* %4
%81 = load i8*, i8** %3
%82 = getelementptr inbounds i8, i8* %81, i64 0
%83 = load i8, i8* %82
%84 = sext i8 %83 to i32
%85 = icmp eq i32 %84, 120
br i1 %85, label %92, label %86
86: ; preds = %80
%87 = load i8*, i8** %3
%88 = getelementptr inbounds i8, i8* %87, i64 0
%89 = load i8, i8* %88
%90 = sext i8 %89 to i32
%91 = icmp eq i32 %90, 88
br i1 %91, label %92, label %93
92: ; preds = %86, %80
store i32 1, i32* %4
br label %93
93: ; preds = %92, %86
%94 = load i32, i32* %4
%95 = icmp ne i32 %94, 0
br i1 %95, label %116, label %96
96: ; preds = %93
%97 = load i8*, i8** %3
%98 = getelementptr inbounds i8, i8* %97, i64 0
%99 = load i8, i8* %98
%100 = sext i8 %99 to i32
%101 = icmp eq i32 %100, 48
br i1 %101, label %102, label %115
102: ; preds = %96
%103 = load i8*, i8** %3
%104 = getelementptr inbounds i8, i8* %103, i64 1
%105 = load i8, i8* %104
%106 = sext i8 %105 to i32
%107 = icmp eq i32 %106, 120
br i1 %107, label %114, label %108
108: ; preds = %102
%109 = load i8*, i8** %3
%110 = getelementptr inbounds i8, i8* %109, i64 1
%111 = load i8, i8* %110
%112 = sext i8 %111 to i32
%113 = icmp eq i32 %112, 88
br i1 %113, label %114, label %115
114: ; preds = %108, %102
store i32 1, i32* %4
br label %115
115: ; preds = %114, %108, %96
br label %116
116: ; preds = %115, %93
br label %117
117: ; preds = %116, %77, %74
%118 = load i32, i32* %4
%119 = icmp eq i32 %118, 1
br i1 %119, label %120, label %121
120: ; preds = %117
store i32 3, i32* %2
br label %277
121: ; preds = %117
%122 = getelementptr inbounds [16 x i8], [16 x i8]* %8, i64 0, i64 0
%123 = call i32 @bzero(i8* %122, i32 16)
%124 = load i8*, i8** %3
%125 = call i8* @strstr(i8* %124, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%126 = icmp ne i8* %125, null
br i1 %126, label %127, label %153
127: ; preds = %121
store i32 0, i32* %4
br label %128
128: ; preds = %141, %127
%129 = load i8*, i8** %3
%130 = load i32, i32* %4
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds i8, i8* %129, i64 %131
%133 = load i8, i8* %132
%134 = sext i8 %133 to i32
%135 = icmp ne i32 %134, 47
br i1 %135, label %136, label %139
136: ; preds = %128
%137 = load i32, i32* %4
%138 = icmp slt i32 %137, 15
br label %139
139: ; preds = %136, %128
%140 = phi i1 [ false, %128 ], [ %138, %136 ]
br i1 %140, label %141, label %152
141: ; preds = %139
%142 = load i8*, i8** %3
%143 = load i32, i32* %4
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i8, i8* %142, i64 %144
%146 = load i8, i8* %145
%147 = load i32, i32* %4
%148 = sext i32 %147 to i64
%149 = getelementptr inbounds [16 x i8], [16 x i8]* %8, i64 0, i64 %148
store i8 %146, i8* %149
%150 = load i32, i32* %4
%151 = add nsw i32 %150, 1
store i32 %151, i32* %4
br label %128
152: ; preds = %139
br label %158
153: ; preds = %121
%154 = getelementptr inbounds [16 x i8], [16 x i8]* %8, i64 0, i64 0
%155 = load i8*, i8** %3
%156 = getelementptr inbounds [16 x i8], [16 x i8]* %8, i64 0, i64 15
store i8 0, i8* %156
%157 = call i32 @strncpy(i8* %154, i8* %155, i32 15)
br label %158
158: ; preds = %153, %152
%159 = getelementptr inbounds [16 x i8], [16 x i8]* %8, i64 0, i64 0
%160 = call i64 @quadtonum(i8* %159, i32* %10)
%161 = icmp ne i64 %160, 0
br i1 %161, label %162, label %163
162: ; preds = %158
store i32 0, i32* %2
br label %277
163: ; preds = %158
%164 = load i8*, i8** %3
%165 = call i8* @strstr(i8* %164, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
store i8* %165, i8** %9
%166 = icmp ne i8* %165, null
br i1 %166, label %202, label %167
167: ; preds = %163
store i32 0, i32* %5
store i32 0, i32* %4
br label %168
168: ; preds = %194, %167
%169 = load i32, i32* %4
%170 = icmp slt i32 %169, 32
br i1 %170, label %171, label %197
171: ; preds = %168
%172 = load i32, i32* %5
%173 = icmp ne i32 %172, 0
br i1 %173, label %182, label %174
174: ; preds = %171
%175 = load i32, i32* %10
%176 = load i32, i32* %4
%177 = sub nsw i32 31, %176
%178 = ashr i32 %175, %177
%179 = and i32 %178, 1
%180 = icmp ne i32 %179, 0
br i1 %180, label %182, label %181
181: ; preds = %174
store i32 1, i32* %5
br label %182
182: ; preds = %181, %174, %171
%183 = load i32, i32* %5
%184 = icmp eq i32 %183, 1
br i1 %184, label %185, label %193
185: ; preds = %182
%186 = load i32, i32* %10
%187 = load i32, i32* %4
%188 = sub nsw i32 31, %187
%189 = ashr i32 %186, %188
%190 = and i32 %189, 1
%191 = icmp ne i32 %190, 0
br i1 %191, label %192, label %193
192: ; preds = %185
store i32 2, i32* %5
br label %193
193: ; preds = %192, %185, %182
br label %194
194: ; preds = %193
%195 = load i32, i32* %4
%196 = add nsw i32 %195, 1
store i32 %196, i32* %4
br label %168
197: ; preds = %168
%198 = load i32, i32* %5
%199 = icmp eq i32 %198, 2
br i1 %199, label %200, label %201
200: ; preds = %197
store i32 -1, i32* %2
br label %277
201: ; preds = %197
store i32 1, i32* %2
br label %277
202: ; preds = %163
%203 = load i8*, i8** %9
%204 = getelementptr inbounds i8, i8* %203, i32 1
store i8* %204, i8** %9
%205 = load i8*, i8** %9
%206 = call i32 @strlen(i8* %205)
%207 = icmp slt i32 %206, 1
br i1 %207, label %212, label %208
208: ; preds = %202
%209 = load i8*, i8** %9
%210 = call i32 @strlen(i8* %209)
%211 = icmp sgt i32 %210, 2
br i1 %211, label %212, label %213
212: ; preds = %208, %202
store i32 0, i32* %2
br label %277
213: ; preds = %208
%214 = load i8*, i8** %9
%215 = getelementptr inbounds i8, i8* %214, i64 0
%216 = load i8, i8* %215
%217 = sext i8 %216 to i32
%218 = icmp eq i32 %217, 46
br i1 %218, label %225, label %219
219: ; preds = %213
%220 = load i8*, i8** %9
%221 = getelementptr inbounds i8, i8* %220, i64 1
%222 = load i8, i8* %221
%223 = sext i8 %222 to i32
%224 = icmp eq i32 %223, 46
br i1 %224, label %225, label %226
225: ; preds = %219, %213
store i32 0, i32* %2
br label %277
226: ; preds = %219
store i32 0, i32* %4
store i32 0, i32* %5
br label %227
227: ; preds = %264, %226
%228 = load i32, i32* %4
%229 = load i8*, i8** %9
%230 = call i32 @strlen(i8* %229)
%231 = icmp slt i32 %228, %230
br i1 %231, label %232, label %267
232: ; preds = %227
store i32 0, i32* %6
store i32 0, i32* %5
br label %233
233: ; preds = %257, %232
%234 = load i32, i32* %6
%235 = call i32 @strlen(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0))
%236 = icmp slt i32 %234, %235
br i1 %236, label %237, label %241
237: ; preds = %233
%238 = load i32, i32* %5
%239 = icmp ne i32 %238, 0
%240 = xor i1 %239, true
br label %241
241: ; preds = %237, %233
%242 = phi i1 [ false, %233 ], [ %240, %237 ]
br i1 %242, label %243, label %260
243: ; preds = %241
%244 = load i8*, i8** %9
%245 = load i32, i32* %4
%246 = sext i32 %245 to i64
%247 = getelementptr inbounds i8, i8* %244, i64 %246
%248 = load i8, i8* %247
%249 = sext i8 %248 to i32
%250 = load i32, i32* %6
%251 = sext i32 %250 to i64
%252 = getelementptr inbounds [12 x i8], [12 x i8]* @.str.1, i64 0, i64 %251
%253 = load i8, i8* %252
%254 = sext i8 %253 to i32
%255 = icmp eq i32 %249, %254
br i1 %255, label %256, label %257
256: ; preds = %243
store i32 1, i32* %5
br label %257
257: ; preds = %256, %243
%258 = load i32, i32* %6
%259 = add nsw i32 %258, 1
store i32 %259, i32* %6
br label %233
260: ; preds = %241
%261 = load i32, i32* %5
%262 = icmp ne i32 %261, 0
br i1 %262, label %264, label %263
263: ; preds = %260
store i32 0, i32* %2
br label %277
264: ; preds = %260
%265 = load i32, i32* %4
%266 = add nsw i32 %265, 1
store i32 %266, i32* %4
br label %227
267: ; preds = %227
%268 = load i8*, i8** %9
%269 = call i32 @atoi(i8* %268)
store i32 %269, i32* %7
%270 = load i32, i32* %7
%271 = icmp slt i32 %270, 0
br i1 %271, label %275, label %272
272: ; preds = %267
%273 = load i32, i32* %7
%274 = icmp sgt i32 %273, 32
br i1 %274, label %275, label %276
275: ; preds = %272, %267
store i32 0, i32* %2
br label %277
276: ; preds = %272
store i32 2, i32* %2
br label %277
277: ; preds = %276, %275, %263, %225, %212, %201, %200, %162, %120, %14
%278 = load i32, i32* %2
ret i32 %278
}

LLVM IR (-O2):
@.str.1 = [12 x i8] c"0123456789.\00"
define i32 @validate_netmask(i8* %0) {
%2 = alloca [16 x i8]
%3 = alloca i32
%4 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 0
%5 = bitcast i32* %3 to i8*
%6 = tail call i32 @strlen(i8* %0)
%7 = icmp sgt i32 %6, 18
br i1 %7, label %149, label %8
8: ; preds = %1
%9 = tail call i32 @strlen(i8* %0)
%10 = icmp sgt i32 %9, 0
br i1 %10, label %11, label %42
11: ; preds = %8, %25
%12 = phi i64 [ %28, %25 ], [ 0, %8 ]
%13 = phi i32 [ %27, %25 ], [ 0, %8 ]
%14 = getelementptr inbounds i8, i8* %0, i64 %12
%15 = load i8, i8* %14
%16 = tail call i32 @isxdigit(i8 signext %15)
%17 = icmp eq i32 %16, 0
%18 = load i8, i8* %14
%19 = and i8 %18, -33
%20 = icmp ne i8 %19, 88
%21 = select i1 %17, i1 %20, i1 false
%22 = zext i1 %21 to i32
switch i8 %18, label %25 [
i8 120, label %23
i8 88, label %23
]
23: ; preds = %11, %11
%24 = add nsw i32 %13, 1
br label %25
25: ; preds = %11, %23
%26 = phi i32 [ 0, %23 ], [ %22, %11 ]
%27 = phi i32 [ %24, %23 ], [ %13, %11 ]
%28 = add nuw nsw i64 %12, 1
%29 = tail call i32 @strlen(i8* %0)
%30 = sext i32 %29 to i64
%31 = icmp slt i64 %28, %30
%32 = icmp eq i32 %26, 0
%33 = and i1 %32, %31
br i1 %33, label %11, label %34
34: ; preds = %25
%35 = icmp eq i32 %27, 1
%36 = select i1 %32, i1 %35, i1 false
br i1 %36, label %37, label %42
37: ; preds = %34
%38 = load i8, i8* %0
switch i8 %38, label %42 [
i8 120, label %149
i8 88, label %149
i8 48, label %39
]
39: ; preds = %37
%40 = getelementptr inbounds i8, i8* %0, i64 1
%41 = load i8, i8* %40
switch i8 %41, label %42 [
i8 120, label %149
i8 88, label %149
]
42: ; preds = %8, %37, %34, %39
%43 = call i32 @bzero(i8* %4, i32 16)
%44 = tail call i8* @strchr(i8* dereferenceable(1) %0, i32 47)
%45 = icmp eq i8* %44, null
br i1 %45, label %59, label %46
46: ; preds = %42
%47 = load i8, i8* %0
%48 = icmp eq i8 %47, 47
br i1 %48, label %62, label %49
49: ; preds = %46, %49
%50 = phi i64 [ %53, %49 ], [ 0, %46 ]
%51 = phi i8 [ %55, %49 ], [ %47, %46 ]
%52 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 %50
store i8 %51, i8* %52
%53 = add nuw nsw i64 %50, 1
%54 = getelementptr inbounds i8, i8* %0, i64 %53
%55 = load i8, i8* %54
%56 = icmp ne i8 %55, 47
%57 = icmp ult i64 %50, 14
%58 = select i1 %56, i1 %57, i1 false
br i1 %58, label %49, label %62
59: ; preds = %42
%60 = getelementptr inbounds [16 x i8], [16 x i8]* %2, i64 0, i64 15
store i8 0, i8* %60
%61 = call i32 @strncpy(i8* %4, i8* %0, i32 15)
br label %62
62: ; preds = %49, %46, %59
%63 = call i64 @quadtonum(i8* %4, i32* %3)
%64 = icmp eq i64 %63, 0
br i1 %64, label %65, label %149
65: ; preds = %62
%66 = call i8* @strchr(i8* dereferenceable(1) %0, i32 47)
%67 = icmp eq i8* %66, null
br i1 %67, label %68, label %105
68: ; preds = %65
%69 = load i32, i32* %3
br label %70
70: ; preds = %98, %68
%71 = phi i32 [ 0, %68 ], [ %99, %98 ]
%72 = phi i32 [ 0, %68 ], [ %100, %98 ]
switch i32 %71, label %84 [
i32 0, label %76
i32 1, label %73
]
73: ; preds = %70
%74 = lshr i32 -2147483648, %72
%75 = and i32 %69, %74
br label %80
76: ; preds = %70
%77 = lshr i32 -2147483648, %72
%78 = and i32 %69, %77
%79 = icmp eq i32 %78, 0
br i1 %79, label %80, label %84
80: ; preds = %73, %76
%81 = phi i32 [ %75, %73 ], [ 0, %76 ]
%82 = icmp eq i32 %81, 0
%83 = select i1 %82, i32 1, i32 2
br label %84
84: ; preds = %70, %76, %80
%85 = phi i32 [ %83, %80 ], [ 0, %76 ], [ %71, %70 ]
%86 = or i32 %72, 1
switch i32 %85, label %98 [
i32 0, label %90
i32 1, label %87
]
87: ; preds = %84
%88 = lshr i32 -2147483648, %86
%89 = and i32 %69, %88
br label %94
90: ; preds = %84
%91 = lshr i32 -2147483648, %86
%92 = and i32 %69, %91
%93 = icmp eq i32 %92, 0
br i1 %93, label %94, label %98
94: ; preds = %90, %87
%95 = phi i32 [ %89, %87 ], [ 0, %90 ]
%96 = icmp eq i32 %95, 0
%97 = select i1 %96, i32 1, i32 2
br label %98
98: ; preds = %94, %90, %84
%99 = phi i32 [ %97, %94 ], [ 0, %90 ], [ %85, %84 ]
%100 = add nuw nsw i32 %72, 2
%101 = icmp eq i32 %100, 32
br i1 %101, label %102, label %70
102: ; preds = %98
%103 = icmp eq i32 %99, 2
%104 = select i1 %103, i32 -1, i32 1
br label %149
105: ; preds = %65
%106 = getelementptr inbounds i8, i8* %66, i64 1
%107 = call i32 @strlen(i8* %106)
%108 = icmp slt i32 %107, 1
br i1 %108, label %149, label %109
109: ; preds = %105
%110 = call i32 @strlen(i8* %106)
%111 = icmp sgt i32 %110, 2
br i1 %111, label %149, label %112
112: ; preds = %109
%113 = load i8, i8* %106
%114 = icmp eq i8 %113, 46
br i1 %114, label %149, label %115
115: ; preds = %112
%116 = getelementptr inbounds i8, i8* %66, i64 2
%117 = load i8, i8* %116
%118 = icmp eq i8 %117, 46
br i1 %118, label %149, label %119
119: ; preds = %115
%120 = call i32 @strlen(i8* %106)
%121 = icmp sgt i32 %120, 0
br i1 %121, label %126, label %145
122: ; preds = %143
%123 = call i32 @strlen(i8* %106)
%124 = sext i32 %123 to i64
%125 = icmp slt i64 %144, %124
br i1 %125, label %126, label %145
126: ; preds = %119, %122
%127 = phi i64 [ %144, %122 ], [ 0, %119 ]
%128 = call i32 @strlen(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0))
%129 = icmp sgt i32 %128, 0
br i1 %129, label %130, label %149
130: ; preds = %126
%131 = getelementptr inbounds i8, i8* %106, i64 %127
br label %132
132: ; preds = %130, %132
%133 = phi i64 [ 0, %130 ], [ %138, %132 ]
%134 = load i8, i8* %131
%135 = getelementptr inbounds [12 x i8], [12 x i8]* @.str.1, i64 0, i64 %133
%136 = load i8, i8* %135
%137 = icmp ne i8 %134, %136
%138 = add nuw nsw i64 %133, 1
%139 = call i32 @strlen(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0))
%140 = sext i32 %139 to i64
%141 = icmp slt i64 %138, %140
%142 = select i1 %141, i1 %137, i1 false
br i1 %142, label %132, label %143
143: ; preds = %132
%144 = add nuw nsw i64 %127, 1
br i1 %137, label %149, label %122
145: ; preds = %122, %119
%146 = call i32 @atoi(i8* %106)
%147 = icmp ugt i32 %146, 32
%148 = select i1 %147, i32 0, i32 2
br label %149
149: ; preds = %126, %143, %37, %37, %39, %39, %145, %112, %115, %105, %109, %102, %62, %1
%150 = phi i32 [ 0, %1 ], [ 0, %62 ], [ %104, %102 ], [ 0, %109 ], [ 0, %105 ], [ 0, %115 ], [ 0, %112 ], [ %148, %145 ], [ 3, %39 ], [ 3, %39 ], [ 3, %37 ], [ 3, %37 ], [ 0, %143 ], [ 0, %126 ]
ret i32 %150
}