; LLVM IR from jgaeddert/liquid-dsp :: src/matrix/tests (matrixf_autotest)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@.str = external hidden unnamed_addr constant [90 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [4 x i8], align 1
@liquid_autotest_verbose = external global i32, align 4
@.str.11 = external hidden unnamed_addr constant [6 x i8], align 1
@matrixf_data_qrdecomp_A = external global [0 x float], align 4
@.str.35 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [15 x i8], align 1
@matrixf_data_qrdecomp_Q = external global [0 x float], align 4
@.str.39 = external hidden unnamed_addr constant [15 x i8], align 1
@matrixf_data_qrdecomp_R = external global [0 x float], align 4
@.str.40 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [41 x i8], align 1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: nounwind
declare double @sqrt(double noundef) #1

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i1 @llvm.is.fpclass.f32(float, i32 immarg) #2

declare void @liquid_autotest_failed_expr(ptr noundef, i32 noundef, ptr noundef, double noundef, ptr noundef, ptr noundef, double noundef) #3

declare void @liquid_autotest_passed(...) #3

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

declare i32 @printf(ptr noundef, ...) #3

declare i32 @matrixf_print(ptr noundef, i32 noundef, i32 noundef) #3

declare i32 @matrixf_mul(ptr noundef, i32 noundef, i32 noundef, ptr noundef, i32 noundef, i32 noundef, ptr noundef, i32 noundef, i32 noundef) #3

; Function Attrs: nounwind uwtable
define dso_local void @autotest_matrixf_qrdecomp() #4 {
  %1 = alloca float, align 4
  %2 = alloca [16 x float], align 16
  %3 = alloca [16 x float], align 16
  %4 = alloca [16 x float], align 16
  %5 = alloca [16 x float], align 16
  %6 = alloca i32, align 4
  %7 = alloca [16 x float], align 16
  call void @llvm.lifetime.start.p0(i64 4, ptr %1) #5
  store float 0x3F1A36E2E0000000, ptr %1, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 64, ptr %2) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr %3) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr %4) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr %5) #5
  %8 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 0
  %9 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 0
  %10 = call i32 @matrixf_qrdecomp_gramschmidt(ptr noundef @matrixf_data_qrdecomp_A, i32 noundef 4, i32 noundef 4, ptr noundef %8, ptr noundef %9)
  %11 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 0
  %12 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 0
  %13 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 0
  %14 = call i32 @matrixf_mul(ptr noundef %11, i32 noundef 4, i32 noundef 4, ptr noundef %12, i32 noundef 4, i32 noundef 4, ptr noundef %13, i32 noundef 4, i32 noundef 4)
  %15 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 0
  %16 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 0
  %17 = call i32 @matrixf_mul_transpose(ptr noundef %15, i32 noundef 4, i32 noundef 4, ptr noundef %16)
  %18 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !9
  %19 = icmp ne i32 %18, 0
  br i1 %19, label %20, label %40

20:                                               ; preds = %0
  %21 = call i32 (ptr, ...) @printf(ptr noundef @.str.35)
  %22 = call i32 (ptr, ...) @printf(ptr noundef @.str.11)
  %23 = call i32 @matrixf_print(ptr noundef @matrixf_data_qrdecomp_A, i32 noundef 4, i32 noundef 4)
  %24 = call i32 (ptr, ...) @printf(ptr noundef @.str.36)
  %25 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 0
  %26 = call i32 @matrixf_print(ptr noundef %25, i32 noundef 4, i32 noundef 4)
  %27 = call i32 (ptr, ...) @printf(ptr noundef @.str.37)
  %28 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 0
  %29 = call i32 @matrixf_print(ptr noundef %28, i32 noundef 4, i32 noundef 4)
  %30 = call i32 (ptr, ...) @printf(ptr noundef @.str.38)
  %31 = call i32 @matrixf_print(ptr noundef @matrixf_data_qrdecomp_Q, i32 noundef 4, i32 noundef 4)
  %32 = call i32 (ptr, ...) @printf(ptr noundef @.str.39)
  %33 = call i32 @matrixf_print(ptr noundef @matrixf_data_qrdecomp_R, i32 noundef 4, i32 noundef 4)
  %34 = call i32 (ptr, ...) @printf(ptr noundef @.str.40)
  %35 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 0
  %36 = call i32 @matrixf_print(ptr noundef %35, i32 noundef 4, i32 noundef 4)
  %37 = call i32 (ptr, ...) @printf(ptr noundef @.str.41)
  %38 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 0
  %39 = call i32 @matrixf_print(ptr noundef %38, i32 noundef 4, i32 noundef 4)
  br label %40

40:                                               ; preds = %20, %0
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #5
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %41

41:                                               ; preds = %161, %40
  %42 = load i32, ptr %6, align 4, !tbaa !9
  %43 = icmp ult i32 %42, 16
  br i1 %43, label %44, label %164

