; LLVM IR from jgaeddert/liquid-dsp :: src/framing/tests (bsync_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.3 = external hidden unnamed_addr constant [4 x i8], align 1
@__const.xautotest_bsync_crcf_phase_15.h = external hidden unnamed_addr constant [15 x float], align 16
@.str.8 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [45 x i8], align 1

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #1

; 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) #3

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

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: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

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

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

declare i32 @bsync_crcf_destroy(ptr noundef) #4

; Function Attrs: nounwind uwtable
define dso_local void @xautotest_bsync_crcf_phase_15() #5 {
  %1 = alloca [15 x float], align 16
  %2 = alloca float, align 4
  %3 = alloca float, align 4
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca { float, float }, align 4
  %7 = alloca { float, float }, align 4
  %8 = alloca { float, float }, align 4
  %9 = alloca { float, float }, align 4
  %10 = alloca { float, float }, align 4
  %11 = alloca { float, float }, align 4
  %12 = alloca { float, float }, align 4
  call void @llvm.lifetime.start.p0(i64 60, ptr %1) #6
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %1, ptr align 16 @__const.xautotest_bsync_crcf_phase_15.h, i64 60, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #6
  store float 0x3F50624DE0000000, ptr %2, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #6
  store float 0x3FD3333340000000, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #6
  %13 = getelementptr inbounds [15 x float], ptr %1, i64 0, i64 0
  %14 = call ptr @bsync_crcf_create(i32 noundef 15, ptr noundef %13)
  store ptr %14, ptr %4, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #6
  store i32 0, ptr %5, align 4, !tbaa !11
  br label %15

15:                                               ; preds = %41, %0
  %16 = load i32, ptr %5, align 4, !tbaa !11
  %17 = icmp ult i32 %16, 15
  br i1 %17, label %18, label %44

18:                                               ; preds = %15
  %19 = load ptr, ptr %4, align 8, !tbaa !9
  %20 = load i32, ptr %5, align 4, !tbaa !11
  %21 = zext i32 %20 to i64
  %22 = getelementptr inbounds [15 x float], ptr %1, i64 0, i64 %21
  %23 = load float, ptr %22, align 4, !tbaa !5
  %24 = load float, ptr %3, align 4, !tbaa !5
  %25 = fmul float 0.000000e+00, %24
  %26 = fmul float 1.000000e+00, %24
  %27 = getelementptr inbounds { float, float }, ptr %7, i32 0, i32 0
  %28 = getelementptr inbounds { float, float }, ptr %7, i32 0, i32 1
  store float %25, ptr %27, align 4
  store float %26, ptr %28, align 4
  %29 = load <2 x float>, ptr %7, align 4
  %30 = call <2 x float> @cexpf(<2 x float> noundef %29) #6
  store <2 x float> %30, ptr %8, align 4
  %31 = getelementptr inbounds { float, float }, ptr %8, i32 0, i32 0
  %32 = load float, ptr %31, align 4
  %33 = getelementptr inbounds { float, float }, ptr %8, i32 0, i32 1
  %34 = load float, ptr %33, align 4
  %35 = fmul float %23, %32
  %36 = fmul float %23, %34
  %37 = getelementptr inbounds { float, float }, ptr %9, i32 0, i32 0
  %38 = getelementptr inbounds { float, float }, ptr %9, i32 0, i32 1
  store float %35, ptr %37, align 4
  store float %36, ptr %38, align 4
  %39 = load <2 x float>, ptr %9, align 4
  %40 = call i32 @bsync_crcf_correlate(ptr noundef %19, <2 x float> noundef %39, ptr noundef %6)
  br label %41

41:                                               ; preds = %18
  %42 = load i32, ptr %5, align 4, !tbaa !11
  %43 = add i32 %42, 1
  store i32 %43, ptr %5, align 4, !tbaa !11
  br label %15, !llvm.loop !13

