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

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

@.str = external hidden unnamed_addr constant [90 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [4 x i8], align 1
@liquid_autotest_verbose = external global i32, align 4
@.str.5 = external hidden unnamed_addr constant [6 x i8], align 1
@matrixf_data_transmul_x = external global [0 x float], align 4
@.str.46 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.47 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.48 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixf_data_transmul_xxT = external global [0 x float], align 4
@.str.50 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixf_data_transmul_xxH = external global [0 x float], align 4
@.str.52 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixf_data_transmul_xTx = external global [0 x float], align 4
@.str.54 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixf_data_transmul_xHx = external global [0 x float], align 4
@.str.56 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [45 x i8], align 1

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

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

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

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

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

declare void @liquid_autotest_passed(...) #3

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @autotest_matrixf_transmul() #4 {
  %1 = alloca float, align 4
  %2 = alloca [25 x float], align 16
  %3 = alloca [25 x float], align 16
  %4 = alloca [16 x float], align 16
  %5 = alloca [16 x 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 100, ptr %2) #5
  call void @llvm.lifetime.start.p0(i64 100, ptr %3) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr %4) #5
  call void @llvm.lifetime.start.p0(i64 64, ptr %5) #5
  %7 = getelementptr inbounds [25 x float], ptr %2, i64 0, i64 0
  %8 = call i32 @matrixf_mul_transpose(ptr noundef @matrixf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef %7)
  %9 = getelementptr inbounds [25 x float], ptr %3, i64 0, i64 0
  %10 = call i32 @matrixf_mul_hermitian(ptr noundef @matrixf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef %9)
  %11 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 0
  %12 = call i32 @matrixf_transpose_mul(ptr noundef @matrixf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef %11)
  %13 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 0
  %14 = call i32 @matrixf_hermitian_mul(ptr noundef @matrixf_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.46)
  %19 = call i32 (ptr, ...) @printf(ptr noundef @.str.5)
  %20 = call i32 @matrixf_print(ptr noundef @matrixf_data_transmul_x, i32 noundef 5, i32 noundef 4)
  %21 = call i32 (ptr, ...) @printf(ptr noundef @.str.47)
  %22 = call i32 (ptr, ...) @printf(ptr noundef @.str.48)
  %23 = getelementptr inbounds [25 x float], ptr %2, i64 0, i64 0
  %24 = call i32 @matrixf_print(ptr noundef %23, i32 noundef 5, i32 noundef 5)
  %25 = call i32 (ptr, ...) @printf(ptr noundef @.str.49)
  %26 = call i32 @matrixf_print(ptr noundef @matrixf_data_transmul_xxT, i32 noundef 5, i32 noundef 5)
  %27 = call i32 (ptr, ...) @printf(ptr noundef @.str.47)
  %28 = call i32 (ptr, ...) @printf(ptr noundef @.str.50)
  %29 = getelementptr inbounds [25 x float], ptr %3, i64 0, i64 0
  %30 = call i32 @matrixf_print(ptr noundef %29, i32 noundef 5, i32 noundef 5)
  %31 = call i32 (ptr, ...) @printf(ptr noundef @.str.51)
  %32 = call i32 @matrixf_print(ptr noundef @matrixf_data_transmul_xxH, i32 noundef 5, i32 noundef 5)
  %33 = call i32 (ptr, ...) @printf(ptr noundef @.str.47)
  %34 = call i32 (ptr, ...) @printf(ptr noundef @.str.52)
  %35 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 0
  %36 = call i32 @matrixf_print(ptr noundef %35, i32 noundef 4, i32 noundef 4)
  %37 = call i32 (ptr, ...) @printf(ptr noundef @.str.53)
  %38 = call i32 @matrixf_print(ptr noundef @matrixf_data_transmul_xTx, i32 noundef 4, i32 noundef 4)
  %39 = call i32 (ptr, ...) @printf(ptr noundef @.str.47)
  %40 = call i32 (ptr, ...) @printf(ptr noundef @.str.54)
  %41 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 0
  %42 = call i32 @matrixf_print(ptr noundef %41, i32 noundef 4, i32 noundef 4)
  %43 = call i32 (ptr, ...) @printf(ptr noundef @.str.55)
  %44 = call i32 @matrixf_print(ptr noundef @matrixf_data_transmul_xHx, i32 noundef 4, i32 noundef 4)
  %45 = call i32 (ptr, ...) @printf(ptr noundef @.str.47)
  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 = %167, %46
  %48 = load i32, ptr %6, align 4, !tbaa !9
  %49 = icmp ult i32 %48, 25
  br i1 %49, label %50, label %170

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

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

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

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