44:                                               ; preds = %41
  %45 = load i32, ptr %6, align 4, !tbaa !9
  %46 = zext i32 %45 to i64
  %47 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %46
  %48 = load float, ptr %47, align 4, !tbaa !5
  %49 = load i32, ptr %6, align 4, !tbaa !9
  %50 = zext i32 %49 to i64
  %51 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %50
  %52 = load float, ptr %51, align 4, !tbaa !5
  %53 = fsub float %48, %52
  %54 = fpext float %53 to double
  %55 = load i32, ptr %6, align 4, !tbaa !9
  %56 = zext i32 %55 to i64
  %57 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %56
  %58 = load float, ptr %57, align 4, !tbaa !5
  %59 = load i32, ptr %6, align 4, !tbaa !9
  %60 = zext i32 %59 to i64
  %61 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %60
  %62 = load float, ptr %61, align 4, !tbaa !5
  %63 = fsub float %58, %62
  %64 = fpext float %63 to double
  %65 = load i32, ptr %6, align 4, !tbaa !9
  %66 = zext i32 %65 to i64
  %67 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %66
  %68 = load float, ptr %67, align 4, !tbaa !5
  %69 = load i32, ptr %6, align 4, !tbaa !9
  %70 = zext i32 %69 to i64
  %71 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %70
  %72 = load float, ptr %71, align 4, !tbaa !5
  %73 = fsub float %68, %72
  %74 = fpext float %73 to double
  %75 = load i32, ptr %6, align 4, !tbaa !9
  %76 = zext i32 %75 to i64
  %77 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %76
  %78 = load float, ptr %77, align 4, !tbaa !5
  %79 = load i32, ptr %6, align 4, !tbaa !9
  %80 = zext i32 %79 to i64
  %81 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %80
  %82 = load float, ptr %81, align 4, !tbaa !5
  %83 = fsub float %78, %82
  %84 = fpext float %83 to double
  %85 = call double @llvm.fmuladd.f64(double %54, double %64, double 0.000000e+00)
  %86 = call double @sqrt(double noundef %85) #5
  %87 = load float, ptr %1, align 4, !tbaa !5
  %88 = fpext float %87 to double
  %89 = fcmp ogt double %86, %88
  br i1 %89, label %114, label %90

90:                                               ; preds = %44
  %91 = load i32, ptr %6, align 4, !tbaa !9
  %92 = zext i32 %91 to i64
  %93 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %92
  %94 = load float, ptr %93, align 4, !tbaa !5
  %95 = call i1 @llvm.is.fpclass.f32(float %94, i32 3)
  br i1 %95, label %114, label %96

96:                                               ; preds = %90
  %97 = load i32, ptr %6, align 4, !tbaa !9
  %98 = zext i32 %97 to i64
  %99 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %98
  %100 = load float, ptr %99, align 4, !tbaa !5
  %101 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %101, label %114, label %102

102:                                              ; preds = %96
  %103 = load i32, ptr %6, align 4, !tbaa !9
  %104 = zext i32 %103 to i64
  %105 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %104
  %106 = load float, ptr %105, align 4, !tbaa !5
  %107 = call i1 @llvm.is.fpclass.f32(float %106, i32 3)
  br i1 %107, label %114, label %108

108:                                              ; preds = %102
  %109 = load i32, ptr %6, align 4, !tbaa !9
  %110 = zext i32 %109 to i64
  %111 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %110
  %112 = load float, ptr %111, align 4, !tbaa !5
  %113 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %113, label %114, label %159

114:                                              ; preds = %108, %102, %96, %90, %44
  %115 = load i32, ptr %6, align 4, !tbaa !9
  %116 = zext i32 %115 to i64
  %117 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %116
  %118 = load float, ptr %117, align 4, !tbaa !5
  %119 = load i32, ptr %6, align 4, !tbaa !9
  %120 = zext i32 %119 to i64
  %121 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %120
  %122 = load float, ptr %121, align 4, !tbaa !5
  %123 = fsub float %118, %122
  %124 = fpext float %123 to double
  %125 = load i32, ptr %6, align 4, !tbaa !9
  %126 = zext i32 %125 to i64
  %127 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %126
  %128 = load float, ptr %127, align 4, !tbaa !5
  %129 = load i32, ptr %6, align 4, !tbaa !9
  %130 = zext i32 %129 to i64
  %131 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %130
  %132 = load float, ptr %131, align 4, !tbaa !5
  %133 = fsub float %128, %132
  %134 = fpext float %133 to double
  %135 = load i32, ptr %6, align 4, !tbaa !9
  %136 = zext i32 %135 to i64
  %137 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %136
  %138 = load float, ptr %137, align 4, !tbaa !5
  %139 = load i32, ptr %6, align 4, !tbaa !9
  %140 = zext i32 %139 to i64
  %141 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %140
  %142 = load float, ptr %141, align 4, !tbaa !5
  %143 = fsub float %138, %142
  %144 = fpext float %143 to double
  %145 = load i32, ptr %6, align 4, !tbaa !9
  %146 = zext i32 %145 to i64
  %147 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %146
  %148 = load float, ptr %147, align 4, !tbaa !5
  %149 = load i32, ptr %6, align 4, !tbaa !9
  %150 = zext i32 %149 to i64
  %151 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %150
  %152 = load float, ptr %151, align 4, !tbaa !5
  %153 = fsub float %148, %152
  %154 = fpext float %153 to double
  %155 = call double @llvm.fmuladd.f64(double %124, double %134, double 0.000000e+00)
  %156 = call double @sqrt(double noundef %155) #5
  %157 = load float, ptr %1, align 4, !tbaa !5
  %158 = fpext float %157 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 356, ptr noundef @.str.42, double noundef %156, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %158)
  br label %160