44:                                               ; preds = %15
  %45 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %46 = load float, ptr %45, align 4
  %47 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %48 = load float, ptr %47, align 4
  %49 = load float, ptr %3, align 4, !tbaa !5
  %50 = call float @cosf(float noundef %49) #6
  %51 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %50, float %46)
  %52 = fpext float %51 to double
  %53 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %54 = load float, ptr %53, align 4
  %55 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %56 = load float, ptr %55, align 4
  %57 = load float, ptr %3, align 4, !tbaa !5
  %58 = call float @cosf(float noundef %57) #6
  %59 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %58, float %54)
  %60 = fpext float %59 to double
  %61 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %62 = load float, ptr %61, align 4
  %63 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %64 = load float, ptr %63, align 4
  %65 = load float, ptr %3, align 4, !tbaa !5
  %66 = call float @cosf(float noundef %65) #6
  %67 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %66, float %62)
  %68 = fpext float %67 to double
  %69 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %70 = load float, ptr %69, align 4
  %71 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %72 = load float, ptr %71, align 4
  %73 = load float, ptr %3, align 4, !tbaa !5
  %74 = call float @cosf(float noundef %73) #6
  %75 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %74, float %70)
  %76 = fpext float %75 to double
  %77 = call double @llvm.fmuladd.f64(double %52, double %60, double 0.000000e+00)
  %78 = call double @sqrt(double noundef %77) #6
  %79 = load float, ptr %2, align 4, !tbaa !5
  %80 = fpext float %79 to double
  %81 = fcmp ogt double %78, %80
  br i1 %81, label %104, label %82

82:                                               ; preds = %44
  %83 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %84 = load float, ptr %83, align 4
  %85 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %86 = load float, ptr %85, align 4
  %87 = call i1 @llvm.is.fpclass.f32(float %84, i32 3)
  br i1 %87, label %104, label %88

88:                                               ; preds = %82
  %89 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %90 = load float, ptr %89, align 4
  %91 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %92 = load float, ptr %91, align 4
  %93 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %93, label %104, label %94

94:                                               ; preds = %88
  %95 = load float, ptr %3, align 4, !tbaa !5
  %96 = call float @cosf(float noundef %95) #6
  %97 = fmul float 1.000000e+00, %96
  %98 = call i1 @llvm.is.fpclass.f32(float %97, i32 3)
  br i1 %98, label %104, label %99

99:                                               ; preds = %94
  %100 = load float, ptr %3, align 4, !tbaa !5
  %101 = call float @cosf(float noundef %100) #6
  %102 = fmul float 1.000000e+00, %101
  %103 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %103, label %104, label %141

104:                                              ; preds = %99, %94, %88, %82, %44
  %105 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %106 = load float, ptr %105, align 4
  %107 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %108 = load float, ptr %107, align 4
  %109 = load float, ptr %3, align 4, !tbaa !5
  %110 = call float @cosf(float noundef %109) #6
  %111 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %110, float %106)
  %112 = fpext float %111 to double
  %113 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %114 = load float, ptr %113, align 4
  %115 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %116 = load float, ptr %115, align 4
  %117 = load float, ptr %3, align 4, !tbaa !5
  %118 = call float @cosf(float noundef %117) #6
  %119 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %118, float %114)
  %120 = fpext float %119 to double
  %121 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %122 = load float, ptr %121, align 4
  %123 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %124 = load float, ptr %123, align 4
  %125 = load float, ptr %3, align 4, !tbaa !5
  %126 = call float @cosf(float noundef %125) #6
  %127 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %126, float %122)
  %128 = fpext float %127 to double
  %129 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %130 = load float, ptr %129, align 4
  %131 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %132 = load float, ptr %131, align 4
  %133 = load float, ptr %3, align 4, !tbaa !5
  %134 = call float @cosf(float noundef %133) #6
  %135 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %134, float %130)
  %136 = fpext float %135 to double
  %137 = call double @llvm.fmuladd.f64(double %112, double %120, double 0.000000e+00)
  %138 = call double @sqrt(double noundef %137) #6
  %139 = load float, ptr %2, align 4, !tbaa !5
  %140 = fpext float %139 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 139, ptr noundef @.str.8, double noundef %138, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %140)
  br label %142

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

