; LLVM IR from jgaeddert/liquid-dsp :: src/matrix/tests (matrixcf_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 [91 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.6 = external hidden unnamed_addr constant [6 x i8], align 1
@matrixcf_data_transmul_x = external global [0 x { float, float }], align 4
@.str.53 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixcf_data_transmul_xxT = external global [0 x { float, float }], align 4
@.str.57 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixcf_data_transmul_xxH = external global [0 x { float, float }], align 4
@.str.59 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixcf_data_transmul_xTx = external global [0 x { float, float }], align 4
@.str.61 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixcf_data_transmul_xHx = external global [0 x { float, float }], align 4
@.str.63 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [62 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 @matrixcf_print(ptr noundef, i32 noundef, i32 noundef) #3

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

; Function Attrs: nounwind uwtable
define dso_local void @autotest_matrixcf_transmul() #4 {
  %1 = alloca float, align 4
  %2 = alloca [25 x { float, float }], align 16
  %3 = alloca [25 x { float, float }], align 16
  %4 = alloca [16 x { float, float }], align 16
  %5 = alloca [16 x { float, float }], align 16
  %6 = alloca i32, align 4
  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 200, ptr %2) #5
  call void @llvm.lifetime.start.p0(i64 200, ptr %3) #5
  call void @llvm.lifetime.start.p0(i64 128, ptr %4) #5
  call void @llvm.lifetime.start.p0(i64 128, ptr %5) #5
  %7 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 0
  %8 = call i32 @matrixcf_mul_transpose(ptr noundef @matrixcf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef %7)
  %9 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 0
  %10 = call i32 @matrixcf_mul_hermitian(ptr noundef @matrixcf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef %9)
  %11 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 0
  %12 = call i32 @matrixcf_transpose_mul(ptr noundef @matrixcf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef %11)
  %13 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 0
  %14 = call i32 @matrixcf_hermitian_mul(ptr noundef @matrixcf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef %13)
  %15 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !9
  %16 = icmp ne i32 %15, 0
  br i1 %16, label %17, label %46

17:                                               ; preds = %0
  %18 = call i32 (ptr, ...) @printf(ptr noundef @.str.53)
  %19 = call i32 (ptr, ...) @printf(ptr noundef @.str.6)
  %20 = call i32 @matrixcf_print(ptr noundef @matrixcf_data_transmul_x, i32 noundef 5, i32 noundef 4)
  %21 = call i32 (ptr, ...) @printf(ptr noundef @.str.54)
  %22 = call i32 (ptr, ...) @printf(ptr noundef @.str.55)
  %23 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 0
  %24 = call i32 @matrixcf_print(ptr noundef %23, i32 noundef 5, i32 noundef 5)
  %25 = call i32 (ptr, ...) @printf(ptr noundef @.str.56)
  %26 = call i32 @matrixcf_print(ptr noundef @matrixcf_data_transmul_xxT, i32 noundef 5, i32 noundef 5)
  %27 = call i32 (ptr, ...) @printf(ptr noundef @.str.54)
  %28 = call i32 (ptr, ...) @printf(ptr noundef @.str.57)
  %29 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 0
  %30 = call i32 @matrixcf_print(ptr noundef %29, i32 noundef 5, i32 noundef 5)
  %31 = call i32 (ptr, ...) @printf(ptr noundef @.str.58)
  %32 = call i32 @matrixcf_print(ptr noundef @matrixcf_data_transmul_xxH, i32 noundef 5, i32 noundef 5)
  %33 = call i32 (ptr, ...) @printf(ptr noundef @.str.54)
  %34 = call i32 (ptr, ...) @printf(ptr noundef @.str.59)
  %35 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 0
  %36 = call i32 @matrixcf_print(ptr noundef %35, i32 noundef 4, i32 noundef 4)
  %37 = call i32 (ptr, ...) @printf(ptr noundef @.str.60)
  %38 = call i32 @matrixcf_print(ptr noundef @matrixcf_data_transmul_xTx, i32 noundef 4, i32 noundef 4)
  %39 = call i32 (ptr, ...) @printf(ptr noundef @.str.54)
  %40 = call i32 (ptr, ...) @printf(ptr noundef @.str.61)
  %41 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 0
  %42 = call i32 @matrixcf_print(ptr noundef %41, i32 noundef 4, i32 noundef 4)
  %43 = call i32 (ptr, ...) @printf(ptr noundef @.str.62)
  %44 = call i32 @matrixcf_print(ptr noundef @matrixcf_data_transmul_xHx, i32 noundef 4, i32 noundef 4)
  %45 = call i32 (ptr, ...) @printf(ptr noundef @.str.54)
  br label %46

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

47:                                               ; preds = %403, %46
  %48 = load i32, ptr %6, align 4, !tbaa !9
  %49 = icmp ult i32 %48, 25
  br i1 %49, label %50, label %406

50:                                               ; preds = %47
  %51 = load i32, ptr %6, align 4, !tbaa !9
  %52 = zext i32 %51 to i64
  %53 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %52
  %54 = getelementptr inbounds { float, float }, ptr %53, i32 0, i32 0
  %55 = load float, ptr %54, align 4
  %56 = getelementptr inbounds { float, float }, ptr %53, i32 0, i32 1
  %57 = load float, ptr %56, align 4
  %58 = load i32, ptr %6, align 4, !tbaa !9
  %59 = zext i32 %58 to i64
  %60 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %59
  %61 = getelementptr inbounds { float, float }, ptr %60, i32 0, i32 0
  %62 = load float, ptr %61, align 8
  %63 = getelementptr inbounds { float, float }, ptr %60, i32 0, i32 1
  %64 = load float, ptr %63, align 4
  %65 = fsub float %55, %62
  %66 = fpext float %65 to double
  %67 = load i32, ptr %6, align 4, !tbaa !9
  %68 = zext i32 %67 to i64
  %69 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %68
  %70 = getelementptr inbounds { float, float }, ptr %69, i32 0, i32 0
  %71 = load float, ptr %70, align 4
  %72 = getelementptr inbounds { float, float }, ptr %69, i32 0, i32 1
  %73 = load float, ptr %72, align 4
  %74 = load i32, ptr %6, align 4, !tbaa !9
  %75 = zext i32 %74 to i64
  %76 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %75
  %77 = getelementptr inbounds { float, float }, ptr %76, i32 0, i32 0
  %78 = load float, ptr %77, align 8
  %79 = getelementptr inbounds { float, float }, ptr %76, i32 0, i32 1
  %80 = load float, ptr %79, align 4
  %81 = fsub float %71, %78
  %82 = fpext float %81 to double
  %83 = load i32, ptr %6, align 4, !tbaa !9
  %84 = zext i32 %83 to i64
  %85 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %84
  %86 = getelementptr inbounds { float, float }, ptr %85, i32 0, i32 0
  %87 = load float, ptr %86, align 4
  %88 = getelementptr inbounds { float, float }, ptr %85, i32 0, i32 1
  %89 = load float, ptr %88, align 4
  %90 = load i32, ptr %6, align 4, !tbaa !9
  %91 = zext i32 %90 to i64
  %92 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %91
  %93 = getelementptr inbounds { float, float }, ptr %92, i32 0, i32 0
  %94 = load float, ptr %93, align 8
  %95 = getelementptr inbounds { float, float }, ptr %92, i32 0, i32 1
  %96 = load float, ptr %95, align 4
  %97 = fsub float %87, %94
  %98 = fpext float %97 to double
  %99 = load i32, ptr %6, align 4, !tbaa !9
  %100 = zext i32 %99 to i64
  %101 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %100
  %102 = getelementptr inbounds { float, float }, ptr %101, i32 0, i32 0
  %103 = load float, ptr %102, align 4
  %104 = getelementptr inbounds { float, float }, ptr %101, i32 0, i32 1
  %105 = load float, ptr %104, align 4
  %106 = load i32, ptr %6, align 4, !tbaa !9
  %107 = zext i32 %106 to i64
  %108 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %107
  %109 = getelementptr inbounds { float, float }, ptr %108, i32 0, i32 0
  %110 = load float, ptr %109, align 8
  %111 = getelementptr inbounds { float, float }, ptr %108, i32 0, i32 1
  %112 = load float, ptr %111, align 4
  %113 = fsub float %103, %110
  %114 = fpext float %113 to double
  %115 = call double @llvm.fmuladd.f64(double %66, double %82, double 0.000000e+00)
  %116 = call double @sqrt(double noundef %115) #5
  %117 = load float, ptr %1, align 4, !tbaa !5
  %118 = fpext float %117 to double
  %119 = fcmp ogt double %116, %118
  br i1 %119, label %156, label %120

120:                                              ; preds = %50
  %121 = load i32, ptr %6, align 4, !tbaa !9
  %122 = zext i32 %121 to i64
  %123 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %122
  %124 = getelementptr inbounds { float, float }, ptr %123, i32 0, i32 0
  %125 = load float, ptr %124, align 4
  %126 = getelementptr inbounds { float, float }, ptr %123, i32 0, i32 1
  %127 = load float, ptr %126, align 4
  %128 = call i1 @llvm.is.fpclass.f32(float %125, i32 3)
  br i1 %128, label %156, label %129

129:                                              ; preds = %120
  %130 = load i32, ptr %6, align 4, !tbaa !9
  %131 = zext i32 %130 to i64
  %132 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %131
  %133 = getelementptr inbounds { float, float }, ptr %132, i32 0, i32 0
  %134 = load float, ptr %133, align 4
  %135 = getelementptr inbounds { float, float }, ptr %132, i32 0, i32 1
  %136 = load float, ptr %135, align 4
  %137 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %137, label %156, label %138

138:                                              ; preds = %129
  %139 = load i32, ptr %6, align 4, !tbaa !9
  %140 = zext i32 %139 to i64
  %141 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %140
  %142 = getelementptr inbounds { float, float }, ptr %141, i32 0, i32 0
  %143 = load float, ptr %142, align 8
  %144 = getelementptr inbounds { float, float }, ptr %141, i32 0, i32 1
  %145 = load float, ptr %144, align 4
  %146 = call i1 @llvm.is.fpclass.f32(float %143, i32 3)
  br i1 %146, label %156, label %147

147:                                              ; preds = %138
  %148 = load i32, ptr %6, align 4, !tbaa !9
  %149 = zext i32 %148 to i64
  %150 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %149
  %151 = getelementptr inbounds { float, float }, ptr %150, i32 0, i32 0
  %152 = load float, ptr %151, align 8
  %153 = getelementptr inbounds { float, float }, ptr %150, i32 0, i32 1
  %154 = load float, ptr %153, align 4
  %155 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %155, label %156, label %225

156:                                              ; preds = %147, %138, %129, %120, %50
  %157 = load i32, ptr %6, align 4, !tbaa !9
  %158 = zext i32 %157 to i64
  %159 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %158
  %160 = getelementptr inbounds { float, float }, ptr %159, i32 0, i32 0
  %161 = load float, ptr %160, align 4
  %162 = getelementptr inbounds { float, float }, ptr %159, i32 0, i32 1
  %163 = load float, ptr %162, align 4
  %164 = load i32, ptr %6, align 4, !tbaa !9
  %165 = zext i32 %164 to i64
  %166 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %165
  %167 = getelementptr inbounds { float, float }, ptr %166, i32 0, i32 0
  %168 = load float, ptr %167, align 8
  %169 = getelementptr inbounds { float, float }, ptr %166, i32 0, i32 1
  %170 = load float, ptr %169, align 4
  %171 = fsub float %161, %168
  %172 = fpext float %171 to double
  %173 = load i32, ptr %6, align 4, !tbaa !9
  %174 = zext i32 %173 to i64
  %175 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %174
  %176 = getelementptr inbounds { float, float }, ptr %175, i32 0, i32 0
  %177 = load float, ptr %176, align 4
  %178 = getelementptr inbounds { float, float }, ptr %175, i32 0, i32 1
  %179 = load float, ptr %178, align 4
  %180 = load i32, ptr %6, align 4, !tbaa !9
  %181 = zext i32 %180 to i64
  %182 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %181
  %183 = getelementptr inbounds { float, float }, ptr %182, i32 0, i32 0
  %184 = load float, ptr %183, align 8
  %185 = getelementptr inbounds { float, float }, ptr %182, i32 0, i32 1
  %186 = load float, ptr %185, align 4
  %187 = fsub float %177, %184
  %188 = fpext float %187 to double
  %189 = load i32, ptr %6, align 4, !tbaa !9
  %190 = zext i32 %189 to i64
  %191 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %190
  %192 = getelementptr inbounds { float, float }, ptr %191, i32 0, i32 0
  %193 = load float, ptr %192, align 4
  %194 = getelementptr inbounds { float, float }, ptr %191, i32 0, i32 1
  %195 = load float, ptr %194, align 4
  %196 = load i32, ptr %6, align 4, !tbaa !9
  %197 = zext i32 %196 to i64
  %198 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %197
  %199 = getelementptr inbounds { float, float }, ptr %198, i32 0, i32 0
  %200 = load float, ptr %199, align 8
  %201 = getelementptr inbounds { float, float }, ptr %198, i32 0, i32 1
  %202 = load float, ptr %201, align 4
  %203 = fsub float %193, %200
  %204 = fpext float %203 to double
  %205 = load i32, ptr %6, align 4, !tbaa !9
  %206 = zext i32 %205 to i64
  %207 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %206
  %208 = getelementptr inbounds { float, float }, ptr %207, i32 0, i32 0
  %209 = load float, ptr %208, align 4
  %210 = getelementptr inbounds { float, float }, ptr %207, i32 0, i32 1
  %211 = load float, ptr %210, align 4
  %212 = load i32, ptr %6, align 4, !tbaa !9
  %213 = zext i32 %212 to i64
  %214 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %213
  %215 = getelementptr inbounds { float, float }, ptr %214, i32 0, i32 0
  %216 = load float, ptr %215, align 8
  %217 = getelementptr inbounds { float, float }, ptr %214, i32 0, i32 1
  %218 = load float, ptr %217, align 4
  %219 = fsub float %209, %216
  %220 = fpext float %219 to double
  %221 = call double @llvm.fmuladd.f64(double %172, double %188, double 0.000000e+00)
  %222 = call double @sqrt(double noundef %221) #5
  %223 = load float, ptr %1, align 4, !tbaa !5
  %224 = fpext float %223 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 386, ptr noundef @.str.63, double noundef %222, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %224)
  br label %226

225:                                              ; preds = %147
  call void (...) @liquid_autotest_passed()
  br label %226

226:                                              ; preds = %225, %156
  %227 = load i32, ptr %6, align 4, !tbaa !9
  %228 = zext i32 %227 to i64
  %229 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %228
  %230 = getelementptr inbounds { float, float }, ptr %229, i32 0, i32 0
  %231 = load float, ptr %230, align 4
  %232 = getelementptr inbounds { float, float }, ptr %229, i32 0, i32 1
  %233 = load float, ptr %232, align 4
  %234 = load i32, ptr %6, align 4, !tbaa !9
  %235 = zext i32 %234 to i64
  %236 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %235
  %237 = getelementptr inbounds { float, float }, ptr %236, i32 0, i32 0
  %238 = load float, ptr %237, align 8
  %239 = getelementptr inbounds { float, float }, ptr %236, i32 0, i32 1
  %240 = load float, ptr %239, align 4
  %241 = fsub float %233, %240
  %242 = fpext float %241 to double
  %243 = load i32, ptr %6, align 4, !tbaa !9
  %244 = zext i32 %243 to i64
  %245 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %244
  %246 = getelementptr inbounds { float, float }, ptr %245, i32 0, i32 0
  %247 = load float, ptr %246, align 4
  %248 = getelementptr inbounds { float, float }, ptr %245, i32 0, i32 1
  %249 = load float, ptr %248, align 4
  %250 = load i32, ptr %6, align 4, !tbaa !9
  %251 = zext i32 %250 to i64
  %252 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %251
  %253 = getelementptr inbounds { float, float }, ptr %252, i32 0, i32 0
  %254 = load float, ptr %253, align 8
  %255 = getelementptr inbounds { float, float }, ptr %252, i32 0, i32 1
  %256 = load float, ptr %255, align 4
  %257 = fsub float %249, %256
  %258 = fpext float %257 to double
  %259 = load i32, ptr %6, align 4, !tbaa !9
  %260 = zext i32 %259 to i64
  %261 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %260
  %262 = getelementptr inbounds { float, float }, ptr %261, i32 0, i32 0
  %263 = load float, ptr %262, align 4
  %264 = getelementptr inbounds { float, float }, ptr %261, i32 0, i32 1
  %265 = load float, ptr %264, align 4
  %266 = load i32, ptr %6, align 4, !tbaa !9
  %267 = zext i32 %266 to i64
  %268 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %267
  %269 = getelementptr inbounds { float, float }, ptr %268, i32 0, i32 0
  %270 = load float, ptr %269, align 8
  %271 = getelementptr inbounds { float, float }, ptr %268, i32 0, i32 1
  %272 = load float, ptr %271, align 4
  %273 = fsub float %265, %272
  %274 = fpext float %273 to double
  %275 = load i32, ptr %6, align 4, !tbaa !9
  %276 = zext i32 %275 to i64
  %277 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %276
  %278 = getelementptr inbounds { float, float }, ptr %277, i32 0, i32 0
  %279 = load float, ptr %278, align 4
  %280 = getelementptr inbounds { float, float }, ptr %277, i32 0, i32 1
  %281 = load float, ptr %280, align 4
  %282 = load i32, ptr %6, align 4, !tbaa !9
  %283 = zext i32 %282 to i64
  %284 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %283
  %285 = getelementptr inbounds { float, float }, ptr %284, i32 0, i32 0
  %286 = load float, ptr %285, align 8
  %287 = getelementptr inbounds { float, float }, ptr %284, i32 0, i32 1
  %288 = load float, ptr %287, align 4
  %289 = fsub float %281, %288
  %290 = fpext float %289 to double
  %291 = call double @llvm.fmuladd.f64(double %242, double %258, double 0.000000e+00)
  %292 = call double @sqrt(double noundef %291) #5
  %293 = load float, ptr %1, align 4, !tbaa !5
  %294 = fpext float %293 to double
  %295 = fcmp ogt double %292, %294
  br i1 %295, label %332, label %296

296:                                              ; preds = %226
  %297 = load i32, ptr %6, align 4, !tbaa !9
  %298 = zext i32 %297 to i64
  %299 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %298
  %300 = getelementptr inbounds { float, float }, ptr %299, i32 0, i32 0
  %301 = load float, ptr %300, align 4
  %302 = getelementptr inbounds { float, float }, ptr %299, i32 0, i32 1
  %303 = load float, ptr %302, align 4
  %304 = call i1 @llvm.is.fpclass.f32(float %303, i32 3)
  br i1 %304, label %332, label %305

305:                                              ; preds = %296
  %306 = load i32, ptr %6, align 4, !tbaa !9
  %307 = zext i32 %306 to i64
  %308 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %307
  %309 = getelementptr inbounds { float, float }, ptr %308, i32 0, i32 0
  %310 = load float, ptr %309, align 4
  %311 = getelementptr inbounds { float, float }, ptr %308, i32 0, i32 1
  %312 = load float, ptr %311, align 4
  %313 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %313, label %332, label %314

314:                                              ; preds = %305
  %315 = load i32, ptr %6, align 4, !tbaa !9
  %316 = zext i32 %315 to i64
  %317 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %316
  %318 = getelementptr inbounds { float, float }, ptr %317, i32 0, i32 0
  %319 = load float, ptr %318, align 8
  %320 = getelementptr inbounds { float, float }, ptr %317, i32 0, i32 1
  %321 = load float, ptr %320, align 4
  %322 = call i1 @llvm.is.fpclass.f32(float %321, i32 3)
  br i1 %322, label %332, label %323

323:                                              ; preds = %314
  %324 = load i32, ptr %6, align 4, !tbaa !9
  %325 = zext i32 %324 to i64
  %326 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %325
  %327 = getelementptr inbounds { float, float }, ptr %326, i32 0, i32 0
  %328 = load float, ptr %327, align 8
  %329 = getelementptr inbounds { float, float }, ptr %326, i32 0, i32 1
  %330 = load float, ptr %329, align 4
  %331 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %331, label %332, label %401

332:                                              ; preds = %323, %314, %305, %296, %226
  %333 = load i32, ptr %6, align 4, !tbaa !9
  %334 = zext i32 %333 to i64
  %335 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %334
  %336 = getelementptr inbounds { float, float }, ptr %335, i32 0, i32 0
  %337 = load float, ptr %336, align 4
  %338 = getelementptr inbounds { float, float }, ptr %335, i32 0, i32 1
  %339 = load float, ptr %338, align 4
  %340 = load i32, ptr %6, align 4, !tbaa !9
  %341 = zext i32 %340 to i64
  %342 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %341
  %343 = getelementptr inbounds { float, float }, ptr %342, i32 0, i32 0
  %344 = load float, ptr %343, align 8
  %345 = getelementptr inbounds { float, float }, ptr %342, i32 0, i32 1
  %346 = load float, ptr %345, align 4
  %347 = fsub float %339, %346
  %348 = fpext float %347 to double
  %349 = load i32, ptr %6, align 4, !tbaa !9
  %350 = zext i32 %349 to i64
  %351 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %350
  %352 = getelementptr inbounds { float, float }, ptr %351, i32 0, i32 0
  %353 = load float, ptr %352, align 4
  %354 = getelementptr inbounds { float, float }, ptr %351, i32 0, i32 1
  %355 = load float, ptr %354, align 4
  %356 = load i32, ptr %6, align 4, !tbaa !9
  %357 = zext i32 %356 to i64
  %358 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %357
  %359 = getelementptr inbounds { float, float }, ptr %358, i32 0, i32 0
  %360 = load float, ptr %359, align 8
  %361 = getelementptr inbounds { float, float }, ptr %358, i32 0, i32 1
  %362 = load float, ptr %361, align 4
  %363 = fsub float %355, %362
  %364 = fpext float %363 to double
  %365 = load i32, ptr %6, align 4, !tbaa !9
  %366 = zext i32 %365 to i64
  %367 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %366
  %368 = getelementptr inbounds { float, float }, ptr %367, i32 0, i32 0
  %369 = load float, ptr %368, align 4
  %370 = getelementptr inbounds { float, float }, ptr %367, i32 0, i32 1
  %371 = load float, ptr %370, align 4
  %372 = load i32, ptr %6, align 4, !tbaa !9
  %373 = zext i32 %372 to i64
  %374 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %373
  %375 = getelementptr inbounds { float, float }, ptr %374, i32 0, i32 0
  %376 = load float, ptr %375, align 8
  %377 = getelementptr inbounds { float, float }, ptr %374, i32 0, i32 1
  %378 = load float, ptr %377, align 4
  %379 = fsub float %371, %378
  %380 = fpext float %379 to double
  %381 = load i32, ptr %6, align 4, !tbaa !9
  %382 = zext i32 %381 to i64
  %383 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %382
  %384 = getelementptr inbounds { float, float }, ptr %383, i32 0, i32 0
  %385 = load float, ptr %384, align 4
  %386 = getelementptr inbounds { float, float }, ptr %383, i32 0, i32 1
  %387 = load float, ptr %386, align 4
  %388 = load i32, ptr %6, align 4, !tbaa !9
  %389 = zext i32 %388 to i64
  %390 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %389
  %391 = getelementptr inbounds { float, float }, ptr %390, i32 0, i32 0
  %392 = load float, ptr %391, align 8
  %393 = getelementptr inbounds { float, float }, ptr %390, i32 0, i32 1
  %394 = load float, ptr %393, align 4
  %395 = fsub float %387, %394
  %396 = fpext float %395 to double
  %397 = call double @llvm.fmuladd.f64(double %348, double %364, double 0.000000e+00)
  %398 = call double @sqrt(double noundef %397) #5
  %399 = load float, ptr %1, align 4, !tbaa !5
  %400 = fpext float %399 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 387, ptr noundef @.str.64, double noundef %398, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %400)
  br label %402

