#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 uint8_t;
typedef int uint32_t;

/* Variables and functions */
scalar_t__ isascii(char);
scalar_t__ isdigit(char);
scalar_t__ islower(char);
int /*<<< orphan*/ isspace(char);
scalar_t__ isxdigit(char);
uint32_t inet_aton(const char *cp) {
  uint32_t val;
  uint8_t base, n;
  char c;
  uint32_t parts[4];
  uint32_t *pp = parts;
  c = *cp;
  for (;;) {
    if (!isdigit(c))
      return false;
    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 false;
      *pp++ = val;
      c = *++cp;
    } else
      break;
  }
  if (c != '\0' && (!isascii(c) || !isspace(c)))
    return false;
  n = pp - parts + 1;
  switch (n) {
  case 0:
    return false;
  case 1:
    break;
  case 2:
    if ((val > 0xffffff) || (parts[0] > 0xff))
      return false;
    val |= parts[0] << 24;
    break;
  case 3:
    if ((val > 0xffff) || (parts[0] > 0xff) || (parts[1] > 0xff))
      return false;
    val |= (parts[0] << 24) | (parts[1] << 16);
    break;
  case 4:
    if ((val > 0xff) || (parts[0] > 0xff) || (parts[1] > 0xff) ||
        (parts[2] > 0xff))
      return false;
    val |= (parts[0] << 24) | (parts[1] << 16) | (parts[2] << 8);
    break;
  }
  return (val);
}