142:                                              ; preds = %141, %104
  %143 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %144 = load float, ptr %143, align 4
  %145 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %146 = load float, ptr %145, align 4
  %147 = load float, ptr %3, align 4, !tbaa !5
  %148 = call float @sinf(float noundef %147) #6
  %149 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %148, float %146)
  %150 = fpext float %149 to double
  %151 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %152 = load float, ptr %151, align 4
  %153 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %154 = load float, ptr %153, align 4
  %155 = load float, ptr %3, align 4, !tbaa !5
  %156 = call float @sinf(float noundef %155) #6
  %157 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %156, float %154)
  %158 = fpext float %157 to double
  %159 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %160 = load float, ptr %159, align 4
  %161 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %162 = load float, ptr %161, align 4
  %163 = load float, ptr %3, align 4, !tbaa !5
  %164 = call float @sinf(float noundef %163) #6
  %165 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %164, float %162)
  %166 = fpext float %165 to double
  %167 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %168 = load float, ptr %167, align 4
  %169 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %170 = load float, ptr %169, align 4
  %171 = load float, ptr %3, align 4, !tbaa !5
  %172 = call float @sinf(float noundef %171) #6
  %173 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %172, float %170)
  %174 = fpext float %173 to double
  %175 = call double @llvm.fmuladd.f64(double %150, double %158, double 0.000000e+00)
  %176 = call double @sqrt(double noundef %175) #6
  %177 = load float, ptr %2, align 4, !tbaa !5
  %178 = fpext float %177 to double
  %179 = fcmp ogt double %176, %178
  br i1 %179, label %202, label %180

180:                                              ; preds = %142
  %181 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %182 = load float, ptr %181, align 4
  %183 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %184 = load float, ptr %183, align 4
  %185 = call i1 @llvm.is.fpclass.f32(float %184, i32 3)
  br i1 %185, label %202, label %186

186:                                              ; preds = %180
  %187 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %188 = load float, ptr %187, align 4
  %189 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %190 = load float, ptr %189, align 4
  %191 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %191, label %202, label %192

192:                                              ; preds = %186
  %193 = load float, ptr %3, align 4, !tbaa !5
  %194 = call float @sinf(float noundef %193) #6
  %195 = fmul float 1.000000e+00, %194
  %196 = call i1 @llvm.is.fpclass.f32(float %195, i32 3)
  br i1 %196, label %202, label %197

197:                                              ; preds = %192
  %198 = load float, ptr %3, align 4, !tbaa !5
  %199 = call float @sinf(float noundef %198) #6
  %200 = fmul float 1.000000e+00, %199
  %201 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %201, label %202, label %239

202:                                              ; preds = %197, %192, %186, %180, %142
  %203 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %204 = load float, ptr %203, align 4
  %205 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %206 = load float, ptr %205, align 4
  %207 = load float, ptr %3, align 4, !tbaa !5
  %208 = call float @sinf(float noundef %207) #6
  %209 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %208, float %206)
  %210 = fpext float %209 to double
  %211 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %212 = load float, ptr %211, align 4
  %213 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %214 = load float, ptr %213, align 4
  %215 = load float, ptr %3, align 4, !tbaa !5
  %216 = call float @sinf(float noundef %215) #6
  %217 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %216, float %214)
  %218 = fpext float %217 to double
  %219 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %220 = load float, ptr %219, align 4
  %221 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %222 = load float, ptr %221, align 4
  %223 = load float, ptr %3, align 4, !tbaa !5
  %224 = call float @sinf(float noundef %223) #6
  %225 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %224, float %222)
  %226 = fpext float %225 to double
  %227 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %228 = load float, ptr %227, align 4
  %229 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %230 = load float, ptr %229, align 4
  %231 = load float, ptr %3, align 4, !tbaa !5
  %232 = call float @sinf(float noundef %231) #6
  %233 = call float @llvm.fmuladd.f32(float -1.000000e+00, float %232, float %230)
  %234 = fpext float %233 to double
  %235 = call double @llvm.fmuladd.f64(double %210, double %218, double 0.000000e+00)
  %236 = call double @sqrt(double noundef %235) #6
  %237 = load float, ptr %2, align 4, !tbaa !5
  %238 = fpext float %237 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 140, ptr noundef @.str.9, double noundef %236, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %238)
  br label %240

239:                                              ; preds = %197
  call void (...) @liquid_autotest_passed()
  br label %240

240:                                              ; preds = %239, %202
  store i32 0, ptr %5, align 4, !tbaa !11
  br label %241

241:                                              ; preds = %463, %240
  %242 = load i32, ptr %5, align 4, !tbaa !11
  %243 = icmp ult i32 %242, 14
  br i1 %243, label %244, label %466

