#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 uint32_t;
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;
  register int base, n;
  register char c;
  uint32_t parts[4];
  register uint32_t *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)
      return (0);
    val |= parts[0] << 24;
    break;
  case 3:
    if (val > 0xffff)
      return (0);
    val |= (parts[0] << 24) | (parts[1] << 16);
    break;
  case 4:
    if (val > 0xff)
      return (0);
    val |= (parts[0] << 24) | (parts[1] << 16) | (parts[2] << 8);
    break;
  }
  if (addr != NULL)
    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    14a7 <inet_aton+0x347>
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    14a7 <inet_aton+0x347>
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    14a7 <inet_aton+0x347>
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     1485 <inet_aton+0x325>
mov    -0x58(%rbp),%rax
lea    0xc26(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movl   $0x0,-0x4(%rbp)
jmp    14a7 <inet_aton+0x347>
jmp    1485 <inet_aton+0x325>
cmpl   $0xffffff,-0x1c(%rbp)
jle    140d <inet_aton+0x2ad>
movl   $0x0,-0x4(%rbp)
jmp    14a7 <inet_aton+0x347>
mov    -0x40(%rbp),%eax
shl    $0x18,%eax
or     -0x1c(%rbp),%eax
mov    %eax,-0x1c(%rbp)
jmp    1485 <inet_aton+0x325>
cmpl   $0xffff,-0x1c(%rbp)
jle    1437 <inet_aton+0x2d7>
movl   $0x0,-0x4(%rbp)
jmp    14a7 <inet_aton+0x347>
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    1485 <inet_aton+0x325>
cmpl   $0xff,-0x1c(%rbp)
jle    1469 <inet_aton+0x309>
movl   $0x0,-0x4(%rbp)
jmp    14a7 <inet_aton+0x347>
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     14a0 <inet_aton+0x340>
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     1384 <inet_aton+0x224>
xor    %ebx,%ebx
lea    0xce4(%rip),%rax
movslq (%rax,%r14,4),%rcx
add    %rax,%rcx
jmp    *%rcx
cmp    $0xffffff,%r15d
jg     12c9 <inet_aton+0x169>
mov    0x10(%rsp),%eax
shl    $0x18,%eax
or     %r15d,%eax
jmp    1381 <inet_aton+0x221>
cmp    $0xffff,%r15d
jg     12c9 <inet_aton+0x169>
mov    0x10(%rsp),%eax
mov    0x14(%rsp),%ecx
shl    $0x18,%eax
shl    $0x10,%ecx
or     %r15d,%eax
or     %ecx,%eax
jmp    1381 <inet_aton+0x221>
cmp    $0xff,%r15d
jg     12c9 <inet_aton+0x169>
mov    0x10(%rsp),%eax
mov    0x14(%rsp),%ecx
shl    $0x18,%eax
shl    $0x10,%ecx
mov    0x18(%rsp),%edx
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 %186
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 %186
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 %186
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 %177 [
i32 0, label %133
i32 1, label %134
i32 2, label %135
i32 3, label %145
i32 4, label %159
]
133: ; preds = %123
store i32 0, i32* %3
br label %186
134: ; preds = %123
br label %177
135: ; preds = %123
%136 = load i32, i32* %6
%137 = icmp sgt i32 %136, 16777215
br i1 %137, label %138, label %139
138: ; preds = %135
store i32 0, i32* %3
br label %186
139: ; preds = %135
%140 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%141 = load i32, i32* %140
%142 = shl i32 %141, 24
%143 = load i32, i32* %6
%144 = or i32 %143, %142
store i32 %144, i32* %6
br label %177
145: ; preds = %123
%146 = load i32, i32* %6
%147 = icmp sgt i32 %146, 65535
br i1 %147, label %148, label %149
148: ; preds = %145
store i32 0, i32* %3
br label %186
149: ; preds = %145
%150 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%151 = load i32, i32* %150
%152 = shl i32 %151, 24
%153 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
%154 = load i32, i32* %153
%155 = shl i32 %154, 16
%156 = or i32 %152, %155
%157 = load i32, i32* %6
%158 = or i32 %157, %156
store i32 %158, i32* %6
br label %177
159: ; preds = %123
%160 = load i32, i32* %6
%161 = icmp sgt i32 %160, 255
br i1 %161, label %162, label %163
162: ; preds = %159
store i32 0, i32* %3
br label %186
163: ; preds = %159
%164 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 0
%165 = load i32, i32* %164
%166 = shl i32 %165, 24
%167 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 1
%168 = load i32, i32* %167
%169 = shl i32 %168, 16
%170 = or i32 %166, %169
%171 = getelementptr inbounds [4 x i32], [4 x i32]* %10, i64 0, i64 2
%172 = load i32, i32* %171
%173 = shl i32 %172, 8
%174 = or i32 %170, %173
%175 = load i32, i32* %6
%176 = or i32 %175, %174
store i32 %176, i32* %6
br label %177
177: ; preds = %123, %163, %149, %139, %134
%178 = load %struct.in_addr*, %struct.in_addr** %5
%179 = icmp ne %struct.in_addr* %178, null
br i1 %179, label %180, label %185
180: ; preds = %177
%181 = load i32, i32* %6
%182 = call i32 @htonl(i32 %181)
%183 = load %struct.in_addr*, %struct.in_addr** %5
%184 = getelementptr inbounds %struct.in_addr, %struct.in_addr* %183, i32 0, i32 0
store i32 %182, i32* %184
br label %185
185: ; preds = %180, %177
store i32 1, i32* %3
br label %186
186: ; preds = %185, %162, %148, %138, %133, %122, %100, %19
%187 = load i32, i32* %3
ret i32 %187
}

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 %120, 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 %120
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 %120, label %11
72: ; preds = %63
%73 = call i64 @isascii(i8 zeroext %32)
%74 = icmp eq i64 %73, 0
br i1 %74, label %120, label %75
75: ; preds = %72
%76 = call i32 @isspace(i8 zeroext %32)
%77 = icmp eq i32 %76, 0
br i1 %77, label %120, 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 %114 [
i32 -1, label %120
i32 3, label %100
i32 1, label %84
i32 2, label %90
]
84: ; preds = %78
%85 = icmp sgt i32 %31, 16777215
br i1 %85, label %120, label %86
86: ; preds = %84
%87 = load i32, i32* %5
%88 = shl i32 %87, 24
%89 = or i32 %88, %31
br label %114
90: ; preds = %78
%91 = icmp sgt i32 %31, 65535
br i1 %91, label %120, label %92
92: ; preds = %90
%93 = load i32, i32* %5
%94 = shl i32 %93, 24
%95 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 1
%96 = load i32, i32* %95
%97 = shl i32 %96, 16
%98 = or i32 %94, %31
%99 = or i32 %98, %97
br label %114
100: ; preds = %78
%101 = icmp sgt i32 %31, 255
br i1 %101, label %120, label %102
102: ; preds = %100
%103 = load i32, i32* %5
%104 = shl i32 %103, 24
%105 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 1
%106 = load i32, i32* %105
%107 = shl i32 %106, 16
%108 = getelementptr inbounds [4 x i32], [4 x i32]* %3, i64 0, i64 2
%109 = load i32, i32* %108
%110 = shl i32 %109, 8
%111 = or i32 %104, %31
%112 = or i32 %111, %107
%113 = or i32 %112, %110
br label %114
114: ; preds = %78, %102, %92, %86
%115 = phi i32 [ %31, %78 ], [ %99, %92 ], [ %89, %86 ], [ %113, %102 ]
%116 = icmp eq %struct.in_addr* %1, null
br i1 %116, label %120, label %117
117: ; preds = %114
%118 = call i32 @htonl(i32 %115)
%119 = getelementptr inbounds %struct.in_addr, %struct.in_addr* %1, i64 0, i32 0
store i32 %118, i32* %119
br label %120
120: ; preds = %66, %64, %2, %114, %117, %100, %90, %84, %78, %72, %75
%121 = phi i32 [ 0, %75 ], [ 0, %72 ], [ 0, %78 ], [ 0, %84 ], [ 0, %90 ], [ 0, %100 ], [ 1, %117 ], [ 1, %114 ], [ 0, %2 ], [ 0, %64 ], [ 0, %66 ]
ret i32 %121
}