int _string_finish(char **p, char *tmp, int tmplen) {
  char *tmp2;
  if (tmplen == 0) {
    if (*p == ((void *)0))
      *p = scopy("");
  } else {
    tmp[tmplen] = '\0';
    if (*p != ((void *)0)) {
      tmp2 = scat(*p, tmp);
      free(*p);
      *p = tmp2;
    } else {
      *p = scopy(tmp);
    }
  }
  return *p != ((void *)0);
}


x86 assembly (clang, -O0):
<_string_finish>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1178 <_string_finish+0x48>
mov    -0x8(%rbp),%rax
cmpq   $0x0,(%rax)
jne    1173 <_string_finish+0x43>
lea    0xe9e(%rip),%rdi
mov    $0x0,%al
call   1040 <scopy@plt>
movslq %eax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
jmp    11e0 <_string_finish+0xb0>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
cmpq   $0x0,(%rax)
je     11c6 <_string_finish+0x96>
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
mov    -0x10(%rbp),%rsi
mov    $0x0,%al
call   1050 <scat@plt>
cltq
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%rdi
call   1030 <free@plt>
mov    -0x20(%rbp),%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
jmp    11db <_string_finish+0xab>
mov    -0x10(%rbp),%rdi
mov    $0x0,%al
call   1040 <scopy@plt>
movslq %eax,%rcx
mov    -0x8(%rbp),%rax
mov    %rcx,(%rax)
jmp    11e0 <_string_finish+0xb0>
mov    -0x8(%rbp),%rax
cmpq   $0x0,(%rax)
setne  %al
and    $0x1,%al
movzbl %al,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<_string_finish>:
push   %rbp
push   %rbx
push   %rax
mov    %rdi,%rbx
test   %edx,%edx
je     115c <_string_finish+0x2c>
movslq %edx,%rax
movb   $0x0,(%rsi,%rax,1)
mov    (%rbx),%rdi
test   %rdi,%rdi
je     116d <_string_finish+0x3d>
xor    %eax,%eax
call   1050 <scat@plt>
mov    %eax,%ebp
mov    (%rbx),%rdi
call   1030 <free@plt>
jmp    1179 <_string_finish+0x49>
mov    (%rbx),%rcx
test   %rcx,%rcx
jne    117f <_string_finish+0x4f>
lea    0xe95(%rip),%rdi
jmp    1170 <_string_finish+0x40>
mov    %rsi,%rdi
xor    %eax,%eax
call   1040 <scopy@plt>
mov    %eax,%ebp
movslq %ebp,%rcx
mov    %rcx,(%rbx)
xor    %eax,%eax
test   %rcx,%rcx
setne  %al
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

LLVM IR (-O0):
@.str = [1 x i8] zeroinitializer
define i32 @_string_finish(i8** %0, i8* %1, i32 %2) {
%4 = alloca i8**
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8*
store i8** %0, i8*** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%8 = load i32, i32* %6
%9 = icmp eq i32 %8, 0
br i1 %9, label %10, label %20
10: ; preds = %3
%11 = load i8**, i8*** %4
%12 = load i8*, i8** %11
%13 = icmp eq i8* %12, null
br i1 %13, label %14, label %19
14: ; preds = %10
%15 = call i32 (i8*, ...) bitcast (i32 (...)* @scopy to i32 (i8*, ...)*)(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0))
%16 = sext i32 %15 to i64
%17 = inttoptr i64 %16 to i8*
%18 = load i8**, i8*** %4
store i8* %17, i8** %18
br label %19
19: ; preds = %14, %10
br label %46
20: ; preds = %3
%21 = load i8*, i8** %5
%22 = load i32, i32* %6
%23 = sext i32 %22 to i64
%24 = getelementptr inbounds i8, i8* %21, i64 %23
store i8 0, i8* %24
%25 = load i8**, i8*** %4
%26 = load i8*, i8** %25
%27 = icmp ne i8* %26, null
br i1 %27, label %28, label %39
28: ; preds = %20
%29 = load i8**, i8*** %4
%30 = load i8*, i8** %29
%31 = load i8*, i8** %5
%32 = call i32 (i8*, i8*, ...) bitcast (i32 (...)* @scat to i32 (i8*, i8*, ...)*)(i8* %30, i8* %31)
%33 = sext i32 %32 to i64
%34 = inttoptr i64 %33 to i8*
store i8* %34, i8** %7
%35 = load i8**, i8*** %4
%36 = load i8*, i8** %35
%37 = load i8*, i8** %7
%38 = load i8**, i8*** %4
store i8* %37, i8** %38
br label %45
39: ; preds = %20
%40 = load i8*, i8** %5
%41 = call i32 (i8*, ...) bitcast (i32 (...)* @scopy to i32 (i8*, ...)*)(i8* %40)
%42 = sext i32 %41 to i64
%43 = inttoptr i64 %42 to i8*
%44 = load i8**, i8*** %4
store i8* %43, i8** %44
br label %45
45: ; preds = %39, %28
br label %46
46: ; preds = %45, %19
%47 = load i8**, i8*** %4
%48 = load i8*, i8** %47
%49 = icmp ne i8* %48, null
%50 = zext i1 %49 to i32
ret i32 %50
}

LLVM IR (-O2):
@.str = [1 x i8] zeroinitializer
define i32 @_string_finish(i8** nocapture %0, i8* %1, i32 %2) {
%4 = icmp eq i32 %2, 0
br i1 %4, label %5, label %10
5: ; preds = %3
%6 = load i8*, i8** %0
%7 = icmp eq i8* %6, null
br i1 %7, label %8, label %24
8: ; preds = %5
%9 = tail call i32 (i8*, ...) bitcast (i32 (...)* @scopy to i32 (i8*, ...)*)(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0))
br label %20
10: ; preds = %3
%11 = sext i32 %2 to i64
%12 = getelementptr inbounds i8, i8* %1, i64 %11
store i8 0, i8* %12
%13 = load i8*, i8** %0
%14 = icmp eq i8* %13, null
br i1 %14, label %18, label %15
15: ; preds = %10
%16 = tail call i32 (i8*, i8*, ...) bitcast (i32 (...)* @scat to i32 (i8*, i8*, ...)*)(i8* %13, i8* %1)
%17 = load i8*, i8** %0
tail call void @free(i8* %17)
br label %20
18: ; preds = %10
%19 = tail call i32 (i8*, ...) bitcast (i32 (...)* @scopy to i32 (i8*, ...)*)(i8* %1)
br label %20
20: ; preds = %8, %18, %15
%21 = phi i32 [ %16, %15 ], [ %19, %18 ], [ %9, %8 ]
%22 = sext i32 %21 to i64
%23 = inttoptr i64 %22 to i8*
store i8* %23, i8** %0
br label %24
24: ; preds = %20, %5
%25 = phi i8* [ %6, %5 ], [ %23, %20 ]
%26 = icmp ne i8* %25, null
%27 = zext i1 %26 to i32
ret i32 %27
}