#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*/ strcat(char *, char *);
scalar_t__ strlen(char *);
void change_to_dns_format(char *src, unsigned char *dest) {
  int pos = 0;
  int len = 0;
  int i;
  strcat(src, ".");
  for (i = 0; i < (int)strlen(src); ++i) {
    if (src[i] == '.') {
      dest[pos] = i - len;
      ++pos;
      for (; len < i; ++len) {
        dest[pos] = src[len];
        ++pos;
      }
      len++;
    }
  }
  dest[pos] = '\0';
}


x86 assembly (clang, -O0):
<change_to_dns_format>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
lea    0xeb7(%rip),%rsi
call   1040 <strcat@plt>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,%rcx
mov    -0x20(%rbp),%eax
cmp    %ecx,%eax
jge    11f8 <change_to_dns_format+0xd8>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    11e5 <change_to_dns_format+0xc5>
mov    -0x1c(%rbp),%eax
sub    -0x18(%rbp),%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11dc <change_to_dns_format+0xbc>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11a3 <change_to_dns_format+0x83>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11ea <change_to_dns_format+0xca>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1155 <change_to_dns_format+0x35>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<change_to_dns_format>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rsi,%r14
mov    %rdi,%r13
lea    0xec8(%rip),%rsi
call   1040 <strcat@plt>
mov    %r13,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
jle    132e <change_to_dns_format+0x20e>
lea    0x30(%r13),%rax
mov    %rax,(%rsp)
lea    0x30(%r14),%r12
xor    %ebp,%ebp
xor    %r15d,%r15d
xor    %ebx,%ebx
jmp    1191 <change_to_dns_format+0x71>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r15d,%r10d
add    $0x1,%r10d
mov    %r10d,%r15d
add    $0x1,%rbp
mov    %r13,%rdi
call   1030 <strlen@plt>
cltq
cmp    %rax,%rbp
jge    1330 <change_to_dns_format+0x210>
cmpb   $0x2e,0x0(%r13,%rbp,1)
jne    117a <change_to_dns_format+0x5a>
mov    %ebp,%eax
sub    %r15d,%eax
movslq %ebx,%rbx
mov    %al,(%r14,%rbx,1)
add    $0x1,%ebx
movslq %r15d,%rcx
mov    %rbp,%r11
sub    %rcx,%r11
jle    1170 <change_to_dns_format+0x50>
mov    %ebp,%r10d
movslq %ebx,%rbx
cmp    $0x20,%r11
jb     1290 <change_to_dns_format+0x170>
mov    %r13,%rax
add    %rbp,%rax
lea    (%r14,%rbx,1),%rdx
cmp    %rax,%rdx
jae    11eb <change_to_dns_format+0xcb>
mov    %rbx,%rdx
sub    %rcx,%rdx
add    %r14,%rdx
add    %rbp,%rdx
lea    (%rcx,%r13,1),%rax
cmp    %rdx,%rax
jb     1290 <change_to_dns_format+0x170>
mov    %r11,%r8
and    $0xffffffffffffffe0,%r8
lea    -0x20(%r8),%rax
mov    %rax,%r9
shr    $0x5,%r9
add    $0x1,%r9
test   %rax,%rax
je     131d <change_to_dns_format+0x1fd>
mov    (%rsp),%rax
lea    (%rax,%rcx,1),%rdi
lea    (%r12,%rbx,1),%rax
mov    %r9,%rdx
and    $0xfffffffffffffffe,%rdx
xor    %esi,%esi
nop
movups -0x30(%rdi,%rsi,1),%xmm0
movups -0x20(%rdi,%rsi,1),%xmm1
movups %xmm0,-0x30(%rax,%rsi,1)
movups %xmm1,-0x20(%rax,%rsi,1)
movups -0x10(%rdi,%rsi,1),%xmm0
movups (%rdi,%rsi,1),%xmm1
movups %xmm0,-0x10(%rax,%rsi,1)
movups %xmm1,(%rax,%rsi,1)
add    $0x40,%rsi
add    $0xfffffffffffffffe,%rdx
jne    1220 <change_to_dns_format+0x100>
test   $0x1,%r9b
je     1274 <change_to_dns_format+0x154>
lea    (%rsi,%rcx,1),%rax
add    %rbx,%rsi
movups 0x0(%r13,%rax,1),%xmm0
movups 0x10(%r13,%rax,1),%xmm1
movups %xmm0,(%r14,%rsi,1)
movups %xmm1,0x10(%r14,%rsi,1)
add    %r8,%rbx
cmp    %r8,%r11
je     1173 <change_to_dns_format+0x53>
add    %r8,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ebp,%eax
sub    %ecx,%eax
mov    %rcx,%rdx
not    %rdx
add    %rbp,%rdx
test   $0x3,%al
je     12c8 <change_to_dns_format+0x1a8>
mov    %ebp,%eax
sub    %cl,%al
movzbl %al,%esi
and    $0x3,%esi
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%r13,%rcx,1),%eax
mov    %al,(%r14,%rbx,1)
add    $0x1,%rcx
add    $0x1,%rbx
add    $0xffffffffffffffff,%rsi
jne    12b0 <change_to_dns_format+0x190>
cmp    $0x3,%rdx
jb     1173 <change_to_dns_format+0x53>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl 0x0(%r13,%rcx,1),%eax
mov    %al,(%r14,%rbx,1)
movzbl 0x1(%r13,%rcx,1),%eax
mov    %al,0x1(%r14,%rbx,1)
movzbl 0x2(%r13,%rcx,1),%eax
mov    %al,0x2(%r14,%rbx,1)
movzbl 0x3(%r13,%rcx,1),%eax
mov    %al,0x3(%r14,%rbx,1)
add    $0x4,%rcx
add    $0x4,%rbx
cmp    %rcx,%rbp
jne    12e0 <change_to_dns_format+0x1c0>
jmp    1173 <change_to_dns_format+0x53>
xor    %esi,%esi
test   $0x1,%r9b
jne    1256 <change_to_dns_format+0x136>
jmp    1274 <change_to_dns_format+0x154>
xor    %ebx,%ebx
movslq %ebx,%rax
movb   $0x0,(%r14,%rax,1)
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [2 x i8] c".\00"
define void @change_to_dns_format(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
store i32 0, i32* %5
store i32 0, i32* %6
%8 = load i8*, i8** %3
%9 = call i32 @strcat(i8* %8, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %7
br label %10
10: ; preds = %58, %2
%11 = load i32, i32* %7
%12 = load i8*, i8** %3
%13 = call i64 @strlen(i8* %12)
%14 = trunc i64 %13 to i32
%15 = icmp slt i32 %11, %14
br i1 %15, label %16, label %61
16: ; preds = %10
%17 = load i8*, i8** %3
%18 = load i32, i32* %7
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i8, i8* %17, i64 %19
%21 = load i8, i8* %20
%22 = sext i8 %21 to i32
%23 = icmp eq i32 %22, 46
br i1 %23, label %24, label %57
24: ; preds = %16
%25 = load i32, i32* %7
%26 = load i32, i32* %6
%27 = sub nsw i32 %25, %26
%28 = trunc i32 %27 to i8
%29 = load i8*, i8** %4
%30 = load i32, i32* %5
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %29, i64 %31
store i8 %28, i8* %32
%33 = load i32, i32* %5
%34 = add nsw i32 %33, 1
store i32 %34, i32* %5
br label %35
35: ; preds = %51, %24
%36 = load i32, i32* %6
%37 = load i32, i32* %7
%38 = icmp slt i32 %36, %37
br i1 %38, label %39, label %54
39: ; preds = %35
%40 = load i8*, i8** %3
%41 = load i32, i32* %6
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %40, i64 %42
%44 = load i8, i8* %43
%45 = load i8*, i8** %4
%46 = load i32, i32* %5
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %45, i64 %47
store i8 %44, i8* %48
%49 = load i32, i32* %5
%50 = add nsw i32 %49, 1
store i32 %50, i32* %5
br label %51
51: ; preds = %39
%52 = load i32, i32* %6
%53 = add nsw i32 %52, 1
store i32 %53, i32* %6
br label %35
54: ; preds = %35
%55 = load i32, i32* %6
%56 = add nsw i32 %55, 1
store i32 %56, i32* %6
br label %57
57: ; preds = %54, %16
br label %58
58: ; preds = %57
%59 = load i32, i32* %7
%60 = add nsw i32 %59, 1
store i32 %60, i32* %7
br label %10
61: ; preds = %10
%62 = load i8*, i8** %4
%63 = load i32, i32* %5
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %62, i64 %64
store i8 0, i8* %65
ret void
}

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