114:                                              ; preds = %108
  %115 = load i32, ptr %6, align 4, !tbaa !9
  %116 = zext i32 %115 to i64
  %117 = getelementptr inbounds [25 x float], ptr %2, i64 0, i64 %116
  %118 = load float, ptr %117, align 4, !tbaa !5
  %119 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %119, label %120, label %165

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

165:                                              ; preds = %114
  call void (...) @liquid_autotest_passed()
  br label %166

166:                                              ; preds = %165, %120
  br label %167

167:                                              ; preds = %166
  %168 = load i32, ptr %6, align 4, !tbaa !9
  %169 = add i32 %168, 1
  store i32 %169, ptr %6, align 4, !tbaa !9
  br label %47, !llvm.loop !11

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

171:                                              ; preds = %291, %170
  %172 = load i32, ptr %6, align 4, !tbaa !9
  %173 = icmp ult i32 %172, 25
  br i1 %173, label %174, label %294

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

220:                                              ; preds = %174
  %221 = load i32, ptr %6, align 4, !tbaa !9
  %222 = zext i32 %221 to i64
  %223 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xxH, i64 0, i64 %222
  %224 = load float, ptr %223, align 4, !tbaa !5
  %225 = call i1 @llvm.is.fpclass.f32(float %224, i32 3)
  br i1 %225, label %244, label %226

226:                                              ; preds = %220
  %227 = load i32, ptr %6, align 4, !tbaa !9
  %228 = zext i32 %227 to i64
  %229 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xxH, i64 0, i64 %228
  %230 = load float, ptr %229, align 4, !tbaa !5
  %231 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %231, label %244, label %232

232:                                              ; preds = %226
  %233 = load i32, ptr %6, align 4, !tbaa !9
  %234 = zext i32 %233 to i64
  %235 = getelementptr inbounds [25 x float], ptr %3, i64 0, i64 %234
  %236 = load float, ptr %235, align 4, !tbaa !5
  %237 = call i1 @llvm.is.fpclass.f32(float %236, i32 3)
  br i1 %237, label %244, label %238

238:                                              ; preds = %232
  %239 = load i32, ptr %6, align 4, !tbaa !9
  %240 = zext i32 %239 to i64
  %241 = getelementptr inbounds [25 x float], ptr %3, i64 0, i64 %240
  %242 = load float, ptr %241, align 4, !tbaa !5
  %243 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %243, label %244, label %289

244:                                              ; preds = %238, %232, %226, %220, %174
  %245 = load i32, ptr %6, align 4, !tbaa !9
  %246 = zext i32 %245 to i64
  %247 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xxH, i64 0, i64 %246
  %248 = load float, ptr %247, align 4, !tbaa !5
  %249 = load i32, ptr %6, align 4, !tbaa !9
  %250 = zext i32 %249 to i64
  %251 = getelementptr inbounds [25 x float], ptr %3, i64 0, i64 %250
  %252 = load float, ptr %251, align 4, !tbaa !5
  %253 = fsub float %248, %252
  %254 = fpext float %253 to double
  %255 = load i32, ptr %6, align 4, !tbaa !9
  %256 = zext i32 %255 to i64
  %257 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xxH, i64 0, i64 %256
  %258 = load float, ptr %257, align 4, !tbaa !5
  %259 = load i32, ptr %6, align 4, !tbaa !9
  %260 = zext i32 %259 to i64
  %261 = getelementptr inbounds [25 x float], ptr %3, i64 0, i64 %260
  %262 = load float, ptr %261, align 4, !tbaa !5
  %263 = fsub float %258, %262
  %264 = fpext float %263 to double
  %265 = load i32, ptr %6, align 4, !tbaa !9
  %266 = zext i32 %265 to i64
  %267 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xxH, i64 0, i64 %266
  %268 = load float, ptr %267, align 4, !tbaa !5
  %269 = load i32, ptr %6, align 4, !tbaa !9
  %270 = zext i32 %269 to i64
  %271 = getelementptr inbounds [25 x float], ptr %3, i64 0, i64 %270
  %272 = load float, ptr %271, align 4, !tbaa !5
  %273 = fsub float %268, %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], ptr @matrixf_data_transmul_xxH, i64 0, i64 %276
  %278 = load float, ptr %277, align 4, !tbaa !5
  %279 = load i32, ptr %6, align 4, !tbaa !9
  %280 = zext i32 %279 to i64
  %281 = getelementptr inbounds [25 x float], ptr %3, i64 0, i64 %280
  %282 = load float, ptr %281, align 4, !tbaa !5
  %283 = fsub float %278, %282
  %284 = fpext float %283 to double
  %285 = call double @llvm.fmuladd.f64(double %254, double %264, double 0.000000e+00)
  %286 = call double @sqrt(double noundef %285) #5
  %287 = load float, ptr %1, align 4, !tbaa !5
  %288 = fpext float %287 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 412, ptr noundef @.str.57, double noundef %286, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %288)
  br label %290

