#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 strlen(char const *);
void string_append(char *_des, const char *_src) {
  int len_destination = strlen(_des);
  int len_source = strlen(_src);
  for (int i = len_destination; i <= len_destination + len_source; ++i) {
    _des[i] = _src[i - len_destination];
  }
  return;
}


x86 assembly (clang, -O0):
<string_append>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    -0x18(%rbp),%ecx
cmp    %ecx,%eax
jg     1178 <string_append+0x68>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    113e <string_append+0x2e>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<string_append>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rsi,%rbx
mov    %rdi,%r14
call   1030 <strlen@plt>
mov    %eax,%ebp
mov    %rbx,%rdi
call   1030 <strlen@plt>
test   %eax,%eax
js     131e <string_append+0x20e>
add    %ebp,%eax
movslq %ebp,%r8
cmp    %eax,%r8d
cmovg  %r8d,%eax
mov    %eax,%r11d
sub    %r8d,%r11d
mov    %r8,%rcx
cmp    $0x7,%r11d
jb     12ae <string_append+0x19e>
lea    (%r14,%r8,1),%r15
lea    (%r11,%rbx,1),%rcx
add    $0x1,%rcx
cmp    %rcx,%r15
jae    117c <string_append+0x6c>
lea    (%r8,%r11,1),%rcx
lea    (%r14,%rcx,1),%rdx
add    $0x1,%rdx
mov    %r8,%rcx
cmp    %rbx,%rdx
ja     12ae <string_append+0x19e>
movabs $0x1ffffffe0,%rdi
cmp    $0x1f,%r11d
jae    1193 <string_append+0x83>
xor    %ebp,%ebp
jmp    127a <string_append+0x16a>
lea    0x1(%r11),%r9
mov    %r9,%rbp
and    %rdi,%rbp
lea    -0x20(%rbp),%rdx
mov    %rdx,%rcx
shr    $0x5,%rcx
add    $0x1,%rcx
mov    %ecx,%r10d
and    $0x3,%r10d
cmp    $0x60,%rdx
jae    11bd <string_append+0xad>
xor    %edx,%edx
jmp    1228 <string_append+0x118>
and    $0xfffffffffffffffc,%rcx
lea    (%r8,%r14,1),%rsi
add    $0x70,%rsi
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
movups (%rbx,%rdx,1),%xmm0
movups 0x10(%rbx,%rdx,1),%xmm1
movups %xmm0,-0x70(%rsi,%rdx,1)
movups %xmm1,-0x60(%rsi,%rdx,1)
movups 0x20(%rbx,%rdx,1),%xmm0
movups 0x30(%rbx,%rdx,1),%xmm1
movups %xmm0,-0x50(%rsi,%rdx,1)
movups %xmm1,-0x40(%rsi,%rdx,1)
movups 0x40(%rbx,%rdx,1),%xmm0
movups 0x50(%rbx,%rdx,1),%xmm1
movups %xmm0,-0x30(%rsi,%rdx,1)
movups %xmm1,-0x20(%rsi,%rdx,1)
movups 0x60(%rbx,%rdx,1),%xmm0
movups 0x70(%rbx,%rdx,1),%xmm1
movups %xmm0,-0x10(%rsi,%rdx,1)
movups %xmm1,(%rsi,%rdx,1)
sub    $0xffffffffffffff80,%rdx
add    $0xfffffffffffffffc,%rcx
jne    11d0 <string_append+0xc0>
test   %r10,%r10
je     126b <string_append+0x15b>
lea    (%rdx,%rbx,1),%rcx
add    $0x10,%rcx
add    %r8,%rdx
add    %r14,%rdx
add    $0x10,%rdx
shl    $0x5,%r10
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nop
movups -0x10(%rcx,%rsi,1),%xmm0
movups (%rcx,%rsi,1),%xmm1
movups %xmm0,-0x10(%rdx,%rsi,1)
movups %xmm1,(%rdx,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%r10
jne    1250 <string_append+0x140>
cmp    %rbp,%r9
je     131e <string_append+0x20e>
test   $0x18,%r9b
je     12a8 <string_append+0x198>
add    $0x1,%r11
add    $0x18,%rdi
and    %r11,%rdi
lea    (%rdi,%r8,1),%rcx
nopl   0x0(%rax)
mov    (%rbx,%rbp,1),%rdx
mov    %rdx,(%r15,%rbp,1)
add    $0x8,%rbp
cmp    %rbp,%rdi
jne    1290 <string_append+0x180>
cmp    %rdi,%r11
jne    12ae <string_append+0x19e>
jmp    131e <string_append+0x20e>
add    %r8,%rbp
mov    %rbp,%rcx
lea    0x1(%rax),%ebp
mov    %ebp,%esi
sub    %ecx,%esi
sub    %ecx,%eax
and    $0x3,%esi
je     12e1 <string_append+0x1d1>
mov    %rbx,%rdi
sub    %r8,%rdi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rdi,%rcx,1),%edx
mov    %dl,(%r14,%rcx,1)
add    $0x1,%rcx
add    $0xffffffff,%esi
jne    12d0 <string_append+0x1c0>
cmp    $0x3,%eax
jb     131e <string_append+0x20e>
mov    %ebp,%eax
sub    %r8,%rbx
add    $0x3,%rbx
nop
movzbl -0x3(%rbx,%rcx,1),%edx
mov    %dl,(%r14,%rcx,1)
movzbl -0x2(%rbx,%rcx,1),%edx
mov    %dl,0x1(%r14,%rcx,1)
movzbl -0x1(%rbx,%rcx,1),%edx
mov    %dl,0x2(%r14,%rcx,1)
movzbl (%rbx,%rcx,1),%edx
mov    %dl,0x3(%r14,%rcx,1)
add    $0x4,%rcx
cmp    %ecx,%eax
jne    12f0 <string_append+0x1e0>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @string_append(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
%8 = load i8*, i8** %3
%9 = call i32 @strlen(i8* %8)
store i32 %9, i32* %5
%10 = load i8*, i8** %4
%11 = call i32 @strlen(i8* %10)
store i32 %11, i32* %6
%12 = load i32, i32* %5
store i32 %12, i32* %7
br label %13
13: ; preds = %31, %2
%14 = load i32, i32* %7
%15 = load i32, i32* %5
%16 = load i32, i32* %6
%17 = add nsw i32 %15, %16
%18 = icmp sle i32 %14, %17
br i1 %18, label %19, label %34
19: ; preds = %13
%20 = load i8*, i8** %4
%21 = load i32, i32* %7
%22 = load i32, i32* %5
%23 = sub nsw i32 %21, %22
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %20, i64 %24
%26 = load i8, i8* %25
%27 = load i8*, i8** %3
%28 = load i32, i32* %7
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i8, i8* %27, i64 %29
store i8 %26, i8* %30
br label %31
31: ; preds = %19
%32 = load i32, i32* %7
%33 = add nsw i32 %32, 1
store i32 %33, i32* %7
br label %13
34: ; preds = %13
ret void
}

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