244:                                              ; preds = %241
  %245 = load ptr, ptr %4, align 8, !tbaa !9
  %246 = load i32, ptr %5, align 4, !tbaa !11
  %247 = zext i32 %246 to i64
  %248 = getelementptr inbounds [15 x float], ptr %1, i64 0, i64 %247
  %249 = load float, ptr %248, align 4, !tbaa !5
  %250 = load float, ptr %3, align 4, !tbaa !5
  %251 = fmul float 0.000000e+00, %250
  %252 = fmul float 1.000000e+00, %250
  %253 = getelementptr inbounds { float, float }, ptr %10, i32 0, i32 0
  %254 = getelementptr inbounds { float, float }, ptr %10, i32 0, i32 1
  store float %251, ptr %253, align 4
  store float %252, ptr %254, align 4
  %255 = load <2 x float>, ptr %10, align 4
  %256 = call <2 x float> @cexpf(<2 x float> noundef %255) #6
  store <2 x float> %256, ptr %11, align 4
  %257 = getelementptr inbounds { float, float }, ptr %11, i32 0, i32 0
  %258 = load float, ptr %257, align 4
  %259 = getelementptr inbounds { float, float }, ptr %11, i32 0, i32 1
  %260 = load float, ptr %259, align 4
  %261 = fmul float %249, %258
  %262 = fmul float %249, %260
  %263 = getelementptr inbounds { float, float }, ptr %12, i32 0, i32 0
  %264 = getelementptr inbounds { float, float }, ptr %12, i32 0, i32 1
  store float %261, ptr %263, align 4
  store float %262, ptr %264, align 4
  %265 = load <2 x float>, ptr %12, align 4
  %266 = call i32 @bsync_crcf_correlate(ptr noundef %245, <2 x float> noundef %265, ptr noundef %6)
  %267 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %268 = load float, ptr %267, align 4
  %269 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %270 = load float, ptr %269, align 4
  %271 = load float, ptr %3, align 4, !tbaa !5
  %272 = call float @cosf(float noundef %271) #6
  %273 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %272, float %268)
  %274 = fpext float %273 to double
  %275 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %276 = load float, ptr %275, align 4
  %277 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %278 = load float, ptr %277, align 4
  %279 = load float, ptr %3, align 4, !tbaa !5
  %280 = call float @cosf(float noundef %279) #6
  %281 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %280, float %276)
  %282 = fpext float %281 to double
  %283 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %284 = load float, ptr %283, align 4
  %285 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %286 = load float, ptr %285, align 4
  %287 = load float, ptr %3, align 4, !tbaa !5
  %288 = call float @cosf(float noundef %287) #6
  %289 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %288, float %284)
  %290 = fpext float %289 to double
  %291 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %292 = load float, ptr %291, align 4
  %293 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %294 = load float, ptr %293, align 4
  %295 = load float, ptr %3, align 4, !tbaa !5
  %296 = call float @cosf(float noundef %295) #6
  %297 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %296, float %292)
  %298 = fpext float %297 to double
  %299 = call double @llvm.fmuladd.f64(double %274, double %282, double 0.000000e+00)
  %300 = call double @sqrt(double noundef %299) #6
  %301 = load float, ptr %2, align 4, !tbaa !5
  %302 = fpext float %301 to double
  %303 = fcmp ogt double %300, %302
  br i1 %303, label %326, label %304

304:                                              ; preds = %244
  %305 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %306 = load float, ptr %305, align 4
  %307 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %308 = load float, ptr %307, align 4
  %309 = call i1 @llvm.is.fpclass.f32(float %306, i32 3)
  br i1 %309, label %326, label %310

310:                                              ; preds = %304
  %311 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %312 = load float, ptr %311, align 4
  %313 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %314 = load float, ptr %313, align 4
  %315 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %315, label %326, label %316

316:                                              ; preds = %310
  %317 = load float, ptr %3, align 4, !tbaa !5
  %318 = call float @cosf(float noundef %317) #6
  %319 = fmul float 0xBFB1111120000000, %318
  %320 = call i1 @llvm.is.fpclass.f32(float %319, i32 3)
  br i1 %320, label %326, label %321

321:                                              ; preds = %316
  %322 = load float, ptr %3, align 4, !tbaa !5
  %323 = call float @cosf(float noundef %322) #6
  %324 = fmul float 0xBFB1111120000000, %323
  %325 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %325, label %326, label %363

