#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 */
scalar_t__ mallocate(unsigned int);
char *stringappend(char *string1, int end1, char *string2) {
  register char *ostring;
  register char *cp, *cp1;
  register int i;
  cp = string2;
  i = 0;
  while (*cp++)
    i++;
  ostring = ((char *)mallocate((unsigned)((i + end1 + 1) * sizeof(char))));
  cp = ostring;
  cp1 = string1;
  for (i = 0; i < end1; i++)
    *cp++ = *cp1++;
  cp1 = string2;
  while (*cp++ = *cp1++)
    ;
  return ostring;
}


x86 assembly (clang, -O0):
<stringappend>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
cmpb   $0x0,(%rax)
je     1158 <stringappend+0x48>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1132 <stringappend+0x22>
mov    -0x34(%rbp),%eax
add    -0xc(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1030 <mallocate@plt>
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11c5 <stringappend+0xb5>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,(%rax)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1189 <stringappend+0x79>
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%al
mov    -0x28(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    %al,(%rcx)
cmp    $0x0,%al
je     11fc <stringappend+0xec>
jmp    11cd <stringappend+0xbd>
mov    -0x20(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<stringappend>:
push   %r15
push   %r14
push   %r12
push   %rbx
push   %rax
mov    %rdx,%r15
mov    %esi,%r14d
mov    %rdi,%r12
cmpb   $0x0,(%rdx)
je     113d <stringappend+0x2d>
mov    $0x1,%edi
nopl   0x0(%rax,%rax,1)
cmpb   $0x0,(%r15,%rdi,1)
lea    0x1(%rdi),%rdi
jne    1130 <stringappend+0x20>
jmp    1142 <stringappend+0x32>
mov    $0x1,%edi
add    %r14d,%edi
call   1030 <mallocate@plt>
test   %r14d,%r14d
jle    122c <stringappend+0x11c>
lea    -0x1(%r14),%r9d
xor    %r8d,%r8d
cmp    $0x1f,%r9d
jb     1182 <stringappend+0x72>
lea    (%r12,%r9,1),%rcx
add    $0x1,%rcx
cmp    %rax,%rcx
jbe    125c <stringappend+0x14c>
lea    (%rax,%r9,1),%rcx
add    $0x1,%rcx
cmp    %r12,%rcx
jbe    125c <stringappend+0x14c>
mov    %rax,%rdx
mov    %r14d,%esi
sub    %r8d,%esi
mov    %r8d,%r9d
not    %r9d
add    %r14d,%r9d
and    $0x7,%esi
je     11ba <stringappend+0xaa>
neg    %esi
xor    %edi,%edi
nopl   (%rax)
movzbl (%r12),%ecx
add    $0x1,%r12
mov    %cl,(%rdx)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rdi
cmp    %edi,%esi
jne    11a0 <stringappend+0x90>
sub    %edi,%r8d
cmp    $0x7,%r9d
jb     122f <stringappend+0x11f>
sub    %r8d,%r14d
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
movzbl (%r12,%rcx,1),%ebx
mov    %bl,(%rdx,%rcx,1)
movzbl 0x1(%r12,%rcx,1),%ebx
mov    %bl,0x1(%rdx,%rcx,1)
movzbl 0x2(%r12,%rcx,1),%ebx
mov    %bl,0x2(%rdx,%rcx,1)
movzbl 0x3(%r12,%rcx,1),%ebx
mov    %bl,0x3(%rdx,%rcx,1)
movzbl 0x4(%r12,%rcx,1),%ebx
mov    %bl,0x4(%rdx,%rcx,1)
movzbl 0x5(%r12,%rcx,1),%ebx
mov    %bl,0x5(%rdx,%rcx,1)
movzbl 0x6(%r12,%rcx,1),%ebx
mov    %bl,0x6(%rdx,%rcx,1)
movzbl 0x7(%r12,%rcx,1),%ebx
mov    %bl,0x7(%rdx,%rcx,1)
add    $0x8,%rcx
cmp    %ecx,%r14d
jne    11d0 <stringappend+0xc0>
add    %rcx,%rdx
jmp    122f <stringappend+0x11f>
mov    %rax,%rdx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%r15,%rcx,1),%ebx
mov    %bl,(%rdx,%rcx,1)
add    $0x1,%rcx
test   %bl,%bl
jne    1240 <stringappend+0x130>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret
add    $0x1,%r9
mov    %r9,%r8
and    $0xffffffffffffffe0,%r8
lea    -0x20(%r8),%rcx
mov    %rcx,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%edx
and    $0x3,%edx
cmp    $0x60,%rcx
jae    1285 <stringappend+0x175>
xor    %ecx,%ecx
jmp    12f0 <stringappend+0x1e0>
and    $0xfffffffffffffffc,%rdi
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movups (%r12,%rcx,1),%xmm0
movups 0x10(%r12,%rcx,1),%xmm1
movups %xmm0,(%rax,%rcx,1)
movups %xmm1,0x10(%rax,%rcx,1)
movups 0x20(%r12,%rcx,1),%xmm0
movups 0x30(%r12,%rcx,1),%xmm1
movups %xmm0,0x20(%rax,%rcx,1)
movups %xmm1,0x30(%rax,%rcx,1)
movups 0x40(%r12,%rcx,1),%xmm0
movups 0x50(%r12,%rcx,1),%xmm1
movups %xmm0,0x40(%rax,%rcx,1)
movups %xmm1,0x50(%rax,%rcx,1)
movups 0x60(%r12,%rcx,1),%xmm0
movups 0x70(%r12,%rcx,1),%xmm1
movups %xmm0,0x60(%rax,%rcx,1)
movups %xmm1,0x70(%rax,%rcx,1)
sub    $0xffffffffffffff80,%rcx
add    $0xfffffffffffffffc,%rdi
jne    1290 <stringappend+0x180>
test   %rdx,%rdx
je     132b <stringappend+0x21b>
lea    (%rax,%rcx,1),%rdi
add    $0x10,%rdi
add    %r12,%rcx
add    $0x10,%rcx
shl    $0x5,%rdx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups -0x10(%rcx,%rsi,1),%xmm0
movups (%rcx,%rsi,1),%xmm1
movups %xmm0,-0x10(%rdi,%rsi,1)
movups %xmm1,(%rdi,%rsi,1)
add    $0x20,%rsi
cmp    %rsi,%rdx
jne    1310 <stringappend+0x200>
mov    %rax,%rdx
add    %r8,%rdx
cmp    %r8,%r9
je     122f <stringappend+0x11f>
add    %r8,%r12
jmp    1185 <stringappend+0x75>

LLVM IR (-O0):
define i8* @stringappend(i8* %0, i32 %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i8* %2, i8** %6
%11 = load i8*, i8** %6
store i8* %11, i8** %8
store i32 0, i32* %10
br label %12
12: ; preds = %17, %3
%13 = load i8*, i8** %8
%14 = getelementptr inbounds i8, i8* %13, i32 1
store i8* %14, i8** %8
%15 = load i8, i8* %13
%16 = icmp ne i8 %15, 0
br i1 %16, label %17, label %20
17: ; preds = %12
%18 = load i32, i32* %10
%19 = add nsw i32 %18, 1
store i32 %19, i32* %10
br label %12
20: ; preds = %12
%21 = load i32, i32* %10
%22 = load i32, i32* %5
%23 = add nsw i32 %21, %22
%24 = add nsw i32 %23, 1
%25 = sext i32 %24 to i64
%26 = mul i64 %25, 1
%27 = trunc i64 %26 to i32
%28 = call i64 @mallocate(i32 %27)
%29 = inttoptr i64 %28 to i8*
store i8* %29, i8** %7
%30 = load i8*, i8** %7
store i8* %30, i8** %8
%31 = load i8*, i8** %4
store i8* %31, i8** %9
store i32 0, i32* %10
br label %32
32: ; preds = %42, %20
%33 = load i32, i32* %10
%34 = load i32, i32* %5
%35 = icmp slt i32 %33, %34
br i1 %35, label %36, label %45
36: ; preds = %32
%37 = load i8*, i8** %9
%38 = getelementptr inbounds i8, i8* %37, i32 1
store i8* %38, i8** %9
%39 = load i8, i8* %37
%40 = load i8*, i8** %8
%41 = getelementptr inbounds i8, i8* %40, i32 1
store i8* %41, i8** %8
store i8 %39, i8* %40
br label %42
42: ; preds = %36
%43 = load i32, i32* %10
%44 = add nsw i32 %43, 1
store i32 %44, i32* %10
br label %32
45: ; preds = %32
%46 = load i8*, i8** %6
store i8* %46, i8** %9
br label %47
47: ; preds = %54, %45
%48 = load i8*, i8** %9
%49 = getelementptr inbounds i8, i8* %48, i32 1
store i8* %49, i8** %9
%50 = load i8, i8* %48
%51 = load i8*, i8** %8
%52 = getelementptr inbounds i8, i8* %51, i32 1
store i8* %52, i8** %8
store i8 %50, i8* %51
%53 = icmp ne i8 %50, 0
br i1 %53, label %54, label %55
54: ; preds = %47
br label %47
55: ; preds = %47
%56 = load i8*, i8** %7
ret i8* %56
}

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