401:                                              ; preds = %323
  call void (...) @liquid_autotest_passed()
  br label %402

402:                                              ; preds = %401, %332
  br label %403

403:                                              ; preds = %402
  %404 = load i32, ptr %6, align 4, !tbaa !9
  %405 = add i32 %404, 1
  store i32 %405, ptr %6, align 4, !tbaa !9
  br label %47, !llvm.loop !11

406:                                              ; preds = %47
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %407

407:                                              ; preds = %763, %406
  %408 = load i32, ptr %6, align 4, !tbaa !9
  %409 = icmp ult i32 %408, 25
  br i1 %409, label %410, label %766

410:                                              ; preds = %407
  %411 = load i32, ptr %6, align 4, !tbaa !9
  %412 = zext i32 %411 to i64
  %413 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %412
  %414 = getelementptr inbounds { float, float }, ptr %413, i32 0, i32 0
  %415 = load float, ptr %414, align 4
  %416 = getelementptr inbounds { float, float }, ptr %413, i32 0, i32 1
  %417 = load float, ptr %416, align 4
  %418 = load i32, ptr %6, align 4, !tbaa !9
  %419 = zext i32 %418 to i64
  %420 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %419
  %421 = getelementptr inbounds { float, float }, ptr %420, i32 0, i32 0
  %422 = load float, ptr %421, align 8
  %423 = getelementptr inbounds { float, float }, ptr %420, i32 0, i32 1
  %424 = load float, ptr %423, align 4
  %425 = fsub float %415, %422
  %426 = fpext float %425 to double
  %427 = load i32, ptr %6, align 4, !tbaa !9
  %428 = zext i32 %427 to i64
  %429 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %428
  %430 = getelementptr inbounds { float, float }, ptr %429, i32 0, i32 0
  %431 = load float, ptr %430, align 4
  %432 = getelementptr inbounds { float, float }, ptr %429, i32 0, i32 1
  %433 = load float, ptr %432, align 4
  %434 = load i32, ptr %6, align 4, !tbaa !9
  %435 = zext i32 %434 to i64
  %436 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %435
  %437 = getelementptr inbounds { float, float }, ptr %436, i32 0, i32 0
  %438 = load float, ptr %437, align 8
  %439 = getelementptr inbounds { float, float }, ptr %436, i32 0, i32 1
  %440 = load float, ptr %439, align 4
  %441 = fsub float %431, %438
  %442 = fpext float %441 to double
  %443 = load i32, ptr %6, align 4, !tbaa !9
  %444 = zext i32 %443 to i64
  %445 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %444
  %446 = getelementptr inbounds { float, float }, ptr %445, i32 0, i32 0
  %447 = load float, ptr %446, align 4
  %448 = getelementptr inbounds { float, float }, ptr %445, i32 0, i32 1
  %449 = load float, ptr %448, align 4
  %450 = load i32, ptr %6, align 4, !tbaa !9
  %451 = zext i32 %450 to i64
  %452 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %451
  %453 = getelementptr inbounds { float, float }, ptr %452, i32 0, i32 0
  %454 = load float, ptr %453, align 8
  %455 = getelementptr inbounds { float, float }, ptr %452, i32 0, i32 1
  %456 = load float, ptr %455, align 4
  %457 = fsub float %447, %454
  %458 = fpext float %457 to double
  %459 = load i32, ptr %6, align 4, !tbaa !9
  %460 = zext i32 %459 to i64
  %461 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %460
  %462 = getelementptr inbounds { float, float }, ptr %461, i32 0, i32 0
  %463 = load float, ptr %462, align 4
  %464 = getelementptr inbounds { float, float }, ptr %461, i32 0, i32 1
  %465 = load float, ptr %464, align 4
  %466 = load i32, ptr %6, align 4, !tbaa !9
  %467 = zext i32 %466 to i64
  %468 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %467
  %469 = getelementptr inbounds { float, float }, ptr %468, i32 0, i32 0
  %470 = load float, ptr %469, align 8
  %471 = getelementptr inbounds { float, float }, ptr %468, i32 0, i32 1
  %472 = load float, ptr %471, align 4
  %473 = fsub float %463, %470
  %474 = fpext float %473 to double
  %475 = call double @llvm.fmuladd.f64(double %426, double %442, double 0.000000e+00)
  %476 = call double @sqrt(double noundef %475) #5
  %477 = load float, ptr %1, align 4, !tbaa !5
  %478 = fpext float %477 to double
  %479 = fcmp ogt double %476, %478
  br i1 %479, label %516, label %480

