void THFloatTensor_validXCorr2Dptr(float *r_, float alpha, float *t_, long ir,
                                   long ic, float *k_, long kr, long kc,
                                   long sr, long sc) {
  long or = (ir - kr) / sr + 1;
  long oc = (ic - kc) / sc + 1;
  long xx, yy, kx, ky;
  if ((sc != 1) || (oc < 4)) {
    for (yy = 0; yy < or ; yy++) {
      for (xx = 0; xx < oc; xx++) {
        float *pi_ = t_ + yy * sr * ic + xx * sc;
        float *pw_ = k_;
        float sum = 0;
        for (ky = 0; ky < kr; ky++) {
          for (kx = 0; kx < kc; kx++) {
            sum += pi_[kx] * pw_[kx];
          }
          pi_ += ic;
          pw_ += kc;
        }
        *r_++ += alpha * sum;
      }
    }
  } else {
    for (yy = 0; yy < or ; yy++) {
      float *pi_ = t_ + yy * sr * ic;
      float *pw_ = k_;
      for (ky = 0; ky < kr; ky++) {
        float *pis_ = pi_;
        for (kx = 0; kx < kc; kx++) {
          THFloatVector_add(r_, pis_, alpha * pw_[kx], oc);
          pis_++;
        }
        pi_ += ic;
        pw_ += kc;
      }
      r_ += oc;
    }
  }
}


