#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_vector(float *, int, int);
float *vector(int, int);
void mprove(float **a, float **alud, int n, int indx[], float b[], float x[]) {
  void lubksb(float **a, int n, int *indx, float b[]);
  int j, i;
  double sdp;
  float *r;
  r = vector(1, n);
  for (i = 1; i <= n; i++) {
    sdp = -b[i];
    for (j = 1; j <= n; j++)
      sdp += a[i][j] * x[j];
    r[i] = sdp;
  }
  lubksb(alud, n, indx, r);
  for (i = 1; i <= n; i++)
    x[i] -= r[i];
  free_vector(r, 1, n);
}


x86 assembly (clang, -O0):
<mprove>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x14(%rbp),%esi
mov    $0x1,%edi
call   1050 <vector@plt>
mov    %rax,-0x48(%rbp)
movl   $0x1,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     120b <mprove+0xdb>
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  %xmm0,-0x40(%rbp)
movl   $0x1,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     11e7 <mprove+0xb7>
mov    -0x8(%rbp),%rax
movslq -0x38(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
mulss  (%rax,%rcx,4),%xmm0
cvtss2sd %xmm0,%xmm0
addsd  -0x40(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    119d <mprove+0x6d>
movsd  -0x40(%rbp),%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x48(%rbp),%rax
movslq -0x38(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1167 <mprove+0x37>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x20(%rbp),%rdx
mov    -0x48(%rbp),%rcx
call   1040 <lubksb@plt>
movl   $0x1,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x14(%rbp),%eax
jg     1263 <mprove+0x133>
mov    -0x48(%rbp),%rax
movslq -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x30(%rbp),%rax
movslq -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
subss  %xmm1,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1226 <mprove+0xf6>
mov    -0x48(%rbp),%rdi
mov    -0x14(%rbp),%edx
mov    $0x1,%esi
call   1030 <free_vector@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mprove>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %r9,%rbx
mov    %r8,%r13
mov    %rcx,%r12
mov    %edx,%ebp
mov    %rsi,(%rsp)
mov    %rdi,%r15
mov    $0x1,%edi
mov    %edx,%esi
call   1050 <vector@plt>
mov    %ebp,%esi
mov    %rax,%r14
test   %ebp,%ebp
jle    1424 <mprove+0x2f4>
mov    %r12,%rdx
mov    %esi,%r10d
lea    0x1(%r10),%r12
lea    -0x1(%r10),%r8
mov    %r10d,%r11d
and    $0x3,%r11d
and    $0xfffffffc,%r10d
mov    $0x1,%r9d
movaps 0xe74(%rip),%xmm0
mov    (%rsp),%rdi
jmp    11b7 <mprove+0x87>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
cvtsd2ss %xmm1,%xmm1
movss  %xmm1,(%r14,%r9,4)
add    $0x1,%r9
cmp    %r12,%r9
je     1291 <mprove+0x161>
movss  0x0(%r13,%r9,4),%xmm1
xorps  %xmm0,%xmm1
cvtss2sd %xmm1,%xmm1
mov    (%r15,%r9,8),%rax
cmp    $0x3,%r8
jae    11e0 <mprove+0xb0>
mov    $0x1,%ecx
test   %r11,%r11
jne    1259 <mprove+0x129>
jmp    11a0 <mprove+0x70>
nop
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movss  0x4(%rax,%rcx,4),%xmm2
movss  0x8(%rax,%rcx,4),%xmm3
mulss  0x4(%rbx,%rcx,4),%xmm2
cvtss2sd %xmm2,%xmm2
addsd  %xmm1,%xmm2
mulss  0x8(%rbx,%rcx,4),%xmm3
xorps  %xmm1,%xmm1
cvtss2sd %xmm3,%xmm1
addsd  %xmm2,%xmm1
movss  0xc(%rax,%rcx,4),%xmm2
mulss  0xc(%rbx,%rcx,4),%xmm2
cvtss2sd %xmm2,%xmm2
addsd  %xmm1,%xmm2
movss  0x10(%rax,%rcx,4),%xmm1
mulss  0x10(%rbx,%rcx,4),%xmm1
cvtss2sd %xmm1,%xmm1
addsd  %xmm2,%xmm1
add    $0x4,%rcx
cmp    %rcx,%r10
jne    11f0 <mprove+0xc0>
add    $0x1,%rcx
test   %r11,%r11
je     11a0 <mprove+0x70>
lea    (%rbx,%rcx,4),%rbp
lea    (%rax,%rcx,4),%rcx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movss  (%rcx,%rax,4),%xmm2
mulss  0x0(%rbp,%rax,4),%xmm2
cvtss2sd %xmm2,%xmm2
addsd  %xmm2,%xmm1
add    $0x1,%rax
cmp    %rax,%r11
jne    1270 <mprove+0x140>
jmp    11a0 <mprove+0x70>
mov    %r14,%rcx
mov    %esi,%ebp
call   1040 <lubksb@plt>
mov    %ebp,%edx
test   %ebp,%ebp
jle    1437 <mprove+0x307>
lea    -0x1(%r12),%rcx
mov    $0x1,%eax
cmp    $0x8,%rcx
jb     1399 <mprove+0x269>
lea    0x4(%rbx),%rdi
lea    (%r14,%r12,4),%rsi
cmp    %rsi,%rdi
jae    12da <mprove+0x1aa>
lea    (%rbx,%r12,4),%rdi
mov    %r14,%rsi
add    $0x4,%rsi
cmp    %rdi,%rsi
jb     1399 <mprove+0x269>
mov    %rcx,%rax
and    $0xfffffffffffffff8,%rax
lea    -0x8(%rax),%rdi
mov    %rdi,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
test   %rdi,%rdi
je     1452 <mprove+0x322>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
mov    $0x1,%ebp
cs nopw 0x0(%rax,%rax,1)
nop
movups (%r14,%rbp,4),%xmm0
movups 0x10(%r14,%rbp,4),%xmm1
movups (%rbx,%rbp,4),%xmm2
subps  %xmm0,%xmm2
movups 0x10(%rbx,%rbp,4),%xmm0
subps  %xmm1,%xmm0
movups 0x20(%rbx,%rbp,4),%xmm1
movups 0x30(%rbx,%rbp,4),%xmm3
movups %xmm2,(%rbx,%rbp,4)
movups %xmm0,0x10(%rbx,%rbp,4)
movups 0x20(%r14,%rbp,4),%xmm0
subps  %xmm0,%xmm1
movups 0x30(%r14,%rbp,4),%xmm0
subps  %xmm0,%xmm3
movups %xmm1,0x20(%rbx,%rbp,4)
movups %xmm3,0x30(%rbx,%rbp,4)
add    $0x10,%rbp
add    $0xfffffffffffffffe,%rdi
jne    1310 <mprove+0x1e0>
test   $0x1,%sil
je     138c <mprove+0x25c>
movups (%r14,%rbp,4),%xmm0
movups 0x10(%r14,%rbp,4),%xmm1
movups (%rbx,%rbp,4),%xmm2
subps  %xmm0,%xmm2
movups 0x10(%rbx,%rbp,4),%xmm0
subps  %xmm1,%xmm0
movups %xmm2,(%rbx,%rbp,4)
movups %xmm0,0x10(%rbx,%rbp,4)
cmp    %rax,%rcx
je     1437 <mprove+0x307>
or     $0x1,%rax
mov    %r12d,%esi
sub    %eax,%esi
mov    %rax,%rcx
not    %rcx
add    %r12,%rcx
and    $0x3,%rsi
je     13ca <mprove+0x29a>
nopl   (%rax)
movss  (%rbx,%rax,4),%xmm0
subss  (%r14,%rax,4),%xmm0
movss  %xmm0,(%rbx,%rax,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%rsi
jne    13b0 <mprove+0x280>
cmp    $0x3,%rcx
jb     1437 <mprove+0x307>
movss  (%rbx,%rax,4),%xmm0
subss  (%r14,%rax,4),%xmm0
movss  0x4(%rbx,%rax,4),%xmm1
movss  %xmm0,(%rbx,%rax,4)
subss  0x4(%r14,%rax,4),%xmm1
movss  %xmm1,0x4(%rbx,%rax,4)
movss  0x8(%rbx,%rax,4),%xmm0
subss  0x8(%r14,%rax,4),%xmm0
movss  %xmm0,0x8(%rbx,%rax,4)
movss  0xc(%rbx,%rax,4),%xmm0
subss  0xc(%r14,%rax,4),%xmm0
movss  %xmm0,0xc(%rbx,%rax,4)
add    $0x4,%rax
cmp    %rax,%r12
jne    13d0 <mprove+0x2a0>
jmp    1437 <mprove+0x307>
mov    (%rsp),%rdi
mov    %r12,%rdx
mov    %r14,%rcx
mov    %esi,%ebx
call   1040 <lubksb@plt>
mov    %ebx,%edx
mov    %r14,%rdi
mov    $0x1,%esi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <free_vector@plt>
mov    $0x1,%ebp
test   $0x1,%sil
jne    1369 <mprove+0x239>
jmp    138c <mprove+0x25c>

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

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