int new_strcat(char *s, char *t, int num) {
  int i, j;
  for (j = 0; *(s + j) != '\0'; ++j)
    ;
  for (i = 0; (*(t + i) != '\0') && (i < num); ++i, ++j) {
    *(s + j) = *(t + i);
    if (((*(t + i)) & (1 << (7))) && !((*(t + i)) & (1 << (6))))
      ++num;
  }
  for (i = i; i < num; ++i, ++j)
    *(s + j) = ' ';
  *(s + j) = '\0';
  return 0;
}


x86 assembly (clang, -O0):
<new_strcat>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     113e <new_strcat+0x3e>
jmp    1130 <new_strcat+0x30>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1116 <new_strcat+0x16>
movl   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1d(%rbp)
je     116b <new_strcat+0x6b>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
setl   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    117b <new_strcat+0x7b>
jmp    11e8 <new_strcat+0xe8>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0x80,%eax
cmp    $0x0,%eax
je     11cc <new_strcat+0xcc>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0x40,%eax
cmp    $0x0,%eax
jne    11cc <new_strcat+0xcc>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11d1 <new_strcat+0xd1>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1145 <new_strcat+0x45>
mov    -0x18(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    121d <new_strcat+0x11d>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11ee <new_strcat+0xee>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<new_strcat>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %edx,%ebp
mov    %rdi,%r14
mov    $0xffffffffffffffff,%rbx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmpb   $0x0,0x1(%r14,%rbx,1)
lea    0x1(%rbx),%rbx
jne    1130 <new_strcat+0x20>
mov    (%rsi),%al
xor    %r15d,%r15d
test   %al,%al
je     1194 <new_strcat+0x84>
test   %ebp,%ebp
jle    1194 <new_strcat+0x84>
mov    %ebx,%edi
add    %r14,%rdi
xor    %r15d,%r15d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %ebp,%edx
mov    %al,(%rdi,%r15,1)
movzbl (%rsi,%r15,1),%ecx
movzbl 0x1(%rsi,%r15,1),%eax
and    $0xc0,%cl
xor    %ebp,%ebp
cmp    $0x80,%cl
sete   %bpl
add    %edx,%ebp
add    $0x1,%r15
test   %al,%al
je     118f <new_strcat+0x7f>
movslq %ebp,%rcx
cmp    %rcx,%r15
jl     1160 <new_strcat+0x50>
mov    %ebx,%ebx
add    %r15,%rbx
mov    %ebp,%r12d
sub    %r15d,%r12d
jle    125c <new_strcat+0x14c>
mov    %ebx,%ebx
lea    (%r14,%rbx,1),%rdi
mov    %r15d,%edx
not    %edx
add    %ebp,%edx
add    $0x1,%rdx
mov    $0x20,%esi
call   1030 <memset@plt>
cmp    $0x4,%r12d
jb     1247 <new_strcat+0x137>
mov    %r12d,%eax
and    $0xfffffffc,%eax
movd   %ebx,%xmm0
lea    -0x4(%rax),%esi
mov    %esi,%edx
shr    $0x2,%edx
add    $0x1,%edx
mov    %edx,%ecx
and    $0x7,%ecx
cmp    $0x1c,%esi
jae    11ea <new_strcat+0xda>
pxor   %xmm1,%xmm1
jmp    120d <new_strcat+0xfd>
and    $0xfffffff8,%edx
pxor   %xmm1,%xmm1
movdqa 0xe07(%rip),%xmm2
nopl   0x0(%rax)
paddq  %xmm2,%xmm0
paddq  %xmm2,%xmm1
add    $0xfffffff8,%edx
jne    1200 <new_strcat+0xf0>
test   %ecx,%ecx
je     122d <new_strcat+0x11d>
pcmpeqd %xmm2,%xmm2
cs nopw 0x0(%rax,%rax,1)
nop
psubq  %xmm2,%xmm0
psubq  %xmm2,%xmm1
add    $0xffffffff,%ecx
jne    1220 <new_strcat+0x110>
paddq  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddq  %xmm0,%xmm1
movq   %xmm1,%rbx
cmp    %eax,%r12d
je     125c <new_strcat+0x14c>
add    %eax,%r15d
sub    %ebp,%r15d
xor    %eax,%eax
nopl   0x0(%rax)
add    $0xffffffffffffffff,%rax
cmp    %eax,%r15d
jne    1250 <new_strcat+0x140>
sub    %rax,%rbx
mov    %ebx,%eax
movb   $0x0,(%r14,%rax,1)
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @new_strcat(i8* nocapture %0, i8* nocapture %1, i32 %2) {
br label %4
4: ; preds = %4, %3
%5 = phi i64 [ %9, %4 ], [ 0, %3 ]
%6 = getelementptr inbounds i8, i8* %0, i64 %5
%7 = load i8, i8* %6
%8 = icmp eq i8 %7, 0
%9 = add nuw i64 %5, 1
br i1 %8, label %10, label %4
10: ; preds = %4
%11 = load i8, i8* %1
%12 = icmp ne i8 %11, 0
%13 = icmp sgt i32 %2, 0
%14 = and i1 %12, %13
br i1 %14, label %15, label %19
15: ; preds = %10
%16 = and i64 %5, 4294967295
br label %75
17: ; preds = %75
%18 = trunc i64 %87 to i32
br label %19
19: ; preds = %17, %10
%20 = phi i32 [ %2, %10 ], [ %86, %17 ]
%21 = phi i32 [ 0, %10 ], [ %18, %17 ]
%22 = phi i64 [ %5, %10 ], [ %88, %17 ]
%23 = icmp sgt i32 %20, %21
br i1 %23, label %24, label %101
24: ; preds = %19
%25 = and i64 %22, 4294967295
%26 = getelementptr i8, i8* %0, i64 %25
%27 = xor i32 %21, -1
%28 = add i32 %20, %27
%29 = zext i32 %28 to i64
%30 = add nuw nsw i64 %29, 1
%31 = sub i32 %20, %21
%32 = icmp ult i32 %31, 4
br i1 %32, label %72, label %33
33: ; preds = %24
%34 = and i32 %31, -4
%35 = add i32 %21, %34
%36 = insertelement <2 x i64> <i64 poison, i64 0>, i64 %25, i64 0
%37 = add i32 %34, -4
%38 = lshr exact i32 %37, 2
%39 = add nuw nsw i32 %38, 1
%40 = and i32 %39, 7
%41 = icmp ult i32 %37, 28
br i1 %41, label %52, label %42
42: ; preds = %33
%43 = and i32 %39, 2147483640
br label %44
44: ; preds = %44, %42
%45 = phi <2 x i64> [ %36, %42 ], [ %48, %44 ]
%46 = phi <2 x i64> [ zeroinitializer, %42 ], [ %49, %44 ]
%47 = phi i32 [ 0, %42 ], [ %50, %44 ]
%48 = add <2 x i64> %45, <i64 8, i64 8>
%49 = add <2 x i64> %46, <i64 8, i64 8>
%50 = add i32 %47, 8
%51 = icmp eq i32 %50, %43
br i1 %51, label %52, label %44
52: ; preds = %44, %33
%53 = phi <2 x i64> [ undef, %33 ], [ %48, %44 ]
%54 = phi <2 x i64> [ undef, %33 ], [ %49, %44 ]
%55 = phi <2 x i64> [ %36, %33 ], [ %48, %44 ]
%56 = phi <2 x i64> [ zeroinitializer, %33 ], [ %49, %44 ]
%57 = icmp eq i32 %40, 0
br i1 %57, label %66, label %58
58: ; preds = %52, %58
%59 = phi <2 x i64> [ %62, %58 ], [ %55, %52 ]
%60 = phi <2 x i64> [ %63, %58 ], [ %56, %52 ]
%61 = phi i32 [ %64, %58 ], [ 0, %52 ]
%62 = add <2 x i64> %59, <i64 1, i64 1>
%63 = add <2 x i64> %60, <i64 1, i64 1>
%64 = add i32 %61, 1
%65 = icmp eq i32 %64, %40
br i1 %65, label %66, label %58
66: ; preds = %58, %52
%67 = phi <2 x i64> [ %53, %52 ], [ %62, %58 ]
%68 = phi <2 x i64> [ %54, %52 ], [ %63, %58 ]
%69 = add <2 x i64> %68, %67
%70 = call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %69)
%71 = icmp eq i32 %31, %34
br i1 %71, label %101, label %72
72: ; preds = %24, %66
%73 = phi i64 [ %25, %24 ], [ %70, %66 ]
%74 = phi i32 [ %21, %24 ], [ %35, %66 ]
br label %95
75: ; preds = %15, %75
%76 = phi i64 [ 0, %15 ], [ %87, %75 ]
%77 = phi i64 [ %16, %15 ], [ %88, %75 ]
%78 = phi i8 [ %11, %15 ], [ %90, %75 ]
%79 = phi i8* [ %1, %15 ], [ %89, %75 ]
%80 = phi i32 [ %2, %15 ], [ %86, %75 ]
%81 = getelementptr inbounds i8, i8* %0, i64 %77
store i8 %78, i8* %81
%82 = load i8, i8* %79
%83 = and i8 %82, -64
%84 = icmp eq i8 %83, -128
%85 = zext i1 %84 to i32
%86 = add nsw i32 %80, %85
%87 = add nuw nsw i64 %76, 1
%88 = add nuw nsw i64 %77, 1
%89 = getelementptr inbounds i8, i8* %1, i64 %87
%90 = load i8, i8* %89
%91 = icmp ne i8 %90, 0
%92 = sext i32 %86 to i64
%93 = icmp slt i64 %87, %92
%94 = select i1 %91, i1 %93, i1 false
br i1 %94, label %75, label %17
95: ; preds = %72, %95
%96 = phi i64 [ %99, %95 ], [ %73, %72 ]
%97 = phi i32 [ %98, %95 ], [ %74, %72 ]
%98 = add nuw nsw i32 %97, 1
%99 = add nuw nsw i64 %96, 1
%100 = icmp eq i32 %98, %20
br i1 %100, label %101, label %95
101: ; preds = %95, %66, %19
%102 = phi i64 [ %22, %19 ], [ %70, %66 ], [ %99, %95 ]
%103 = and i64 %102, 4294967295
%104 = getelementptr inbounds i8, i8* %0, i64 %103
store i8 0, i8* %104
ret i32 0
}