#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*/ free(char *);
char *malloc(int);
char *my_strcat(char *dest, char src[(30) + 1], int count, int *pos) {
  char *buffer;
  int k;
  int i;
  int j;
  k = 0;
  i = -1;
  j = -1;
  if (dest != NULL)
    while (dest[k] != 0)
      k++;
  if ((buffer = malloc(k + count + 1)) == NULL)
    return (NULL);
  while ((i = i + 1) < k)
    buffer[i] = dest[i];
  while ((j = j + 1) < count)
    buffer[i + j] = src[*pos + j];
  buffer[i + j] = 0;
  if (dest != NULL)
    free(dest);
  *pos = *pos + count + 1;
  return (buffer);
}


x86 assembly (clang, -O0):
<my_strcat>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %rcx,-0x28(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0xffffffff,-0x38(%rbp)
movl   $0xffffffff,-0x3c(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1184 <my_strcat+0x64>
jmp    115c <my_strcat+0x3c>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     117f <my_strcat+0x5f>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    115c <my_strcat+0x3c>
jmp    1184 <my_strcat+0x64>
mov    -0x34(%rbp),%edi
add    -0x1c(%rbp),%edi
add    $0x1,%edi
call   1040 <malloc@plt>
mov    %rax,-0x30(%rbp)
cmp    $0x0,%rax
jne    11ad <my_strcat+0x8d>
movq   $0x0,-0x8(%rbp)
jmp    125d <my_strcat+0x13d>
jmp    11b2 <my_strcat+0x92>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
cmp    -0x34(%rbp),%eax
jge    11df <my_strcat+0xbf>
mov    -0x10(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x30(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    11b2 <my_strcat+0x92>
jmp    11e4 <my_strcat+0xc4>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
cmp    -0x1c(%rbp),%eax
jge    121e <my_strcat+0xfe>
mov    -0x18(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rcx),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    11e4 <my_strcat+0xc4>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
cmpq   $0x0,-0x10(%rbp)
je     1243 <my_strcat+0x123>
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
add    -0x1c(%rbp),%ecx
add    $0x1,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<my_strcat>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r14
mov    %edx,%r13d
mov    %rsi,%r12
mov    %rdi,%r15
test   %rdi,%rdi
je     116e <my_strcat+0x3e>
mov    $0xffffffff,%ebp
mov    %r15,%rax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%ebp
cmpb   $0x0,(%rax)
lea    0x1(%rax),%rax
jne    1160 <my_strcat+0x30>
jmp    1170 <my_strcat+0x40>
xor    %ebp,%ebp
lea    0x1(%r13,%rbp,1),%edi
call   1050 <malloc@plt>
mov    %rax,%rbx
test   %rax,%rax
je     11d5 <my_strcat+0xa5>
test   %ebp,%ebp
je     1193 <my_strcat+0x63>
mov    %ebp,%edx
mov    %rbx,%rdi
mov    %r15,%rsi
call   1040 <memcpy@plt>
test   %r13d,%r13d
jle    11b7 <my_strcat+0x87>
movslq (%r14),%rax
movslq %ebp,%rcx
mov    %rbx,%rdi
add    %rcx,%rdi
add    %rax,%r12
mov    %r13d,%edx
mov    %r12,%rsi
call   1040 <memcpy@plt>
mov    %r13d,%eax
jmp    11b9 <my_strcat+0x89>
xor    %eax,%eax
add    $0x1,%r13d
add    %ebp,%eax
cltq
movb   $0x0,(%rbx,%rax,1)
test   %r15,%r15
je     11d2 <my_strcat+0xa2>
mov    %r15,%rdi
call   1030 <free@plt>
add    %r13d,(%r14)
mov    %rbx,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @my_strcat(i8* %0, i8* %1, i32 %2, i32* %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32*
%10 = alloca i8*
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
store i8* %0, i8** %6
store i8* %1, i8** %7
store i32 %2, i32* %8
store i32* %3, i32** %9
store i32 0, i32* %11
store i32 -1, i32* %12
store i32 -1, i32* %13
%14 = load i8*, i8** %6
%15 = icmp ne i8* %14, null
br i1 %15, label %16, label %29
16: ; preds = %4
br label %17
17: ; preds = %25, %16
%18 = load i8*, i8** %6
%19 = load i32, i32* %11
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %18, i64 %20
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = icmp ne i32 %23, 0
br i1 %24, label %25, label %28
25: ; preds = %17
%26 = load i32, i32* %11
%27 = add nsw i32 %26, 1
store i32 %27, i32* %11
br label %17
28: ; preds = %17
br label %29
29: ; preds = %28, %4
%30 = load i32, i32* %11
%31 = load i32, i32* %8
%32 = add nsw i32 %30, %31
%33 = add nsw i32 %32, 1
%34 = call i8* @malloc(i32 %33)
store i8* %34, i8** %10
%35 = icmp eq i8* %34, null
br i1 %35, label %36, label %37
36: ; preds = %29
store i8* null, i8** %5
br label %94
37: ; preds = %29
br label %38
38: ; preds = %43, %37
%39 = load i32, i32* %12
%40 = add nsw i32 %39, 1
store i32 %40, i32* %12
%41 = load i32, i32* %11
%42 = icmp slt i32 %40, %41
br i1 %42, label %43, label %53
43: ; preds = %38
%44 = load i8*, i8** %6
%45 = load i32, i32* %12
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %44, i64 %46
%48 = load i8, i8* %47
%49 = load i8*, i8** %10
%50 = load i32, i32* %12
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %49, i64 %51
store i8 %48, i8* %52
br label %38
53: ; preds = %38
br label %54
54: ; preds = %59, %53
%55 = load i32, i32* %13
%56 = add nsw i32 %55, 1
store i32 %56, i32* %13
%57 = load i32, i32* %8
%58 = icmp slt i32 %56, %57
br i1 %58, label %59, label %74
59: ; preds = %54
%60 = load i8*, i8** %7
%61 = load i32*, i32** %9
%62 = load i32, i32* %61
%63 = load i32, i32* %13
%64 = add nsw i32 %62, %63
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds i8, i8* %60, i64 %65
%67 = load i8, i8* %66
%68 = load i8*, i8** %10
%69 = load i32, i32* %12
%70 = load i32, i32* %13
%71 = add nsw i32 %69, %70
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %68, i64 %72
store i8 %67, i8* %73
br label %54
74: ; preds = %54
%75 = load i8*, i8** %10
%76 = load i32, i32* %12
%77 = load i32, i32* %13
%78 = add nsw i32 %76, %77
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i8, i8* %75, i64 %79
store i8 0, i8* %80
%81 = load i8*, i8** %6
%82 = icmp ne i8* %81, null
br i1 %82, label %83, label %86
83: ; preds = %74
%84 = load i8*, i8** %6
%85 = call i32 @free(i8* %84)
br label %86
86: ; preds = %83, %74
%87 = load i32*, i32** %9
%88 = load i32, i32* %87
%89 = load i32, i32* %8
%90 = add nsw i32 %88, %89
%91 = add nsw i32 %90, 1
%92 = load i32*, i32** %9
store i32 %91, i32* %92
%93 = load i8*, i8** %10
store i8* %93, i8** %5
br label %94
94: ; preds = %86, %36
%95 = load i8*, i8** %5
ret i8* %95
}

LLVM IR (-O2):
define noalias i8* @my_strcat(i8* %0, i8* nocapture %1, i32 %2, i32* nocapture %3) {
%5 = icmp eq i8* %0, null
br i1 %5, label %14, label %6
6: ; preds = %4, %6
%7 = phi i64 [ %11, %6 ], [ 0, %4 ]
%8 = getelementptr inbounds i8, i8* %0, i64 %7
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 0
%11 = add nuw i64 %7, 1
br i1 %10, label %12, label %6
12: ; preds = %6
%13 = trunc i64 %7 to i32
br label %14
14: ; preds = %12, %4
%15 = phi i32 [ 0, %4 ], [ %13, %12 ]
%16 = add i32 %2, 1
%17 = add i32 %16, %15
%18 = tail call i8* @malloc(i32 %17)
%19 = icmp eq i8* %18, null
br i1 %19, label %43, label %20
20: ; preds = %14
%21 = icmp eq i32 %15, 0
br i1 %21, label %24, label %22
22: ; preds = %20
%23 = zext i32 %15 to i64
br label %24
24: ; preds = %22, %20
%25 = icmp sgt i32 %2, 0
br i1 %25, label %26, label %33
26: ; preds = %24
%27 = load i32, i32* %3
%28 = sext i32 %15 to i64
%29 = getelementptr i8, i8* %18, i64 %28
%30 = sext i32 %27 to i64
%31 = getelementptr i8, i8* %1, i64 %30
%32 = zext i32 %2 to i64
br label %33
33: ; preds = %26, %24
%34 = phi i32 [ 0, %24 ], [ %2, %26 ]
%35 = add nsw i32 %34, %15
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %18, i64 %36
store i8 0, i8* %37
br i1 %5, label %40, label %38
38: ; preds = %33
%39 = tail call i32 @free(i8* %0)
br label %40
40: ; preds = %38, %33
%41 = load i32, i32* %3
%42 = add i32 %16, %41
store i32 %42, i32* %3
br label %43
43: ; preds = %14, %40
ret i8* %18
}