; LLVM IR from jgaeddert/liquid-dsp :: src/filter/tests (firdes_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 [89 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [38 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

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare ptr @llvm.stacksave.p0() #4

; Function Attrs: nocallback nofree nosync nounwind willreturn
declare void @llvm.stackrestore.p0(ptr) #4

declare i32 @liquid_firdes_notch(i32 noundef, float noundef, float noundef, ptr noundef) #3

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

; Function Attrs: nounwind
declare float @powf(float noundef, float noundef) #1

; Function Attrs: nounwind
declare float @cabsf(<2 x float> noundef) #1

; Function Attrs: nounwind uwtable
define dso_local void @autotest_liquid_firdes_notch() #5 {
  %1 = alloca i32, align 4
  %2 = alloca float, align 4
  %3 = alloca float, align 4
  %4 = alloca i32, align 4
  %5 = alloca ptr, align 8
  %6 = alloca i64, align 8
  %7 = alloca i32, align 4
  %8 = alloca i64, align 8
  %9 = alloca i64, align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca float, align 4
  %14 = alloca { float, float }, align 4
  %15 = alloca { float, float }, align 4
  %16 = alloca { float, float }, align 4
  %17 = alloca { float, float }, align 4
  %18 = alloca { float, float }, align 4
  %19 = alloca { float, float }, align 4
  %20 = alloca { float, float }, align 4
  %21 = alloca { float, float }, align 4
  %22 = alloca { float, float }, align 4
  %23 = alloca { float, float }, align 4
  %24 = alloca { float, float }, align 4
  %25 = alloca { float, float }, align 4
  %26 = alloca { float, float }, align 4
  %27 = alloca { float, float }, align 4
  %28 = alloca { float, float }, align 4
  %29 = alloca { float, float }, align 4
  %30 = alloca { float, float }, align 4
  %31 = alloca { float, float }, align 4
  %32 = alloca { float, float }, align 4
  %33 = alloca { float, float }, align 4
  %34 = alloca { float, float }, align 4
  %35 = alloca { float, float }, align 4
  %36 = alloca { float, float }, align 4
  %37 = alloca { float, float }, align 4
  %38 = alloca { float, float }, align 4
  %39 = alloca { float, float }, align 4
  %40 = alloca { float, float }, align 4
  %41 = alloca { float, float }, align 4
  %42 = alloca { float, float }, align 4
  %43 = alloca { float, float }, align 4
  %44 = alloca { float, float }, align 4
  %45 = alloca { float, float }, align 4
  %46 = alloca { float, float }, align 4
  %47 = alloca { float, float }, align 4
  %48 = alloca { float, float }, align 4
  %49 = alloca { float, float }, align 4
  %50 = alloca { float, float }, align 4
  %51 = alloca { float, float }, align 4
  %52 = alloca { float, float }, align 4
  %53 = alloca { float, float }, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %1) #6
  store i32 20, ptr %1, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #6
  store float 6.000000e+01, ptr %2, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #6
  store float 0x3FC99999A0000000, ptr %3, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #6
  %54 = load i32, ptr %1, align 4, !tbaa !5
  %55 = mul i32 2, %54
  %56 = add i32 %55, 1
  store i32 %56, ptr %4, align 4, !tbaa !5
  %57 = load i32, ptr %4, align 4, !tbaa !5
  %58 = zext i32 %57 to i64
  %59 = call ptr @llvm.stacksave.p0()
  store ptr %59, ptr %5, align 8
  %60 = alloca float, i64 %58, align 16
  store i64 %58, ptr %6, align 8
  %61 = load i32, ptr %1, align 4, !tbaa !5
  %62 = load float, ptr %3, align 4, !tbaa !9
  %63 = load float, ptr %2, align 4, !tbaa !9
  %64 = call i32 @liquid_firdes_notch(i32 noundef %61, float noundef %62, float noundef %63, ptr noundef %60)
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  store i32 1200, ptr %7, align 4, !tbaa !5
  %65 = load i32, ptr %7, align 4, !tbaa !5
  %66 = zext i32 %65 to i64
  %67 = alloca { float, float }, i64 %66, align 16
  store i64 %66, ptr %8, align 8
  %68 = load i32, ptr %7, align 4, !tbaa !5
  %69 = zext i32 %68 to i64
  %70 = alloca { float, float }, i64 %69, align 16
  store i64 %69, ptr %9, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #6
  store i32 0, ptr %10, align 4, !tbaa !5
  br label %71

71:                                               ; preds = %92, %0
  %72 = load i32, ptr %10, align 4, !tbaa !5
  %73 = load i32, ptr %7, align 4, !tbaa !5
  %74 = icmp ult i32 %72, %73
  br i1 %74, label %75, label %95

75:                                               ; preds = %71
  %76 = load i32, ptr %10, align 4, !tbaa !5
  %77 = load i32, ptr %4, align 4, !tbaa !5
  %78 = icmp ult i32 %76, %77
  br i1 %78, label %79, label %84

79:                                               ; preds = %75
  %80 = load i32, ptr %10, align 4, !tbaa !5
  %81 = zext i32 %80 to i64
  %82 = getelementptr inbounds float, ptr %60, i64 %81
  %83 = load float, ptr %82, align 4, !tbaa !9
  br label %85

84:                                               ; preds = %75
  br label %85

85:                                               ; preds = %84, %79
  %86 = phi float [ %83, %79 ], [ 0.000000e+00, %84 ]
  %87 = load i32, ptr %10, align 4, !tbaa !5
  %88 = zext i32 %87 to i64
  %89 = getelementptr inbounds { float, float }, ptr %67, i64 %88
  %90 = getelementptr inbounds { float, float }, ptr %89, i32 0, i32 0
  %91 = getelementptr inbounds { float, float }, ptr %89, i32 0, i32 1
  store float %86, ptr %90, align 8
  store float 0.000000e+00, ptr %91, align 4
  br label %92

92:                                               ; preds = %85
  %93 = load i32, ptr %10, align 4, !tbaa !5
  %94 = add i32 %93, 1
  store i32 %94, ptr %10, align 4, !tbaa !5
  br label %71, !llvm.loop !11

95:                                               ; preds = %71
  %96 = load i32, ptr %7, align 4, !tbaa !5
  %97 = call i32 @fft_run(i32 noundef %96, ptr noundef %67, ptr noundef %70, i32 noundef 1, i32 noundef 0)
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #6
  %98 = load float, ptr %3, align 4, !tbaa !9
  %99 = load i32, ptr %7, align 4, !tbaa !5
  %100 = uitofp i32 %99 to float
  %101 = fmul float %98, %100
  %102 = call float @llvm.round.f32(float %101)
  %103 = fptoui float %102 to i32
  store i32 %103, ptr %11, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #6
  %104 = load i32, ptr %7, align 4, !tbaa !5
  %105 = load i32, ptr %11, align 4, !tbaa !5
  %106 = sub i32 %104, %105
  store i32 %106, ptr %12, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  %107 = load float, ptr %2, align 4, !tbaa !9
  %108 = fneg float %107
  %109 = fdiv float %108, 2.000000e+01
  %110 = call float @powf(float noundef 1.000000e+01, float noundef %109) #6
  %111 = fmul float 2.000000e+00, %110
  store float %111, ptr %13, align 4, !tbaa !9
  %112 = load i32, ptr %11, align 4, !tbaa !5
  %113 = zext i32 %112 to i64
  %114 = getelementptr inbounds { float, float }, ptr %70, i64 %113
  %115 = getelementptr inbounds { float, float }, ptr %114, i32 0, i32 0
  %116 = load float, ptr %115, align 8
  %117 = getelementptr inbounds { float, float }, ptr %114, i32 0, i32 1
  %118 = load float, ptr %117, align 4
  %119 = getelementptr inbounds { float, float }, ptr %14, i32 0, i32 0
  %120 = getelementptr inbounds { float, float }, ptr %14, i32 0, i32 1
  store float %116, ptr %119, align 4
  store float %118, ptr %120, align 4
  %121 = load <2 x float>, ptr %14, align 4
  %122 = call float @cabsf(<2 x float> noundef %121) #6
  %123 = fsub float %122, 0.000000e+00
  %124 = fpext float %123 to double
  %125 = load i32, ptr %11, align 4, !tbaa !5
  %126 = zext i32 %125 to i64
  %127 = getelementptr inbounds { float, float }, ptr %70, i64 %126
  %128 = getelementptr inbounds { float, float }, ptr %127, i32 0, i32 0
  %129 = load float, ptr %128, align 8
  %130 = getelementptr inbounds { float, float }, ptr %127, i32 0, i32 1
  %131 = load float, ptr %130, align 4
  %132 = getelementptr inbounds { float, float }, ptr %15, i32 0, i32 0
  %133 = getelementptr inbounds { float, float }, ptr %15, i32 0, i32 1
  store float %129, ptr %132, align 4
  store float %131, ptr %133, align 4
  %134 = load <2 x float>, ptr %15, align 4
  %135 = call float @cabsf(<2 x float> noundef %134) #6
  %136 = fsub float %135, 0.000000e+00
  %137 = fpext float %136 to double
  %138 = load i32, ptr %11, align 4, !tbaa !5
  %139 = zext i32 %138 to i64
  %140 = getelementptr inbounds { float, float }, ptr %70, i64 %139
  %141 = getelementptr inbounds { float, float }, ptr %140, i32 0, i32 0
  %142 = load float, ptr %141, align 8
  %143 = getelementptr inbounds { float, float }, ptr %140, i32 0, i32 1
  %144 = load float, ptr %143, align 4
  %145 = getelementptr inbounds { float, float }, ptr %16, i32 0, i32 0
  %146 = getelementptr inbounds { float, float }, ptr %16, i32 0, i32 1
  store float %142, ptr %145, align 4
  store float %144, ptr %146, align 4
  %147 = load <2 x float>, ptr %16, align 4
  %148 = call float @cabsf(<2 x float> noundef %147) #6
  %149 = fsub float %148, 0.000000e+00
  %150 = fpext float %149 to double
  %151 = load i32, ptr %11, align 4, !tbaa !5
  %152 = zext i32 %151 to i64
  %153 = getelementptr inbounds { float, float }, ptr %70, i64 %152
  %154 = getelementptr inbounds { float, float }, ptr %153, i32 0, i32 0
  %155 = load float, ptr %154, align 8
  %156 = getelementptr inbounds { float, float }, ptr %153, i32 0, i32 1
  %157 = load float, ptr %156, align 4
  %158 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %159 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  store float %155, ptr %158, align 4
  store float %157, ptr %159, align 4
  %160 = load <2 x float>, ptr %17, align 4
  %161 = call float @cabsf(<2 x float> noundef %160) #6
  %162 = fsub float %161, 0.000000e+00
  %163 = fpext float %162 to double
  %164 = call double @llvm.fmuladd.f64(double %124, double %137, double 0.000000e+00)
  %165 = call double @sqrt(double noundef %164) #6
  %166 = load float, ptr %13, align 4, !tbaa !9
  %167 = fpext float %166 to double
  %168 = fcmp ogt double %165, %167
  br i1 %168, label %199, label %169

169:                                              ; preds = %95
  %170 = load i32, ptr %11, align 4, !tbaa !5
  %171 = zext i32 %170 to i64
  %172 = getelementptr inbounds { float, float }, ptr %70, i64 %171
  %173 = getelementptr inbounds { float, float }, ptr %172, i32 0, i32 0
  %174 = load float, ptr %173, align 8
  %175 = getelementptr inbounds { float, float }, ptr %172, i32 0, i32 1
  %176 = load float, ptr %175, align 4
  %177 = getelementptr inbounds { float, float }, ptr %18, i32 0, i32 0
  %178 = getelementptr inbounds { float, float }, ptr %18, i32 0, i32 1
  store float %174, ptr %177, align 4
  store float %176, ptr %178, align 4
  %179 = load <2 x float>, ptr %18, align 4
  %180 = call float @cabsf(<2 x float> noundef %179) #6
  %181 = call i1 @llvm.is.fpclass.f32(float %180, i32 3)
  br i1 %181, label %199, label %182

182:                                              ; preds = %169
  %183 = load i32, ptr %11, align 4, !tbaa !5
  %184 = zext i32 %183 to i64
  %185 = getelementptr inbounds { float, float }, ptr %70, i64 %184
  %186 = getelementptr inbounds { float, float }, ptr %185, i32 0, i32 0
  %187 = load float, ptr %186, align 8
  %188 = getelementptr inbounds { float, float }, ptr %185, i32 0, i32 1
  %189 = load float, ptr %188, align 4
  %190 = getelementptr inbounds { float, float }, ptr %19, i32 0, i32 0
  %191 = getelementptr inbounds { float, float }, ptr %19, i32 0, i32 1
  store float %187, ptr %190, align 4
  store float %189, ptr %191, align 4
  %192 = load <2 x float>, ptr %19, align 4
  %193 = call float @cabsf(<2 x float> noundef %192) #6
  %194 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %194, label %199, label %195

195:                                              ; preds = %182
  %196 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %196, label %199, label %197

197:                                              ; preds = %195
  %198 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %198, label %199, label %256

199:                                              ; preds = %197, %195, %182, %169, %95
  %200 = load i32, ptr %11, align 4, !tbaa !5
  %201 = zext i32 %200 to i64
  %202 = getelementptr inbounds { float, float }, ptr %70, i64 %201
  %203 = getelementptr inbounds { float, float }, ptr %202, i32 0, i32 0
  %204 = load float, ptr %203, align 8
  %205 = getelementptr inbounds { float, float }, ptr %202, i32 0, i32 1
  %206 = load float, ptr %205, align 4
  %207 = getelementptr inbounds { float, float }, ptr %20, i32 0, i32 0
  %208 = getelementptr inbounds { float, float }, ptr %20, i32 0, i32 1
  store float %204, ptr %207, align 4
  store float %206, ptr %208, align 4
  %209 = load <2 x float>, ptr %20, align 4
  %210 = call float @cabsf(<2 x float> noundef %209) #6
  %211 = fsub float %210, 0.000000e+00
  %212 = fpext float %211 to double
  %213 = load i32, ptr %11, align 4, !tbaa !5
  %214 = zext i32 %213 to i64
  %215 = getelementptr inbounds { float, float }, ptr %70, i64 %214
  %216 = getelementptr inbounds { float, float }, ptr %215, i32 0, i32 0
  %217 = load float, ptr %216, align 8
  %218 = getelementptr inbounds { float, float }, ptr %215, i32 0, i32 1
  %219 = load float, ptr %218, align 4
  %220 = getelementptr inbounds { float, float }, ptr %21, i32 0, i32 0
  %221 = getelementptr inbounds { float, float }, ptr %21, i32 0, i32 1
  store float %217, ptr %220, align 4
  store float %219, ptr %221, align 4
  %222 = load <2 x float>, ptr %21, align 4
  %223 = call float @cabsf(<2 x float> noundef %222) #6
  %224 = fsub float %223, 0.000000e+00
  %225 = fpext float %224 to double
  %226 = load i32, ptr %11, align 4, !tbaa !5
  %227 = zext i32 %226 to i64
  %228 = getelementptr inbounds { float, float }, ptr %70, i64 %227
  %229 = getelementptr inbounds { float, float }, ptr %228, i32 0, i32 0
  %230 = load float, ptr %229, align 8
  %231 = getelementptr inbounds { float, float }, ptr %228, i32 0, i32 1
  %232 = load float, ptr %231, align 4
  %233 = getelementptr inbounds { float, float }, ptr %22, i32 0, i32 0
  %234 = getelementptr inbounds { float, float }, ptr %22, i32 0, i32 1
  store float %230, ptr %233, align 4
  store float %232, ptr %234, align 4
  %235 = load <2 x float>, ptr %22, align 4
  %236 = call float @cabsf(<2 x float> noundef %235) #6
  %237 = fsub float %236, 0.000000e+00
  %238 = fpext float %237 to double
  %239 = load i32, ptr %11, align 4, !tbaa !5
  %240 = zext i32 %239 to i64
  %241 = getelementptr inbounds { float, float }, ptr %70, i64 %240
  %242 = getelementptr inbounds { float, float }, ptr %241, i32 0, i32 0
  %243 = load float, ptr %242, align 8
  %244 = getelementptr inbounds { float, float }, ptr %241, i32 0, i32 1
  %245 = load float, ptr %244, align 4
  %246 = getelementptr inbounds { float, float }, ptr %23, i32 0, i32 0
  %247 = getelementptr inbounds { float, float }, ptr %23, i32 0, i32 1
  store float %243, ptr %246, align 4
  store float %245, ptr %247, align 4
  %248 = load <2 x float>, ptr %23, align 4
  %249 = call float @cabsf(<2 x float> noundef %248) #6
  %250 = fsub float %249, 0.000000e+00
  %251 = fpext float %250 to double
  %252 = call double @llvm.fmuladd.f64(double %212, double %225, double 0.000000e+00)
  %253 = call double @sqrt(double noundef %252) #6
  %254 = load float, ptr %13, align 4, !tbaa !9
  %255 = fpext float %254 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 188, ptr noundef @.str.13, double noundef %253, ptr noundef @.str.2, ptr noundef @.str.9, double noundef %255)
  br label %257

256:                                              ; preds = %197
  call void (...) @liquid_autotest_passed()
  br label %257

257:                                              ; preds = %256, %199
  %258 = load i32, ptr %12, align 4, !tbaa !5
  %259 = zext i32 %258 to i64
  %260 = getelementptr inbounds { float, float }, ptr %70, i64 %259
  %261 = getelementptr inbounds { float, float }, ptr %260, i32 0, i32 0
  %262 = load float, ptr %261, align 8
  %263 = getelementptr inbounds { float, float }, ptr %260, i32 0, i32 1
  %264 = load float, ptr %263, align 4
  %265 = getelementptr inbounds { float, float }, ptr %24, i32 0, i32 0
  %266 = getelementptr inbounds { float, float }, ptr %24, i32 0, i32 1
  store float %262, ptr %265, align 4
  store float %264, ptr %266, align 4
  %267 = load <2 x float>, ptr %24, align 4
  %268 = call float @cabsf(<2 x float> noundef %267) #6
  %269 = fsub float %268, 0.000000e+00
  %270 = fpext float %269 to double
  %271 = load i32, ptr %12, align 4, !tbaa !5
  %272 = zext i32 %271 to i64
  %273 = getelementptr inbounds { float, float }, ptr %70, i64 %272
  %274 = getelementptr inbounds { float, float }, ptr %273, i32 0, i32 0
  %275 = load float, ptr %274, align 8
  %276 = getelementptr inbounds { float, float }, ptr %273, i32 0, i32 1
  %277 = load float, ptr %276, align 4
  %278 = getelementptr inbounds { float, float }, ptr %25, i32 0, i32 0
  %279 = getelementptr inbounds { float, float }, ptr %25, i32 0, i32 1
  store float %275, ptr %278, align 4
  store float %277, ptr %279, align 4
  %280 = load <2 x float>, ptr %25, align 4
  %281 = call float @cabsf(<2 x float> noundef %280) #6
  %282 = fsub float %281, 0.000000e+00
  %283 = fpext float %282 to double
  %284 = load i32, ptr %12, align 4, !tbaa !5
  %285 = zext i32 %284 to i64
  %286 = getelementptr inbounds { float, float }, ptr %70, i64 %285
  %287 = getelementptr inbounds { float, float }, ptr %286, i32 0, i32 0
  %288 = load float, ptr %287, align 8
  %289 = getelementptr inbounds { float, float }, ptr %286, i32 0, i32 1
  %290 = load float, ptr %289, align 4
  %291 = getelementptr inbounds { float, float }, ptr %26, i32 0, i32 0
  %292 = getelementptr inbounds { float, float }, ptr %26, i32 0, i32 1
  store float %288, ptr %291, align 4
  store float %290, ptr %292, align 4
  %293 = load <2 x float>, ptr %26, align 4
  %294 = call float @cabsf(<2 x float> noundef %293) #6
  %295 = fsub float %294, 0.000000e+00
  %296 = fpext float %295 to double
  %297 = load i32, ptr %12, align 4, !tbaa !5
  %298 = zext i32 %297 to i64
  %299 = getelementptr inbounds { float, float }, ptr %70, i64 %298
  %300 = getelementptr inbounds { float, float }, ptr %299, i32 0, i32 0
  %301 = load float, ptr %300, align 8
  %302 = getelementptr inbounds { float, float }, ptr %299, i32 0, i32 1
  %303 = load float, ptr %302, align 4
  %304 = getelementptr inbounds { float, float }, ptr %27, i32 0, i32 0
  %305 = getelementptr inbounds { float, float }, ptr %27, i32 0, i32 1
  store float %301, ptr %304, align 4
  store float %303, ptr %305, align 4
  %306 = load <2 x float>, ptr %27, align 4
  %307 = call float @cabsf(<2 x float> noundef %306) #6
  %308 = fsub float %307, 0.000000e+00
  %309 = fpext float %308 to double
  %310 = call double @llvm.fmuladd.f64(double %270, double %283, double 0.000000e+00)
  %311 = call double @sqrt(double noundef %310) #6
  %312 = load float, ptr %13, align 4, !tbaa !9
  %313 = fpext float %312 to double
  %314 = fcmp ogt double %311, %313
  br i1 %314, label %345, label %315

315:                                              ; preds = %257
  %316 = load i32, ptr %12, align 4, !tbaa !5
  %317 = zext i32 %316 to i64
  %318 = getelementptr inbounds { float, float }, ptr %70, i64 %317
  %319 = getelementptr inbounds { float, float }, ptr %318, i32 0, i32 0
  %320 = load float, ptr %319, align 8
  %321 = getelementptr inbounds { float, float }, ptr %318, i32 0, i32 1
  %322 = load float, ptr %321, align 4
  %323 = getelementptr inbounds { float, float }, ptr %28, i32 0, i32 0
  %324 = getelementptr inbounds { float, float }, ptr %28, i32 0, i32 1
  store float %320, ptr %323, align 4
  store float %322, ptr %324, align 4
  %325 = load <2 x float>, ptr %28, align 4
  %326 = call float @cabsf(<2 x float> noundef %325) #6
  %327 = call i1 @llvm.is.fpclass.f32(float %326, i32 3)
  br i1 %327, label %345, label %328

328:                                              ; preds = %315
  %329 = load i32, ptr %12, align 4, !tbaa !5
  %330 = zext i32 %329 to i64
  %331 = getelementptr inbounds { float, float }, ptr %70, i64 %330
  %332 = getelementptr inbounds { float, float }, ptr %331, i32 0, i32 0
  %333 = load float, ptr %332, align 8
  %334 = getelementptr inbounds { float, float }, ptr %331, i32 0, i32 1
  %335 = load float, ptr %334, align 4
  %336 = getelementptr inbounds { float, float }, ptr %29, i32 0, i32 0
  %337 = getelementptr inbounds { float, float }, ptr %29, i32 0, i32 1
  store float %333, ptr %336, align 4
  store float %335, ptr %337, align 4
  %338 = load <2 x float>, ptr %29, align 4
  %339 = call float @cabsf(<2 x float> noundef %338) #6
  %340 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %340, label %345, label %341

341:                                              ; preds = %328
  %342 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %342, label %345, label %343

343:                                              ; preds = %341
  %344 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %344, label %345, label %402

345:                                              ; preds = %343, %341, %328, %315, %257
  %346 = load i32, ptr %12, align 4, !tbaa !5
  %347 = zext i32 %346 to i64
  %348 = getelementptr inbounds { float, float }, ptr %70, i64 %347
  %349 = getelementptr inbounds { float, float }, ptr %348, i32 0, i32 0
  %350 = load float, ptr %349, align 8
  %351 = getelementptr inbounds { float, float }, ptr %348, i32 0, i32 1
  %352 = load float, ptr %351, align 4
  %353 = getelementptr inbounds { float, float }, ptr %30, i32 0, i32 0
  %354 = getelementptr inbounds { float, float }, ptr %30, i32 0, i32 1
  store float %350, ptr %353, align 4
  store float %352, ptr %354, align 4
  %355 = load <2 x float>, ptr %30, align 4
  %356 = call float @cabsf(<2 x float> noundef %355) #6
  %357 = fsub float %356, 0.000000e+00
  %358 = fpext float %357 to double
  %359 = load i32, ptr %12, align 4, !tbaa !5
  %360 = zext i32 %359 to i64
  %361 = getelementptr inbounds { float, float }, ptr %70, i64 %360
  %362 = getelementptr inbounds { float, float }, ptr %361, i32 0, i32 0
  %363 = load float, ptr %362, align 8
  %364 = getelementptr inbounds { float, float }, ptr %361, i32 0, i32 1
  %365 = load float, ptr %364, align 4
  %366 = getelementptr inbounds { float, float }, ptr %31, i32 0, i32 0
  %367 = getelementptr inbounds { float, float }, ptr %31, i32 0, i32 1
  store float %363, ptr %366, align 4
  store float %365, ptr %367, align 4
  %368 = load <2 x float>, ptr %31, align 4
  %369 = call float @cabsf(<2 x float> noundef %368) #6
  %370 = fsub float %369, 0.000000e+00
  %371 = fpext float %370 to double
  %372 = load i32, ptr %12, align 4, !tbaa !5
  %373 = zext i32 %372 to i64
  %374 = getelementptr inbounds { float, float }, ptr %70, 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 = getelementptr inbounds { float, float }, ptr %32, i32 0, i32 0
  %380 = getelementptr inbounds { float, float }, ptr %32, i32 0, i32 1
  store float %376, ptr %379, align 4
  store float %378, ptr %380, align 4
  %381 = load <2 x float>, ptr %32, align 4
  %382 = call float @cabsf(<2 x float> noundef %381) #6
  %383 = fsub float %382, 0.000000e+00
  %384 = fpext float %383 to double
  %385 = load i32, ptr %12, align 4, !tbaa !5
  %386 = zext i32 %385 to i64
  %387 = getelementptr inbounds { float, float }, ptr %70, i64 %386
  %388 = getelementptr inbounds { float, float }, ptr %387, i32 0, i32 0
  %389 = load float, ptr %388, align 8
  %390 = getelementptr inbounds { float, float }, ptr %387, i32 0, i32 1
  %391 = load float, ptr %390, align 4
  %392 = getelementptr inbounds { float, float }, ptr %33, i32 0, i32 0
  %393 = getelementptr inbounds { float, float }, ptr %33, i32 0, i32 1
  store float %389, ptr %392, align 4
  store float %391, ptr %393, align 4
  %394 = load <2 x float>, ptr %33, align 4
  %395 = call float @cabsf(<2 x float> noundef %394) #6
  %396 = fsub float %395, 0.000000e+00
  %397 = fpext float %396 to double
  %398 = call double @llvm.fmuladd.f64(double %358, double %371, double 0.000000e+00)
  %399 = call double @sqrt(double noundef %398) #6
  %400 = load float, ptr %13, align 4, !tbaa !9
  %401 = fpext float %400 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 189, ptr noundef @.str.14, double noundef %399, ptr noundef @.str.2, ptr noundef @.str.9, double noundef %401)
  br label %403