159:                                              ; preds = %108
  call void (...) @liquid_autotest_passed()
  br label %160

160:                                              ; preds = %159, %114
  br label %161

161:                                              ; preds = %160
  %162 = load i32, ptr %6, align 4, !tbaa !9
  %163 = add i32 %162, 1
  store i32 %163, ptr %6, align 4, !tbaa !9
  br label %41, !llvm.loop !11

164:                                              ; preds = %41
  call void @llvm.lifetime.start.p0(i64 64, ptr %7) #5
  %165 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 0
  %166 = call i32 @matrixf_eye(ptr noundef %165, i32 noundef 4)
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %167

167:                                              ; preds = %287, %164
  %168 = load i32, ptr %6, align 4, !tbaa !9
  %169 = icmp ult i32 %168, 16
  br i1 %169, label %170, label %290

170:                                              ; preds = %167
  %171 = load i32, ptr %6, align 4, !tbaa !9
  %172 = zext i32 %171 to i64
  %173 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %172
  %174 = load float, ptr %173, align 4, !tbaa !5
  %175 = load i32, ptr %6, align 4, !tbaa !9
  %176 = zext i32 %175 to i64
  %177 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %176
  %178 = load float, ptr %177, align 4, !tbaa !5
  %179 = fsub float %174, %178
  %180 = fpext float %179 to double
  %181 = load i32, ptr %6, align 4, !tbaa !9
  %182 = zext i32 %181 to i64
  %183 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %182
  %184 = load float, ptr %183, align 4, !tbaa !5
  %185 = load i32, ptr %6, align 4, !tbaa !9
  %186 = zext i32 %185 to i64
  %187 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %186
  %188 = load float, ptr %187, align 4, !tbaa !5
  %189 = fsub float %184, %188
  %190 = fpext float %189 to double
  %191 = load i32, ptr %6, align 4, !tbaa !9
  %192 = zext i32 %191 to i64
  %193 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %192
  %194 = load float, ptr %193, align 4, !tbaa !5
  %195 = load i32, ptr %6, align 4, !tbaa !9
  %196 = zext i32 %195 to i64
  %197 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %196
  %198 = load float, ptr %197, align 4, !tbaa !5
  %199 = fsub float %194, %198
  %200 = fpext float %199 to double
  %201 = load i32, ptr %6, align 4, !tbaa !9
  %202 = zext i32 %201 to i64
  %203 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %202
  %204 = load float, ptr %203, align 4, !tbaa !5
  %205 = load i32, ptr %6, align 4, !tbaa !9
  %206 = zext i32 %205 to i64
  %207 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %206
  %208 = load float, ptr %207, align 4, !tbaa !5
  %209 = fsub float %204, %208
  %210 = fpext float %209 to double
  %211 = call double @llvm.fmuladd.f64(double %180, double %190, double 0.000000e+00)
  %212 = call double @sqrt(double noundef %211) #5
  %213 = load float, ptr %1, align 4, !tbaa !5
  %214 = fpext float %213 to double
  %215 = fcmp ogt double %212, %214
  br i1 %215, label %240, label %216

216:                                              ; preds = %170
  %217 = load i32, ptr %6, align 4, !tbaa !9
  %218 = zext i32 %217 to i64
  %219 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %218
  %220 = load float, ptr %219, align 4, !tbaa !5
  %221 = call i1 @llvm.is.fpclass.f32(float %220, i32 3)
  br i1 %221, label %240, label %222

222:                                              ; preds = %216
  %223 = load i32, ptr %6, align 4, !tbaa !9
  %224 = zext i32 %223 to i64
  %225 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %224
  %226 = load float, ptr %225, align 4, !tbaa !5
  %227 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %227, label %240, label %228

228:                                              ; preds = %222
  %229 = load i32, ptr %6, align 4, !tbaa !9
  %230 = zext i32 %229 to i64
  %231 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %230
  %232 = load float, ptr %231, align 4, !tbaa !5
  %233 = call i1 @llvm.is.fpclass.f32(float %232, i32 3)
  br i1 %233, label %240, label %234

234:                                              ; preds = %228
  %235 = load i32, ptr %6, align 4, !tbaa !9
  %236 = zext i32 %235 to i64
  %237 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %236
  %238 = load float, ptr %237, align 4, !tbaa !5
  %239 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %239, label %240, label %285

