#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 */

/* Variables and functions */
int symmetrized_coordinates(int, int);
int /*<<< orphan*/ xfree(float *);
float *xmalloc(int);
void convolve_symm(const float *in, float *out, int w, int h, const float *xker,
                   int r_xker, const float *yker, int r_yker) {
  float *im_tmp = xmalloc(w * h * sizeof(float));
  for (int i = 0; i < h; i++) {
    for (int j = 0; j < w; j++) {
      float sum = in[i * w + j] * xker[0];
      for (int k = 1; k <= r_xker; k++) {
        int i_p_left = symmetrized_coordinates(i - k, h);
        int i_p_right = symmetrized_coordinates(i + k, h);
        sum += xker[k] * (in[i_p_left * w + j] + in[i_p_right * w + j]);
      }
      im_tmp[i * w + j] = sum;
    }
  }
  for (int i = 0; i < h; i++) {
    for (int j = 0; j < w; j++) {
      float sum = im_tmp[i * w + j] * xker[0];
      for (int k = 1; k <= r_yker; k++) {
        int j_p_left = symmetrized_coordinates(j - k, w);
        int j_p_right = symmetrized_coordinates(j + k, w);
        sum += yker[k] * (im_tmp[i * w + j_p_left] + im_tmp[i * w + j_p_right]);
      }
      out[i * w + j] = sum;
    }
  }
  xfree(im_tmp);
}