x86 assembly (clang, -O0):
<inet_aton>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
lea    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x1d(%rbp)
movsbl -0x1d(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    118c <inet_aton+0x3c>
movl   $0x0,-0x4(%rbp)
jmp    14c5 <inet_aton+0x375>
movl   $0x0,-0x14(%rbp)
movl   $0xa,-0x18(%rbp)
movsbl -0x1d(%rbp),%eax
cmp    $0x30,%eax
jne    1203 <inet_aton+0xb3>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x1d(%rbp)
movsbl -0x1d(%rbp),%eax
cmp    $0x78,%eax
je     11d6 <inet_aton+0x86>
movsbl -0x1d(%rbp),%eax
cmp    $0x58,%eax
jne    11f7 <inet_aton+0xa7>
movl   $0x10,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x1d(%rbp)
jmp    11fe <inet_aton+0xae>
movl   $0x8,-0x18(%rbp)
jmp    1203 <inet_aton+0xb3>
jmp    1208 <inet_aton+0xb8>
movsbl -0x1d(%rbp),%edi
call   1060 <isascii@plt>
cmp    $0x0,%rax
je     125b <inet_aton+0x10b>
movsbl -0x1d(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     125b <inet_aton+0x10b>
mov    -0x14(%rbp),%eax
imul   -0x18(%rbp),%eax
movsbl -0x1d(%rbp),%ecx
sub    $0x30,%ecx
add    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x1d(%rbp)
jmp    12ec <inet_aton+0x19c>
cmpl   $0x10,-0x18(%rbp)
jne    12e2 <inet_aton+0x192>
movsbl -0x1d(%rbp),%edi
call   1060 <isascii@plt>
cmp    $0x0,%rax
je     12e2 <inet_aton+0x192>
movsbl -0x1d(%rbp),%edi
call   1070 <isxdigit@plt>
cmp    $0x0,%rax
je     12e2 <inet_aton+0x192>
mov    -0x14(%rbp),%eax
shl    $0x4,%eax
mov    %eax,-0x3c(%rbp)
movsbl -0x1d(%rbp),%eax
add    $0xa,%eax
mov    %eax,-0x40(%rbp)
movsbl -0x1d(%rbp),%edi
call   1040 <islower@plt>
mov    -0x40(%rbp),%ecx
mov    %rax,%rdi
mov    -0x3c(%rbp),%eax
mov    $0x41,%edx
mov    $0x61,%esi
cmp    $0x0,%rdi
cmovne %esi,%edx
sub    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x1d(%rbp)
jmp    12e7 <inet_aton+0x197>
jmp    12f1 <inet_aton+0x1a1>
jmp    12ec <inet_aton+0x19c>
jmp    1208 <inet_aton+0xb8>
movsbl -0x1d(%rbp),%eax
cmp    $0x2e,%eax
jne    134d <inet_aton+0x1fd>
mov    -0x38(%rbp),%rax
lea    -0x30(%rbp),%rcx
add    $0xc,%rcx
cmp    %rcx,%rax
jb     131f <inet_aton+0x1cf>
movl   $0x0,-0x4(%rbp)
jmp    14c5 <inet_aton+0x375>
mov    -0x14(%rbp),%ecx
mov    -0x38(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x38(%rbp)
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    0x1(%rax),%al
mov    %al,-0x1d(%rbp)
jmp    1352 <inet_aton+0x202>
jmp    1357 <inet_aton+0x207>
jmp    116d <inet_aton+0x1d>
movsbl -0x1d(%rbp),%eax
cmp    $0x0,%eax
je     1395 <inet_aton+0x245>
movsbl -0x1d(%rbp),%edi
call   1060 <isascii@plt>
cmp    $0x0,%rax
je     1389 <inet_aton+0x239>
movsbl -0x1d(%rbp),%edi
call   1050 <isspace@plt>
cmp    $0x0,%eax
jne    1395 <inet_aton+0x245>
movl   $0x0,-0x4(%rbp)
jmp    14c5 <inet_aton+0x375>
mov    -0x38(%rbp),%rax
lea    -0x30(%rbp),%rcx
sub    %rcx,%rax
shr    $0x2,%rax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %rax,-0x48(%rbp)
sub    $0x4,%rax
ja     14bf <inet_aton+0x36f>
mov    -0x48(%rbp),%rax
lea    0xc3a(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movl   $0x0,-0x4(%rbp)
jmp    14c5 <inet_aton+0x375>
jmp    14bf <inet_aton+0x36f>
cmpl   $0xffffff,-0x14(%rbp)
jg     13fa <inet_aton+0x2aa>
cmpl   $0xff,-0x30(%rbp)
jle    1406 <inet_aton+0x2b6>
movl   $0x0,-0x4(%rbp)
jmp    14c5 <inet_aton+0x375>
mov    -0x30(%rbp),%eax
shl    $0x18,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    14bf <inet_aton+0x36f>
cmpl   $0xffff,-0x14(%rbp)
jg     143e <inet_aton+0x2ee>
cmpl   $0xff,-0x30(%rbp)
jg     143e <inet_aton+0x2ee>
cmpl   $0xff,-0x2c(%rbp)
jle    144a <inet_aton+0x2fa>
movl   $0x0,-0x4(%rbp)
jmp    14c5 <inet_aton+0x375>
mov    -0x30(%rbp),%eax
shl    $0x18,%eax
mov    -0x2c(%rbp),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
jmp    14bf <inet_aton+0x36f>
cmpl   $0xff,-0x14(%rbp)
jg     1497 <inet_aton+0x347>
cmpl   $0xff,-0x30(%rbp)
jg     1497 <inet_aton+0x347>
cmpl   $0xff,-0x2c(%rbp)
jg     1497 <inet_aton+0x347>
cmpl   $0xff,-0x28(%rbp)
jle    14a3 <inet_aton+0x353>
movl   $0x0,-0x4(%rbp)
jmp    14c5 <inet_aton+0x375>
mov    -0x30(%rbp),%eax
shl    $0x18,%eax
mov    -0x2c(%rbp),%ecx
shl    $0x10,%ecx
or     %ecx,%eax
mov    -0x28(%rbp),%ecx
shl    $0x8,%ecx
or     %ecx,%eax
or     -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<inet_aton>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,%rbx
mov    (%rdi),%r13b
movsbl %r13b,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     128e <inet_aton+0x13e>
mov    %rsp,%rbp
nopl   0x0(%rax)
xor    %r15d,%r15d
cmp    $0x30,%r13b
mov    %rbp,0x10(%rsp)
jne    11b0 <inet_aton+0x60>
mov    0x1(%rbx),%r13b
mov    %r13d,%eax
and    $0xdf,%al
cmp    $0x58,%al
jne    11c0 <inet_aton+0x70>
mov    0x2(%rbx),%r13b
add    $0x2,%rbx
mov    $0x10,%r14d
mov    $0x1,%r12b
jmp    11df <inet_aton+0x8f>
xchg   %ax,%ax
mov    $0xa,%r14d
xor    %r12d,%r12d
jmp    11df <inet_aton+0x8f>
nopl   0x0(%rax,%rax,1)
add    $0x1,%rbx
mov    $0x8,%r14d
xor    %r12d,%r12d
jmp    11df <inet_aton+0x8f>
nop
imul   %r14d,%r15d
add    %ebp,%r15d
add    $0xffffffd0,%r15d
movzbl (%rbx),%r13d
add    $0x1,%rbx
movsbl %r13b,%ebp
mov    %ebp,%edi
call   1060 <isascii@plt>
test   %rax,%rax
je     11ff <inet_aton+0xaf>
mov    %ebp,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    11d0 <inet_aton+0x80>
test   %r12b,%r12b
je     1250 <inet_aton+0x100>
mov    %ebp,%edi
call   1060 <isascii@plt>
test   %rax,%rax
je     1250 <inet_aton+0x100>
mov    %ebp,%edi
call   1070 <isxdigit@plt>
test   %rax,%rax
je     1250 <inet_aton+0x100>
shl    $0x4,%r15d
mov    %ebp,%edi
call   1040 <islower@plt>
xor    %ecx,%ecx
test   %rax,%rax
sete   %cl
shl    $0x5,%ecx
lea    (%rcx,%rbp,1),%eax
add    $0xffffffa9,%eax
or     %r15d,%eax
mov    %eax,%r15d
movzbl (%rbx),%r13d
jmp    11df <inet_aton+0x8f>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    $0x2e,%r13b
jne    1296 <inet_aton+0x146>
xor    %r14d,%r14d
mov    0x10(%rsp),%rbp
lea    0xc(%rsp),%rax
cmp    %rax,%rbp
jae    1373 <inet_aton+0x223>
mov    %r15d,0x0(%rbp)
add    $0x4,%rbp
mov    (%rbx),%r13b
movsbl %r13b,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1180 <inet_aton+0x30>
jmp    1373 <inet_aton+0x223>
xor    %r14d,%r14d
jmp    1373 <inet_aton+0x223>
test   %r13b,%r13b
mov    0x10(%rsp),%rbx
je     12c2 <inet_aton+0x172>
mov    %ebp,%edi
call   1060 <isascii@plt>
xor    %r14d,%r14d
test   %rax,%rax
je     1373 <inet_aton+0x223>
mov    %ebp,%edi
call   1050 <isspace@plt>
test   %eax,%eax
je     1373 <inet_aton+0x223>
mov    %rsp,%rax
sub    %rax,%rbx
shr    $0x2,%rbx
add    $0x1,%ebx
cmp    $0x4,%ebx
ja     1370 <inet_aton+0x220>
xor    %r14d,%r14d
lea    0xd1e(%rip),%rax
movslq (%rax,%rbx,4),%rcx
add    %rax,%rcx
jmp    *%rcx
cmp    $0xffffff,%r15d
jg     1373 <inet_aton+0x223>
mov    (%rsp),%eax
cmp    $0xff,%eax
jg     1373 <inet_aton+0x223>
shl    $0x18,%eax
or     %r15d,%eax
jmp    136d <inet_aton+0x21d>
cmp    $0xffff,%r15d
jg     1373 <inet_aton+0x223>
mov    (%rsp),%eax
cmp    $0xff,%eax
jg     1373 <inet_aton+0x223>
mov    0x4(%rsp),%ecx
cmp    $0xff,%ecx
jg     1373 <inet_aton+0x223>
shl    $0x18,%eax
shl    $0x10,%ecx
or     %r15d,%eax
or     %ecx,%eax
jmp    136d <inet_aton+0x21d>
cmp    $0xff,%r15d
jg     1373 <inet_aton+0x223>
mov    (%rsp),%eax
cmp    $0xff,%eax
jg     1373 <inet_aton+0x223>
mov    0x4(%rsp),%ecx
cmp    $0xff,%ecx
jg     1373 <inet_aton+0x223>
mov    0x8(%rsp),%edx
cmp    $0xff,%edx
jg     1373 <inet_aton+0x223>
shl    $0x18,%eax
shl    $0x10,%ecx
shl    $0x8,%edx
or     %ecx,%edx
or     %r15d,%eax
or     %edx,%eax
mov    %eax,%r15d
mov    %r15d,%r14d
mov    %r14d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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