240:                                              ; preds = %234, %228, %222, %216, %170
  %241 = load i32, ptr %6, align 4, !tbaa !9
  %242 = zext i32 %241 to i64
  %243 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %242
  %244 = load float, ptr %243, align 4, !tbaa !5
  %245 = load i32, ptr %6, align 4, !tbaa !9
  %246 = zext i32 %245 to i64
  %247 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %246
  %248 = load float, ptr %247, align 4, !tbaa !5
  %249 = fsub float %244, %248
  %250 = fpext float %249 to double
  %251 = load i32, ptr %6, align 4, !tbaa !9
  %252 = zext i32 %251 to i64
  %253 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %252
  %254 = load float, ptr %253, align 4, !tbaa !5
  %255 = load i32, ptr %6, align 4, !tbaa !9
  %256 = zext i32 %255 to i64
  %257 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %256
  %258 = load float, ptr %257, align 4, !tbaa !5
  %259 = fsub float %254, %258
  %260 = fpext float %259 to double
  %261 = load i32, ptr %6, align 4, !tbaa !9
  %262 = zext i32 %261 to i64
  %263 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %262
  %264 = load float, ptr %263, align 4, !tbaa !5
  %265 = load i32, ptr %6, align 4, !tbaa !9
  %266 = zext i32 %265 to i64
  %267 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %266
  %268 = load float, ptr %267, align 4, !tbaa !5
  %269 = fsub float %264, %268
  %270 = fpext float %269 to double
  %271 = load i32, ptr %6, align 4, !tbaa !9
  %272 = zext i32 %271 to i64
  %273 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %272
  %274 = load float, ptr %273, align 4, !tbaa !5
  %275 = load i32, ptr %6, align 4, !tbaa !9
  %276 = zext i32 %275 to i64
  %277 = getelementptr inbounds [16 x float], ptr %7, i64 0, i64 %276
  %278 = load float, ptr %277, align 4, !tbaa !5
  %279 = fsub float %274, %278
  %280 = fpext float %279 to double
  %281 = call double @llvm.fmuladd.f64(double %250, double %260, double 0.000000e+00)
  %282 = call double @sqrt(double noundef %281) #5
  %283 = load float, ptr %1, align 4, !tbaa !5
  %284 = fpext float %283 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 362, ptr noundef @.str.43, double noundef %282, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %284)
  br label %286

285:                                              ; preds = %234
  call void (...) @liquid_autotest_passed()
  br label %286

286:                                              ; preds = %285, %240
  br label %287

287:                                              ; preds = %286
  %288 = load i32, ptr %6, align 4, !tbaa !9
  %289 = add i32 %288, 1
  store i32 %289, ptr %6, align 4, !tbaa !9
  br label %167, !llvm.loop !13

290:                                              ; preds = %167
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %291

291:                                              ; preds = %527, %290
  %292 = load i32, ptr %6, align 4, !tbaa !9
  %293 = icmp ult i32 %292, 16
  br i1 %293, label %294, label %530

294:                                              ; preds = %291
  %295 = load i32, ptr %6, align 4, !tbaa !9
  %296 = zext i32 %295 to i64
  %297 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %296
  %298 = load float, ptr %297, align 4, !tbaa !5
  %299 = load i32, ptr %6, align 4, !tbaa !9
  %300 = zext i32 %299 to i64
  %301 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %300
  %302 = load float, ptr %301, align 4, !tbaa !5
  %303 = fsub float %298, %302
  %304 = fpext float %303 to double
  %305 = load i32, ptr %6, align 4, !tbaa !9
  %306 = zext i32 %305 to i64
  %307 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %306
  %308 = load float, ptr %307, align 4, !tbaa !5
  %309 = load i32, ptr %6, align 4, !tbaa !9
  %310 = zext i32 %309 to i64
  %311 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %310
  %312 = load float, ptr %311, align 4, !tbaa !5
  %313 = fsub float %308, %312
  %314 = fpext float %313 to double
  %315 = load i32, ptr %6, align 4, !tbaa !9
  %316 = zext i32 %315 to i64
  %317 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %316
  %318 = load float, ptr %317, align 4, !tbaa !5
  %319 = load i32, ptr %6, align 4, !tbaa !9
  %320 = zext i32 %319 to i64
  %321 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %320
  %322 = load float, ptr %321, align 4, !tbaa !5
  %323 = fsub float %318, %322
  %324 = fpext float %323 to double
  %325 = load i32, ptr %6, align 4, !tbaa !9
  %326 = zext i32 %325 to i64
  %327 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %326
  %328 = load float, ptr %327, align 4, !tbaa !5
  %329 = load i32, ptr %6, align 4, !tbaa !9
  %330 = zext i32 %329 to i64
  %331 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %330
  %332 = load float, ptr %331, align 4, !tbaa !5
  %333 = fsub float %328, %332
  %334 = fpext float %333 to double
  %335 = call double @llvm.fmuladd.f64(double %304, double %314, double 0.000000e+00)
  %336 = call double @sqrt(double noundef %335) #5
  %337 = load float, ptr %1, align 4, !tbaa !5
  %338 = fpext float %337 to double
  %339 = fcmp ogt double %336, %338
  br i1 %339, label %364, label %340

340:                                              ; preds = %294
  %341 = load i32, ptr %6, align 4, !tbaa !9
  %342 = zext i32 %341 to i64
  %343 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %342
  %344 = load float, ptr %343, align 4, !tbaa !5
  %345 = call i1 @llvm.is.fpclass.f32(float %344, i32 3)
  br i1 %345, label %364, label %346

346:                                              ; preds = %340
  %347 = load i32, ptr %6, align 4, !tbaa !9
  %348 = zext i32 %347 to i64
  %349 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %348
  %350 = load float, ptr %349, align 4, !tbaa !5
  %351 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %351, label %364, label %352