480:                                              ; preds = %410
  %481 = load i32, ptr %6, align 4, !tbaa !9
  %482 = zext i32 %481 to i64
  %483 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %482
  %484 = getelementptr inbounds { float, float }, ptr %483, i32 0, i32 0
  %485 = load float, ptr %484, align 4
  %486 = getelementptr inbounds { float, float }, ptr %483, i32 0, i32 1
  %487 = load float, ptr %486, align 4
  %488 = call i1 @llvm.is.fpclass.f32(float %485, i32 3)
  br i1 %488, label %516, label %489

489:                                              ; preds = %480
  %490 = load i32, ptr %6, align 4, !tbaa !9
  %491 = zext i32 %490 to i64
  %492 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %491
  %493 = getelementptr inbounds { float, float }, ptr %492, i32 0, i32 0
  %494 = load float, ptr %493, align 4
  %495 = getelementptr inbounds { float, float }, ptr %492, i32 0, i32 1
  %496 = load float, ptr %495, align 4
  %497 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %497, label %516, label %498

498:                                              ; preds = %489
  %499 = load i32, ptr %6, align 4, !tbaa !9
  %500 = zext i32 %499 to i64
  %501 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %500
  %502 = getelementptr inbounds { float, float }, ptr %501, i32 0, i32 0
  %503 = load float, ptr %502, align 8
  %504 = getelementptr inbounds { float, float }, ptr %501, i32 0, i32 1
  %505 = load float, ptr %504, align 4
  %506 = call i1 @llvm.is.fpclass.f32(float %503, i32 3)
  br i1 %506, label %516, label %507

507:                                              ; preds = %498
  %508 = load i32, ptr %6, align 4, !tbaa !9
  %509 = zext i32 %508 to i64
  %510 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %509
  %511 = getelementptr inbounds { float, float }, ptr %510, i32 0, i32 0
  %512 = load float, ptr %511, align 8
  %513 = getelementptr inbounds { float, float }, ptr %510, i32 0, i32 1
  %514 = load float, ptr %513, align 4
  %515 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %515, label %516, label %585

516:                                              ; preds = %507, %498, %489, %480, %410
  %517 = load i32, ptr %6, align 4, !tbaa !9
  %518 = zext i32 %517 to i64
  %519 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %518
  %520 = getelementptr inbounds { float, float }, ptr %519, i32 0, i32 0
  %521 = load float, ptr %520, align 4
  %522 = getelementptr inbounds { float, float }, ptr %519, i32 0, i32 1
  %523 = load float, ptr %522, align 4
  %524 = load i32, ptr %6, align 4, !tbaa !9
  %525 = zext i32 %524 to i64
  %526 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %525
  %527 = getelementptr inbounds { float, float }, ptr %526, i32 0, i32 0
  %528 = load float, ptr %527, align 8
  %529 = getelementptr inbounds { float, float }, ptr %526, i32 0, i32 1
  %530 = load float, ptr %529, align 4
  %531 = fsub float %521, %528
  %532 = fpext float %531 to double
  %533 = load i32, ptr %6, align 4, !tbaa !9
  %534 = zext i32 %533 to i64
  %535 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %534
  %536 = getelementptr inbounds { float, float }, ptr %535, i32 0, i32 0
  %537 = load float, ptr %536, align 4
  %538 = getelementptr inbounds { float, float }, ptr %535, i32 0, i32 1
  %539 = load float, ptr %538, align 4
  %540 = load i32, ptr %6, align 4, !tbaa !9
  %541 = zext i32 %540 to i64
  %542 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %541
  %543 = getelementptr inbounds { float, float }, ptr %542, i32 0, i32 0
  %544 = load float, ptr %543, align 8
  %545 = getelementptr inbounds { float, float }, ptr %542, i32 0, i32 1
  %546 = load float, ptr %545, align 4
  %547 = fsub float %537, %544
  %548 = fpext float %547 to double
  %549 = load i32, ptr %6, align 4, !tbaa !9
  %550 = zext i32 %549 to i64
  %551 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %550
  %552 = getelementptr inbounds { float, float }, ptr %551, i32 0, i32 0
  %553 = load float, ptr %552, align 4
  %554 = getelementptr inbounds { float, float }, ptr %551, i32 0, i32 1
  %555 = load float, ptr %554, align 4
  %556 = load i32, ptr %6, align 4, !tbaa !9
  %557 = zext i32 %556 to i64
  %558 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %557
  %559 = getelementptr inbounds { float, float }, ptr %558, i32 0, i32 0
  %560 = load float, ptr %559, align 8
  %561 = getelementptr inbounds { float, float }, ptr %558, i32 0, i32 1
  %562 = load float, ptr %561, align 4
  %563 = fsub float %553, %560
  %564 = fpext float %563 to double
  %565 = load i32, ptr %6, align 4, !tbaa !9
  %566 = zext i32 %565 to i64
  %567 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %566
  %568 = getelementptr inbounds { float, float }, ptr %567, i32 0, i32 0
  %569 = load float, ptr %568, align 4
  %570 = getelementptr inbounds { float, float }, ptr %567, i32 0, i32 1
  %571 = load float, ptr %570, align 4
  %572 = load i32, ptr %6, align 4, !tbaa !9
  %573 = zext i32 %572 to i64
  %574 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %573
  %575 = getelementptr inbounds { float, float }, ptr %574, i32 0, i32 0
  %576 = load float, ptr %575, align 8
  %577 = getelementptr inbounds { float, float }, ptr %574, i32 0, i32 1
  %578 = load float, ptr %577, align 4
  %579 = fsub float %569, %576
  %580 = fpext float %579 to double
  %581 = call double @llvm.fmuladd.f64(double %532, double %548, double 0.000000e+00)
  %582 = call double @sqrt(double noundef %581) #5
  %583 = load float, ptr %1, align 4, !tbaa !5
  %584 = fpext float %583 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 391, ptr noundef @.str.65, double noundef %582, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %584)
  br label %586

585:                                              ; preds = %507
  call void (...) @liquid_autotest_passed()
  br label %586

586:                                              ; preds = %585, %516
  %587 = load i32, ptr %6, align 4, !tbaa !9
  %588 = zext i32 %587 to i64
  %589 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %588
  %590 = getelementptr inbounds { float, float }, ptr %589, i32 0, i32 0
  %591 = load float, ptr %590, align 4
  %592 = getelementptr inbounds { float, float }, ptr %589, i32 0, i32 1
  %593 = load float, ptr %592, align 4
  %594 = load i32, ptr %6, align 4, !tbaa !9
  %595 = zext i32 %594 to i64
  %596 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %595
  %597 = getelementptr inbounds { float, float }, ptr %596, i32 0, i32 0
  %598 = load float, ptr %597, align 8
  %599 = getelementptr inbounds { float, float }, ptr %596, i32 0, i32 1
  %600 = load float, ptr %599, align 4
  %601 = fsub float %593, %600
  %602 = fpext float %601 to double
  %603 = load i32, ptr %6, align 4, !tbaa !9
  %604 = zext i32 %603 to i64
  %605 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %604
  %606 = getelementptr inbounds { float, float }, ptr %605, i32 0, i32 0
  %607 = load float, ptr %606, align 4
  %608 = getelementptr inbounds { float, float }, ptr %605, i32 0, i32 1
  %609 = load float, ptr %608, align 4
  %610 = load i32, ptr %6, align 4, !tbaa !9
  %611 = zext i32 %610 to i64
  %612 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %611
  %613 = getelementptr inbounds { float, float }, ptr %612, i32 0, i32 0
  %614 = load float, ptr %613, align 8
  %615 = getelementptr inbounds { float, float }, ptr %612, i32 0, i32 1
  %616 = load float, ptr %615, align 4
  %617 = fsub float %609, %616
  %618 = fpext float %617 to double
  %619 = load i32, ptr %6, align 4, !tbaa !9
  %620 = zext i32 %619 to i64
  %621 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %620
  %622 = getelementptr inbounds { float, float }, ptr %621, i32 0, i32 0
  %623 = load float, ptr %622, align 4
  %624 = getelementptr inbounds { float, float }, ptr %621, i32 0, i32 1
  %625 = load float, ptr %624, align 4
  %626 = load i32, ptr %6, align 4, !tbaa !9
  %627 = zext i32 %626 to i64
  %628 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %627
  %629 = getelementptr inbounds { float, float }, ptr %628, i32 0, i32 0
  %630 = load float, ptr %629, align 8
  %631 = getelementptr inbounds { float, float }, ptr %628, i32 0, i32 1
  %632 = load float, ptr %631, align 4
  %633 = fsub float %625, %632
  %634 = fpext float %633 to double
  %635 = load i32, ptr %6, align 4, !tbaa !9
  %636 = zext i32 %635 to i64
  %637 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %636
  %638 = getelementptr inbounds { float, float }, ptr %637, i32 0, i32 0
  %639 = load float, ptr %638, align 4
  %640 = getelementptr inbounds { float, float }, ptr %637, i32 0, i32 1
  %641 = load float, ptr %640, align 4
  %642 = load i32, ptr %6, align 4, !tbaa !9
  %643 = zext i32 %642 to i64
  %644 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %643
  %645 = getelementptr inbounds { float, float }, ptr %644, i32 0, i32 0
  %646 = load float, ptr %645, align 8
  %647 = getelementptr inbounds { float, float }, ptr %644, i32 0, i32 1
  %648 = load float, ptr %647, align 4
  %649 = fsub float %641, %648
  %650 = fpext float %649 to double
  %651 = call double @llvm.fmuladd.f64(double %602, double %618, double 0.000000e+00)
  %652 = call double @sqrt(double noundef %651) #5
  %653 = load float, ptr %1, align 4, !tbaa !5
  %654 = fpext float %653 to double
  %655 = fcmp ogt double %652, %654
  br i1 %655, label %692, label %656

