; LLVM IR from jgaeddert/liquid-dsp :: src/framing/tests (detector_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"

@liquid_autotest_verbose = external global i32, align 4
@.str = external hidden unnamed_addr constant [71 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [92 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [5 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @detector_cccf_runtest(i32 noundef %0, float noundef %1, float noundef %2) #0 {
  %4 = alloca i32, align 4
  %5 = alloca float, align 4
  %6 = alloca float, align 4
  %7 = alloca i32, align 4
  %8 = alloca float, align 4
  %9 = alloca float, align 4
  %10 = alloca i32, align 4
  %11 = alloca float, align 4
  %12 = alloca i32, align 4
  %13 = alloca float, align 4
  %14 = alloca float, align 4
  %15 = alloca float, align 4
  %16 = alloca ptr, align 8
  %17 = alloca i64, align 8
  %18 = alloca i64, align 8
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %22 = alloca { float, float }, align 4
  %23 = alloca ptr, align 8
  %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 ptr, align 8
  %30 = alloca float, align 4
  %31 = alloca float, align 4
  %32 = alloca float, align 4
  %33 = alloca float, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca { float, float }, align 4
  store i32 %0, ptr %4, align 4, !tbaa !5
  store float %1, ptr %5, align 4, !tbaa !9
  store float %2, ptr %6, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  store float -8.000000e+01, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %9) #6
  store float 3.000000e+01, ptr %9, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %10) #6
  store i32 11, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #6
  store float 0x3FD3333340000000, ptr %11, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #6
  %37 = load i32, ptr %4, align 4, !tbaa !5
  %38 = load i32, ptr %10, align 4, !tbaa !5
  %39 = mul i32 2, %38
  %40 = add i32 %37, %39
  %41 = add i32 %40, 1
  store i32 %41, ptr %12, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  %42 = load float, ptr %8, align 4, !tbaa !9
  %43 = fdiv float %42, 2.000000e+01
  %44 = call float @powf(float noundef 1.000000e+01, float noundef %43) #6
  store float %44, ptr %13, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #6
  %45 = load float, ptr %9, align 4, !tbaa !9
  %46 = load float, ptr %8, align 4, !tbaa !9
  %47 = fadd float %45, %46
  %48 = fdiv float %47, 2.000000e+01
  %49 = call float @powf(float noundef 1.000000e+01, float noundef %48) #6
  store float %49, ptr %14, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #6
  %50 = load i32, ptr %4, align 4, !tbaa !5
  %51 = load i32, ptr %10, align 4, !tbaa !5
  %52 = add i32 %50, %51
  %53 = uitofp i32 %52 to float
  %54 = load float, ptr %5, align 4, !tbaa !9
  %55 = fadd float %53, %54
  store float %55, ptr %15, align 4, !tbaa !9
  %56 = load i32, ptr %4, align 4, !tbaa !5
  %57 = zext i32 %56 to i64
  %58 = call ptr @llvm.stacksave.p0()
  store ptr %58, ptr %16, align 8
  %59 = alloca { float, float }, i64 %57, align 16
  store i64 %57, ptr %17, align 8
  %60 = load i32, ptr %12, align 4, !tbaa !5
  %61 = zext i32 %60 to i64
  %62 = alloca { float, float }, i64 %61, align 16
  store i64 %61, ptr %18, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #6
  %63 = load i32, ptr %4, align 4, !tbaa !5
  %64 = load i32, ptr %4, align 4, !tbaa !5
  %65 = urem i32 %64, 2
  %66 = sub i32 %63, %65
  %67 = udiv i32 %66, 2
  store i32 %67, ptr %19, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #6
  %68 = load i32, ptr %19, align 4, !tbaa !5
  %69 = call i32 @liquid_nextpow2(i32 noundef %68)
  store i32 %69, ptr %20, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #6
  %70 = load i32, ptr %20, align 4, !tbaa !5
  %71 = call ptr @msequence_create_default(i32 noundef %70)
  store ptr %71, ptr %21, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #6
  %72 = getelementptr inbounds { float, float }, ptr %22, i32 0, i32 0
  %73 = getelementptr inbounds { float, float }, ptr %22, i32 0, i32 1
  store float 0.000000e+00, ptr %72, align 4
  store float 0.000000e+00, ptr %73, align 4
  store i32 0, ptr %7, align 4, !tbaa !5
  br label %74

74:                                               ; preds = %100, %3
  %75 = load i32, ptr %7, align 4, !tbaa !5
  %76 = load i32, ptr %4, align 4, !tbaa !5
  %77 = icmp ult i32 %75, %76
  br i1 %77, label %78, label %103

78:                                               ; preds = %74
  %79 = load i32, ptr %7, align 4, !tbaa !5
  %80 = urem i32 %79, 2
  %81 = icmp eq i32 %80, 0
  br i1 %81, label %82, label %90

82:                                               ; preds = %78
  %83 = load ptr, ptr %21, align 8, !tbaa !11
  %84 = call i32 @msequence_advance(ptr noundef %83)
  %85 = icmp ne i32 %84, 0
  %86 = zext i1 %85 to i64
  %87 = select i1 %85, float 1.000000e+00, float -1.000000e+00
  %88 = getelementptr inbounds { float, float }, ptr %22, i32 0, i32 0
  %89 = getelementptr inbounds { float, float }, ptr %22, i32 0, i32 1
  store float %87, ptr %88, align 4
  store float 0.000000e+00, ptr %89, align 4
  br label %90

90:                                               ; preds = %82, %78
  %91 = getelementptr inbounds { float, float }, ptr %22, i32 0, i32 0
  %92 = load float, ptr %91, align 4
  %93 = getelementptr inbounds { float, float }, ptr %22, i32 0, i32 1
  %94 = load float, ptr %93, align 4
  %95 = load i32, ptr %7, align 4, !tbaa !5
  %96 = zext i32 %95 to i64
  %97 = getelementptr inbounds { float, float }, ptr %59, i64 %96
  %98 = getelementptr inbounds { float, float }, ptr %97, i32 0, i32 0
  %99 = getelementptr inbounds { float, float }, ptr %97, i32 0, i32 1
  store float %92, ptr %98, align 8
  store float %94, ptr %99, align 4
  br label %100

100:                                              ; preds = %90
  %101 = load i32, ptr %7, align 4, !tbaa !5
  %102 = add i32 %101, 1
  store i32 %102, ptr %7, align 4, !tbaa !5
  br label %74, !llvm.loop !13

103:                                              ; preds = %74
  %104 = load ptr, ptr %21, align 8, !tbaa !11
  %105 = call i32 @msequence_destroy(ptr noundef %104)
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #6
  %106 = load i32, ptr %10, align 4, !tbaa !5
  %107 = mul i32 2, %106
  %108 = add i32 %107, 1
  %109 = load float, ptr %5, align 4, !tbaa !9
  %110 = call ptr @firfilt_crcf_create_kaiser(i32 noundef %108, float noundef 0x3FDCCCCCC0000000, float noundef 4.000000e+01, float noundef %109)
  store ptr %110, ptr %23, align 8, !tbaa !11
  store i32 0, ptr %7, align 4, !tbaa !5
  br label %111

111:                                              ; preds = %225, %103
  %112 = load i32, ptr %7, align 4, !tbaa !5
  %113 = load i32, ptr %12, align 4, !tbaa !5
  %114 = icmp ult i32 %112, %113
  br i1 %114, label %115, label %228

115:                                              ; preds = %111
  %116 = load i32, ptr %7, align 4, !tbaa !5
  %117 = load i32, ptr %4, align 4, !tbaa !5
  %118 = icmp ult i32 %116, %117
  br i1 %118, label %119, label %132

119:                                              ; preds = %115
  %120 = load ptr, ptr %23, align 8, !tbaa !11
  %121 = load i32, ptr %7, align 4, !tbaa !5
  %122 = zext i32 %121 to i64
  %123 = getelementptr inbounds { float, float }, ptr %59, i64 %122
  %124 = getelementptr inbounds { float, float }, ptr %123, i32 0, i32 0
  %125 = load float, ptr %124, align 8
  %126 = getelementptr inbounds { float, float }, ptr %123, i32 0, i32 1
  %127 = load float, ptr %126, align 4
  %128 = getelementptr inbounds { float, float }, ptr %24, i32 0, i32 0
  %129 = getelementptr inbounds { float, float }, ptr %24, i32 0, i32 1
  store float %125, ptr %128, align 4
  store float %127, ptr %129, align 4
  %130 = load <2 x float>, ptr %24, align 4
  %131 = call i32 @firfilt_crcf_push(ptr noundef %120, <2 x float> noundef %130)
  br label %138

132:                                              ; preds = %115
  %133 = load ptr, ptr %23, align 8, !tbaa !11
  %134 = getelementptr inbounds { float, float }, ptr %25, i32 0, i32 0
  %135 = getelementptr inbounds { float, float }, ptr %25, i32 0, i32 1
  store float 0.000000e+00, ptr %134, align 4
  store float 0.000000e+00, ptr %135, align 4
  %136 = load <2 x float>, ptr %25, align 4
  %137 = call i32 @firfilt_crcf_push(ptr noundef %133, <2 x float> noundef %136)
  br label %138

138:                                              ; preds = %132, %119
  %139 = load ptr, ptr %23, align 8, !tbaa !11
  %140 = load i32, ptr %7, align 4, !tbaa !5
  %141 = zext i32 %140 to i64
  %142 = getelementptr inbounds { float, float }, ptr %62, i64 %141
  %143 = call i32 @firfilt_crcf_execute(ptr noundef %139, ptr noundef %142)
  %144 = load float, ptr %14, align 4, !tbaa !9
  %145 = load i32, ptr %7, align 4, !tbaa !5
  %146 = zext i32 %145 to i64
  %147 = getelementptr inbounds { float, float }, ptr %62, i64 %146
  %148 = getelementptr inbounds { float, float }, ptr %147, i32 0, i32 0
  %149 = load float, ptr %148, align 8
  %150 = getelementptr inbounds { float, float }, ptr %147, i32 0, i32 1
  %151 = load float, ptr %150, align 4
  %152 = fmul float %149, %144
  %153 = fmul float %151, %144
  %154 = getelementptr inbounds { float, float }, ptr %147, i32 0, i32 0
  %155 = getelementptr inbounds { float, float }, ptr %147, i32 0, i32 1
  store float %152, ptr %154, align 8
  store float %153, ptr %155, align 4
  %156 = load float, ptr %6, align 4, !tbaa !9
  %157 = fmul float 0.000000e+00, %156
  %158 = fmul float 1.000000e+00, %156
  %159 = load i32, ptr %7, align 4, !tbaa !5
  %160 = uitofp i32 %159 to float
  %161 = fmul float %157, %160
  %162 = fmul float %158, %160
  %163 = getelementptr inbounds { float, float }, ptr %26, i32 0, i32 0
  %164 = getelementptr inbounds { float, float }, ptr %26, i32 0, i32 1
  store float %161, ptr %163, align 4
  store float %162, ptr %164, align 4
  %165 = load <2 x float>, ptr %26, align 4
  %166 = call <2 x float> @cexpf(<2 x float> noundef %165) #6
  store <2 x float> %166, ptr %27, align 4
  %167 = getelementptr inbounds { float, float }, ptr %27, i32 0, i32 0
  %168 = load float, ptr %167, align 4
  %169 = getelementptr inbounds { float, float }, ptr %27, i32 0, i32 1
  %170 = load float, ptr %169, align 4
  %171 = load i32, ptr %7, align 4, !tbaa !5
  %172 = zext i32 %171 to i64
  %173 = getelementptr inbounds { float, float }, ptr %62, i64 %172
  %174 = getelementptr inbounds { float, float }, ptr %173, i32 0, i32 0
  %175 = load float, ptr %174, align 8
  %176 = getelementptr inbounds { float, float }, ptr %173, i32 0, i32 1
  %177 = load float, ptr %176, align 4
  %178 = fmul float %175, %168
  %179 = fmul float %177, %170
  %180 = fmul float %175, %170
  %181 = fmul float %177, %168
  %182 = fsub float %178, %179
  %183 = fadd float %180, %181
  %184 = fcmp uno float %182, %182
  br i1 %184, label %185, label %193, !prof !15

185:                                              ; preds = %138
  %186 = fcmp uno float %183, %183
  br i1 %186, label %187, label %193, !prof !15

187:                                              ; preds = %185
  %188 = call <2 x float> @__mulsc3(float noundef %175, float noundef %177, float noundef %168, float noundef %170) #6
  store <2 x float> %188, ptr %28, align 4
  %189 = getelementptr inbounds { float, float }, ptr %28, i32 0, i32 0
  %190 = load float, ptr %189, align 4
  %191 = getelementptr inbounds { float, float }, ptr %28, i32 0, i32 1
  %192 = load float, ptr %191, align 4
  br label %193

193:                                              ; preds = %187, %185, %138
  %194 = phi float [ %182, %138 ], [ %182, %185 ], [ %190, %187 ]
  %195 = phi float [ %183, %138 ], [ %183, %185 ], [ %192, %187 ]
  %196 = getelementptr inbounds { float, float }, ptr %173, i32 0, i32 0
  %197 = getelementptr inbounds { float, float }, ptr %173, i32 0, i32 1
  store float %194, ptr %196, align 8
  store float %195, ptr %197, align 4
  %198 = load float, ptr %13, align 4, !tbaa !9
  %199 = call float (...) @randnf()
  %200 = call float (...) @randnf()
  %201 = fmul float 0.000000e+00, %200
  %202 = fmul float 1.000000e+00, %200
  %203 = fadd float %199, %201
  %204 = fmul float %198, %203
  %205 = fmul float %198, %202
  %206 = fpext float %204 to double
  %207 = fpext float %205 to double
  %208 = fmul double %206, 0x3FE6A09E667F3BCD
  %209 = fmul double %207, 0x3FE6A09E667F3BCD
  %210 = load i32, ptr %7, align 4, !tbaa !5
  %211 = zext i32 %210 to i64
  %212 = getelementptr inbounds { float, float }, ptr %62, i64 %211
  %213 = getelementptr inbounds { float, float }, ptr %212, i32 0, i32 0
  %214 = load float, ptr %213, align 8
  %215 = getelementptr inbounds { float, float }, ptr %212, i32 0, i32 1
  %216 = load float, ptr %215, align 4
  %217 = fpext float %214 to double
  %218 = fpext float %216 to double
  %219 = fadd double %217, %208
  %220 = fadd double %218, %209
  %221 = fptrunc double %219 to float
  %222 = fptrunc double %220 to float
  %223 = getelementptr inbounds { float, float }, ptr %212, i32 0, i32 0
  %224 = getelementptr inbounds { float, float }, ptr %212, i32 0, i32 1
  store float %221, ptr %223, align 8
  store float %222, ptr %224, align 4
  br label %225

225:                                              ; preds = %193
  %226 = load i32, ptr %7, align 4, !tbaa !5
  %227 = add i32 %226, 1
  store i32 %227, ptr %7, align 4, !tbaa !5
  br label %111, !llvm.loop !16

228:                                              ; preds = %111
  %229 = load ptr, ptr %23, align 8, !tbaa !11
  %230 = call i32 @firfilt_crcf_destroy(ptr noundef %229)
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #6
  %231 = load i32, ptr %4, align 4, !tbaa !5
  %232 = load float, ptr %11, align 4, !tbaa !9
  %233 = load float, ptr %6, align 4, !tbaa !9
  %234 = fmul float 2.000000e+00, %233
  %235 = call ptr @detector_cccf_create(ptr noundef %59, i32 noundef %231, float noundef %232, float noundef %234)
  store ptr %235, ptr %29, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #6
  store float 0.000000e+00, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #6
  store float 0.000000e+00, ptr %31, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #6
  store float 1.000000e+00, ptr %32, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #6
  store float 0.000000e+00, ptr %33, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #6
  store i32 0, ptr %34, align 4, !tbaa !5
  store i32 0, ptr %7, align 4, !tbaa !5
  br label %236

236:                                              ; preds = %272, %228
  %237 = load i32, ptr %7, align 4, !tbaa !5
  %238 = load i32, ptr %12, align 4, !tbaa !5
  %239 = icmp ult i32 %237, %238
  br i1 %239, label %240, label %275

240:                                              ; preds = %236
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #6
  %241 = load ptr, ptr %29, align 8, !tbaa !11
  %242 = load i32, ptr %7, align 4, !tbaa !5
  %243 = zext i32 %242 to i64
  %244 = getelementptr inbounds { float, float }, ptr %62, i64 %243
  %245 = getelementptr inbounds { float, float }, ptr %244, i32 0, i32 0
  %246 = load float, ptr %245, align 8
  %247 = getelementptr inbounds { float, float }, ptr %244, i32 0, i32 1
  %248 = load float, ptr %247, align 4
  %249 = getelementptr inbounds { float, float }, ptr %36, i32 0, i32 0
  %250 = getelementptr inbounds { float, float }, ptr %36, i32 0, i32 1
  store float %246, ptr %249, align 4
  store float %248, ptr %250, align 4
  %251 = load <2 x float>, ptr %36, align 4
  %252 = call i32 @detector_cccf_correlate(ptr noundef %241, <2 x float> noundef %251, ptr noundef %30, ptr noundef %31, ptr noundef %32)
  store i32 %252, ptr %35, align 4, !tbaa !5
  %253 = load i32, ptr %35, align 4, !tbaa !5
  %254 = icmp ne i32 %253, 0
  br i1 %254, label %255, label %271

255:                                              ; preds = %240
  store i32 1, ptr %34, align 4, !tbaa !5
  %256 = load i32, ptr %7, align 4, !tbaa !5
  %257 = uitofp i32 %256 to float
  %258 = load float, ptr %30, align 4, !tbaa !9
  %259 = fadd float %257, %258
  store float %259, ptr %33, align 4, !tbaa !9
  %260 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !5
  %261 = icmp ne i32 %260, 0
  br i1 %261, label %262, label %270

262:                                              ; preds = %255
  %263 = load float, ptr %30, align 4, !tbaa !9
  %264 = fpext float %263 to double
  %265 = load float, ptr %31, align 4, !tbaa !9
  %266 = fpext float %265 to double
  %267 = load float, ptr %32, align 4, !tbaa !9
  %268 = fpext float %267 to double
  %269 = call i32 (ptr, ...) @printf(ptr noundef @.str, double noundef %264, double noundef %266, double noundef %268)
  br label %270

270:                                              ; preds = %262, %255
  br label %271

271:                                              ; preds = %270, %240
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #6
  br label %272

272:                                              ; preds = %271
  %273 = load i32, ptr %7, align 4, !tbaa !5
  %274 = add i32 %273, 1
  store i32 %274, ptr %7, align 4, !tbaa !5
  br label %236, !llvm.loop !17

275:                                              ; preds = %236
  %276 = load ptr, ptr %29, align 8, !tbaa !11
  call void @detector_cccf_destroy(ptr noundef %276)
  %277 = load float, ptr %14, align 4, !tbaa !9
  %278 = call float @log10f(float noundef %277) #6
  %279 = fmul float 2.000000e+01, %278
  store float %279, ptr %14, align 4, !tbaa !9
  %280 = load float, ptr %32, align 4, !tbaa !9
  %281 = call float @log10f(float noundef %280) #6
  %282 = fmul float 2.000000e+01, %281
  store float %282, ptr %32, align 4, !tbaa !9
  %283 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !5
  %284 = icmp ne i32 %283, 0
  br i1 %284, label %285, label %307

285:                                              ; preds = %275
  %286 = load i32, ptr %4, align 4, !tbaa !5
  %287 = load i32, ptr %34, align 4, !tbaa !5
  %288 = icmp ne i32 %287, 0
  %289 = zext i1 %288 to i64
  %290 = select i1 %288, ptr @.str.2, ptr @.str.3
  %291 = call i32 (ptr, ...) @printf(ptr noundef @.str.1, i32 noundef %286, ptr noundef %290)
  %292 = load float, ptr %31, align 4, !tbaa !9
  %293 = fpext float %292 to double
  %294 = load float, ptr %6, align 4, !tbaa !9
  %295 = fpext float %294 to double
  %296 = call i32 (ptr, ...) @printf(ptr noundef @.str.4, double noundef %293, double noundef %295)
  %297 = load float, ptr %33, align 4, !tbaa !9
  %298 = fpext float %297 to double
  %299 = load float, ptr %15, align 4, !tbaa !9
  %300 = fpext float %299 to double
  %301 = call i32 (ptr, ...) @printf(ptr noundef @.str.5, double noundef %298, double noundef %300)
  %302 = load float, ptr %32, align 4, !tbaa !9
  %303 = fpext float %302 to double
  %304 = load float, ptr %14, align 4, !tbaa !9
  %305 = fpext float %304 to double
  %306 = call i32 (ptr, ...) @printf(ptr noundef @.str.6, double noundef %303, double noundef %305)
  br label %307

307:                                              ; preds = %285, %275
  %308 = load i32, ptr %34, align 4, !tbaa !5
  %309 = icmp ne i32 %308, 0
  br i1 %309, label %313, label %310

310:                                              ; preds = %307
  %311 = load i32, ptr %34, align 4, !tbaa !5
  %312 = sitofp i32 %311 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.7, i32 noundef 162, ptr noundef @.str.8, double noundef %312, ptr noundef @.str.9, ptr noundef @.str.10, double noundef 1.000000e+00)
  br label %314

313:                                              ; preds = %307
  call void (...) @liquid_autotest_passed()
  br label %314

314:                                              ; preds = %313, %310
  %315 = load float, ptr %31, align 4, !tbaa !9
  %316 = load float, ptr %6, align 4, !tbaa !9
  %317 = fsub float %315, %316
  %318 = fpext float %317 to double
  %319 = load float, ptr %31, align 4, !tbaa !9
  %320 = load float, ptr %6, align 4, !tbaa !9
  %321 = fsub float %319, %320
  %322 = fpext float %321 to double
  %323 = load float, ptr %31, align 4, !tbaa !9
  %324 = load float, ptr %6, align 4, !tbaa !9
  %325 = fsub float %323, %324
  %326 = fpext float %325 to double
  %327 = load float, ptr %31, align 4, !tbaa !9
  %328 = load float, ptr %6, align 4, !tbaa !9
  %329 = fsub float %327, %328
  %330 = fpext float %329 to double
  %331 = call double @llvm.fmuladd.f64(double %318, double %322, double 0.000000e+00)
  %332 = call double @sqrt(double noundef %331) #6
  %333 = fcmp ogt double %332, 0x3F847AE140000000
  br i1 %333, label %346, label %334

334:                                              ; preds = %314
  %335 = load float, ptr %31, align 4, !tbaa !9
  %336 = call i1 @llvm.is.fpclass.f32(float %335, i32 3)
  br i1 %336, label %346, label %337

337:                                              ; preds = %334
  %338 = load float, ptr %31, align 4, !tbaa !9
  %339 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %339, label %346, label %340

340:                                              ; preds = %337
  %341 = load float, ptr %6, align 4, !tbaa !9
  %342 = call i1 @llvm.is.fpclass.f32(float %341, i32 3)
  br i1 %342, label %346, label %343

343:                                              ; preds = %340
  %344 = load float, ptr %6, align 4, !tbaa !9
  %345 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %345, label %346, label %365

346:                                              ; preds = %343, %340, %337, %334, %314
  %347 = load float, ptr %31, align 4, !tbaa !9
  %348 = load float, ptr %6, align 4, !tbaa !9
  %349 = fsub float %347, %348
  %350 = fpext float %349 to double
  %351 = load float, ptr %31, align 4, !tbaa !9
  %352 = load float, ptr %6, align 4, !tbaa !9
  %353 = fsub float %351, %352
  %354 = fpext float %353 to double
  %355 = load float, ptr %31, align 4, !tbaa !9
  %356 = load float, ptr %6, align 4, !tbaa !9
  %357 = fsub float %355, %356
  %358 = fpext float %357 to double
  %359 = load float, ptr %31, align 4, !tbaa !9
  %360 = load float, ptr %6, align 4, !tbaa !9
  %361 = fsub float %359, %360
  %362 = fpext float %361 to double
  %363 = call double @llvm.fmuladd.f64(double %350, double %354, double 0.000000e+00)
  %364 = call double @sqrt(double noundef %363) #6
  call void @liquid_autotest_failed_expr(ptr noundef @.str.7, i32 noundef 165, ptr noundef @.str.11, double noundef %364, ptr noundef @.str.12, ptr noundef @.str.13, double noundef 0x3F847AE140000000)
  br label %366

365:                                              ; preds = %343
  call void (...) @liquid_autotest_passed()
  br label %366

366:                                              ; preds = %365, %346
  %367 = load float, ptr %33, align 4, !tbaa !9
  %368 = load float, ptr %15, align 4, !tbaa !9
  %369 = fsub float %367, %368
  %370 = fpext float %369 to double
  %371 = load float, ptr %33, align 4, !tbaa !9
  %372 = load float, ptr %15, align 4, !tbaa !9
  %373 = fsub float %371, %372
  %374 = fpext float %373 to double
  %375 = load float, ptr %33, align 4, !tbaa !9
  %376 = load float, ptr %15, align 4, !tbaa !9
  %377 = fsub float %375, %376
  %378 = fpext float %377 to double
  %379 = load float, ptr %33, align 4, !tbaa !9
  %380 = load float, ptr %15, align 4, !tbaa !9
  %381 = fsub float %379, %380
  %382 = fpext float %381 to double
  %383 = call double @llvm.fmuladd.f64(double %370, double %374, double 0.000000e+00)
  %384 = call double @sqrt(double noundef %383) #6
  %385 = fcmp ogt double %384, 0x3FC99999A0000000
  br i1 %385, label %398, label %386

386:                                              ; preds = %366
  %387 = load float, ptr %33, align 4, !tbaa !9
  %388 = call i1 @llvm.is.fpclass.f32(float %387, i32 3)
  br i1 %388, label %398, label %389

389:                                              ; preds = %386
  %390 = load float, ptr %33, align 4, !tbaa !9
  %391 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %391, label %398, label %392

392:                                              ; preds = %389
  %393 = load float, ptr %15, align 4, !tbaa !9
  %394 = call i1 @llvm.is.fpclass.f32(float %393, i32 3)
  br i1 %394, label %398, label %395

395:                                              ; preds = %392
  %396 = load float, ptr %15, align 4, !tbaa !9
  %397 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %397, label %398, label %417

398:                                              ; preds = %395, %392, %389, %386, %366
  %399 = load float, ptr %33, align 4, !tbaa !9
  %400 = load float, ptr %15, align 4, !tbaa !9
  %401 = fsub float %399, %400
  %402 = fpext float %401 to double
  %403 = load float, ptr %33, align 4, !tbaa !9
  %404 = load float, ptr %15, align 4, !tbaa !9
  %405 = fsub float %403, %404
  %406 = fpext float %405 to double
  %407 = load float, ptr %33, align 4, !tbaa !9
  %408 = load float, ptr %15, align 4, !tbaa !9
  %409 = fsub float %407, %408
  %410 = fpext float %409 to double
  %411 = load float, ptr %33, align 4, !tbaa !9
  %412 = load float, ptr %15, align 4, !tbaa !9
  %413 = fsub float %411, %412
  %414 = fpext float %413 to double
  %415 = call double @llvm.fmuladd.f64(double %402, double %406, double 0.000000e+00)
  %416 = call double @sqrt(double noundef %415) #6
  call void @liquid_autotest_failed_expr(ptr noundef @.str.7, i32 noundef 168, ptr noundef @.str.14, double noundef %416, ptr noundef @.str.12, ptr noundef @.str.15, double noundef 0x3FC99999A0000000)
  br label %418

417:                                              ; preds = %395
  call void (...) @liquid_autotest_passed()
  br label %418

418:                                              ; preds = %417, %398
  %419 = load float, ptr %32, align 4, !tbaa !9
  %420 = load float, ptr %14, align 4, !tbaa !9
  %421 = fsub float %419, %420
  %422 = fpext float %421 to double
  %423 = load float, ptr %32, align 4, !tbaa !9
  %424 = load float, ptr %14, align 4, !tbaa !9
  %425 = fsub float %423, %424
  %426 = fpext float %425 to double
  %427 = load float, ptr %32, align 4, !tbaa !9
  %428 = load float, ptr %14, align 4, !tbaa !9
  %429 = fsub float %427, %428
  %430 = fpext float %429 to double
  %431 = load float, ptr %32, align 4, !tbaa !9
  %432 = load float, ptr %14, align 4, !tbaa !9
  %433 = fsub float %431, %432
  %434 = fpext float %433 to double
  %435 = call double @llvm.fmuladd.f64(double %422, double %426, double 0.000000e+00)
  %436 = call double @sqrt(double noundef %435) #6
  %437 = fcmp ogt double %436, 2.000000e+00
  br i1 %437, label %450, label %438

438:                                              ; preds = %418
  %439 = load float, ptr %32, align 4, !tbaa !9
  %440 = call i1 @llvm.is.fpclass.f32(float %439, i32 3)
  br i1 %440, label %450, label %441

441:                                              ; preds = %438
  %442 = load float, ptr %32, align 4, !tbaa !9
  %443 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %443, label %450, label %444

444:                                              ; preds = %441
  %445 = load float, ptr %14, align 4, !tbaa !9
  %446 = call i1 @llvm.is.fpclass.f32(float %445, i32 3)
  br i1 %446, label %450, label %447

447:                                              ; preds = %444
  %448 = load float, ptr %14, align 4, !tbaa !9
  %449 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %449, label %450, label %469

450:                                              ; preds = %447, %444, %441, %438, %418
  %451 = load float, ptr %32, align 4, !tbaa !9
  %452 = load float, ptr %14, align 4, !tbaa !9
  %453 = fsub float %451, %452
  %454 = fpext float %453 to double
  %455 = load float, ptr %32, align 4, !tbaa !9
  %456 = load float, ptr %14, align 4, !tbaa !9
  %457 = fsub float %455, %456
  %458 = fpext float %457 to double
  %459 = load float, ptr %32, align 4, !tbaa !9
  %460 = load float, ptr %14, align 4, !tbaa !9
  %461 = fsub float %459, %460
  %462 = fpext float %461 to double
  %463 = load float, ptr %32, align 4, !tbaa !9
  %464 = load float, ptr %14, align 4, !tbaa !9
  %465 = fsub float %463, %464
  %466 = fpext float %465 to double
  %467 = call double @llvm.fmuladd.f64(double %454, double %458, double 0.000000e+00)
  %468 = call double @sqrt(double noundef %467) #6
  call void @liquid_autotest_failed_expr(ptr noundef @.str.7, i32 noundef 171, ptr noundef @.str.16, double noundef %468, ptr noundef @.str.12, ptr noundef @.str.17, double noundef 2.000000e+00)
  br label %470

469:                                              ; preds = %447
  call void (...) @liquid_autotest_passed()
  br label %470

470:                                              ; preds = %469, %450
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #6
  %471 = load ptr, ptr %16, align 8
  call void @llvm.stackrestore.p0(ptr %471)
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #6
  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 %9) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  ret void
}

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

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

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