402:                                              ; preds = %343
  call void (...) @liquid_autotest_passed()
  br label %403

403:                                              ; preds = %402, %345
  %404 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %405 = getelementptr inbounds { float, float }, ptr %404, i32 0, i32 0
  %406 = load float, ptr %405, align 16
  %407 = getelementptr inbounds { float, float }, ptr %404, i32 0, i32 1
  %408 = load float, ptr %407, align 4
  %409 = getelementptr inbounds { float, float }, ptr %34, i32 0, i32 0
  %410 = getelementptr inbounds { float, float }, ptr %34, i32 0, i32 1
  store float %406, ptr %409, align 4
  store float %408, ptr %410, align 4
  %411 = load <2 x float>, ptr %34, align 4
  %412 = call float @cabsf(<2 x float> noundef %411) #6
  %413 = fsub float %412, 1.000000e+00
  %414 = fpext float %413 to double
  %415 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %416 = getelementptr inbounds { float, float }, ptr %415, i32 0, i32 0
  %417 = load float, ptr %416, align 16
  %418 = getelementptr inbounds { float, float }, ptr %415, i32 0, i32 1
  %419 = load float, ptr %418, align 4
  %420 = getelementptr inbounds { float, float }, ptr %35, i32 0, i32 0
  %421 = getelementptr inbounds { float, float }, ptr %35, i32 0, i32 1
  store float %417, ptr %420, align 4
  store float %419, ptr %421, align 4
  %422 = load <2 x float>, ptr %35, align 4
  %423 = call float @cabsf(<2 x float> noundef %422) #6
  %424 = fsub float %423, 1.000000e+00
  %425 = fpext float %424 to double
  %426 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %427 = getelementptr inbounds { float, float }, ptr %426, i32 0, i32 0
  %428 = load float, ptr %427, align 16
  %429 = getelementptr inbounds { float, float }, ptr %426, i32 0, i32 1
  %430 = load float, ptr %429, align 4
  %431 = getelementptr inbounds { float, float }, ptr %36, i32 0, i32 0
  %432 = getelementptr inbounds { float, float }, ptr %36, i32 0, i32 1
  store float %428, ptr %431, align 4
  store float %430, ptr %432, align 4
  %433 = load <2 x float>, ptr %36, align 4
  %434 = call float @cabsf(<2 x float> noundef %433) #6
  %435 = fsub float %434, 1.000000e+00
  %436 = fpext float %435 to double
  %437 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %438 = getelementptr inbounds { float, float }, ptr %437, i32 0, i32 0
  %439 = load float, ptr %438, align 16
  %440 = getelementptr inbounds { float, float }, ptr %437, i32 0, i32 1
  %441 = load float, ptr %440, align 4
  %442 = getelementptr inbounds { float, float }, ptr %37, i32 0, i32 0
  %443 = getelementptr inbounds { float, float }, ptr %37, i32 0, i32 1
  store float %439, ptr %442, align 4
  store float %441, ptr %443, align 4
  %444 = load <2 x float>, ptr %37, align 4
  %445 = call float @cabsf(<2 x float> noundef %444) #6
  %446 = fsub float %445, 1.000000e+00
  %447 = fpext float %446 to double
  %448 = call double @llvm.fmuladd.f64(double %414, double %425, double 0.000000e+00)
  %449 = call double @sqrt(double noundef %448) #6
  %450 = load float, ptr %13, align 4, !tbaa !9
  %451 = fpext float %450 to double
  %452 = fcmp ogt double %449, %451
  br i1 %452, label %479, label %453