326:                                              ; preds = %321, %316, %310, %304, %244
  %327 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %328 = load float, ptr %327, align 4
  %329 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %330 = load float, ptr %329, align 4
  %331 = load float, ptr %3, align 4, !tbaa !5
  %332 = call float @cosf(float noundef %331) #6
  %333 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %332, float %328)
  %334 = fpext float %333 to double
  %335 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %336 = load float, ptr %335, align 4
  %337 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %338 = load float, ptr %337, align 4
  %339 = load float, ptr %3, align 4, !tbaa !5
  %340 = call float @cosf(float noundef %339) #6
  %341 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %340, float %336)
  %342 = fpext float %341 to double
  %343 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %344 = load float, ptr %343, align 4
  %345 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %346 = load float, ptr %345, align 4
  %347 = load float, ptr %3, align 4, !tbaa !5
  %348 = call float @cosf(float noundef %347) #6
  %349 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %348, float %344)
  %350 = fpext float %349 to double
  %351 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %352 = load float, ptr %351, align 4
  %353 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %354 = load float, ptr %353, align 4
  %355 = load float, ptr %3, align 4, !tbaa !5
  %356 = call float @cosf(float noundef %355) #6
  %357 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %356, float %352)
  %358 = fpext float %357 to double
  %359 = call double @llvm.fmuladd.f64(double %334, double %342, double 0.000000e+00)
  %360 = call double @sqrt(double noundef %359) #6
  %361 = load float, ptr %2, align 4, !tbaa !5
  %362 = fpext float %361 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 145, ptr noundef @.str.10, double noundef %360, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %362)
  br label %364

363:                                              ; preds = %321
  call void (...) @liquid_autotest_passed()
  br label %364

364:                                              ; preds = %363, %326
  %365 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %366 = load float, ptr %365, align 4
  %367 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %368 = load float, ptr %367, align 4
  %369 = load float, ptr %3, align 4, !tbaa !5
  %370 = call float @sinf(float noundef %369) #6
  %371 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %370, float %368)
  %372 = fpext float %371 to double
  %373 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %374 = load float, ptr %373, align 4
  %375 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %376 = load float, ptr %375, align 4
  %377 = load float, ptr %3, align 4, !tbaa !5
  %378 = call float @sinf(float noundef %377) #6
  %379 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %378, float %376)
  %380 = fpext float %379 to double
  %381 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %382 = load float, ptr %381, align 4
  %383 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %384 = load float, ptr %383, align 4
  %385 = load float, ptr %3, align 4, !tbaa !5
  %386 = call float @sinf(float noundef %385) #6
  %387 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %386, float %384)
  %388 = fpext float %387 to double
  %389 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %390 = load float, ptr %389, align 4
  %391 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %392 = load float, ptr %391, align 4
  %393 = load float, ptr %3, align 4, !tbaa !5
  %394 = call float @sinf(float noundef %393) #6
  %395 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %394, float %392)
  %396 = fpext float %395 to double
  %397 = call double @llvm.fmuladd.f64(double %372, double %380, double 0.000000e+00)
  %398 = call double @sqrt(double noundef %397) #6
  %399 = load float, ptr %2, align 4, !tbaa !5
  %400 = fpext float %399 to double
  %401 = fcmp ogt double %398, %400
  br i1 %401, label %424, label %402

402:                                              ; preds = %364
  %403 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %404 = load float, ptr %403, align 4
  %405 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %406 = load float, ptr %405, align 4
  %407 = call i1 @llvm.is.fpclass.f32(float %406, i32 3)
  br i1 %407, label %424, label %408

408:                                              ; preds = %402
  %409 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %410 = load float, ptr %409, align 4
  %411 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %412 = load float, ptr %411, align 4
  %413 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %413, label %424, label %414

414:                                              ; preds = %408
  %415 = load float, ptr %3, align 4, !tbaa !5
  %416 = call float @sinf(float noundef %415) #6
  %417 = fmul float 0xBFB1111120000000, %416
  %418 = call i1 @llvm.is.fpclass.f32(float %417, i32 3)
  br i1 %418, label %424, label %419

419:                                              ; preds = %414
  %420 = load float, ptr %3, align 4, !tbaa !5
  %421 = call float @sinf(float noundef %420) #6
  %422 = fmul float 0xBFB1111120000000, %421
  %423 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %423, label %424, label %461

