#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 */

/* Variables and functions */
int /*<<< orphan*/ memcpy(char *, char *, int const);
int /*<<< orphan*/ sprintf(char *, char *, char *);
int strlen(char *);
char *strtok2(char *, char *);
void homogenize_eth_addr(char *buf) {
  const size_t len = strlen(buf);
  for (int i = 0; i < 17; i++) {
    if (buf[i] == '-')
      buf[i] = ':';
  }
  char tmp[17] = {
      0,
  };
  char *cur = tmp;
  char *pair = strtok2(buf, ":");
  while (pair) {
    char *next = strtok2(NULL, ":");
    switch (strlen(pair)) {
    case 12: {
      char *ptr = &buf[3 * 5 + 2];
      *(ptr--) = 0;
      for (int i = 5; i >= 1; i--) {
        *(ptr--) = buf[1 + i * 2];
        *(ptr--) = buf[i * 2];
        *(ptr--) = ':';
      }
    }
      return;
    case 2:
      cur += sprintf(cur, "%s", pair);
      break;
    case 1:
      cur += sprintf(cur, "0%s", pair);
      break;
    case 0:
      break;
    default:
      return;
    }
    if (next) {
      *cur++ = ':';
    }
    pair = next;
  }
  memcpy(buf, tmp, 17);
  for (int i = 0; i < len - 1; i++) {
    if (buf[i] != ':')
      continue;
    if (buf[i + 1] != ':')
      continue;
    const int p1 = i + 1;
    int p2 = p1;
    for (; buf[p2] != 0; p2++) {
    }
    const int digits = p2 - p1;
    const int p3 = 17 - digits;
    memcpy(&buf[p3], &buf[p1], digits);
    for (int j = p1; j < p3; j += 3) {
      buf[j] = '0';
      buf[j + 1] = '0';
      buf[j + 2] = ':';
    }
  }
}