352:                                              ; preds = %346
  %353 = load i32, ptr %6, align 4, !tbaa !9
  %354 = zext i32 %353 to i64
  %355 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %354
  %356 = load float, ptr %355, align 4, !tbaa !5
  %357 = call i1 @llvm.is.fpclass.f32(float %356, i32 3)
  br i1 %357, label %364, label %358

358:                                              ; preds = %352
  %359 = load i32, ptr %6, align 4, !tbaa !9
  %360 = zext i32 %359 to i64
  %361 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %360
  %362 = load float, ptr %361, align 4, !tbaa !5
  %363 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %363, label %364, label %409

364:                                              ; preds = %358, %352, %346, %340, %294
  %365 = load i32, ptr %6, align 4, !tbaa !9
  %366 = zext i32 %365 to i64
  %367 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %366
  %368 = load float, ptr %367, align 4, !tbaa !5
  %369 = load i32, ptr %6, align 4, !tbaa !9
  %370 = zext i32 %369 to i64
  %371 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %370
  %372 = load float, ptr %371, align 4, !tbaa !5
  %373 = fsub float %368, %372
  %374 = fpext float %373 to double
  %375 = load i32, ptr %6, align 4, !tbaa !9
  %376 = zext i32 %375 to i64
  %377 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %376
  %378 = load float, ptr %377, align 4, !tbaa !5
  %379 = load i32, ptr %6, align 4, !tbaa !9
  %380 = zext i32 %379 to i64
  %381 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %380
  %382 = load float, ptr %381, align 4, !tbaa !5
  %383 = fsub float %378, %382
  %384 = fpext float %383 to double
  %385 = load i32, ptr %6, align 4, !tbaa !9
  %386 = zext i32 %385 to i64
  %387 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %386
  %388 = load float, ptr %387, align 4, !tbaa !5
  %389 = load i32, ptr %6, align 4, !tbaa !9
  %390 = zext i32 %389 to i64
  %391 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %390
  %392 = load float, ptr %391, align 4, !tbaa !5
  %393 = fsub float %388, %392
  %394 = fpext float %393 to double
  %395 = load i32, ptr %6, align 4, !tbaa !9
  %396 = zext i32 %395 to i64
  %397 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %396
  %398 = load float, ptr %397, align 4, !tbaa !5
  %399 = load i32, ptr %6, align 4, !tbaa !9
  %400 = zext i32 %399 to i64
  %401 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %400
  %402 = load float, ptr %401, align 4, !tbaa !5
  %403 = fsub float %398, %402
  %404 = fpext float %403 to double
  %405 = call double @llvm.fmuladd.f64(double %374, double %384, double 0.000000e+00)
  %406 = call double @sqrt(double noundef %405) #5
  %407 = load float, ptr %1, align 4, !tbaa !5
  %408 = fpext float %407 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 366, ptr noundef @.str.44, double noundef %406, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %408)
  br label %410

409:                                              ; preds = %358
  call void (...) @liquid_autotest_passed()
  br label %410

410:                                              ; preds = %409, %364
  %411 = load i32, ptr %6, align 4, !tbaa !9
  %412 = zext i32 %411 to i64
  %413 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %412
  %414 = load float, ptr %413, align 4, !tbaa !5
  %415 = load i32, ptr %6, align 4, !tbaa !9
  %416 = zext i32 %415 to i64
  %417 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %416
  %418 = load float, ptr %417, align 4, !tbaa !5
  %419 = fsub float %414, %418
  %420 = fpext float %419 to double
  %421 = load i32, ptr %6, align 4, !tbaa !9
  %422 = zext i32 %421 to i64
  %423 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %422
  %424 = load float, ptr %423, align 4, !tbaa !5
  %425 = load i32, ptr %6, align 4, !tbaa !9
  %426 = zext i32 %425 to i64
  %427 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %426
  %428 = load float, ptr %427, align 4, !tbaa !5
  %429 = fsub float %424, %428
  %430 = fpext float %429 to double
  %431 = load i32, ptr %6, align 4, !tbaa !9
  %432 = zext i32 %431 to i64
  %433 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %432
  %434 = load float, ptr %433, align 4, !tbaa !5
  %435 = load i32, ptr %6, align 4, !tbaa !9
  %436 = zext i32 %435 to i64
  %437 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %436
  %438 = load float, ptr %437, align 4, !tbaa !5
  %439 = fsub float %434, %438
  %440 = fpext float %439 to double
  %441 = load i32, ptr %6, align 4, !tbaa !9
  %442 = zext i32 %441 to i64
  %443 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %442
  %444 = load float, ptr %443, align 4, !tbaa !5
  %445 = load i32, ptr %6, align 4, !tbaa !9
  %446 = zext i32 %445 to i64
  %447 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %446
  %448 = load float, ptr %447, align 4, !tbaa !5
  %449 = fsub float %444, %448
  %450 = fpext float %449 to double
  %451 = call double @llvm.fmuladd.f64(double %420, double %430, double 0.000000e+00)
  %452 = call double @sqrt(double noundef %451) #5
  %453 = load float, ptr %1, align 4, !tbaa !5
  %454 = fpext float %453 to double
  %455 = fcmp ogt double %452, %454
  br i1 %455, label %480, label %456