424:                                              ; preds = %419, %414, %408, %402, %364
  %425 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %426 = load float, ptr %425, align 4
  %427 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %428 = load float, ptr %427, align 4
  %429 = load float, ptr %3, align 4, !tbaa !5
  %430 = call float @sinf(float noundef %429) #6
  %431 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %430, float %428)
  %432 = fpext float %431 to double
  %433 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %434 = load float, ptr %433, align 4
  %435 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %436 = load float, ptr %435, align 4
  %437 = load float, ptr %3, align 4, !tbaa !5
  %438 = call float @sinf(float noundef %437) #6
  %439 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %438, float %436)
  %440 = fpext float %439 to double
  %441 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %442 = load float, ptr %441, align 4
  %443 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %444 = load float, ptr %443, align 4
  %445 = load float, ptr %3, align 4, !tbaa !5
  %446 = call float @sinf(float noundef %445) #6
  %447 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %446, float %444)
  %448 = fpext float %447 to double
  %449 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %450 = load float, ptr %449, align 4
  %451 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %452 = load float, ptr %451, align 4
  %453 = load float, ptr %3, align 4, !tbaa !5
  %454 = call float @sinf(float noundef %453) #6
  %455 = call float @llvm.fmuladd.f32(float 0x3FB1111120000000, float %454, float %452)
  %456 = fpext float %455 to double
  %457 = call double @llvm.fmuladd.f64(double %432, double %440, double 0.000000e+00)
  %458 = call double @sqrt(double noundef %457) #6
  %459 = load float, ptr %2, align 4, !tbaa !5
  %460 = fpext float %459 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 146, ptr noundef @.str.11, double noundef %458, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %460)
  br label %462

461:                                              ; preds = %419
  call void (...) @liquid_autotest_passed()
  br label %462

462:                                              ; preds = %461, %424
  br label %463

463:                                              ; preds = %462
  %464 = load i32, ptr %5, align 4, !tbaa !11
  %465 = add i32 %464, 1
  store i32 %465, ptr %5, align 4, !tbaa !11
  br label %241, !llvm.loop !15

466:                                              ; preds = %241
  %467 = load ptr, ptr %4, align 8, !tbaa !9
  %468 = call i32 @bsync_crcf_destroy(ptr noundef %467)
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 8, 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 60, ptr %1) #6
  ret void
}

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

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

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

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

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