656:                                              ; preds = %586
  %657 = load i32, ptr %6, align 4, !tbaa !9
  %658 = zext i32 %657 to i64
  %659 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %658
  %660 = getelementptr inbounds { float, float }, ptr %659, i32 0, i32 0
  %661 = load float, ptr %660, align 4
  %662 = getelementptr inbounds { float, float }, ptr %659, i32 0, i32 1
  %663 = load float, ptr %662, align 4
  %664 = call i1 @llvm.is.fpclass.f32(float %663, i32 3)
  br i1 %664, label %692, label %665

665:                                              ; preds = %656
  %666 = load i32, ptr %6, align 4, !tbaa !9
  %667 = zext i32 %666 to i64
  %668 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %667
  %669 = getelementptr inbounds { float, float }, ptr %668, i32 0, i32 0
  %670 = load float, ptr %669, align 4
  %671 = getelementptr inbounds { float, float }, ptr %668, i32 0, i32 1
  %672 = load float, ptr %671, align 4
  %673 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %673, label %692, label %674

674:                                              ; preds = %665
  %675 = load i32, ptr %6, align 4, !tbaa !9
  %676 = zext i32 %675 to i64
  %677 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %676
  %678 = getelementptr inbounds { float, float }, ptr %677, i32 0, i32 0
  %679 = load float, ptr %678, align 8
  %680 = getelementptr inbounds { float, float }, ptr %677, i32 0, i32 1
  %681 = load float, ptr %680, align 4
  %682 = call i1 @llvm.is.fpclass.f32(float %681, i32 3)
  br i1 %682, label %692, label %683

683:                                              ; preds = %674
  %684 = load i32, ptr %6, align 4, !tbaa !9
  %685 = zext i32 %684 to i64
  %686 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %685
  %687 = getelementptr inbounds { float, float }, ptr %686, i32 0, i32 0
  %688 = load float, ptr %687, align 8
  %689 = getelementptr inbounds { float, float }, ptr %686, i32 0, i32 1
  %690 = load float, ptr %689, align 4
  %691 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %691, label %692, label %761

692:                                              ; preds = %683, %674, %665, %656, %586
  %693 = load i32, ptr %6, align 4, !tbaa !9
  %694 = zext i32 %693 to i64
  %695 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %694
  %696 = getelementptr inbounds { float, float }, ptr %695, i32 0, i32 0
  %697 = load float, ptr %696, align 4
  %698 = getelementptr inbounds { float, float }, ptr %695, i32 0, i32 1
  %699 = load float, ptr %698, align 4
  %700 = load i32, ptr %6, align 4, !tbaa !9
  %701 = zext i32 %700 to i64
  %702 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %701
  %703 = getelementptr inbounds { float, float }, ptr %702, i32 0, i32 0
  %704 = load float, ptr %703, align 8
  %705 = getelementptr inbounds { float, float }, ptr %702, i32 0, i32 1
  %706 = load float, ptr %705, align 4
  %707 = fsub float %699, %706
  %708 = fpext float %707 to double
  %709 = load i32, ptr %6, align 4, !tbaa !9
  %710 = zext i32 %709 to i64
  %711 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %710
  %712 = getelementptr inbounds { float, float }, ptr %711, i32 0, i32 0
  %713 = load float, ptr %712, align 4
  %714 = getelementptr inbounds { float, float }, ptr %711, i32 0, i32 1
  %715 = load float, ptr %714, align 4
  %716 = load i32, ptr %6, align 4, !tbaa !9
  %717 = zext i32 %716 to i64
  %718 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %717
  %719 = getelementptr inbounds { float, float }, ptr %718, i32 0, i32 0
  %720 = load float, ptr %719, align 8
  %721 = getelementptr inbounds { float, float }, ptr %718, i32 0, i32 1
  %722 = load float, ptr %721, align 4
  %723 = fsub float %715, %722
  %724 = fpext float %723 to double
  %725 = load i32, ptr %6, align 4, !tbaa !9
  %726 = zext i32 %725 to i64
  %727 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %726
  %728 = getelementptr inbounds { float, float }, ptr %727, i32 0, i32 0
  %729 = load float, ptr %728, align 4
  %730 = getelementptr inbounds { float, float }, ptr %727, i32 0, i32 1
  %731 = load float, ptr %730, align 4
  %732 = load i32, ptr %6, align 4, !tbaa !9
  %733 = zext i32 %732 to i64
  %734 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %733
  %735 = getelementptr inbounds { float, float }, ptr %734, i32 0, i32 0
  %736 = load float, ptr %735, align 8
  %737 = getelementptr inbounds { float, float }, ptr %734, i32 0, i32 1
  %738 = load float, ptr %737, align 4
  %739 = fsub float %731, %738
  %740 = fpext float %739 to double
  %741 = load i32, ptr %6, align 4, !tbaa !9
  %742 = zext i32 %741 to i64
  %743 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %742
  %744 = getelementptr inbounds { float, float }, ptr %743, i32 0, i32 0
  %745 = load float, ptr %744, align 4
  %746 = getelementptr inbounds { float, float }, ptr %743, i32 0, i32 1
  %747 = load float, ptr %746, align 4
  %748 = load i32, ptr %6, align 4, !tbaa !9
  %749 = zext i32 %748 to i64
  %750 = getelementptr inbounds [25 x { float, float }], ptr %3, i64 0, i64 %749
  %751 = getelementptr inbounds { float, float }, ptr %750, i32 0, i32 0
  %752 = load float, ptr %751, align 8
  %753 = getelementptr inbounds { float, float }, ptr %750, i32 0, i32 1
  %754 = load float, ptr %753, align 4
  %755 = fsub float %747, %754
  %756 = fpext float %755 to double
  %757 = call double @llvm.fmuladd.f64(double %708, double %724, double 0.000000e+00)
  %758 = call double @sqrt(double noundef %757) #5
  %759 = load float, ptr %1, align 4, !tbaa !5
  %760 = fpext float %759 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 392, ptr noundef @.str.66, double noundef %758, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %760)
  br label %762

761:                                              ; preds = %683
  call void (...) @liquid_autotest_passed()
  br label %762

762:                                              ; preds = %761, %692
  br label %763

763:                                              ; preds = %762
  %764 = load i32, ptr %6, align 4, !tbaa !9
  %765 = add i32 %764, 1
  store i32 %765, ptr %6, align 4, !tbaa !9
  br label %407, !llvm.loop !13

766:                                              ; preds = %407
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %767

767:                                              ; preds = %1123, %766
  %768 = load i32, ptr %6, align 4, !tbaa !9
  %769 = icmp ult i32 %768, 16
  br i1 %769, label %770, label %1126

770:                                              ; preds = %767
  %771 = load i32, ptr %6, align 4, !tbaa !9
  %772 = zext i32 %771 to i64
  %773 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %772
  %774 = getelementptr inbounds { float, float }, ptr %773, i32 0, i32 0
  %775 = load float, ptr %774, align 4
  %776 = getelementptr inbounds { float, float }, ptr %773, i32 0, i32 1
  %777 = load float, ptr %776, align 4
  %778 = load i32, ptr %6, align 4, !tbaa !9
  %779 = zext i32 %778 to i64
  %780 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %779
  %781 = getelementptr inbounds { float, float }, ptr %780, i32 0, i32 0
  %782 = load float, ptr %781, align 8
  %783 = getelementptr inbounds { float, float }, ptr %780, i32 0, i32 1
  %784 = load float, ptr %783, align 4
  %785 = fsub float %775, %782
  %786 = fpext float %785 to double
  %787 = load i32, ptr %6, align 4, !tbaa !9
  %788 = zext i32 %787 to i64
  %789 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %788
  %790 = getelementptr inbounds { float, float }, ptr %789, i32 0, i32 0
  %791 = load float, ptr %790, align 4
  %792 = getelementptr inbounds { float, float }, ptr %789, i32 0, i32 1
  %793 = load float, ptr %792, align 4
  %794 = load i32, ptr %6, align 4, !tbaa !9
  %795 = zext i32 %794 to i64
  %796 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %795
  %797 = getelementptr inbounds { float, float }, ptr %796, i32 0, i32 0
  %798 = load float, ptr %797, align 8
  %799 = getelementptr inbounds { float, float }, ptr %796, i32 0, i32 1
  %800 = load float, ptr %799, align 4
  %801 = fsub float %791, %798
  %802 = fpext float %801 to double
  %803 = load i32, ptr %6, align 4, !tbaa !9
  %804 = zext i32 %803 to i64
  %805 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %804
  %806 = getelementptr inbounds { float, float }, ptr %805, i32 0, i32 0
  %807 = load float, ptr %806, align 4
  %808 = getelementptr inbounds { float, float }, ptr %805, i32 0, i32 1
  %809 = load float, ptr %808, align 4
  %810 = load i32, ptr %6, align 4, !tbaa !9
  %811 = zext i32 %810 to i64
  %812 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %811
  %813 = getelementptr inbounds { float, float }, ptr %812, i32 0, i32 0
  %814 = load float, ptr %813, align 8
  %815 = getelementptr inbounds { float, float }, ptr %812, i32 0, i32 1
  %816 = load float, ptr %815, align 4
  %817 = fsub float %807, %814
  %818 = fpext float %817 to double
  %819 = load i32, ptr %6, align 4, !tbaa !9
  %820 = zext i32 %819 to i64
  %821 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %820
  %822 = getelementptr inbounds { float, float }, ptr %821, i32 0, i32 0
  %823 = load float, ptr %822, align 4
  %824 = getelementptr inbounds { float, float }, ptr %821, i32 0, i32 1
  %825 = load float, ptr %824, align 4
  %826 = load i32, ptr %6, align 4, !tbaa !9
  %827 = zext i32 %826 to i64
  %828 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %827
  %829 = getelementptr inbounds { float, float }, ptr %828, i32 0, i32 0
  %830 = load float, ptr %829, align 8
  %831 = getelementptr inbounds { float, float }, ptr %828, i32 0, i32 1
  %832 = load float, ptr %831, align 4
  %833 = fsub float %823, %830
  %834 = fpext float %833 to double
  %835 = call double @llvm.fmuladd.f64(double %786, double %802, double 0.000000e+00)
  %836 = call double @sqrt(double noundef %835) #5
  %837 = load float, ptr %1, align 4, !tbaa !5
  %838 = fpext float %837 to double
  %839 = fcmp ogt double %836, %838
  br i1 %839, label %876, label %840

840:                                              ; preds = %770
  %841 = load i32, ptr %6, align 4, !tbaa !9
  %842 = zext i32 %841 to i64
  %843 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %842
  %844 = getelementptr inbounds { float, float }, ptr %843, i32 0, i32 0
  %845 = load float, ptr %844, align 4
  %846 = getelementptr inbounds { float, float }, ptr %843, i32 0, i32 1
  %847 = load float, ptr %846, align 4
  %848 = call i1 @llvm.is.fpclass.f32(float %845, i32 3)
  br i1 %848, label %876, label %849

849:                                              ; preds = %840
  %850 = load i32, ptr %6, align 4, !tbaa !9
  %851 = zext i32 %850 to i64
  %852 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %851
  %853 = getelementptr inbounds { float, float }, ptr %852, i32 0, i32 0
  %854 = load float, ptr %853, align 4
  %855 = getelementptr inbounds { float, float }, ptr %852, i32 0, i32 1
  %856 = load float, ptr %855, align 4
  %857 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %857, label %876, label %858

858:                                              ; preds = %849
  %859 = load i32, ptr %6, align 4, !tbaa !9
  %860 = zext i32 %859 to i64
  %861 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %860
  %862 = getelementptr inbounds { float, float }, ptr %861, i32 0, i32 0
  %863 = load float, ptr %862, align 8
  %864 = getelementptr inbounds { float, float }, ptr %861, i32 0, i32 1
  %865 = load float, ptr %864, align 4
  %866 = call i1 @llvm.is.fpclass.f32(float %863, i32 3)
  br i1 %866, label %876, label %867

867:                                              ; preds = %858
  %868 = load i32, ptr %6, align 4, !tbaa !9
  %869 = zext i32 %868 to i64
  %870 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %869
  %871 = getelementptr inbounds { float, float }, ptr %870, i32 0, i32 0
  %872 = load float, ptr %871, align 8
  %873 = getelementptr inbounds { float, float }, ptr %870, i32 0, i32 1
  %874 = load float, ptr %873, align 4
  %875 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %875, label %876, label %945