x86 assembly (clang, -O0):
<THFloatTensor_validXCorr2Dptr>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
movss  %xmm0,-0xc(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8,-0x30(%rbp)
mov    %r9,-0x38(%rbp)
mov    -0x20(%rbp),%rax
sub    -0x38(%rbp),%rax
cqto
idivq  0x18(%rbp)
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
sub    0x10(%rbp),%rax
cqto
idivq  0x20(%rbp)
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
cmpq   $0x1,0x20(%rbp)
jne    1186 <THFloatTensor_validXCorr2Dptr+0x76>
cmpq   $0x4,-0x48(%rbp)
jge    12de <THFloatTensor_validXCorr2Dptr+0x1ce>
movq   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x40(%rbp),%rax
jge    12d9 <THFloatTensor_validXCorr2Dptr+0x1c9>
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x48(%rbp),%rax
jge    12c3 <THFloatTensor_validXCorr2Dptr+0x1b3>
mov    -0x18(%rbp),%rax
mov    -0x58(%rbp),%rcx
imul   0x18(%rbp),%rcx
imul   -0x28(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x50(%rbp),%rcx
imul   0x20(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x70(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x78(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x7c(%rbp)
movq   $0x0,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x38(%rbp),%rax
jge    1289 <THFloatTensor_validXCorr2Dptr+0x179>
movq   $0x0,-0x60(%rbp)
mov    -0x60(%rbp),%rax
cmp    0x10(%rbp),%rax
jge    1258 <THFloatTensor_validXCorr2Dptr+0x148>
mov    -0x70(%rbp),%rax
mov    -0x60(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x78(%rbp),%rax
mov    -0x60(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
movss  -0x7c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x7c(%rbp)
mov    -0x60(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x60(%rbp)
jmp    120d <THFloatTensor_validXCorr2Dptr+0xfd>
mov    -0x28(%rbp),%rax
shl    $0x2,%rax
add    -0x70(%rbp),%rax
mov    %rax,-0x70(%rbp)
mov    0x10(%rbp),%rax
shl    $0x2,%rax
add    -0x78(%rbp),%rax
mov    %rax,-0x78(%rbp)
mov    -0x68(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x68(%rbp)
jmp    11f7 <THFloatTensor_validXCorr2Dptr+0xe7>
movss  -0xc(%rbp),%xmm0
movss  -0x7c(%rbp),%xmm2
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x8(%rbp)
movss  (%rax),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,(%rax)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    11a4 <THFloatTensor_validXCorr2Dptr+0x94>
jmp    12c8 <THFloatTensor_validXCorr2Dptr+0x1b8>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    118e <THFloatTensor_validXCorr2Dptr+0x7e>
jmp    140e <THFloatTensor_validXCorr2Dptr+0x2fe>
movq   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x40(%rbp),%rax
jge    1409 <THFloatTensor_validXCorr2Dptr+0x2f9>
mov    -0x18(%rbp),%rax
mov    -0x58(%rbp),%rcx
imul   0x18(%rbp),%rcx
imul   -0x28(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x88(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x90(%rbp)
movq   $0x0,-0x68(%rbp)
mov    -0x68(%rbp),%rax
cmp    -0x38(%rbp),%rax
jge    13e8 <THFloatTensor_validXCorr2Dptr+0x2d8>
mov    -0x88(%rbp),%rax
mov    %rax,-0x98(%rbp)
movq   $0x0,-0x60(%rbp)
mov    -0x60(%rbp),%rax
cmp    0x10(%rbp),%rax
jge    13ab <THFloatTensor_validXCorr2Dptr+0x29b>
mov    -0x8(%rbp),%rdi
mov    -0x98(%rbp),%rsi
movss  -0xc(%rbp),%xmm0
mov    -0x90(%rbp),%rax
mov    -0x60(%rbp),%rcx
mulss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x48(%rbp),%rdx
mov    $0x1,%al
call   1030 <THFloatVector_add@plt>
mov    -0x98(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x98(%rbp)
mov    -0x60(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x60(%rbp)
jmp    134b <THFloatTensor_validXCorr2Dptr+0x23b>
mov    -0x28(%rbp),%rax
shl    $0x2,%rax
add    -0x88(%rbp),%rax
mov    %rax,-0x88(%rbp)
mov    0x10(%rbp),%rax
shl    $0x2,%rax
add    -0x90(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x68(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x68(%rbp)
jmp    1327 <THFloatTensor_validXCorr2Dptr+0x217>
mov    -0x48(%rbp),%rax
shl    $0x2,%rax
add    -0x8(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    12e6 <THFloatTensor_validXCorr2Dptr+0x1d6>
jmp    140e <THFloatTensor_validXCorr2Dptr+0x2fe>
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<THFloatTensor_validXCorr2Dptr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %r8,0x48(%rsp)
mov    %rcx,0x8(%rsp)
mov    %rdx,%rax
mov    %rsi,0x30(%rsp)
mov    %rdi,%rbx
mov    0xa0(%rsp),%rbp
mov    0x98(%rsp),%rsi
mov    0x90(%rsp),%rdi
sub    %r9,%rax
mov    %rax,%rcx
or     %rsi,%rcx
shr    $0x20,%rcx
je     1161 <THFloatTensor_validXCorr2Dptr+0x51>
cqto
idiv   %rsi
jmp    1165 <THFloatTensor_validXCorr2Dptr+0x55>
xor    %edx,%edx
div    %esi
mov    %rax,0x20(%rsp)
mov    0x8(%rsp),%rax
sub    %rdi,%rax
mov    %rax,%rcx
or     %rbp,%rcx
shr    $0x20,%rcx
je     1191 <THFloatTensor_validXCorr2Dptr+0x81>
cqto
idiv   %rbp
mov    %rax,%rdx
cmp    $0x1,%rbp
je     11a1 <THFloatTensor_validXCorr2Dptr+0x91>
jmp    12c1 <THFloatTensor_validXCorr2Dptr+0x1b1>
xor    %edx,%edx
div    %ebp
mov    %eax,%edx
cmp    $0x1,%rbp
jne    12c1 <THFloatTensor_validXCorr2Dptr+0x1b1>
cmp    $0x3,%rdx
jl     12c1 <THFloatTensor_validXCorr2Dptr+0x1b1>
mov    %rsi,0x18(%rsp)
cmpq   $0x0,0x20(%rsp)
js     144d <THFloatTensor_validXCorr2Dptr+0x33d>
add    $0x1,%rdx
mov    0x18(%rsp),%rax
imul   0x8(%rsp),%rax
mov    %rax,0x18(%rsp)
lea    0x0(,%rdi,4),%rax
mov    %rax,0x28(%rsp)
xor    %eax,%eax
mov    %rax,0x38(%rsp)
movss  %xmm0,0x44(%rsp)
mov    %r9,0x50(%rsp)
jmp    1222 <THFloatTensor_validXCorr2Dptr+0x112>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    (%rbx,%rdx,4),%rbx
mov    0x38(%rsp),%rcx
lea    0x1(%rcx),%rax
cmp    0x20(%rsp),%rcx
mov    %rax,0x38(%rsp)
mov    0x50(%rsp),%r9
je     144d <THFloatTensor_validXCorr2Dptr+0x33d>
test   %r9,%r9
jle    1200 <THFloatTensor_validXCorr2Dptr+0xf0>
mov    0x18(%rsp),%rax
imul   0x38(%rsp),%rax
mov    0x30(%rsp),%rcx
lea    (%rcx,%rax,4),%rax
mov    %rax,0x10(%rsp)
mov    0x48(%rsp),%r15
xor    %r13d,%r13d
jmp    1273 <THFloatTensor_validXCorr2Dptr+0x163>
nopw   0x0(%rax,%rax,1)
mov    0x8(%rsp),%rax
mov    0x10(%rsp),%rcx
lea    (%rcx,%rax,4),%rcx
mov    %rcx,0x10(%rsp)
add    $0x1,%r13
add    0x28(%rsp),%r15
cmp    0x50(%rsp),%r13
je     1200 <THFloatTensor_validXCorr2Dptr+0xf0>
test   %rdi,%rdi
jle    1250 <THFloatTensor_validXCorr2Dptr+0x140>
mov    0x10(%rsp),%r12
xor    %ebp,%ebp
nop
movss  (%r15,%rbp,4),%xmm1
mulss  %xmm0,%xmm1
xorps  %xmm0,%xmm0
cvtss2sd %xmm1,%xmm0
mov    %rbx,%rdi
mov    %r12,%rsi
mov    $0x1,%al
mov    %rdx,%r14
call   1030 <THFloatVector_add@plt>
mov    %r14,%rdx
mov    0x90(%rsp),%rdi
movss  0x44(%rsp),%xmm0
add    $0x4,%r12
add    $0x1,%rbp
cmp    %rbp,%rdi
jne    1280 <THFloatTensor_validXCorr2Dptr+0x170>
jmp    1250 <THFloatTensor_validXCorr2Dptr+0x140>
mov    %rbp,0x28(%rsp)
cmpq   $0x0,0x20(%rsp)
js     144d <THFloatTensor_validXCorr2Dptr+0x33d>
lea    -0x1(%rdi),%r12
mov    %edi,%r10d
and    $0x3,%r10d
mov    %rdi,%r13
and    $0xfffffffffffffffc,%r13
mov    0x8(%rsp),%r15
imul   %r15,%rsi
shl    $0x2,%rsi
mov    %rsi,0x18(%rsp)
shlq   $0x2,0x28(%rsp)
shl    $0x2,%r15
lea    0x0(,%rdi,4),%r14
xor    %ecx,%ecx
mov    %rdx,0x10(%rsp)
jmp    1343 <THFloatTensor_validXCorr2Dptr+0x233>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x8(%rsp),%rdx
lea    0x1(%rdx),%rcx
mov    0x18(%rsp),%rsi
add    %rsi,0x30(%rsp)
cmp    0x20(%rsp),%rdx
mov    0x10(%rsp),%rdx
je     144d <THFloatTensor_validXCorr2Dptr+0x33d>
mov    %rcx,0x8(%rsp)
test   %rdx,%rdx
js     1320 <THFloatTensor_validXCorr2Dptr+0x210>
mov    %rbx,%r8
mov    0x30(%rsp),%r11
xor    %edx,%edx
jmp    1388 <THFloatTensor_validXCorr2Dptr+0x278>
nopl   0x0(%rax)
lea    0x4(%r8),%rbx
mulss  %xmm0,%xmm4
addss  (%r8),%xmm4
movss  %xmm4,(%r8)
lea    0x1(%rdx),%rcx
add    0x28(%rsp),%r11
mov    %rbx,%r8
cmp    0x10(%rsp),%rdx
mov    %rcx,%rdx
je     1320 <THFloatTensor_validXCorr2Dptr+0x210>
xorps  %xmm4,%xmm4
test   %r9,%r9
jle    1360 <THFloatTensor_validXCorr2Dptr+0x250>
mov    0x48(%rsp),%rcx
mov    %r11,%rax
xor    %esi,%esi
jmp    13b7 <THFloatTensor_validXCorr2Dptr+0x2a7>
nopl   0x0(%rax)
add    $0x1,%rsi
add    %r15,%rax
add    %r14,%rcx
cmp    %r9,%rsi
mov    0x90(%rsp),%rdi
je     1360 <THFloatTensor_validXCorr2Dptr+0x250>
test   %rdi,%rdi
jle    13a0 <THFloatTensor_validXCorr2Dptr+0x290>
xor    %ebp,%ebp
cmp    $0x3,%r12
jb     1417 <THFloatTensor_validXCorr2Dptr+0x307>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movss  (%rax,%rbp,4),%xmm1
movss  0x4(%rax,%rbp,4),%xmm2
mulss  (%rcx,%rbp,4),%xmm1
mulss  0x4(%rcx,%rbp,4),%xmm2
addss  %xmm4,%xmm1
movss  0x8(%rax,%rbp,4),%xmm3
mulss  0x8(%rcx,%rbp,4),%xmm3
addss  %xmm1,%xmm2
movss  0xc(%rax,%rbp,4),%xmm4
mulss  0xc(%rcx,%rbp,4),%xmm4
addss  %xmm2,%xmm3
addss  %xmm3,%xmm4
add    $0x4,%rbp
cmp    %rbp,%r13
jne    13d0 <THFloatTensor_validXCorr2Dptr+0x2c0>
test   %r10,%r10
je     13a0 <THFloatTensor_validXCorr2Dptr+0x290>
lea    (%rcx,%rbp,4),%rbx
lea    (%rax,%rbp,4),%rbp
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
movss  0x0(%rbp,%rdi,4),%xmm1
mulss  (%rbx,%rdi,4),%xmm1
addss  %xmm1,%xmm4
add    $0x1,%rdi
cmp    %rdi,%r10
jne    1430 <THFloatTensor_validXCorr2Dptr+0x320>
jmp    13a0 <THFloatTensor_validXCorr2Dptr+0x290>
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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