#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*/ format_ipv4_address(char *, size_t, void const *);
int /*<<< orphan*/ format_ipv6_address(char *, size_t, void const *);
size_t strlen(char *);
void format_address(char *buf, size_t sizeof_buf, const void *v_addr,
                    size_t sizeof_addr, unsigned prefix_length) {
  if (sizeof_addr == 4) {
    format_ipv4_address(buf, sizeof_buf, v_addr);
    if (prefix_length != ~0 && prefix_length > 32)
      prefix_length = 32;
  } else if (sizeof_addr == 16) {
    format_ipv6_address(buf, sizeof_buf, v_addr);
    if (prefix_length != ~0 && prefix_length > 128)
      prefix_length = 128;
  } else if (sizeof_buf > 0)
    buf[0] = '\0';
  if (prefix_length != ~0) {
    size_t d = strlen(buf);
    char c2;
    unsigned number = prefix_length;
    if (d < sizeof_buf)
      buf[d++] = '/';
    c2 = (number % 10) + '0';
    number /= 10;
    if (number) {
      char c1;
      c1 = (number % 10) + '0';
      number /= 10;
      if (number) {
        int c0;
        c0 = number + '0';
        if (d < sizeof_buf)
          buf[d++] = (char)c0;
      }
      if (d < sizeof_buf)
        buf[d++] = c1;
    }
    if (d < sizeof_buf)
      buf[d++] = c2;
    if (d < sizeof_buf)
      buf[d] = '\0';
    else if (sizeof_buf)
      buf[sizeof_buf - 1] = '\0';
  }
}


