void helper_float_2(float *buf) {
  for (int j = 0; j < 4; j += 2) {
    for (int k = 0; k < 1; ++k) {
      float u = buf[j + k];
      float v = buf[j + k + 1];
      buf[j + k] = u + v;
      buf[j + k + 1] = u - v;
    }
  }
  for (int j = 0; j < 4; j += 4) {
    for (int k = 0; k < 2; ++k) {
      float u = buf[j + k];
      float v = buf[j + k + 2];
      buf[j + k] = u + v;
      buf[j + k + 2] = u - v;
    }
  }
}


x86 assembly (clang, -O0):
<helper_float_2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
cmpl   $0x4,-0xc(%rbp)
jge    11b7 <helper_float_2+0xb7>
movl   $0x0,-0x10(%rbp)
cmpl   $0x1,-0x10(%rbp)
jge    11a4 <helper_float_2+0xa4>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x10(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x18(%rbp)
movss  -0x14(%rbp),%xmm0
addss  -0x18(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x10(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x14(%rbp),%xmm0
subss  -0x18(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x10(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1120 <helper_float_2+0x20>
jmp    11a9 <helper_float_2+0xa9>
mov    -0xc(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0xc(%rbp)
jmp    110f <helper_float_2+0xf>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x4,-0x1c(%rbp)
jge    1266 <helper_float_2+0x166>
movl   $0x0,-0x20(%rbp)
cmpl   $0x2,-0x20(%rbp)
jge    1253 <helper_float_2+0x153>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x24(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x24(%rbp),%xmm0
addss  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x24(%rbp),%xmm0
subss  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x20(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11cf <helper_float_2+0xcf>
jmp    1258 <helper_float_2+0x158>
mov    -0x1c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x1c(%rbp)
jmp    11be <helper_float_2+0xbe>
pop    %rbp
ret

x86 assembly (clang, -O2):
<helper_float_2>:
movss  (%rdi),%xmm0
movss  0x4(%rdi),%xmm1
movaps %xmm0,%xmm2
addss  %xmm1,%xmm2
subss  %xmm1,%xmm0
movss  0x8(%rdi),%xmm1
movss  0xc(%rdi),%xmm3
movaps %xmm1,%xmm4
addss  %xmm3,%xmm4
subss  %xmm3,%xmm1
movaps %xmm2,%xmm3
addss  %xmm4,%xmm3
movss  %xmm3,(%rdi)
subss  %xmm4,%xmm2
movss  %xmm2,0x8(%rdi)
movaps %xmm0,%xmm2
addss  %xmm1,%xmm2
movss  %xmm2,0x4(%rdi)
subss  %xmm1,%xmm0
movss  %xmm0,0xc(%rdi)
ret

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

LLVM IR (-O2):
define void @helper_float_2(float* nocapture %0) {
%2 = load float, float* %0
%3 = getelementptr inbounds float, float* %0, i64 1
%4 = load float, float* %3
%5 = fadd float %2, %4
%6 = fsub float %2, %4
%7 = getelementptr inbounds float, float* %0, i64 2
%8 = load float, float* %7
%9 = getelementptr inbounds float, float* %0, i64 3
%10 = load float, float* %9
%11 = fadd float %8, %10
%12 = fsub float %8, %10
%13 = fadd float %5, %11
store float %13, float* %0
%14 = fsub float %5, %11
store float %14, float* %7
%15 = fadd float %6, %12
store float %15, float* %3
%16 = fsub float %6, %12
store float %16, float* %9
ret void
}