289:                                              ; preds = %238
  call void (...) @liquid_autotest_passed()
  br label %290

290:                                              ; preds = %289, %244
  br label %291

291:                                              ; preds = %290
  %292 = load i32, ptr %6, align 4, !tbaa !9
  %293 = add i32 %292, 1
  store i32 %293, ptr %6, align 4, !tbaa !9
  br label %171, !llvm.loop !13

294:                                              ; preds = %171
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %295

295:                                              ; preds = %415, %294
  %296 = load i32, ptr %6, align 4, !tbaa !9
  %297 = icmp ult i32 %296, 16
  br i1 %297, label %298, label %418

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

344:                                              ; preds = %298
  %345 = load i32, ptr %6, align 4, !tbaa !9
  %346 = zext i32 %345 to i64
  %347 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xTx, i64 0, i64 %346
  %348 = load float, ptr %347, align 4, !tbaa !5
  %349 = call i1 @llvm.is.fpclass.f32(float %348, i32 3)
  br i1 %349, label %368, label %350

350:                                              ; preds = %344
  %351 = load i32, ptr %6, align 4, !tbaa !9
  %352 = zext i32 %351 to i64
  %353 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xTx, i64 0, i64 %352
  %354 = load float, ptr %353, align 4, !tbaa !5
  %355 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %355, label %368, label %356

356:                                              ; preds = %350
  %357 = load i32, ptr %6, align 4, !tbaa !9
  %358 = zext i32 %357 to i64
  %359 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %358
  %360 = load float, ptr %359, align 4, !tbaa !5
  %361 = call i1 @llvm.is.fpclass.f32(float %360, i32 3)
  br i1 %361, label %368, label %362

362:                                              ; preds = %356
  %363 = load i32, ptr %6, align 4, !tbaa !9
  %364 = zext i32 %363 to i64
  %365 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %364
  %366 = load float, ptr %365, align 4, !tbaa !5
  %367 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %367, label %368, label %413

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

413:                                              ; preds = %362
  call void (...) @liquid_autotest_passed()
  br label %414

414:                                              ; preds = %413, %368
  br label %415

415:                                              ; preds = %414
  %416 = load i32, ptr %6, align 4, !tbaa !9
  %417 = add i32 %416, 1
  store i32 %417, ptr %6, align 4, !tbaa !9
  br label %295, !llvm.loop !14

418:                                              ; preds = %295
  store i32 0, ptr %6, align 4, !tbaa !9
  br label %419

419:                                              ; preds = %539, %418
  %420 = load i32, ptr %6, align 4, !tbaa !9
  %421 = icmp ult i32 %420, 16
  br i1 %421, label %422, label %542

422:                                              ; preds = %419
  %423 = load i32, ptr %6, align 4, !tbaa !9
  %424 = zext i32 %423 to i64
  %425 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xHx, i64 0, i64 %424
  %426 = load float, ptr %425, align 4, !tbaa !5
  %427 = load i32, ptr %6, align 4, !tbaa !9
  %428 = zext i32 %427 to i64
  %429 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %428
  %430 = load float, ptr %429, align 4, !tbaa !5
  %431 = fsub float %426, %430
  %432 = fpext float %431 to double
  %433 = load i32, ptr %6, align 4, !tbaa !9
  %434 = zext i32 %433 to i64
  %435 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xHx, i64 0, i64 %434
  %436 = load float, ptr %435, align 4, !tbaa !5
  %437 = load i32, ptr %6, align 4, !tbaa !9
  %438 = zext i32 %437 to i64
  %439 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %438
  %440 = load float, ptr %439, align 4, !tbaa !5
  %441 = fsub float %436, %440
  %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], ptr @matrixf_data_transmul_xHx, i64 0, i64 %444
  %446 = load float, ptr %445, align 4, !tbaa !5
  %447 = load i32, ptr %6, align 4, !tbaa !9
  %448 = zext i32 %447 to i64
  %449 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %448
  %450 = load float, ptr %449, align 4, !tbaa !5
  %451 = fsub float %446, %450
  %452 = fpext float %451 to double
  %453 = load i32, ptr %6, align 4, !tbaa !9
  %454 = zext i32 %453 to i64
  %455 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xHx, i64 0, i64 %454
  %456 = load float, ptr %455, align 4, !tbaa !5
  %457 = load i32, ptr %6, align 4, !tbaa !9
  %458 = zext i32 %457 to i64
  %459 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %458
  %460 = load float, ptr %459, align 4, !tbaa !5
  %461 = fsub float %456, %460
  %462 = fpext float %461 to double
  %463 = call double @llvm.fmuladd.f64(double %432, double %442, double 0.000000e+00)
  %464 = call double @sqrt(double noundef %463) #5
  %465 = load float, ptr %1, align 4, !tbaa !5
  %466 = fpext float %465 to double
  %467 = fcmp ogt double %464, %466
  br i1 %467, label %492, label %468

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

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

