#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 ether_addr {
  unsigned long *ether_addr_octet;
};

/* Variables and functions */
unsigned long strtoul(char const *, char **, int);
struct ether_addr *ether_aton_r(const char *x, struct ether_addr *p_a) {
  struct ether_addr a;
  char *y;
  for (int ii = 0; ii < 6; ii++) {
    unsigned long int n;
    if (ii != 0) {
      if (x[0] != ':')
        return 0;
      else
        x++;
    }
    n = strtoul(x, &y, 16);
    x = y;
    if (n > 0xFF)
      return 0;
    a.ether_addr_octet[ii] = n;
  }
  if (x[0] != 0)
    return 0;
  *p_a = a;
  return p_a;
}


x86 assembly (clang, -O0):
<ether_aton_r>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x6,-0x2c(%rbp)
jge    11c0 <ether_aton_r+0xb0>
cmpl   $0x0,-0x2c(%rbp)
je     1169 <ether_aton_r+0x59>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
je     1158 <ether_aton_r+0x48>
movq   $0x0,-0x8(%rbp)
jmp    11f0 <ether_aton_r+0xe0>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1169 <ether_aton_r+0x59>
mov    -0x10(%rbp),%rdi
lea    -0x28(%rbp),%rsi
mov    $0x10,%edx
call   1030 <strtoul@plt>
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x10(%rbp)
cmpq   $0xff,-0x38(%rbp)
jbe    11a2 <ether_aton_r+0x92>
movq   $0x0,-0x8(%rbp)
jmp    11f0 <ether_aton_r+0xe0>
mov    -0x38(%rbp),%rdx
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1127 <ether_aton_r+0x17>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     11dd <ether_aton_r+0xcd>
movq   $0x0,-0x8(%rbp)
jmp    11f0 <ether_aton_r+0xe0>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    %rcx,(%rax)
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ether_aton_r>:
push   %rax
mov    %rsp,%rsi
mov    $0x10,%edx
call   1030 <strtoul@plt>
xor    %eax,%eax
pop    %rcx
ret

LLVM IR (-O0):
%struct.ether_addr = type { i64* }
define %struct.ether_addr* @ether_aton_r(i8* %0, %struct.ether_addr* %1) {
%3 = alloca %struct.ether_addr*
%4 = alloca i8*
%5 = alloca %struct.ether_addr*
%6 = alloca %struct.ether_addr
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i64
store i8* %0, i8** %4
store %struct.ether_addr* %1, %struct.ether_addr** %5
store i32 0, i32* %8
br label %10
10: ; preds = %41, %2
%11 = load i32, i32* %8
%12 = icmp slt i32 %11, 6
br i1 %12, label %13, label %44
13: ; preds = %10
%14 = load i32, i32* %8
%15 = icmp ne i32 %14, 0
br i1 %15, label %16, label %27
16: ; preds = %13
%17 = load i8*, i8** %4
%18 = getelementptr inbounds i8, i8* %17, i64 0
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = icmp ne i32 %20, 58
br i1 %21, label %22, label %23
22: ; preds = %16
store %struct.ether_addr* null, %struct.ether_addr** %3
br label %56
23: ; preds = %16
%24 = load i8*, i8** %4
%25 = getelementptr inbounds i8, i8* %24, i32 1
store i8* %25, i8** %4
br label %26
26: ; preds = %23
br label %27
27: ; preds = %26, %13
%28 = load i8*, i8** %4
%29 = call i64 @strtoul(i8* %28, i8** %7, i32 16)
store i64 %29, i64* %9
%30 = load i8*, i8** %7
store i8* %30, i8** %4
%31 = load i64, i64* %9
%32 = icmp ugt i64 %31, 255
br i1 %32, label %33, label %34
33: ; preds = %27
store %struct.ether_addr* null, %struct.ether_addr** %3
br label %56
34: ; preds = %27
%35 = load i64, i64* %9
%36 = getelementptr inbounds %struct.ether_addr, %struct.ether_addr* %6, i32 0, i32 0
%37 = load i64*, i64** %36
%38 = load i32, i32* %8
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i64, i64* %37, i64 %39
store i64 %35, i64* %40
br label %41
41: ; preds = %34
%42 = load i32, i32* %8
%43 = add nsw i32 %42, 1
store i32 %43, i32* %8
br label %10
44: ; preds = %10
%45 = load i8*, i8** %4
%46 = getelementptr inbounds i8, i8* %45, i64 0
%47 = load i8, i8* %46
%48 = sext i8 %47 to i32
%49 = icmp ne i32 %48, 0
br i1 %49, label %50, label %51
50: ; preds = %44
store %struct.ether_addr* null, %struct.ether_addr** %3
br label %56
51: ; preds = %44
%52 = load %struct.ether_addr*, %struct.ether_addr** %5
%53 = bitcast %struct.ether_addr* %52 to i8*
%54 = bitcast %struct.ether_addr* %6 to i8*
%55 = load %struct.ether_addr*, %struct.ether_addr** %5
store %struct.ether_addr* %55, %struct.ether_addr** %3
br label %56
56: ; preds = %51, %50, %33, %22
%57 = load %struct.ether_addr*, %struct.ether_addr** %3
ret %struct.ether_addr* %57
}

LLVM IR (-O2):
%struct.ether_addr = type { i64* }
define noalias %struct.ether_addr* @ether_aton_r(i8* %0, %struct.ether_addr* nocapture readnone %1) {
%3 = alloca i8*
%4 = bitcast i8** %3 to i8*
%5 = call i64 @strtoul(i8* %0, i8** %3, i32 16)
%6 = icmp ugt i64 %5, 255
tail call void @llvm.assume(i1 %6)
ret %struct.ether_addr* null
}