char *strncpy1(char *dest, char *source, int num) {
  int i = 0;
  while ((i < num) && source)
    dest[i++] = *source++;
  dest[++i] = '\0';
  return dest;
}


x86 assembly (clang, -O0):
<strncpy1>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%ecx
xor    %eax,%eax
cmp    -0x14(%rbp),%ecx
mov    %al,-0x19(%rbp)
jge    1132 <strncpy1+0x32>
cmpq   $0x0,-0x10(%rbp)
setne  %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    1142 <strncpy1+0x42>
jmp    116d <strncpy1+0x6d>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x18(%rbp)
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1116 <strncpy1+0x16>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strncpy1>:
mov    %rdi,%rax
mov    $0x1,%ecx
test   %edx,%edx
jle    11c5 <strncpy1+0xc5>
test   %rsi,%rsi
je     11c5 <strncpy1+0xc5>
mov    %edx,%r8d
cmp    $0x8,%edx
jb     113b <strncpy1+0x3b>
lea    (%rsi,%r8,1),%rcx
cmp    %rax,%rcx
jbe    11ca <strncpy1+0xca>
lea    (%rax,%r8,1),%rcx
cmp    %rsi,%rcx
jbe    11ca <strncpy1+0xca>
xor    %r11d,%r11d
mov    %rsi,%r10
mov    %r11,%r9
not    %r9
add    %r8,%r9
mov    %r8,%rsi
and    $0x3,%rsi
je     1176 <strncpy1+0x76>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%r10),%edi
add    $0x1,%r10
mov    %dil,(%rax,%r11,1)
add    $0x1,%r11
add    $0xffffffffffffffff,%rsi
jne    1160 <strncpy1+0x60>
cmp    $0x3,%r9
jb     11bf <strncpy1+0xbf>
sub    %r11,%r8
lea    (%r11,%rax,1),%rsi
add    $0x3,%rsi
xor    %edi,%edi
nopl   0x0(%rax)
movzbl (%r10,%rdi,1),%ecx
mov    %cl,-0x3(%rsi,%rdi,1)
movzbl 0x1(%r10,%rdi,1),%ecx
mov    %cl,-0x2(%rsi,%rdi,1)
movzbl 0x2(%r10,%rdi,1),%ecx
mov    %cl,-0x1(%rsi,%rdi,1)
movzbl 0x3(%r10,%rdi,1),%ecx
mov    %cl,(%rsi,%rdi,1)
add    $0x4,%rdi
cmp    %rdi,%r8
jne    1190 <strncpy1+0x90>
add    $0x1,%edx
mov    %rdx,%rcx
movb   $0x0,(%rax,%rcx,1)
ret
cmp    $0x20,%edx
jae    11d7 <strncpy1+0xd7>
xor    %r11d,%r11d
jmp    12bc <strncpy1+0x1bc>
mov    %r8d,%r11d
and    $0xffffffe0,%r11d
lea    -0x20(%r11),%rcx
mov    %rcx,%r10
shr    $0x5,%r10
add    $0x1,%r10
mov    %r10d,%r9d
and    $0x3,%r9d
cmp    $0x60,%rcx
jae    11fe <strncpy1+0xfe>
xor    %ecx,%ecx
jmp    1268 <strncpy1+0x168>
and    $0xfffffffffffffffc,%r10
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movups (%rsi,%rcx,1),%xmm0
movups 0x10(%rsi,%rcx,1),%xmm1
movups %xmm0,(%rax,%rcx,1)
movups %xmm1,0x10(%rax,%rcx,1)
movups 0x20(%rsi,%rcx,1),%xmm0
movups 0x30(%rsi,%rcx,1),%xmm1
movups %xmm0,0x20(%rax,%rcx,1)
movups %xmm1,0x30(%rax,%rcx,1)
movups 0x40(%rsi,%rcx,1),%xmm0
movups 0x50(%rsi,%rcx,1),%xmm1
movups %xmm0,0x40(%rax,%rcx,1)
movups %xmm1,0x50(%rax,%rcx,1)
movups 0x60(%rsi,%rcx,1),%xmm0
movups 0x70(%rsi,%rcx,1),%xmm1
movups %xmm0,0x60(%rax,%rcx,1)
movups %xmm1,0x70(%rax,%rcx,1)
sub    $0xffffffffffffff80,%rcx
add    $0xfffffffffffffffc,%r10
jne    1210 <strncpy1+0x110>
test   %r9,%r9
je     12ad <strncpy1+0x1ad>
lea    (%rax,%rcx,1),%r10
add    $0x10,%r10
add    %rsi,%rcx
add    $0x10,%rcx
shl    $0x5,%r9
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x10(%rcx,%rdi,1),%xmm0
movups (%rcx,%rdi,1),%xmm1
movups %xmm0,-0x10(%r10,%rdi,1)
movups %xmm1,(%r10,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r9
jne    1290 <strncpy1+0x190>
cmp    %r8,%r11
je     11bf <strncpy1+0xbf>
test   $0x18,%r8b
je     12ef <strncpy1+0x1ef>
mov    %r11,%r9
mov    %r8d,%r11d
and    $0xfffffff8,%r11d
lea    (%rsi,%r11,1),%r10
nopw   0x0(%rax,%rax,1)
mov    (%rsi,%r9,1),%rdi
mov    %rdi,(%rax,%r9,1)
add    $0x8,%r9
cmp    %r9,%r11
jne    12d0 <strncpy1+0x1d0>
cmp    %r8,%r11
jne    1141 <strncpy1+0x41>
jmp    11bf <strncpy1+0xbf>
add    %r11,%rsi
jmp    113e <strncpy1+0x3e>

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

LLVM IR (-O2):
define i8* @strncpy1(i8* returned writeonly %0, i8* %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
%5 = icmp ne i8* %1, null
%6 = and i1 %4, %5
br i1 %6, label %7, label %160
7: ; preds = %3
%8 = zext i32 %2 to i64
%9 = icmp ult i32 %2, 8
br i1 %9, label %116, label %10
10: ; preds = %7
%11 = getelementptr i8, i8* %0, i64 %8
%12 = getelementptr i8, i8* %1, i64 %8
%13 = icmp ugt i8* %12, %0
%14 = icmp ugt i8* %11, %1
%15 = and i1 %13, %14
br i1 %15, label %116, label %16
16: ; preds = %10
%17 = icmp ult i32 %2, 32
br i1 %17, label %101, label %18
18: ; preds = %16
%19 = and i64 %8, 4294967264
%20 = add nsw i64 %19, -32
%21 = lshr exact i64 %20, 5
%22 = add nuw nsw i64 %21, 1
%23 = and i64 %22, 3
%24 = icmp ult i64 %20, 96
br i1 %24, label %76, label %25
25: ; preds = %18
%26 = and i64 %22, 1152921504606846972
br label %27
27: ; preds = %27, %25
%28 = phi i64 [ 0, %25 ], [ %73, %27 ]
%29 = phi i64 [ 0, %25 ], [ %74, %27 ]
%30 = getelementptr i8, i8* %1, i64 %28
%31 = bitcast i8* %30 to <16 x i8>*
%32 = load <16 x i8>, <16 x i8>* %31
%33 = getelementptr i8, i8* %30, i64 16
%34 = bitcast i8* %33 to <16 x i8>*
%35 = load <16 x i8>, <16 x i8>* %34
%36 = getelementptr inbounds i8, i8* %0, i64 %28
%37 = bitcast i8* %36 to <16 x i8>*
store <16 x i8> %32, <16 x i8>* %37
%38 = getelementptr inbounds i8, i8* %36, i64 16
%39 = bitcast i8* %38 to <16 x i8>*
store <16 x i8> %35, <16 x i8>* %39
%40 = or i64 %28, 32
%41 = getelementptr i8, i8* %1, i64 %40
%42 = bitcast i8* %41 to <16 x i8>*
%43 = load <16 x i8>, <16 x i8>* %42
%44 = getelementptr i8, i8* %41, i64 16
%45 = bitcast i8* %44 to <16 x i8>*
%46 = load <16 x i8>, <16 x i8>* %45
%47 = getelementptr inbounds i8, i8* %0, i64 %40
%48 = bitcast i8* %47 to <16 x i8>*
store <16 x i8> %43, <16 x i8>* %48
%49 = getelementptr inbounds i8, i8* %47, i64 16
%50 = bitcast i8* %49 to <16 x i8>*
store <16 x i8> %46, <16 x i8>* %50
%51 = or i64 %28, 64
%52 = getelementptr i8, i8* %1, i64 %51
%53 = bitcast i8* %52 to <16 x i8>*
%54 = load <16 x i8>, <16 x i8>* %53
%55 = getelementptr i8, i8* %52, i64 16
%56 = bitcast i8* %55 to <16 x i8>*
%57 = load <16 x i8>, <16 x i8>* %56
%58 = getelementptr inbounds i8, i8* %0, i64 %51
%59 = bitcast i8* %58 to <16 x i8>*
store <16 x i8> %54, <16 x i8>* %59
%60 = getelementptr inbounds i8, i8* %58, i64 16
%61 = bitcast i8* %60 to <16 x i8>*
store <16 x i8> %57, <16 x i8>* %61
%62 = or i64 %28, 96
%63 = getelementptr i8, i8* %1, i64 %62
%64 = bitcast i8* %63 to <16 x i8>*
%65 = load <16 x i8>, <16 x i8>* %64
%66 = getelementptr i8, i8* %63, i64 16
%67 = bitcast i8* %66 to <16 x i8>*
%68 = load <16 x i8>, <16 x i8>* %67
%69 = getelementptr inbounds i8, i8* %0, i64 %62
%70 = bitcast i8* %69 to <16 x i8>*
store <16 x i8> %65, <16 x i8>* %70
%71 = getelementptr inbounds i8, i8* %69, i64 16
%72 = bitcast i8* %71 to <16 x i8>*
store <16 x i8> %68, <16 x i8>* %72
%73 = add nuw i64 %28, 128
%74 = add i64 %29, 4
%75 = icmp eq i64 %74, %26
br i1 %75, label %76, label %27
76: ; preds = %27, %18
%77 = phi i64 [ 0, %18 ], [ %73, %27 ]
%78 = icmp eq i64 %23, 0
br i1 %78, label %95, label %79
79: ; preds = %76, %79
%80 = phi i64 [ %92, %79 ], [ %77, %76 ]
%81 = phi i64 [ %93, %79 ], [ 0, %76 ]
%82 = getelementptr i8, i8* %1, i64 %80
%83 = bitcast i8* %82 to <16 x i8>*
%84 = load <16 x i8>, <16 x i8>* %83
%85 = getelementptr i8, i8* %82, i64 16
%86 = bitcast i8* %85 to <16 x i8>*
%87 = load <16 x i8>, <16 x i8>* %86
%88 = getelementptr inbounds i8, i8* %0, i64 %80
%89 = bitcast i8* %88 to <16 x i8>*
store <16 x i8> %84, <16 x i8>* %89
%90 = getelementptr inbounds i8, i8* %88, i64 16
%91 = bitcast i8* %90 to <16 x i8>*
store <16 x i8> %87, <16 x i8>* %91
%92 = add nuw i64 %80, 32
%93 = add i64 %81, 1
%94 = icmp eq i64 %93, %23
br i1 %94, label %95, label %79
95: ; preds = %79, %76
%96 = icmp eq i64 %19, %8
br i1 %96, label %157, label %97
97: ; preds = %95
%98 = getelementptr i8, i8* %1, i64 %19
%99 = and i64 %8, 24
%100 = icmp eq i64 %99, 0
br i1 %100, label %116, label %101
101: ; preds = %16, %97
%102 = phi i64 [ %19, %97 ], [ 0, %16 ]
%103 = and i64 %8, 4294967288
%104 = getelementptr i8, i8* %1, i64 %103
br label %105
105: ; preds = %105, %101
%106 = phi i64 [ %102, %101 ], [ %112, %105 ]
%107 = getelementptr i8, i8* %1, i64 %106
%108 = bitcast i8* %107 to <8 x i8>*
%109 = load <8 x i8>, <8 x i8>* %108
%110 = getelementptr inbounds i8, i8* %0, i64 %106
%111 = bitcast i8* %110 to <8 x i8>*
store <8 x i8> %109, <8 x i8>* %111
%112 = add nuw i64 %106, 8
%113 = icmp eq i64 %112, %103
br i1 %113, label %114, label %105
114: ; preds = %105
%115 = icmp eq i64 %103, %8
br i1 %115, label %157, label %116
116: ; preds = %10, %7, %97, %114
%117 = phi i64 [ 0, %7 ], [ 0, %10 ], [ %19, %97 ], [ %103, %114 ]
%118 = phi i8* [ %1, %7 ], [ %1, %10 ], [ %98, %97 ], [ %104, %114 ]
%119 = xor i64 %117, -1
%120 = add nsw i64 %119, %8
%121 = and i64 %8, 3
%122 = icmp eq i64 %121, 0
br i1 %122, label %133, label %123
123: ; preds = %116, %123
%124 = phi i64 [ %129, %123 ], [ %117, %116 ]
%125 = phi i8* [ %127, %123 ], [ %118, %116 ]
%126 = phi i64 [ %131, %123 ], [ 0, %116 ]
%127 = getelementptr inbounds i8, i8* %125, i64 1
%128 = load i8, i8* %125
%129 = add nuw nsw i64 %124, 1
%130 = getelementptr inbounds i8, i8* %0, i64 %124
store i8 %128, i8* %130
%131 = add i64 %126, 1
%132 = icmp eq i64 %131, %121
br i1 %132, label %133, label %123
133: ; preds = %123, %116
%134 = phi i64 [ %117, %116 ], [ %129, %123 ]
%135 = phi i8* [ %118, %116 ], [ %127, %123 ]
%136 = icmp ult i64 %120, 3
br i1 %136, label %157, label %137
137: ; preds = %133, %137
%138 = phi i64 [ %154, %137 ], [ %134, %133 ]
%139 = phi i8* [ %152, %137 ], [ %135, %133 ]
%140 = getelementptr inbounds i8, i8* %139, i64 1
%141 = load i8, i8* %139
%142 = add nuw nsw i64 %138, 1
%143 = getelementptr inbounds i8, i8* %0, i64 %138
store i8 %141, i8* %143
%144 = getelementptr inbounds i8, i8* %139, i64 2
%145 = load i8, i8* %140
%146 = add nuw nsw i64 %138, 2
%147 = getelementptr inbounds i8, i8* %0, i64 %142
store i8 %145, i8* %147
%148 = getelementptr inbounds i8, i8* %139, i64 3
%149 = load i8, i8* %144
%150 = add nuw nsw i64 %138, 3
%151 = getelementptr inbounds i8, i8* %0, i64 %146
store i8 %149, i8* %151
%152 = getelementptr inbounds i8, i8* %139, i64 4
%153 = load i8, i8* %148
%154 = add nuw nsw i64 %138, 4
%155 = getelementptr inbounds i8, i8* %0, i64 %150
store i8 %153, i8* %155
%156 = icmp eq i64 %154, %8
br i1 %156, label %157, label %137
157: ; preds = %133, %137, %114, %95
%158 = add i32 %2, 1
%159 = zext i32 %158 to i64
br label %160
160: ; preds = %157, %3
%161 = phi i64 [ 1, %3 ], [ %159, %157 ]
%162 = getelementptr inbounds i8, i8* %0, i64 %161
store i8 0, i8* %162
ret i8* %0
}