453:                                              ; preds = %403
  %454 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %455 = getelementptr inbounds { float, float }, ptr %454, i32 0, i32 0
  %456 = load float, ptr %455, align 16
  %457 = getelementptr inbounds { float, float }, ptr %454, i32 0, i32 1
  %458 = load float, ptr %457, align 4
  %459 = getelementptr inbounds { float, float }, ptr %38, i32 0, i32 0
  %460 = getelementptr inbounds { float, float }, ptr %38, i32 0, i32 1
  store float %456, ptr %459, align 4
  store float %458, ptr %460, align 4
  %461 = load <2 x float>, ptr %38, align 4
  %462 = call float @cabsf(<2 x float> noundef %461) #6
  %463 = call i1 @llvm.is.fpclass.f32(float %462, i32 3)
  br i1 %463, label %479, label %464

464:                                              ; preds = %453
  %465 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %466 = getelementptr inbounds { float, float }, ptr %465, i32 0, i32 0
  %467 = load float, ptr %466, align 16
  %468 = getelementptr inbounds { float, float }, ptr %465, i32 0, i32 1
  %469 = load float, ptr %468, align 4
  %470 = getelementptr inbounds { float, float }, ptr %39, i32 0, i32 0
  %471 = getelementptr inbounds { float, float }, ptr %39, i32 0, i32 1
  store float %467, ptr %470, align 4
  store float %469, ptr %471, align 4
  %472 = load <2 x float>, ptr %39, align 4
  %473 = call float @cabsf(<2 x float> noundef %472) #6
  %474 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %474, label %479, label %475