456:                                              ; preds = %410
  %457 = load i32, ptr %6, align 4, !tbaa !9
  %458 = zext i32 %457 to i64
  %459 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %458
  %460 = load float, ptr %459, align 4, !tbaa !5
  %461 = call i1 @llvm.is.fpclass.f32(float %460, i32 3)
  br i1 %461, label %480, label %462

462:                                              ; preds = %456
  %463 = load i32, ptr %6, align 4, !tbaa !9
  %464 = zext i32 %463 to i64
  %465 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %464
  %466 = load float, ptr %465, align 4, !tbaa !5
  %467 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %467, label %480, label %468

468:                                              ; preds = %462
  %469 = load i32, ptr %6, align 4, !tbaa !9
  %470 = zext i32 %469 to i64
  %471 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %470
  %472 = load float, ptr %471, align 4, !tbaa !5
  %473 = call i1 @llvm.is.fpclass.f32(float %472, i32 3)
  br i1 %473, label %480, label %474

474:                                              ; preds = %468
  %475 = load i32, ptr %6, align 4, !tbaa !9
  %476 = zext i32 %475 to i64
  %477 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %476
  %478 = load float, ptr %477, align 4, !tbaa !5
  %479 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %479, label %480, label %525

480:                                              ; preds = %474, %468, %462, %456, %410
  %481 = load i32, ptr %6, align 4, !tbaa !9
  %482 = zext i32 %481 to i64
  %483 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %482
  %484 = load float, ptr %483, align 4, !tbaa !5
  %485 = load i32, ptr %6, align 4, !tbaa !9
  %486 = zext i32 %485 to i64
  %487 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %486
  %488 = load float, ptr %487, align 4, !tbaa !5
  %489 = fsub float %484, %488
  %490 = fpext float %489 to double
  %491 = load i32, ptr %6, align 4, !tbaa !9
  %492 = zext i32 %491 to i64
  %493 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %492
  %494 = load float, ptr %493, align 4, !tbaa !5
  %495 = load i32, ptr %6, align 4, !tbaa !9
  %496 = zext i32 %495 to i64
  %497 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %496
  %498 = load float, ptr %497, align 4, !tbaa !5
  %499 = fsub float %494, %498
  %500 = fpext float %499 to double
  %501 = load i32, ptr %6, align 4, !tbaa !9
  %502 = zext i32 %501 to i64
  %503 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %502
  %504 = load float, ptr %503, align 4, !tbaa !5
  %505 = load i32, ptr %6, align 4, !tbaa !9
  %506 = zext i32 %505 to i64
  %507 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %506
  %508 = load float, ptr %507, align 4, !tbaa !5
  %509 = fsub float %504, %508
  %510 = fpext float %509 to double
  %511 = load i32, ptr %6, align 4, !tbaa !9
  %512 = zext i32 %511 to i64
  %513 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %512
  %514 = load float, ptr %513, align 4, !tbaa !5
  %515 = load i32, ptr %6, align 4, !tbaa !9
  %516 = zext i32 %515 to i64
  %517 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %516
  %518 = load float, ptr %517, align 4, !tbaa !5
  %519 = fsub float %514, %518
  %520 = fpext float %519 to double
  %521 = call double @llvm.fmuladd.f64(double %490, double %500, double 0.000000e+00)
  %522 = call double @sqrt(double noundef %521) #5
  %523 = load float, ptr %1, align 4, !tbaa !5
  %524 = fpext float %523 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 367, ptr noundef @.str.45, double noundef %522, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %524)
  br label %526

525:                                              ; preds = %474
  call void (...) @liquid_autotest_passed()
  br label %526

526:                                              ; preds = %525, %480
  br label %527

527:                                              ; preds = %526
  %528 = load i32, ptr %6, align 4, !tbaa !9
  %529 = add i32 %528, 1
  store i32 %529, ptr %6, align 4, !tbaa !9
  br label %291, !llvm.loop !14

530:                                              ; preds = %291
  call void @llvm.lifetime.end.p0(i64 64, ptr %7) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %5) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %4) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %3) #5
  call void @llvm.lifetime.end.p0(i64 64, ptr %2) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #5
  ret void
}

declare i32 @matrixf_qrdecomp_gramschmidt(ptr noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) #3

declare i32 @matrixf_mul_transpose(ptr noundef, i32 noundef, i32 noundef, ptr noundef) #3