x86 assembly (clang, -O0):
<convolve_symm>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
mov    -0x14(%rbp),%eax
imul   -0x18(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <xmalloc@plt>
mov    %rax,-0x30(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1280 <convolve_symm+0x150>
movl   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    126d <convolve_symm+0x13d>
mov    -0x8(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x20(%rbp),%rax
mulss  (%rax),%xmm0
movss  %xmm0,-0x3c(%rbp)
movl   $0x1,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x24(%rbp),%eax
jg     1244 <convolve_symm+0x114>
mov    -0x34(%rbp),%edi
sub    -0x40(%rbp),%edi
mov    -0x18(%rbp),%esi
call   1030 <symmetrized_coordinates@plt>
mov    %eax,-0x44(%rbp)
mov    -0x34(%rbp),%edi
add    -0x40(%rbp),%edi
mov    -0x18(%rbp),%esi
call   1030 <symmetrized_coordinates@plt>
mov    %eax,-0x48(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x44(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm2
movss  -0x3c(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    11bd <convolve_symm+0x8d>
movss  -0x3c(%rbp),%xmm0
mov    -0x30(%rbp),%rax
mov    -0x34(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x38(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1187 <convolve_symm+0x57>
jmp    1272 <convolve_symm+0x142>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1174 <convolve_symm+0x44>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1393 <convolve_symm+0x263>
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1380 <convolve_symm+0x250>
mov    -0x30(%rbp),%rax
mov    -0x4c(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x50(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x20(%rbp),%rax
mulss  (%rax),%xmm0
movss  %xmm0,-0x54(%rbp)
movl   $0x1,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    0x18(%rbp),%eax
jg     1357 <convolve_symm+0x227>
mov    -0x50(%rbp),%edi
sub    -0x58(%rbp),%edi
mov    -0x14(%rbp),%esi
call   1030 <symmetrized_coordinates@plt>
mov    %eax,-0x5c(%rbp)
mov    -0x50(%rbp),%edi
add    -0x58(%rbp),%edi
mov    -0x14(%rbp),%esi
call   1030 <symmetrized_coordinates@plt>
mov    %eax,-0x60(%rbp)
mov    0x10(%rbp),%rax
movslq -0x58(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x30(%rbp),%rax
mov    -0x4c(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x5c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x30(%rbp),%rax
mov    -0x4c(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x60(%rbp),%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm2
movss  -0x54(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x54(%rbp)
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    12d0 <convolve_symm+0x1a0>
movss  -0x54(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x4c(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x50(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    129a <convolve_symm+0x16a>
jmp    1385 <convolve_symm+0x255>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1287 <convolve_symm+0x157>
mov    -0x30(%rbp),%rdi
call   1040 <xfree@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<convolve_symm>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x98,%rsp
mov    %r9d,%r13d
mov    %r8,%r15
mov    %ecx,%r14d
mov    %edx,%ebp
mov    %rsi,0x80(%rsp)
mov    %rdi,0x10(%rsp)
mov    0xd8(%rsp),%eax
mov    %rax,0x60(%rsp)
mov    0xd0(%rsp),%r12
mov    %edx,%edi
imul   %ecx,%edi
shl    $0x2,%edi
call   1050 <xmalloc@plt>
mov    %rax,%rdi
test   %r14d,%r14d
jle    1462 <convolve_symm+0x332>
mov    %ebp,%esi
mov    %r15,%r9
lea    0x1(%r13),%ebp
movslq %esi,%rax
mov    %r14d,0x28(%rsp)
mov    %r14d,%ecx
mov    %rcx,0x58(%rsp)
mov    %rax,0x50(%rsp)
mov    %eax,%eax
mov    %rax,0x68(%rsp)
add    $0xffffffffffffffff,%rbp
mov    $0x1,%eax
movl   $0xffffffff,0x24(%rsp)
ff
xor    %ecx,%ecx
mov    %rcx,0x38(%rsp)
mov    %r15,0x78(%rsp)
mov    %r12,0x90(%rsp)
mov    %rdi,0x70(%rsp)
mov    %r13,0x88(%rsp)
mov    0x10(%rsp),%rcx
mov    %esi,0x4c(%rsp)
jmp    1215 <convolve_symm+0xe5>
nopl   0x0(%rax,%rax,1)
mov    0x38(%rsp),%r8
add    $0x1,%r8
add    $0x1,%rax
addl   $0x1,0x24(%rsp)
mov    %r8,%rbx
mov    %r8,0x38(%rsp)
cmp    0x58(%rsp),%r8
je     1315 <convolve_symm+0x1e5>
test   %esi,%esi
jle    11f0 <convolve_symm+0xc0>
mov    0x38(%rsp),%rdi
imul   0x50(%rsp),%rdi
mov    %rdi,0x18(%rsp)
xor    %r14d,%r14d
mov    %rax,0x30(%rsp)
jmp    1267 <convolve_symm+0x137>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    0x70(%rsp),%rdi
mov    0x40(%rsp),%rax
movss  %xmm0,(%rdi,%rax,4)
add    $0x1,%r14
cmp    0x68(%rsp),%r14
mov    0x88(%rsp),%r13
mov    0x30(%rsp),%rax
je     11f0 <convolve_symm+0xc0>
mov    0x18(%rsp),%rdi
add    %r14,%rdi
movss  (%rcx,%rdi,4),%xmm0
mulss  (%r9),%xmm0
test   %r13d,%r13d
mov    %rdi,0x40(%rsp)
jle    1240 <convolve_symm+0x110>
mov    0x24(%rsp),%r12d
xor    %r13d,%r13d
nopl   0x0(%rax,%rax,1)
movss  %xmm0,0xc(%rsp)
mov    %r12d,%edi
mov    0x28(%rsp),%ebx
mov    %ebx,%esi
call   1030 <symmetrized_coordinates@plt>
mov    %eax,%r15d
mov    0x30(%rsp),%rax
lea    (%rax,%r13,1),%edi
mov    %ebx,%esi
call   1030 <symmetrized_coordinates@plt>
mov    0x4c(%rsp),%esi
mov    0x78(%rsp),%r9
imul   %esi,%r15d
movslq %r15d,%rcx
add    %r14,%rcx
mov    0x10(%rsp),%rdi
movss  (%rdi,%rcx,4),%xmm0
mov    0x10(%rsp),%rcx
imul   %esi,%eax
cltq
add    %r14,%rax
addss  (%rcx,%rax,4),%xmm0
mulss  0x4(%r9,%r13,4),%xmm0
movss  0xc(%rsp),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0xc(%rsp)
movss  0xc(%rsp),%xmm0
add    $0x1,%r13
add    $0xffffffff,%r12d
cmp    %r13,%rbp
jne    1290 <convolve_symm+0x160>
jmp    1240 <convolve_symm+0x110>
cmpl   $0x0,0x28(%rsp)
jle    1462 <convolve_symm+0x332>
mov    0x60(%rsp),%rax
lea    0x1(%rax),%r15d
add    $0xffffffffffffffff,%r15
xor    %eax,%eax
mov    %rax,0x18(%rsp)
jmp    135c <convolve_symm+0x22c>
cs nopw 0x0(%rax,%rax,1)
mov    0x18(%rsp),%rbp
add    $0x1,%rbp
mov    %rbp,%rax
mov    %rbp,0x18(%rsp)
cmp    0x58(%rsp),%rbp
je     1462 <convolve_symm+0x332>
test   %esi,%esi
jle    1340 <convolve_symm+0x210>
mov    0x18(%rsp),%r12
imul   0x50(%rsp),%r12
mov    $0x1,%eax
mov    $0xffffffff,%ebx
xor    %ebp,%ebp
jmp    13bd <convolve_symm+0x28d>
nopl   0x0(%rax)
mov    %esi,%r14d
mov    0x80(%rsp),%rax
mov    0x40(%rsp),%rdx
movss  %xmm0,(%rax,%rdx,4)
mov    0x28(%rsp),%rbp
add    $0x1,%rbp
mov    0x10(%rsp),%rax
add    $0x1,%rax
mov    0x30(%rsp),%ebx
add    $0x1,%ebx
cmp    0x68(%rsp),%rbp
mov    0x78(%rsp),%r9
mov    %r14d,%esi
je     1340 <convolve_symm+0x210>
lea    (%r12,%rbp,1),%rdx
movss  (%rdi,%rdx,4),%xmm0
mulss  (%r9),%xmm0
cmpl   $0x0,0x60(%rsp)
mov    %ebx,0x30(%rsp)
mov    %rbp,0x28(%rsp)
mov    %rdx,0x40(%rsp)
mov    %rax,0x10(%rsp)
jle    1380 <convolve_symm+0x250>
xor    %ebp,%ebp
mov    %esi,%r14d
nopw   0x0(%rax,%rax,1)
movss  %xmm0,0xc(%rsp)
mov    %ebx,%edi
mov    %r14d,%esi
call   1030 <symmetrized_coordinates@plt>
mov    %eax,%r13d
mov    0x10(%rsp),%rax
lea    (%rax,%rbp,1),%edi
mov    %r14d,%esi
call   1030 <symmetrized_coordinates@plt>
mov    0x70(%rsp),%rdi
movslq %r13d,%rcx
add    %r12,%rcx
movss  (%rdi,%rcx,4),%xmm0
cltq
add    %r12,%rax
addss  (%rdi,%rax,4),%xmm0
mov    0x90(%rsp),%rax
mulss  0x4(%rax,%rbp,4),%xmm0
movss  0xc(%rsp),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0xc(%rsp)
movss  0xc(%rsp),%xmm0
add    $0x1,%rbp
add    $0xffffffff,%ebx
cmp    %rbp,%r15
jne    13f0 <convolve_symm+0x2c0>
jmp    1383 <convolve_symm+0x253>
add    $0x98,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <xfree@plt>

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

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