#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 dummy;
};

/* Variables and functions */
int /*<<< orphan*/ inet_aton(char *, struct in_addr *);
scalar_t__ isdigit(char);
scalar_t__ isspace(char);
int addrtok(char *buf, struct in_addr *addr, unsigned short *port) {
  char *p;
  int digits;
  unsigned int tmp = 0;
  p = buf;
  while ((*p != '\0') && (*p != ':'))
    p++;
  if (*p == ':')
    *p++ = 0;
  else
    return 0;
  if (!inet_aton(buf, addr))
    return 0;
  for (digits = 0; isdigit(*p); digits++, p++) {
    tmp *= 10;
    tmp += (*p - '0');
  }
  while (isspace(*p))
    p++;
  if (*p != '\0')
    return 0;
  if (digits < 1 || digits > 5)
    return 0;
  if (tmp < 1 || tmp > 65535)
    return 0;
  *port = (unsigned short)tmp;
  return 1;
}


x86 assembly (clang, -O0):
<addrtok>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x31(%rbp)
je     1178 <addrtok+0x48>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
setne  %al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    1188 <addrtok+0x58>
jmp    1199 <addrtok+0x69>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1153 <addrtok+0x23>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    11c0 <addrtok+0x90>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x0,(%rax)
jmp    11cc <addrtok+0x9c>
movl   $0x0,-0x4(%rbp)
jmp    12db <addrtok+0x1ab>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1050 <inet_aton@plt>
cmp    $0x0,%eax
jne    11ee <addrtok+0xbe>
movl   $0x0,-0x4(%rbp)
jmp    12db <addrtok+0x1ab>
movl   $0x0,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     123c <addrtok+0x10c>
imul   $0xa,-0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
add    -0x30(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    11f5 <addrtok+0xc5>
jmp    1241 <addrtok+0x111>
mov    -0x28(%rbp),%rax
movsbl (%rax),%edi
call   1040 <isspace@plt>
cmp    $0x0,%rax
je     1268 <addrtok+0x138>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1241 <addrtok+0x111>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1284 <addrtok+0x154>
movl   $0x0,-0x4(%rbp)
jmp    12db <addrtok+0x1ab>
cmpl   $0x1,-0x2c(%rbp)
jl     1298 <addrtok+0x168>
cmpl   $0x5,-0x2c(%rbp)
jle    12a4 <addrtok+0x174>
movl   $0x0,-0x4(%rbp)
jmp    12db <addrtok+0x1ab>
cmpl   $0x1,-0x30(%rbp)
jb     12bb <addrtok+0x18b>
cmpl   $0xffff,-0x30(%rbp)
jbe    12c7 <addrtok+0x197>
movl   $0x0,-0x4(%rbp)
jmp    12db <addrtok+0x1ab>
mov    -0x30(%rbp),%eax
mov    %ax,%cx
mov    -0x20(%rbp),%rax
mov    %cx,(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<addrtok>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rdx,%r14
lea    0x1(%rdi),%rbx
xchg   %ax,%ax
movzbl -0x1(%rbx),%eax
test   %al,%al
je     11e8 <addrtok+0xb8>
cmp    $0x3a,%al
je     1156 <addrtok+0x26>
add    $0x1,%rbx
jmp    1140 <addrtok+0x10>
movb   $0x0,-0x1(%rbx)
call   1050 <inet_aton@plt>
test   %eax,%eax
je     11e8 <addrtok+0xb8>
movsbl (%rbx),%edi
call   1030 <isdigit@plt>
xor    %r15d,%r15d
mov    $0xfffffffa,%ebp
test   %rax,%rax
je     11b0 <addrtok+0x80>
nopl   0x0(%rax)
lea    (%r15,%r15,4),%eax
movsbl (%rbx),%ecx
lea    (%rcx,%rax,2),%r15d
add    $0xffffffd0,%r15d
movsbl 0x1(%rbx),%edi
add    $0x1,%rbx
call   1030 <isdigit@plt>
add    $0x1,%ebp
test   %rax,%rax
jne    1180 <addrtok+0x50>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsbl (%rbx),%edi
call   1040 <isspace@plt>
add    $0x1,%rbx
test   %rax,%rax
jne    11b0 <addrtok+0x80>
xor    %eax,%eax
cmpb   $0x0,-0x1(%rbx)
jne    11ea <addrtok+0xba>
cmp    $0xfffffffb,%ebp
jb     11ea <addrtok+0xba>
lea    -0x10000(%r15),%ecx
cmp    $0xffff0001,%ecx
jb     11ea <addrtok+0xba>
mov    %r15w,(%r14)
mov    $0x1,%eax
jmp    11ea <addrtok+0xba>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.in_addr = type { i32 }
define i32 @addrtok(i8* %0, %struct.in_addr* %1, i16* %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca %struct.in_addr*
%7 = alloca i16*
%8 = alloca i8*
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %5
store %struct.in_addr* %1, %struct.in_addr** %6
store i16* %2, i16** %7
store i32 0, i32* %10
%11 = load i8*, i8** %5
store i8* %11, i8** %8
br label %12
12: ; preds = %24, %3
%13 = load i8*, i8** %8
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp ne i32 %15, 0
br i1 %16, label %17, label %22
17: ; preds = %12
%18 = load i8*, i8** %8
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = icmp ne i32 %20, 58
br label %22
22: ; preds = %17, %12
%23 = phi i1 [ false, %12 ], [ %21, %17 ]
br i1 %23, label %24, label %27
24: ; preds = %22
%25 = load i8*, i8** %8
%26 = getelementptr inbounds i8, i8* %25, i32 1
store i8* %26, i8** %8
br label %12
27: ; preds = %22
%28 = load i8*, i8** %8
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 58
br i1 %31, label %32, label %35
32: ; preds = %27
%33 = load i8*, i8** %8
%34 = getelementptr inbounds i8, i8* %33, i32 1
store i8* %34, i8** %8
store i8 0, i8* %33
br label %36
35: ; preds = %27
store i32 0, i32* %4
br label %95
36: ; preds = %32
%37 = load i8*, i8** %5
%38 = load %struct.in_addr*, %struct.in_addr** %6
%39 = call i32 @inet_aton(i8* %37, %struct.in_addr* %38)
%40 = icmp ne i32 %39, 0
br i1 %40, label %42, label %41
41: ; preds = %36
store i32 0, i32* %4
br label %95
42: ; preds = %36
store i32 0, i32* %9
br label %43
43: ; preds = %57, %42
%44 = load i8*, i8** %8
%45 = load i8, i8* %44
%46 = call i64 @isdigit(i8 signext %45)
%47 = icmp ne i64 %46, 0
br i1 %47, label %48, label %62
48: ; preds = %43
%49 = load i32, i32* %10
%50 = mul i32 %49, 10
store i32 %50, i32* %10
%51 = load i8*, i8** %8
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = sub nsw i32 %53, 48
%55 = load i32, i32* %10
%56 = add i32 %55, %54
store i32 %56, i32* %10
br label %57
57: ; preds = %48
%58 = load i32, i32* %9
%59 = add nsw i32 %58, 1
store i32 %59, i32* %9
%60 = load i8*, i8** %8
%61 = getelementptr inbounds i8, i8* %60, i32 1
store i8* %61, i8** %8
br label %43
62: ; preds = %43
br label %63
63: ; preds = %68, %62
%64 = load i8*, i8** %8
%65 = load i8, i8* %64
%66 = call i64 @isspace(i8 signext %65)
%67 = icmp ne i64 %66, 0
br i1 %67, label %68, label %71
68: ; preds = %63
%69 = load i8*, i8** %8
%70 = getelementptr inbounds i8, i8* %69, i32 1
store i8* %70, i8** %8
br label %63
71: ; preds = %63
%72 = load i8*, i8** %8
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp ne i32 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %71
store i32 0, i32* %4
br label %95
77: ; preds = %71
%78 = load i32, i32* %9
%79 = icmp slt i32 %78, 1
br i1 %79, label %83, label %80
80: ; preds = %77
%81 = load i32, i32* %9
%82 = icmp sgt i32 %81, 5
br i1 %82, label %83, label %84
83: ; preds = %80, %77
store i32 0, i32* %4
br label %95
84: ; preds = %80
%85 = load i32, i32* %10
%86 = icmp ult i32 %85, 1
br i1 %86, label %90, label %87
87: ; preds = %84
%88 = load i32, i32* %10
%89 = icmp ugt i32 %88, 65535
br i1 %89, label %90, label %91
90: ; preds = %87, %84
store i32 0, i32* %4
br label %95
91: ; preds = %87
%92 = load i32, i32* %10
%93 = trunc i32 %92 to i16
%94 = load i16*, i16** %7
store i16 %93, i16* %94
store i32 1, i32* %4
br label %95
95: ; preds = %91, %90, %83, %76, %41, %35
%96 = load i32, i32* %4
ret i32 %96
}

LLVM IR (-O2):
%struct.in_addr = type { i32 }
define i32 @addrtok(i8* %0, %struct.in_addr* %1, i16* nocapture writeonly %2) {
br label %4
4: ; preds = %7, %3
%5 = phi i8* [ %0, %3 ], [ %8, %7 ]
%6 = load i8, i8* %5
switch i8 %6, label %7 [
i8 58, label %9
i8 0, label %53
]
7: ; preds = %4
%8 = getelementptr inbounds i8, i8* %5, i64 1
br label %4
9: ; preds = %4
store i8 0, i8* %5
%10 = tail call i32 @inet_aton(i8* %0, %struct.in_addr* %1)
%11 = icmp eq i32 %10, 0
br i1 %11, label %53, label %12
12: ; preds = %9
%13 = getelementptr inbounds i8, i8* %5, i64 1
%14 = load i8, i8* %13
%15 = tail call i64 @isdigit(i8 signext %14)
%16 = icmp eq i64 %15, 0
br i1 %16, label %19, label %23
17: ; preds = %23
%18 = add nsw i32 %26, -5
br label %19
19: ; preds = %17, %12
%20 = phi i32 [ -6, %12 ], [ %18, %17 ]
%21 = phi i32 [ 0, %12 ], [ %31, %17 ]
%22 = phi i8* [ %13, %12 ], [ %33, %17 ]
br label %37
23: ; preds = %12, %23
%24 = phi i8* [ %33, %23 ], [ %13, %12 ]
%25 = phi i32 [ %31, %23 ], [ 0, %12 ]
%26 = phi i32 [ %32, %23 ], [ 0, %12 ]
%27 = mul i32 %25, 10
%28 = load i8, i8* %24
%29 = sext i8 %28 to i32
%30 = add i32 %27, -48
%31 = add i32 %30, %29
%32 = add nuw nsw i32 %26, 1
%33 = getelementptr inbounds i8, i8* %24, i64 1
%34 = load i8, i8* %33
%35 = tail call i64 @isdigit(i8 signext %34)
%36 = icmp eq i64 %35, 0
br i1 %36, label %17, label %23
37: ; preds = %37, %19
%38 = phi i8* [ %42, %37 ], [ %22, %19 ]
%39 = load i8, i8* %38
%40 = tail call i64 @isspace(i8 signext %39)
%41 = icmp eq i64 %40, 0
%42 = getelementptr inbounds i8, i8* %38, i64 1
br i1 %41, label %43, label %37
43: ; preds = %37
%44 = load i8, i8* %38
%45 = icmp ne i8 %44, 0
%46 = icmp ult i32 %20, -5
%47 = select i1 %45, i1 true, i1 %46
%48 = add i32 %21, -65536
%49 = icmp ult i32 %48, -65535
%50 = select i1 %47, i1 true, i1 %49
br i1 %50, label %53, label %51
51: ; preds = %43
%52 = trunc i32 %21 to i16
store i16 %52, i16* %2
br label %53
53: ; preds = %4, %43, %9, %51
%54 = phi i32 [ 1, %51 ], [ 0, %9 ], [ 0, %43 ], [ 0, %4 ]
ret i32 %54
}