#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 */
size_t strlen(char const *);
char *strncat(char *s, const char *ct, size_t n) {
  size_t s_length = strlen(s);
  size_t ct_length = strlen(ct);
  for (size_t i = 0; (i < ct_length) && (i < n); ++i) {
    s[s_length + i] = ct[i];
  }
  for (size_t i = ct_length; i < n; ++i) {
    s[s_length + i] = '\0';
  }
  return (s);
}


x86 assembly (clang, -O0):
<strncat>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
cmp    -0x28(%rbp),%rcx
mov    %al,-0x39(%rbp)
jae    1167 <strncat+0x57>
mov    -0x30(%rbp),%rax
cmp    -0x18(%rbp),%rax
setb   %al
mov    %al,-0x39(%rbp)
mov    -0x39(%rbp),%al
test   $0x1,%al
jne    1177 <strncat+0x67>
jmp    11a2 <strncat+0x92>
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    -0x30(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1146 <strncat+0x36>
mov    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    11d9 <strncat+0xc9>
mov    -0x8(%rbp),%rax
mov    -0x20(%rbp),%rcx
add    -0x38(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    11aa <strncat+0x9a>
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strncat>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdx,%r12
mov    %rsi,%r13
mov    %rdi,%r14
call   1030 <strlen@plt>
mov    %rax,%r15
mov    %r13,%rdi
call   1030 <strlen@plt>
test   %rax,%rax
je     1210 <strncat+0xf0>
test   %r12,%r12
je     1210 <strncat+0xf0>
lea    -0x1(%rax),%rcx
lea    -0x1(%r12),%r10
cmp    %r10,%rcx
cmovb  %rcx,%r10
lea    0x1(%r10),%r11
cmp    $0x8,%r11
jb     1197 <strncat+0x77>
lea    (%r14,%r15,1),%r9
lea    (%r10,%r13,1),%rcx
add    $0x1,%rcx
cmp    %rcx,%r9
jae    1238 <strncat+0x118>
lea    (%r15,%r10,1),%rcx
add    %r14,%rcx
add    $0x1,%rcx
cmp    %r13,%rcx
jbe    1238 <strncat+0x118>
xor    %esi,%esi
lea    0x1(%r10),%ecx
sub    %rsi,%r10
and    $0x3,%rcx
je     11c3 <strncat+0xa3>
lea    (%r14,%r15,1),%rdx
nopw   0x0(%rax,%rax,1)
movzbl 0x0(%r13,%rsi,1),%ebx
mov    %bl,(%rdx,%rsi,1)
add    $0x1,%rsi
add    $0xffffffffffffffff,%rcx
jne    11b0 <strncat+0x90>
cmp    $0x3,%r10
jb     1210 <strncat+0xf0>
lea    (%r15,%r14,1),%rcx
add    $0x3,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl 0x0(%r13,%rsi,1),%edx
mov    %dl,-0x3(%rcx,%rsi,1)
movzbl 0x1(%r13,%rsi,1),%edx
mov    %dl,-0x2(%rcx,%rsi,1)
movzbl 0x2(%r13,%rsi,1),%edx
mov    %dl,-0x1(%rcx,%rsi,1)
movzbl 0x3(%r13,%rsi,1),%edx
mov    %dl,(%rcx,%rsi,1)
add    $0x4,%rsi
cmp    %rsi,%r11
jne    11e0 <strncat+0xc0>
cmp    %r12,%rax
jae    122b <strncat+0x10b>
add    %rax,%r15
add    %r14,%r15
sub    %rax,%r12
mov    %r15,%rdi
xor    %esi,%esi
mov    %r12,%rdx
call   1040 <memset@plt>
mov    %r14,%rax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
cmp    $0x20,%r11
jae    1245 <strncat+0x125>
xor    %esi,%esi
jmp    132e <strncat+0x20e>
mov    %r11,%rsi
and    $0xffffffffffffffe0,%rsi
lea    -0x20(%rsi),%rcx
mov    %rcx,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%r8d
and    $0x3,%r8d
cmp    $0x60,%rcx
jae    126c <strncat+0x14c>
xor    %edx,%edx
jmp    12e1 <strncat+0x1c1>
and    $0xfffffffffffffffc,%rdi
lea    (%r15,%r14,1),%rcx
add    $0x70,%rcx
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movups 0x0(%r13,%rdx,1),%xmm0
movups 0x10(%r13,%rdx,1),%xmm1
movups %xmm0,-0x70(%rcx,%rdx,1)
movups %xmm1,-0x60(%rcx,%rdx,1)
movups 0x20(%r13,%rdx,1),%xmm0
movups 0x30(%r13,%rdx,1),%xmm1
movups %xmm0,-0x50(%rcx,%rdx,1)
movups %xmm1,-0x40(%rcx,%rdx,1)
movups 0x40(%r13,%rdx,1),%xmm0
movups 0x50(%r13,%rdx,1),%xmm1
movups %xmm0,-0x30(%rcx,%rdx,1)
movups %xmm1,-0x20(%rcx,%rdx,1)
movups 0x60(%r13,%rdx,1),%xmm0
movups 0x70(%r13,%rdx,1),%xmm1
movups %xmm0,-0x10(%rcx,%rdx,1)
movups %xmm1,(%rcx,%rdx,1)
sub    $0xffffffffffffff80,%rdx
add    $0xfffffffffffffffc,%rdi
jne    1280 <strncat+0x160>
test   %r8,%r8
je     131b <strncat+0x1fb>
lea    (%r15,%rdx,1),%rcx
add    %r14,%rcx
add    $0x10,%rcx
add    %r13,%rdx
add    $0x10,%rdx
shl    $0x5,%r8
xor    %edi,%edi
xchg   %ax,%ax
movups -0x10(%rdx,%rdi,1),%xmm0
movups (%rdx,%rdi,1),%xmm1
movups %xmm0,-0x10(%rcx,%rdi,1)
movups %xmm1,(%rcx,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r8
jne    1300 <strncat+0x1e0>
cmp    %rsi,%r11
je     1210 <strncat+0xf0>
test   $0x18,%r11b
je     1199 <strncat+0x79>
mov    %rsi,%rcx
mov    %r11,%rsi
and    $0xfffffffffffffff8,%rsi
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13,%rcx,1),%rdx
mov    %rdx,(%r9,%rcx,1)
add    $0x8,%rcx
cmp    %rcx,%rsi
jne    1340 <strncat+0x220>
cmp    %rsi,%r11
je     1210 <strncat+0xf0>
jmp    1199 <strncat+0x79>

LLVM IR (-O0):
define i8* @strncat(i8* %0, i8* %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
store i8* %0, i8** %4
store i8* %1, i8** %5
store i64 %2, i64* %6
%11 = load i8*, i8** %4
%12 = call i64 @strlen(i8* %11)
store i64 %12, i64* %7
%13 = load i8*, i8** %5
%14 = call i64 @strlen(i8* %13)
store i64 %14, i64* %8
store i64 0, i64* %9
br label %15
15: ; preds = %35, %3
%16 = load i64, i64* %9
%17 = load i64, i64* %8
%18 = icmp ult i64 %16, %17
br i1 %18, label %19, label %23
19: ; preds = %15
%20 = load i64, i64* %9
%21 = load i64, i64* %6
%22 = icmp ult i64 %20, %21
br label %23
23: ; preds = %19, %15
%24 = phi i1 [ false, %15 ], [ %22, %19 ]
br i1 %24, label %25, label %38
25: ; preds = %23
%26 = load i8*, i8** %5
%27 = load i64, i64* %9
%28 = getelementptr inbounds i8, i8* %26, i64 %27
%29 = load i8, i8* %28
%30 = load i8*, i8** %4
%31 = load i64, i64* %7
%32 = load i64, i64* %9
%33 = add i64 %31, %32
%34 = getelementptr inbounds i8, i8* %30, i64 %33
store i8 %29, i8* %34
br label %35
35: ; preds = %25
%36 = load i64, i64* %9
%37 = add i64 %36, 1
store i64 %37, i64* %9
br label %15
38: ; preds = %23
%39 = load i64, i64* %8
store i64 %39, i64* %10
br label %40
40: ; preds = %50, %38
%41 = load i64, i64* %10
%42 = load i64, i64* %6
%43 = icmp ult i64 %41, %42
br i1 %43, label %44, label %53
44: ; preds = %40
%45 = load i8*, i8** %4
%46 = load i64, i64* %7
%47 = load i64, i64* %10
%48 = add i64 %46, %47
%49 = getelementptr inbounds i8, i8* %45, i64 %48
store i8 0, i8* %49
br label %50
50: ; preds = %44
%51 = load i64, i64* %10
%52 = add i64 %51, 1
store i64 %52, i64* %10
br label %40
53: ; preds = %40
%54 = load i8*, i8** %4
ret i8* %54
}

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