declare i32 @liquid_nextpow2(i32 noundef) #4

declare ptr @msequence_create_default(i32 noundef) #4

declare i32 @msequence_advance(ptr noundef) #4

declare i32 @msequence_destroy(ptr noundef) #4

declare ptr @firfilt_crcf_create_kaiser(i32 noundef, float noundef, float noundef, float noundef) #4

declare i32 @firfilt_crcf_push(ptr noundef, <2 x float> noundef) #4

declare i32 @firfilt_crcf_execute(ptr noundef, ptr noundef) #4

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

declare <2 x float> @__mulsc3(float, float, float, float)

declare float @randnf(...) #4

declare i32 @firfilt_crcf_destroy(ptr noundef) #4

declare ptr @detector_cccf_create(ptr noundef, i32 noundef, float noundef, float noundef) #4

declare i32 @detector_cccf_correlate(ptr noundef, <2 x float> noundef, ptr noundef, ptr noundef, ptr noundef) #4

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

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

declare void @detector_cccf_destroy(ptr noundef) #4

; Function Attrs: nounwind
declare float @log10f(float noundef) #2

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

declare void @liquid_autotest_passed(...) #4

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

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

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

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

attributes #0 = { 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { 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 #3 = { nocallback nofree nosync nounwind willreturn }
attributes #4 = { "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 = !{!12, !12, i64 0}
!12 = !{!"any pointer", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = !{!"branch_weights", i32 1, i32 1048575}
!16 = distinct !{!16, !14}
!17 = distinct !{!17, !14}


; 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"

@liquid_autotest_verbose = external local_unnamed_addr global i32, align 4
@.str = external hidden unnamed_addr constant [71 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [92 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [25 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [5 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @detector_cccf_runtest(i32 noundef %0, float noundef %1, float noundef %2) local_unnamed_addr #0 {
  %4 = alloca float, align 4
  %5 = alloca float, align 4
  %6 = alloca float, align 4
  %7 = add i32 %0, 23
  %8 = add i32 %0, 11
  %9 = uitofp i32 %8 to float
  %10 = fadd float %9, %1
  %11 = zext i32 %0 to i64
  %12 = alloca { float, float }, i64 %11, align 16
  %13 = zext i32 %7 to i64
  %14 = alloca { float, float }, i64 %13, align 16
  %15 = lshr i32 %0, 1
  %16 = tail call i32 @liquid_nextpow2(i32 noundef %15) #8
  %17 = tail call ptr @msequence_create_default(i32 noundef %16) #8
  %.not146 = icmp eq i32 %0, 0
  br i1 %.not146, label %._crit_edge, label %.lr.ph

.lr.ph:                                           ; preds = %3, %23
  %indvars.iv = phi i64 [ %indvars.iv.next, %23 ], [ 0, %3 ]
  %.sroa.029.0133 = phi float [ %.sroa.029.1, %23 ], [ 0.000000e+00, %3 ]
  %18 = and i64 %indvars.iv, 1
  %19 = icmp eq i64 %18, 0
  br i1 %19, label %20, label %23

20:                                               ; preds = %.lr.ph
  %21 = tail call i32 @msequence_advance(ptr noundef %17) #8
  %.not121 = icmp eq i32 %21, 0
  %22 = select i1 %.not121, float -1.000000e+00, float 1.000000e+00
  br label %23

23:                                               ; preds = %20, %.lr.ph
  %.sroa.029.1 = phi float [ %22, %20 ], [ %.sroa.029.0133, %.lr.ph ]
  %24 = getelementptr inbounds { float, float }, ptr %12, i64 %indvars.iv
  %25 = getelementptr inbounds i8, ptr %24, i64 4
  store float %.sroa.029.1, ptr %24, align 8
  store float 0.000000e+00, ptr %25, align 4
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %11
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !5

._crit_edge:                                      ; preds = %23, %3
  %26 = tail call i32 @msequence_destroy(ptr noundef %17) #8
  %27 = tail call ptr @firfilt_crcf_create_kaiser(i32 noundef 23, float noundef 0x3FDCCCCCC0000000, float noundef 4.000000e+01, float noundef %1) #8
  %.not147 = icmp eq i32 %7, 0
  br i1 %.not147, label %._crit_edge138, label %.lr.ph137

.lr.ph137:                                        ; preds = %._crit_edge
  %28 = fmul float %2, 0.000000e+00
  %29 = insertelement <2 x float> poison, float %28, i64 0
  %30 = insertelement <2 x float> %29, float %2, i64 1
  br label %31

31:                                               ; preds = %.lr.ph137, %66
  %indvars.iv150 = phi i64 [ 0, %.lr.ph137 ], [ %indvars.iv.next151, %66 ]
  %32 = icmp ult i64 %indvars.iv150, %11
  br i1 %32, label %33, label %36

33:                                               ; preds = %31
  %34 = getelementptr inbounds { float, float }, ptr %12, i64 %indvars.iv150
  %35 = load <2 x float>, ptr %34, align 8
  br label %36

36:                                               ; preds = %31, %33
  %.sink = phi <2 x float> [ %35, %33 ], [ zeroinitializer, %31 ]
  %37 = call i32 @firfilt_crcf_push(ptr noundef %27, <2 x float> noundef %.sink) #8
  %38 = getelementptr inbounds { float, float }, ptr %14, i64 %indvars.iv150
  %39 = call i32 @firfilt_crcf_execute(ptr noundef %27, ptr noundef nonnull %38) #8
  %40 = getelementptr inbounds i8, ptr %38, i64 4
  %41 = load <2 x float>, ptr %38, align 8
  %42 = fmul <2 x float> %41, <float 0x3F69E7C6E0000000, float 0x3F69E7C6E0000000>
  store <2 x float> %42, ptr %38, align 8
  %43 = trunc nuw i64 %indvars.iv150 to i32
  %44 = uitofp i32 %43 to float
  %45 = insertelement <2 x float> poison, float %44, i64 0
  %46 = shufflevector <2 x float> %45, <2 x float> poison, <2 x i32> zeroinitializer
  %47 = fmul <2 x float> %30, %46
  %48 = call <2 x float> @cexpf(<2 x float> noundef %47) #8
  %49 = load <2 x float>, ptr %38, align 8
  %50 = fmul <2 x float> %49, %48
  %51 = shufflevector <2 x float> %48, <2 x float> poison, <2 x i32> <i32 1, i32 0>
  %52 = fmul <2 x float> %51, %49
  %shift = shufflevector <2 x float> %50, <2 x float> poison, <2 x i32> <i32 1, i32 poison>
  %53 = fsub <2 x float> %50, %shift
  %54 = extractelement <2 x float> %53, i64 0
  %shift160 = shufflevector <2 x float> %52, <2 x float> poison, <2 x i32> <i32 1, i32 poison>
  %55 = fadd <2 x float> %52, %shift160
  %56 = extractelement <2 x float> %55, i64 0
  %57 = fcmp uno float %54, 0.000000e+00
  br i1 %57, label %58, label %66, !prof !7

58:                                               ; preds = %36
  %59 = fcmp uno float %56, 0.000000e+00
  br i1 %59, label %60, label %66, !prof !7

60:                                               ; preds = %58
  %61 = extractelement <2 x float> %49, i64 0
  %62 = extractelement <2 x float> %49, i64 1
  %63 = extractelement <2 x float> %48, i64 0
  %64 = extractelement <2 x float> %48, i64 1
  %65 = call <2 x float> @__mulsc3(float noundef %61, float noundef %62, float noundef %63, float noundef %64) #8
  %.sroa.017.0.vec.extract = extractelement <2 x float> %65, i64 0
  %.sroa.017.4.vec.extract = extractelement <2 x float> %65, i64 1
  br label %66

66:                                               ; preds = %60, %58, %36
  %67 = phi float [ %54, %36 ], [ %54, %58 ], [ %.sroa.017.0.vec.extract, %60 ]
  %68 = phi float [ %56, %36 ], [ %56, %58 ], [ %.sroa.017.4.vec.extract, %60 ]
  store float %67, ptr %38, align 8
  store float %68, ptr %40, align 4
  %69 = call float (...) @randnf() #8
  %70 = call float (...) @randnf() #8
  %71 = fmul float %70, 0.000000e+00
  %72 = fadd float %69, %71
  %73 = insertelement <2 x float> poison, float %72, i64 0
  %74 = insertelement <2 x float> %73, float %70, i64 1
  %75 = fmul <2 x float> %74, <float 0x3F1A36E2E0000000, float 0x3F1A36E2E0000000>
  %76 = fpext <2 x float> %75 to <2 x double>
  %77 = fmul <2 x double> %76, <double 0x3FE6A09E667F3BCD, double 0x3FE6A09E667F3BCD>
  %78 = load <2 x float>, ptr %38, align 8
  %79 = fpext <2 x float> %78 to <2 x double>
  %80 = fadd <2 x double> %77, %79
  %81 = fptrunc <2 x double> %80 to <2 x float>
  store <2 x float> %81, ptr %38, align 8
  %indvars.iv.next151 = add nuw nsw i64 %indvars.iv150, 1
  %exitcond154.not = icmp eq i64 %indvars.iv.next151, %13
  br i1 %exitcond154.not, label %._crit_edge138, label %31, !llvm.loop !8

._crit_edge138:                                   ; preds = %66, %._crit_edge
  %82 = call i32 @firfilt_crcf_destroy(ptr noundef %27) #8
  %83 = fmul float %2, 2.000000e+00
  %84 = call ptr @detector_cccf_create(ptr noundef nonnull %12, i32 noundef %0, float noundef 0x3FD3333340000000, float noundef %83) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #8
  store float 0.000000e+00, ptr %4, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %5) #8
  store float 0.000000e+00, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %6) #8
  store float 1.000000e+00, ptr %6, align 4, !tbaa !9
  br i1 %.not147, label %._crit_edge144, label %.lr.ph143

.lr.ph143:                                        ; preds = %._crit_edge138, %101
  %indvars.iv155 = phi i64 [ %indvars.iv.next156, %101 ], [ 0, %._crit_edge138 ]
  %.0111140 = phi i32 [ %.1112, %101 ], [ 0, %._crit_edge138 ]
  %.0113139 = phi float [ %.1114, %101 ], [ 0.000000e+00, %._crit_edge138 ]
  %85 = getelementptr inbounds { float, float }, ptr %14, i64 %indvars.iv155
  %86 = load <2 x float>, ptr %85, align 8
  %87 = call i32 @detector_cccf_correlate(ptr noundef %84, <2 x float> noundef %86, ptr noundef nonnull %4, ptr noundef nonnull %5, ptr noundef nonnull %6) #8
  %.not119 = icmp eq i32 %87, 0
  br i1 %.not119, label %101, label %88

88:                                               ; preds = %.lr.ph143
  %89 = trunc nuw i64 %indvars.iv155 to i32
  %90 = uitofp i32 %89 to float
  %91 = load float, ptr %4, align 4, !tbaa !9
  %92 = fadd float %91, %90
  %93 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !13
  %.not120 = icmp eq i32 %93, 0
  br i1 %.not120, label %101, label %94

94:                                               ; preds = %88
  %95 = fpext float %91 to double
  %96 = load float, ptr %5, align 4, !tbaa !9
  %97 = fpext float %96 to double
  %98 = load float, ptr %6, align 4, !tbaa !9
  %99 = fpext float %98 to double
  %100 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str, double noundef %95, double noundef %97, double noundef %99)
  br label %101

101:                                              ; preds = %88, %94, %.lr.ph143
  %.1114 = phi float [ %92, %94 ], [ %92, %88 ], [ %.0113139, %.lr.ph143 ]
  %.1112 = phi i32 [ 1, %94 ], [ 1, %88 ], [ %.0111140, %.lr.ph143 ]
  %indvars.iv.next156 = add nuw nsw i64 %indvars.iv155, 1
  %exitcond159.not = icmp eq i64 %indvars.iv.next156, %13
  br i1 %exitcond159.not, label %._crit_edge144.loopexit, label %.lr.ph143, !llvm.loop !15

._crit_edge144.loopexit:                          ; preds = %101
  %102 = icmp eq i32 %.1112, 0
  br label %._crit_edge144

._crit_edge144:                                   ; preds = %._crit_edge144.loopexit, %._crit_edge138
  %.0113.lcssa = phi float [ 0.000000e+00, %._crit_edge138 ], [ %.1114, %._crit_edge144.loopexit ]
  %.0111.lcssa = phi i1 [ true, %._crit_edge138 ], [ %102, %._crit_edge144.loopexit ]
  call void @detector_cccf_destroy(ptr noundef %84) #8
  %103 = load float, ptr %6, align 4, !tbaa !9
  %104 = call float @log10f(float noundef %103) #8
  %105 = fmul float %104, 2.000000e+01
  store float %105, ptr %6, align 4, !tbaa !9
  %106 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !13
  %.not = icmp eq i32 %106, 0
  br i1 %.not, label %120, label %107

107:                                              ; preds = %._crit_edge144
  %108 = select i1 %.0111.lcssa, ptr @.str.3, ptr @.str.2
  %109 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.1, i32 noundef %0, ptr noundef nonnull %108)
  %110 = load float, ptr %5, align 4, !tbaa !9
  %111 = fpext float %110 to double
  %112 = fpext float %2 to double
  %113 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.4, double noundef %111, double noundef %112)
  %114 = fpext float %.0113.lcssa to double
  %115 = fpext float %10 to double
  %116 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.5, double noundef %114, double noundef %115)
  %117 = load float, ptr %6, align 4, !tbaa !9
  %118 = fpext float %117 to double
  %119 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.6, double noundef %118, double noundef -5.000000e+01)
  br label %120

