#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 */
struct in_addr {
  int /*<<< orphan*/ s_addr;
};

/* Variables and functions */
int /*<<< orphan*/ htonl(unsigned long);
scalar_t__ isascii(char);
scalar_t__ isdigit(char);
scalar_t__ islower(char);
int /*<<< orphan*/ isspace(char);
scalar_t__ isxdigit(char);
int inet_aton(const char *cp, struct in_addr *addr) {
  register unsigned long val;
  register int base, n;
  register char c;
  unsigned int parts[4];
  register unsigned int *pp = parts;
  c = *cp;
  for (;;) {
    if (!isdigit(c))
      return (0);
    val = 0;
    base = 10;
    if (c == '0') {
      c = *++cp;
      if (c == 'x' || c == 'X')
        base = 16, c = *++cp;
      else
        base = 8;
    }
    for (;;) {
      if (isascii(c) && isdigit(c)) {
        val = (val * base) + (c - '0');
        c = *++cp;
      } else if (base == 16 && isascii(c) && isxdigit(c)) {
        val = (val << 4) | (c + 10 - (islower(c) ? 'a' : 'A'));
        c = *++cp;
      } else
        break;
    }
    if (c == '.') {
      if (pp >= parts + 3)
        return (0);
      *pp++ = val;
      c = *++cp;
    } else
      break;
  }
  if (c != '\0' && (!isascii(c) || !isspace(c)))
    return (0);
  n = pp - parts + 1;
  switch (n) {
  case 0:
    return (0);
  case 1:
    break;
  case 2:
    if ((val > 0xffffff) || (parts[0] > 0xff))
      return (0);
    val |= parts[0] << 24;
    break;
  case 3:
    if ((val > 0xffff) || (parts[0] > 0xff) || (parts[1] > 0xff))
      return (0);
    val |= (parts[0] << 24) | (parts[1] << 16);
    break;
  case 4:
    if ((val > 0xff) || (parts[0] > 0xff) || (parts[1] > 0xff) ||
        (parts[2] > 0xff))
      return (0);
    val |= (parts[0] << 24) | (parts[1] << 16) | (parts[2] << 8);
    break;
  }
  if (addr)
    addr->s_addr = htonl(val);
  return (1);
}