x86 assembly (clang, -O0):
<homogenize_eth_addr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
cltq
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
cmpl   $0x11,-0x14(%rbp)
jge    11b3 <homogenize_eth_addr+0x63>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2d,%eax
jne    11a0 <homogenize_eth_addr+0x50>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x3a,(%rax,%rcx,1)
jmp    11a5 <homogenize_eth_addr+0x55>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1175 <homogenize_eth_addr+0x25>
lea    -0x30(%rbp),%rdi
xor    %esi,%esi
mov    $0x11,%edx
call   1040 <memset@plt>
lea    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xe5e(%rip),%rsi
call   1050 <strtok2@plt>
mov    %rax,-0x40(%rbp)
cmpq   $0x0,-0x40(%rbp)
je     1349 <homogenize_eth_addr+0x1f9>
lea    0xe43(%rip),%rsi
xor    %eax,%eax
mov    %eax,%edi
call   1050 <strtok2@plt>
mov    %rax,-0x48(%rbp)
mov    -0x40(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    %rcx,-0x78(%rbp)
sub    $0xc,%eax
ja     131a <homogenize_eth_addr+0x1ca>
mov    -0x78(%rbp),%rax
lea    0xddf(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x8(%rbp),%rax
add    $0x11,%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x50(%rbp)
movb   $0x0,(%rax)
movl   $0x5,-0x54(%rbp)
cmpl   $0x1,-0x54(%rbp)
jl     12be <homogenize_eth_addr+0x16e>
mov    -0x8(%rbp),%rax
mov    -0x54(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x50(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x50(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
mov    -0x54(%rbp),%ecx
shl    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x50(%rbp),%rax
mov    %rax,%rdx
add    $0xffffffffffffffff,%rdx
mov    %rdx,-0x50(%rbp)
mov    %cl,(%rax)
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x50(%rbp)
movb   $0x3a,(%rax)
mov    -0x54(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x54(%rbp)
jmp    124f <homogenize_eth_addr+0xff>
jmp    147a <homogenize_eth_addr+0x32a>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rdx
lea    0xd65(%rip),%rsi
call   1070 <sprintf@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
jmp    131f <homogenize_eth_addr+0x1cf>
mov    -0x38(%rbp),%rdi
mov    -0x40(%rbp),%rdx
lea    0xd3b(%rip),%rsi
call   1070 <sprintf@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
jmp    131f <homogenize_eth_addr+0x1cf>
jmp    131f <homogenize_eth_addr+0x1cf>
jmp    147a <homogenize_eth_addr+0x32a>
cmpq   $0x0,-0x48(%rbp)
je     133c <homogenize_eth_addr+0x1ec>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x3a,(%rax)
mov    -0x48(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    11df <homogenize_eth_addr+0x8f>
mov    -0x8(%rbp),%rdi
lea    -0x30(%rbp),%rsi
mov    $0x11,%edx
call   1060 <memcpy@plt>
movl   $0x0,-0x58(%rbp)
movslq -0x58(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    $0x1,%rcx
cmp    %rcx,%rax
jae    147a <homogenize_eth_addr+0x32a>
mov    -0x8(%rbp),%rax
movslq -0x58(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
je     1391 <homogenize_eth_addr+0x241>
jmp    146c <homogenize_eth_addr+0x31c>
mov    -0x8(%rbp),%rax
mov    -0x58(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
je     13b0 <homogenize_eth_addr+0x260>
jmp    146c <homogenize_eth_addr+0x31c>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x60(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     13e7 <homogenize_eth_addr+0x297>
jmp    13d9 <homogenize_eth_addr+0x289>
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
jmp    13bf <homogenize_eth_addr+0x26f>
mov    -0x60(%rbp),%eax
sub    -0x5c(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    $0x11,%eax
sub    -0x64(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x8(%rbp),%rdi
movslq -0x68(%rbp),%rax
add    %rax,%rdi
mov    -0x8(%rbp),%rsi
movslq -0x5c(%rbp),%rax
add    %rax,%rsi
mov    -0x64(%rbp),%edx
call   1060 <memcpy@plt>
mov    -0x5c(%rbp),%eax
mov    %eax,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
cmp    -0x68(%rbp),%eax
jge    1467 <homogenize_eth_addr+0x317>
mov    -0x8(%rbp),%rax
movslq -0x6c(%rbp),%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x6c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x30,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
mov    -0x6c(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movb   $0x3a,(%rax,%rcx,1)
mov    -0x6c(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x6c(%rbp)
jmp    141f <homogenize_eth_addr+0x2cf>
jmp    146c <homogenize_eth_addr+0x31c>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    1362 <homogenize_eth_addr+0x212>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<homogenize_eth_addr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdi,%r13
call   1040 <strlen@plt>
mov    %eax,(%rsp)
cmpb   $0x2d,0x0(%r13)
je     139a <homogenize_eth_addr+0x24a>
cmpb   $0x2d,0x1(%r13)
je     13aa <homogenize_eth_addr+0x25a>
cmpb   $0x2d,0x2(%r13)
je     13ba <homogenize_eth_addr+0x26a>
cmpb   $0x2d,0x3(%r13)
je     13ca <homogenize_eth_addr+0x27a>
cmpb   $0x2d,0x4(%r13)
je     13da <homogenize_eth_addr+0x28a>
cmpb   $0x2d,0x5(%r13)
je     13ea <homogenize_eth_addr+0x29a>
cmpb   $0x2d,0x6(%r13)
je     13fa <homogenize_eth_addr+0x2aa>
cmpb   $0x2d,0x7(%r13)
je     140a <homogenize_eth_addr+0x2ba>
cmpb   $0x2d,0x8(%r13)
je     141a <homogenize_eth_addr+0x2ca>
cmpb   $0x2d,0x9(%r13)
je     142a <homogenize_eth_addr+0x2da>
cmpb   $0x2d,0xa(%r13)
je     143a <homogenize_eth_addr+0x2ea>
cmpb   $0x2d,0xb(%r13)
je     144a <homogenize_eth_addr+0x2fa>
cmpb   $0x2d,0xc(%r13)
je     145a <homogenize_eth_addr+0x30a>
cmpb   $0x2d,0xd(%r13)
je     146a <homogenize_eth_addr+0x31a>
cmpb   $0x2d,0xe(%r13)
je     147a <homogenize_eth_addr+0x32a>
cmpb   $0x2d,0xf(%r13)
je     148a <homogenize_eth_addr+0x33a>
cmpb   $0x2d,0x10(%r13)
jne    1225 <homogenize_eth_addr+0xd5>
movb   $0x3a,0x10(%r13)
xorps  %xmm0,%xmm0
movaps %xmm0,0x10(%rsp)
movb   $0x0,0x20(%rsp)
lea    0xdfb(%rip),%rsi
mov    %r13,%rdi
call   1050 <strtok2@plt>
test   %rax,%rax
je     12c4 <homogenize_eth_addr+0x174>
mov    %rax,%r14
lea    0x10(%rsp),%rbp
lea    0xddf(%rip),%r15
lea    0xda4(%rip),%r12
nopl   0x0(%rax)
xor    %edi,%edi
mov    %r15,%rsi
call   1050 <strtok2@plt>
mov    %rax,%rbx
mov    %r14,%rdi
call   1040 <strlen@plt>
cmp    $0xc,%eax
ja     14ef <homogenize_eth_addr+0x39f>
mov    %eax,%eax
movslq (%r12,%rax,4),%rax
add    %r12,%rax
jmp    *%rax
mov    %rbp,%rdi
lea    0xda3(%rip),%rsi
mov    %r14,%rdx
call   1070 <sprintf@plt>
cltq
jmp    12af <homogenize_eth_addr+0x15f>
nop
mov    %rbp,%rdi
mov    %r14,%rsi
call   1030 <stpcpy@plt>
sub    %ebp,%eax
cltq
add    %rax,%rbp
test   %rbx,%rbx
je     12c4 <homogenize_eth_addr+0x174>
movb   $0x3a,0x0(%rbp)
add    $0x1,%rbp
mov    %rbx,%r14
jmp    1260 <homogenize_eth_addr+0x110>
movslq (%rsp),%rbx
lea    0x10(%rsp),%rsi
mov    %r13,%rdi
mov    $0x11,%edx
call   1060 <memcpy@plt>
mov    %rbx,%rcx
add    $0xffffffffffffffff,%rcx
je     14ef <homogenize_eth_addr+0x39f>
lea    0x1(%r13),%rbp
mov    $0x1,%r15d
xor    %r12d,%r12d
mov    %rbp,%rbx
mov    %rcx,0x8(%rsp)
jmp    1311 <homogenize_eth_addr+0x1c1>
xchg   %ax,%ax
add    $0x1,%r15
add    $0x1,%rbx
cmp    %rcx,%r12
je     14ef <homogenize_eth_addr+0x39f>
cmpb   $0x3a,0x0(%r13,%r12,1)
lea    0x1(%r12),%r12
jne    1300 <homogenize_eth_addr+0x1b0>
cmpb   $0x3a,0x0(%r13,%r12,1)
jne    1300 <homogenize_eth_addr+0x1b0>
mov    %r13,%rcx
lea    (%r12,%r13,1),%rsi
mov    $0xffffffee,%r14d
mov    %rbx,%rax
cs nopw 0x0(%rax,%rax,1)
add    $0x1,%r14d
cmpb   $0x0,(%rax)
lea    0x1(%rax),%rax
jne    1340 <homogenize_eth_addr+0x1f0>
lea    0x11(%r14),%edx
neg    %r14d
movslq %r14d,%rax
mov    %rax,(%rsp)
mov    %rcx,%r13
lea    (%rcx,%rax,1),%rdi
call   1060 <memcpy@plt>
cmp    %r12d,(%rsp)
mov    0x8(%rsp),%rcx
jle    1300 <homogenize_eth_addr+0x1b0>
mov    %r15,%rax
cs nopw 0x0(%rax,%rax,1)
nop
movw   $0x3030,-0x1(%rbp,%rax,1)
movb   $0x3a,0x1(%rbp,%rax,1)
add    $0x3,%rax
cmp    %eax,%r14d
jg     1380 <homogenize_eth_addr+0x230>
jmp    1300 <homogenize_eth_addr+0x1b0>
movb   $0x3a,0x0(%r13)
cmpb   $0x2d,0x1(%r13)
jne    117f <homogenize_eth_addr+0x2f>
movb   $0x3a,0x1(%r13)
cmpb   $0x2d,0x2(%r13)
jne    118a <homogenize_eth_addr+0x3a>
movb   $0x3a,0x2(%r13)
cmpb   $0x2d,0x3(%r13)
jne    1195 <homogenize_eth_addr+0x45>
movb   $0x3a,0x3(%r13)
cmpb   $0x2d,0x4(%r13)
jne    11a0 <homogenize_eth_addr+0x50>
movb   $0x3a,0x4(%r13)
cmpb   $0x2d,0x5(%r13)
jne    11ab <homogenize_eth_addr+0x5b>
movb   $0x3a,0x5(%r13)
cmpb   $0x2d,0x6(%r13)
jne    11b6 <homogenize_eth_addr+0x66>
movb   $0x3a,0x6(%r13)
cmpb   $0x2d,0x7(%r13)
jne    11c1 <homogenize_eth_addr+0x71>
movb   $0x3a,0x7(%r13)
cmpb   $0x2d,0x8(%r13)
jne    11cc <homogenize_eth_addr+0x7c>
movb   $0x3a,0x8(%r13)
cmpb   $0x2d,0x9(%r13)
jne    11d7 <homogenize_eth_addr+0x87>
movb   $0x3a,0x9(%r13)
cmpb   $0x2d,0xa(%r13)
jne    11e2 <homogenize_eth_addr+0x92>
movb   $0x3a,0xa(%r13)
cmpb   $0x2d,0xb(%r13)
jne    11ed <homogenize_eth_addr+0x9d>
movb   $0x3a,0xb(%r13)
cmpb   $0x2d,0xc(%r13)
jne    11f8 <homogenize_eth_addr+0xa8>
movb   $0x3a,0xc(%r13)
cmpb   $0x2d,0xd(%r13)
jne    1203 <homogenize_eth_addr+0xb3>
movb   $0x3a,0xd(%r13)
cmpb   $0x2d,0xe(%r13)
jne    120e <homogenize_eth_addr+0xbe>
movb   $0x3a,0xe(%r13)
cmpb   $0x2d,0xf(%r13)
jne    1219 <homogenize_eth_addr+0xc9>
movb   $0x3a,0xf(%r13)
cmpb   $0x2d,0x10(%r13)
je     1220 <homogenize_eth_addr+0xd0>
jmp    1225 <homogenize_eth_addr+0xd5>
movb   $0x0,0x11(%r13)
movzwl 0xa(%r13),%eax
mov    %ax,0xf(%r13)
movb   $0x3a,0xe(%r13)
movzwl 0x8(%r13),%eax
mov    %ax,0xc(%r13)
movb   $0x3a,0xb(%r13)
movzwl 0x6(%r13),%eax
mov    %ax,0x9(%r13)
movb   $0x3a,0x8(%r13)
movzwl 0x2(%r13),%eax
movzwl 0x4(%r13),%ecx
mov    %cx,0x6(%r13)
movb   $0x3a,0x5(%r13)
mov    %ax,0x3(%r13)
movb   $0x3a,0x2(%r13)
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [2 x i8] c":\00"
@.str.2 = [4 x i8] c"0%s\00"
define void @homogenize_eth_addr(i8* %0) {
%2 = alloca [17 x i8]
%3 = tail call i32 @strlen(i8* %0)
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 45
br i1 %5, label %6, label %7
6: ; preds = %1
store i8 58, i8* %0
br label %7
7: ; preds = %1, %6
%8 = getelementptr inbounds i8, i8* %0, i64 1
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 45
br i1 %10, label %11, label %12
11: ; preds = %7
store i8 58, i8* %8
br label %12
12: ; preds = %11, %7
%13 = getelementptr inbounds i8, i8* %0, i64 2
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 45
br i1 %15, label %16, label %17
16: ; preds = %12
store i8 58, i8* %13
br label %17
17: ; preds = %16, %12
%18 = getelementptr inbounds i8, i8* %0, i64 3
%19 = load i8, i8* %18
%20 = icmp eq i8 %19, 45
br i1 %20, label %21, label %22
21: ; preds = %17
store i8 58, i8* %18
br label %22
22: ; preds = %21, %17
%23 = getelementptr inbounds i8, i8* %0, i64 4
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 45
br i1 %25, label %26, label %27
26: ; preds = %22
store i8 58, i8* %23
br label %27
27: ; preds = %26, %22
%28 = getelementptr inbounds i8, i8* %0, i64 5
%29 = load i8, i8* %28
%30 = icmp eq i8 %29, 45
br i1 %30, label %31, label %32
31: ; preds = %27
store i8 58, i8* %28
br label %32
32: ; preds = %31, %27
%33 = getelementptr inbounds i8, i8* %0, i64 6
%34 = load i8, i8* %33
%35 = icmp eq i8 %34, 45
br i1 %35, label %36, label %37
36: ; preds = %32
store i8 58, i8* %33
br label %37
37: ; preds = %36, %32
%38 = getelementptr inbounds i8, i8* %0, i64 7
%39 = load i8, i8* %38
%40 = icmp eq i8 %39, 45
br i1 %40, label %41, label %42
41: ; preds = %37
store i8 58, i8* %38
br label %42
42: ; preds = %41, %37
%43 = getelementptr inbounds i8, i8* %0, i64 8
%44 = load i8, i8* %43
%45 = icmp eq i8 %44, 45
br i1 %45, label %46, label %47
46: ; preds = %42
store i8 58, i8* %43
br label %47
47: ; preds = %46, %42
%48 = getelementptr inbounds i8, i8* %0, i64 9
%49 = load i8, i8* %48
%50 = icmp eq i8 %49, 45
br i1 %50, label %51, label %52
51: ; preds = %47
store i8 58, i8* %48
br label %52
52: ; preds = %51, %47
%53 = getelementptr inbounds i8, i8* %0, i64 10
%54 = load i8, i8* %53
%55 = icmp eq i8 %54, 45
br i1 %55, label %56, label %57
56: ; preds = %52
store i8 58, i8* %53
br label %57
57: ; preds = %56, %52
%58 = getelementptr inbounds i8, i8* %0, i64 11
%59 = load i8, i8* %58
%60 = icmp eq i8 %59, 45
br i1 %60, label %61, label %62
61: ; preds = %57
store i8 58, i8* %58
br label %62
62: ; preds = %61, %57
%63 = getelementptr inbounds i8, i8* %0, i64 12
%64 = load i8, i8* %63
%65 = icmp eq i8 %64, 45
br i1 %65, label %66, label %67
66: ; preds = %62
store i8 58, i8* %63
br label %67
67: ; preds = %66, %62
%68 = getelementptr inbounds i8, i8* %0, i64 13
%69 = load i8, i8* %68
%70 = icmp eq i8 %69, 45
br i1 %70, label %71, label %72
71: ; preds = %67
store i8 58, i8* %68
br label %72
72: ; preds = %71, %67
%73 = getelementptr inbounds i8, i8* %0, i64 14
%74 = load i8, i8* %73
%75 = icmp eq i8 %74, 45
br i1 %75, label %76, label %77
76: ; preds = %72
store i8 58, i8* %73
br label %77
77: ; preds = %76, %72
%78 = getelementptr inbounds i8, i8* %0, i64 15
%79 = load i8, i8* %78
%80 = icmp eq i8 %79, 45
br i1 %80, label %81, label %82
81: ; preds = %77
store i8 58, i8* %78
br label %82
82: ; preds = %81, %77
%83 = getelementptr inbounds i8, i8* %0, i64 16
%84 = load i8, i8* %83
%85 = icmp eq i8 %84, 45
br i1 %85, label %86, label %87
86: ; preds = %82
store i8 58, i8* %83
br label %87
87: ; preds = %86, %82
%88 = sext i32 %3 to i64
%89 = getelementptr inbounds [17 x i8], [17 x i8]* %2, i64 0, i64 0
%90 = tail call i8* @strtok2(i8* %0, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%91 = icmp eq i8* %90, null
br i1 %91, label %140, label %92
92: ; preds = %87, %138
%93 = phi i8* [ %139, %138 ], [ %89, %87 ]
%94 = phi i8* [ %95, %138 ], [ %90, %87 ]
%95 = call i8* @strtok2(i8* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%96 = call i32 @strlen(i8* %94)
switch i32 %96, label %183 [
i32 12, label %97
i32 2, label %123
i32 1, label %131
i32 0, label %135
]
97: ; preds = %92
%98 = getelementptr inbounds i8, i8* %0, i64 17
store i8 0, i8* %98
%99 = load i8, i8* %58
%100 = getelementptr inbounds i8, i8* %0, i64 15
store i8 %99, i8* %83
%101 = load i8, i8* %53
%102 = getelementptr inbounds i8, i8* %0, i64 14
store i8 %101, i8* %100
%103 = getelementptr inbounds i8, i8* %0, i64 13
store i8 58, i8* %102
%104 = load i8, i8* %48
%105 = getelementptr inbounds i8, i8* %0, i64 12
store i8 %104, i8* %103
%106 = load i8, i8* %43
%107 = getelementptr inbounds i8, i8* %0, i64 11
store i8 %106, i8* %105
%108 = getelementptr inbounds i8, i8* %0, i64 10
store i8 58, i8* %107
%109 = load i8, i8* %38
%110 = getelementptr inbounds i8, i8* %0, i64 9
store i8 %109, i8* %108
%111 = load i8, i8* %33
%112 = getelementptr inbounds i8, i8* %0, i64 8
store i8 %111, i8* %110
%113 = getelementptr inbounds i8, i8* %0, i64 7
store i8 58, i8* %112
%114 = load i8, i8* %28
%115 = getelementptr inbounds i8, i8* %0, i64 6
store i8 %114, i8* %113
%116 = load i8, i8* %23
%117 = getelementptr inbounds i8, i8* %0, i64 5
store i8 %116, i8* %115
%118 = getelementptr inbounds i8, i8* %0, i64 4
store i8 58, i8* %117
%119 = load i8, i8* %18
%120 = getelementptr inbounds i8, i8* %0, i64 3
store i8 %119, i8* %118
%121 = load i8, i8* %13
%122 = getelementptr inbounds i8, i8* %0, i64 2
store i8 %121, i8* %120
store i8 58, i8* %122
br label %183
123: ; preds = %92
%124 = call i8* @stpcpy(i8* %93, i8* %94)
%125 = ptrtoint i8* %124 to i64
%126 = ptrtoint i8* %93 to i64
%127 = sub i64 %125, %126
%128 = shl i64 %127, 32
%129 = ashr exact i64 %128, 32
%130 = getelementptr inbounds i8, i8* %93, i64 %129
br label %135
131: ; preds = %92
%132 = call i32 @sprintf(i8* dereferenceable(1) %93, i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %94)
%133 = sext i32 %132 to i64
%134 = getelementptr inbounds i8, i8* %93, i64 %133
br label %135
135: ; preds = %92, %131, %123
%136 = phi i8* [ %93, %92 ], [ %134, %131 ], [ %130, %123 ]
%137 = icmp eq i8* %95, null
br i1 %137, label %140, label %138
138: ; preds = %135
%139 = getelementptr inbounds i8, i8* %136, i64 1
store i8 58, i8* %136
br label %92
140: ; preds = %135, %87
%141 = call i32 @memcpy(i8* %0, i8* %89, i32 17)
%142 = add nsw i64 %88, -1
%143 = icmp eq i64 %142, 0
br i1 %143, label %183, label %144
144: ; preds = %140, %180
%145 = phi i64 [ %150, %180 ], [ 0, %140 ]
%146 = phi i64 [ %181, %180 ], [ 1, %140 ]
%147 = getelementptr inbounds i8, i8* %0, i64 %145
%148 = load i8, i8* %147
%149 = icmp eq i8 %148, 58
%150 = add nuw i64 %145, 1
br i1 %149, label %151, label %180
151: ; preds = %144
%152 = getelementptr inbounds i8, i8* %0, i64 %150
%153 = load i8, i8* %152
%154 = icmp eq i8 %153, 58
br i1 %154, label %155, label %180
155: ; preds = %151, %155
%156 = phi i64 [ %160, %155 ], [ %146, %151 ]
%157 = getelementptr inbounds i8, i8* %0, i64 %156
%158 = load i8, i8* %157
%159 = icmp eq i8 %158, 0
%160 = add i64 %156, 1
br i1 %159, label %161, label %155
161: ; preds = %155
%162 = trunc i64 %156 to i32
%163 = trunc i64 %150 to i32
%164 = sub nsw i32 %162, %163
%165 = sub nsw i32 17, %164
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds i8, i8* %0, i64 %166
%168 = call i32 @memcpy(i8* %167, i8* %152, i32 %164)
%169 = icmp sgt i32 %165, %163
br i1 %169, label %170, label %180
170: ; preds = %161, %170
%171 = phi i64 [ %177, %170 ], [ %146, %161 ]
%172 = getelementptr inbounds i8, i8* %0, i64 %171
store i8 48, i8* %172
%173 = add nuw nsw i64 %171, 1
%174 = getelementptr inbounds i8, i8* %0, i64 %173
store i8 48, i8* %174
%175 = add nuw nsw i64 %171, 2
%176 = getelementptr inbounds i8, i8* %0, i64 %175
store i8 58, i8* %176
%177 = add i64 %171, 3
%178 = trunc i64 %177 to i32
%179 = icmp sgt i32 %165, %178
br i1 %179, label %170, label %180
180: ; preds = %170, %144, %161, %151
%181 = add i64 %146, 1
%182 = icmp eq i64 %150, %142
br i1 %182, label %183, label %144
183: ; preds = %92, %180, %97, %140
ret void
}