#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 /*<<< orphan*/ assert(int);
void incremental_copy(const char *src, char *op, int len) {
  assert(!(!((len) > (0))));
  do {
    *op++ = *src++;
  } while (--len > 0);
}


x86 assembly (clang, -O0):
<incremental_copy>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
setg   %al
xor    $0xff,%al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
cmp    $0x0,%eax
jg     1138 <incremental_copy+0x28>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<incremental_copy>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %edx,%ebx
mov    %rsi,%r14
mov    %rdi,%r15
xor    %edi,%edi
test   %edx,%edx
setg   %dil
mov    $0x1,%r12d
mov    $0x1,%ebp
cmovle %edx,%ebp
call   1030 <assert@plt>
mov    %ebx,%edx
sub    %ebp,%edx
cmp    $0x7,%edx
jb     1168 <incremental_copy+0x58>
test   %ebx,%ebx
cmovle %ebx,%r12d
mov    %ebx,%eax
sub    %r12d,%eax
lea    (%r15,%rax,1),%rcx
add    $0x1,%rcx
cmp    %r14,%rcx
jbe    119c <incremental_copy+0x8c>
add    %r14,%rax
add    $0x1,%rax
cmp    %r15,%rax
jbe    119c <incremental_copy+0x8c>
mov    %r15,%rdx
mov    %r14,%rsi
add    $0x1,%ebx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rdx,%rax,1),%ecx
mov    %cl,(%rsi,%rax,1)
add    $0x1,%rax
add    $0xffffffff,%ebx
cmp    $0x1,%ebx
jg     1180 <incremental_copy+0x70>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
movabs $0x1ffffffe0,%rax
cmp    $0x1f,%edx
jae    11b2 <incremental_copy+0xa2>
xor    %ecx,%ecx
jmp    12a9 <incremental_copy+0x199>
add    $0x1,%rdx
mov    %rdx,%rcx
and    %rax,%rcx
lea    -0x20(%rcx),%rsi
mov    %rsi,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%r8d
and    $0x3,%r8d
cmp    $0x60,%rsi
jae    11dc <incremental_copy+0xcc>
xor    %esi,%esi
jmp    1258 <incremental_copy+0x148>
and    $0xfffffffffffffffc,%rdi
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups (%r15,%rsi,1),%xmm0
movups 0x10(%r15,%rsi,1),%xmm1
movups %xmm0,(%r14,%rsi,1)
movups %xmm1,0x10(%r14,%rsi,1)
movups 0x20(%r15,%rsi,1),%xmm0
movups 0x30(%r15,%rsi,1),%xmm1
movups %xmm0,0x20(%r14,%rsi,1)
movups %xmm1,0x30(%r14,%rsi,1)
movups 0x40(%r15,%rsi,1),%xmm0
movups 0x50(%r15,%rsi,1),%xmm1
movups %xmm0,0x40(%r14,%rsi,1)
movups %xmm1,0x50(%r14,%rsi,1)
movups 0x60(%r15,%rsi,1),%xmm0
movups 0x70(%r15,%rsi,1),%xmm1
movups %xmm0,0x60(%r14,%rsi,1)
movups %xmm1,0x70(%r14,%rsi,1)
sub    $0xffffffffffffff80,%rsi
add    $0xfffffffffffffffc,%rdi
jne    11f0 <incremental_copy+0xe0>
test   %r8,%r8
je     129b <incremental_copy+0x18b>
lea    (%r14,%rsi,1),%rdi
add    $0x10,%rdi
add    %r15,%rsi
add    $0x10,%rsi
shl    $0x5,%r8
xor    %ebp,%ebp
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x10(%rsi,%rbp,1),%xmm0
movups (%rsi,%rbp,1),%xmm1
movups %xmm0,-0x10(%rdi,%rbp,1)
movups %xmm1,(%rdi,%rbp,1)
add    $0x20,%rbp
cmp    %rbp,%r8
jne    1280 <incremental_copy+0x170>
cmp    %rcx,%rdx
je     1193 <incremental_copy+0x83>
test   $0x18,%dl
je     12ef <incremental_copy+0x1df>
test   %ebx,%ebx
mov    $0x1,%edx
cmovle %ebx,%edx
mov    %ebx,%edi
sub    %edx,%edi
add    $0x1,%rdi
add    $0x18,%rax
and    %rdi,%rax
lea    (%r15,%rax,1),%rdx
lea    (%r14,%rax,1),%rsi
sub    %eax,%ebx
nopl   0x0(%rax)
mov    (%r15,%rcx,1),%rbp
mov    %rbp,(%r14,%rcx,1)
add    $0x8,%rcx
cmp    %rcx,%rax
jne    12d0 <incremental_copy+0x1c0>
cmp    %rax,%rdi
jne    116e <incremental_copy+0x5e>
jmp    1193 <incremental_copy+0x83>
sub    %ecx,%ebx
add    %rcx,%r14
add    %rcx,%r15
jmp    1168 <incremental_copy+0x58>

LLVM IR (-O0):
define void @incremental_copy(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%7 = load i32, i32* %6
%8 = icmp sgt i32 %7, 0
%9 = xor i1 %8, true
%10 = xor i1 %9, true
%11 = zext i1 %10 to i32
%12 = call i32 @assert(i32 %11)
br label %13
13: ; preds = %19, %3
%14 = load i8*, i8** %4
%15 = getelementptr inbounds i8, i8* %14, i32 1
store i8* %15, i8** %4
%16 = load i8, i8* %14
%17 = load i8*, i8** %5
%18 = getelementptr inbounds i8, i8* %17, i32 1
store i8* %18, i8** %5
store i8 %16, i8* %17
br label %19
19: ; preds = %13
%20 = load i32, i32* %6
%21 = add nsw i32 %20, -1
store i32 %21, i32* %6
%22 = icmp sgt i32 %21, 0
br i1 %22, label %13, label %23
23: ; preds = %19
ret void
}

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