declare i32 @matrixf_eye(ptr noundef, i32 noundef) #3

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"float", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}
!14 = distinct !{!14, !12}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@.str = external hidden unnamed_addr constant [90 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [4 x i8], align 1
@liquid_autotest_verbose = external local_unnamed_addr global i32, align 4
@.str.11 = external hidden unnamed_addr constant [6 x i8], align 1
@matrixf_data_qrdecomp_A = external global [0 x float], align 4
@.str.35 = external hidden unnamed_addr constant [23 x i8], align 1
@.str.36 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.37 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.38 = external hidden unnamed_addr constant [15 x i8], align 1
@matrixf_data_qrdecomp_Q = external global [0 x float], align 4
@.str.39 = external hidden unnamed_addr constant [15 x i8], align 1
@matrixf_data_qrdecomp_R = external global [0 x float], align 4
@.str.40 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.41 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.42 = external hidden unnamed_addr constant [47 x i8], align 1
@.str.43 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.44 = external hidden unnamed_addr constant [41 x i8], align 1
@.str.45 = external hidden unnamed_addr constant [41 x i8], align 1

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #1

declare void @liquid_autotest_failed_expr(ptr noundef, i32 noundef, ptr noundef, double noundef, ptr noundef, ptr noundef, double noundef) local_unnamed_addr #2

declare void @liquid_autotest_passed(...) local_unnamed_addr #2

; Function Attrs: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

; Function Attrs: nofree nounwind
declare noundef i32 @printf(ptr nocapture noundef readonly, ...) local_unnamed_addr #3

declare i32 @matrixf_print(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

declare i32 @matrixf_mul(ptr noundef, i32 noundef, i32 noundef, ptr noundef, i32 noundef, i32 noundef, ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nounwind uwtable
define dso_local void @autotest_matrixf_qrdecomp() local_unnamed_addr #4 {
  %1 = alloca [16 x float], align 16
  %2 = alloca [16 x float], align 16
  %3 = alloca [16 x float], align 16
  %4 = alloca [16 x float], align 16
  %5 = alloca [16 x float], align 16
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %1) #6
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %2) #6
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %3) #6
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %4) #6
  %6 = call i32 @matrixf_qrdecomp_gramschmidt(ptr noundef nonnull @matrixf_data_qrdecomp_A, i32 noundef 4, i32 noundef 4, ptr noundef nonnull %1, ptr noundef nonnull %2) #6
  %7 = call i32 @matrixf_mul(ptr noundef nonnull %1, i32 noundef 4, i32 noundef 4, ptr noundef nonnull %2, i32 noundef 4, i32 noundef 4, ptr noundef nonnull %3, i32 noundef 4, i32 noundef 4) #6
  %8 = call i32 @matrixf_mul_transpose(ptr noundef nonnull %1, i32 noundef 4, i32 noundef 4, ptr noundef nonnull %4) #6
  %9 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !5
  %.not = icmp eq i32 %9, 0
  br i1 %.not, label %.preheader119, label %10

10:                                               ; preds = %0
  %11 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.35)
  %12 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.11)
  %13 = call i32 @matrixf_print(ptr noundef nonnull @matrixf_data_qrdecomp_A, i32 noundef 4, i32 noundef 4) #6
  %14 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.36)
  %15 = call i32 @matrixf_print(ptr noundef nonnull %1, i32 noundef 4, i32 noundef 4) #6
  %16 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.37)
  %17 = call i32 @matrixf_print(ptr noundef nonnull %2, i32 noundef 4, i32 noundef 4) #6
  %18 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.38)
  %19 = call i32 @matrixf_print(ptr noundef nonnull @matrixf_data_qrdecomp_Q, i32 noundef 4, i32 noundef 4) #6
  %20 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.39)
  %21 = call i32 @matrixf_print(ptr noundef nonnull @matrixf_data_qrdecomp_R, i32 noundef 4, i32 noundef 4) #6
  %22 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.40)
  %23 = call i32 @matrixf_print(ptr noundef nonnull %3, i32 noundef 4, i32 noundef 4) #6
  %24 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.41)
  %25 = call i32 @matrixf_print(ptr noundef nonnull %4, i32 noundef 4, i32 noundef 4) #6
  br label %.preheader119

.preheader119:                                    ; preds = %10, %0
  br label %26

26:                                               ; preds = %.preheader119, %39
  %indvars.iv = phi i64 [ %indvars.iv.next, %39 ], [ 0, %.preheader119 ]
  %27 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_A, i64 0, i64 %indvars.iv
  %28 = load float, ptr %27, align 4, !tbaa !9
  %29 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %indvars.iv
  %30 = load float, ptr %29, align 4, !tbaa !9
  %31 = fsub float %28, %30
  %32 = fpext float %31 to double
  %33 = call double @llvm.fmuladd.f64(double %32, double %32, double 0.000000e+00)
  %sqrt = call double @llvm.sqrt.f64(double %33)
  %34 = fcmp ogt double %sqrt, 0x3F1A36E2E0000000
  %35 = fcmp uno float %28, 0.000000e+00
  %or.cond = select i1 %34, i1 true, i1 %35
  %36 = fcmp uno float %30, 0.000000e+00
  %or.cond112 = select i1 %or.cond, i1 true, i1 %36
  br i1 %or.cond112, label %37, label %38

37:                                               ; preds = %26
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 356, ptr noundef nonnull @.str.42, double noundef %sqrt, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %39

38:                                               ; preds = %26
  call void (...) @liquid_autotest_passed() #6
  br label %39

39:                                               ; preds = %37, %38
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 16
  br i1 %exitcond.not, label %40, label %26, !llvm.loop !11

40:                                               ; preds = %39
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %5) #6
  %41 = call i32 @matrixf_eye(ptr noundef nonnull %5, i32 noundef 4) #6
  br label %42