876:                                              ; preds = %867, %858, %849, %840, %770
  %877 = load i32, ptr %6, align 4, !tbaa !9
  %878 = zext i32 %877 to i64
  %879 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %878
  %880 = getelementptr inbounds { float, float }, ptr %879, i32 0, i32 0
  %881 = load float, ptr %880, align 4
  %882 = getelementptr inbounds { float, float }, ptr %879, i32 0, i32 1
  %883 = load float, ptr %882, align 4
  %884 = load i32, ptr %6, align 4, !tbaa !9
  %885 = zext i32 %884 to i64
  %886 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %885
  %887 = getelementptr inbounds { float, float }, ptr %886, i32 0, i32 0
  %888 = load float, ptr %887, align 8
  %889 = getelementptr inbounds { float, float }, ptr %886, i32 0, i32 1
  %890 = load float, ptr %889, align 4
  %891 = fsub float %881, %888
  %892 = fpext float %891 to double
  %893 = load i32, ptr %6, align 4, !tbaa !9
  %894 = zext i32 %893 to i64
  %895 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %894
  %896 = getelementptr inbounds { float, float }, ptr %895, i32 0, i32 0
  %897 = load float, ptr %896, align 4
  %898 = getelementptr inbounds { float, float }, ptr %895, i32 0, i32 1
  %899 = load float, ptr %898, align 4
  %900 = load i32, ptr %6, align 4, !tbaa !9
  %901 = zext i32 %900 to i64
  %902 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %901
  %903 = getelementptr inbounds { float, float }, ptr %902, i32 0, i32 0
  %904 = load float, ptr %903, align 8
  %905 = getelementptr inbounds { float, float }, ptr %902, i32 0, i32 1
  %906 = load float, ptr %905, align 4
  %907 = fsub float %897, %904
  %908 = fpext float %907 to double
  %909 = load i32, ptr %6, align 4, !tbaa !9
  %910 = zext i32 %909 to i64
  %911 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %910
  %912 = getelementptr inbounds { float, float }, ptr %911, i32 0, i32 0
  %913 = load float, ptr %912, align 4
  %914 = getelementptr inbounds { float, float }, ptr %911, i32 0, i32 1
  %915 = load float, ptr %914, align 4
  %916 = load i32, ptr %6, align 4, !tbaa !9
  %917 = zext i32 %916 to i64
  %918 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %917
  %919 = getelementptr inbounds { float, float }, ptr %918, i32 0, i32 0
  %920 = load float, ptr %919, align 8
  %921 = getelementptr inbounds { float, float }, ptr %918, i32 0, i32 1
  %922 = load float, ptr %921, align 4
  %923 = fsub float %913, %920
  %924 = fpext float %923 to double
  %925 = load i32, ptr %6, align 4, !tbaa !9
  %926 = zext i32 %925 to i64
  %927 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %926
  %928 = getelementptr inbounds { float, float }, ptr %927, i32 0, i32 0
  %929 = load float, ptr %928, align 4
  %930 = getelementptr inbounds { float, float }, ptr %927, i32 0, i32 1
  %931 = load float, ptr %930, align 4
  %932 = load i32, ptr %6, align 4, !tbaa !9
  %933 = zext i32 %932 to i64
  %934 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %933
  %935 = getelementptr inbounds { float, float }, ptr %934, i32 0, i32 0
  %936 = load float, ptr %935, align 8
  %937 = getelementptr inbounds { float, float }, ptr %934, i32 0, i32 1
  %938 = load float, ptr %937, align 4
  %939 = fsub float %929, %936
  %940 = fpext float %939 to double
  %941 = call double @llvm.fmuladd.f64(double %892, double %908, double 0.000000e+00)
  %942 = call double @sqrt(double noundef %941) #5
  %943 = load float, ptr %1, align 4, !tbaa !5
  %944 = fpext float %943 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 396, ptr noundef @.str.67, double noundef %942, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %944)
  br label %946

945:                                              ; preds = %867
  call void (...) @liquid_autotest_passed()
  br label %946

946:                                              ; preds = %945, %876
  %947 = load i32, ptr %6, align 4, !tbaa !9
  %948 = zext i32 %947 to i64
  %949 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %948
  %950 = getelementptr inbounds { float, float }, ptr %949, i32 0, i32 0
  %951 = load float, ptr %950, align 4
  %952 = getelementptr inbounds { float, float }, ptr %949, i32 0, i32 1
  %953 = load float, ptr %952, align 4
  %954 = load i32, ptr %6, align 4, !tbaa !9
  %955 = zext i32 %954 to i64
  %956 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %955
  %957 = getelementptr inbounds { float, float }, ptr %956, i32 0, i32 0
  %958 = load float, ptr %957, align 8
  %959 = getelementptr inbounds { float, float }, ptr %956, i32 0, i32 1
  %960 = load float, ptr %959, align 4
  %961 = fsub float %953, %960
  %962 = fpext float %961 to double
  %963 = load i32, ptr %6, align 4, !tbaa !9
  %964 = zext i32 %963 to i64
  %965 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %964
  %966 = getelementptr inbounds { float, float }, ptr %965, i32 0, i32 0
  %967 = load float, ptr %966, align 4
  %968 = getelementptr inbounds { float, float }, ptr %965, i32 0, i32 1
  %969 = load float, ptr %968, align 4
  %970 = load i32, ptr %6, align 4, !tbaa !9
  %971 = zext i32 %970 to i64
  %972 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %971
  %973 = getelementptr inbounds { float, float }, ptr %972, i32 0, i32 0
  %974 = load float, ptr %973, align 8
  %975 = getelementptr inbounds { float, float }, ptr %972, i32 0, i32 1
  %976 = load float, ptr %975, align 4
  %977 = fsub float %969, %976
  %978 = fpext float %977 to double
  %979 = load i32, ptr %6, align 4, !tbaa !9
  %980 = zext i32 %979 to i64
  %981 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %980
  %982 = getelementptr inbounds { float, float }, ptr %981, i32 0, i32 0
  %983 = load float, ptr %982, align 4
  %984 = getelementptr inbounds { float, float }, ptr %981, i32 0, i32 1
  %985 = load float, ptr %984, align 4
  %986 = load i32, ptr %6, align 4, !tbaa !9
  %987 = zext i32 %986 to i64
  %988 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %987
  %989 = getelementptr inbounds { float, float }, ptr %988, i32 0, i32 0
  %990 = load float, ptr %989, align 8
  %991 = getelementptr inbounds { float, float }, ptr %988, i32 0, i32 1
  %992 = load float, ptr %991, align 4
  %993 = fsub float %985, %992
  %994 = fpext float %993 to double
  %995 = load i32, ptr %6, align 4, !tbaa !9
  %996 = zext i32 %995 to i64
  %997 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %996
  %998 = getelementptr inbounds { float, float }, ptr %997, i32 0, i32 0
  %999 = load float, ptr %998, align 4
  %1000 = getelementptr inbounds { float, float }, ptr %997, i32 0, i32 1
  %1001 = load float, ptr %1000, align 4
  %1002 = load i32, ptr %6, align 4, !tbaa !9
  %1003 = zext i32 %1002 to i64
  %1004 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %1003
  %1005 = getelementptr inbounds { float, float }, ptr %1004, i32 0, i32 0
  %1006 = load float, ptr %1005, align 8
  %1007 = getelementptr inbounds { float, float }, ptr %1004, i32 0, i32 1
  %1008 = load float, ptr %1007, align 4
  %1009 = fsub float %1001, %1008
  %1010 = fpext float %1009 to double
  %1011 = call double @llvm.fmuladd.f64(double %962, double %978, double 0.000000e+00)
  %1012 = call double @sqrt(double noundef %1011) #5
  %1013 = load float, ptr %1, align 4, !tbaa !5
  %1014 = fpext float %1013 to double
  %1015 = fcmp ogt double %1012, %1014
  br i1 %1015, label %1052, label %1016

1016:                                             ; preds = %946
  %1017 = load i32, ptr %6, align 4, !tbaa !9
  %1018 = zext i32 %1017 to i64
  %1019 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %1018
  %1020 = getelementptr inbounds { float, float }, ptr %1019, i32 0, i32 0
  %1021 = load float, ptr %1020, align 4
  %1022 = getelementptr inbounds { float, float }, ptr %1019, i32 0, i32 1
  %1023 = load float, ptr %1022, align 4
  %1024 = call i1 @llvm.is.fpclass.f32(float %1023, i32 3)
  br i1 %1024, label %1052, label %1025

1025:                                             ; preds = %1016
  %1026 = load i32, ptr %6, align 4, !tbaa !9
  %1027 = zext i32 %1026 to i64
  %1028 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %1027
  %1029 = getelementptr inbounds { float, float }, ptr %1028, i32 0, i32 0
  %1030 = load float, ptr %1029, align 4
  %1031 = getelementptr inbounds { float, float }, ptr %1028, i32 0, i32 1
  %1032 = load float, ptr %1031, align 4
  %1033 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %1033, label %1052, label %1034

1034:                                             ; preds = %1025
  %1035 = load i32, ptr %6, align 4, !tbaa !9
  %1036 = zext i32 %1035 to i64
  %1037 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %1036
  %1038 = getelementptr inbounds { float, float }, ptr %1037, i32 0, i32 0
  %1039 = load float, ptr %1038, align 8
  %1040 = getelementptr inbounds { float, float }, ptr %1037, i32 0, i32 1
  %1041 = load float, ptr %1040, align 4
  %1042 = call i1 @llvm.is.fpclass.f32(float %1041, i32 3)
  br i1 %1042, label %1052, label %1043

1043:                                             ; preds = %1034
  %1044 = load i32, ptr %6, align 4, !tbaa !9
  %1045 = zext i32 %1044 to i64
  %1046 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %1045
  %1047 = getelementptr inbounds { float, float }, ptr %1046, i32 0, i32 0
  %1048 = load float, ptr %1047, align 8
  %1049 = getelementptr inbounds { float, float }, ptr %1046, i32 0, i32 1
  %1050 = load float, ptr %1049, align 4
  %1051 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %1051, label %1052, label %1121

1052:                                             ; preds = %1043, %1034, %1025, %1016, %946
  %1053 = load i32, ptr %6, align 4, !tbaa !9
  %1054 = zext i32 %1053 to i64
  %1055 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %1054
  %1056 = getelementptr inbounds { float, float }, ptr %1055, i32 0, i32 0
  %1057 = load float, ptr %1056, align 4
  %1058 = getelementptr inbounds { float, float }, ptr %1055, i32 0, i32 1
  %1059 = load float, ptr %1058, align 4
  %1060 = load i32, ptr %6, align 4, !tbaa !9
  %1061 = zext i32 %1060 to i64
  %1062 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %1061
  %1063 = getelementptr inbounds { float, float }, ptr %1062, i32 0, i32 0
  %1064 = load float, ptr %1063, align 8
  %1065 = getelementptr inbounds { float, float }, ptr %1062, i32 0, i32 1
  %1066 = load float, ptr %1065, align 4
  %1067 = fsub float %1059, %1066
  %1068 = fpext float %1067 to double
  %1069 = load i32, ptr %6, align 4, !tbaa !9
  %1070 = zext i32 %1069 to i64
  %1071 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %1070
  %1072 = getelementptr inbounds { float, float }, ptr %1071, i32 0, i32 0
  %1073 = load float, ptr %1072, align 4
  %1074 = getelementptr inbounds { float, float }, ptr %1071, i32 0, i32 1
  %1075 = load float, ptr %1074, align 4
  %1076 = load i32, ptr %6, align 4, !tbaa !9
  %1077 = zext i32 %1076 to i64
  %1078 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %1077
  %1079 = getelementptr inbounds { float, float }, ptr %1078, i32 0, i32 0
  %1080 = load float, ptr %1079, align 8
  %1081 = getelementptr inbounds { float, float }, ptr %1078, i32 0, i32 1
  %1082 = load float, ptr %1081, align 4
  %1083 = fsub float %1075, %1082
  %1084 = fpext float %1083 to double
  %1085 = load i32, ptr %6, align 4, !tbaa !9
  %1086 = zext i32 %1085 to i64
  %1087 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %1086
  %1088 = getelementptr inbounds { float, float }, ptr %1087, i32 0, i32 0
  %1089 = load float, ptr %1088, align 4
  %1090 = getelementptr inbounds { float, float }, ptr %1087, i32 0, i32 1
  %1091 = load float, ptr %1090, align 4
  %1092 = load i32, ptr %6, align 4, !tbaa !9
  %1093 = zext i32 %1092 to i64
  %1094 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %1093
  %1095 = getelementptr inbounds { float, float }, ptr %1094, i32 0, i32 0
  %1096 = load float, ptr %1095, align 8
  %1097 = getelementptr inbounds { float, float }, ptr %1094, i32 0, i32 1
  %1098 = load float, ptr %1097, align 4
  %1099 = fsub float %1091, %1098
  %1100 = fpext float %1099 to double
  %1101 = load i32, ptr %6, align 4, !tbaa !9
  %1102 = zext i32 %1101 to i64
  %1103 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %1102
  %1104 = getelementptr inbounds { float, float }, ptr %1103, i32 0, i32 0
  %1105 = load float, ptr %1104, align 4
  %1106 = getelementptr inbounds { float, float }, ptr %1103, i32 0, i32 1
  %1107 = load float, ptr %1106, align 4
  %1108 = load i32, ptr %6, align 4, !tbaa !9
  %1109 = zext i32 %1108 to i64
  %1110 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %1109
  %1111 = getelementptr inbounds { float, float }, ptr %1110, i32 0, i32 0
  %1112 = load float, ptr %1111, align 8
  %1113 = getelementptr inbounds { float, float }, ptr %1110, i32 0, i32 1
  %1114 = load float, ptr %1113, align 4
  %1115 = fsub float %1107, %1114
  %1116 = fpext float %1115 to double
  %1117 = call double @llvm.fmuladd.f64(double %1068, double %1084, double 0.000000e+00)
  %1118 = call double @sqrt(double noundef %1117) #5
  %1119 = load float, ptr %1, align 4, !tbaa !5
  %1120 = fpext float %1119 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 397, ptr noundef @.str.68, double noundef %1118, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %1120)
  br label %1122

