#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 */
void format_ipv4_address(char *buf, size_t sizeof_buf, const void *v_addr) {
  const unsigned char *addr = (const unsigned char *)v_addr;
  unsigned i;
  unsigned d = 0;
  sizeof_buf--;
  for (i = 0; i < 4; i++) {
    unsigned number = addr[i];
    if (number == 0) {
      if (d < sizeof_buf)
        buf[d++] = '0';
    } else {
      char c2;
      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 (i < 3 && d < sizeof_buf) {
      buf[d++] = '.';
    }
  }
  if (d <= sizeof_buf)
    buf[d++] = '\0';
  else
    buf[sizeof_buf] = '\0';
}


x86 assembly (clang, -O0):
<format_ipv4_address>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x4,-0x24(%rbp)
jae    129a <format_ipv4_address+0x19a>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
movzbl (%rax,%rcx,1),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jne    117b <format_ipv4_address+0x7b>
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%rax
jae    1176 <format_ipv4_address+0x76>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
mov    %ecx,%ecx
movb   $0x30,(%rax,%rcx,1)
jmp    125b <format_ipv4_address+0x15b>
mov    -0x2c(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
add    $0x30,%edx
mov    %dl,%al
mov    %al,-0x2d(%rbp)
mov    -0x2c(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     1232 <format_ipv4_address+0x132>
mov    -0x2c(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
add    $0x30,%edx
mov    %dl,%al
mov    %al,-0x2e(%rbp)
mov    -0x2c(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     1209 <format_ipv4_address+0x109>
mov    -0x2c(%rbp),%eax
add    $0x30,%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%rax
jae    1204 <format_ipv4_address+0x104>
mov    -0x34(%rbp),%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
jmp    1209 <format_ipv4_address+0x109>
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%rax
jae    122d <format_ipv4_address+0x12d>
mov    -0x2e(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
jmp    1232 <format_ipv4_address+0x132>
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%rax
jae    1256 <format_ipv4_address+0x156>
mov    -0x2d(%rbp),%dl
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x28(%rbp)
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
jmp    125b <format_ipv4_address+0x15b>
cmpl   $0x3,-0x24(%rbp)
jae    1287 <format_ipv4_address+0x187>
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%rax
jae    1287 <format_ipv4_address+0x187>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
mov    %ecx,%ecx
movb   $0x2e,(%rax,%rcx,1)
jmp    128c <format_ipv4_address+0x18c>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1132 <format_ipv4_address+0x32>
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%rax
ja     12c1 <format_ipv4_address+0x1c1>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x28(%rbp)
mov    %ecx,%ecx
movb   $0x0,(%rax,%rcx,1)
jmp    12cd <format_ipv4_address+0x1cd>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<format_ipv4_address>:
push   %rbx
add    $0xffffffffffffffff,%rsi
xor    %eax,%eax
xor    %r8d,%r8d
jmp    111e <format_ipv4_address+0x1e>
nopl   0x0(%rax)
add    $0x1,%rax
cmp    $0x4,%rax
je     11d5 <format_ipv4_address+0xd5>
movzbl (%rdx,%rax,1),%ecx
test   %cl,%cl
je     11a0 <format_ipv4_address+0xa0>
movzbl %cl,%r10d
imul   $0xcd,%r10d,%r9d
shr    $0xb,%r9d
cmp    $0xa,%cl
jb     1188 <format_ipv4_address+0x88>
cmp    $0x64,%cl
jb     115d <format_ipv4_address+0x5d>
mov    %r8d,%r11d
cmp    %r11,%rsi
jbe    115d <format_ipv4_address+0x5d>
lea    (%r10,%r10,4),%ebx
lea    (%r10,%rbx,8),%ebx
shr    $0xc,%ebx
or     $0x30,%bl
add    $0x1,%r8d
mov    %bl,(%rdi,%r11,1)
mov    %r8d,%r10d
cmp    %r10,%rsi
jbe    1188 <format_ipv4_address+0x88>
movzbl %r9b,%r11d
imul   $0xcd,%r11d,%ebx
shr    $0xa,%ebx
and    $0xfffffffe,%ebx
lea    (%rbx,%rbx,4),%ebx
sub    %bl,%r11b
or     $0x30,%r11b
add    $0x1,%r8d
mov    %r11b,(%rdi,%r10,1)
mov    %r8d,%r10d
cmp    %r10,%rsi
jbe    11b2 <format_ipv4_address+0xb2>
add    %r9d,%r9d
lea    (%r9,%r9,4),%ebx
sub    %bl,%cl
or     $0x30,%cl
jmp    11aa <format_ipv4_address+0xaa>
xchg   %ax,%ax
mov    %r8d,%r10d
mov    $0x30,%cl
cmp    %r10,%rsi
jbe    11b2 <format_ipv4_address+0xb2>
add    $0x1,%r8d
mov    %cl,(%rdi,%r10,1)
cmp    $0x2,%rax
ja     1110 <format_ipv4_address+0x10>
mov    %r8d,%ecx
cmp    %rcx,%rsi
jbe    1110 <format_ipv4_address+0x10>
add    $0x1,%r8d
movb   $0x2e,(%rdi,%rcx,1)
jmp    1110 <format_ipv4_address+0x10>
mov    %r8d,%eax
cmp    %rax,%rsi
cmovb  %rsi,%rax
movb   $0x0,(%rdi,%rax,1)
pop    %rbx
ret

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

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