#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 */
void safecpy(char **dest, int *len, const char *source, bool terminate) {
  while (*source && *len) {
    *(*dest)++ = *source++;
    (*len)--;
  }
  if (terminate && *len) {
    *(*dest)++ = 0;
    (*len)--;
  }
}


x86 assembly (clang, -O0):
<safecpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1d(%rbp)
je     1135 <safecpy+0x35>
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
setne  %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    1145 <safecpy+0x45>
jmp    1179 <safecpy+0x79>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%cl
mov    -0x8(%rbp),%rdx
mov    (%rdx),%rax
mov    %rax,%rsi
add    $0x1,%rsi
mov    %rsi,(%rdx)
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,(%rax)
jmp    1113 <safecpy+0x13>
cmpl   $0x0,-0x1c(%rbp)
je     11af <safecpy+0xaf>
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
je     11af <safecpy+0xaf>
mov    -0x8(%rbp),%rcx
mov    (%rcx),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,(%rcx)
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<safecpy>:
mov    (%rdx),%r8b
test   %r8b,%r8b
je     1135 <safecpy+0x35>
mov    (%rsi),%eax
add    $0x1,%rdx
xchg   %ax,%ax
test   %eax,%eax
je     1135 <safecpy+0x35>
mov    (%rdi),%r9
lea    0x1(%r9),%rax
mov    %rax,(%rdi)
mov    %r8b,(%r9)
mov    (%rsi),%eax
add    $0xffffffff,%eax
mov    %eax,(%rsi)
movzbl (%rdx),%r8d
add    $0x1,%rdx
test   %r8b,%r8b
jne    1110 <safecpy+0x10>
test   %ecx,%ecx
je     114e <safecpy+0x4e>
cmpl   $0x0,(%rsi)
je     114e <safecpy+0x4e>
mov    (%rdi),%rax
lea    0x1(%rax),%rcx
mov    %rcx,(%rdi)
movb   $0x0,(%rax)
addl   $0xffffffff,(%rsi)
ret

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

LLVM IR (-O2):
define void @safecpy(i8** nocapture %0, i32* nocapture %1, i8* nocapture %2, i32 %3) {
%5 = load i8, i8* %2
%6 = icmp eq i8 %5, 0
br i1 %6, label %22, label %7
7: ; preds = %4
%8 = load i32, i32* %1
br label %9
9: ; preds = %7, %14
%10 = phi i32 [ %19, %14 ], [ %8, %7 ]
%11 = phi i8 [ %20, %14 ], [ %5, %7 ]
%12 = phi i8* [ %15, %14 ], [ %2, %7 ]
%13 = icmp eq i32 %10, 0
br i1 %13, label %22, label %14
14: ; preds = %9
%15 = getelementptr inbounds i8, i8* %12, i64 1
%16 = load i8*, i8** %0
%17 = getelementptr inbounds i8, i8* %16, i64 1
store i8* %17, i8** %0
store i8 %11, i8* %16
%18 = load i32, i32* %1
%19 = add nsw i32 %18, -1
store i32 %19, i32* %1
%20 = load i8, i8* %15
%21 = icmp eq i8 %20, 0
br i1 %21, label %22, label %9
22: ; preds = %9, %14, %4
%23 = icmp eq i32 %3, 0
br i1 %23, label %32, label %24
24: ; preds = %22
%25 = load i32, i32* %1
%26 = icmp eq i32 %25, 0
br i1 %26, label %32, label %27
27: ; preds = %24
%28 = load i8*, i8** %0
%29 = getelementptr inbounds i8, i8* %28, i64 1
store i8* %29, i8** %0
store i8 0, i8* %28
%30 = load i32, i32* %1
%31 = add nsw i32 %30, -1
store i32 %31, i32* %1
br label %32
32: ; preds = %27, %24, %22
ret void
}