480:                                              ; preds = %474
  %481 = load i32, ptr %6, align 4, !tbaa !9
  %482 = zext i32 %481 to i64
  %483 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %482
  %484 = load float, ptr %483, align 4, !tbaa !5
  %485 = call i1 @llvm.is.fpclass.f32(float %484, i32 3)
  br i1 %485, label %492, label %486

486:                                              ; preds = %480
  %487 = load i32, ptr %6, align 4, !tbaa !9
  %488 = zext i32 %487 to i64
  %489 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %488
  %490 = load float, ptr %489, align 4, !tbaa !5
  %491 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %491, label %492, label %537

492:                                              ; preds = %486, %480, %474, %468, %422
  %493 = load i32, ptr %6, align 4, !tbaa !9
  %494 = zext i32 %493 to i64
  %495 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xHx, i64 0, i64 %494
  %496 = load float, ptr %495, align 4, !tbaa !5
  %497 = load i32, ptr %6, align 4, !tbaa !9
  %498 = zext i32 %497 to i64
  %499 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %498
  %500 = load float, ptr %499, align 4, !tbaa !5
  %501 = fsub float %496, %500
  %502 = fpext float %501 to double
  %503 = load i32, ptr %6, align 4, !tbaa !9
  %504 = zext i32 %503 to i64
  %505 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xHx, i64 0, i64 %504
  %506 = load float, ptr %505, align 4, !tbaa !5
  %507 = load i32, ptr %6, align 4, !tbaa !9
  %508 = zext i32 %507 to i64
  %509 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %508
  %510 = load float, ptr %509, align 4, !tbaa !5
  %511 = fsub float %506, %510
  %512 = fpext float %511 to double
  %513 = load i32, ptr %6, align 4, !tbaa !9
  %514 = zext i32 %513 to i64
  %515 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xHx, i64 0, i64 %514
  %516 = load float, ptr %515, align 4, !tbaa !5
  %517 = load i32, ptr %6, align 4, !tbaa !9
  %518 = zext i32 %517 to i64
  %519 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %518
  %520 = load float, ptr %519, align 4, !tbaa !5
  %521 = fsub float %516, %520
  %522 = fpext float %521 to double
  %523 = load i32, ptr %6, align 4, !tbaa !9
  %524 = zext i32 %523 to i64
  %525 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xHx, i64 0, i64 %524
  %526 = load float, ptr %525, align 4, !tbaa !5
  %527 = load i32, ptr %6, align 4, !tbaa !9
  %528 = zext i32 %527 to i64
  %529 = getelementptr inbounds [16 x float], ptr %5, i64 0, i64 %528
  %530 = load float, ptr %529, align 4, !tbaa !5
  %531 = fsub float %526, %530
  %532 = fpext float %531 to double
  %533 = call double @llvm.fmuladd.f64(double %502, double %512, double 0.000000e+00)
  %534 = call double @sqrt(double noundef %533) #5
  %535 = load float, ptr %1, align 4, !tbaa !5
  %536 = fpext float %535 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 418, ptr noundef @.str.59, double noundef %534, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %536)
  br label %538

537:                                              ; preds = %486
  call void (...) @liquid_autotest_passed()
  br label %538

538:                                              ; preds = %537, %492
  br label %539

539:                                              ; preds = %538
  %540 = load i32, ptr %6, align 4, !tbaa !9
  %541 = add i32 %540, 1
  store i32 %541, ptr %6, align 4, !tbaa !9
  br label %419, !llvm.loop !15

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

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

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