120:                                              ; preds = %107, %._crit_edge144
  br i1 %.0111.lcssa, label %121, label %122

121:                                              ; preds = %120
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.7, i32 noundef 162, ptr noundef nonnull @.str.8, double noundef 0.000000e+00, ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.10, double noundef 1.000000e+00) #8
  br label %123

122:                                              ; preds = %120
  call void (...) @liquid_autotest_passed() #8
  br label %123

123:                                              ; preds = %122, %121
  %124 = load float, ptr %5, align 4
  %125 = fsub float %124, %2
  %126 = fpext float %125 to double
  %127 = call double @llvm.fmuladd.f64(double %126, double %126, double 0.000000e+00)
  %sqrt = call double @llvm.sqrt.f64(double %127)
  %128 = fcmp ogt double %sqrt, 0x3F847AE140000000
  %129 = fcmp uno float %124, 0.000000e+00
  %or.cond = select i1 %128, i1 true, i1 %129
  %130 = fcmp uno float %2, 0.000000e+00
  %or.cond123 = or i1 %130, %or.cond
  br i1 %or.cond123, label %131, label %132

131:                                              ; preds = %123
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.7, i32 noundef 165, ptr noundef nonnull @.str.11, double noundef %sqrt, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.13, double noundef 0x3F847AE140000000) #8
  br label %133

