#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 */
unsigned int strlen(char *);
void concat(char dest[], char source[]) {
  unsigned int i, j, n;
  j = strlen(dest);
  n = strlen(source);
  for (i = 0; i <= n; i++) {
    dest[i + j] = source[i];
  }
}


x86 assembly (clang, -O0):
<concat>:
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,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
ja     1172 <concat+0x62>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    -0x18(%rbp),%ecx
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    113f <concat+0x2f>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<concat>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rsi,%rbx
mov    %rdi,%r14
call   1030 <strlen@plt>
mov    %eax,%r15d
mov    %rbx,%rdi
call   1030 <strlen@plt>
lea    0x1(%rax),%r10d
cmp    $0x7,%eax
jae    11de <concat+0xce>
xor    %edx,%edx
mov    %rdx,%r8
not    %r8
add    %r10,%r8
mov    %r10,%rsi
and    $0x3,%rsi
je     1175 <concat+0x65>
mov    %r15d,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rbx,%rdx,1),%eax
lea    (%rdi,%rdx,1),%ebp
mov    %al,(%r14,%rbp,1)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rsi
jne    1160 <concat+0x50>
cmp    $0x3,%r8
jb     11d3 <concat+0xc3>
mov    %r15d,%eax
add    $0x3,%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl -0x3(%rbx,%rdx,1),%ecx
lea    (%rdx,%rax,1),%rsi
mov    %esi,%edi
mov    %cl,(%r14,%rdi,1)
movzbl -0x2(%rbx,%rdx,1),%ecx
lea    0x1(%rsi),%edi
mov    %cl,(%r14,%rdi,1)
movzbl -0x1(%rbx,%rdx,1),%ecx
lea    0x2(%rsi),%edi
mov    %cl,(%r14,%rdi,1)
movzbl (%rbx,%rdx,1),%ecx
add    $0x3,%esi
mov    %cl,(%r14,%rsi,1)
add    $0xfffffffffffffffc,%r10
add    $0x4,%rax
add    $0x4,%rbx
cmp    %r10,%rdx
jne    1190 <concat+0x80>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
lea    -0x1(%r10),%rsi
xor    %edx,%edx
mov    %r15d,%edi
add    %esi,%edi
jb     113c <concat+0x2c>
shr    $0x20,%rsi
jne    113c <concat+0x2c>
mov    %r15d,%r9d
lea    (%r9,%r10,1),%rdx
add    %r14,%rdx
cmp    %rbx,%rdx
jbe    1219 <concat+0x109>
lea    (%rbx,%r10,1),%rdx
lea    (%r14,%r9,1),%rdi
cmp    %rdx,%rdi
jb     113a <concat+0x2a>
cmp    $0x1f,%eax
jae    1225 <concat+0x115>
xor    %edx,%edx
jmp    1323 <concat+0x213>
mov    %r10d,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rdi
mov    %rdi,%rax
shr    $0x5,%rax
add    $0x1,%rax
mov    %eax,%r8d
and    $0x3,%r8d
cmp    $0x60,%rdi
jae    124e <concat+0x13e>
xor    %edi,%edi
jmp    12cb <concat+0x1bb>
and    $0xfffffffffffffffc,%rax
xor    %edi,%edi
mov    %r15d,%ebp
nopw   0x0(%rax,%rax,1)
movups (%rbx,%rdi,1),%xmm0
movups 0x10(%rbx,%rdi,1),%xmm1
mov    %ebp,%esi
movups %xmm0,(%r14,%rsi,1)
movups %xmm1,0x10(%r14,%rsi,1)
movups 0x20(%rbx,%rdi,1),%xmm0
movups 0x30(%rbx,%rdi,1),%xmm1
lea    0x20(%rbp),%esi
movups %xmm0,(%r14,%rsi,1)
movups %xmm1,0x10(%r14,%rsi,1)
movups 0x40(%rbx,%rdi,1),%xmm0
movups 0x50(%rbx,%rdi,1),%xmm1
lea    0x40(%rbp),%esi
movups %xmm0,(%r14,%rsi,1)
movups %xmm1,0x10(%r14,%rsi,1)
movups 0x60(%rbx,%rdi,1),%xmm0
movups 0x70(%rbx,%rdi,1),%xmm1
lea    0x60(%rbp),%esi
movups %xmm0,(%r14,%rsi,1)
movups %xmm1,0x10(%r14,%rsi,1)
sub    $0xffffffffffffff80,%rdi
sub    $0xffffff80,%ebp
add    $0xfffffffffffffffc,%rax
jne    1260 <concat+0x150>
test   %r8,%r8
je     1310 <concat+0x200>
lea    (%rdi,%rbx,1),%rax
add    $0x10,%rax
add    %r15d,%edi
shl    $0x5,%r8
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups -0x10(%rax,%rbp,1),%xmm0
movups (%rax,%rbp,1),%xmm1
lea    (%rdi,%rbp,1),%esi
movups %xmm0,(%r14,%rsi,1)
movups %xmm1,0x10(%r14,%rsi,1)
add    $0x20,%rbp
cmp    %rbp,%r8
jne    12f0 <concat+0x1e0>
cmp    %r10,%rdx
je     11d3 <concat+0xc3>
test   $0x18,%r10b
je     113c <concat+0x2c>
mov    %rdx,%rax
mov    %r10d,%edx
and    $0xfffffff8,%edx
nopl   0x0(%rax)
mov    (%rbx,%rax,1),%rsi
lea    (%r9,%rax,1),%edi
mov    %rsi,(%r14,%rdi,1)
add    $0x8,%rax
cmp    %rax,%rdx
jne    1330 <concat+0x220>
cmp    %r10,%rdx
je     11d3 <concat+0xc3>
jmp    113c <concat+0x2c>

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

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