475:                                              ; preds = %464
  %476 = call i1 @llvm.is.fpclass.f32(float 1.000000e+00, i32 3)
  br i1 %476, label %479, label %477

477:                                              ; preds = %475
  %478 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %478, label %479, label %528

479:                                              ; preds = %477, %475, %464, %453, %403
  %480 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %481 = getelementptr inbounds { float, float }, ptr %480, i32 0, i32 0
  %482 = load float, ptr %481, align 16
  %483 = getelementptr inbounds { float, float }, ptr %480, i32 0, i32 1
  %484 = load float, ptr %483, align 4
  %485 = getelementptr inbounds { float, float }, ptr %40, i32 0, i32 0
  %486 = getelementptr inbounds { float, float }, ptr %40, i32 0, i32 1
  store float %482, ptr %485, align 4
  store float %484, ptr %486, align 4
  %487 = load <2 x float>, ptr %40, align 4
  %488 = call float @cabsf(<2 x float> noundef %487) #6
  %489 = fsub float %488, 1.000000e+00
  %490 = fpext float %489 to double
  %491 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %492 = getelementptr inbounds { float, float }, ptr %491, i32 0, i32 0
  %493 = load float, ptr %492, align 16
  %494 = getelementptr inbounds { float, float }, ptr %491, i32 0, i32 1
  %495 = load float, ptr %494, align 4
  %496 = getelementptr inbounds { float, float }, ptr %41, i32 0, i32 0
  %497 = getelementptr inbounds { float, float }, ptr %41, i32 0, i32 1
  store float %493, ptr %496, align 4
  store float %495, ptr %497, align 4
  %498 = load <2 x float>, ptr %41, align 4
  %499 = call float @cabsf(<2 x float> noundef %498) #6
  %500 = fsub float %499, 1.000000e+00
  %501 = fpext float %500 to double
  %502 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %503 = getelementptr inbounds { float, float }, ptr %502, i32 0, i32 0
  %504 = load float, ptr %503, align 16
  %505 = getelementptr inbounds { float, float }, ptr %502, i32 0, i32 1
  %506 = load float, ptr %505, align 4
  %507 = getelementptr inbounds { float, float }, ptr %42, i32 0, i32 0
  %508 = getelementptr inbounds { float, float }, ptr %42, i32 0, i32 1
  store float %504, ptr %507, align 4
  store float %506, ptr %508, align 4
  %509 = load <2 x float>, ptr %42, align 4
  %510 = call float @cabsf(<2 x float> noundef %509) #6
  %511 = fsub float %510, 1.000000e+00
  %512 = fpext float %511 to double
  %513 = getelementptr inbounds { float, float }, ptr %70, i64 0
  %514 = getelementptr inbounds { float, float }, ptr %513, i32 0, i32 0
  %515 = load float, ptr %514, align 16
  %516 = getelementptr inbounds { float, float }, ptr %513, i32 0, i32 1
  %517 = load float, ptr %516, align 4
  %518 = getelementptr inbounds { float, float }, ptr %43, i32 0, i32 0
  %519 = getelementptr inbounds { float, float }, ptr %43, i32 0, i32 1
  store float %515, ptr %518, align 4
  store float %517, ptr %519, align 4
  %520 = load <2 x float>, ptr %43, align 4
  %521 = call float @cabsf(<2 x float> noundef %520) #6
  %522 = fsub float %521, 1.000000e+00
  %523 = fpext float %522 to double
  %524 = call double @llvm.fmuladd.f64(double %490, double %501, double 0.000000e+00)
  %525 = call double @sqrt(double noundef %524) #6
  %526 = load float, ptr %13, align 4, !tbaa !9
  %527 = fpext float %526 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 190, ptr noundef @.str.15, double noundef %525, ptr noundef @.str.2, ptr noundef @.str.9, double noundef %527)
  br label %529

