void pstrcpy(char *buf, int buf_size, const char *str) {
  int c;
  char *q = buf;
  if (buf_size <= 0)
    return;
  for (;;) {
    c = *str++;
    if (c == 0 || q >= buf + buf_size - 1)
      break;
    *q++ = c;
  }
  *q = '\0';
}


x86 assembly (clang, -O0):
<pstrcpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpl   $0x0,-0xc(%rbp)
jg     1126 <pstrcpy+0x26>
jmp    118d <pstrcpy+0x8d>
jmp    112b <pstrcpy+0x2b>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movsbl (%rax),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x1c(%rbp)
je     1166 <pstrcpy+0x66>
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
add    %rdx,%rcx
add    $0xffffffffffffffff,%rcx
cmp    %rcx,%rax
jb     116b <pstrcpy+0x6b>
jmp    1186 <pstrcpy+0x86>
mov    -0x1c(%rbp),%eax
mov    %al,%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,(%rax)
jmp    112b <pstrcpy+0x2b>
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<pstrcpy>:
test   %esi,%esi
jle    1139 <pstrcpy+0x39>
mov    (%rdx),%al
test   %al,%al
je     1136 <pstrcpy+0x36>
mov    %esi,%ecx
add    %rdi,%rcx
add    $0xffffffffffffffff,%rcx
cmp    %rdi,%rcx
jbe    1136 <pstrcpy+0x36>
add    $0x1,%rdx
nopl   0x0(%rax)
mov    %al,(%rdi)
add    $0x1,%rdi
movzbl (%rdx),%eax
test   %al,%al
je     1136 <pstrcpy+0x36>
add    $0x1,%rdx
cmp    %rcx,%rdi
jb     1120 <pstrcpy+0x20>
movb   $0x0,(%rdi)
ret

LLVM IR (-O0):
define void @pstrcpy(i8* %0, i32 %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i8*
store i8* %0, i8** %4
store i32 %1, i32* %5
store i8* %2, i8** %6
%9 = load i8*, i8** %4
store i8* %9, i8** %8
%10 = load i32, i32* %5
%11 = icmp sle i32 %10, 0
br i1 %11, label %12, label %13
12: ; preds = %3
br label %37
13: ; preds = %3
br label %14
14: ; preds = %30, %13
%15 = load i8*, i8** %6
%16 = getelementptr inbounds i8, i8* %15, i32 1
store i8* %16, i8** %6
%17 = load i8, i8* %15
%18 = sext i8 %17 to i32
store i32 %18, i32* %7
%19 = load i32, i32* %7
%20 = icmp eq i32 %19, 0
br i1 %20, label %29, label %21
21: ; preds = %14
%22 = load i8*, i8** %8
%23 = load i8*, i8** %4
%24 = load i32, i32* %5
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i8, i8* %23, i64 %25
%27 = getelementptr inbounds i8, i8* %26, i64 -1
%28 = icmp uge i8* %22, %27
br i1 %28, label %29, label %30
29: ; preds = %21, %14
br label %35
30: ; preds = %21
%31 = load i32, i32* %7
%32 = trunc i32 %31 to i8
%33 = load i8*, i8** %8
%34 = getelementptr inbounds i8, i8* %33, i32 1
store i8* %34, i8** %8
store i8 %32, i8* %33
br label %14
35: ; preds = %29
%36 = load i8*, i8** %8
store i8 0, i8* %36
br label %37
37: ; preds = %35, %12
ret void
}

LLVM IR (-O2):
define void @pstrcpy(i8* writeonly %0, i32 %1, i8* nocapture %2) {
%4 = icmp slt i32 %1, 1
br i1 %4, label %25, label %5
5: ; preds = %3
%6 = zext i32 %1 to i64
%7 = getelementptr inbounds i8, i8* %0, i64 %6
%8 = getelementptr inbounds i8, i8* %7, i64 -1
%9 = load i8, i8* %2
%10 = icmp ne i8 %9, 0
%11 = icmp ugt i8* %8, %0
%12 = select i1 %10, i1 %11, i1 false
br i1 %12, label %13, label %23
13: ; preds = %5, %13
%14 = phi i8 [ %19, %13 ], [ %9, %5 ]
%15 = phi i8* [ %18, %13 ], [ %0, %5 ]
%16 = phi i8* [ %17, %13 ], [ %2, %5 ]
%17 = getelementptr inbounds i8, i8* %16, i64 1
%18 = getelementptr inbounds i8, i8* %15, i64 1
store i8 %14, i8* %15
%19 = load i8, i8* %17
%20 = icmp ne i8 %19, 0
%21 = icmp ult i8* %18, %8
%22 = select i1 %20, i1 %21, i1 false
br i1 %22, label %13, label %23
23: ; preds = %13, %5
%24 = phi i8* [ %0, %5 ], [ %18, %13 ]
store i8 0, i8* %24
br label %25
25: ; preds = %3, %23
ret void
}