declare i32 @matrixf_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 [90 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [4 x i8], align 1
@liquid_autotest_verbose = external local_unnamed_addr global i32, align 4
@.str.5 = external hidden unnamed_addr constant [6 x i8], align 1
@matrixf_data_transmul_x = external global [0 x float], align 4
@.str.46 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.47 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.48 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.49 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixf_data_transmul_xxT = external global [0 x float], align 4
@.str.50 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.51 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixf_data_transmul_xxH = external global [0 x float], align 4
@.str.52 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixf_data_transmul_xTx = external global [0 x float], align 4
@.str.54 = external hidden unnamed_addr constant [8 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [17 x i8], align 1
@matrixf_data_transmul_xHx = external global [0 x float], align 4
@.str.56 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [45 x i8], align 1

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

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

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

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

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

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @autotest_matrixf_transmul() local_unnamed_addr #4 {
  %1 = alloca [25 x float], align 16
  %2 = alloca [25 x float], align 16
  %3 = alloca [16 x float], align 16
  %4 = alloca [16 x float], align 16
  call void @llvm.lifetime.start.p0(i64 100, ptr nonnull %1) #6
  call void @llvm.lifetime.start.p0(i64 100, ptr nonnull %2) #6
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %3) #6
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %4) #6
  %5 = call i32 @matrixf_mul_transpose(ptr noundef nonnull @matrixf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef nonnull %1) #6
  %6 = call i32 @matrixf_mul_hermitian(ptr noundef nonnull @matrixf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef nonnull %2) #6
  %7 = call i32 @matrixf_transpose_mul(ptr noundef nonnull @matrixf_data_transmul_x, i32 noundef 5, i32 noundef 4, ptr noundef nonnull %3) #6
  %8 = call i32 @matrixf_hermitian_mul(ptr noundef nonnull @matrixf_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 %.preheader128, label %10

10:                                               ; preds = %0
  %11 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.46)
  %12 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.5)
  %13 = call i32 @matrixf_print(ptr noundef nonnull @matrixf_data_transmul_x, i32 noundef 5, i32 noundef 4) #6
  %14 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.47)
  %15 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.48)
  %16 = call i32 @matrixf_print(ptr noundef nonnull %1, i32 noundef 5, i32 noundef 5) #6
  %17 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.49)
  %18 = call i32 @matrixf_print(ptr noundef nonnull @matrixf_data_transmul_xxT, i32 noundef 5, i32 noundef 5) #6
  %19 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.47)
  %20 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.50)
  %21 = call i32 @matrixf_print(ptr noundef nonnull %2, i32 noundef 5, i32 noundef 5) #6
  %22 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.51)
  %23 = call i32 @matrixf_print(ptr noundef nonnull @matrixf_data_transmul_xxH, i32 noundef 5, i32 noundef 5) #6
  %24 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.47)
  %25 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.52)
  %26 = call i32 @matrixf_print(ptr noundef nonnull %3, i32 noundef 4, i32 noundef 4) #6
  %27 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.53)
  %28 = call i32 @matrixf_print(ptr noundef nonnull @matrixf_data_transmul_xTx, i32 noundef 4, i32 noundef 4) #6
  %29 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.47)
  %30 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.54)
  %31 = call i32 @matrixf_print(ptr noundef nonnull %4, i32 noundef 4, i32 noundef 4) #6
  %32 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.55)
  %33 = call i32 @matrixf_print(ptr noundef nonnull @matrixf_data_transmul_xHx, i32 noundef 4, i32 noundef 4) #6
  %34 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.47)
  br label %.preheader128

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

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

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

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

48:                                               ; preds = %46, %47
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 25
  br i1 %exitcond.not, label %.preheader103, label %35, !llvm.loop !11

.preheader103:                                    ; preds = %48, %61
  %indvars.iv109 = phi i64 [ %indvars.iv.next110, %61 ], [ 0, %48 ]
  %49 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xxH, i64 0, i64 %indvars.iv109
  %50 = load float, ptr %49, align 4, !tbaa !9
  %51 = getelementptr inbounds [25 x float], ptr %2, i64 0, i64 %indvars.iv109
  %52 = load float, ptr %51, align 4, !tbaa !9
  %53 = fsub float %50, %52
  %54 = fpext float %53 to double
  %55 = call double @llvm.fmuladd.f64(double %54, double %54, double 0.000000e+00)
  %sqrt96 = call double @llvm.sqrt.f64(double %55)
  %56 = fcmp ogt double %sqrt96, 0x3F1A36E2E0000000
  %57 = fcmp uno float %50, 0.000000e+00
  %or.cond122 = select i1 %56, i1 true, i1 %57
  %58 = fcmp uno float %52, 0.000000e+00
  %or.cond123 = select i1 %or.cond122, i1 true, i1 %58
  br i1 %or.cond123, label %59, label %60

