#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 /*<<< orphan*/ free(float *);
float *malloc(int);
int /*<<< orphan*/ memcpy(float *, float *, int);
void inner_haar_transform(float *dst, int w, int h, int stride) {
  float *tmp;
  tmp = malloc(sizeof(float) * stride * h);
  memcpy(tmp, dst, sizeof(float) * stride * h);
  for (int i = 0; i < h; i++) {
    for (int j = 0; j < (w & ~1); j += 2) {
      dst[i * stride + j / 2 + w / 2] =
          0.5 * (tmp[i * stride + j + 1] - tmp[i * stride + j]);
      dst[i * stride + j / 2] =
          0.5 * (tmp[i * stride + j] + tmp[i * stride + j + 1]);
    }
  }
  memcpy(tmp, dst, sizeof(float) * stride * h);
  for (int i = 0; i < w; i++)
    for (int j = 0; j < (h & ~1); j += 2) {
      dst[(h / 2 + j / 2) * stride + i] =
          0.5 * (tmp[stride * (1 + j) + i] - tmp[stride * j + i]);
      dst[(j / 2) * stride + i] =
          0.5 * (tmp[stride * (1 + j) + i] + tmp[j * stride + i]);
    }
  free(tmp);
}


x86 assembly (clang, -O0):
<inner_haar_transform>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
movslq -0x10(%rbp),%rcx
imul   %rcx,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
mov    -0x8(%rbp),%rsi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
movslq -0x10(%rbp),%rcx
imul   %rcx,%rax
mov    %eax,%edx
call   1040 <memcpy@plt>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    12b2 <inner_haar_transform+0x182>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
mov    -0xc(%rbp),%ecx
and    $0xfffffffe,%ecx
cmp    %ecx,%eax
jge    129f <inner_haar_transform+0x16f>
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x28(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
subss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xe1b(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x24(%rbp),%ecx
imul   -0x14(%rbp),%ecx
mov    -0x28(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
add    %eax,%ecx
mov    -0xc(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x40(%rbp),%rax
add    %edx,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x28(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xda1(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x24(%rbp),%ecx
imul   -0x14(%rbp),%ecx
mov    -0x28(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x38(%rbp),%rax
add    %edx,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x28(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x28(%rbp)
jmp    1199 <inner_haar_transform+0x69>
jmp    12a4 <inner_haar_transform+0x174>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1186 <inner_haar_transform+0x56>
mov    -0x20(%rbp),%rdi
mov    -0x8(%rbp),%rsi
movslq -0x14(%rbp),%rax
shl    $0x2,%rax
movslq -0x10(%rbp),%rcx
imul   %rcx,%rax
mov    %eax,%edx
call   1040 <memcpy@plt>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1406 <inner_haar_transform+0x2d6>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x10(%rbp),%ecx
and    $0xfffffffe,%ecx
cmp    %ecx,%eax
jge    13f3 <inner_haar_transform+0x2c3>
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    -0x30(%rbp),%edx
add    $0x1,%edx
imul   %edx,%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x30(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
subss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xcc7(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x30(%rbp),%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x50(%rbp),%rax
add    %edx,%ecx
imul   -0x14(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
mov    -0x30(%rbp),%edx
add    $0x1,%edx
imul   %edx,%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%ecx
imul   -0x14(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
addss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm1
movsd  0xc4b(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x8(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x48(%rbp),%rax
imul   -0x14(%rbp),%ecx
add    -0x2c(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x30(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x30(%rbp)
jmp    12eb <inner_haar_transform+0x1bb>
jmp    13f8 <inner_haar_transform+0x2c8>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    12d8 <inner_haar_transform+0x1a8>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<inner_haar_transform>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %ecx,%r14d
mov    %edx,%ebx
mov    %esi,0xc(%rsp)
mov    %rdi,%r13
mov    %ecx,%ebp
imul   %edx,%ebp
shl    $0x2,%ebp
mov    %ebp,%edi
call   1050 <malloc@plt>
mov    %rax,0x18(%rsp)
mov    %rax,%rdi
mov    %r13,%rsi
mov    %ebp,0x10(%rsp)
mov    %ebp,%edx
call   1040 <memcpy@plt>
movslq %r14d,%r12
mov    %ebx,0x8(%rsp)
test   %ebx,%ebx
jle    136d <inner_haar_transform+0x23d>
mov    0xc(%rsp),%ecx
mov    %ecx,%r10d
and    $0xfffffffe,%r10d
mov    %ecx,%eax
shr    $0x1f,%eax
add    %ecx,%eax
sar    %eax
movslq %eax,%rcx
movslq %r10d,%rdx
mov    0x8(%rsp),%r11d
lea    -0x1(%rdx),%rax
mov    %rax,0x40(%rsp)
mov    %rax,%rdi
shr    %rdi
lea    (%rdi,%rcx,1),%rax
add    $0x1,%rax
mov    %rax,0x38(%rsp)
add    $0x1,%rdi
mov    %rdi,0x28(%rsp)
and    $0xfffffffffffffffc,%rdi
lea    (%rdi,%rdi,1),%rax
mov    %rax,0x30(%rsp)
lea    0x0(,%r12,4),%r14
lea    0x0(,%rcx,4),%r15
add    %r13,%r15
xor    %r8d,%r8d
movss  0xe23(%rip),%xmm0
movaps 0xe0c(%rip),%xmm1
movabs $0x7ffffffffffffffc,%rbp
ff ff 7f
mov    %r13,%rbx
mov    0x18(%rsp),%r9
mov    %r10d,0x14(%rsp)
mov    %r11,0x20(%rsp)
jmp    1236 <inner_haar_transform+0x106>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%r8
add    %r14,%r9
add    %r14,%rbx
add    %r14,%r15
cmp    %r11,%r8
je     136d <inner_haar_transform+0x23d>
test   %r10d,%r10d
jle    1220 <inner_haar_transform+0xf0>
cmpq   $0x6,0x40(%rsp)
jae    1250 <inner_haar_transform+0x120>
xor    %eax,%eax
jmp    1320 <inner_haar_transform+0x1f0>
nopw   0x0(%rax,%rax,1)
mov    %r8,%r11
imul   %r12,%r11
lea    (%r11,%rcx,1),%rax
mov    0x28(%rsp),%rsi
add    %r11,%rsi
lea    0x0(,%rax,4),%rax
add    %r13,%rax
lea    0x0(,%rsi,4),%rsi
add    %r13,%rsi
cmp    %rsi,%rax
jae    12aa <inner_haar_transform+0x17a>
mov    0x38(%rsp),%rax
add    %r11,%rax
lea    0x0(,%rax,4),%rax
add    %r13,%rax
lea    0x0(,%r11,4),%rsi
add    %r13,%rsi
cmp    %rax,%rsi
jae    12aa <inner_haar_transform+0x17a>
xor    %eax,%eax
mov    0x20(%rsp),%r11
jmp    1320 <inner_haar_transform+0x1f0>
xor    %esi,%esi
nopl   0x0(%rax)
movups (%r9,%rsi,8),%xmm2
movups 0x10(%r9,%rsi,8),%xmm3
movaps %xmm2,%xmm4
shufps $0x88,%xmm3,%xmm4
shufps $0xdd,%xmm3,%xmm2
movaps %xmm2,%xmm3
subps  %xmm4,%xmm3
mulps  %xmm1,%xmm3
mov    %rsi,%rax
and    %rbp,%rax
add    %r11,%rax
lea    (%rax,%rcx,1),%r10
movups %xmm3,0x0(%r13,%r10,4)
addps  %xmm4,%xmm2
mulps  %xmm1,%xmm2
movups %xmm2,0x0(%r13,%rax,4)
add    $0x4,%rsi
cmp    %rsi,%rdi
jne    12b0 <inner_haar_transform+0x180>
mov    0x30(%rsp),%rax
cmp    %rdi,0x28(%rsp)
mov    0x14(%rsp),%r10d
mov    0x20(%rsp),%r11
je     1220 <inner_haar_transform+0xf0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rax,%rsi
shr    %rsi
cs nopw 0x0(%rax,%rax,1)
movss  (%r9,%rax,4),%xmm2
movss  0x4(%r9,%rax,4),%xmm3
movaps %xmm3,%xmm4
subss  %xmm2,%xmm4
mulss  %xmm0,%xmm4
movss  %xmm4,(%r15,%rsi,4)
addss  %xmm2,%xmm3
mulss  %xmm0,%xmm3
movss  %xmm3,(%rbx,%rsi,4)
add    $0x2,%rax
add    $0x1,%rsi
cmp    %rdx,%rax
jl     1330 <inner_haar_transform+0x200>
jmp    1220 <inner_haar_transform+0xf0>
mov    0x18(%rsp),%r14
mov    %r14,%rdi
mov    %r13,%rsi
mov    0x10(%rsp),%edx
call   1040 <memcpy@plt>
mov    0xc(%rsp),%esi
test   %esi,%esi
jle    1426 <inner_haar_transform+0x2f6>
mov    0x8(%rsp),%ecx
mov    %ecx,%r8d
and    $0xfffffffe,%r8d
mov    %ecx,%eax
shr    $0x1f,%eax
add    %ecx,%eax
sar    %eax
movslq %eax,%rcx
movslq %r8d,%rdx
mov    %esi,%r9d
lea    0x0(,%r12,4),%rdi
imul   %r12,%rcx
shl    $0x3,%r12
xor    %r10d,%r10d
movss  0xc4b(%rip),%xmm0
mov    %r14,%rbp
jmp    13e1 <inner_haar_transform+0x2b1>
nopw   0x0(%rax,%rax,1)
add    $0x1,%r10
add    $0x4,%rbp
add    $0x4,%r13
cmp    %r9,%r10
je     1426 <inner_haar_transform+0x2f6>
test   %r8d,%r8d
jle    13d0 <inner_haar_transform+0x2a0>
mov    %r13,%rsi
mov    %rbp,%rax
xor    %ebx,%ebx
xchg   %ax,%ax
movss  (%rax,%rdi,1),%xmm1
movss  (%rax),%xmm2
movaps %xmm1,%xmm3
subss  %xmm2,%xmm3
mulss  %xmm0,%xmm3
movss  %xmm3,(%rsi,%rcx,4)
addss  %xmm2,%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,(%rsi)
add    $0x2,%rbx
add    %r12,%rax
add    %rdi,%rsi
cmp    %rdx,%rbx
jl     13f0 <inner_haar_transform+0x2c0>
jmp    13d0 <inner_haar_transform+0x2a0>
mov    %r14,%rdi
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free@plt>

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

LLVM IR (-O2):
define void @inner_haar_transform(float* %0, i32 %1, i32 %2, i32 %3) {
%5 = shl i32 %3, 2
%6 = mul i32 %5, %2
%7 = tail call float* @malloc(i32 %6)
%8 = tail call i32 @memcpy(float* %7, float* %0, i32 %6)
%9 = icmp sgt i32 %2, 0
br i1 %9, label %10, label %71
10: ; preds = %4
%11 = and i32 %1, -2
%12 = icmp sgt i32 %11, 0
%13 = sdiv i32 %1, 2
%14 = sext i32 %13 to i64
%15 = sext i32 %11 to i64
%16 = sext i32 %3 to i64
%17 = zext i32 %2 to i64
%18 = add nsw i64 %15, -1
%19 = lshr i64 %18, 1
%20 = add i64 %19, %14
%21 = add i64 %20, 1
%22 = add nuw i64 %19, 1
%23 = add nsw i64 %15, -1
%24 = lshr i64 %23, 1
%25 = add nuw i64 %24, 1
%26 = icmp ult i64 %23, 6
%27 = and i64 %25, -4
%28 = shl i64 %27, 1
%29 = icmp eq i64 %25, %27
br label %30
30: ; preds = %10, %82
%31 = phi i64 [ 0, %10 ], [ %83, %82 ]
%32 = mul i64 %31, %16
%33 = add i64 %32, %14
%34 = getelementptr float, float* %0, i64 %33
%35 = add i64 %21, %32
%36 = getelementptr float, float* %0, i64 %35
%37 = getelementptr float, float* %0, i64 %32
%38 = add i64 %22, %32
%39 = getelementptr float, float* %0, i64 %38
br i1 %12, label %40, label %82
40: ; preds = %30
%41 = mul nsw i64 %31, %16
br i1 %26, label %69, label %42
42: ; preds = %40
%43 = icmp ult float* %34, %39
%44 = icmp ult float* %37, %36
%45 = and i1 %43, %44
br i1 %45, label %69, label %46
46: ; preds = %42, %46
%47 = phi i64 [ %66, %46 ], [ 0, %42 ]
%48 = shl i64 %47, 1
%49 = add nsw i64 %48, %41
%50 = getelementptr inbounds float, float* %7, i64 %49
%51 = bitcast float* %50 to <8 x float>*
%52 = load <8 x float>, <8 x float>* %51
%53 = shufflevector <8 x float> %52, <8 x float> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%54 = shufflevector <8 x float> %52, <8 x float> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%55 = fsub <4 x float> %54, %53
%56 = fmul <4 x float> %55, <float 5.000000e-01, float 5.000000e-01, float 5.000000e-01, float 5.000000e-01>
%57 = and i64 %47, 9223372036854775804
%58 = add nsw i64 %57, %41
%59 = add nsw i64 %58, %14
%60 = getelementptr inbounds float, float* %0, i64 %59
%61 = bitcast float* %60 to <4 x float>*
store <4 x float> %56, <4 x float>* %61
%62 = fadd <4 x float> %54, %53
%63 = fmul <4 x float> %62, <float 5.000000e-01, float 5.000000e-01, float 5.000000e-01, float 5.000000e-01>
%64 = getelementptr inbounds float, float* %0, i64 %58
%65 = bitcast float* %64 to <4 x float>*
store <4 x float> %63, <4 x float>* %65
%66 = add nuw i64 %47, 4
%67 = icmp eq i64 %66, %27
br i1 %67, label %68, label %46
68: ; preds = %46
br i1 %29, label %82, label %69
69: ; preds = %42, %40, %68
%70 = phi i64 [ 0, %42 ], [ 0, %40 ], [ %28, %68 ]
br label %85
71: ; preds = %82, %4
%72 = tail call i32 @memcpy(float* %7, float* %0, i32 %6)
%73 = icmp sgt i32 %1, 0
br i1 %73, label %74, label %106
74: ; preds = %71
%75 = and i32 %2, -2
%76 = icmp sgt i32 %75, 0
%77 = sdiv i32 %2, 2
%78 = sext i32 %77 to i64
%79 = sext i32 %3 to i64
%80 = sext i32 %75 to i64
%81 = zext i32 %1 to i64
br label %104
82: ; preds = %85, %68, %30
%83 = add nuw nsw i64 %31, 1
%84 = icmp eq i64 %83, %17
br i1 %84, label %71, label %30
85: ; preds = %69, %85
%86 = phi i64 [ %102, %85 ], [ %70, %69 ]
%87 = add nsw i64 %86, %41
%88 = add nsw i64 %87, 1
%89 = getelementptr inbounds float, float* %7, i64 %88
%90 = load float, float* %89
%91 = getelementptr inbounds float, float* %7, i64 %87
%92 = load float, float* %91
%93 = fsub float %90, %92
%94 = fmul float %93, 5.000000e-01
%95 = lshr exact i64 %86, 1
%96 = add nsw i64 %95, %41
%97 = add nsw i64 %96, %14
%98 = getelementptr inbounds float, float* %0, i64 %97
store float %94, float* %98
%99 = fadd float %90, %92
%100 = fmul float %99, 5.000000e-01
%101 = getelementptr inbounds float, float* %0, i64 %96
store float %100, float* %101
%102 = add nuw nsw i64 %86, 2
%103 = icmp slt i64 %102, %15
br i1 %103, label %85, label %82
104: ; preds = %74, %108
%105 = phi i64 [ 0, %74 ], [ %109, %108 ]
br i1 %76, label %111, label %108
106: ; preds = %108, %71
%107 = tail call i32 @free(float* %7)
ret void
108: ; preds = %111, %104
%109 = add nuw nsw i64 %105, 1
%110 = icmp eq i64 %109, %81
br i1 %110, label %106, label %104
111: ; preds = %104, %111
%112 = phi i64 [ %134, %111 ], [ 0, %104 ]
%113 = or i64 %112, 1
%114 = mul nsw i64 %113, %79
%115 = add nsw i64 %114, %105
%116 = getelementptr inbounds float, float* %7, i64 %115
%117 = load float, float* %116
%118 = mul nsw i64 %112, %79
%119 = add nsw i64 %118, %105
%120 = getelementptr inbounds float, float* %7, i64 %119
%121 = load float, float* %120
%122 = fsub float %117, %121
%123 = fmul float %122, 5.000000e-01
%124 = lshr exact i64 %112, 1
%125 = add nsw i64 %124, %78
%126 = mul nsw i64 %125, %79
%127 = add nsw i64 %126, %105
%128 = getelementptr inbounds float, float* %0, i64 %127
store float %123, float* %128
%129 = fadd float %117, %121
%130 = fmul float %129, 5.000000e-01
%131 = mul nsw i64 %124, %79
%132 = add nsw i64 %131, %105
%133 = getelementptr inbounds float, float* %0, i64 %132
store float %130, float* %133
%134 = add nuw nsw i64 %112, 2
%135 = icmp slt i64 %134, %80
br i1 %135, label %111, label %108
}