42:                                               ; preds = %40, %55
  %indvars.iv104 = phi i64 [ 0, %40 ], [ %indvars.iv.next105, %55 ]
  %43 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %indvars.iv104
  %44 = load float, ptr %43, align 4, !tbaa !9
  %45 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %indvars.iv104
  %46 = load float, ptr %45, align 4, !tbaa !9
  %47 = fsub float %44, %46
  %48 = fpext float %47 to double
  %49 = call double @llvm.fmuladd.f64(double %48, double %48, double 0.000000e+00)
  %sqrt94 = call double @llvm.sqrt.f64(double %49)
  %50 = fcmp ogt double %sqrt94, 0x3F1A36E2E0000000
  %51 = fcmp uno float %44, 0.000000e+00
  %or.cond113 = select i1 %50, i1 true, i1 %51
  %52 = fcmp uno float %46, 0.000000e+00
  %or.cond114 = select i1 %or.cond113, i1 true, i1 %52
  br i1 %or.cond114, label %53, label %54

53:                                               ; preds = %42
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 362, ptr noundef nonnull @.str.43, double noundef %sqrt94, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %55

54:                                               ; preds = %42
  call void (...) @liquid_autotest_passed() #6
  br label %55

55:                                               ; preds = %53, %54
  %indvars.iv.next105 = add nuw nsw i64 %indvars.iv104, 1
  %exitcond107.not = icmp eq i64 %indvars.iv.next105, 16
  br i1 %exitcond107.not, label %.preheader, label %42, !llvm.loop !13

.preheader:                                       ; preds = %55, %81
  %indvars.iv108 = phi i64 [ %indvars.iv.next109, %81 ], [ 0, %55 ]
  %56 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_Q, i64 0, i64 %indvars.iv108
  %57 = load float, ptr %56, align 4, !tbaa !9
  %58 = getelementptr inbounds [16 x float], ptr %1, i64 0, i64 %indvars.iv108
  %59 = load float, ptr %58, align 4, !tbaa !9
  %60 = fsub float %57, %59
  %61 = fpext float %60 to double
  %62 = call double @llvm.fmuladd.f64(double %61, double %61, double 0.000000e+00)
  %sqrt96 = call double @llvm.sqrt.f64(double %62)
  %63 = fcmp ogt double %sqrt96, 0x3F1A36E2E0000000
  %64 = fcmp uno float %57, 0.000000e+00
  %or.cond115 = select i1 %63, i1 true, i1 %64
  %65 = fcmp uno float %59, 0.000000e+00
  %or.cond116 = select i1 %or.cond115, i1 true, i1 %65
  br i1 %or.cond116, label %66, label %67

66:                                               ; preds = %.preheader
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 366, ptr noundef nonnull @.str.44, double noundef %sqrt96, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %68

67:                                               ; preds = %.preheader
  call void (...) @liquid_autotest_passed() #6
  br label %68

68:                                               ; preds = %67, %66
  %69 = getelementptr inbounds [0 x float], ptr @matrixf_data_qrdecomp_R, i64 0, i64 %indvars.iv108
  %70 = load float, ptr %69, align 4, !tbaa !9
  %71 = getelementptr inbounds [16 x float], ptr %2, i64 0, i64 %indvars.iv108
  %72 = load float, ptr %71, align 4, !tbaa !9
  %73 = fsub float %70, %72
  %74 = fpext float %73 to double
  %75 = call double @llvm.fmuladd.f64(double %74, double %74, double 0.000000e+00)
  %sqrt98 = call double @llvm.sqrt.f64(double %75)
  %76 = fcmp ogt double %sqrt98, 0x3F1A36E2E0000000
  %77 = fcmp uno float %70, 0.000000e+00
  %or.cond117 = select i1 %76, i1 true, i1 %77
  %78 = fcmp uno float %72, 0.000000e+00
  %or.cond118 = select i1 %or.cond117, i1 true, i1 %78
  br i1 %or.cond118, label %79, label %80

79:                                               ; preds = %68
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 367, ptr noundef nonnull @.str.45, double noundef %sqrt98, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %81

80:                                               ; preds = %68
  call void (...) @liquid_autotest_passed() #6
  br label %81

81:                                               ; preds = %79, %80
  %indvars.iv.next109 = add nuw nsw i64 %indvars.iv108, 1
  %exitcond111.not = icmp eq i64 %indvars.iv.next109, 16
  br i1 %exitcond111.not, label %82, label %.preheader, !llvm.loop !14

82:                                               ; preds = %81
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %5) #6
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %3) #6
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %2) #6
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %1) #6
  ret void
}

declare i32 @matrixf_qrdecomp_gramschmidt(ptr noundef, i32 noundef, i32 noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

declare i32 @matrixf_mul_transpose(ptr noundef, i32 noundef, i32 noundef, ptr noundef) local_unnamed_addr #2

declare i32 @matrixf_eye(ptr noundef, i32 noundef) local_unnamed_addr #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.sqrt.f64(double) #5

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #2 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nofree nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #6 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"float", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}
!14 = distinct !{!14, !12}


; Effective O3 passes: AggressiveInstCombinePass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,SROAPass,SimplifyCFGPass