1121:                                             ; preds = %1043
  call void (...) @liquid_autotest_passed()
  br label %1122

1122:                                             ; preds = %1121, %1052
  br label %1123

1123:                                             ; preds = %1122
  %1124 = load i32, ptr %6, align 4, !tbaa !9
  %1125 = add i32 %1124, 1
  store i32 %1125, ptr %6, align 4, !tbaa !9
  br label %767, !llvm.loop !14

1126:                                             ; preds = %767
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %1127

1127:                                             ; preds = %1483, %1126
  %1128 = load i32, ptr %6, align 4, !tbaa !9
  %1129 = icmp ult i32 %1128, 16
  br i1 %1129, label %1130, label %1486

1130:                                             ; preds = %1127
  %1131 = load i32, ptr %6, align 4, !tbaa !9
  %1132 = zext i32 %1131 to i64
  %1133 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1132
  %1134 = getelementptr inbounds { float, float }, ptr %1133, i32 0, i32 0
  %1135 = load float, ptr %1134, align 4
  %1136 = getelementptr inbounds { float, float }, ptr %1133, i32 0, i32 1
  %1137 = load float, ptr %1136, align 4
  %1138 = load i32, ptr %6, align 4, !tbaa !9
  %1139 = zext i32 %1138 to i64
  %1140 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1139
  %1141 = getelementptr inbounds { float, float }, ptr %1140, i32 0, i32 0
  %1142 = load float, ptr %1141, align 8
  %1143 = getelementptr inbounds { float, float }, ptr %1140, i32 0, i32 1
  %1144 = load float, ptr %1143, align 4
  %1145 = fsub float %1135, %1142
  %1146 = fpext float %1145 to double
  %1147 = load i32, ptr %6, align 4, !tbaa !9
  %1148 = zext i32 %1147 to i64
  %1149 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1148
  %1150 = getelementptr inbounds { float, float }, ptr %1149, i32 0, i32 0
  %1151 = load float, ptr %1150, align 4
  %1152 = getelementptr inbounds { float, float }, ptr %1149, i32 0, i32 1
  %1153 = load float, ptr %1152, align 4
  %1154 = load i32, ptr %6, align 4, !tbaa !9
  %1155 = zext i32 %1154 to i64
  %1156 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1155
  %1157 = getelementptr inbounds { float, float }, ptr %1156, i32 0, i32 0
  %1158 = load float, ptr %1157, align 8
  %1159 = getelementptr inbounds { float, float }, ptr %1156, i32 0, i32 1
  %1160 = load float, ptr %1159, align 4
  %1161 = fsub float %1151, %1158
  %1162 = fpext float %1161 to double
  %1163 = load i32, ptr %6, align 4, !tbaa !9
  %1164 = zext i32 %1163 to i64
  %1165 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1164
  %1166 = getelementptr inbounds { float, float }, ptr %1165, i32 0, i32 0
  %1167 = load float, ptr %1166, align 4
  %1168 = getelementptr inbounds { float, float }, ptr %1165, i32 0, i32 1
  %1169 = load float, ptr %1168, align 4
  %1170 = load i32, ptr %6, align 4, !tbaa !9
  %1171 = zext i32 %1170 to i64
  %1172 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1171
  %1173 = getelementptr inbounds { float, float }, ptr %1172, i32 0, i32 0
  %1174 = load float, ptr %1173, align 8
  %1175 = getelementptr inbounds { float, float }, ptr %1172, i32 0, i32 1
  %1176 = load float, ptr %1175, align 4
  %1177 = fsub float %1167, %1174
  %1178 = fpext float %1177 to double
  %1179 = load i32, ptr %6, align 4, !tbaa !9
  %1180 = zext i32 %1179 to i64
  %1181 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1180
  %1182 = getelementptr inbounds { float, float }, ptr %1181, i32 0, i32 0
  %1183 = load float, ptr %1182, align 4
  %1184 = getelementptr inbounds { float, float }, ptr %1181, i32 0, i32 1
  %1185 = load float, ptr %1184, align 4
  %1186 = load i32, ptr %6, align 4, !tbaa !9
  %1187 = zext i32 %1186 to i64
  %1188 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1187
  %1189 = getelementptr inbounds { float, float }, ptr %1188, i32 0, i32 0
  %1190 = load float, ptr %1189, align 8
  %1191 = getelementptr inbounds { float, float }, ptr %1188, i32 0, i32 1
  %1192 = load float, ptr %1191, align 4
  %1193 = fsub float %1183, %1190
  %1194 = fpext float %1193 to double
  %1195 = call double @llvm.fmuladd.f64(double %1146, double %1162, double 0.000000e+00)
  %1196 = call double @sqrt(double noundef %1195) #5
  %1197 = load float, ptr %1, align 4, !tbaa !5
  %1198 = fpext float %1197 to double
  %1199 = fcmp ogt double %1196, %1198
  br i1 %1199, label %1236, label %1200

1200:                                             ; preds = %1130
  %1201 = load i32, ptr %6, align 4, !tbaa !9
  %1202 = zext i32 %1201 to i64
  %1203 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1202
  %1204 = getelementptr inbounds { float, float }, ptr %1203, i32 0, i32 0
  %1205 = load float, ptr %1204, align 4
  %1206 = getelementptr inbounds { float, float }, ptr %1203, i32 0, i32 1
  %1207 = load float, ptr %1206, align 4
  %1208 = call i1 @llvm.is.fpclass.f32(float %1205, i32 3)
  br i1 %1208, label %1236, label %1209

1209:                                             ; preds = %1200
  %1210 = load i32, ptr %6, align 4, !tbaa !9
  %1211 = zext i32 %1210 to i64
  %1212 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1211
  %1213 = getelementptr inbounds { float, float }, ptr %1212, i32 0, i32 0
  %1214 = load float, ptr %1213, align 4
  %1215 = getelementptr inbounds { float, float }, ptr %1212, i32 0, i32 1
  %1216 = load float, ptr %1215, align 4
  %1217 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %1217, label %1236, label %1218

1218:                                             ; preds = %1209
  %1219 = load i32, ptr %6, align 4, !tbaa !9
  %1220 = zext i32 %1219 to i64
  %1221 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1220
  %1222 = getelementptr inbounds { float, float }, ptr %1221, i32 0, i32 0
  %1223 = load float, ptr %1222, align 8
  %1224 = getelementptr inbounds { float, float }, ptr %1221, i32 0, i32 1
  %1225 = load float, ptr %1224, align 4
  %1226 = call i1 @llvm.is.fpclass.f32(float %1223, i32 3)
  br i1 %1226, label %1236, label %1227

1227:                                             ; preds = %1218
  %1228 = load i32, ptr %6, align 4, !tbaa !9
  %1229 = zext i32 %1228 to i64
  %1230 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1229
  %1231 = getelementptr inbounds { float, float }, ptr %1230, i32 0, i32 0
  %1232 = load float, ptr %1231, align 8
  %1233 = getelementptr inbounds { float, float }, ptr %1230, i32 0, i32 1
  %1234 = load float, ptr %1233, align 4
  %1235 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %1235, label %1236, label %1305

1236:                                             ; preds = %1227, %1218, %1209, %1200, %1130
  %1237 = load i32, ptr %6, align 4, !tbaa !9
  %1238 = zext i32 %1237 to i64
  %1239 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1238
  %1240 = getelementptr inbounds { float, float }, ptr %1239, i32 0, i32 0
  %1241 = load float, ptr %1240, align 4
  %1242 = getelementptr inbounds { float, float }, ptr %1239, i32 0, i32 1
  %1243 = load float, ptr %1242, align 4
  %1244 = load i32, ptr %6, align 4, !tbaa !9
  %1245 = zext i32 %1244 to i64
  %1246 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1245
  %1247 = getelementptr inbounds { float, float }, ptr %1246, i32 0, i32 0
  %1248 = load float, ptr %1247, align 8
  %1249 = getelementptr inbounds { float, float }, ptr %1246, i32 0, i32 1
  %1250 = load float, ptr %1249, align 4
  %1251 = fsub float %1241, %1248
  %1252 = fpext float %1251 to double
  %1253 = load i32, ptr %6, align 4, !tbaa !9
  %1254 = zext i32 %1253 to i64
  %1255 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1254
  %1256 = getelementptr inbounds { float, float }, ptr %1255, i32 0, i32 0
  %1257 = load float, ptr %1256, align 4
  %1258 = getelementptr inbounds { float, float }, ptr %1255, i32 0, i32 1
  %1259 = load float, ptr %1258, align 4
  %1260 = load i32, ptr %6, align 4, !tbaa !9
  %1261 = zext i32 %1260 to i64
  %1262 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1261
  %1263 = getelementptr inbounds { float, float }, ptr %1262, i32 0, i32 0
  %1264 = load float, ptr %1263, align 8
  %1265 = getelementptr inbounds { float, float }, ptr %1262, i32 0, i32 1
  %1266 = load float, ptr %1265, align 4
  %1267 = fsub float %1257, %1264
  %1268 = fpext float %1267 to double
  %1269 = load i32, ptr %6, align 4, !tbaa !9
  %1270 = zext i32 %1269 to i64
  %1271 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1270
  %1272 = getelementptr inbounds { float, float }, ptr %1271, i32 0, i32 0
  %1273 = load float, ptr %1272, align 4
  %1274 = getelementptr inbounds { float, float }, ptr %1271, i32 0, i32 1
  %1275 = load float, ptr %1274, align 4
  %1276 = load i32, ptr %6, align 4, !tbaa !9
  %1277 = zext i32 %1276 to i64
  %1278 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1277
  %1279 = getelementptr inbounds { float, float }, ptr %1278, i32 0, i32 0
  %1280 = load float, ptr %1279, align 8
  %1281 = getelementptr inbounds { float, float }, ptr %1278, i32 0, i32 1
  %1282 = load float, ptr %1281, align 4
  %1283 = fsub float %1273, %1280
  %1284 = fpext float %1283 to double
  %1285 = load i32, ptr %6, align 4, !tbaa !9
  %1286 = zext i32 %1285 to i64
  %1287 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1286
  %1288 = getelementptr inbounds { float, float }, ptr %1287, i32 0, i32 0
  %1289 = load float, ptr %1288, align 4
  %1290 = getelementptr inbounds { float, float }, ptr %1287, i32 0, i32 1
  %1291 = load float, ptr %1290, align 4
  %1292 = load i32, ptr %6, align 4, !tbaa !9
  %1293 = zext i32 %1292 to i64
  %1294 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1293
  %1295 = getelementptr inbounds { float, float }, ptr %1294, i32 0, i32 0
  %1296 = load float, ptr %1295, align 8
  %1297 = getelementptr inbounds { float, float }, ptr %1294, i32 0, i32 1
  %1298 = load float, ptr %1297, align 4
  %1299 = fsub float %1289, %1296
  %1300 = fpext float %1299 to double
  %1301 = call double @llvm.fmuladd.f64(double %1252, double %1268, double 0.000000e+00)
  %1302 = call double @sqrt(double noundef %1301) #5
  %1303 = load float, ptr %1, align 4, !tbaa !5
  %1304 = fpext float %1303 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 401, ptr noundef @.str.69, double noundef %1302, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %1304)
  br label %1306

1305:                                             ; preds = %1227
  call void (...) @liquid_autotest_passed()
  br label %1306

