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

/* Variables and functions */
int /*<<< orphan*/ htonl(int);
scalar_t__ isascii(unsigned char);
scalar_t__ isdigit(unsigned char);
scalar_t__ islower(unsigned char);
int /*<<< orphan*/ isspace(unsigned char);
scalar_t__ isxdigit(unsigned char);
int inet_aton(const char *cp, struct in_addr *addr) {
  in_addr_t val;
  int base, n;
  char c;
  u_int parts[4];
  u_int *pp = parts;
  c = *cp;
  for (;;) {
    if (!isdigit((unsigned char)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((unsigned char)c) && isdigit((unsigned char)c)) {
        val = (val * base) + (c - '0');
        c = *++cp;
      } else if (base == 16 && isascii((unsigned char)c) &&
                 isxdigit((unsigned char)c)) {
        val = (val << 4) | (c + 10 - (islower((unsigned char)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((unsigned char)c) || !isspace((unsigned char)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,-0x25(%rbp)
movzbl -0x25(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    11a0 <inet_aton+0x40>
movl   $0x0,-0x4(%rbp)
jmp    14f5 <inet_aton+0x395>
movl   $0x0,-0x1c(%rbp)
movl   $0xa,-0x20(%rbp)
movsbl -0x25(%rbp),%eax
cmp    $0x30,%eax
jne    1217 <inet_aton+0xb7>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x25(%rbp)
movsbl -0x25(%rbp),%eax
cmp    $0x78,%eax
je     11ea <inet_aton+0x8a>
movsbl -0x25(%rbp),%eax
cmp    $0x58,%eax
jne    120b <inet_aton+0xab>
movl   $0x10,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x25(%rbp)
jmp    1212 <inet_aton+0xb2>
movl   $0x8,-0x20(%rbp)
jmp    1217 <inet_aton+0xb7>
jmp    121c <inet_aton+0xbc>
movzbl -0x25(%rbp),%edi
call   1070 <isascii@plt>
cmp    $0x0,%rax
je     126f <inet_aton+0x10f>
movzbl -0x25(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     126f <inet_aton+0x10f>
mov    -0x1c(%rbp),%eax
imul   -0x20(%rbp),%eax
movsbl -0x25(%rbp),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x25(%rbp)
jmp    1300 <inet_aton+0x1a0>
cmpl   $0x10,-0x20(%rbp)
jne    12f6 <inet_aton+0x196>
movzbl -0x25(%rbp),%edi
call   1070 <isascii@plt>
cmp    $0x0,%rax
je     12f6 <inet_aton+0x196>
movzbl -0x25(%rbp),%edi
call   1080 <isxdigit@plt>
cmp    $0x0,%rax
je     12f6 <inet_aton+0x196>
mov    -0x1c(%rbp),%eax
shl    $0x4,%eax
mov    %eax,-0x4c(%rbp)
movsbl -0x25(%rbp),%eax
add    $0xa,%eax
mov    %eax,-0x50(%rbp)
movzbl -0x25(%rbp),%edi
call   1040 <islower@plt>
mov    -0x50(%rbp),%ecx
mov    %rax,%rdi
mov    -0x4c(%rbp),%eax
mov    $0x41,%edx
mov    $0x61,%esi
cmp    $0x0,%rdi
cmovne %esi,%edx
sub    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x25(%rbp)
jmp    12fb <inet_aton+0x19b>
jmp    1305 <inet_aton+0x1a5>
jmp    1300 <inet_aton+0x1a0>
jmp    121c <inet_aton+0xbc>
movsbl -0x25(%rbp),%eax
cmp    $0x2e,%eax
jne    1361 <inet_aton+0x201>
mov    -0x48(%rbp),%rax
lea    -0x40(%rbp),%rcx
add    $0xc,%rcx
cmp    %rcx,%rax
jb     1333 <inet_aton+0x1d3>
movl   $0x0,-0x4(%rbp)
jmp    14f5 <inet_aton+0x395>
mov    -0x1c(%rbp),%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,-0x25(%rbp)
jmp    1366 <inet_aton+0x206>
jmp    136b <inet_aton+0x20b>
jmp    1181 <inet_aton+0x21>
movsbl -0x25(%rbp),%eax
cmp    $0x0,%eax
je     13a9 <inet_aton+0x249>
movzbl -0x25(%rbp),%edi
call   1070 <isascii@plt>
cmp    $0x0,%rax
je     139d <inet_aton+0x23d>
movzbl -0x25(%rbp),%edi
call   1060 <isspace@plt>
cmp    $0x0,%eax
jne    13a9 <inet_aton+0x249>
movl   $0x0,-0x4(%rbp)
jmp    14f5 <inet_aton+0x395>
mov    -0x48(%rbp),%rax
lea    -0x40(%rbp),%rcx
sub    %rcx,%rax
shr    $0x2,%rax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    %rax,-0x58(%rbp)
sub    $0x4,%rax
ja     14d3 <inet_aton+0x373>
mov    -0x58(%rbp),%rax
lea    0xc26(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movl   $0x0,-0x4(%rbp)
jmp    14f5 <inet_aton+0x395>
jmp    14d3 <inet_aton+0x373>
cmpl   $0xffffff,-0x1c(%rbp)
jg     140e <inet_aton+0x2ae>
cmpl   $0xff,-0x40(%rbp)
jle    141a <inet_aton+0x2ba>
movl   $0x0,-0x4(%rbp)
jmp    14f5 <inet_aton+0x395>
mov    -0x40(%rbp),%eax
shl    $0x18,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    14d3 <inet_aton+0x373>
cmpl   $0xffff,-0x1c(%rbp)
jg     1452 <inet_aton+0x2f2>
cmpl   $0xff,-0x40(%rbp)
jg     1452 <inet_aton+0x2f2>
cmpl   $0xff,-0x3c(%rbp)
jle    145e <inet_aton+0x2fe>
movl   $0x0,-0x4(%rbp)
jmp    14f5 <inet_aton+0x395>
mov    -0x40(%rbp),%eax
shl    $0x18,%eax
mov    -0x3c(%rbp),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    14d3 <inet_aton+0x373>
cmpl   $0xff,-0x1c(%rbp)
jg     14ab <inet_aton+0x34b>
cmpl   $0xff,-0x40(%rbp)
jg     14ab <inet_aton+0x34b>
cmpl   $0xff,-0x3c(%rbp)
jg     14ab <inet_aton+0x34b>
cmpl   $0xff,-0x38(%rbp)
jle    14b7 <inet_aton+0x357>
movl   $0x0,-0x4(%rbp)
jmp    14f5 <inet_aton+0x395>
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
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     14ee <inet_aton+0x38e>
mov    -0x1c(%rbp),%edi
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    $0x38,%rsp
mov    %rsi,%rbx
mov    %rdi,%r12
mov    (%rdi),%r14b
movzbl %r14b,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     12c7 <inet_aton+0x167>
mov    %rbx,0x30(%rsp)
lea    0x10(%rsp),%rbp
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
xor    %r15d,%r15d
cmp    $0x30,%r14b
mov    %rbp,0x28(%rsp)
jne    11e0 <inet_aton+0x80>
mov    0x1(%r12),%r14b
mov    %r14d,%eax
and    $0xdf,%al
cmp    $0x58,%al
jne    11f0 <inet_aton+0x90>
mov    0x2(%r12),%r14b
add    $0x2,%r12
movl   $0x10,0xc(%rsp)
mov    $0x1,%r13b
jmp    1226 <inet_aton+0xc6>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movl   $0xa,0xc(%rsp)
xor    %r13d,%r13d
jmp    1226 <inet_aton+0xc6>
nopl   (%rax)
add    $0x1,%r12
movl   $0x8,0xc(%rsp)
xor    %r13d,%r13d
jmp    1226 <inet_aton+0xc6>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
imul   0xc(%rsp),%r15d
movsbl %r14b,%eax
add    %eax,%r15d
add    $0xffffffd0,%r15d
movzbl (%r12),%r14d
add    $0x1,%r12
movzbl %r14b,%ebp
mov    %ebp,%edi
call   1070 <isascii@plt>
test   %rax,%rax
je     1246 <inet_aton+0xe6>
mov    %ebp,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1210 <inet_aton+0xb0>
test   %r13b,%r13b
je     1290 <inet_aton+0x130>
mov    %ebp,%edi
call   1070 <isascii@plt>
test   %rax,%rax
je     1290 <inet_aton+0x130>
mov    %ebp,%edi
call   1080 <isxdigit@plt>
test   %rax,%rax
je     1290 <inet_aton+0x130>
shl    $0x4,%r15d
movsbl %r14b,%ebx
mov    %ebp,%edi
call   1040 <islower@plt>
xor    %ecx,%ecx
test   %rax,%rax
sete   %cl
shl    $0x5,%ecx
lea    (%rcx,%rbx,1),%eax
add    $0xffffffa9,%eax
or     %r15d,%eax
mov    %eax,%r15d
movzbl (%r12),%r14d
jmp    1226 <inet_aton+0xc6>
cmp    $0x2e,%r14b
jne    12da <inet_aton+0x17a>
xor    %ebx,%ebx
mov    0x28(%rsp),%rbp
lea    0x1c(%rsp),%rax
cmp    %rax,%rbp
jae    12c9 <inet_aton+0x169>
mov    %r15d,0x0(%rbp)
add    $0x4,%rbp
mov    (%r12),%r14b
movzbl %r14b,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    11a0 <inet_aton+0x40>
jmp    12c9 <inet_aton+0x169>
xor    %ebx,%ebx
mov    %ebx,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %r14b,%r14b
mov    0x28(%rsp),%r14
je     12fd <inet_aton+0x19d>
mov    %ebp,%edi
call   1070 <isascii@plt>
xor    %ebx,%ebx
test   %rax,%rax
je     12c9 <inet_aton+0x169>
mov    %ebp,%edi
call   1060 <isspace@plt>
test   %eax,%eax
je     12c9 <inet_aton+0x169>
lea    0x10(%rsp),%rax
sub    %rax,%r14
shr    $0x2,%r14
add    $0x1,%r14d
cmp    $0x4,%r14d
ja     13d0 <inet_aton+0x270>
xor    %ebx,%ebx
lea    0xce0(%rip),%rax
movslq (%rax,%r14,4),%rcx
add    %rax,%rcx
jmp    *%rcx
cmp    $0xffffff,%r15d
jg     12c9 <inet_aton+0x169>
mov    0x10(%rsp),%eax
cmp    $0xff,%eax
jg     12c9 <inet_aton+0x169>
shl    $0x18,%eax
or     %r15d,%eax
jmp    13cd <inet_aton+0x26d>
cmp    $0xffff,%r15d
jg     12c9 <inet_aton+0x169>
mov    0x10(%rsp),%eax
cmp    $0xff,%eax
jg     12c9 <inet_aton+0x169>
mov    0x14(%rsp),%ecx
cmp    $0xff,%ecx
jg     12c9 <inet_aton+0x169>
shl    $0x18,%eax
shl    $0x10,%ecx
or     %r15d,%eax
or     %ecx,%eax
jmp    13cd <inet_aton+0x26d>
cmp    $0xff,%r15d
jg     12c9 <inet_aton+0x169>
mov    0x10(%rsp),%eax
cmp    $0xff,%eax
jg     12c9 <inet_aton+0x169>
mov    0x14(%rsp),%ecx
cmp    $0xff,%ecx
jg     12c9 <inet_aton+0x169>
mov    0x18(%rsp),%edx
cmp    $0xff,%edx
jg     12c9 <inet_aton+0x169>
shl    $0x18,%eax
shl    $0x10,%ecx
shl    $0x8,%edx
or     %ecx,%edx
or     %r15d,%eax
or     %edx,%eax
mov    %eax,%r15d
mov    $0x1,%ebx
mov    0x30(%rsp),%rbp
test   %rbp,%rbp
je     12c9 <inet_aton+0x169>
mov    %r15d,%edi
call   1050 <htonl@plt>
mov    %eax,0x0(%rbp)
jmp    12c9 <inet_aton+0x169>

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

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