x86 assembly (clang, -O0):
<inet_aton>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
lea    -0x40(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x29(%rbp)
movsbl -0x29(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    11a0 <inet_aton+0x40>
movl   $0x0,-0x4(%rbp)
jmp    151c <inet_aton+0x3bc>
movq   $0x0,-0x20(%rbp)
movl   $0xa,-0x24(%rbp)
movsbl -0x29(%rbp),%eax
cmp    $0x30,%eax
jne    1218 <inet_aton+0xb8>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x29(%rbp)
movsbl -0x29(%rbp),%eax
cmp    $0x78,%eax
je     11eb <inet_aton+0x8b>
movsbl -0x29(%rbp),%eax
cmp    $0x58,%eax
jne    120c <inet_aton+0xac>
movl   $0x10,-0x24(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x29(%rbp)
jmp    1213 <inet_aton+0xb3>
movl   $0x8,-0x24(%rbp)
jmp    1218 <inet_aton+0xb8>
jmp    121d <inet_aton+0xbd>
movsbl -0x29(%rbp),%edi
call   1070 <isascii@plt>
cmp    $0x0,%rax
je     127a <inet_aton+0x11a>
movsbl -0x29(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     127a <inet_aton+0x11a>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   %rcx,%rax
movsbl -0x29(%rbp),%ecx
sub    $0x30,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x29(%rbp)
jmp    1314 <inet_aton+0x1b4>
cmpl   $0x10,-0x24(%rbp)
jne    130a <inet_aton+0x1aa>
movsbl -0x29(%rbp),%edi
call   1070 <isascii@plt>
cmp    $0x0,%rax
je     130a <inet_aton+0x1aa>
movsbl -0x29(%rbp),%edi
call   1080 <isxdigit@plt>
cmp    $0x0,%rax
je     130a <inet_aton+0x1aa>
mov    -0x20(%rbp),%rax
shl    $0x4,%rax
mov    %rax,-0x50(%rbp)
movsbl -0x29(%rbp),%eax
add    $0xa,%eax
mov    %eax,-0x54(%rbp)
movsbl -0x29(%rbp),%edi
call   1040 <islower@plt>
mov    -0x54(%rbp),%ecx
mov    %rax,%rdi
mov    -0x50(%rbp),%rax
mov    $0x41,%edx
mov    $0x61,%esi
cmp    $0x0,%rdi
cmovne %esi,%edx
sub    %edx,%ecx
movslq %ecx,%rcx
or     %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x29(%rbp)
jmp    130f <inet_aton+0x1af>
jmp    1319 <inet_aton+0x1b9>
jmp    1314 <inet_aton+0x1b4>
jmp    121d <inet_aton+0xbd>
movsbl -0x29(%rbp),%eax
cmp    $0x2e,%eax
jne    1378 <inet_aton+0x218>
mov    -0x48(%rbp),%rax
lea    -0x40(%rbp),%rcx
add    $0xc,%rcx
cmp    %rcx,%rax
jb     1347 <inet_aton+0x1e7>
movl   $0x0,-0x4(%rbp)
jmp    151c <inet_aton+0x3bc>
mov    -0x20(%rbp),%rax
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x48(%rbp)
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x29(%rbp)
jmp    137d <inet_aton+0x21d>
jmp    1382 <inet_aton+0x222>
jmp    1181 <inet_aton+0x21>
movsbl -0x29(%rbp),%eax
cmp    $0x0,%eax
je     13c0 <inet_aton+0x260>
movsbl -0x29(%rbp),%edi
call   1070 <isascii@plt>
cmp    $0x0,%rax
je     13b4 <inet_aton+0x254>
movsbl -0x29(%rbp),%edi
call   1060 <isspace@plt>
cmp    $0x0,%eax
jne    13c0 <inet_aton+0x260>
movl   $0x0,-0x4(%rbp)
jmp    151c <inet_aton+0x3bc>
mov    -0x48(%rbp),%rax
lea    -0x40(%rbp),%rcx
sub    %rcx,%rax
shr    $0x2,%rax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    %rax,-0x60(%rbp)
sub    $0x4,%rax
ja     14f9 <inet_aton+0x399>
mov    -0x60(%rbp),%rax
lea    0xc0f(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movl   $0x0,-0x4(%rbp)
jmp    151c <inet_aton+0x3bc>
jmp    14f9 <inet_aton+0x399>
cmpq   $0xffffff,-0x20(%rbp)
ja     1426 <inet_aton+0x2c6>
cmpl   $0xff,-0x40(%rbp)
jbe    1432 <inet_aton+0x2d2>
movl   $0x0,-0x4(%rbp)
jmp    151c <inet_aton+0x3bc>
mov    -0x40(%rbp),%eax
shl    $0x18,%eax
mov    %eax,%eax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    14f9 <inet_aton+0x399>
cmpq   $0xffff,-0x20(%rbp)
ja     146f <inet_aton+0x30f>
cmpl   $0xff,-0x40(%rbp)
ja     146f <inet_aton+0x30f>
cmpl   $0xff,-0x3c(%rbp)
jbe    147b <inet_aton+0x31b>
movl   $0x0,-0x4(%rbp)
jmp    151c <inet_aton+0x3bc>
mov    -0x40(%rbp),%eax
shl    $0x18,%eax
mov    -0x3c(%rbp),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    %eax,%eax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    14f9 <inet_aton+0x399>
cmpq   $0xff,-0x20(%rbp)
ja     14cd <inet_aton+0x36d>
cmpl   $0xff,-0x40(%rbp)
ja     14cd <inet_aton+0x36d>
cmpl   $0xff,-0x3c(%rbp)
ja     14cd <inet_aton+0x36d>
cmpl   $0xff,-0x38(%rbp)
jbe    14d9 <inet_aton+0x379>
movl   $0x0,-0x4(%rbp)
jmp    151c <inet_aton+0x3bc>
mov    -0x40(%rbp),%eax
shl    $0x18,%eax
mov    -0x3c(%rbp),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x38(%rbp),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
mov    %eax,%eax
or     -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1515 <inet_aton+0x3b5>
mov    -0x20(%rbp),%rdi
call   1050 <htonl@plt>
mov    %eax,%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<inet_aton>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rsi,%rbx
mov    %rdi,%r15
mov    (%rdi),%r14b
movsbl %r14b,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     12b6 <inet_aton+0x156>
mov    %rbx,0x20(%rsp)
mov    %rsp,%rbp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x30,%r14b
mov    %rbp,0x18(%rsp)
jne    11d0 <inet_aton+0x70>
mov    0x1(%r15),%r14b
mov    %r14d,%eax
and    $0xdf,%al
cmp    $0x58,%al
jne    11e0 <inet_aton+0x80>
mov    0x2(%r15),%r14b
add    $0x2,%r15
mov    $0x10,%eax
mov    %rax,0x10(%rsp)
mov    $0x1,%r13b
jmp    11f1 <inet_aton+0x91>
nop
mov    $0xa,%eax
jmp    11e9 <inet_aton+0x89>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r15
mov    $0x8,%eax
mov    %rax,0x10(%rsp)
xor    %r13d,%r13d
add    $0x1,%r15
xor    %r12d,%r12d
jmp    1219 <inet_aton+0xb9>
nopw   0x0(%rax,%rax,1)
imul   0x10(%rsp),%r12
movsbq %r14b,%rax
add    %rax,%r12
add    $0xffffffffffffffd0,%r12
movzbl (%r15),%r14d
add    $0x1,%r15
movsbl %r14b,%ebp
mov    %ebp,%edi
call   1070 <isascii@plt>
test   %rax,%rax
je     1235 <inet_aton+0xd5>
mov    %ebp,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1200 <inet_aton+0xa0>
test   %r13b,%r13b
je     1280 <inet_aton+0x120>
mov    %ebp,%edi
call   1070 <isascii@plt>
test   %rax,%rax
je     1280 <inet_aton+0x120>
mov    %ebp,%edi
call   1080 <isxdigit@plt>
test   %rax,%rax
je     1280 <inet_aton+0x120>
shl    $0x4,%r12
movsbq %r14b,%rbx
mov    %ebp,%edi
call   1040 <islower@plt>
xor    %ecx,%ecx
test   %rax,%rax
sete   %cl
shl    $0x5,%rcx
lea    (%rcx,%rbx,1),%rax
add    $0xffffffffffffffa9,%rax
or     %rax,%r12
jmp    1211 <inet_aton+0xb1>
nopw   0x0(%rax,%rax,1)
cmp    $0x2e,%r14b
jne    12c9 <inet_aton+0x169>
xor    %ebx,%ebx
mov    0x18(%rsp),%rbp
lea    0xc(%rsp),%rax
cmp    %rax,%rbp
jae    12b8 <inet_aton+0x158>
mov    %r12d,0x0(%rbp)
add    $0x4,%rbp
mov    (%r15),%r14b
movsbl %r14b,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    11a0 <inet_aton+0x40>
jmp    12b8 <inet_aton+0x158>
xor    %ebx,%ebx
mov    %ebx,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %r14b,%r14b
mov    0x18(%rsp),%r14
je     12ec <inet_aton+0x18c>
mov    %ebp,%edi
call   1070 <isascii@plt>
xor    %ebx,%ebx
test   %rax,%rax
je     12b8 <inet_aton+0x158>
mov    %ebp,%edi
call   1060 <isspace@plt>
test   %eax,%eax
je     12b8 <inet_aton+0x158>
mov    %rsp,%rax
sub    %rax,%r14
shr    $0x2,%r14
add    $0x1,%r14d
cmp    $0x4,%r14d
ja     13c0 <inet_aton+0x260>
xor    %ebx,%ebx
lea    0xcf3(%rip),%rax
movslq (%rax,%r14,4),%rcx
add    %rax,%rcx
jmp    *%rcx
cmp    $0xffffff,%r12
ja     12b8 <inet_aton+0x158>
mov    (%rsp),%eax
cmp    $0xff,%eax
ja     12b8 <inet_aton+0x158>
shl    $0x18,%rax
or     %rax,%r12
jmp    13c0 <inet_aton+0x260>
cmp    $0xffff,%r12
ja     12b8 <inet_aton+0x158>
mov    (%rsp),%eax
cmp    $0xff,%eax
ja     12b8 <inet_aton+0x158>
mov    0x4(%rsp),%ecx
cmp    $0xff,%ecx
ja     12b8 <inet_aton+0x158>
shl    $0x18,%rax
shl    $0x10,%rcx
or     %rax,%rcx
or     %rcx,%r12
jmp    13c0 <inet_aton+0x260>
cmp    $0xff,%r12
ja     12b8 <inet_aton+0x158>
mov    (%rsp),%eax
cmp    $0xff,%eax
ja     12b8 <inet_aton+0x158>
mov    0x4(%rsp),%ecx
cmp    $0xff,%ecx
ja     12b8 <inet_aton+0x158>
mov    0x8(%rsp),%edx
cmp    $0xff,%edx
ja     12b8 <inet_aton+0x158>
shl    $0x18,%rax
shl    $0x10,%rcx
or     %rax,%rcx
shl    $0x8,%rdx
or     %rcx,%rdx
or     %rdx,%r12
mov    $0x1,%ebx
mov    0x20(%rsp),%rbp
test   %rbp,%rbp
je     12b8 <inet_aton+0x158>
mov    %r12,%rdi
call   1050 <htonl@plt>
mov    %eax,0x0(%rbp)
jmp    12b8 <inet_aton+0x158>

LLVM IR (-O0):
%struct.in_addr = type { i32 }
define i32 @inet_aton(i8* %0, %struct.in_addr* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca %struct.in_addr*
%6 = alloca i64
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8
%10 = alloca [4 x i32]
%11 = alloca i32*
store i8* %0, i8** %4
store %struct.in_addr* %1, %struct.in_addr** %5
%12 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
store i32* %12, i32** %11
%13 = load i8*, i8** %4
%14 = load i8, i8* %13
store i8 %14, i8* %9
br label %15
15: ; preds = %113, %2
%16 = load i8, i8* %9
%17 = call i64 @isdigit(i8 signext %16)
%18 = icmp ne i64 %17, 0
br i1 %18, label %20, label %19
19: ; preds = %15
store i32 0, i32* %3
br label %217
20: ; preds = %15
store i64 0, i64* %6
store i32 10, i32* %7
%21 = load i8, i8* %9
%22 = sext i8 %21 to i32
%23 = icmp eq i32 %22, 48
br i1 %23, label %24, label %41
24: ; preds = %20
%25 = load i8*, i8** %4
%26 = getelementptr inbounds i8, i8* %25, i32 1
store i8* %26, i8** %4
%27 = load i8, i8* %26
store i8 %27, i8* %9
%28 = load i8, i8* %9
%29 = sext i8 %28 to i32
%30 = icmp eq i32 %29, 120
br i1 %30, label %35, label %31
31: ; preds = %24
%32 = load i8, i8* %9
%33 = sext i8 %32 to i32
%34 = icmp eq i32 %33, 88
br i1 %34, label %35, label %39
35: ; preds = %31, %24
store i32 16, i32* %7
%36 = load i8*, i8** %4
%37 = getelementptr inbounds i8, i8* %36, i32 1
store i8* %37, i8** %4
%38 = load i8, i8* %37
store i8 %38, i8* %9
br label %40
39: ; preds = %31
store i32 8, i32* %7
br label %40
40: ; preds = %39, %35
br label %41
41: ; preds = %40, %20
br label %42
42: ; preds = %93, %41
%43 = load i8, i8* %9
%44 = call i64 @isascii(i8 signext %43)
%45 = icmp ne i64 %44, 0
br i1 %45, label %46, label %63
46: ; preds = %42
%47 = load i8, i8* %9
%48 = call i64 @isdigit(i8 signext %47)
%49 = icmp ne i64 %48, 0
br i1 %49, label %50, label %63
50: ; preds = %46
%51 = load i64, i64* %6
%52 = load i32, i32* %7
%53 = sext i32 %52 to i64
%54 = mul i64 %51, %53
%55 = load i8, i8* %9
%56 = sext i8 %55 to i32
%57 = sub nsw i32 %56, 48
%58 = sext i32 %57 to i64
%59 = add i64 %54, %58
store i64 %59, i64* %6
%60 = load i8*, i8** %4
%61 = getelementptr inbounds i8, i8* %60, i32 1
store i8* %61, i8** %4
%62 = load i8, i8* %61
store i8 %62, i8* %9
br label %93
63: ; preds = %46, %42
%64 = load i32, i32* %7
%65 = icmp eq i32 %64, 16
br i1 %65, label %66, label %91
66: ; preds = %63
%67 = load i8, i8* %9
%68 = call i64 @isascii(i8 signext %67)
%69 = icmp ne i64 %68, 0
br i1 %69, label %70, label %91
70: ; preds = %66
%71 = load i8, i8* %9
%72 = call i64 @isxdigit(i8 signext %71)
%73 = icmp ne i64 %72, 0
br i1 %73, label %74, label %91
74: ; preds = %70
%75 = load i64, i64* %6
%76 = shl i64 %75, 4
%77 = load i8, i8* %9
%78 = sext i8 %77 to i32
%79 = add nsw i32 %78, 10
%80 = load i8, i8* %9
%81 = call i64 @islower(i8 signext %80)
%82 = icmp ne i64 %81, 0
%83 = zext i1 %82 to i64
%84 = select i1 %82, i32 97, i32 65
%85 = sub nsw i32 %79, %84
%86 = sext i32 %85 to i64
%87 = or i64 %76, %86
store i64 %87, i64* %6
%88 = load i8*, i8** %4
%89 = getelementptr inbounds i8, i8* %88, i32 1
store i8* %89, i8** %4
%90 = load i8, i8* %89
store i8 %90, i8* %9
br label %92
91: ; preds = %70, %66, %63
br label %94
92: ; preds = %74
br label %93
93: ; preds = %92, %50
br label %42
94: ; preds = %91
%95 = load i8, i8* %9
%96 = sext i8 %95 to i32
%97 = icmp eq i32 %96, 46
br i1 %97, label %98, label %112
98: ; preds = %94
%99 = load i32*, i32** %11
%100 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%101 = getelementptr inbounds i32, i32* %100, i64 3
%102 = icmp uge i32* %99, %101
br i1 %102, label %103, label %104
103: ; preds = %98
store i32 0, i32* %3
br label %217
104: ; preds = %98
%105 = load i64, i64* %6
%106 = trunc i64 %105 to i32
%107 = load i32*, i32** %11
%108 = getelementptr inbounds i32, i32* %107, i32 1
store i32* %108, i32** %11
store i32 %106, i32* %107
%109 = load i8*, i8** %4
%110 = getelementptr inbounds i8, i8* %109, i32 1
store i8* %110, i8** %4
%111 = load i8, i8* %110
store i8 %111, i8* %9
br label %113
112: ; preds = %94
br label %114
113: ; preds = %104
br label %15
114: ; preds = %112
%115 = load i8, i8* %9
%116 = sext i8 %115 to i32
%117 = icmp ne i32 %116, 0
br i1 %117, label %118, label %127
118: ; preds = %114
%119 = load i8, i8* %9
%120 = call i64 @isascii(i8 signext %119)
%121 = icmp ne i64 %120, 0
br i1 %121, label %122, label %126
122: ; preds = %118
%123 = load i8, i8* %9
%124 = call i32 @isspace(i8 signext %123)
%125 = icmp ne i32 %124, 0
br i1 %125, label %127, label %126
126: ; preds = %122, %118
store i32 0, i32* %3
br label %217
127: ; preds = %122, %114
%128 = load i32*, i32** %11
%129 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%130 = ptrtoint i32* %128 to i64
%131 = ptrtoint i32* %129 to i64
%132 = sub i64 %130, %131
%133 = sdiv exact i64 %132, 4
%134 = add nsw i64 %133, 1
%135 = trunc i64 %134 to i32
store i32 %135, i32* %8
%136 = load i32, i32* %8
switch i32 %136, label %208 [
i32 0, label %137
i32 1, label %138
i32 2, label %139
i32 3, label %154
i32 4, label %177
]
137: ; preds = %127
store i32 0, i32* %3
br label %217
138: ; preds = %127
br label %208
139: ; preds = %127
%140 = load i64, i64* %6
%141 = icmp ugt i64 %140, 16777215
br i1 %141, label %146, label %142
142: ; preds = %139
%143 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%144 = load i32, i32* %143
%145 = icmp ugt i32 %144, 255
br i1 %145, label %146, label %147
146: ; preds = %142, %139
store i32 0, i32* %3
br label %217
147: ; preds = %142
%148 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%149 = load i32, i32* %148
%150 = shl i32 %149, 24
%151 = zext i32 %150 to i64
%152 = load i64, i64* %6
%153 = or i64 %152, %151
store i64 %153, i64* %6
br label %208
154: ; preds = %127
%155 = load i64, i64* %6
%156 = icmp ugt i64 %155, 65535
br i1 %156, label %165, label %157
157: ; preds = %154
%158 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%159 = load i32, i32* %158
%160 = icmp ugt i32 %159, 255
br i1 %160, label %165, label %161
161: ; preds = %157
%162 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
%163 = load i32, i32* %162
%164 = icmp ugt i32 %163, 255
br i1 %164, label %165, label %166
165: ; preds = %161, %157, %154
store i32 0, i32* %3
br label %217
166: ; preds = %161
%167 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%168 = load i32, i32* %167
%169 = shl i32 %168, 24
%170 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
%171 = load i32, i32* %170
%172 = shl i32 %171, 16
%173 = or i32 %169, %172
%174 = zext i32 %173 to i64
%175 = load i64, i64* %6
%176 = or i64 %175, %174
store i64 %176, i64* %6
br label %208
177: ; preds = %127
%178 = load i64, i64* %6
%179 = icmp ugt i64 %178, 255
br i1 %179, label %192, label %180
180: ; preds = %177
%181 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%182 = load i32, i32* %181
%183 = icmp ugt i32 %182, 255
br i1 %183, label %192, label %184
184: ; preds = %180
%185 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
%186 = load i32, i32* %185
%187 = icmp ugt i32 %186, 255
br i1 %187, label %192, label %188
188: ; preds = %184
%189 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 2
%190 = load i32, i32* %189
%191 = icmp ugt i32 %190, 255
br i1 %191, label %192, label %193
192: ; preds = %188, %184, %180, %177
store i32 0, i32* %3
br label %217
193: ; preds = %188
%194 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%195 = load i32, i32* %194
%196 = shl i32 %195, 24
%197 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
%198 = load i32, i32* %197
%199 = shl i32 %198, 16
%200 = or i32 %196, %199
%201 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 2
%202 = load i32, i32* %201
%203 = shl i32 %202, 8
%204 = or i32 %200, %203
%205 = zext i32 %204 to i64
%206 = load i64, i64* %6
%207 = or i64 %206, %205
store i64 %207, i64* %6
br label %208
208: ; preds = %127, %193, %166, %147, %138
%209 = load %struct.in_addr*, %struct.in_addr** %5
%210 = icmp ne %struct.in_addr* %209, null
br i1 %210, label %211, label %216
211: ; preds = %208
%212 = load i64, i64* %6
%213 = call i32 @htonl(i64 %212)
%214 = load %struct.in_addr*, %struct.in_addr** %5
%215 = getelementptr inbounds %struct.in_addr, %struct.in_addr* %214, i32 0, i32 0
store i32 %213, i32* %215
br label %216
216: ; preds = %211, %208
store i32 1, i32* %3
br label %217
217: ; preds = %216, %192, %165, %146, %137, %126, %103, %19
%218 = load i32, i32* %3
ret i32 %218
}

LLVM IR (-O2):
%struct.in_addr = type { i32 }
define i32 @inet_aton(i8* nocapture %0, %struct.in_addr* writeonly %1) {
%3 = alloca [4 x i32]
%4 = bitcast [4 x i32]* %3 to i8*
%5 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 0
%6 = load i8, i8* %0
%7 = call i64 @isdigit(i8 signext %6)
%8 = icmp eq i64 %7, 0
br i1 %8, label %136, label %9
9: ; preds = %2
%10 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 3
br label %11
11: ; preds = %9, %66
%12 = phi i8 [ %6, %9 ], [ %70, %66 ]
%13 = phi i32* [ %5, %9 ], [ %68, %66 ]
%14 = phi i8* [ %0, %9 ], [ %69, %66 ]
%15 = icmp eq i8 %12, 48
br i1 %15, label %16, label %24
16: ; preds = %11
%17 = getelementptr inbounds i8, i8* %14, i64 1
%18 = load i8, i8* %17
%19 = and i8 %18, -33
%20 = icmp eq i8 %19, 88
br i1 %20, label %21, label %24
21: ; preds = %16
%22 = getelementptr inbounds i8, i8* %14, i64 2
%23 = load i8, i8* %22
br label %24
24: ; preds = %16, %21, %11
%25 = phi i8* [ %22, %21 ], [ %14, %11 ], [ %17, %16 ]
%26 = phi i1 [ true, %21 ], [ false, %11 ], [ false, %16 ]
%27 = phi i64 [ 16, %21 ], [ 10, %11 ], [ 8, %16 ]
%28 = phi i8 [ %23, %21 ], [ %12, %11 ], [ %18, %16 ]
br label %29
29: ; preds = %59, %24
%30 = phi i8* [ %25, %24 ], [ %61, %59 ]
%31 = phi i64 [ 0, %24 ], [ %60, %59 ]
%32 = phi i8 [ %28, %24 ], [ %62, %59 ]
%33 = call i64 @isascii(i8 signext %32)
%34 = icmp eq i64 %33, 0
br i1 %34, label %43, label %35
35: ; preds = %29
%36 = call i64 @isdigit(i8 signext %32)
%37 = icmp eq i64 %36, 0
br i1 %37, label %43, label %38
38: ; preds = %35
%39 = mul i64 %31, %27
%40 = sext i8 %32 to i64
%41 = add i64 %39, -48
%42 = add i64 %41, %40
br label %59
43: ; preds = %35, %29
br i1 %26, label %44, label %63
44: ; preds = %43
%45 = call i64 @isascii(i8 signext %32)
%46 = icmp eq i64 %45, 0
br i1 %46, label %63, label %47
47: ; preds = %44
%48 = call i64 @isxdigit(i8 signext %32)
%49 = icmp eq i64 %48, 0
br i1 %49, label %63, label %50
50: ; preds = %47
%51 = shl i64 %31, 4
%52 = sext i8 %32 to i64
%53 = add nsw i64 %52, 10
%54 = call i64 @islower(i8 signext %32)
%55 = icmp eq i64 %54, 0
%56 = select i1 %55, i64 -65, i64 -97
%57 = add nsw i64 %53, %56
%58 = or i64 %57, %51
br label %59
59: ; preds = %50, %38
%60 = phi i64 [ %42, %38 ], [ %58, %50 ]
%61 = getelementptr inbounds i8, i8* %30, i64 1
%62 = load i8, i8* %61
br label %29
63: ; preds = %43, %44, %47
switch i8 %32, label %73 [
i8 46, label %64
i8 0, label %79
]
64: ; preds = %63
%65 = icmp ult i32* %13, %10
br i1 %65, label %66, label %136
66: ; preds = %64
%67 = trunc i64 %31 to i32
%68 = getelementptr inbounds i32, i32* %13, i64 1
store i32 %67, i32* %13
%69 = getelementptr inbounds i8, i8* %30, i64 1
%70 = load i8, i8* %69
%71 = call i64 @isdigit(i8 signext %70)
%72 = icmp eq i64 %71, 0
br i1 %72, label %136, label %11
73: ; preds = %63
%74 = call i64 @isascii(i8 signext %32)
%75 = icmp eq i64 %74, 0
br i1 %75, label %136, label %76
76: ; preds = %73
%77 = call i32 @isspace(i8 signext %32)
%78 = icmp eq i32 %77, 0
br i1 %78, label %136, label %79
79: ; preds = %63, %76
%80 = ptrtoint i32* %13 to i64
%81 = ptrtoint [4 x i32]* %3 to i64
%82 = sub i64 %80, %81
%83 = lshr exact i64 %82, 2
%84 = trunc i64 %83 to i32
switch i32 %84, label %130 [
i32 -1, label %136
i32 3, label %109
i32 1, label %85
i32 2, label %94
]
85: ; preds = %79
%86 = icmp ugt i64 %31, 16777215
%87 = load i32, i32* %5
%88 = icmp ugt i32 %87, 255
%89 = select i1 %86, i1 true, i1 %88
br i1 %89, label %136, label %90
90: ; preds = %85
%91 = shl nuw i32 %87, 24
%92 = zext i32 %91 to i64
%93 = or i64 %31, %92
br label %130
94: ; preds = %79
%95 = icmp ugt i64 %31, 65535
%96 = load i32, i32* %5
%97 = icmp ugt i32 %96, 255
%98 = select i1 %95, i1 true, i1 %97
%99 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 1
%100 = load i32, i32* %99
%101 = icmp ugt i32 %100, 255
%102 = select i1 %98, i1 true, i1 %101
br i1 %102, label %136, label %103
103: ; preds = %94
%104 = shl nuw i32 %96, 24
%105 = shl nuw nsw i32 %100, 16
%106 = or i32 %105, %104
%107 = zext i32 %106 to i64
%108 = or i64 %31, %107
br label %130
109: ; preds = %79
%110 = icmp ugt i64 %31, 255
%111 = load i32, i32* %5
%112 = icmp ugt i32 %111, 255
%113 = select i1 %110, i1 true, i1 %112
%114 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 1
%115 = load i32, i32* %114
%116 = icmp ugt i32 %115, 255
%117 = select i1 %113, i1 true, i1 %116
%118 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 2
%119 = load i32, i32* %118
%120 = icmp ugt i32 %119, 255
%121 = select i1 %117, i1 true, i1 %120
br i1 %121, label %136, label %122
122: ; preds = %109
%123 = shl nuw i32 %111, 24
%124 = shl nuw nsw i32 %115, 16
%125 = or i32 %124, %123
%126 = shl nuw nsw i32 %119, 8
%127 = or i32 %125, %126
%128 = zext i32 %127 to i64
%129 = or i64 %31, %128
br label %130
130: ; preds = %79, %122, %103, %90
%131 = phi i64 [ %31, %79 ], [ %108, %103 ], [ %93, %90 ], [ %129, %122 ]
%132 = icmp eq %struct.in_addr* %1, null
br i1 %132, label %136, label %133
133: ; preds = %130
%134 = call i32 @htonl(i64 %131)
%135 = getelementptr inbounds %struct.in_addr, %struct.in_addr* %1, i64 0, i32 0
store i32 %134, i32* %135
br label %136
136: ; preds = %66, %64, %2, %130, %133, %109, %94, %85, %79, %73, %76
%137 = phi i32 [ 0, %76 ], [ 0, %73 ], [ 0, %79 ], [ 0, %85 ], [ 0, %94 ], [ 0, %109 ], [ 1, %133 ], [ 1, %130 ], [ 0, %2 ], [ 0, %64 ], [ 0, %66 ]
ret i32 %137
}