132:                                              ; preds = %123
  call void (...) @liquid_autotest_passed() #8
  br label %133

133:                                              ; preds = %132, %131
  %134 = fsub float %.0113.lcssa, %10
  %135 = fpext float %134 to double
  %136 = call double @llvm.fmuladd.f64(double %135, double %135, double 0.000000e+00)
  %sqrt129 = call double @llvm.sqrt.f64(double %136)
  %137 = fcmp ogt double %sqrt129, 0x3FC99999A0000000
  %138 = fcmp uno float %.0113.lcssa, 0.000000e+00
  %or.cond124 = select i1 %137, i1 true, i1 %138
  %139 = fcmp uno float %10, 0.000000e+00
  %or.cond125 = or i1 %139, %or.cond124
  br i1 %or.cond125, label %140, label %141

140:                                              ; preds = %133
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.7, i32 noundef 168, ptr noundef nonnull @.str.14, double noundef %sqrt129, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.15, double noundef 0x3FC99999A0000000) #8
  br label %142

141:                                              ; preds = %133
  call void (...) @liquid_autotest_passed() #8
  br label %142

142:                                              ; preds = %141, %140
  %143 = load float, ptr %6, align 4
  %144 = fadd float %143, 5.000000e+01
  %145 = fpext float %144 to double
  %146 = call double @llvm.fmuladd.f64(double %145, double %145, double 0.000000e+00)
  %sqrt131 = call double @llvm.sqrt.f64(double %146)
  %147 = fcmp ogt double %sqrt131, 2.000000e+00
  %148 = fcmp uno float %143, 0.000000e+00
  %or.cond127 = select i1 %147, i1 true, i1 %148
  br i1 %or.cond127, label %149, label %150

