char *myStrcat(char *start, unsigned count) {
  unsigned i;
  char *a = start, *b = start;
  while (*a) {
    ++a;
  }
  for (i = 1; i < count; ++i) {
    for (b = start + i * 81; *b; ++b, ++a) {
      *a = *b;
    }
  }
  *a = 0;
  return start;
}


x86 assembly (clang, -O0):
<myStrcat>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     1139 <myStrcat+0x39>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    111b <myStrcat+0x1b>
movl   $0x1,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    11a6 <myStrcat+0xa6>
mov    -0x8(%rbp),%rax
imul   $0x51,-0x10(%rbp),%ecx
mov    %ecx,%ecx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmpb   $0x0,(%rax)
je     1193 <myStrcat+0x93>
mov    -0x20(%rbp),%rax
mov    (%rax),%cl
mov    -0x18(%rbp),%rax
mov    %cl,(%rax)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    115d <myStrcat+0x5d>
jmp    1198 <myStrcat+0x98>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1140 <myStrcat+0x40>
mov    -0x18(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<myStrcat>:
push   %rbp
push   %r14
push   %rbx
mov    %rdi,%rax
lea    -0x1(%rdi),%rcx
nopl   0x0(%rax,%rax,1)
cmpb   $0x0,0x1(%rcx)
lea    0x1(%rcx),%rcx
jne    1110 <myStrcat+0x10>
cmp    $0x2,%esi
jb     1211 <myStrcat+0x111>
mov    %esi,%r8d
add    $0xffffffffffffffff,%r8
cmp    $0x2,%esi
jne    1143 <myStrcat+0x43>
mov    $0x51,%edx
test   $0x1,%r8b
jne    11f0 <myStrcat+0xf0>
jmp    1211 <myStrcat+0x111>
mov    %r8,%r11
and    $0xfffffffffffffffe,%r11
lea    0x2(%rax),%r9
lea    0x1(%rax),%r10
mov    $0x1,%edi
mov    $0x50,%r14d
mov    $0xa2,%esi
xor    %ebx,%ebx
jmp    118a <myStrcat+0x8a>
cs nopw 0x0(%rax,%rax,1)
add    $0x2,%rdi
add    $0x2,%rbx
add    $0xa2,%r14d
add    $0xa2,%esi
cmp    %r11,%rbx
je     11e4 <myStrcat+0xe4>
lea    (%rdi,%rdi,8),%edx
lea    (%rdx,%rdx,8),%edx
mov    (%rax,%rdx,1),%dl
test   %dl,%dl
je     11b2 <myStrcat+0xb2>
mov    %r14d,%ebp
add    %r9,%rbp
nopl   (%rax)
mov    %dl,(%rcx)
add    $0x1,%rcx
movzbl 0x0(%rbp),%edx
add    $0x1,%rbp
test   %dl,%dl
jne    11a0 <myStrcat+0xa0>
lea    (%rdi,%rdi,8),%edx
lea    (%rdx,%rdx,8),%edx
add    $0x51,%edx
mov    (%rax,%rdx,1),%dl
test   %dl,%dl
je     1170 <myStrcat+0x70>
mov    %esi,%ebp
add    %r10,%rbp
nopw   0x0(%rax,%rax,1)
mov    %dl,(%rcx)
add    $0x1,%rcx
movzbl 0x0(%rbp),%edx
add    $0x1,%rbp
test   %dl,%dl
jne    11d0 <myStrcat+0xd0>
jmp    1170 <myStrcat+0x70>
lea    (%rdi,%rdi,8),%edx
lea    (%rdx,%rdx,8),%edx
test   $0x1,%r8b
je     1211 <myStrcat+0x111>
mov    (%rax,%rdx,1),%bl
test   %bl,%bl
je     1211 <myStrcat+0x111>
add    %rax,%rdx
add    $0x1,%rdx
xchg   %ax,%ax
mov    %bl,(%rcx)
add    $0x1,%rcx
movzbl (%rdx),%ebx
add    $0x1,%rdx
test   %bl,%bl
jne    1200 <myStrcat+0x100>
movb   $0x0,(%rcx)
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i8* @myStrcat(i8* %0, i32 %1) {
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
store i8* %0, i8** %3
store i32 %1, i32* %4
%8 = load i8*, i8** %3
store i8* %8, i8** %6
%9 = load i8*, i8** %3
store i8* %9, i8** %7
br label %10
10: ; preds = %14, %2
%11 = load i8*, i8** %6
%12 = load i8, i8* %11
%13 = icmp ne i8 %12, 0
br i1 %13, label %14, label %17
14: ; preds = %10
%15 = load i8*, i8** %6
%16 = getelementptr inbounds i8, i8* %15, i32 1
store i8* %16, i8** %6
br label %10
17: ; preds = %10
store i32 1, i32* %5
br label %18
18: ; preds = %42, %17
%19 = load i32, i32* %5
%20 = load i32, i32* %4
%21 = icmp ult i32 %19, %20
br i1 %21, label %22, label %45
22: ; preds = %18
%23 = load i8*, i8** %3
%24 = load i32, i32* %5
%25 = mul i32 %24, 81
%26 = zext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %23, i64 %26
store i8* %27, i8** %7
br label %28
28: ; preds = %36, %22
%29 = load i8*, i8** %7
%30 = load i8, i8* %29
%31 = icmp ne i8 %30, 0
br i1 %31, label %32, label %41
32: ; preds = %28
%33 = load i8*, i8** %7
%34 = load i8, i8* %33
%35 = load i8*, i8** %6
store i8 %34, i8* %35
br label %36
36: ; preds = %32
%37 = load i8*, i8** %7
%38 = getelementptr inbounds i8, i8* %37, i32 1
store i8* %38, i8** %7
%39 = load i8*, i8** %6
%40 = getelementptr inbounds i8, i8* %39, i32 1
store i8* %40, i8** %6
br label %28
41: ; preds = %28
br label %42
42: ; preds = %41
%43 = load i32, i32* %5
%44 = add i32 %43, 1
store i32 %44, i32* %5
br label %18
45: ; preds = %18
%46 = load i8*, i8** %6
store i8 0, i8* %46
%47 = load i8*, i8** %3
ret i8* %47
}

LLVM IR (-O2):
define i8* @myStrcat(i8* returned %0, i32 %1) {
br label %3
3: ; preds = %3, %2
%4 = phi i8* [ %0, %2 ], [ %7, %3 ]
%5 = load i8, i8* %4
%6 = icmp eq i8 %5, 0
%7 = getelementptr inbounds i8, i8* %4, i64 1
br i1 %6, label %8, label %3
8: ; preds = %3
%9 = icmp ugt i32 %1, 1
br i1 %9, label %10, label %75
10: ; preds = %8
%11 = zext i32 %1 to i64
%12 = add nsw i64 %11, -1
%13 = and i64 %12, 1
%14 = icmp eq i32 %1, 2
br i1 %14, label %58, label %15
15: ; preds = %10
%16 = and i64 %12, -2
br label %17
17: ; preds = %50, %15
%18 = phi i64 [ 1, %15 ], [ %52, %50 ]
%19 = phi i8* [ %4, %15 ], [ %51, %50 ]
%20 = phi i64 [ 0, %15 ], [ %53, %50 ]
%21 = mul i64 %18, 81
%22 = and i64 %21, 4294967295
%23 = getelementptr inbounds i8, i8* %0, i64 %22
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 0
br i1 %25, label %34, label %26
26: ; preds = %17, %26
%27 = phi i8 [ %32, %26 ], [ %24, %17 ]
%28 = phi i8* [ %30, %26 ], [ %23, %17 ]
%29 = phi i8* [ %31, %26 ], [ %19, %17 ]
store i8 %27, i8* %29
%30 = getelementptr inbounds i8, i8* %28, i64 1
%31 = getelementptr inbounds i8, i8* %29, i64 1
%32 = load i8, i8* %30
%33 = icmp eq i8 %32, 0
br i1 %33, label %34, label %26
34: ; preds = %26, %17
%35 = phi i8* [ %19, %17 ], [ %31, %26 ]
%36 = mul i64 %18, 81
%37 = add i64 %36, 81
%38 = and i64 %37, 4294967295
%39 = getelementptr inbounds i8, i8* %0, i64 %38
%40 = load i8, i8* %39
%41 = icmp eq i8 %40, 0
br i1 %41, label %50, label %42
42: ; preds = %34, %42
%43 = phi i8 [ %48, %42 ], [ %40, %34 ]
%44 = phi i8* [ %46, %42 ], [ %39, %34 ]
%45 = phi i8* [ %47, %42 ], [ %35, %34 ]
store i8 %43, i8* %45
%46 = getelementptr inbounds i8, i8* %44, i64 1
%47 = getelementptr inbounds i8, i8* %45, i64 1
%48 = load i8, i8* %46
%49 = icmp eq i8 %48, 0
br i1 %49, label %50, label %42
50: ; preds = %42, %34
%51 = phi i8* [ %35, %34 ], [ %47, %42 ]
%52 = add nuw nsw i64 %18, 2
%53 = add i64 %20, 2
%54 = icmp eq i64 %53, %16
br i1 %54, label %55, label %17
55: ; preds = %50
%56 = mul i64 %52, 81
%57 = and i64 %56, 4294967295
br label %58
58: ; preds = %55, %10
%59 = phi i8* [ undef, %10 ], [ %51, %55 ]
%60 = phi i64 [ 81, %10 ], [ %57, %55 ]
%61 = phi i8* [ %4, %10 ], [ %51, %55 ]
%62 = icmp eq i64 %13, 0
br i1 %62, label %75, label %63
63: ; preds = %58
%64 = getelementptr inbounds i8, i8* %0, i64 %60
%65 = load i8, i8* %64
%66 = icmp eq i8 %65, 0
br i1 %66, label %75, label %67
67: ; preds = %63, %67
%68 = phi i8 [ %73, %67 ], [ %65, %63 ]
%69 = phi i8* [ %71, %67 ], [ %64, %63 ]
%70 = phi i8* [ %72, %67 ], [ %61, %63 ]
store i8 %68, i8* %70
%71 = getelementptr inbounds i8, i8* %69, i64 1
%72 = getelementptr inbounds i8, i8* %70, i64 1
%73 = load i8, i8* %71
%74 = icmp eq i8 %73, 0
br i1 %74, label %75, label %67
75: ; preds = %58, %67, %63, %8
%76 = phi i8* [ %4, %8 ], [ %59, %58 ], [ %61, %63 ], [ %72, %67 ]
store i8 0, i8* %76
ret i8* %0
}