1306:                                             ; preds = %1305, %1236
  %1307 = load i32, ptr %6, align 4, !tbaa !9
  %1308 = zext i32 %1307 to i64
  %1309 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1308
  %1310 = getelementptr inbounds { float, float }, ptr %1309, i32 0, i32 0
  %1311 = load float, ptr %1310, align 4
  %1312 = getelementptr inbounds { float, float }, ptr %1309, i32 0, i32 1
  %1313 = load float, ptr %1312, align 4
  %1314 = load i32, ptr %6, align 4, !tbaa !9
  %1315 = zext i32 %1314 to i64
  %1316 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1315
  %1317 = getelementptr inbounds { float, float }, ptr %1316, i32 0, i32 0
  %1318 = load float, ptr %1317, align 8
  %1319 = getelementptr inbounds { float, float }, ptr %1316, i32 0, i32 1
  %1320 = load float, ptr %1319, align 4
  %1321 = fsub float %1313, %1320
  %1322 = fpext float %1321 to double
  %1323 = load i32, ptr %6, align 4, !tbaa !9
  %1324 = zext i32 %1323 to i64
  %1325 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1324
  %1326 = getelementptr inbounds { float, float }, ptr %1325, i32 0, i32 0
  %1327 = load float, ptr %1326, align 4
  %1328 = getelementptr inbounds { float, float }, ptr %1325, i32 0, i32 1
  %1329 = load float, ptr %1328, align 4
  %1330 = load i32, ptr %6, align 4, !tbaa !9
  %1331 = zext i32 %1330 to i64
  %1332 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1331
  %1333 = getelementptr inbounds { float, float }, ptr %1332, i32 0, i32 0
  %1334 = load float, ptr %1333, align 8
  %1335 = getelementptr inbounds { float, float }, ptr %1332, i32 0, i32 1
  %1336 = load float, ptr %1335, align 4
  %1337 = fsub float %1329, %1336
  %1338 = fpext float %1337 to double
  %1339 = load i32, ptr %6, align 4, !tbaa !9
  %1340 = zext i32 %1339 to i64
  %1341 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1340
  %1342 = getelementptr inbounds { float, float }, ptr %1341, i32 0, i32 0
  %1343 = load float, ptr %1342, align 4
  %1344 = getelementptr inbounds { float, float }, ptr %1341, i32 0, i32 1
  %1345 = load float, ptr %1344, align 4
  %1346 = load i32, ptr %6, align 4, !tbaa !9
  %1347 = zext i32 %1346 to i64
  %1348 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1347
  %1349 = getelementptr inbounds { float, float }, ptr %1348, i32 0, i32 0
  %1350 = load float, ptr %1349, align 8
  %1351 = getelementptr inbounds { float, float }, ptr %1348, i32 0, i32 1
  %1352 = load float, ptr %1351, align 4
  %1353 = fsub float %1345, %1352
  %1354 = fpext float %1353 to double
  %1355 = load i32, ptr %6, align 4, !tbaa !9
  %1356 = zext i32 %1355 to i64
  %1357 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1356
  %1358 = getelementptr inbounds { float, float }, ptr %1357, i32 0, i32 0
  %1359 = load float, ptr %1358, align 4
  %1360 = getelementptr inbounds { float, float }, ptr %1357, i32 0, i32 1
  %1361 = load float, ptr %1360, align 4
  %1362 = load i32, ptr %6, align 4, !tbaa !9
  %1363 = zext i32 %1362 to i64
  %1364 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1363
  %1365 = getelementptr inbounds { float, float }, ptr %1364, i32 0, i32 0
  %1366 = load float, ptr %1365, align 8
  %1367 = getelementptr inbounds { float, float }, ptr %1364, i32 0, i32 1
  %1368 = load float, ptr %1367, align 4
  %1369 = fsub float %1361, %1368
  %1370 = fpext float %1369 to double
  %1371 = call double @llvm.fmuladd.f64(double %1322, double %1338, double 0.000000e+00)
  %1372 = call double @sqrt(double noundef %1371) #5
  %1373 = load float, ptr %1, align 4, !tbaa !5
  %1374 = fpext float %1373 to double
  %1375 = fcmp ogt double %1372, %1374
  br i1 %1375, label %1412, label %1376

1376:                                             ; preds = %1306
  %1377 = load i32, ptr %6, align 4, !tbaa !9
  %1378 = zext i32 %1377 to i64
  %1379 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1378
  %1380 = getelementptr inbounds { float, float }, ptr %1379, i32 0, i32 0
  %1381 = load float, ptr %1380, align 4
  %1382 = getelementptr inbounds { float, float }, ptr %1379, i32 0, i32 1
  %1383 = load float, ptr %1382, align 4
  %1384 = call i1 @llvm.is.fpclass.f32(float %1383, i32 3)
  br i1 %1384, label %1412, label %1385

1385:                                             ; preds = %1376
  %1386 = load i32, ptr %6, align 4, !tbaa !9
  %1387 = zext i32 %1386 to i64
  %1388 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1387
  %1389 = getelementptr inbounds { float, float }, ptr %1388, i32 0, i32 0
  %1390 = load float, ptr %1389, align 4
  %1391 = getelementptr inbounds { float, float }, ptr %1388, i32 0, i32 1
  %1392 = load float, ptr %1391, align 4
  %1393 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %1393, label %1412, label %1394

1394:                                             ; preds = %1385
  %1395 = load i32, ptr %6, align 4, !tbaa !9
  %1396 = zext i32 %1395 to i64
  %1397 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1396
  %1398 = getelementptr inbounds { float, float }, ptr %1397, i32 0, i32 0
  %1399 = load float, ptr %1398, align 8
  %1400 = getelementptr inbounds { float, float }, ptr %1397, i32 0, i32 1
  %1401 = load float, ptr %1400, align 4
  %1402 = call i1 @llvm.is.fpclass.f32(float %1401, i32 3)
  br i1 %1402, label %1412, label %1403

1403:                                             ; preds = %1394
  %1404 = load i32, ptr %6, align 4, !tbaa !9
  %1405 = zext i32 %1404 to i64
  %1406 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1405
  %1407 = getelementptr inbounds { float, float }, ptr %1406, i32 0, i32 0
  %1408 = load float, ptr %1407, align 8
  %1409 = getelementptr inbounds { float, float }, ptr %1406, i32 0, i32 1
  %1410 = load float, ptr %1409, align 4
  %1411 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %1411, label %1412, label %1481

1412:                                             ; preds = %1403, %1394, %1385, %1376, %1306
  %1413 = load i32, ptr %6, align 4, !tbaa !9
  %1414 = zext i32 %1413 to i64
  %1415 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1414
  %1416 = getelementptr inbounds { float, float }, ptr %1415, i32 0, i32 0
  %1417 = load float, ptr %1416, align 4
  %1418 = getelementptr inbounds { float, float }, ptr %1415, i32 0, i32 1
  %1419 = load float, ptr %1418, align 4
  %1420 = load i32, ptr %6, align 4, !tbaa !9
  %1421 = zext i32 %1420 to i64
  %1422 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1421
  %1423 = getelementptr inbounds { float, float }, ptr %1422, i32 0, i32 0
  %1424 = load float, ptr %1423, align 8
  %1425 = getelementptr inbounds { float, float }, ptr %1422, i32 0, i32 1
  %1426 = load float, ptr %1425, align 4
  %1427 = fsub float %1419, %1426
  %1428 = fpext float %1427 to double
  %1429 = load i32, ptr %6, align 4, !tbaa !9
  %1430 = zext i32 %1429 to i64
  %1431 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1430
  %1432 = getelementptr inbounds { float, float }, ptr %1431, i32 0, i32 0
  %1433 = load float, ptr %1432, align 4
  %1434 = getelementptr inbounds { float, float }, ptr %1431, i32 0, i32 1
  %1435 = load float, ptr %1434, align 4
  %1436 = load i32, ptr %6, align 4, !tbaa !9
  %1437 = zext i32 %1436 to i64
  %1438 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1437
  %1439 = getelementptr inbounds { float, float }, ptr %1438, i32 0, i32 0
  %1440 = load float, ptr %1439, align 8
  %1441 = getelementptr inbounds { float, float }, ptr %1438, i32 0, i32 1
  %1442 = load float, ptr %1441, align 4
  %1443 = fsub float %1435, %1442
  %1444 = fpext float %1443 to double
  %1445 = load i32, ptr %6, align 4, !tbaa !9
  %1446 = zext i32 %1445 to i64
  %1447 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1446
  %1448 = getelementptr inbounds { float, float }, ptr %1447, i32 0, i32 0
  %1449 = load float, ptr %1448, align 4
  %1450 = getelementptr inbounds { float, float }, ptr %1447, i32 0, i32 1
  %1451 = load float, ptr %1450, align 4
  %1452 = load i32, ptr %6, align 4, !tbaa !9
  %1453 = zext i32 %1452 to i64
  %1454 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1453
  %1455 = getelementptr inbounds { float, float }, ptr %1454, i32 0, i32 0
  %1456 = load float, ptr %1455, align 8
  %1457 = getelementptr inbounds { float, float }, ptr %1454, i32 0, i32 1
  %1458 = load float, ptr %1457, align 4
  %1459 = fsub float %1451, %1458
  %1460 = fpext float %1459 to double
  %1461 = load i32, ptr %6, align 4, !tbaa !9
  %1462 = zext i32 %1461 to i64
  %1463 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %1462
  %1464 = getelementptr inbounds { float, float }, ptr %1463, i32 0, i32 0
  %1465 = load float, ptr %1464, align 4
  %1466 = getelementptr inbounds { float, float }, ptr %1463, i32 0, i32 1
  %1467 = load float, ptr %1466, align 4
  %1468 = load i32, ptr %6, align 4, !tbaa !9
  %1469 = zext i32 %1468 to i64
  %1470 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %1469
  %1471 = getelementptr inbounds { float, float }, ptr %1470, i32 0, i32 0
  %1472 = load float, ptr %1471, align 8
  %1473 = getelementptr inbounds { float, float }, ptr %1470, i32 0, i32 1
  %1474 = load float, ptr %1473, align 4
  %1475 = fsub float %1467, %1474
  %1476 = fpext float %1475 to double
  %1477 = call double @llvm.fmuladd.f64(double %1428, double %1444, double 0.000000e+00)
  %1478 = call double @sqrt(double noundef %1477) #5
  %1479 = load float, ptr %1, align 4, !tbaa !5
  %1480 = fpext float %1479 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 402, ptr noundef @.str.70, double noundef %1478, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %1480)
  br label %1482

1481:                                             ; preds = %1403
  call void (...) @liquid_autotest_passed()
  br label %1482

1482:                                             ; preds = %1481, %1412
  br label %1483

1483:                                             ; preds = %1482
  %1484 = load i32, ptr %6, align 4, !tbaa !9
  %1485 = add i32 %1484, 1
  store i32 %1485, ptr %6, align 4, !tbaa !9
  br label %1127, !llvm.loop !15

1486:                                             ; preds = %1127
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 128, ptr %5) #5
  call void @llvm.lifetime.end.p0(i64 128, ptr %4) #5
  call void @llvm.lifetime.end.p0(i64 200, ptr %3) #5
  call void @llvm.lifetime.end.p0(i64 200, ptr %2) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #5
  ret void
}

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

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

declare i32 @matrixcf_hermitian_mul(ptr noundef, i32 noundef, i32 noundef, ptr 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}
!15 = distinct !{!15, !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 [91 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.6 = external hidden unnamed_addr constant [6 x i8], align 1
@matrixcf_data_transmul_x = external global [0 x { float, float }], align 4
@.str.53 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixcf_data_transmul_xxT = external global [0 x { float, float }], align 4
@.str.57 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixcf_data_transmul_xxH = external global [0 x { float, float }], align 4
@.str.59 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixcf_data_transmul_xTx = external global [0 x { float, float }], align 4
@.str.61 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixcf_data_transmul_xHx = external global [0 x { float, float }], align 4
@.str.63 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [62 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [62 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 @matrixcf_print(ptr noundef, i32 noundef, i32 noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
define dso_local void @autotest_matrixcf_transmul() local_unnamed_addr #4 {
  %1 = alloca [25 x { float, float }], align 16
  %2 = alloca [25 x { float, float }], align 16
  %3 = alloca [16 x { float, float }], align 16
  %4 = alloca [16 x { float, float }], align 16
  call void @llvm.lifetime.start.p0(i64 200, ptr nonnull %1) #6
  call void @llvm.lifetime.start.p0(i64 200, ptr nonnull %2) #6
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %3) #6
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %4) #6
  %5 = call i32 @matrixcf_mul_transpose(ptr noundef nonnull @matrixcf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef nonnull %1) #6
  %6 = call i32 @matrixcf_mul_hermitian(ptr noundef nonnull @matrixcf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef nonnull %2) #6
  %7 = call i32 @matrixcf_transpose_mul(ptr noundef nonnull @matrixcf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef nonnull %3) #6
  %8 = call i32 @matrixcf_hermitian_mul(ptr noundef nonnull @matrixcf_data_transmul_x, i32 noundef 5, 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 %.preheader232, label %10

10:                                               ; preds = %0
  %11 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.53)
  %12 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.6)
  %13 = call i32 @matrixcf_print(ptr noundef nonnull @matrixcf_data_transmul_x, i32 noundef 5, i32 noundef 4) #6
  %14 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.54)
  %15 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.55)
  %16 = call i32 @matrixcf_print(ptr noundef nonnull %1, i32 noundef 5, i32 noundef 5) #6
  %17 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.56)
  %18 = call i32 @matrixcf_print(ptr noundef nonnull @matrixcf_data_transmul_xxT, i32 noundef 5, i32 noundef 5) #6
  %19 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.54)
  %20 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.57)
  %21 = call i32 @matrixcf_print(ptr noundef nonnull %2, i32 noundef 5, i32 noundef 5) #6
  %22 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.58)
  %23 = call i32 @matrixcf_print(ptr noundef nonnull @matrixcf_data_transmul_xxH, i32 noundef 5, i32 noundef 5) #6
  %24 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.54)
  %25 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.59)
  %26 = call i32 @matrixcf_print(ptr noundef nonnull %3, i32 noundef 4, i32 noundef 4) #6
  %27 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.60)
  %28 = call i32 @matrixcf_print(ptr noundef nonnull @matrixcf_data_transmul_xTx, i32 noundef 4, i32 noundef 4) #6
  %29 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.54)
  %30 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.61)
  %31 = call i32 @matrixcf_print(ptr noundef nonnull %4, i32 noundef 4, i32 noundef 4) #6
  %32 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.62)
  %33 = call i32 @matrixcf_print(ptr noundef nonnull @matrixcf_data_transmul_xHx, i32 noundef 4, i32 noundef 4) #6
  %34 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.54)
  br label %.preheader232

