#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 */
void sodium_memput(unsigned char *out, unsigned char *in, size_t offset,
                   size_t size) {
  size_t i;
  for (i = 0; i < size; i++) {
    out[offset + i] = in[i];
  }
}


x86 assembly (clang, -O0):
<sodium_memput>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1155 <sodium_memput+0x55>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    -0x28(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    111c <sodium_memput+0x1c>
pop    %rbp
ret

x86 assembly (clang, -O2):
<sodium_memput>:
push   %r14
push   %rbx
test   %rcx,%rcx
je     11a3 <sodium_memput+0xa3>
cmp    $0x8,%rcx
jb     112f <sodium_memput+0x2f>
lea    (%rdi,%rdx,1),%r8
lea    (%rsi,%rcx,1),%rax
cmp    %rax,%r8
jae    11a7 <sodium_memput+0xa7>
lea    (%rcx,%rdx,1),%rax
add    %rdi,%rax
cmp    %rsi,%rax
jbe    11a7 <sodium_memput+0xa7>
xor    %r14d,%r14d
mov    %r14,%r8
not    %r8
add    %rcx,%r8
mov    %rcx,%rbx
and    $0x3,%rbx
je     1163 <sodium_memput+0x63>
lea    (%rdi,%rdx,1),%r9
nopl   0x0(%rax,%rax,1)
movzbl (%rsi,%r14,1),%eax
mov    %al,(%r9,%r14,1)
add    $0x1,%r14
add    $0xffffffffffffffff,%rbx
jne    1150 <sodium_memput+0x50>
cmp    $0x3,%r8
jb     11a3 <sodium_memput+0xa3>
add    %rdi,%rdx
add    $0x3,%rdx
movzbl (%rsi,%r14,1),%eax
mov    %al,-0x3(%rdx,%r14,1)
movzbl 0x1(%rsi,%r14,1),%eax
mov    %al,-0x2(%rdx,%r14,1)
movzbl 0x2(%rsi,%r14,1),%eax
mov    %al,-0x1(%rdx,%r14,1)
movzbl 0x3(%rsi,%r14,1),%eax
mov    %al,(%rdx,%r14,1)
add    $0x4,%r14
cmp    %r14,%rcx
jne    1170 <sodium_memput+0x70>
pop    %rbx
pop    %r14
ret
cmp    $0x20,%rcx
jae    11b5 <sodium_memput+0xb5>
xor    %r14d,%r14d
jmp    12b1 <sodium_memput+0x1b1>
mov    %rcx,%r14
and    $0xffffffffffffffe0,%r14
lea    -0x20(%r14),%rbx
mov    %rbx,%r10
shr    $0x5,%r10
add    $0x1,%r10
mov    %r10d,%r9d
and    $0x3,%r9d
cmp    $0x60,%rbx
jae    11dd <sodium_memput+0xdd>
xor    %r11d,%r11d
jmp    1258 <sodium_memput+0x158>
and    $0xfffffffffffffffc,%r10
lea    (%rdx,%rdi,1),%rbx
add    $0x70,%rbx
xor    %r11d,%r11d
nopl   0x0(%rax)
movups (%rsi,%r11,1),%xmm0
movups 0x10(%rsi,%r11,1),%xmm1
movups %xmm0,-0x70(%rbx,%r11,1)
movups %xmm1,-0x60(%rbx,%r11,1)
movups 0x20(%rsi,%r11,1),%xmm0
movups 0x30(%rsi,%r11,1),%xmm1
movups %xmm0,-0x50(%rbx,%r11,1)
movups %xmm1,-0x40(%rbx,%r11,1)
movups 0x40(%rsi,%r11,1),%xmm0
movups 0x50(%rsi,%r11,1),%xmm1
movups %xmm0,-0x30(%rbx,%r11,1)
movups %xmm1,-0x20(%rbx,%r11,1)
movups 0x60(%rsi,%r11,1),%xmm0
movups 0x70(%rsi,%r11,1),%xmm1
movups %xmm0,-0x10(%rbx,%r11,1)
movups %xmm1,(%rbx,%r11,1)
sub    $0xffffffffffffff80,%r11
add    $0xfffffffffffffffc,%r10
jne    11f0 <sodium_memput+0xf0>
test   %r9,%r9
je     129f <sodium_memput+0x19f>
lea    (%r11,%rdx,1),%rbx
lea    (%rdi,%rbx,1),%r10
add    $0x10,%r10
add    %rsi,%r11
add    $0x10,%r11
shl    $0x5,%r9
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
movups -0x10(%r11,%rbx,1),%xmm0
movups (%r11,%rbx,1),%xmm1
movups %xmm0,-0x10(%r10,%rbx,1)
movups %xmm1,(%r10,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r9
jne    1280 <sodium_memput+0x180>
cmp    %rcx,%r14
je     11a3 <sodium_memput+0xa3>
test   $0x18,%cl
je     1132 <sodium_memput+0x32>
mov    %r14,%r9
mov    %rcx,%r14
and    $0xfffffffffffffff8,%r14
nopl   0x0(%rax,%rax,1)
mov    (%rsi,%r9,1),%rbx
mov    %rbx,(%r8,%r9,1)
add    $0x8,%r9
cmp    %r9,%r14
jne    12c0 <sodium_memput+0x1c0>
cmp    %rcx,%r14
je     11a3 <sodium_memput+0xa3>
jmp    1132 <sodium_memput+0x32>

LLVM IR (-O0):
define void @sodium_memput(i8* %0, i8* %1, i64 %2, i64 %3) {
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
store i8* %0, i8** %5
store i8* %1, i8** %6
store i64 %2, i64* %7
store i64 %3, i64* %8
store i64 0, i64* %9
br label %10
10: ; preds = %24, %4
%11 = load i64, i64* %9
%12 = load i64, i64* %8
%13 = icmp ult i64 %11, %12
br i1 %13, label %14, label %27
14: ; preds = %10
%15 = load i8*, i8** %6
%16 = load i64, i64* %9
%17 = getelementptr inbounds i8, i8* %15, i64 %16
%18 = load i8, i8* %17
%19 = load i8*, i8** %5
%20 = load i64, i64* %7
%21 = load i64, i64* %9
%22 = add i64 %20, %21
%23 = getelementptr inbounds i8, i8* %19, i64 %22
store i8 %18, i8* %23
br label %24
24: ; preds = %14
%25 = load i64, i64* %9
%26 = add i64 %25, 1
store i64 %26, i64* %9
br label %10
27: ; preds = %10
ret void
}

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