void back_ibf(int m, int n, const float x[], float f[], const float coef[]) {
  int i, j, n2;
  int p, q, p0, k;
  p0 = 0;
  n2 = n / 2;
  for (i = 0; i < m; i++, p0 += n) {
    k = 0;
    p = p0;
    q = p + n - 1;
    for (j = 0; j < n2; j++, p++, q--, k++) {
      float tmp = coef[k] * x[p + n2];
      float t = x[p];
      f[p] = t + tmp;
      f[q] = t - tmp;
    }
  }
}


x86 assembly (clang, -O0):
<back_ibf>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x8(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1213 <back_ibf+0x113>
movl   $0x0,-0x3c(%rbp)
mov    -0x38(%rbp),%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
add    -0x8(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jge    11f7 <back_ibf+0xf7>
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
mulss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x44(%rbp)
movss  -0x44(%rbp),%xmm0
addss  -0x40(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x44(%rbp),%xmm0
subss  -0x40(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x34(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x34(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    115e <back_ibf+0x5e>
jmp    11fc <back_ibf+0xfc>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
jmp    1132 <back_ibf+0x32>
pop    %rbp
ret

x86 assembly (clang, -O2):
<back_ibf>:
push   %rbp
push   %r15
push   %r14
push   %rbx
test   %edi,%edi
jle    11a4 <back_ibf+0xa4>
mov    %esi,%eax
shr    $0x1f,%eax
add    %esi,%eax
sar    %eax
movslq %esi,%r9
cltq
mov    %eax,%r10d
lea    (%rdx,%rax,4),%rax
shl    $0x2,%r9
lea    -0x4(%rcx),%r11
xor    %r15d,%r15d
mov    %esi,%r14d
jmp    1155 <back_ibf+0x55>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r15d
add    %esi,%r14d
add    %r9,%rax
add    %r9,%rdx
add    %r9,%rcx
cmp    %edi,%r15d
je     11a4 <back_ibf+0xa4>
cmp    $0x2,%esi
jl     1140 <back_ibf+0x40>
movslq %r14d,%rbx
lea    (%r11,%rbx,4),%rbp
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movss  (%r8,%rbx,4),%xmm0
mulss  (%rax,%rbx,4),%xmm0
movss  (%rdx,%rbx,4),%xmm1
movaps %xmm1,%xmm2
addss  %xmm0,%xmm2
movss  %xmm2,(%rcx,%rbx,4)
subss  %xmm0,%xmm1
movss  %xmm1,0x0(%rbp)
add    $0x1,%rbx
add    $0xfffffffffffffffc,%rbp
cmp    %rbx,%r10
jne    1170 <back_ibf+0x70>
jmp    1140 <back_ibf+0x40>
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @back_ibf(i32 %0, i32 %1, float* nocapture %2, float* nocapture writeonly %3, float* nocapture %4) {
%6 = sdiv i32 %1, 2
%7 = icmp sgt i32 %0, 0
br i1 %7, label %8, label %44
8: ; preds = %5
%9 = icmp sgt i32 %1, 1
%10 = sext i32 %1 to i64
%11 = sext i32 %6 to i64
%12 = zext i32 %6 to i64
br label %13
13: ; preds = %8, %40
%14 = phi i64 [ 0, %8 ], [ %17, %40 ]
%15 = phi i32 [ %1, %8 ], [ %42, %40 ]
%16 = phi i32 [ 0, %8 ], [ %41, %40 ]
%17 = add nsw i64 %14, %10
br i1 %9, label %18, label %40
18: ; preds = %13
%19 = sext i32 %15 to i64
br label %20
20: ; preds = %18, %20
%21 = phi i64 [ %14, %18 ], [ %38, %20 ]
%22 = phi i64 [ 0, %18 ], [ %37, %20 ]
%23 = phi i64 [ %19, %18 ], [ %24, %20 ]
%24 = add nsw i64 %23, -1
%25 = getelementptr inbounds float, float* %4, i64 %22
%26 = load float, float* %25
%27 = add nsw i64 %21, %11
%28 = getelementptr inbounds float, float* %2, i64 %27
%29 = load float, float* %28
%30 = fmul float %26, %29
%31 = getelementptr inbounds float, float* %2, i64 %21
%32 = load float, float* %31
%33 = fadd float %32, %30
%34 = getelementptr inbounds float, float* %3, i64 %21
store float %33, float* %34
%35 = fsub float %32, %30
%36 = getelementptr inbounds float, float* %3, i64 %24
store float %35, float* %36
%37 = add nuw nsw i64 %22, 1
%38 = add nsw i64 %21, 1
%39 = icmp eq i64 %37, %12
br i1 %39, label %40, label %20
40: ; preds = %20, %13
%41 = add nuw nsw i32 %16, 1
%42 = add i32 %15, %1
%43 = icmp eq i32 %41, %0
br i1 %43, label %44, label %13
44: ; preds = %40, %5
ret void
}