59:                                               ; preds = %.preheader103
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 412, ptr noundef nonnull @.str.57, double noundef %sqrt96, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %61

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

61:                                               ; preds = %59, %60
  %indvars.iv.next110 = add nuw nsw i64 %indvars.iv109, 1
  %exitcond112.not = icmp eq i64 %indvars.iv.next110, 25
  br i1 %exitcond112.not, label %.preheader102, label %.preheader103, !llvm.loop !13

.preheader102:                                    ; preds = %61, %74
  %indvars.iv113 = phi i64 [ %indvars.iv.next114, %74 ], [ 0, %61 ]
  %62 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xTx, i64 0, i64 %indvars.iv113
  %63 = load float, ptr %62, align 4, !tbaa !9
  %64 = getelementptr inbounds [16 x float], ptr %3, i64 0, i64 %indvars.iv113
  %65 = load float, ptr %64, align 4, !tbaa !9
  %66 = fsub float %63, %65
  %67 = fpext float %66 to double
  %68 = call double @llvm.fmuladd.f64(double %67, double %67, double 0.000000e+00)
  %sqrt98 = call double @llvm.sqrt.f64(double %68)
  %69 = fcmp ogt double %sqrt98, 0x3F1A36E2E0000000
  %70 = fcmp uno float %63, 0.000000e+00
  %or.cond124 = select i1 %69, i1 true, i1 %70
  %71 = fcmp uno float %65, 0.000000e+00
  %or.cond125 = select i1 %or.cond124, i1 true, i1 %71
  br i1 %or.cond125, label %72, label %73

72:                                               ; preds = %.preheader102
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 415, ptr noundef nonnull @.str.58, double noundef %sqrt98, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %74

73:                                               ; preds = %.preheader102
  call void (...) @liquid_autotest_passed() #6
  br label %74

74:                                               ; preds = %72, %73
  %indvars.iv.next114 = add nuw nsw i64 %indvars.iv113, 1
  %exitcond116.not = icmp eq i64 %indvars.iv.next114, 16
  br i1 %exitcond116.not, label %.preheader, label %.preheader102, !llvm.loop !14

.preheader:                                       ; preds = %74, %87
  %indvars.iv117 = phi i64 [ %indvars.iv.next118, %87 ], [ 0, %74 ]
  %75 = getelementptr inbounds [0 x float], ptr @matrixf_data_transmul_xHx, i64 0, i64 %indvars.iv117
  %76 = load float, ptr %75, align 4, !tbaa !9
  %77 = getelementptr inbounds [16 x float], ptr %4, i64 0, i64 %indvars.iv117
  %78 = load float, ptr %77, align 4, !tbaa !9
  %79 = fsub float %76, %78
  %80 = fpext float %79 to double
  %81 = call double @llvm.fmuladd.f64(double %80, double %80, double 0.000000e+00)
  %sqrt100 = call double @llvm.sqrt.f64(double %81)
  %82 = fcmp ogt double %sqrt100, 0x3F1A36E2E0000000
  %83 = fcmp uno float %76, 0.000000e+00
  %or.cond126 = select i1 %82, i1 true, i1 %83
  %84 = fcmp uno float %78, 0.000000e+00
  %or.cond127 = select i1 %or.cond126, i1 true, i1 %84
  br i1 %or.cond127, label %85, label %86

85:                                               ; preds = %.preheader
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 418, ptr noundef nonnull @.str.59, double noundef %sqrt100, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F1A36E2E0000000) #6
  br label %87

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

87:                                               ; preds = %85, %86
  %indvars.iv.next118 = add nuw nsw i64 %indvars.iv117, 1
  %exitcond120.not = icmp eq i64 %indvars.iv.next118, 16
  br i1 %exitcond120.not, label %88, label %.preheader, !llvm.loop !15

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

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

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

declare i32 @matrixf_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 = !{!10, !10, i64 0}
!10 = !{!"float", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = distinct !{!13, !12}
!14 = distinct !{!14, !12}
!15 = distinct !{!15, !12}


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