#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 */
int strlen(char const *);
void strscpy(char *dest, const char *src, size_t n) {
  int i, srcstrlen;
  srcstrlen = strlen(src);
  if ((unsigned int)srcstrlen >= n) {
    srcstrlen = (n - 1);
  }
  for (i = 0; i < srcstrlen; i++) {
    dest[i] = src[i];
  }
  dest[srcstrlen] = '\0';
}


x86 assembly (clang, -O0):
<strscpy>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%rax
jb     1148 <strscpy+0x38>
mov    -0x18(%rbp),%rax
sub    $0x1,%rax
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    117f <strscpy+0x6f>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    114f <strscpy+0x3f>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strscpy>:
push   %r15
push   %r14
push   %rbx
mov    %rdx,%r15
mov    %rsi,%rbx
mov    %rdi,%r14
mov    %rsi,%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
lea    -0x1(%r15),%r9d
cmp    %r15,%rcx
cmovb  %eax,%r9d
test   %r9d,%r9d
jle    11bf <strscpy+0xaf>
mov    %r9d,%eax
cmp    $0x8,%r9d
jb     115b <strscpy+0x4b>
lea    (%rbx,%rax,1),%rcx
cmp    %r14,%rcx
jbe    11cd <strscpy+0xbd>
lea    (%r14,%rax,1),%rcx
cmp    %rbx,%rcx
jbe    11cd <strscpy+0xbd>
xor    %edx,%edx
mov    %rdx,%rsi
not    %rsi
add    %rax,%rsi
mov    %rax,%rdi
and    $0x3,%rdi
je     1182 <strscpy+0x72>
nop
movzbl (%rbx,%rdx,1),%ecx
mov    %cl,(%r14,%rdx,1)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rdi
jne    1170 <strscpy+0x60>
cmp    $0x3,%rsi
jb     11bf <strscpy+0xaf>
nopl   0x0(%rax,%rax,1)
movzbl (%rbx,%rdx,1),%ecx
mov    %cl,(%r14,%rdx,1)
movzbl 0x1(%rbx,%rdx,1),%ecx
mov    %cl,0x1(%r14,%rdx,1)
movzbl 0x2(%rbx,%rdx,1),%ecx
mov    %cl,0x2(%r14,%rdx,1)
movzbl 0x3(%rbx,%rdx,1),%ecx
mov    %cl,0x3(%r14,%rdx,1)
add    $0x4,%rdx
cmp    %rdx,%rax
jne    1190 <strscpy+0x80>
movslq %r9d,%rax
movb   $0x0,(%r14,%rax,1)
pop    %rbx
pop    %r14
pop    %r15
ret
cmp    $0x20,%r9d
jae    11da <strscpy+0xca>
xor    %edx,%edx
jmp    12bc <strscpy+0x1ac>
mov    %eax,%edx
and    $0xffffffe0,%edx
lea    -0x20(%rdx),%rcx
mov    %rcx,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%r8d
and    $0x3,%r8d
cmp    $0x60,%rcx
jae    11ff <strscpy+0xef>
xor    %esi,%esi
jmp    1270 <strscpy+0x160>
and    $0xfffffffffffffffc,%rdi
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nop
movups (%rbx,%rsi,1),%xmm0
movups 0x10(%rbx,%rsi,1),%xmm1
movups %xmm0,(%r14,%rsi,1)
movups %xmm1,0x10(%r14,%rsi,1)
movups 0x20(%rbx,%rsi,1),%xmm0
movups 0x30(%rbx,%rsi,1),%xmm1
movups %xmm0,0x20(%r14,%rsi,1)
movups %xmm1,0x30(%r14,%rsi,1)
movups 0x40(%rbx,%rsi,1),%xmm0
movups 0x50(%rbx,%rsi,1),%xmm1
movups %xmm0,0x40(%r14,%rsi,1)
movups %xmm1,0x50(%r14,%rsi,1)
movups 0x60(%rbx,%rsi,1),%xmm0
movups 0x70(%rbx,%rsi,1),%xmm1
movups %xmm0,0x60(%r14,%rsi,1)
movups %xmm1,0x70(%r14,%rsi,1)
sub    $0xffffffffffffff80,%rsi
add    $0xfffffffffffffffc,%rdi
jne    1210 <strscpy+0x100>
test   %r8,%r8
je     12ab <strscpy+0x19b>
lea    (%r14,%rsi,1),%rdi
add    $0x10,%rdi
add    %rbx,%rsi
add    $0x10,%rsi
shl    $0x5,%r8
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movups -0x10(%rsi,%rcx,1),%xmm0
movups (%rsi,%rcx,1),%xmm1
movups %xmm0,-0x10(%rdi,%rcx,1)
movups %xmm1,(%rdi,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r8
jne    1290 <strscpy+0x180>
cmp    %rax,%rdx
je     11bf <strscpy+0xaf>
test   $0x18,%al
je     115d <strscpy+0x4d>
mov    %rdx,%rsi
mov    %eax,%edx
and    $0xfffffff8,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rbx,%rsi,1),%rcx
mov    %rcx,(%r14,%rsi,1)
add    $0x8,%rsi
cmp    %rsi,%rdx
jne    12d0 <strscpy+0x1c0>
cmp    %rax,%rdx
je     11bf <strscpy+0xaf>
jmp    115d <strscpy+0x4d>

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

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