x86 assembly (clang, -O0):
<format_address>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
cmpq   $0x4,-0x20(%rbp)
jne    1188 <format_address+0x58>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1050 <format_ipv4_address@plt>
cmpl   $0xffffffff,-0x24(%rbp)
je     1183 <format_address+0x53>
cmpl   $0x20,-0x24(%rbp)
jbe    1183 <format_address+0x53>
movl   $0x20,-0x24(%rbp)
jmp    11e3 <format_address+0xb3>
cmpq   $0x10,-0x20(%rbp)
jne    11c7 <format_address+0x97>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <format_ipv6_address@plt>
cmpl   $0xffffffff,-0x24(%rbp)
je     11c2 <format_address+0x92>
cmpl   $0x80,-0x24(%rbp)
jbe    11c2 <format_address+0x92>
movl   $0x80,-0x24(%rbp)
jmp    11de <format_address+0xae>
cmpq   $0x0,-0x10(%rbp)
jbe    11d9 <format_address+0xa9>
mov    -0x8(%rbp),%rax
movb   $0x0,(%rax)
jmp    11de <format_address+0xae>
jmp    11e3 <format_address+0xb3>
cmpl   $0xffffffff,-0x24(%rbp)
je     134d <format_address+0x21d>
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x30(%rbp)
mov    -0x24(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1225 <format_address+0xf5>
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x30(%rbp)
movb   $0x2f,(%rax,%rcx,1)
mov    -0x38(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
add    $0x30,%edx
mov    %dl,%al
mov    %al,-0x31(%rbp)
mov    -0x38(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
je     12e2 <format_address+0x1b2>
mov    -0x38(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
add    $0x30,%edx
mov    %dl,%al
mov    %al,-0x39(%rbp)
mov    -0x38(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
je     12b6 <format_address+0x186>
mov    -0x38(%rbp),%eax
add    $0x30,%eax
mov    %eax,-0x40(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    12b1 <format_address+0x181>
mov    -0x40(%rbp),%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x30(%rbp)
mov    %dl,(%rax,%rcx,1)
jmp    12b6 <format_address+0x186>
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    12dd <format_address+0x1ad>
mov    -0x39(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x30(%rbp)
mov    %dl,(%rax,%rcx,1)
jmp    12e2 <format_address+0x1b2>
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1309 <format_address+0x1d9>
mov    -0x31(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    %rcx,%rsi
add    $0x1,%rsi
mov    %rsi,-0x30(%rbp)
mov    %dl,(%rax,%rcx,1)
mov    -0x30(%rbp),%rax
cmp    -0x10(%rbp),%rax
jae    1328 <format_address+0x1f8>
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1348 <format_address+0x218>
cmpq   $0x0,-0x10(%rbp)
je     1343 <format_address+0x213>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    $0x1,%rcx
movb   $0x0,(%rax,%rcx,1)
jmp    1348 <format_address+0x218>
jmp    134d <format_address+0x21d>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<format_address>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %r8d,%ebx
mov    %rsi,%r15
mov    %rdi,%r14
cmp    $0x10,%rcx
je     1166 <format_address+0x36>
cmp    $0x4,%rcx
jne    1185 <format_address+0x55>
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <format_ipv4_address@plt>
lea    -0x21(%rbx),%eax
mov    $0x20,%ebp
cmp    $0xffffffde,%eax
jae    118e <format_address+0x5e>
jmp    1199 <format_address+0x69>
mov    %r14,%rdi
mov    %r15,%rsi
call   1040 <format_ipv6_address@plt>
lea    -0x81(%rbx),%eax
mov    $0x80,%ebp
cmp    $0xffffff7e,%eax
jae    118e <format_address+0x5e>
jmp    1199 <format_address+0x69>
test   %r15,%r15
je     118e <format_address+0x5e>
movb   $0x0,(%r14)
mov    %ebx,%ebp
cmp    $0xffffffff,%ebx
je     1239 <format_address+0x109>
mov    %r14,%rdi
call   1030 <strlen@plt>
cmp    %r15,%rax
jae    11af <format_address+0x7f>
movb   $0x2f,(%r14,%rax,1)
add    $0x1,%rax
mov    %ebp,%esi
mov    $0xcccccccd,%edx
mov    %rsi,%rcx
imul   %rdx,%rcx
shr    $0x23,%rcx
cmp    $0xa,%ebp
jb     120b <format_address+0xdb>
cmp    $0x64,%ebp
jb     11e7 <format_address+0xb7>
cmp    %r15,%rax
jae    11e7 <format_address+0xb7>
imul   $0x51eb851f,%rsi,%rsi
shr    $0x25,%rsi
add    $0x30,%sil
mov    %sil,(%r14,%rax,1)
add    $0x1,%rax
cmp    %r15,%rax
jae    120b <format_address+0xdb>
mov    %ecx,%esi
imul   %rdx,%rsi
shr    $0x23,%rsi
add    %esi,%esi
lea    (%rsi,%rsi,4),%edx
mov    %ecx,%esi
sub    %edx,%esi
or     $0x30,%sil
mov    %sil,(%r14,%rax,1)
add    $0x1,%rax
cmp    %r15,%rax
jae    1223 <format_address+0xf3>
add    %ecx,%ecx
lea    (%rcx,%rcx,4),%ecx
sub    %ecx,%ebp
or     $0x30,%bpl
mov    %bpl,(%r14,%rax,1)
add    $0x1,%rax
cmp    %r15,%rax
jb     1234 <format_address+0x104>
test   %r15,%r15
je     1239 <format_address+0x109>
add    $0xffffffffffffffff,%r15
mov    %r15,%rax
movb   $0x0,(%r14,%rax,1)
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @format_address(i8* %0, i64 %1, i8* %2, i64 %3, i32 %4) {
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i32
%11 = alloca i64
%12 = alloca i8
%13 = alloca i32
%14 = alloca i8
%15 = alloca i32
store i8* %0, i8** %6
store i64 %1, i64* %7
store i8* %2, i8** %8
store i64 %3, i64* %9
store i32 %4, i32* %10
%16 = load i64, i64* %9
%17 = icmp eq i64 %16, 4
br i1 %17, label %18, label %30
18: ; preds = %5
%19 = load i8*, i8** %6
%20 = load i64, i64* %7
%21 = load i8*, i8** %8
%22 = call i32 @format_ipv4_address(i8* %19, i64 %20, i8* %21)
%23 = load i32, i32* %10
%24 = icmp ne i32 %23, -1
br i1 %24, label %25, label %29
25: ; preds = %18
%26 = load i32, i32* %10
%27 = icmp ugt i32 %26, 32
br i1 %27, label %28, label %29
28: ; preds = %25
store i32 32, i32* %10
br label %29
29: ; preds = %28, %25, %18
br label %53
30: ; preds = %5
%31 = load i64, i64* %9
%32 = icmp eq i64 %31, 16
br i1 %32, label %33, label %45
33: ; preds = %30
%34 = load i8*, i8** %6
%35 = load i64, i64* %7
%36 = load i8*, i8** %8
%37 = call i32 @format_ipv6_address(i8* %34, i64 %35, i8* %36)
%38 = load i32, i32* %10
%39 = icmp ne i32 %38, -1
br i1 %39, label %40, label %44
40: ; preds = %33
%41 = load i32, i32* %10
%42 = icmp ugt i32 %41, 128
br i1 %42, label %43, label %44
43: ; preds = %40
store i32 128, i32* %10
br label %44
44: ; preds = %43, %40, %33
br label %52
45: ; preds = %30
%46 = load i64, i64* %7
%47 = icmp ugt i64 %46, 0
br i1 %47, label %48, label %51
48: ; preds = %45
%49 = load i8*, i8** %6
%50 = getelementptr inbounds i8, i8* %49, i64 0
store i8 0, i8* %50
br label %51
51: ; preds = %48, %45
br label %52
52: ; preds = %51, %44
br label %53
53: ; preds = %52, %29
%54 = load i32, i32* %10
%55 = icmp ne i32 %54, -1
br i1 %55, label %56, label %139
56: ; preds = %53
%57 = load i8*, i8** %6
%58 = call i64 @strlen(i8* %57)
store i64 %58, i64* %11
%59 = load i32, i32* %10
store i32 %59, i32* %13
%60 = load i64, i64* %11
%61 = load i64, i64* %7
%62 = icmp ult i64 %60, %61
br i1 %62, label %63, label %68
63: ; preds = %56
%64 = load i8*, i8** %6
%65 = load i64, i64* %11
%66 = add i64 %65, 1
store i64 %66, i64* %11
%67 = getelementptr inbounds i8, i8* %64, i64 %65
store i8 47, i8* %67
br label %68
68: ; preds = %63, %56
%69 = load i32, i32* %13
%70 = urem i32 %69, 10
%71 = add i32 %70, 48
%72 = trunc i32 %71 to i8
store i8 %72, i8* %12
%73 = load i32, i32* %13
%74 = udiv i32 %73, 10
store i32 %74, i32* %13
%75 = load i32, i32* %13
%76 = icmp ne i32 %75, 0
br i1 %76, label %77, label %111
77: ; preds = %68
%78 = load i32, i32* %13
%79 = urem i32 %78, 10
%80 = add i32 %79, 48
%81 = trunc i32 %80 to i8
store i8 %81, i8* %14
%82 = load i32, i32* %13
%83 = udiv i32 %82, 10
store i32 %83, i32* %13
%84 = load i32, i32* %13
%85 = icmp ne i32 %84, 0
br i1 %85, label %86, label %100
86: ; preds = %77
%87 = load i32, i32* %13
%88 = add i32 %87, 48
store i32 %88, i32* %15
%89 = load i64, i64* %11
%90 = load i64, i64* %7
%91 = icmp ult i64 %89, %90
br i1 %91, label %92, label %99
92: ; preds = %86
%93 = load i32, i32* %15
%94 = trunc i32 %93 to i8
%95 = load i8*, i8** %6
%96 = load i64, i64* %11
%97 = add i64 %96, 1
store i64 %97, i64* %11
%98 = getelementptr inbounds i8, i8* %95, i64 %96
store i8 %94, i8* %98
br label %99
99: ; preds = %92, %86
br label %100
100: ; preds = %99, %77
%101 = load i64, i64* %11
%102 = load i64, i64* %7
%103 = icmp ult i64 %101, %102
br i1 %103, label %104, label %110
104: ; preds = %100
%105 = load i8, i8* %14
%106 = load i8*, i8** %6
%107 = load i64, i64* %11
%108 = add i64 %107, 1
store i64 %108, i64* %11
%109 = getelementptr inbounds i8, i8* %106, i64 %107
store i8 %105, i8* %109
br label %110
110: ; preds = %104, %100
br label %111
111: ; preds = %110, %68
%112 = load i64, i64* %11
%113 = load i64, i64* %7
%114 = icmp ult i64 %112, %113
br i1 %114, label %115, label %121
115: ; preds = %111
%116 = load i8, i8* %12
%117 = load i8*, i8** %6
%118 = load i64, i64* %11
%119 = add i64 %118, 1
store i64 %119, i64* %11
%120 = getelementptr inbounds i8, i8* %117, i64 %118
store i8 %116, i8* %120
br label %121
121: ; preds = %115, %111
%122 = load i64, i64* %11
%123 = load i64, i64* %7
%124 = icmp ult i64 %122, %123
br i1 %124, label %125, label %129
125: ; preds = %121
%126 = load i8*, i8** %6
%127 = load i64, i64* %11
%128 = getelementptr inbounds i8, i8* %126, i64 %127
store i8 0, i8* %128
br label %138
129: ; preds = %121
%130 = load i64, i64* %7
%131 = icmp ne i64 %130, 0
br i1 %131, label %132, label %137
132: ; preds = %129
%133 = load i8*, i8** %6
%134 = load i64, i64* %7
%135 = sub i64 %134, 1
%136 = getelementptr inbounds i8, i8* %133, i64 %135
store i8 0, i8* %136
br label %137
137: ; preds = %132, %129
br label %138
138: ; preds = %137, %125
br label %139
139: ; preds = %138, %53
ret void
}

LLVM IR (-O2):
define void @format_address(i8* %0, i64 %1, i8* %2, i64 %3, i32 %4) {
switch i64 %3, label %14 [
i64 4, label %6
i64 16, label %10
]
6: ; preds = %5
%7 = tail call i32 @format_ipv4_address(i8* %0, i64 %1, i8* %2)
%8 = add i32 %4, -33
%9 = icmp ult i32 %8, -34
br i1 %9, label %19, label %17
10: ; preds = %5
%11 = tail call i32 @format_ipv6_address(i8* %0, i64 %1, i8* %2)
%12 = add i32 %4, -129
%13 = icmp ult i32 %12, -130
br i1 %13, label %19, label %17
14: ; preds = %5
%15 = icmp eq i64 %1, 0
br i1 %15, label %17, label %16
16: ; preds = %14
store i8 0, i8* %0
br label %17
17: ; preds = %10, %6, %16, %14
%18 = icmp eq i32 %4, -1
br i1 %18, label %68, label %19
19: ; preds = %10, %6, %17
%20 = phi i32 [ %4, %17 ], [ 32, %6 ], [ 128, %10 ]
%21 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%22 = icmp ult i64 %21, %1
br i1 %22, label %23, label %26
23: ; preds = %19
%24 = add nuw i64 %21, 1
%25 = getelementptr inbounds i8, i8* %0, i64 %21
store i8 47, i8* %25
br label %26
26: ; preds = %23, %19
%27 = phi i64 [ %24, %23 ], [ %21, %19 ]
%28 = urem i32 %20, 10
%29 = udiv i32 %20, 10
%30 = trunc i32 %28 to i8
%31 = or i8 %30, 48
%32 = icmp ult i32 %20, 10
br i1 %32, label %52, label %33
33: ; preds = %26
%34 = urem i32 %29, 10
%35 = trunc i32 %34 to i8
%36 = or i8 %35, 48
%37 = icmp ugt i32 %20, 99
%38 = icmp ult i64 %27, %1
%39 = select i1 %37, i1 %38, i1 false
br i1 %39, label %40, label %46
40: ; preds = %33
%41 = udiv i32 %20, 100
%42 = trunc i32 %41 to i8
%43 = add i8 %42, 48
%44 = add nuw i64 %27, 1
%45 = getelementptr inbounds i8, i8* %0, i64 %27
store i8 %43, i8* %45
br label %46
46: ; preds = %40, %33
%47 = phi i64 [ %27, %33 ], [ %44, %40 ]
%48 = icmp ult i64 %47, %1
br i1 %48, label %49, label %52
49: ; preds = %46
%50 = add nuw i64 %47, 1
%51 = getelementptr inbounds i8, i8* %0, i64 %47
store i8 %36, i8* %51
br label %52
52: ; preds = %46, %49, %26
%53 = phi i64 [ %27, %26 ], [ %50, %49 ], [ %47, %46 ]
%54 = icmp ult i64 %53, %1
br i1 %54, label %55, label %58
55: ; preds = %52
%56 = add nuw i64 %53, 1
%57 = getelementptr inbounds i8, i8* %0, i64 %53
store i8 %31, i8* %57
br label %58
58: ; preds = %55, %52
%59 = phi i64 [ %56, %55 ], [ %53, %52 ]
%60 = icmp ult i64 %59, %1
br i1 %60, label %65, label %61
61: ; preds = %58
%62 = icmp eq i64 %1, 0
br i1 %62, label %68, label %63
63: ; preds = %61
%64 = add i64 %1, -1
br label %65
65: ; preds = %58, %63
%66 = phi i64 [ %64, %63 ], [ %59, %58 ]
%67 = getelementptr inbounds i8, i8* %0, i64 %66
store i8 0, i8* %67
br label %68
68: ; preds = %65, %61, %17
ret void
}