void BringBlockBack(int **big, int **small, int size, int param, int indexi,
                    int indexj) {
  int i, j;
  for (i = indexi * param; i < param * (indexi + 1); i++)
    for (j = indexj * param; j < param * (indexj + 1); j++)
      big[i][j] = small[i - indexi * param][j - indexj * param];
}


x86 assembly (clang, -O0):
<BringBlockBack>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9d,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
imul   -0x18(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%edx
add    $0x1,%edx
imul   %edx,%ecx
cmp    %ecx,%eax
jge    11b9 <BringBlockBack+0xb9>
mov    -0x20(%rbp),%eax
imul   -0x18(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0x18(%rbp),%ecx
mov    -0x20(%rbp),%edx
add    $0x1,%edx
imul   %edx,%ecx
cmp    %ecx,%eax
jge    11a6 <BringBlockBack+0xa6>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    -0x1c(%rbp),%edx
imul   -0x18(%rbp),%edx
sub    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x28(%rbp),%ecx
mov    -0x20(%rbp),%edx
imul   -0x18(%rbp),%edx
sub    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1145 <BringBlockBack+0x45>
jmp    11ab <BringBlockBack+0xab>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1124 <BringBlockBack+0x24>
pop    %rbp
ret

x86 assembly (clang, -O2):
<BringBlockBack>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdi,-0x8(%rsp)
mov    %r8d,%eax
imul   %ecx,%eax
add    $0x1,%r8d
imul   %ecx,%r8d
cmp    %r8d,%eax
jge    137d <BringBlockBack+0x27d>
mov    %r9d,%r15d
imul   %ecx,%r15d
add    $0x1,%r9d
imul   %ecx,%r9d
movslq %r15d,%r12
movslq %eax,%r10
movslq %r8d,%rdi
movslq %r9d,%r11
mov    %r11,%r8
sub    %r12,%r8
lea    -0x8(%r8),%rax
mov    %rax,-0x30(%rsp)
shr    $0x3,%rax
add    $0x1,%rax
mov    %r8,%rcx
and    $0xfffffffffffffff8,%rcx
mov    %rcx,-0x38(%rsp)
add    %r12,%rcx
mov    %rcx,-0x40(%rsp)
mov    %eax,%r13d
and    $0x3,%r13d
and    $0xfffffffffffffffc,%rax
mov    %rax,-0x50(%rsp)
lea    0x1c(%r12),%rax
mov    %rax,-0x58(%rsp)
mov    %r13,-0x48(%rsp)
shl    $0x5,%r13
mov    %r12,%rax
neg    %rax
mov    %rax,-0x20(%rsp)
mov    $0x3,%eax
sub    %r12,%rax
mov    %rax,-0x28(%rsp)
mov    %r10,-0x10(%rsp)
mov    %rdi,-0x18(%rsp)
jmp    11cd <BringBlockBack+0xcd>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r10
cmp    %rdi,%r10
je     137d <BringBlockBack+0x27d>
cmp    %r9d,%r15d
jge    11c0 <BringBlockBack+0xc0>
mov    %r10,%rax
sub    -0x10(%rsp),%rax
mov    (%rsi,%rax,8),%rbx
mov    -0x8(%rsp),%rax
mov    (%rax,%r10,8),%rbp
mov    %r12,%rcx
cmp    $0x8,%r8
jb     1300 <BringBlockBack+0x200>
lea    0x0(,%r12,4),%rax
add    %rbp,%rax
lea    (%rbx,%r8,4),%rcx
cmp    %rcx,%rax
jae    121f <BringBlockBack+0x11f>
lea    0x0(,%r11,4),%rax
add    %rbp,%rax
mov    %r12,%rcx
cmp    %rax,%rbx
jb     1300 <BringBlockBack+0x200>
cmpq   $0x18,-0x30(%rsp)
jae    122e <BringBlockBack+0x12e>
xor    %ecx,%ecx
jmp    12b0 <BringBlockBack+0x1b0>
mov    -0x58(%rsp),%rax
lea    0x0(,%rax,4),%r14
add    %rbp,%r14
mov    -0x50(%rsp),%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
movups (%rbx,%rcx,4),%xmm0
movups 0x10(%rbx,%rcx,4),%xmm1
movups %xmm0,-0x70(%r14,%rcx,4)
movups %xmm1,-0x60(%r14,%rcx,4)
movups 0x20(%rbx,%rcx,4),%xmm0
movups 0x30(%rbx,%rcx,4),%xmm1
movups %xmm0,-0x50(%r14,%rcx,4)
movups %xmm1,-0x40(%r14,%rcx,4)
movups 0x40(%rbx,%rcx,4),%xmm0
movups 0x50(%rbx,%rcx,4),%xmm1
movups %xmm0,-0x30(%r14,%rcx,4)
movups %xmm1,-0x20(%r14,%rcx,4)
movups 0x60(%rbx,%rcx,4),%xmm0
movups 0x70(%rbx,%rcx,4),%xmm1
movups %xmm0,-0x10(%r14,%rcx,4)
movups %xmm1,(%r14,%rcx,4)
add    $0x20,%rcx
add    $0xfffffffffffffffc,%rax
jne    1250 <BringBlockBack+0x150>
cmpq   $0x0,-0x48(%rsp)
je     12eb <BringBlockBack+0x1eb>
lea    (%rbx,%rcx,4),%rax
add    $0x10,%rax
add    %r12,%rcx
lea    0x10(,%rcx,4),%rcx
add    %rbp,%rcx
xor    %edx,%edx
movups -0x10(%rax,%rdx,1),%xmm0
movups (%rax,%rdx,1),%xmm1
movups %xmm0,-0x10(%rcx,%rdx,1)
movups %xmm1,(%rcx,%rdx,1)
add    $0x20,%rdx
cmp    %rdx,%r13
jne    12d0 <BringBlockBack+0x1d0>
mov    -0x40(%rsp),%rcx
cmp    -0x38(%rsp),%r8
je     11c0 <BringBlockBack+0xc0>
nopl   0x0(%rax,%rax,1)
mov    %r9d,%eax
sub    %ecx,%eax
mov    %rcx,%r14
not    %r14
add    %r11,%r14
and    $0x3,%rax
je     1331 <BringBlockBack+0x231>
mov    -0x20(%rsp),%rdx
lea    (%rbx,%rdx,4),%rdi
nopl   (%rax)
mov    (%rdi,%rcx,4),%edx
mov    %edx,0x0(%rbp,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rax
jne    1320 <BringBlockBack+0x220>
cmp    $0x3,%r14
mov    -0x18(%rsp),%rdi
jb     11c0 <BringBlockBack+0xc0>
mov    -0x28(%rsp),%rax
lea    (%rbx,%rax,4),%rax
nopl   0x0(%rax)
mov    -0xc(%rax,%rcx,4),%edx
mov    %edx,0x0(%rbp,%rcx,4)
mov    -0x8(%rax,%rcx,4),%edx
mov    %edx,0x4(%rbp,%rcx,4)
mov    -0x4(%rax,%rcx,4),%edx
mov    %edx,0x8(%rbp,%rcx,4)
mov    (%rax,%rcx,4),%edx
mov    %edx,0xc(%rbp,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%r11
jne    1350 <BringBlockBack+0x250>
jmp    11c0 <BringBlockBack+0xc0>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @BringBlockBack(i32** %0, i32** %1, i32 %2, i32 %3, i32 %4, i32 %5) {
%7 = alloca i32**
%8 = alloca i32**
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i32** %0, i32*** %7
store i32** %1, i32*** %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
store i32 %5, i32* %12
%15 = load i32, i32* %11
%16 = load i32, i32* %10
%17 = mul nsw i32 %15, %16
store i32 %17, i32* %13
br label %18
18: ; preds = %66, %6
%19 = load i32, i32* %13
%20 = load i32, i32* %10
%21 = load i32, i32* %11
%22 = add nsw i32 %21, 1
%23 = mul nsw i32 %20, %22
%24 = icmp slt i32 %19, %23
br i1 %24, label %25, label %69
25: ; preds = %18
%26 = load i32, i32* %12
%27 = load i32, i32* %10
%28 = mul nsw i32 %26, %27
store i32 %28, i32* %14
br label %29
29: ; preds = %62, %25
%30 = load i32, i32* %14
%31 = load i32, i32* %10
%32 = load i32, i32* %12
%33 = add nsw i32 %32, 1
%34 = mul nsw i32 %31, %33
%35 = icmp slt i32 %30, %34
br i1 %35, label %36, label %65
36: ; preds = %29
%37 = load i32**, i32*** %8
%38 = load i32, i32* %13
%39 = load i32, i32* %11
%40 = load i32, i32* %10
%41 = mul nsw i32 %39, %40
%42 = sub nsw i32 %38, %41
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i32*, i32** %37, i64 %43
%45 = load i32*, i32** %44
%46 = load i32, i32* %14
%47 = load i32, i32* %12
%48 = load i32, i32* %10
%49 = mul nsw i32 %47, %48
%50 = sub nsw i32 %46, %49
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i32, i32* %45, i64 %51
%53 = load i32, i32* %52
%54 = load i32**, i32*** %7
%55 = load i32, i32* %13
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i32*, i32** %54, i64 %56
%58 = load i32*, i32** %57
%59 = load i32, i32* %14
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds i32, i32* %58, i64 %60
store i32 %53, i32* %61
br label %62
62: ; preds = %36
%63 = load i32, i32* %14
%64 = add nsw i32 %63, 1
store i32 %64, i32* %14
br label %29
65: ; preds = %29
br label %66
66: ; preds = %65
%67 = load i32, i32* %13
%68 = add nsw i32 %67, 1
store i32 %68, i32* %13
br label %18
69: ; preds = %18
ret void
}

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