149:                                              ; preds = %142
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.7, i32 noundef 171, ptr noundef nonnull @.str.16, double noundef %sqrt131, ptr noundef nonnull @.str.12, ptr noundef nonnull @.str.17, double noundef 2.000000e+00) #8
  br label %151

150:                                              ; preds = %142
  call void (...) @liquid_autotest_passed() #8
  br label %151

151:                                              ; preds = %150, %149
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %6) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %5) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #8
  ret void
}

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

declare i32 @liquid_nextpow2(i32 noundef) local_unnamed_addr #2

declare ptr @msequence_create_default(i32 noundef) local_unnamed_addr #2

declare i32 @msequence_advance(ptr noundef) local_unnamed_addr #2

declare i32 @msequence_destroy(ptr noundef) local_unnamed_addr #2

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

declare i32 @firfilt_crcf_push(ptr noundef, <2 x float> noundef) local_unnamed_addr #2

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

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

declare <2 x float> @__mulsc3(float, float, float, float) local_unnamed_addr

declare float @randnf(...) local_unnamed_addr #2

declare i32 @firfilt_crcf_destroy(ptr noundef) local_unnamed_addr #2

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

declare i32 @detector_cccf_correlate(ptr noundef, <2 x float> noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

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

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

declare void @detector_cccf_destroy(ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare float @log10f(float noundef) local_unnamed_addr #5

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 speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #6

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

attributes #0 = { 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 #1 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
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 = { 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 #5 = { 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 #6 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #8 = { 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 = distinct !{!5, !6}
!6 = !{!"llvm.loop.mustprogress"}
!7 = !{!"branch_weights", i32 1, i32 1048575}
!8 = distinct !{!8, !6}
!9 = !{!10, !10, i64 0}
!10 = !{!"float", !11, i64 0}
!11 = !{!"omnipotent char", !12, i64 0}
!12 = !{!"Simple C/C++ TBAA"}
!13 = !{!14, !14, i64 0}
!14 = !{!"int", !11, i64 0}
!15 = distinct !{!15, !6}


; Effective O3 passes: AggressiveInstCombinePass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass,VectorCombinePass