void __concatps(out, left, leftlen, right, rightlen) unsigned char *out;
unsigned char *left;
unsigned long leftlen;
unsigned char *right;
unsigned long rightlen;
{
  unsigned long outall, leftall, rightall;
  if (!out) {
  } else if (leftlen == 0 || !left) {
    if (rightlen == 0 || !right)
      return;
    __pscpy(out, rightlen, (unsigned long)0, right, rightlen, (unsigned long)0,
            rightlen);
  } else if (rightlen == 0 || !right) {
    if (leftlen == 0 || !left)
      return;
    __pscpy(out, leftlen, (unsigned long)0, left, leftlen, (unsigned long)0,
            leftlen);
  }
  __pscpy(out, leftlen + rightlen, (unsigned long)0, left, leftlen,
          (unsigned long)0, leftlen);
  __pscpy(out, leftlen + rightlen, leftlen, right, rightlen, (unsigned long)0,
          rightlen);
}


x86 assembly (clang, -O0):
<__concatps>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
cmpq   $0x0,-0x8(%rbp)
jne    113c <__concatps+0x2c>
jmp    11fb <__concatps+0xeb>
cmpq   $0x0,-0x18(%rbp)
je     1152 <__concatps+0x42>
cmpq   $0x0,-0x10(%rbp)
jne    1199 <__concatps+0x89>
cmpq   $0x0,-0x28(%rbp)
je     1168 <__concatps+0x58>
cmpq   $0x0,-0x20(%rbp)
jne    116d <__concatps+0x5d>
jmp    1250 <__concatps+0x140>
mov    -0x8(%rbp),%rdi
mov    -0x28(%rbp),%rsi
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
mov    -0x28(%rbp),%rax
xor    %edx,%edx
mov    %edx,%r9d
mov    %r9,%rdx
mov    %rax,(%rsp)
mov    $0x0,%al
call   1030 <__pscpy@plt>
jmp    11f6 <__concatps+0xe6>
cmpq   $0x0,-0x28(%rbp)
je     11af <__concatps+0x9f>
cmpq   $0x0,-0x20(%rbp)
jne    11f1 <__concatps+0xe1>
cmpq   $0x0,-0x18(%rbp)
je     11c5 <__concatps+0xb5>
cmpq   $0x0,-0x10(%rbp)
jne    11ca <__concatps+0xba>
jmp    1250 <__concatps+0x140>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%r8
mov    -0x18(%rbp),%rax
xor    %edx,%edx
mov    %edx,%r9d
mov    %r9,%rdx
mov    %rax,(%rsp)
mov    $0x0,%al
call   1030 <__pscpy@plt>
jmp    11f6 <__concatps+0xe6>
jmp    11fb <__concatps+0xeb>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
add    -0x28(%rbp),%rsi
mov    -0x10(%rbp),%rcx
mov    -0x18(%rbp),%r8
mov    -0x18(%rbp),%rax
xor    %edx,%edx
mov    %edx,%r9d
mov    %r9,%rdx
mov    %rax,(%rsp)
mov    $0x0,%al
call   1030 <__pscpy@plt>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
add    -0x28(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
mov    -0x28(%rbp),%rax
xor    %r9d,%r9d
mov    %rax,(%rsp)
mov    $0x0,%al
call   1030 <__pscpy@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<__concatps>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r8,%r15
mov    %rcx,%r14
mov    %rdx,%rbx
mov    %rsi,%r13
mov    %rdi,%r12
test   %rdi,%rdi
je     117f <__concatps+0x6f>
test   %r15,%r15
setne  %cl
test   %r14,%r14
setne  %al
and    %cl,%al
test   %r13,%r13
je     115f <__concatps+0x4f>
test   %rbx,%rbx
je     115f <__concatps+0x4f>
test   %al,%al
jne    117f <__concatps+0x6f>
mov    %rbx,(%rsp)
mov    %r12,%rdi
mov    %rbx,%rsi
xor    %edx,%edx
mov    %r13,%rcx
mov    %rbx,%r8
jmp    1175 <__concatps+0x65>
test   %al,%al
je     11bc <__concatps+0xac>
mov    %r15,(%rsp)
mov    %r12,%rdi
mov    %r15,%rsi
xor    %edx,%edx
mov    %r14,%rcx
mov    %r15,%r8
xor    %r9d,%r9d
xor    %eax,%eax
call   1030 <__pscpy@plt>
lea    (%r15,%rbx,1),%rbp
mov    %rbx,(%rsp)
mov    %r12,%rdi
mov    %rbp,%rsi
xor    %edx,%edx
mov    %r13,%rcx
mov    %rbx,%r8
xor    %r9d,%r9d
xor    %eax,%eax
call   1030 <__pscpy@plt>
mov    %r15,(%rsp)
mov    %r12,%rdi
mov    %rbp,%rsi
mov    %rbx,%rdx
mov    %r14,%rcx
mov    %r15,%r8
xor    %r9d,%r9d
xor    %eax,%eax
call   1030 <__pscpy@plt>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @__concatps(i8* %0, i8* %1, i64 %2, i8* %3, i64 %4) {
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i64
%9 = alloca i8*
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
store i8* %0, i8** %6
store i8* %1, i8** %7
store i64 %2, i64* %8
store i8* %3, i8** %9
store i64 %4, i64* %10
%14 = load i8*, i8** %6
%15 = icmp ne i8* %14, null
br i1 %15, label %17, label %16
16: ; preds = %5
br label %59
17: ; preds = %5
%18 = load i64, i64* %8
%19 = icmp eq i64 %18, 0
br i1 %19, label %23, label %20
20: ; preds = %17
%21 = load i8*, i8** %7
%22 = icmp ne i8* %21, null
br i1 %22, label %37, label %23
23: ; preds = %20, %17
%24 = load i64, i64* %10
%25 = icmp eq i64 %24, 0
br i1 %25, label %29, label %26
26: ; preds = %23
%27 = load i8*, i8** %9
%28 = icmp ne i8* %27, null
br i1 %28, label %30, label %29
29: ; preds = %26, %23
br label %77
30: ; preds = %26
%31 = load i8*, i8** %6
%32 = load i64, i64* %10
%33 = load i8*, i8** %9
%34 = load i64, i64* %10
%35 = load i64, i64* %10
%36 = call i32 (i8*, i64, i64, i8*, i64, i64, i64, ...) bitcast (i32 (...)* @__pscpy to i32 (i8*, i64, i64, i8*, i64, i64, i64, ...)*)(i8* %31, i64 %32, i64 0, i8* %33, i64 %34, i64 0, i64 %35)
br label %58
37: ; preds = %20
%38 = load i64, i64* %10
%39 = icmp eq i64 %38, 0
br i1 %39, label %43, label %40
40: ; preds = %37
%41 = load i8*, i8** %9
%42 = icmp ne i8* %41, null
br i1 %42, label %57, label %43
43: ; preds = %40, %37
%44 = load i64, i64* %8
%45 = icmp eq i64 %44, 0
br i1 %45, label %49, label %46
46: ; preds = %43
%47 = load i8*, i8** %7
%48 = icmp ne i8* %47, null
br i1 %48, label %50, label %49
49: ; preds = %46, %43
br label %77
50: ; preds = %46
%51 = load i8*, i8** %6
%52 = load i64, i64* %8
%53 = load i8*, i8** %7
%54 = load i64, i64* %8
%55 = load i64, i64* %8
%56 = call i32 (i8*, i64, i64, i8*, i64, i64, i64, ...) bitcast (i32 (...)* @__pscpy to i32 (i8*, i64, i64, i8*, i64, i64, i64, ...)*)(i8* %51, i64 %52, i64 0, i8* %53, i64 %54, i64 0, i64 %55)
br label %57
57: ; preds = %50, %40
br label %58
58: ; preds = %57, %30
br label %59
59: ; preds = %58, %16
%60 = load i8*, i8** %6
%61 = load i64, i64* %8
%62 = load i64, i64* %10
%63 = add i64 %61, %62
%64 = load i8*, i8** %7
%65 = load i64, i64* %8
%66 = load i64, i64* %8
%67 = call i32 (i8*, i64, i64, i8*, i64, i64, i64, ...) bitcast (i32 (...)* @__pscpy to i32 (i8*, i64, i64, i8*, i64, i64, i64, ...)*)(i8* %60, i64 %63, i64 0, i8* %64, i64 %65, i64 0, i64 %66)
%68 = load i8*, i8** %6
%69 = load i64, i64* %8
%70 = load i64, i64* %10
%71 = add i64 %69, %70
%72 = load i64, i64* %8
%73 = load i8*, i8** %9
%74 = load i64, i64* %10
%75 = load i64, i64* %10
%76 = call i32 (i8*, i64, i64, i8*, i64, i64, i64, ...) bitcast (i32 (...)* @__pscpy to i32 (i8*, i64, i64, i8*, i64, i64, i64, ...)*)(i8* %68, i64 %71, i64 %72, i8* %73, i64 %74, i64 0, i64 %75)
br label %77
77: ; preds = %59, %49, %29
ret void
}

LLVM IR (-O2):
define void @__concatps(i8* %0, i8* %1, i64 %2, i8* %3, i64 %4) {
%6 = icmp eq i8* %0, null
br i1 %6, label %20, label %7
7: ; preds = %5
%8 = icmp ne i64 %2, 0
%9 = icmp ne i8* %1, null
%10 = and i1 %9, %8
%11 = icmp ne i64 %4, 0
%12 = icmp ne i8* %3, null
%13 = and i1 %12, %11
br i1 %10, label %17, label %14
14: ; preds = %7
br i1 %13, label %15, label %24
15: ; preds = %14
%16 = tail call i32 (i8*, i64, i64, i8*, i64, i64, i64, ...) bitcast (i32 (...)* @__pscpy to i32 (i8*, i64, i64, i8*, i64, i64, i64, ...)*)(i8* %0, i64 %4, i64 0, i8* %3, i64 %4, i64 0, i64 %4)
br label %20
17: ; preds = %7
br i1 %13, label %20, label %18
18: ; preds = %17
%19 = tail call i32 (i8*, i64, i64, i8*, i64, i64, i64, ...) bitcast (i32 (...)* @__pscpy to i32 (i8*, i64, i64, i8*, i64, i64, i64, ...)*)(i8* %0, i64 %2, i64 0, i8* %1, i64 %2, i64 0, i64 %2)
br label %20
20: ; preds = %15, %17, %18, %5
%21 = add i64 %4, %2
%22 = tail call i32 (i8*, i64, i64, i8*, i64, i64, i64, ...) bitcast (i32 (...)* @__pscpy to i32 (i8*, i64, i64, i8*, i64, i64, i64, ...)*)(i8* %0, i64 %21, i64 0, i8* %1, i64 %2, i64 0, i64 %2)
%23 = tail call i32 (i8*, i64, i64, i8*, i64, i64, i64, ...) bitcast (i32 (...)* @__pscpy to i32 (i8*, i64, i64, i8*, i64, i64, i64, ...)*)(i8* %0, i64 %21, i64 %2, i8* %3, i64 %4, i64 0, i64 %4)
br label %24
24: ; preds = %14, %20
ret void
}