@.str = external hidden unnamed_addr constant [89 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [4 x i8], align 1
@__const.xautotest_bsync_crcf_phase_15.h = external hidden unnamed_addr constant [15 x float], align 16
@.str.8 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [45 x i8], align 1

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #1

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

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

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

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

declare ptr @bsync_crcf_create(i32 noundef, ptr noundef) local_unnamed_addr #3

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

declare i32 @bsync_crcf_destroy(ptr noundef) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
define dso_local void @xautotest_bsync_crcf_phase_15() local_unnamed_addr #4 {
  %1 = alloca [15 x float], align 16
  %2 = alloca { float, float }, align 4
  call void @llvm.lifetime.start.p0(i64 60, ptr nonnull %1) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(60) %1, ptr noundef nonnull align 16 dereferenceable(60) @__const.xautotest_bsync_crcf_phase_15.h, i64 60, i1 false)
  %3 = call ptr @bsync_crcf_create(i32 noundef 15, ptr noundef nonnull %1) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #7
  %4 = load <4 x float>, ptr %1, align 16
  %5 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %6 = shufflevector <4 x float> %4, <4 x float> poison, <2 x i32> zeroinitializer
  %7 = fmul <2 x float> %6, %5
  %8 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %7, ptr noundef nonnull %2) #7
  %9 = getelementptr inbounds i8, ptr %1, i64 4
  %10 = load <4 x float>, ptr %9, align 4
  %11 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %12 = shufflevector <4 x float> %10, <4 x float> poison, <2 x i32> zeroinitializer
  %13 = fmul <2 x float> %12, %11
  %14 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %13, ptr noundef nonnull %2) #7
  %15 = getelementptr inbounds i8, ptr %1, i64 8
  %16 = load <4 x float>, ptr %15, align 8
  %17 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %18 = shufflevector <4 x float> %16, <4 x float> poison, <2 x i32> zeroinitializer
  %19 = fmul <2 x float> %18, %17
  %20 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %19, ptr noundef nonnull %2) #7
  %21 = getelementptr inbounds i8, ptr %1, i64 12
  %22 = load <4 x float>, ptr %21, align 4
  %23 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %24 = shufflevector <4 x float> %22, <4 x float> poison, <2 x i32> zeroinitializer
  %25 = fmul <2 x float> %24, %23
  %26 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %25, ptr noundef nonnull %2) #7
  %27 = getelementptr inbounds i8, ptr %1, i64 16
  %28 = load <4 x float>, ptr %27, align 16
  %29 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %30 = shufflevector <4 x float> %28, <4 x float> poison, <2 x i32> zeroinitializer
  %31 = fmul <2 x float> %30, %29
  %32 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %31, ptr noundef nonnull %2) #7
  %33 = getelementptr inbounds i8, ptr %1, i64 20
  %34 = load <4 x float>, ptr %33, align 4
  %35 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %36 = shufflevector <4 x float> %34, <4 x float> poison, <2 x i32> zeroinitializer
  %37 = fmul <2 x float> %36, %35
  %38 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %37, ptr noundef nonnull %2) #7
  %39 = getelementptr inbounds i8, ptr %1, i64 24
  %40 = load <4 x float>, ptr %39, align 8
  %41 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %42 = shufflevector <4 x float> %40, <4 x float> poison, <2 x i32> zeroinitializer
  %43 = fmul <2 x float> %42, %41
  %44 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %43, ptr noundef nonnull %2) #7
  %45 = getelementptr inbounds i8, ptr %1, i64 28
  %46 = load <4 x float>, ptr %45, align 4
  %47 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %48 = shufflevector <4 x float> %46, <4 x float> poison, <2 x i32> zeroinitializer
  %49 = fmul <2 x float> %48, %47
  %50 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %49, ptr noundef nonnull %2) #7
  %51 = getelementptr inbounds i8, ptr %1, i64 32
  %52 = load <4 x float>, ptr %51, align 16
  %53 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %54 = shufflevector <4 x float> %52, <4 x float> poison, <2 x i32> zeroinitializer
  %55 = fmul <2 x float> %54, %53
  %56 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %55, ptr noundef nonnull %2) #7
  %57 = getelementptr inbounds i8, ptr %1, i64 36
  %58 = load <4 x float>, ptr %57, align 4
  %59 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %60 = shufflevector <4 x float> %58, <4 x float> poison, <2 x i32> zeroinitializer
  %61 = fmul <2 x float> %60, %59
  %62 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %61, ptr noundef nonnull %2) #7
  %63 = getelementptr inbounds i8, ptr %1, i64 40
  %64 = load <4 x float>, ptr %63, align 8
  %65 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %66 = shufflevector <4 x float> %64, <4 x float> poison, <2 x i32> zeroinitializer
  %67 = fmul <2 x float> %66, %65
  %68 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %67, ptr noundef nonnull %2) #7
  %69 = getelementptr inbounds i8, ptr %1, i64 44
  %70 = load <4 x float>, ptr %69, align 4
  %71 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %72 = shufflevector <4 x float> %70, <4 x float> poison, <2 x i32> zeroinitializer
  %73 = fmul <2 x float> %72, %71
  %74 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %73, ptr noundef nonnull %2) #7
  %75 = getelementptr inbounds i8, ptr %1, i64 48
  %76 = load float, ptr %75, align 16, !tbaa !5
  %77 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %78 = insertelement <2 x float> poison, float %76, i64 0
  %79 = shufflevector <2 x float> %78, <2 x float> poison, <2 x i32> zeroinitializer
  %80 = fmul <2 x float> %79, %77
  %81 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %80, ptr noundef nonnull %2) #7
  %82 = getelementptr inbounds i8, ptr %1, i64 52
  %83 = load float, ptr %82, align 4, !tbaa !5
  %84 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %85 = insertelement <2 x float> poison, float %83, i64 0
  %86 = shufflevector <2 x float> %85, <2 x float> poison, <2 x i32> zeroinitializer
  %87 = fmul <2 x float> %86, %84
  %88 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %87, ptr noundef nonnull %2) #7
  %89 = getelementptr inbounds i8, ptr %1, i64 56
  %90 = load float, ptr %89, align 8, !tbaa !5
  %91 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %92 = insertelement <2 x float> poison, float %90, i64 0
  %93 = shufflevector <2 x float> %92, <2 x float> poison, <2 x i32> zeroinitializer
  %94 = fmul <2 x float> %93, %91
  %95 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %94, ptr noundef nonnull %2) #7
  %96 = load float, ptr %2, align 4
  %97 = getelementptr inbounds i8, ptr %2, i64 4
  %98 = fadd float %96, 0xBFEE921DE0000000
  %99 = fpext float %98 to double
  %100 = call double @llvm.fmuladd.f64(double %99, double %99, double 0.000000e+00)
  %sqrt = call double @llvm.sqrt.f64(double %100)
  %101 = fcmp ogt double %sqrt, 0x3F50624DE0000000
  %102 = fcmp uno float %96, 0.000000e+00
  %or.cond = select i1 %101, i1 true, i1 %102
  br i1 %or.cond, label %103, label %104

