__attribute__((always_)) void data_init(unsigned int romstart,
                                        unsigned int start, unsigned int len) {
  unsigned int *pulDest = (unsigned int *)start;
  unsigned int *pulSrc = (unsigned int *)romstart;
  unsigned int loop;
  for (loop = 0; loop < len; loop = loop + 4)
    *pulDest++ = *pulSrc++;
}


x86 assembly (clang, -O0):
<data_init>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    -0x8(%rbp),%eax
mov    %rax,-0x18(%rbp)
mov    -0x4(%rbp),%eax
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jae    115e <data_init+0x5e>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x20(%rbp)
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x18(%rbp)
mov    %ecx,(%rax)
mov    -0x24(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x24(%rbp)
jmp    1122 <data_init+0x22>
pop    %rbp
ret

x86 assembly (clang, -O2):
<data_init>:
push   %rbx
test   %edx,%edx
je     1251 <data_init+0x151>
mov    %edi,%ebx
mov    %esi,%ecx
lea    -0x1(%rdx),%r9d
xor    %r10d,%r10d
cmp    $0x1c,%r9d
jb     1232 <data_init+0x132>
mov    %r9d,%edi
and    $0xfffffffc,%edi
lea    (%rbx,%rdi,1),%rsi
add    $0x4,%rsi
cmp    %rsi,%rcx
jae    1142 <data_init+0x42>
lea    (%rcx,%rdi,1),%rsi
add    $0x4,%rsi
cmp    %rsi,%rbx
jb     1232 <data_init+0x132>
shr    $0x2,%r9d
add    $0x1,%r9d
mov    %r9d,%r8d
and    $0xfffffff8,%r8d
lea    -0x8(%r8),%rsi
mov    %rsi,%rdi
shr    $0x3,%rdi
add    $0x1,%rdi
mov    %edi,%r10d
and    $0x3,%r10d
cmp    $0x18,%rsi
jae    1171 <data_init+0x71>
xor    %esi,%esi
jmp    11d8 <data_init+0xd8>
and    $0xfffffffffffffffc,%rdi
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups (%rbx,%rsi,4),%xmm0
movups 0x10(%rbx,%rsi,4),%xmm1
movups %xmm0,(%rcx,%rsi,4)
movups %xmm1,0x10(%rcx,%rsi,4)
movups 0x20(%rbx,%rsi,4),%xmm0
movups 0x30(%rbx,%rsi,4),%xmm1
movups %xmm0,0x20(%rcx,%rsi,4)
movups %xmm1,0x30(%rcx,%rsi,4)
movups 0x40(%rbx,%rsi,4),%xmm0
movups 0x50(%rbx,%rsi,4),%xmm1
movups %xmm0,0x40(%rcx,%rsi,4)
movups %xmm1,0x50(%rcx,%rsi,4)
movups 0x60(%rbx,%rsi,4),%xmm0
movups 0x70(%rbx,%rsi,4),%xmm1
movups %xmm0,0x60(%rcx,%rsi,4)
movups %xmm1,0x70(%rcx,%rsi,4)
add    $0x20,%rsi
add    $0xfffffffffffffffc,%rdi
jne    1180 <data_init+0x80>
test   %r10,%r10
je     121d <data_init+0x11d>
lea    (%rcx,%rsi,4),%r11
add    $0x10,%r11
lea    (%rbx,%rsi,4),%rsi
add    $0x10,%rsi
shl    $0x5,%r10
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rsi,%rdi,1),%xmm0
movups (%rsi,%rdi,1),%xmm1
movups %xmm0,-0x10(%r11,%rdi,1)
movups %xmm1,(%r11,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r10
jne    1200 <data_init+0x100>
cmp    %r9,%r8
je     1251 <data_init+0x151>
lea    0x0(,%r8,4),%r10d
lea    (%rbx,%r8,4),%rbx
lea    (%rcx,%r8,4),%rcx
mov    %r10d,%esi
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
mov    (%rbx,%rdi,1),%eax
mov    %eax,(%rcx,%rdi,1)
add    $0x4,%rdi
lea    (%rsi,%rdi,1),%eax
cmp    %edx,%eax
jb     1240 <data_init+0x140>
pop    %rbx
ret

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

LLVM IR (-O2):
define void @data_init(i32 %0, i32 %1, i32 %2) {
%4 = icmp eq i32 %2, 0
br i1 %4, label %125, label %5
5: ; preds = %3
%6 = zext i32 %0 to i64
%7 = inttoptr i64 %6 to i32*
%8 = zext i32 %1 to i64
%9 = inttoptr i64 %8 to i32*
%10 = add i32 %2, -1
%11 = lshr i32 %10, 2
%12 = add nuw nsw i32 %11, 1
%13 = zext i32 %12 to i64
%14 = icmp ult i32 %10, 28
br i1 %14, label %112, label %15
15: ; preds = %5
%16 = inttoptr i64 %8 to i8*
%17 = inttoptr i64 %6 to i8*
%18 = add i32 %2, -1
%19 = lshr i32 %18, 2
%20 = add nuw nsw i32 %19, 1
%21 = zext i32 %20 to i64
%22 = getelementptr i32, i32* %9, i64 %21
%23 = bitcast i32* %22 to i8*
%24 = getelementptr i32, i32* %7, i64 %21
%25 = bitcast i32* %24 to i8*
%26 = icmp ult i8* %16, %25
%27 = icmp ult i8* %17, %23
%28 = and i1 %26, %27
br i1 %28, label %112, label %29
29: ; preds = %15
%30 = and i64 %13, 2147483640
%31 = trunc i64 %30 to i32
%32 = shl i32 %31, 2
%33 = getelementptr i32, i32* %7, i64 %30
%34 = getelementptr i32, i32* %9, i64 %30
%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* %7, i64 %43
%46 = getelementptr i32, i32* %9, 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* %7, i64 %55
%57 = getelementptr i32, i32* %9, 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* %7, i64 %66
%68 = getelementptr i32, i32* %9, 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* %7, i64 %77
%79 = getelementptr i32, i32* %9, 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* %7, i64 %95
%98 = getelementptr i32, i32* %9, 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 %30, %13
br i1 %111, label %125, label %112
112: ; preds = %15, %5, %110
%113 = phi i32 [ 0, %15 ], [ 0, %5 ], [ %32, %110 ]
%114 = phi i32* [ %7, %15 ], [ %7, %5 ], [ %33, %110 ]
%115 = phi i32* [ %9, %15 ], [ %9, %5 ], [ %34, %110 ]
br label %116
116: ; preds = %112, %116
%117 = phi i32 [ %123, %116 ], [ %113, %112 ]
%118 = phi i32* [ %120, %116 ], [ %114, %112 ]
%119 = phi i32* [ %122, %116 ], [ %115, %112 ]
%120 = getelementptr inbounds i32, i32* %118, i64 1
%121 = load i32, i32* %118
%122 = getelementptr inbounds i32, i32* %119, i64 1
store i32 %121, i32* %119
%123 = add nuw i32 %117, 4
%124 = icmp ult i32 %123, %2
br i1 %124, label %116, label %125
125: ; preds = %116, %110, %3
ret void
}