528:                                              ; preds = %477
  call void (...) @liquid_autotest_passed()
  br label %529

529:                                              ; preds = %528, %479
  %530 = load i32, ptr %7, align 4, !tbaa !5
  %531 = udiv i32 %530, 2
  %532 = zext i32 %531 to i64
  %533 = getelementptr inbounds { float, float }, ptr %70, i64 %532
  %534 = getelementptr inbounds { float, float }, ptr %533, i32 0, i32 0
  %535 = load float, ptr %534, align 8
  %536 = getelementptr inbounds { float, float }, ptr %533, i32 0, i32 1
  %537 = load float, ptr %536, align 4
  %538 = getelementptr inbounds { float, float }, ptr %44, i32 0, i32 0
  %539 = getelementptr inbounds { float, float }, ptr %44, i32 0, i32 1
  store float %535, ptr %538, align 4
  store float %537, ptr %539, align 4
  %540 = load <2 x float>, ptr %44, align 4
  %541 = call float @cabsf(<2 x float> noundef %540) #6
  %542 = fsub float %541, 1.000000e+00
  %543 = fpext float %542 to double
  %544 = load i32, ptr %7, align 4, !tbaa !5
  %545 = udiv i32 %544, 2
  %546 = zext i32 %545 to i64
  %547 = getelementptr inbounds { float, float }, ptr %70, i64 %546
  %548 = getelementptr inbounds { float, float }, ptr %547, i32 0, i32 0
  %549 = load float, ptr %548, align 8
  %550 = getelementptr inbounds { float, float }, ptr %547, i32 0, i32 1
  %551 = load float, ptr %550, align 4
  %552 = getelementptr inbounds { float, float }, ptr %45, i32 0, i32 0
  %553 = getelementptr inbounds { float, float }, ptr %45, i32 0, i32 1
  store float %549, ptr %552, align 4
  store float %551, ptr %553, align 4
  %554 = load <2 x float>, ptr %45, align 4
  %555 = call float @cabsf(<2 x float> noundef %554) #6
  %556 = fsub float %555, 1.000000e+00
  %557 = fpext float %556 to double
  %558 = load i32, ptr %7, align 4, !tbaa !5
  %559 = udiv i32 %558, 2
  %560 = zext i32 %559 to i64
  %561 = getelementptr inbounds { float, float }, ptr %70, i64 %560
  %562 = getelementptr inbounds { float, float }, ptr %561, i32 0, i32 0
  %563 = load float, ptr %562, align 8
  %564 = getelementptr inbounds { float, float }, ptr %561, i32 0, i32 1
  %565 = load float, ptr %564, align 4
  %566 = getelementptr inbounds { float, float }, ptr %46, i32 0, i32 0
  %567 = getelementptr inbounds { float, float }, ptr %46, i32 0, i32 1
  store float %563, ptr %566, align 4
  store float %565, ptr %567, align 4
  %568 = load <2 x float>, ptr %46, align 4
  %569 = call float @cabsf(<2 x float> noundef %568) #6
  %570 = fsub float %569, 1.000000e+00
  %571 = fpext float %570 to double
  %572 = load i32, ptr %7, align 4, !tbaa !5
  %573 = udiv i32 %572, 2
  %574 = zext i32 %573 to i64
  %575 = getelementptr inbounds { float, float }, ptr %70, i64 %574
  %576 = getelementptr inbounds { float, float }, ptr %575, i32 0, i32 0
  %577 = load float, ptr %576, align 8
  %578 = getelementptr inbounds { float, float }, ptr %575, i32 0, i32 1
  %579 = load float, ptr %578, align 4
  %580 = getelementptr inbounds { float, float }, ptr %47, i32 0, i32 0
  %581 = getelementptr inbounds { float, float }, ptr %47, i32 0, i32 1
  store float %577, ptr %580, align 4
  store float %579, ptr %581, align 4
  %582 = load <2 x float>, ptr %47, align 4
  %583 = call float @cabsf(<2 x float> noundef %582) #6
  %584 = fsub float %583, 1.000000e+00
  %585 = fpext float %584 to double
  %586 = call double @llvm.fmuladd.f64(double %543, double %557, double 0.000000e+00)
  %587 = call double @sqrt(double noundef %586) #6
  %588 = load float, ptr %13, align 4, !tbaa !9
  %589 = fpext float %588 to double
  %590 = fcmp ogt double %587, %589
  br i1 %590, label %623, label %591

