#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;
typedef scalar_t__ int32_t;

/* Variables and functions */
void copy_boot_image(uintptr_t dest_addr, uintptr_t src_addr, int32_t len) {
  uint32_t *dst = (uint32_t *)dest_addr;
  uint32_t *src = (uint32_t *)src_addr;
  while (len > 0) {
    *dst++ = *src++;
    len -= sizeof(*dst);
  }
}


x86 assembly (clang, -O0):
<copy_boot_image>:
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)
cmpq   $0x0,-0x18(%rbp)
jle    115e <copy_boot_image+0x5e>
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)
mov    -0x18(%rbp),%rax
sub    $0x4,%rax
mov    %rax,-0x18(%rbp)
jmp    1120 <copy_boot_image+0x20>
pop    %rbp
ret

x86 assembly (clang, -O2):
<copy_boot_image>:
test   %rdx,%rdx
jle    1264 <copy_boot_image+0x164>
xor    %r9d,%r9d
mov    %rdx,%rax
sub    $0x4,%rax
cmovae %rax,%r9
add    $0x3,%r9
cmp    $0x1c,%r9
jb     1245 <copy_boot_image+0x145>
xor    %eax,%eax
mov    %rdx,%rcx
sub    $0x4,%rcx
cmovae %rcx,%rax
add    $0x3,%rax
and    $0xfffffffffffffffc,%rax
lea    (%rsi,%rax,1),%rcx
add    $0x4,%rcx
cmp    %rcx,%rdi
jae    1157 <copy_boot_image+0x57>
add    %rdi,%rax
add    $0x4,%rax
cmp    %rax,%rsi
jb     1245 <copy_boot_image+0x145>
shr    $0x2,%r9
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
mov    %ecx,%r10d
and    $0x3,%r10d
cmp    $0x18,%rax
jae    1186 <copy_boot_image+0x86>
xor    %eax,%eax
jmp    11e8 <copy_boot_image+0xe8>
and    $0xfffffffffffffffc,%rcx
xor    %eax,%eax
nopl   0x0(%rax)
movups (%rsi,%rax,4),%xmm0
movups 0x10(%rsi,%rax,4),%xmm1
movups %xmm0,(%rdi,%rax,4)
movups %xmm1,0x10(%rdi,%rax,4)
movups 0x20(%rsi,%rax,4),%xmm0
movups 0x30(%rsi,%rax,4),%xmm1
movups %xmm0,0x20(%rdi,%rax,4)
movups %xmm1,0x30(%rdi,%rax,4)
movups 0x40(%rsi,%rax,4),%xmm0
movups 0x50(%rsi,%rax,4),%xmm1
movups %xmm0,0x40(%rdi,%rax,4)
movups %xmm1,0x50(%rdi,%rax,4)
movups 0x60(%rsi,%rax,4),%xmm0
movups 0x70(%rsi,%rax,4),%xmm1
movups %xmm0,0x60(%rdi,%rax,4)
movups %xmm1,0x70(%rdi,%rax,4)
add    $0x20,%rax
add    $0xfffffffffffffffc,%rcx
jne    1190 <copy_boot_image+0x90>
test   %r10,%r10
je     122d <copy_boot_image+0x12d>
lea    (%rdi,%rax,4),%r11
add    $0x10,%r11
lea    (%rsi,%rax,4),%rax
add    $0x10,%rax
shl    $0x5,%r10
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rax,%rcx,1),%xmm0
movups (%rax,%rcx,1),%xmm1
movups %xmm0,-0x10(%r11,%rcx,1)
movups %xmm1,(%r11,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r10
jne    1210 <copy_boot_image+0x110>
cmp    %r8,%r9
je     1264 <copy_boot_image+0x164>
lea    0x0(,%r8,4),%rax
lea    (%rsi,%r8,4),%rsi
lea    (%rdi,%r8,4),%rdi
sub    %rax,%rdx
add    $0x4,%rdx
xor    %eax,%eax
nopl   0x0(%rax,%rax,1)
mov    (%rsi,%rax,1),%ecx
mov    %ecx,(%rdi,%rax,1)
add    $0x4,%rax
add    $0xfffffffffffffffc,%rdx
cmp    $0x4,%rdx
ja     1250 <copy_boot_image+0x150>
ret

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

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