#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 */
scalar_t__ __unlikely(int);
int /*<<< orphan*/ strlen(char *);
char *strncat(char *s, const char *t, size_t n) {
  char *dest = s;
  register char *max;
  s += strlen(s);
  if (__unlikely((max = s + n) == s))
    goto fini;
  for (;;) {
    if (__unlikely(!(*s = *t)))
      break;
    if (__unlikely(++s == max))
      break;
    ++t;
    if (__unlikely(!(*s = *t)))
      break;
    if (__unlikely(++s == max))
      break;
    ++t;
    if (__unlikely(!(*s = *t)))
      break;
    if (__unlikely(++s == max))
      break;
    ++t;
    if (__unlikely(!(*s = *t)))
      break;
    if (__unlikely(++s == max))
      break;
    ++t;
  }
  *s = 0;
fini:
  return dest;
}


x86 assembly (clang, -O0):
<strncat>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x8(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmp    -0x8(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <__unlikely@plt>
cmp    $0x0,%rax
je     1181 <strncat+0x61>
jmp    1322 <strncat+0x202>
jmp    1186 <strncat+0x66>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    -0x8(%rbp),%rcx
mov    %al,(%rcx)
cmp    $0x0,%al
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <__unlikely@plt>
cmp    $0x0,%rax
je     11b2 <strncat+0x92>
jmp    131b <strncat+0x1fb>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
cmp    -0x28(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <__unlikely@plt>
cmp    $0x0,%rax
je     11de <strncat+0xbe>
jmp    131b <strncat+0x1fb>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    -0x8(%rbp),%rcx
mov    %al,(%rcx)
cmp    $0x0,%al
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <__unlikely@plt>
cmp    $0x0,%rax
je     1216 <strncat+0xf6>
jmp    131b <strncat+0x1fb>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
cmp    -0x28(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <__unlikely@plt>
cmp    $0x0,%rax
je     1242 <strncat+0x122>
jmp    131b <strncat+0x1fb>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    -0x8(%rbp),%rcx
mov    %al,(%rcx)
cmp    $0x0,%al
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <__unlikely@plt>
cmp    $0x0,%rax
je     127a <strncat+0x15a>
jmp    131b <strncat+0x1fb>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
cmp    -0x28(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <__unlikely@plt>
cmp    $0x0,%rax
je     12a6 <strncat+0x186>
jmp    131b <strncat+0x1fb>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    -0x8(%rbp),%rcx
mov    %al,(%rcx)
cmp    $0x0,%al
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <__unlikely@plt>
cmp    $0x0,%rax
je     12de <strncat+0x1be>
jmp    131b <strncat+0x1fb>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
cmp    -0x28(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <__unlikely@plt>
cmp    $0x0,%rax
je     130a <strncat+0x1ea>
jmp    131b <strncat+0x1fb>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1186 <strncat+0x66>
mov    -0x8(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x20(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strncat>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdx,%r15
mov    %rsi,%r12
mov    %rdi,%r14
call   1030 <strlen@plt>
mov    %eax,%ebp
xor    %edi,%edi
test   %r15,%r15
sete   %dil
call   1040 <__unlikely@plt>
test   %rax,%rax
jne    1176 <strncat+0x56>
movslq %ebp,%rbp
add    %r14,%rbp
mov    (%r12),%al
mov    %al,0x0(%rbp)
xor    %edi,%edi
test   %al,%al
sete   %dil
call   1040 <__unlikely@plt>
test   %rax,%rax
je     1188 <strncat+0x68>
mov    %rbp,%rbx
movb   $0x0,(%rbx)
mov    %r14,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    -0x1(%r15),%rax
mov    %rax,0x10(%rsp)
lea    -0x2(%r15),%rax
mov    %rax,0x8(%rsp)
lea    -0x3(%r15),%rax
mov    %rax,(%rsp)
add    $0xfffffffffffffffc,%r15
xor    %r13d,%r13d
mov    %rbp,%rbx
xor    %edi,%edi
cmp    %r13,0x10(%rsp)
sete   %dil
call   1040 <__unlikely@plt>
test   %rax,%rax
jne    129a <strncat+0x17a>
movzbl 0x1(%r12,%r13,1),%eax
mov    %al,0x1(%rbp,%r13,1)
xor    %edi,%edi
test   %al,%al
sete   %dil
call   1040 <__unlikely@plt>
test   %rax,%rax
jne    12aa <strncat+0x18a>
xor    %edi,%edi
cmp    %r13,0x8(%rsp)
sete   %dil
call   1040 <__unlikely@plt>
test   %rax,%rax
jne    12b3 <strncat+0x193>
movzbl 0x2(%r12,%r13,1),%eax
mov    %al,0x2(%rbp,%r13,1)
xor    %edi,%edi
test   %al,%al
sete   %dil
call   1040 <__unlikely@plt>
test   %rax,%rax
jne    12bc <strncat+0x19c>
xor    %edi,%edi
cmp    %r13,(%rsp)
sete   %dil
call   1040 <__unlikely@plt>
test   %rax,%rax
jne    12cc <strncat+0x1ac>
movzbl 0x3(%r12,%r13,1),%eax
mov    %al,0x3(%rbp,%r13,1)
xor    %edi,%edi
test   %al,%al
sete   %dil
call   1040 <__unlikely@plt>
test   %rax,%rax
jne    12dc <strncat+0x1bc>
xor    %edi,%edi
cmp    %r13,%r15
sete   %dil
call   1040 <__unlikely@plt>
test   %rax,%rax
jne    12e5 <strncat+0x1c5>
add    $0x4,%rbx
movzbl 0x4(%r12,%r13,1),%eax
mov    %al,0x4(%rbp,%r13,1)
xor    %edi,%edi
test   %al,%al
sete   %dil
call   1040 <__unlikely@plt>
add    $0x4,%r13
test   %rax,%rax
je     11ac <strncat+0x8c>
jmp    1173 <strncat+0x53>
lea    0x1(,%r13,1),%rbx
add    %rbp,%rbx
jmp    1173 <strncat+0x53>
add    $0x1,%rbx
jmp    1173 <strncat+0x53>
add    $0x2,%rbx
jmp    1173 <strncat+0x53>
lea    0x2(,%r13,1),%rbx
add    %rbp,%rbx
jmp    1173 <strncat+0x53>
lea    0x3(,%r13,1),%rbx
add    %rbp,%rbx
jmp    1173 <strncat+0x53>
add    $0x3,%rbx
jmp    1173 <strncat+0x53>
lea    0x4(,%r13,1),%rbx
add    %rbp,%rbx
jmp    1173 <strncat+0x53>

LLVM IR (-O0):
define i8* @strncat(i8* %0, i8* %1, i64 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i8*
%8 = alloca i8*
store i8* %0, i8** %4
store i8* %1, i8** %5
store i64 %2, i64* %6
%9 = load i8*, i8** %4
store i8* %9, i8** %7
%10 = load i8*, i8** %4
%11 = call i32 @strlen(i8* %10)
%12 = load i8*, i8** %4
%13 = sext i32 %11 to i64
%14 = getelementptr inbounds i8, i8* %12, i64 %13
store i8* %14, i8** %4
%15 = load i8*, i8** %4
%16 = load i64, i64* %6
%17 = getelementptr inbounds i8, i8* %15, i64 %16
store i8* %17, i8** %8
%18 = load i8*, i8** %4
%19 = icmp eq i8* %17, %18
%20 = zext i1 %19 to i32
%21 = call i64 @__unlikely(i32 %20)
%22 = icmp ne i64 %21, 0
br i1 %22, label %23, label %24
23: ; preds = %3
br label %112
24: ; preds = %3
br label %25
25: ; preds = %107, %24
%26 = load i8*, i8** %5
%27 = load i8, i8* %26
%28 = load i8*, i8** %4
store i8 %27, i8* %28
%29 = icmp ne i8 %27, 0
%30 = xor i1 %29, true
%31 = zext i1 %30 to i32
%32 = call i64 @__unlikely(i32 %31)
%33 = icmp ne i64 %32, 0
br i1 %33, label %34, label %35
34: ; preds = %25
br label %110
35: ; preds = %25
%36 = load i8*, i8** %4
%37 = getelementptr inbounds i8, i8* %36, i32 1
store i8* %37, i8** %4
%38 = load i8*, i8** %8
%39 = icmp eq i8* %37, %38
%40 = zext i1 %39 to i32
%41 = call i64 @__unlikely(i32 %40)
%42 = icmp ne i64 %41, 0
br i1 %42, label %43, label %44
43: ; preds = %35
br label %110
44: ; preds = %35
%45 = load i8*, i8** %5
%46 = getelementptr inbounds i8, i8* %45, i32 1
store i8* %46, i8** %5
%47 = load i8*, i8** %5
%48 = load i8, i8* %47
%49 = load i8*, i8** %4
store i8 %48, i8* %49
%50 = icmp ne i8 %48, 0
%51 = xor i1 %50, true
%52 = zext i1 %51 to i32
%53 = call i64 @__unlikely(i32 %52)
%54 = icmp ne i64 %53, 0
br i1 %54, label %55, label %56
55: ; preds = %44
br label %110
56: ; preds = %44
%57 = load i8*, i8** %4
%58 = getelementptr inbounds i8, i8* %57, i32 1
store i8* %58, i8** %4
%59 = load i8*, i8** %8
%60 = icmp eq i8* %58, %59
%61 = zext i1 %60 to i32
%62 = call i64 @__unlikely(i32 %61)
%63 = icmp ne i64 %62, 0
br i1 %63, label %64, label %65
64: ; preds = %56
br label %110
65: ; preds = %56
%66 = load i8*, i8** %5
%67 = getelementptr inbounds i8, i8* %66, i32 1
store i8* %67, i8** %5
%68 = load i8*, i8** %5
%69 = load i8, i8* %68
%70 = load i8*, i8** %4
store i8 %69, i8* %70
%71 = icmp ne i8 %69, 0
%72 = xor i1 %71, true
%73 = zext i1 %72 to i32
%74 = call i64 @__unlikely(i32 %73)
%75 = icmp ne i64 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %65
br label %110
77: ; preds = %65
%78 = load i8*, i8** %4
%79 = getelementptr inbounds i8, i8* %78, i32 1
store i8* %79, i8** %4
%80 = load i8*, i8** %8
%81 = icmp eq i8* %79, %80
%82 = zext i1 %81 to i32
%83 = call i64 @__unlikely(i32 %82)
%84 = icmp ne i64 %83, 0
br i1 %84, label %85, label %86
85: ; preds = %77
br label %110
86: ; preds = %77
%87 = load i8*, i8** %5
%88 = getelementptr inbounds i8, i8* %87, i32 1
store i8* %88, i8** %5
%89 = load i8*, i8** %5
%90 = load i8, i8* %89
%91 = load i8*, i8** %4
store i8 %90, i8* %91
%92 = icmp ne i8 %90, 0
%93 = xor i1 %92, true
%94 = zext i1 %93 to i32
%95 = call i64 @__unlikely(i32 %94)
%96 = icmp ne i64 %95, 0
br i1 %96, label %97, label %98
97: ; preds = %86
br label %110
98: ; preds = %86
%99 = load i8*, i8** %4
%100 = getelementptr inbounds i8, i8* %99, i32 1
store i8* %100, i8** %4
%101 = load i8*, i8** %8
%102 = icmp eq i8* %100, %101
%103 = zext i1 %102 to i32
%104 = call i64 @__unlikely(i32 %103)
%105 = icmp ne i64 %104, 0
br i1 %105, label %106, label %107
106: ; preds = %98
br label %110
107: ; preds = %98
%108 = load i8*, i8** %5
%109 = getelementptr inbounds i8, i8* %108, i32 1
store i8* %109, i8** %5
br label %25
110: ; preds = %106, %97, %85, %76, %64, %55, %43, %34
%111 = load i8*, i8** %4
store i8 0, i8* %111
br label %112
112: ; preds = %110, %23
%113 = load i8*, i8** %7
ret i8* %113
}

LLVM IR (-O2):
define i8* @strncat(i8* returned %0, i8* nocapture %1, i64 %2) {
%4 = tail call i32 @strlen(i8* %0)
%5 = sext i32 %4 to i64
%6 = getelementptr inbounds i8, i8* %0, i64 %5
%7 = getelementptr inbounds i8, i8* %6, i64 %2
%8 = icmp eq i64 %2, 0
%9 = zext i1 %8 to i32
%10 = tail call i64 @__unlikely(i32 %9)
%11 = icmp eq i64 %10, 0
br i1 %11, label %12, label %74
12: ; preds = %3
%13 = load i8, i8* %1
store i8 %13, i8* %6
%14 = icmp eq i8 %13, 0
%15 = zext i1 %14 to i32
%16 = tail call i64 @__unlikely(i32 %15)
%17 = icmp eq i64 %16, 0
br i1 %17, label %24, label %72
18: ; preds = %65
%19 = load i8, i8* %71
store i8 %19, i8* %66
%20 = icmp eq i8 %19, 0
%21 = zext i1 %20 to i32
%22 = tail call i64 @__unlikely(i32 %21)
%23 = icmp eq i64 %22, 0
br i1 %23, label %24, label %72
24: ; preds = %12, %18
%25 = phi i8* [ %66, %18 ], [ %6, %12 ]
%26 = phi i8* [ %71, %18 ], [ %1, %12 ]
%27 = getelementptr inbounds i8, i8* %25, i64 1
%28 = icmp eq i8* %27, %7
%29 = zext i1 %28 to i32
%30 = tail call i64 @__unlikely(i32 %29)
%31 = icmp eq i64 %30, 0
br i1 %31, label %32, label %72
32: ; preds = %24
%33 = getelementptr inbounds i8, i8* %26, i64 1
%34 = load i8, i8* %33
store i8 %34, i8* %27
%35 = icmp eq i8 %34, 0
%36 = zext i1 %35 to i32
%37 = tail call i64 @__unlikely(i32 %36)
%38 = icmp eq i64 %37, 0
br i1 %38, label %39, label %72
39: ; preds = %32
%40 = getelementptr inbounds i8, i8* %25, i64 2
%41 = icmp eq i8* %40, %7
%42 = zext i1 %41 to i32
%43 = tail call i64 @__unlikely(i32 %42)
%44 = icmp eq i64 %43, 0
br i1 %44, label %45, label %72
45: ; preds = %39
%46 = getelementptr inbounds i8, i8* %26, i64 2
%47 = load i8, i8* %46
store i8 %47, i8* %40
%48 = icmp eq i8 %47, 0
%49 = zext i1 %48 to i32
%50 = tail call i64 @__unlikely(i32 %49)
%51 = icmp eq i64 %50, 0
br i1 %51, label %52, label %72
52: ; preds = %45
%53 = getelementptr inbounds i8, i8* %25, i64 3
%54 = icmp eq i8* %53, %7
%55 = zext i1 %54 to i32
%56 = tail call i64 @__unlikely(i32 %55)
%57 = icmp eq i64 %56, 0
br i1 %57, label %58, label %72
58: ; preds = %52
%59 = getelementptr inbounds i8, i8* %26, i64 3
%60 = load i8, i8* %59
store i8 %60, i8* %53
%61 = icmp eq i8 %60, 0
%62 = zext i1 %61 to i32
%63 = tail call i64 @__unlikely(i32 %62)
%64 = icmp eq i64 %63, 0
br i1 %64, label %65, label %72
65: ; preds = %58
%66 = getelementptr inbounds i8, i8* %25, i64 4
%67 = icmp eq i8* %66, %7
%68 = zext i1 %67 to i32
%69 = tail call i64 @__unlikely(i32 %68)
%70 = icmp eq i64 %69, 0
%71 = getelementptr inbounds i8, i8* %26, i64 4
br i1 %70, label %18, label %72
72: ; preds = %18, %24, %32, %39, %45, %52, %58, %65, %12
%73 = phi i8* [ %6, %12 ], [ %66, %65 ], [ %53, %58 ], [ %53, %52 ], [ %40, %45 ], [ %40, %39 ], [ %27, %32 ], [ %27, %24 ], [ %66, %18 ]
store i8 0, i8* %73
br label %74
74: ; preds = %3, %72
ret i8* %0
}