591:                                              ; preds = %529
  %592 = load i32, ptr %7, align 4, !tbaa !5
  %593 = udiv i32 %592, 2
  %594 = zext i32 %593 to i64
  %595 = getelementptr inbounds { float, float }, ptr %70, i64 %594
  %596 = getelementptr inbounds { float, float }, ptr %595, i32 0, i32 0
  %597 = load float, ptr %596, align 8
  %598 = getelementptr inbounds { float, float }, ptr %595, i32 0, i32 1
  %599 = load float, ptr %598, align 4
  %600 = getelementptr inbounds { float, float }, ptr %48, i32 0, i32 0
  %601 = getelementptr inbounds { float, float }, ptr %48, i32 0, i32 1
  store float %597, ptr %600, align 4
  store float %599, ptr %601, align 4
  %602 = load <2 x float>, ptr %48, align 4
  %603 = call float @cabsf(<2 x float> noundef %602) #6
  %604 = call i1 @llvm.is.fpclass.f32(float %603, i32 3)
  br i1 %604, label %623, label %605

605:                                              ; preds = %591
  %606 = load i32, ptr %7, align 4, !tbaa !5
  %607 = udiv i32 %606, 2
  %608 = zext i32 %607 to i64
  %609 = getelementptr inbounds { float, float }, ptr %70, i64 %608
  %610 = getelementptr inbounds { float, float }, ptr %609, i32 0, i32 0
  %611 = load float, ptr %610, align 8
  %612 = getelementptr inbounds { float, float }, ptr %609, i32 0, i32 1
  %613 = load float, ptr %612, align 4
  %614 = getelementptr inbounds { float, float }, ptr %49, i32 0, i32 0
  %615 = getelementptr inbounds { float, float }, ptr %49, i32 0, i32 1
  store float %611, ptr %614, align 4
  store float %613, ptr %615, align 4
  %616 = load <2 x float>, ptr %49, align 4
  %617 = call float @cabsf(<2 x float> noundef %616) #6
  %618 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %618, label %623, label %619

619:                                              ; preds = %605
  %620 = call i1 @llvm.is.fpclass.f32(float 1.000000e+00, i32 3)
  br i1 %620, label %623, label %621

621:                                              ; preds = %619
  %622 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %622, label %623, label %684

623:                                              ; preds = %621, %619, %605, %591, %529
  %624 = load i32, ptr %7, align 4, !tbaa !5
  %625 = udiv i32 %624, 2
  %626 = zext i32 %625 to i64
  %627 = getelementptr inbounds { float, float }, ptr %70, i64 %626
  %628 = getelementptr inbounds { float, float }, ptr %627, i32 0, i32 0
  %629 = load float, ptr %628, align 8
  %630 = getelementptr inbounds { float, float }, ptr %627, i32 0, i32 1
  %631 = load float, ptr %630, align 4
  %632 = getelementptr inbounds { float, float }, ptr %50, i32 0, i32 0
  %633 = getelementptr inbounds { float, float }, ptr %50, i32 0, i32 1
  store float %629, ptr %632, align 4
  store float %631, ptr %633, align 4
  %634 = load <2 x float>, ptr %50, align 4
  %635 = call float @cabsf(<2 x float> noundef %634) #6
  %636 = fsub float %635, 1.000000e+00
  %637 = fpext float %636 to double
  %638 = load i32, ptr %7, align 4, !tbaa !5
  %639 = udiv i32 %638, 2
  %640 = zext i32 %639 to i64
  %641 = getelementptr inbounds { float, float }, ptr %70, i64 %640
  %642 = getelementptr inbounds { float, float }, ptr %641, i32 0, i32 0
  %643 = load float, ptr %642, align 8
  %644 = getelementptr inbounds { float, float }, ptr %641, i32 0, i32 1
  %645 = load float, ptr %644, align 4
  %646 = getelementptr inbounds { float, float }, ptr %51, i32 0, i32 0
  %647 = getelementptr inbounds { float, float }, ptr %51, i32 0, i32 1
  store float %643, ptr %646, align 4
  store float %645, ptr %647, align 4
  %648 = load <2 x float>, ptr %51, align 4
  %649 = call float @cabsf(<2 x float> noundef %648) #6
  %650 = fsub float %649, 1.000000e+00
  %651 = fpext float %650 to double
  %652 = load i32, ptr %7, align 4, !tbaa !5
  %653 = udiv i32 %652, 2
  %654 = zext i32 %653 to i64
  %655 = getelementptr inbounds { float, float }, ptr %70, i64 %654
  %656 = getelementptr inbounds { float, float }, ptr %655, i32 0, i32 0
  %657 = load float, ptr %656, align 8
  %658 = getelementptr inbounds { float, float }, ptr %655, i32 0, i32 1
  %659 = load float, ptr %658, align 4
  %660 = getelementptr inbounds { float, float }, ptr %52, i32 0, i32 0
  %661 = getelementptr inbounds { float, float }, ptr %52, i32 0, i32 1
  store float %657, ptr %660, align 4
  store float %659, ptr %661, align 4
  %662 = load <2 x float>, ptr %52, align 4
  %663 = call float @cabsf(<2 x float> noundef %662) #6
  %664 = fsub float %663, 1.000000e+00
  %665 = fpext float %664 to double
  %666 = load i32, ptr %7, align 4, !tbaa !5
  %667 = udiv i32 %666, 2
  %668 = zext i32 %667 to i64
  %669 = getelementptr inbounds { float, float }, ptr %70, i64 %668
  %670 = getelementptr inbounds { float, float }, ptr %669, i32 0, i32 0
  %671 = load float, ptr %670, align 8
  %672 = getelementptr inbounds { float, float }, ptr %669, i32 0, i32 1
  %673 = load float, ptr %672, align 4
  %674 = getelementptr inbounds { float, float }, ptr %53, i32 0, i32 0
  %675 = getelementptr inbounds { float, float }, ptr %53, i32 0, i32 1
  store float %671, ptr %674, align 4
  store float %673, ptr %675, align 4
  %676 = load <2 x float>, ptr %53, align 4
  %677 = call float @cabsf(<2 x float> noundef %676) #6
  %678 = fsub float %677, 1.000000e+00
  %679 = fpext float %678 to double
  %680 = call double @llvm.fmuladd.f64(double %637, double %651, double 0.000000e+00)
  %681 = call double @sqrt(double noundef %680) #6
  %682 = load float, ptr %13, align 4, !tbaa !9
  %683 = fpext float %682 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 191, ptr noundef @.str.16, double noundef %681, ptr noundef @.str.2, ptr noundef @.str.9, double noundef %683)
  br label %685

684:                                              ; preds = %621
  call void (...) @liquid_autotest_passed()
  br label %685

685:                                              ; preds = %684, %623
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  %686 = load ptr, ptr %5, align 8
  call void @llvm.stackrestore.p0(ptr %686)
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #6
  ret void
}

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare float @llvm.round.f32(float) #2

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 = { nocallback nofree nosync nounwind willreturn }
attributes #5 = { nounwind uwtable "min-legal-vector-width"="64" "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 #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"}


