#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 */
typedef int /*<<< orphan*/ uint32_t;

/* Variables and functions */
void *memcpy32(void *d, const void *s, size_t sz) {
  uint32_t *dp = d;
  const uint32_t *sp = s;
  sz >>= 2U;
  while (sz--)
    *dp++ = *sp++;
  return d;
}


x86 assembly (clang, -O0):
<memcpy32>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
shr    $0x2,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x18(%rbp)
cmp    $0x0,%rax
je     116c <memcpy32+0x6c>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x20(%rbp)
mov    %ecx,(%rax)
jmp    112c <memcpy32+0x2c>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<memcpy32>:
mov    %rdi,%rax
cmp    $0x4,%rdx
jb     12b0 <memcpy32+0x1b0>
mov    %rdx,%r10
shr    $0x2,%r10
cmp    $0x20,%rdx
jb     1137 <memcpy32+0x37>
and    $0xfffffffffffffffc,%rdx
lea    (%rsi,%rdx,1),%rcx
cmp    %rax,%rcx
jbe    11cc <memcpy32+0xcc>
add    %rax,%rdx
cmp    %rsi,%rdx
jbe    11cc <memcpy32+0xcc>
mov    %rax,%rdx
lea    -0x1(%r10),%r8
mov    %r10,%r9
and    $0x7,%r9
je     1168 <memcpy32+0x68>
xor    %edi,%edi
nopl   0x0(%rax)
mov    (%rsi),%ecx
add    $0x4,%rsi
mov    %ecx,(%rdx)
add    $0x4,%rdx
add    $0x1,%rdi
cmp    %rdi,%r9
jne    1150 <memcpy32+0x50>
sub    %rdi,%r10
cmp    $0x7,%r8
jb     12b0 <memcpy32+0x1b0>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rsi,%rcx,4),%edi
mov    %edi,(%rdx,%rcx,4)
mov    0x4(%rsi,%rcx,4),%edi
mov    %edi,0x4(%rdx,%rcx,4)
mov    0x8(%rsi,%rcx,4),%edi
mov    %edi,0x8(%rdx,%rcx,4)
mov    0xc(%rsi,%rcx,4),%edi
mov    %edi,0xc(%rdx,%rcx,4)
mov    0x10(%rsi,%rcx,4),%edi
mov    %edi,0x10(%rdx,%rcx,4)
mov    0x14(%rsi,%rcx,4),%edi
mov    %edi,0x14(%rdx,%rcx,4)
mov    0x18(%rsi,%rcx,4),%edi
mov    %edi,0x18(%rdx,%rcx,4)
mov    0x1c(%rsi,%rcx,4),%edi
mov    %edi,0x1c(%rdx,%rcx,4)
add    $0x8,%rcx
cmp    %rcx,%r10
jne    1180 <memcpy32+0x80>
jmp    12b0 <memcpy32+0x1b0>
mov    %r10,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%r9d
and    $0x3,%r9d
cmp    $0x18,%rcx
jae    11f3 <memcpy32+0xf3>
xor    %edx,%edx
jmp    1268 <memcpy32+0x168>
movabs $0x3ffffffffffffff8,%rcx
ff ff 3f
add    $0x4,%rcx
and    %rcx,%rdi
xor    %edx,%edx
cs nopw 0x0(%rax,%rax,1)
movups (%rsi,%rdx,4),%xmm0
movups 0x10(%rsi,%rdx,4),%xmm1
movups %xmm0,(%rax,%rdx,4)
movups %xmm1,0x10(%rax,%rdx,4)
movups 0x20(%rsi,%rdx,4),%xmm0
movups 0x30(%rsi,%rdx,4),%xmm1
movups %xmm0,0x20(%rax,%rdx,4)
movups %xmm1,0x30(%rax,%rdx,4)
movups 0x40(%rsi,%rdx,4),%xmm0
movups 0x50(%rsi,%rdx,4),%xmm1
movups %xmm0,0x40(%rax,%rdx,4)
movups %xmm1,0x50(%rax,%rdx,4)
movups 0x60(%rsi,%rdx,4),%xmm0
movups 0x70(%rsi,%rdx,4),%xmm1
movups %xmm0,0x60(%rax,%rdx,4)
movups %xmm1,0x70(%rax,%rdx,4)
add    $0x20,%rdx
add    $0xfffffffffffffffc,%rdi
jne    1210 <memcpy32+0x110>
test   %r9,%r9
je     12ab <memcpy32+0x1ab>
lea    (%rax,%rdx,4),%rcx
add    $0x10,%rcx
lea    (%rsi,%rdx,4),%rdx
add    $0x10,%rdx
shl    $0x5,%r9
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
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,%r9
jne    1290 <memcpy32+0x190>
cmp    %r8,%r10
jne    12b1 <memcpy32+0x1b1>
ret
and    $0x7,%r10d
lea    (%rsi,%r8,4),%rsi
lea    (%rax,%r8,4),%rdx
jmp    113a <memcpy32+0x3a>

LLVM IR (-O0):
define i8* @memcpy32(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** %4
%10 = bitcast i8* %9 to i32*
store i32* %10, i32** %7
%11 = load i8*, i8** %5
%12 = bitcast i8* %11 to i32*
store i32* %12, i32** %8
%13 = load i64, i64* %6
%14 = lshr i64 %13, 2
store i64 %14, i64* %6
br label %15
15: ; preds = %19, %3
%16 = load i64, i64* %6
%17 = add i64 %16, -1
store i64 %17, i64* %6
%18 = icmp ne i64 %16, 0
br i1 %18, label %19, label %25
19: ; preds = %15
%20 = load i32*, i32** %8
%21 = getelementptr inbounds i32, i32* %20, i32 1
store i32* %21, i32** %8
%22 = load i32, i32* %20
%23 = load i32*, i32** %7
%24 = getelementptr inbounds i32, i32* %23, i32 1
store i32* %24, i32** %7
store i32 %22, i32* %23
br label %15
25: ; preds = %15
%26 = load i8*, i8** %4
ret i8* %26
}

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