int xstrlcpy(char *dst, const char *src, int siz) {
  register char *d = dst;
  register const char *s = src;
  register int n = siz;
  if (n != 0 && --n != 0) {
    do {
      if ((*d++ = *s++) == 0)
        break;
    } while (--n != 0);
  }
  if (n == 0) {
    if (siz != 0)
      *d = '\0';
    while (*s++)
      ;
  }
  return (s - src - 1);
}


x86 assembly (clang, -O0):
<xstrlcpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x0,-0x2c(%rbp)
je     1195 <xstrlcpy+0x95>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
cmp    $0x0,%eax
je     1195 <xstrlcpy+0x95>
jmp    1146 <xstrlcpy+0x46>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%al
mov    -0x20(%rbp),%rcx
mov    %rcx,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %al,(%rcx)
movsbl %al,%eax
cmp    $0x0,%eax
jne    1179 <xstrlcpy+0x79>
jmp    1190 <xstrlcpy+0x90>
jmp    117e <xstrlcpy+0x7e>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
cmp    $0x0,%eax
jne    1146 <xstrlcpy+0x46>
jmp    1195 <xstrlcpy+0x95>
cmpl   $0x0,-0x2c(%rbp)
jne    11d7 <xstrlcpy+0xd7>
cmpl   $0x0,-0x14(%rbp)
je     11b0 <xstrlcpy+0xb0>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
jmp    11b5 <xstrlcpy+0xb5>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
cmpb   $0x0,(%rax)
je     11d2 <xstrlcpy+0xd2>
jmp    11b5 <xstrlcpy+0xb5>
jmp    11d7 <xstrlcpy+0xd7>
mov    -0x28(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
sub    $0x1,%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<xstrlcpy>:
mov    %edx,%r10d
sub    $0x1,%r10d
jb     1143 <xstrlcpy+0x43>
je     1143 <xstrlcpy+0x43>
add    $0x1,%rdi
lea    0x1(%rsi),%r8
mov    %rdi,%r9
cs nopw 0x0(%rax,%rax,1)
mov    %r9,%rdi
mov    %r8,%rax
movzbl -0x1(%r8),%ecx
mov    %cl,-0x1(%r9)
test   %cl,%cl
je     1161 <xstrlcpy+0x61>
lea    0x1(%rdi),%r9
lea    0x1(%rax),%r8
add    $0xffffffff,%r10d
jne    1120 <xstrlcpy+0x20>
jmp    1146 <xstrlcpy+0x46>
mov    %rsi,%rax
test   %edx,%edx
je     114d <xstrlcpy+0x4d>
movb   $0x0,(%rdi)
mov    %rax,%rcx
lea    0x1(%rcx),%rax
cmpb   $0x0,(%rcx)
mov    %rax,%rcx
jne    1150 <xstrlcpy+0x50>
not    %esi
add    %esi,%eax
ret
test   %r10d,%r10d
jne    115c <xstrlcpy+0x5c>
jmp    1146 <xstrlcpy+0x46>

LLVM IR (-O0):
define i32 @xstrlcpy(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%10 = load i8*, i8** %4
store i8* %10, i8** %7
%11 = load i8*, i8** %5
store i8* %11, i8** %8
%12 = load i32, i32* %6
store i32 %12, i32* %9
%13 = load i32, i32* %9
%14 = icmp ne i32 %13, 0
br i1 %14, label %15, label %35
15: ; preds = %3
%16 = load i32, i32* %9
%17 = add nsw i32 %16, -1
store i32 %17, i32* %9
%18 = icmp ne i32 %17, 0
br i1 %18, label %19, label %35
19: ; preds = %15
br label %20
20: ; preds = %30, %19
%21 = load i8*, i8** %8
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %8
%23 = load i8, i8* %21
%24 = load i8*, i8** %7
%25 = getelementptr inbounds i8, i8* %24, i32 1
store i8* %25, i8** %7
store i8 %23, i8* %24
%26 = sext i8 %23 to i32
%27 = icmp eq i32 %26, 0
br i1 %27, label %28, label %29
28: ; preds = %20
br label %34
29: ; preds = %20
br label %30
30: ; preds = %29
%31 = load i32, i32* %9
%32 = add nsw i32 %31, -1
store i32 %32, i32* %9
%33 = icmp ne i32 %32, 0
br i1 %33, label %20, label %34
34: ; preds = %30, %28
br label %35
35: ; preds = %34, %15, %3
%36 = load i32, i32* %9
%37 = icmp eq i32 %36, 0
br i1 %37, label %38, label %51
38: ; preds = %35
%39 = load i32, i32* %6
%40 = icmp ne i32 %39, 0
br i1 %40, label %41, label %43
41: ; preds = %38
%42 = load i8*, i8** %7
store i8 0, i8* %42
br label %43
43: ; preds = %41, %38
br label %44
44: ; preds = %49, %43
%45 = load i8*, i8** %8
%46 = getelementptr inbounds i8, i8* %45, i32 1
store i8* %46, i8** %8
%47 = load i8, i8* %45
%48 = icmp ne i8 %47, 0
br i1 %48, label %49, label %50
49: ; preds = %44
br label %44
50: ; preds = %44
br label %51
51: ; preds = %50, %35
%52 = load i8*, i8** %8
%53 = load i8*, i8** %5
%54 = ptrtoint i8* %52 to i64
%55 = ptrtoint i8* %53 to i64
%56 = sub i64 %54, %55
%57 = sub nsw i64 %56, 1
%58 = trunc i64 %57 to i32
ret i32 %58
}

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