; 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 [89 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [38 x i8], align 1

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @sqrt(double noundef) local_unnamed_addr #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

declare i32 @liquid_firdes_notch(i32 noundef, float noundef, float noundef, ptr noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind
declare float @cabsf(<2 x float> noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
define dso_local void @autotest_liquid_firdes_notch() local_unnamed_addr #4 {
  %1 = alloca [41 x float], align 16
  %2 = call i32 @liquid_firdes_notch(i32 noundef 20, float noundef 0x3FC99999A0000000, float noundef 6.000000e+01, ptr noundef nonnull %1) #5
  %3 = alloca [1200 x { float, float }], align 16
  %4 = alloca [1200 x { float, float }], align 16
  br label %5

5:                                                ; preds = %26, %0
  %indvars.iv = phi i64 [ 0, %0 ], [ %indvars.iv.next.2, %26 ]
  %6 = icmp ult i64 %indvars.iv, 41
  br i1 %6, label %7, label %10

7:                                                ; preds = %5
  %8 = getelementptr inbounds float, ptr %1, i64 %indvars.iv
  %9 = load float, ptr %8, align 4, !tbaa !5
  br label %10

10:                                               ; preds = %5, %7
  %11 = phi float [ %9, %7 ], [ 0.000000e+00, %5 ]
  %12 = getelementptr inbounds { float, float }, ptr %3, i64 %indvars.iv
  %13 = getelementptr inbounds i8, ptr %12, i64 4
  store float %11, ptr %12, align 8
  store float 0.000000e+00, ptr %13, align 4
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %14 = icmp ult i64 %indvars.iv, 40
  br i1 %14, label %15, label %18

15:                                               ; preds = %10
  %16 = getelementptr inbounds float, ptr %1, i64 %indvars.iv.next
  %17 = load float, ptr %16, align 4, !tbaa !5
  br label %18

18:                                               ; preds = %15, %10
  %19 = phi float [ %17, %15 ], [ 0.000000e+00, %10 ]
  %20 = getelementptr inbounds { float, float }, ptr %3, i64 %indvars.iv.next
  %21 = getelementptr inbounds i8, ptr %20, i64 4
  store float %19, ptr %20, align 8
  store float 0.000000e+00, ptr %21, align 4
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %22 = icmp ult i64 %indvars.iv, 39
  br i1 %22, label %23, label %26

23:                                               ; preds = %18
  %24 = getelementptr inbounds float, ptr %1, i64 %indvars.iv.next.1
  %25 = load float, ptr %24, align 4, !tbaa !5
  br label %26

26:                                               ; preds = %23, %18
  %27 = phi float [ %25, %23 ], [ 0.000000e+00, %18 ]
  %28 = getelementptr inbounds { float, float }, ptr %3, i64 %indvars.iv.next.1
  %29 = getelementptr inbounds i8, ptr %28, i64 4
  store float %27, ptr %28, align 8
  store float 0.000000e+00, ptr %29, align 4
  %indvars.iv.next.2 = add nuw nsw i64 %indvars.iv, 3
  %exitcond.not.2 = icmp eq i64 %indvars.iv.next.2, 1200
  br i1 %exitcond.not.2, label %30, label %5, !llvm.loop !9

30:                                               ; preds = %26
  %31 = call i32 @fft_run(i32 noundef 1200, ptr noundef nonnull %3, ptr noundef nonnull %4, i32 noundef 1, i32 noundef 0) #5
  %32 = getelementptr inbounds i8, ptr %4, i64 1920
  %33 = load <4 x float>, ptr %32, align 16
  %.sroa.078.4.vec.insert = shufflevector <4 x float> %33, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %34 = call float @cabsf(<2 x float> noundef %.sroa.078.4.vec.insert) #5
  %35 = fpext float %34 to double
  %36 = load <4 x float>, ptr %32, align 16
  %.sroa.076.4.vec.insert = shufflevector <4 x float> %36, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %37 = call float @cabsf(<2 x float> noundef %.sroa.076.4.vec.insert) #5
  %38 = fpext float %37 to double
  %39 = load <4 x float>, ptr %32, align 16
  %.sroa.074.4.vec.insert = shufflevector <4 x float> %39, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %40 = call float @cabsf(<2 x float> noundef %.sroa.074.4.vec.insert) #5
  %41 = load <4 x float>, ptr %32, align 16
  %.sroa.072.4.vec.insert = shufflevector <4 x float> %41, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %42 = call float @cabsf(<2 x float> noundef %.sroa.072.4.vec.insert) #5
  %43 = call double @llvm.fmuladd.f64(double %35, double %38, double 0.000000e+00)
  %44 = call double @sqrt(double noundef %43) #5
  %45 = fcmp ogt double %44, 0x3F60624DE0000000
  br i1 %45, label %53, label %46

46:                                               ; preds = %30
  %47 = load <4 x float>, ptr %32, align 16
  %.sroa.070.4.vec.insert = shufflevector <4 x float> %47, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %48 = call float @cabsf(<2 x float> noundef %.sroa.070.4.vec.insert) #5
  %49 = fcmp uno float %48, 0.000000e+00
  br i1 %49, label %53, label %50

50:                                               ; preds = %46
  %51 = load <4 x float>, ptr %32, align 16
  %.sroa.068.4.vec.insert = shufflevector <4 x float> %51, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %52 = call float @cabsf(<2 x float> noundef %.sroa.068.4.vec.insert) #5
  call void (...) @liquid_autotest_passed() #5
  br label %66

53:                                               ; preds = %46, %30
  %54 = load <4 x float>, ptr %32, align 16
  %.sroa.066.4.vec.insert = shufflevector <4 x float> %54, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %55 = call float @cabsf(<2 x float> noundef %.sroa.066.4.vec.insert) #5
  %56 = fpext float %55 to double
  %57 = load <4 x float>, ptr %32, align 16
  %.sroa.064.4.vec.insert = shufflevector <4 x float> %57, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %58 = call float @cabsf(<2 x float> noundef %.sroa.064.4.vec.insert) #5
  %59 = fpext float %58 to double
  %60 = load <4 x float>, ptr %32, align 16
  %.sroa.062.4.vec.insert = shufflevector <4 x float> %60, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %61 = call float @cabsf(<2 x float> noundef %.sroa.062.4.vec.insert) #5
  %62 = load <4 x float>, ptr %32, align 16
  %.sroa.060.4.vec.insert = shufflevector <4 x float> %62, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %63 = call float @cabsf(<2 x float> noundef %.sroa.060.4.vec.insert) #5
  %64 = call double @llvm.fmuladd.f64(double %56, double %59, double 0.000000e+00)
  %65 = call double @sqrt(double noundef %64) #5
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 188, ptr noundef nonnull @.str.13, double noundef %65, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.9, double noundef 0x3F60624DE0000000) #5
  br label %66

66:                                               ; preds = %50, %53
  %67 = getelementptr inbounds i8, ptr %4, i64 7680
  %68 = load <4 x float>, ptr %67, align 16
  %.sroa.058.4.vec.insert = shufflevector <4 x float> %68, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %69 = call float @cabsf(<2 x float> noundef %.sroa.058.4.vec.insert) #5
  %70 = fpext float %69 to double
  %71 = load <4 x float>, ptr %67, align 16
  %.sroa.056.4.vec.insert = shufflevector <4 x float> %71, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %72 = call float @cabsf(<2 x float> noundef %.sroa.056.4.vec.insert) #5
  %73 = fpext float %72 to double
  %74 = load <4 x float>, ptr %67, align 16
  %.sroa.054.4.vec.insert = shufflevector <4 x float> %74, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %75 = call float @cabsf(<2 x float> noundef %.sroa.054.4.vec.insert) #5
  %76 = load <4 x float>, ptr %67, align 16
  %.sroa.052.4.vec.insert = shufflevector <4 x float> %76, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %77 = call float @cabsf(<2 x float> noundef %.sroa.052.4.vec.insert) #5
  %78 = call double @llvm.fmuladd.f64(double %70, double %73, double 0.000000e+00)
  %79 = call double @sqrt(double noundef %78) #5
  %80 = fcmp ogt double %79, 0x3F60624DE0000000
  br i1 %80, label %88, label %81

81:                                               ; preds = %66
  %82 = load <4 x float>, ptr %67, align 16
  %.sroa.050.4.vec.insert = shufflevector <4 x float> %82, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %83 = call float @cabsf(<2 x float> noundef %.sroa.050.4.vec.insert) #5
  %84 = fcmp uno float %83, 0.000000e+00
  br i1 %84, label %88, label %85

85:                                               ; preds = %81
  %86 = load <4 x float>, ptr %67, align 16
  %.sroa.048.4.vec.insert = shufflevector <4 x float> %86, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %87 = call float @cabsf(<2 x float> noundef %.sroa.048.4.vec.insert) #5
  call void (...) @liquid_autotest_passed() #5
  br label %101

88:                                               ; preds = %81, %66
  %89 = load <4 x float>, ptr %67, align 16
  %.sroa.046.4.vec.insert = shufflevector <4 x float> %89, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %90 = call float @cabsf(<2 x float> noundef %.sroa.046.4.vec.insert) #5
  %91 = fpext float %90 to double
  %92 = load <4 x float>, ptr %67, align 16
  %.sroa.044.4.vec.insert = shufflevector <4 x float> %92, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %93 = call float @cabsf(<2 x float> noundef %.sroa.044.4.vec.insert) #5
  %94 = fpext float %93 to double
  %95 = load <4 x float>, ptr %67, align 16
  %.sroa.042.4.vec.insert = shufflevector <4 x float> %95, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %96 = call float @cabsf(<2 x float> noundef %.sroa.042.4.vec.insert) #5
  %97 = load <4 x float>, ptr %67, align 16
  %.sroa.040.4.vec.insert = shufflevector <4 x float> %97, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %98 = call float @cabsf(<2 x float> noundef %.sroa.040.4.vec.insert) #5
  %99 = call double @llvm.fmuladd.f64(double %91, double %94, double 0.000000e+00)
  %100 = call double @sqrt(double noundef %99) #5
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 189, ptr noundef nonnull @.str.14, double noundef %100, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.9, double noundef 0x3F60624DE0000000) #5
  br label %101

101:                                              ; preds = %85, %88
  %102 = load <4 x float>, ptr %4, align 16
  %.sroa.038.4.vec.insert = shufflevector <4 x float> %102, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %103 = call float @cabsf(<2 x float> noundef %.sroa.038.4.vec.insert) #5
  %104 = fadd float %103, -1.000000e+00
  %105 = fpext float %104 to double
  %106 = load <4 x float>, ptr %4, align 16
  %.sroa.036.4.vec.insert = shufflevector <4 x float> %106, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %107 = call float @cabsf(<2 x float> noundef %.sroa.036.4.vec.insert) #5
  %108 = fadd float %107, -1.000000e+00
  %109 = fpext float %108 to double
  %110 = load <4 x float>, ptr %4, align 16
  %.sroa.034.4.vec.insert = shufflevector <4 x float> %110, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %111 = call float @cabsf(<2 x float> noundef %.sroa.034.4.vec.insert) #5
  %112 = load <4 x float>, ptr %4, align 16
  %.sroa.032.4.vec.insert = shufflevector <4 x float> %112, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %113 = call float @cabsf(<2 x float> noundef %.sroa.032.4.vec.insert) #5
  %114 = call double @llvm.fmuladd.f64(double %105, double %109, double 0.000000e+00)
  %115 = call double @sqrt(double noundef %114) #5
  %116 = fcmp ogt double %115, 0x3F60624DE0000000
  br i1 %116, label %124, label %117

117:                                              ; preds = %101
  %118 = load <4 x float>, ptr %4, align 16
  %.sroa.030.4.vec.insert = shufflevector <4 x float> %118, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %119 = call float @cabsf(<2 x float> noundef %.sroa.030.4.vec.insert) #5
  %120 = fcmp uno float %119, 0.000000e+00
  br i1 %120, label %124, label %121

121:                                              ; preds = %117
  %122 = load <4 x float>, ptr %4, align 16
  %.sroa.028.4.vec.insert = shufflevector <4 x float> %122, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %123 = call float @cabsf(<2 x float> noundef %.sroa.028.4.vec.insert) #5
  call void (...) @liquid_autotest_passed() #5
  br label %139

124:                                              ; preds = %117, %101
  %125 = load <4 x float>, ptr %4, align 16
  %.sroa.026.4.vec.insert = shufflevector <4 x float> %125, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %126 = call float @cabsf(<2 x float> noundef %.sroa.026.4.vec.insert) #5
  %127 = fadd float %126, -1.000000e+00
  %128 = fpext float %127 to double
  %129 = load <4 x float>, ptr %4, align 16
  %.sroa.024.4.vec.insert = shufflevector <4 x float> %129, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %130 = call float @cabsf(<2 x float> noundef %.sroa.024.4.vec.insert) #5
  %131 = fadd float %130, -1.000000e+00
  %132 = fpext float %131 to double
  %133 = load <4 x float>, ptr %4, align 16
  %.sroa.022.4.vec.insert = shufflevector <4 x float> %133, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %134 = call float @cabsf(<2 x float> noundef %.sroa.022.4.vec.insert) #5
  %135 = load <4 x float>, ptr %4, align 16
  %.sroa.020.4.vec.insert = shufflevector <4 x float> %135, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %136 = call float @cabsf(<2 x float> noundef %.sroa.020.4.vec.insert) #5
  %137 = call double @llvm.fmuladd.f64(double %128, double %132, double 0.000000e+00)
  %138 = call double @sqrt(double noundef %137) #5
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 190, ptr noundef nonnull @.str.15, double noundef %138, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.9, double noundef 0x3F60624DE0000000) #5
  br label %139

