; LLVM IR from jgaeddert/liquid-dsp :: src/nco/tests (nco_crcf_mix_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 [92 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [36 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
@.str.4 = external hidden unnamed_addr constant [36 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @testbench_nco_crcf_mix(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 ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i64, align 8
  %12 = alloca i64, align 8
  %13 = alloca i32, align 4
  %14 = alloca { float, float }, align 4
  %15 = alloca { float, float }, align 4
  %16 = alloca float, align 4
  %17 = alloca { float, float }, align 4
  %18 = alloca { float, float }, align 4
  %19 = alloca { float, float }, align 4
  %20 = alloca { float, float }, align 4
  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
  store i32 1200, ptr %7, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #6
  store float 0x3F847AE140000000, ptr %8, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #6
  %21 = load i32, ptr %4, align 4, !tbaa !5
  %22 = call ptr @nco_crcf_create(i32 noundef %21)
  store ptr %22, ptr %9, align 8, !tbaa !11
  %23 = load ptr, ptr %9, align 8, !tbaa !11
  %24 = load float, ptr %5, align 4, !tbaa !9
  %25 = call i32 @nco_crcf_set_phase(ptr noundef %23, float noundef %24)
  %26 = load ptr, ptr %9, align 8, !tbaa !11
  %27 = load float, ptr %6, align 4, !tbaa !9
  %28 = call i32 @nco_crcf_set_frequency(ptr noundef %26, float noundef %27)
  %29 = load i32, ptr %7, align 4, !tbaa !5
  %30 = zext i32 %29 to i64
  %31 = call ptr @llvm.stacksave.p0()
  store ptr %31, ptr %10, align 8
  %32 = alloca { float, float }, i64 %30, align 16
  store i64 %30, ptr %11, align 8
  %33 = load i32, ptr %7, align 4, !tbaa !5
  %34 = zext i32 %33 to i64
  %35 = alloca { float, float }, i64 %34, align 16
  store i64 %34, ptr %12, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #6
  store i32 0, ptr %13, align 4, !tbaa !5
  br label %36

36:                                               ; preds = %60, %3
  %37 = load i32, ptr %13, align 4, !tbaa !5
  %38 = load i32, ptr %7, align 4, !tbaa !5
  %39 = icmp ult i32 %37, %38
  br i1 %39, label %40, label %63

40:                                               ; preds = %36
  %41 = call float (...) @randf()
  %42 = fpext float %41 to double
  %43 = fmul double 0.000000e+00, %42
  %44 = fmul double 0x401921FB54442D18, %42
  %45 = fptrunc double %43 to float
  %46 = fptrunc double %44 to float
  %47 = getelementptr inbounds { float, float }, ptr %14, i32 0, i32 0
  %48 = getelementptr inbounds { float, float }, ptr %14, i32 0, i32 1
  store float %45, ptr %47, align 4
  store float %46, ptr %48, align 4
  %49 = load <2 x float>, ptr %14, align 4
  %50 = call <2 x float> @cexpf(<2 x float> noundef %49) #6
  store <2 x float> %50, ptr %15, align 4
  %51 = getelementptr inbounds { float, float }, ptr %15, i32 0, i32 0
  %52 = load float, ptr %51, align 4
  %53 = getelementptr inbounds { float, float }, ptr %15, i32 0, i32 1
  %54 = load float, ptr %53, align 4
  %55 = load i32, ptr %13, align 4, !tbaa !5
  %56 = zext i32 %55 to i64
  %57 = getelementptr inbounds { float, float }, ptr %32, i64 %56
  %58 = getelementptr inbounds { float, float }, ptr %57, i32 0, i32 0
  %59 = getelementptr inbounds { float, float }, ptr %57, i32 0, i32 1
  store float %52, ptr %58, align 8
  store float %54, ptr %59, align 4
  br label %60

60:                                               ; preds = %40
  %61 = load i32, ptr %13, align 4, !tbaa !5
  %62 = add i32 %61, 1
  store i32 %62, ptr %13, align 4, !tbaa !5
  br label %36, !llvm.loop !13

63:                                               ; preds = %36
  %64 = load ptr, ptr %9, align 8, !tbaa !11
  %65 = load i32, ptr %7, align 4, !tbaa !5
  %66 = call i32 @nco_crcf_mix_block_up(ptr noundef %64, ptr noundef %32, ptr noundef %35, i32 noundef %65)
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #6
  %67 = load float, ptr %5, align 4, !tbaa !9
  store float %67, ptr %16, align 4, !tbaa !9
  store i32 0, ptr %13, align 4, !tbaa !5
  br label %68

68:                                               ; preds = %426, %63
  %69 = load i32, ptr %13, align 4, !tbaa !5
  %70 = load i32, ptr %7, align 4, !tbaa !5
  %71 = icmp ult i32 %69, %70
  br i1 %71, label %72, label %429

72:                                               ; preds = %68
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #6
  %73 = load i32, ptr %13, align 4, !tbaa !5
  %74 = zext i32 %73 to i64
  %75 = getelementptr inbounds { float, float }, ptr %32, i64 %74
  %76 = getelementptr inbounds { float, float }, ptr %75, i32 0, i32 0
  %77 = load float, ptr %76, align 8
  %78 = getelementptr inbounds { float, float }, ptr %75, i32 0, i32 1
  %79 = load float, ptr %78, align 4
  %80 = load float, ptr %16, align 4, !tbaa !9
  %81 = fmul float 0.000000e+00, %80
  %82 = fmul float 1.000000e+00, %80
  %83 = getelementptr inbounds { float, float }, ptr %18, i32 0, i32 0
  %84 = getelementptr inbounds { float, float }, ptr %18, i32 0, i32 1
  store float %81, ptr %83, align 4
  store float %82, ptr %84, align 4
  %85 = load <2 x float>, ptr %18, align 4
  %86 = call <2 x float> @cexpf(<2 x float> noundef %85) #6
  store <2 x float> %86, ptr %19, align 4
  %87 = getelementptr inbounds { float, float }, ptr %19, i32 0, i32 0
  %88 = load float, ptr %87, align 4
  %89 = getelementptr inbounds { float, float }, ptr %19, i32 0, i32 1
  %90 = load float, ptr %89, align 4
  %91 = fmul float %77, %88
  %92 = fmul float %79, %90
  %93 = fmul float %77, %90
  %94 = fmul float %79, %88
  %95 = fsub float %91, %92
  %96 = fadd float %93, %94
  %97 = fcmp uno float %95, %95
  br i1 %97, label %98, label %106, !prof !15

98:                                               ; preds = %72
  %99 = fcmp uno float %96, %96
  br i1 %99, label %100, label %106, !prof !15

100:                                              ; preds = %98
  %101 = call <2 x float> @__mulsc3(float noundef %77, float noundef %79, float noundef %88, float noundef %90) #6
  store <2 x float> %101, ptr %20, align 4
  %102 = getelementptr inbounds { float, float }, ptr %20, i32 0, i32 0
  %103 = load float, ptr %102, align 4
  %104 = getelementptr inbounds { float, float }, ptr %20, i32 0, i32 1
  %105 = load float, ptr %104, align 4
  br label %106

106:                                              ; preds = %100, %98, %72
  %107 = phi float [ %95, %72 ], [ %95, %98 ], [ %103, %100 ]
  %108 = phi float [ %96, %72 ], [ %96, %98 ], [ %105, %100 ]
  %109 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %110 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  store float %107, ptr %109, align 4
  store float %108, ptr %110, align 4
  %111 = load i32, ptr %13, align 4, !tbaa !5
  %112 = zext i32 %111 to i64
  %113 = getelementptr inbounds { float, float }, ptr %35, i64 %112
  %114 = getelementptr inbounds { float, float }, ptr %113, i32 0, i32 0
  %115 = load float, ptr %114, align 8
  %116 = getelementptr inbounds { float, float }, ptr %113, i32 0, i32 1
  %117 = load float, ptr %116, align 4
  %118 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %119 = load float, ptr %118, align 4
  %120 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %121 = load float, ptr %120, align 4
  %122 = fsub float %115, %119
  %123 = fpext float %122 to double
  %124 = load i32, ptr %13, align 4, !tbaa !5
  %125 = zext i32 %124 to i64
  %126 = getelementptr inbounds { float, float }, ptr %35, i64 %125
  %127 = getelementptr inbounds { float, float }, ptr %126, i32 0, i32 0
  %128 = load float, ptr %127, align 8
  %129 = getelementptr inbounds { float, float }, ptr %126, i32 0, i32 1
  %130 = load float, ptr %129, align 4
  %131 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %132 = load float, ptr %131, align 4
  %133 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %134 = load float, ptr %133, align 4
  %135 = fsub float %128, %132
  %136 = fpext float %135 to double
  %137 = load i32, ptr %13, align 4, !tbaa !5
  %138 = zext i32 %137 to i64
  %139 = getelementptr inbounds { float, float }, ptr %35, i64 %138
  %140 = getelementptr inbounds { float, float }, ptr %139, i32 0, i32 0
  %141 = load float, ptr %140, align 8
  %142 = getelementptr inbounds { float, float }, ptr %139, i32 0, i32 1
  %143 = load float, ptr %142, align 4
  %144 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %145 = load float, ptr %144, align 4
  %146 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %147 = load float, ptr %146, align 4
  %148 = fsub float %141, %145
  %149 = fpext float %148 to double
  %150 = load i32, ptr %13, align 4, !tbaa !5
  %151 = zext i32 %150 to i64
  %152 = getelementptr inbounds { float, float }, ptr %35, i64 %151
  %153 = getelementptr inbounds { float, float }, ptr %152, i32 0, i32 0
  %154 = load float, ptr %153, align 8
  %155 = getelementptr inbounds { float, float }, ptr %152, i32 0, i32 1
  %156 = load float, ptr %155, align 4
  %157 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %158 = load float, ptr %157, align 4
  %159 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %160 = load float, ptr %159, align 4
  %161 = fsub float %154, %158
  %162 = fpext float %161 to double
  %163 = call double @llvm.fmuladd.f64(double %123, double %136, double 0.000000e+00)
  %164 = call double @sqrt(double noundef %163) #6
  %165 = load float, ptr %8, align 4, !tbaa !9
  %166 = fpext float %165 to double
  %167 = fcmp ogt double %164, %166
  br i1 %167, label %198, label %168

168:                                              ; preds = %106
  %169 = load i32, ptr %13, align 4, !tbaa !5
  %170 = zext i32 %169 to i64
  %171 = getelementptr inbounds { float, float }, ptr %35, i64 %170
  %172 = getelementptr inbounds { float, float }, ptr %171, i32 0, i32 0
  %173 = load float, ptr %172, align 8
  %174 = getelementptr inbounds { float, float }, ptr %171, i32 0, i32 1
  %175 = load float, ptr %174, align 4
  %176 = call i1 @llvm.is.fpclass.f32(float %173, i32 3)
  br i1 %176, label %198, label %177

177:                                              ; preds = %168
  %178 = load i32, ptr %13, align 4, !tbaa !5
  %179 = zext i32 %178 to i64
  %180 = getelementptr inbounds { float, float }, ptr %35, i64 %179
  %181 = getelementptr inbounds { float, float }, ptr %180, i32 0, i32 0
  %182 = load float, ptr %181, align 8
  %183 = getelementptr inbounds { float, float }, ptr %180, i32 0, i32 1
  %184 = load float, ptr %183, align 4
  %185 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %185, label %198, label %186

186:                                              ; preds = %177
  %187 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %188 = load float, ptr %187, align 4
  %189 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %190 = load float, ptr %189, align 4
  %191 = call i1 @llvm.is.fpclass.f32(float %188, i32 3)
  br i1 %191, label %198, label %192

192:                                              ; preds = %186
  %193 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %194 = load float, ptr %193, align 4
  %195 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %196 = load float, ptr %195, align 4
  %197 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %197, label %198, label %255

198:                                              ; preds = %192, %186, %177, %168, %106
  %199 = load i32, ptr %13, align 4, !tbaa !5
  %200 = zext i32 %199 to i64
  %201 = getelementptr inbounds { float, float }, ptr %35, i64 %200
  %202 = getelementptr inbounds { float, float }, ptr %201, i32 0, i32 0
  %203 = load float, ptr %202, align 8
  %204 = getelementptr inbounds { float, float }, ptr %201, i32 0, i32 1
  %205 = load float, ptr %204, align 4
  %206 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %207 = load float, ptr %206, align 4
  %208 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %209 = load float, ptr %208, align 4
  %210 = fsub float %203, %207
  %211 = fpext float %210 to double
  %212 = load i32, ptr %13, align 4, !tbaa !5
  %213 = zext i32 %212 to i64
  %214 = getelementptr inbounds { float, float }, ptr %35, i64 %213
  %215 = getelementptr inbounds { float, float }, ptr %214, i32 0, i32 0
  %216 = load float, ptr %215, align 8
  %217 = getelementptr inbounds { float, float }, ptr %214, i32 0, i32 1
  %218 = load float, ptr %217, align 4
  %219 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %220 = load float, ptr %219, align 4
  %221 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %222 = load float, ptr %221, align 4
  %223 = fsub float %216, %220
  %224 = fpext float %223 to double
  %225 = load i32, ptr %13, align 4, !tbaa !5
  %226 = zext i32 %225 to i64
  %227 = getelementptr inbounds { float, float }, ptr %35, i64 %226
  %228 = getelementptr inbounds { float, float }, ptr %227, i32 0, i32 0
  %229 = load float, ptr %228, align 8
  %230 = getelementptr inbounds { float, float }, ptr %227, i32 0, i32 1
  %231 = load float, ptr %230, align 4
  %232 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %233 = load float, ptr %232, align 4
  %234 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %235 = load float, ptr %234, align 4
  %236 = fsub float %229, %233
  %237 = fpext float %236 to double
  %238 = load i32, ptr %13, align 4, !tbaa !5
  %239 = zext i32 %238 to i64
  %240 = getelementptr inbounds { float, float }, ptr %35, i64 %239
  %241 = getelementptr inbounds { float, float }, ptr %240, i32 0, i32 0
  %242 = load float, ptr %241, align 8
  %243 = getelementptr inbounds { float, float }, ptr %240, i32 0, i32 1
  %244 = load float, ptr %243, align 4
  %245 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %246 = load float, ptr %245, align 4
  %247 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %248 = load float, ptr %247, align 4
  %249 = fsub float %242, %246
  %250 = fpext float %249 to double
  %251 = call double @llvm.fmuladd.f64(double %211, double %224, double 0.000000e+00)
  %252 = call double @sqrt(double noundef %251) #6
  %253 = load float, ptr %8, align 4, !tbaa !9
  %254 = fpext float %253 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 55, ptr noundef @.str.1, double noundef %252, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %254)
  br label %256

255:                                              ; preds = %192
  call void (...) @liquid_autotest_passed()
  br label %256

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

314:                                              ; preds = %256
  %315 = load i32, ptr %13, align 4, !tbaa !5
  %316 = zext i32 %315 to i64
  %317 = getelementptr inbounds { float, float }, ptr %35, i64 %316
  %318 = getelementptr inbounds { float, float }, ptr %317, i32 0, i32 0
  %319 = load float, ptr %318, align 8
  %320 = getelementptr inbounds { float, float }, ptr %317, i32 0, i32 1
  %321 = load float, ptr %320, align 4
  %322 = call i1 @llvm.is.fpclass.f32(float %321, i32 3)
  br i1 %322, label %344, label %323

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

332:                                              ; preds = %323
  %333 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %334 = load float, ptr %333, align 4
  %335 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %336 = load float, ptr %335, align 4
  %337 = call i1 @llvm.is.fpclass.f32(float %336, i32 3)
  br i1 %337, label %344, label %338

338:                                              ; preds = %332
  %339 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 0
  %340 = load float, ptr %339, align 4
  %341 = getelementptr inbounds { float, float }, ptr %17, i32 0, i32 1
  %342 = load float, ptr %341, align 4
  %343 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %343, label %344, label %401

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

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

402:                                              ; preds = %401, %344
  %403 = load float, ptr %6, align 4, !tbaa !9
  %404 = load float, ptr %16, align 4, !tbaa !9
  %405 = fadd float %404, %403
  store float %405, ptr %16, align 4, !tbaa !9
  br label %406

406:                                              ; preds = %410, %402
  %407 = load float, ptr %16, align 4, !tbaa !9
  %408 = fpext float %407 to double
  %409 = fcmp ogt double %408, 0x400921FB54442D18
  br i1 %409, label %410, label %415

410:                                              ; preds = %406
  %411 = load float, ptr %16, align 4, !tbaa !9
  %412 = fpext float %411 to double
  %413 = fsub double %412, 0x401921FB54442D18
  %414 = fptrunc double %413 to float
  store float %414, ptr %16, align 4, !tbaa !9
  br label %406, !llvm.loop !16

415:                                              ; preds = %406
  br label %416

416:                                              ; preds = %420, %415
  %417 = load float, ptr %16, align 4, !tbaa !9
  %418 = fpext float %417 to double
  %419 = fcmp olt double %418, 0xC00921FB54442D18
  br i1 %419, label %420, label %425

420:                                              ; preds = %416
  %421 = load float, ptr %16, align 4, !tbaa !9
  %422 = fpext float %421 to double
  %423 = fadd double %422, 0x401921FB54442D18
  %424 = fptrunc double %423 to float
  store float %424, ptr %16, align 4, !tbaa !9
  br label %416, !llvm.loop !17

425:                                              ; preds = %416
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #6
  br label %426

426:                                              ; preds = %425
  %427 = load i32, ptr %13, align 4, !tbaa !5
  %428 = add i32 %427, 1
  store i32 %428, ptr %13, align 4, !tbaa !5
  br label %68, !llvm.loop !18

429:                                              ; preds = %68
  %430 = load ptr, ptr %9, align 8, !tbaa !11
  %431 = call i32 @nco_crcf_destroy(ptr noundef %430)
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #6
  %432 = load ptr, ptr %10, align 8
  call void @llvm.stackrestore.p0(ptr %432)
  call void @llvm.lifetime.end.p0(i64 8, 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

declare ptr @nco_crcf_create(i32 noundef) #2

declare i32 @nco_crcf_set_phase(ptr noundef, float noundef) #2

declare i32 @nco_crcf_set_frequency(ptr noundef, float noundef) #2

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

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

declare float @randf(...) #2

declare i32 @nco_crcf_mix_block_up(ptr noundef, ptr noundef, ptr noundef, i32 noundef) #2

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

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

; 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

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

declare void @liquid_autotest_passed(...) #2

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

declare i32 @nco_crcf_destroy(ptr noundef) #2

; 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 = { "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 = { 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 = { 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}
!18 = distinct !{!18, !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 [92 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [36 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
@.str.4 = external hidden unnamed_addr constant [36 x i8], align 1

; Function Attrs: nounwind uwtable
define dso_local void @testbench_nco_crcf_mix(i32 noundef %0, float noundef %1, float noundef %2) local_unnamed_addr #0 {
  %4 = tail call ptr @nco_crcf_create(i32 noundef %0) #5
  %5 = tail call i32 @nco_crcf_set_phase(ptr noundef %4, float noundef %1) #5
  %6 = tail call i32 @nco_crcf_set_frequency(ptr noundef %4, float noundef %2) #5
  %7 = alloca [1200 x { float, float }], align 16
  %8 = alloca [1200 x { float, float }], align 16
  br label %9

9:                                                ; preds = %3, %9
  %indvars.iv = phi i64 [ 0, %3 ], [ %indvars.iv.next, %9 ]
  %10 = tail call float (...) @randf() #5
  %11 = fpext float %10 to double
  %12 = fmul double %11, 0x401921FB54442D18
  %13 = fmul float %10, 0.000000e+00
  %14 = fptrunc double %12 to float
  %.sroa.049.0.vec.insert = insertelement <2 x float> poison, float %13, i64 0
  %.sroa.049.4.vec.insert = insertelement <2 x float> %.sroa.049.0.vec.insert, float %14, i64 1
  %15 = tail call <2 x float> @cexpf(<2 x float> noundef %.sroa.049.4.vec.insert) #5
  %16 = getelementptr inbounds { float, float }, ptr %7, i64 %indvars.iv
  store <2 x float> %15, ptr %16, align 8
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 1200
  br i1 %exitcond.not, label %17, label %9, !llvm.loop !5

17:                                               ; preds = %9
  %18 = call i32 @nco_crcf_mix_block_up(ptr noundef %4, ptr noundef nonnull %7, ptr noundef nonnull %8, i32 noundef 1200) #5
  br label %19

19:                                               ; preds = %17, %._crit_edge
  %indvars.iv110 = phi i64 [ 0, %17 ], [ %indvars.iv.next111, %._crit_edge ]
  %.095106 = phi float [ %1, %17 ], [ %.2.lcssa, %._crit_edge ]
  %20 = getelementptr inbounds { float, float }, ptr %7, i64 %indvars.iv110
  %21 = fmul float %.095106, 0.000000e+00
  %.sroa.02.0.vec.insert = insertelement <2 x float> poison, float %21, i64 0
  %.sroa.02.4.vec.insert = insertelement <2 x float> %.sroa.02.0.vec.insert, float %.095106, i64 1
  %22 = load <2 x float>, ptr %20, align 8
  %23 = call <2 x float> @cexpf(<2 x float> noundef %.sroa.02.4.vec.insert) #5
  %24 = fmul <2 x float> %22, %23
  %25 = shufflevector <2 x float> %23, <2 x float> poison, <2 x i32> <i32 1, i32 0>
  %26 = fmul <2 x float> %22, %25
  %shift = shufflevector <2 x float> %24, <2 x float> poison, <2 x i32> <i32 1, i32 poison>
  %27 = fsub <2 x float> %24, %shift
  %28 = extractelement <2 x float> %27, i64 0
  %shift118 = shufflevector <2 x float> %26, <2 x float> poison, <2 x i32> <i32 1, i32 poison>
  %29 = fadd <2 x float> %26, %shift118
  %30 = extractelement <2 x float> %29, i64 0
  %31 = fcmp uno float %28, 0.000000e+00
  br i1 %31, label %32, label %40, !prof !7

32:                                               ; preds = %19
  %33 = fcmp uno float %30, 0.000000e+00
  br i1 %33, label %34, label %40, !prof !7

34:                                               ; preds = %32
  %35 = extractelement <2 x float> %22, i64 0
  %36 = extractelement <2 x float> %22, i64 1
  %37 = extractelement <2 x float> %23, i64 0
  %38 = extractelement <2 x float> %23, i64 1
  %39 = call <2 x float> @__mulsc3(float noundef %35, float noundef %36, float noundef %37, float noundef %38) #5
  %.sroa.0.0.vec.extract = extractelement <2 x float> %39, i64 0
  %.sroa.0.4.vec.extract = extractelement <2 x float> %39, i64 1
  br label %40

40:                                               ; preds = %34, %32, %19
  %41 = phi float [ %28, %19 ], [ %28, %32 ], [ %.sroa.0.0.vec.extract, %34 ]
  %42 = phi float [ %30, %19 ], [ %30, %32 ], [ %.sroa.0.4.vec.extract, %34 ]
  %43 = getelementptr inbounds { float, float }, ptr %8, i64 %indvars.iv110
  %44 = load float, ptr %43, align 8
  %45 = getelementptr inbounds i8, ptr %43, i64 4
  %46 = fsub float %44, %41
  %47 = fpext float %46 to double
  %48 = call double @llvm.fmuladd.f64(double %47, double %47, double 0.000000e+00)
  %sqrt = call double @llvm.sqrt.f64(double %48)
  %49 = fcmp ogt double %sqrt, 0x3F847AE140000000
  br i1 %49, label %53, label %50

50:                                               ; preds = %40
  %51 = fcmp uno float %44, 0.000000e+00
  %52 = fcmp uno float %41, 0.000000e+00
  %or.cond = select i1 %51, i1 true, i1 %52
  br i1 %or.cond, label %53, label %54

53:                                               ; preds = %50, %40
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 55, ptr noundef nonnull @.str.1, double noundef %sqrt, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F847AE140000000) #5
  br label %55

54:                                               ; preds = %50
  call void (...) @liquid_autotest_passed() #5
  br label %55

55:                                               ; preds = %54, %53
  %56 = load float, ptr %45, align 4
  %57 = fsub float %56, %42
  %58 = fpext float %57 to double
  %59 = call double @llvm.fmuladd.f64(double %58, double %58, double 0.000000e+00)
  %sqrt101 = call double @llvm.sqrt.f64(double %59)
  %60 = fcmp ogt double %sqrt101, 0x3F847AE140000000
  br i1 %60, label %64, label %61

61:                                               ; preds = %55
  %62 = fcmp uno float %56, 0.000000e+00
  %63 = fcmp uno float %42, 0.000000e+00
  %or.cond99 = select i1 %62, i1 true, i1 %63
  br i1 %or.cond99, label %64, label %65

64:                                               ; preds = %61, %55
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 56, ptr noundef nonnull @.str.4, double noundef %sqrt101, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F847AE140000000) #5
  br label %66

65:                                               ; preds = %61
  call void (...) @liquid_autotest_passed() #5
  br label %66

66:                                               ; preds = %65, %64
  %67 = fadd float %.095106, %2
  %68 = fpext float %67 to double
  %69 = fcmp ogt double %68, 0x400921FB54442D18
  br i1 %69, label %.lr.ph, label %.preheader

.preheader:                                       ; preds = %.lr.ph, %66
  %.pre-phi = phi double [ %68, %66 ], [ %74, %.lr.ph ]
  %.196.lcssa = phi float [ %67, %66 ], [ %73, %.lr.ph ]
  %70 = fcmp olt double %.pre-phi, 0xC00921FB54442D18
  br i1 %70, label %.lr.ph104, label %._crit_edge

.lr.ph:                                           ; preds = %66, %.lr.ph
  %71 = phi double [ %74, %.lr.ph ], [ %68, %66 ]
  %72 = fadd double %71, 0xC01921FB54442D18
  %73 = fptrunc double %72 to float
  %74 = fpext float %73 to double
  %75 = fcmp ogt double %74, 0x400921FB54442D18
  br i1 %75, label %.lr.ph, label %.preheader, !llvm.loop !8

.lr.ph104:                                        ; preds = %.preheader, %.lr.ph104
  %76 = phi double [ %79, %.lr.ph104 ], [ %.pre-phi, %.preheader ]
  %77 = fadd double %76, 0x401921FB54442D18
  %78 = fptrunc double %77 to float
  %79 = fpext float %78 to double
  %80 = fcmp olt double %79, 0xC00921FB54442D18
  br i1 %80, label %.lr.ph104, label %._crit_edge, !llvm.loop !9

._crit_edge:                                      ; preds = %.lr.ph104, %.preheader
  %.2.lcssa = phi float [ %.196.lcssa, %.preheader ], [ %78, %.lr.ph104 ]
  %indvars.iv.next111 = add nuw nsw i64 %indvars.iv110, 1
  %exitcond113.not = icmp eq i64 %indvars.iv.next111, 1200
  br i1 %exitcond113.not, label %81, label %19, !llvm.loop !10

81:                                               ; preds = %._crit_edge
  %82 = call i32 @nco_crcf_destroy(ptr noundef %4) #5
  ret void
}

declare ptr @nco_crcf_create(i32 noundef) local_unnamed_addr #1

declare i32 @nco_crcf_set_phase(ptr noundef, float noundef) local_unnamed_addr #1

declare i32 @nco_crcf_set_frequency(ptr noundef, float noundef) local_unnamed_addr #1

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

declare float @randf(...) local_unnamed_addr #1

declare i32 @nco_crcf_mix_block_up(ptr noundef, ptr noundef, ptr noundef, i32 noundef) local_unnamed_addr #1

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

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

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

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

declare i32 @nco_crcf_destroy(ptr noundef) local_unnamed_addr #1

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

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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #5 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = distinct !{!5, !6}
!6 = !{!"llvm.loop.mustprogress"}
!7 = !{!"branch_weights", i32 1, i32 1048575}
!8 = distinct !{!8, !6}
!9 = distinct !{!9, !6}
!10 = distinct !{!10, !6}


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