.preheader232:                                    ; preds = %10, %0
  br label %35

35:                                               ; preds = %.preheader232, %61
  %indvars.iv = phi i64 [ %indvars.iv.next, %61 ], [ 0, %.preheader232 ]
  %36 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxT, i64 0, i64 %indvars.iv
  %37 = load float, ptr %36, align 4
  %38 = getelementptr inbounds i8, ptr %36, i64 4
  %39 = getelementptr inbounds [25 x { float, float }], ptr %1, i64 0, i64 %indvars.iv
  %40 = load float, ptr %39, align 8
  %41 = getelementptr inbounds i8, ptr %39, i64 4
  %42 = fsub float %37, %40
  %43 = fpext float %42 to double
  %44 = call double @llvm.fmuladd.f64(double %43, double %43, double 0.000000e+00)
  %sqrt = call double @llvm.sqrt.f64(double %44)
  %45 = fcmp ogt double %sqrt, 0x3F1A36E2E0000000
  %46 = fcmp uno float %37, 0.000000e+00
  %or.cond = select i1 %45, i1 true, i1 %46
  %47 = fcmp uno float %40, 0.000000e+00
  %or.cond217 = select i1 %or.cond, i1 true, i1 %47
  br i1 %or.cond217, label %48, label %49

48:                                               ; preds = %35
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 386, ptr noundef nonnull @.str.63, double noundef %sqrt, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %50

49:                                               ; preds = %35
  call void (...) @liquid_autotest_passed() #6
  br label %50

50:                                               ; preds = %49, %48
  %51 = load float, ptr %38, align 4
  %52 = load float, ptr %41, align 4
  %53 = fsub float %51, %52
  %54 = fpext float %53 to double
  %55 = call double @llvm.fmuladd.f64(double %54, double %54, double 0.000000e+00)
  %sqrt184 = call double @llvm.sqrt.f64(double %55)
  %56 = fcmp ogt double %sqrt184, 0x3F1A36E2E0000000
  %57 = fcmp uno float %51, 0.000000e+00
  %or.cond218 = select i1 %56, i1 true, i1 %57
  %58 = fcmp uno float %52, 0.000000e+00
  %or.cond219 = select i1 %or.cond218, i1 true, i1 %58
  br i1 %or.cond219, label %59, label %60

59:                                               ; preds = %50
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 387, ptr noundef nonnull @.str.64, double noundef %sqrt184, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %61

60:                                               ; preds = %50
  call void (...) @liquid_autotest_passed() #6
  br label %61

61:                                               ; preds = %59, %60
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 25
  br i1 %exitcond.not, label %.preheader199, label %35, !llvm.loop !9

.preheader199:                                    ; preds = %61, %87
  %indvars.iv205 = phi i64 [ %indvars.iv.next206, %87 ], [ 0, %61 ]
  %62 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xxH, i64 0, i64 %indvars.iv205
  %63 = load float, ptr %62, align 4
  %64 = getelementptr inbounds i8, ptr %62, i64 4
  %65 = getelementptr inbounds [25 x { float, float }], ptr %2, i64 0, i64 %indvars.iv205
  %66 = load float, ptr %65, align 8
  %67 = getelementptr inbounds i8, ptr %65, i64 4
  %68 = fsub float %63, %66
  %69 = fpext float %68 to double
  %70 = call double @llvm.fmuladd.f64(double %69, double %69, double 0.000000e+00)
  %sqrt186 = call double @llvm.sqrt.f64(double %70)
  %71 = fcmp ogt double %sqrt186, 0x3F1A36E2E0000000
  %72 = fcmp uno float %63, 0.000000e+00
  %or.cond220 = select i1 %71, i1 true, i1 %72
  %73 = fcmp uno float %66, 0.000000e+00
  %or.cond221 = select i1 %or.cond220, i1 true, i1 %73
  br i1 %or.cond221, label %74, label %75

74:                                               ; preds = %.preheader199
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 391, ptr noundef nonnull @.str.65, double noundef %sqrt186, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %76

75:                                               ; preds = %.preheader199
  call void (...) @liquid_autotest_passed() #6
  br label %76

76:                                               ; preds = %75, %74
  %77 = load float, ptr %64, align 4
  %78 = load float, ptr %67, align 4
  %79 = fsub float %77, %78
  %80 = fpext float %79 to double
  %81 = call double @llvm.fmuladd.f64(double %80, double %80, double 0.000000e+00)
  %sqrt188 = call double @llvm.sqrt.f64(double %81)
  %82 = fcmp ogt double %sqrt188, 0x3F1A36E2E0000000
  %83 = fcmp uno float %77, 0.000000e+00
  %or.cond222 = select i1 %82, i1 true, i1 %83
  %84 = fcmp uno float %78, 0.000000e+00
  %or.cond223 = select i1 %or.cond222, i1 true, i1 %84
  br i1 %or.cond223, label %85, label %86

85:                                               ; preds = %76
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 392, ptr noundef nonnull @.str.66, double noundef %sqrt188, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %87

86:                                               ; preds = %76
  call void (...) @liquid_autotest_passed() #6
  br label %87

87:                                               ; preds = %85, %86
  %indvars.iv.next206 = add nuw nsw i64 %indvars.iv205, 1
  %exitcond208.not = icmp eq i64 %indvars.iv.next206, 25
  br i1 %exitcond208.not, label %.preheader198, label %.preheader199, !llvm.loop !11

.preheader198:                                    ; preds = %87, %113
  %indvars.iv209 = phi i64 [ %indvars.iv.next210, %113 ], [ 0, %87 ]
  %88 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xTx, i64 0, i64 %indvars.iv209
  %89 = load float, ptr %88, align 4
  %90 = getelementptr inbounds i8, ptr %88, i64 4
  %91 = getelementptr inbounds [16 x { float, float }], ptr %3, i64 0, i64 %indvars.iv209
  %92 = load float, ptr %91, align 8
  %93 = getelementptr inbounds i8, ptr %91, i64 4
  %94 = fsub float %89, %92
  %95 = fpext float %94 to double
  %96 = call double @llvm.fmuladd.f64(double %95, double %95, double 0.000000e+00)
  %sqrt190 = call double @llvm.sqrt.f64(double %96)
  %97 = fcmp ogt double %sqrt190, 0x3F1A36E2E0000000
  %98 = fcmp uno float %89, 0.000000e+00
  %or.cond224 = select i1 %97, i1 true, i1 %98
  %99 = fcmp uno float %92, 0.000000e+00
  %or.cond225 = select i1 %or.cond224, i1 true, i1 %99
  br i1 %or.cond225, label %100, label %101

100:                                              ; preds = %.preheader198
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 396, ptr noundef nonnull @.str.67, double noundef %sqrt190, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %102

101:                                              ; preds = %.preheader198
  call void (...) @liquid_autotest_passed() #6
  br label %102

102:                                              ; preds = %101, %100
  %103 = load float, ptr %90, align 4
  %104 = load float, ptr %93, align 4
  %105 = fsub float %103, %104
  %106 = fpext float %105 to double
  %107 = call double @llvm.fmuladd.f64(double %106, double %106, double 0.000000e+00)
  %sqrt192 = call double @llvm.sqrt.f64(double %107)
  %108 = fcmp ogt double %sqrt192, 0x3F1A36E2E0000000
  %109 = fcmp uno float %103, 0.000000e+00
  %or.cond226 = select i1 %108, i1 true, i1 %109
  %110 = fcmp uno float %104, 0.000000e+00
  %or.cond227 = select i1 %or.cond226, i1 true, i1 %110
  br i1 %or.cond227, label %111, label %112

111:                                              ; preds = %102
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 397, ptr noundef nonnull @.str.68, double noundef %sqrt192, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %113

112:                                              ; preds = %102
  call void (...) @liquid_autotest_passed() #6
  br label %113

113:                                              ; preds = %111, %112
  %indvars.iv.next210 = add nuw nsw i64 %indvars.iv209, 1
  %exitcond212.not = icmp eq i64 %indvars.iv.next210, 16
  br i1 %exitcond212.not, label %.preheader, label %.preheader198, !llvm.loop !12

.preheader:                                       ; preds = %113, %139
  %indvars.iv213 = phi i64 [ %indvars.iv.next214, %139 ], [ 0, %113 ]
  %114 = getelementptr inbounds [0 x { float, float }], ptr @matrixcf_data_transmul_xHx, i64 0, i64 %indvars.iv213
  %115 = load float, ptr %114, align 4
  %116 = getelementptr inbounds i8, ptr %114, i64 4
  %117 = getelementptr inbounds [16 x { float, float }], ptr %4, i64 0, i64 %indvars.iv213
  %118 = load float, ptr %117, align 8
  %119 = getelementptr inbounds i8, ptr %117, i64 4
  %120 = fsub float %115, %118
  %121 = fpext float %120 to double
  %122 = call double @llvm.fmuladd.f64(double %121, double %121, double 0.000000e+00)
  %sqrt194 = call double @llvm.sqrt.f64(double %122)
  %123 = fcmp ogt double %sqrt194, 0x3F1A36E2E0000000
  %124 = fcmp uno float %115, 0.000000e+00
  %or.cond228 = select i1 %123, i1 true, i1 %124
  %125 = fcmp uno float %118, 0.000000e+00
  %or.cond229 = select i1 %or.cond228, i1 true, i1 %125
  br i1 %or.cond229, label %126, label %127

126:                                              ; preds = %.preheader
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 401, ptr noundef nonnull @.str.69, double noundef %sqrt194, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %128

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

128:                                              ; preds = %127, %126
  %129 = load float, ptr %116, align 4
  %130 = load float, ptr %119, align 4
  %131 = fsub float %129, %130
  %132 = fpext float %131 to double
  %133 = call double @llvm.fmuladd.f64(double %132, double %132, double 0.000000e+00)
  %sqrt196 = call double @llvm.sqrt.f64(double %133)
  %134 = fcmp ogt double %sqrt196, 0x3F1A36E2E0000000
  %135 = fcmp uno float %129, 0.000000e+00
  %or.cond230 = select i1 %134, i1 true, i1 %135
  %136 = fcmp uno float %130, 0.000000e+00
  %or.cond231 = select i1 %or.cond230, i1 true, i1 %136
  br i1 %or.cond231, label %137, label %138

137:                                              ; preds = %128
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 402, ptr noundef nonnull @.str.70, double noundef %sqrt196, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %139

138:                                              ; preds = %128
  call void (...) @liquid_autotest_passed() #6
  br label %139

139:                                              ; preds = %137, %138
  %indvars.iv.next214 = add nuw nsw i64 %indvars.iv213, 1
  %exitcond216.not = icmp eq i64 %indvars.iv.next214, 16
  br i1 %exitcond216.not, label %140, label %.preheader, !llvm.loop !13

140:                                              ; preds = %139
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %4) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %3) #6
  call void @llvm.lifetime.end.p0(i64 200, ptr nonnull %2) #6
  call void @llvm.lifetime.end.p0(i64 200, ptr nonnull %1) #6
  ret void
}

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

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

declare i32 @matrixcf_hermitian_mul(ptr noundef, i32 noundef, i32 noundef, ptr 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 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = distinct !{!12, !10}
!13 = distinct !{!13, !10}


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