void __attribute__((always_))
data_init(unsigned int *from, unsigned int *section_begin,
          unsigned int *section_end) {
  unsigned int *p = section_begin;
  while (p < section_end)
    *p++ = *from++;
}


x86 assembly (clang, -O0):
<data_init>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    114d <data_init+0x4d>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x20(%rbp)
mov    %ecx,(%rax)
jmp    1118 <data_init+0x18>
pop    %rbp
ret

x86 assembly (clang, -O2):
<data_init>:
cmp    %rdx,%rsi
jae    1251 <data_init+0x151>
lea    0x4(%rsi),%rax
cmp    %rax,%rdx
mov    %rax,%r9
cmova  %rdx,%r9
mov    %rsi,%rcx
not    %rcx
add    %rcx,%r9
cmp    $0x1c,%r9
jb     1240 <data_init+0x140>
cmp    %rax,%rdx
cmova  %rdx,%rax
add    %rcx,%rax
and    $0xfffffffffffffffc,%rax
lea    (%rdi,%rax,1),%rcx
add    $0x4,%rcx
cmp    %rsi,%rcx
jbe    1155 <data_init+0x55>
add    %rsi,%rax
add    $0x4,%rax
cmp    %rdi,%rax
ja     1240 <data_init+0x140>
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    1184 <data_init+0x84>
xor    %eax,%eax
jmp    11e8 <data_init+0xe8>
and    $0xfffffffffffffffc,%rcx
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
movups (%rdi,%rax,4),%xmm0
movups 0x10(%rdi,%rax,4),%xmm1
movups %xmm0,(%rsi,%rax,4)
movups %xmm1,0x10(%rsi,%rax,4)
movups 0x20(%rdi,%rax,4),%xmm0
movups 0x30(%rdi,%rax,4),%xmm1
movups %xmm0,0x20(%rsi,%rax,4)
movups %xmm1,0x30(%rsi,%rax,4)
movups 0x40(%rdi,%rax,4),%xmm0
movups 0x50(%rdi,%rax,4),%xmm1
movups %xmm0,0x40(%rsi,%rax,4)
movups %xmm1,0x50(%rsi,%rax,4)
movups 0x60(%rdi,%rax,4),%xmm0
movups 0x70(%rdi,%rax,4),%xmm1
movups %xmm0,0x60(%rsi,%rax,4)
movups %xmm1,0x70(%rsi,%rax,4)
add    $0x20,%rax
add    $0xfffffffffffffffc,%rcx
jne    1190 <data_init+0x90>
test   %r10,%r10
je     122d <data_init+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(%r11,%rcx,1),%xmm0
movups (%r11,%rcx,1),%xmm1
movups %xmm0,-0x10(%rax,%rcx,1)
movups %xmm1,(%rax,%rcx,1)
add    $0x20,%rcx
cmp    %rcx,%r10
jne    1210 <data_init+0x110>
cmp    %r8,%r9
je     1251 <data_init+0x151>
lea    (%rsi,%r8,4),%rsi
lea    (%rdi,%r8,4),%rdi
nopw   0x0(%rax,%rax,1)
mov    (%rdi),%eax
add    $0x4,%rdi
mov    %eax,(%rsi)
add    $0x4,%rsi
cmp    %rdx,%rsi
jb     1240 <data_init+0x140>
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*
store i32* %0, i32** %4
store i32* %1, i32** %5
store i32* %2, i32** %6
%8 = load i32*, i32** %5
store i32* %8, i32** %7
br label %9
9: ; preds = %13, %3
%10 = load i32*, i32** %7
%11 = load i32*, i32** %6
%12 = icmp ult i32* %10, %11
br i1 %12, label %13, label %19
13: ; preds = %9
%14 = load i32*, i32** %4
%15 = getelementptr inbounds i32, i32* %14, i32 1
store i32* %15, i32** %4
%16 = load i32, i32* %14
%17 = load i32*, i32** %7
%18 = getelementptr inbounds i32, i32* %17, i32 1
store i32* %18, i32** %7
store i32 %16, i32* %17
br label %9
19: ; preds = %9
ret void
}

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