103:                                              ; preds = %0
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 139, ptr noundef nonnull @.str.8, double noundef %sqrt, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F50624DE0000000) #7
  br label %105

104:                                              ; preds = %0
  call void (...) @liquid_autotest_passed() #7
  br label %105

105:                                              ; preds = %104, %103
  %106 = load float, ptr %97, align 4
  %107 = fadd float %106, 0xBFD2E9CDA0000000
  %108 = fpext float %107 to double
  %109 = call double @llvm.fmuladd.f64(double %108, double %108, double 0.000000e+00)
  %sqrt75 = call double @llvm.sqrt.f64(double %109)
  %110 = fcmp ogt double %sqrt75, 0x3F50624DE0000000
  %111 = fcmp uno float %106, 0.000000e+00
  %or.cond69 = select i1 %110, i1 true, i1 %111
  br i1 %or.cond69, label %112, label %113

112:                                              ; preds = %105
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 140, ptr noundef nonnull @.str.9, double noundef %sqrt75, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F50624DE0000000) #7
  br label %.preheader

113:                                              ; preds = %105
  call void (...) @liquid_autotest_passed() #7
  br label %.preheader

.preheader:                                       ; preds = %113, %112
  br label %114

114:                                              ; preds = %.preheader, %139
  %indvars.iv = phi i64 [ %indvars.iv.next, %139 ], [ 0, %.preheader ]
  %115 = getelementptr inbounds [15 x float], ptr %1, i64 0, i64 %indvars.iv
  %116 = load float, ptr %115, align 4, !tbaa !5
  %117 = call <2 x float> @cexpf(<2 x float> noundef <float 0.000000e+00, float 0x3FD3333340000000>) #7
  %118 = insertelement <2 x float> poison, float %116, i64 0
  %119 = shufflevector <2 x float> %118, <2 x float> poison, <2 x i32> zeroinitializer
  %120 = fmul <2 x float> %119, %117
  %121 = call i32 @bsync_crcf_correlate(ptr noundef %3, <2 x float> noundef %120, ptr noundef nonnull %2) #7
  %122 = load float, ptr %2, align 4
  %123 = fadd float %122, 0x3FB04DEDE0000000
  %124 = fpext float %123 to double
  %125 = call double @llvm.fmuladd.f64(double %124, double %124, double 0.000000e+00)
  %sqrt77 = call double @llvm.sqrt.f64(double %125)
  %126 = fcmp ogt double %sqrt77, 0x3F50624DE0000000
  %127 = fcmp uno float %122, 0.000000e+00
  %or.cond71 = select i1 %126, i1 true, i1 %127
  br i1 %or.cond71, label %128, label %129

128:                                              ; preds = %114
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 145, ptr noundef nonnull @.str.10, double noundef %sqrt77, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F50624DE0000000) #7
  br label %130

129:                                              ; preds = %114
  call void (...) @liquid_autotest_passed() #7
  br label %130

130:                                              ; preds = %129, %128
  %131 = load float, ptr %97, align 4
  %132 = fadd float %131, 0x3F942C9720000000
  %133 = fpext float %132 to double
  %134 = call double @llvm.fmuladd.f64(double %133, double %133, double 0.000000e+00)
  %sqrt79 = call double @llvm.sqrt.f64(double %134)
  %135 = fcmp ogt double %sqrt79, 0x3F50624DE0000000
  %136 = fcmp uno float %131, 0.000000e+00
  %or.cond73 = select i1 %135, i1 true, i1 %136
  br i1 %or.cond73, label %137, label %138

137:                                              ; preds = %130
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 146, ptr noundef nonnull @.str.11, double noundef %sqrt79, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F50624DE0000000) #7
  br label %139

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

139:                                              ; preds = %137, %138
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 14
  br i1 %exitcond.not, label %140, label %114, !llvm.loop !9

140:                                              ; preds = %139
  %141 = call i32 @bsync_crcf_destroy(ptr noundef %3) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #7
  call void @llvm.lifetime.end.p0(i64 60, ptr nonnull %1) #7
  ret void
}

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

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nounwind uwtable "min-legal-vector-width"="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 "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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #7 = { 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: AggressiveInstCombinePass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,LoopRotatePass,LoopUnrollPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,VectorCombinePass