139:                                              ; preds = %121, %124
  %140 = getelementptr inbounds i8, ptr %4, i64 4800
  %141 = load <4 x float>, ptr %140, align 16
  %.sroa.018.4.vec.insert = shufflevector <4 x float> %141, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %142 = call float @cabsf(<2 x float> noundef %.sroa.018.4.vec.insert) #5
  %143 = fadd float %142, -1.000000e+00
  %144 = fpext float %143 to double
  %145 = load <4 x float>, ptr %140, align 16
  %.sroa.016.4.vec.insert = shufflevector <4 x float> %145, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %146 = call float @cabsf(<2 x float> noundef %.sroa.016.4.vec.insert) #5
  %147 = fadd float %146, -1.000000e+00
  %148 = fpext float %147 to double
  %149 = load <4 x float>, ptr %140, align 16
  %.sroa.014.4.vec.insert = shufflevector <4 x float> %149, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %150 = call float @cabsf(<2 x float> noundef %.sroa.014.4.vec.insert) #5
  %151 = load <4 x float>, ptr %140, align 16
  %.sroa.012.4.vec.insert = shufflevector <4 x float> %151, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %152 = call float @cabsf(<2 x float> noundef %.sroa.012.4.vec.insert) #5
  %153 = call double @llvm.fmuladd.f64(double %144, double %148, double 0.000000e+00)
  %154 = call double @sqrt(double noundef %153) #5
  %155 = fcmp ogt double %154, 0x3F60624DE0000000
  br i1 %155, label %163, label %156

156:                                              ; preds = %139
  %157 = load <4 x float>, ptr %140, align 16
  %.sroa.010.4.vec.insert = shufflevector <4 x float> %157, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %158 = call float @cabsf(<2 x float> noundef %.sroa.010.4.vec.insert) #5
  %159 = fcmp uno float %158, 0.000000e+00
  br i1 %159, label %163, label %160

160:                                              ; preds = %156
  %161 = load <4 x float>, ptr %140, align 16
  %.sroa.08.4.vec.insert = shufflevector <4 x float> %161, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %162 = call float @cabsf(<2 x float> noundef %.sroa.08.4.vec.insert) #5
  call void (...) @liquid_autotest_passed() #5
  br label %178

163:                                              ; preds = %156, %139
  %164 = load <4 x float>, ptr %140, align 16
  %.sroa.06.4.vec.insert = shufflevector <4 x float> %164, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %165 = call float @cabsf(<2 x float> noundef %.sroa.06.4.vec.insert) #5
  %166 = fadd float %165, -1.000000e+00
  %167 = fpext float %166 to double
  %168 = load <4 x float>, ptr %140, align 16
  %.sroa.04.4.vec.insert = shufflevector <4 x float> %168, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %169 = call float @cabsf(<2 x float> noundef %.sroa.04.4.vec.insert) #5
  %170 = fadd float %169, -1.000000e+00
  %171 = fpext float %170 to double
  %172 = load <4 x float>, ptr %140, align 16
  %.sroa.02.4.vec.insert = shufflevector <4 x float> %172, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %173 = call float @cabsf(<2 x float> noundef %.sroa.02.4.vec.insert) #5
  %174 = load <4 x float>, ptr %140, align 16
  %.sroa.0.4.vec.insert = shufflevector <4 x float> %174, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %175 = call float @cabsf(<2 x float> noundef %.sroa.0.4.vec.insert) #5
  %176 = call double @llvm.fmuladd.f64(double %167, double %171, double 0.000000e+00)
  %177 = call double @sqrt(double noundef %176) #5
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 191, ptr noundef nonnull @.str.16, double noundef %177, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.9, double noundef 0x3F60624DE0000000) #5
  br label %178

178:                                              ; preds = %160, %163
  ret void
}

attributes #0 = { mustprogress nofree nounwind willreturn memory(write) "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 #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 = { 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"="64" "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 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}


; Effective O3 passes: BDCEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,LoopRotatePass,LoopUnrollPass,SROAPass,SimplifyCFGPass,VectorCombinePass