; LLVM IR from jgaeddert/liquid-dsp :: src/nco/tests (nco_crcf_phase_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.1 = external hidden unnamed_addr constant [94 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [21 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

declare ptr @nco_crcf_create(i32 noundef) #1

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

declare float @nco_crcf_cos(ptr noundef) #1

declare float @nco_crcf_sin(ptr noundef) #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) #1

declare void @liquid_autotest_passed(...) #1

declare i32 @nco_crcf_destroy(ptr noundef) #1

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

; Function Attrs: nounwind uwtable
define dso_local void @autotest_nco_basic() #4 {
  %1 = alloca ptr, align 8
  %2 = alloca i32, align 4
  %3 = alloca float, align 4
  %4 = alloca float, align 4
  %5 = alloca float, align 4
  %6 = alloca float, align 4
  call void @llvm.lifetime.start.p0(i64 8, ptr %1) #5
  %7 = call ptr @nco_crcf_create(i32 noundef 0)
  store ptr %7, ptr %1, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %3) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %4) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #5
  store float 0x3F1A36E2E0000000, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #5
  store float 0.000000e+00, ptr %6, align 4, !tbaa !9
  %8 = load ptr, ptr %1, align 8, !tbaa !5
  %9 = call i32 @nco_crcf_set_phase(ptr noundef %8, float noundef 0.000000e+00)
  %10 = load ptr, ptr %1, align 8, !tbaa !5
  %11 = call float @nco_crcf_cos(ptr noundef %10)
  %12 = fsub float %11, 1.000000e+00
  %13 = fpext float %12 to double
  %14 = load ptr, ptr %1, align 8, !tbaa !5
  %15 = call float @nco_crcf_cos(ptr noundef %14)
  %16 = fsub float %15, 1.000000e+00
  %17 = fpext float %16 to double
  %18 = load ptr, ptr %1, align 8, !tbaa !5
  %19 = call float @nco_crcf_cos(ptr noundef %18)
  %20 = fsub float %19, 1.000000e+00
  %21 = fpext float %20 to double
  %22 = load ptr, ptr %1, align 8, !tbaa !5
  %23 = call float @nco_crcf_cos(ptr noundef %22)
  %24 = fsub float %23, 1.000000e+00
  %25 = fpext float %24 to double
  %26 = call double @llvm.fmuladd.f64(double %13, double %17, double 0.000000e+00)
  %27 = call double @sqrt(double noundef %26) #5
  %28 = load float, ptr %5, align 4, !tbaa !9
  %29 = fpext float %28 to double
  %30 = fcmp ogt double %27, %29
  br i1 %30, label %43, label %31

31:                                               ; preds = %0
  %32 = load ptr, ptr %1, align 8, !tbaa !5
  %33 = call float @nco_crcf_cos(ptr noundef %32)
  %34 = call i1 @llvm.is.fpclass.f32(float %33, i32 3)
  br i1 %34, label %43, label %35

35:                                               ; preds = %31
  %36 = load ptr, ptr %1, align 8, !tbaa !5
  %37 = call float @nco_crcf_cos(ptr noundef %36)
  %38 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %38, label %43, label %39

39:                                               ; preds = %35
  %40 = call i1 @llvm.is.fpclass.f32(float 1.000000e+00, i32 3)
  br i1 %40, label %43, label %41

41:                                               ; preds = %39
  %42 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %42, label %43, label %64

43:                                               ; preds = %41, %39, %35, %31, %0
  %44 = load ptr, ptr %1, align 8, !tbaa !5
  %45 = call float @nco_crcf_cos(ptr noundef %44)
  %46 = fsub float %45, 1.000000e+00
  %47 = fpext float %46 to double
  %48 = load ptr, ptr %1, align 8, !tbaa !5
  %49 = call float @nco_crcf_cos(ptr noundef %48)
  %50 = fsub float %49, 1.000000e+00
  %51 = fpext float %50 to double
  %52 = load ptr, ptr %1, align 8, !tbaa !5
  %53 = call float @nco_crcf_cos(ptr noundef %52)
  %54 = fsub float %53, 1.000000e+00
  %55 = fpext float %54 to double
  %56 = load ptr, ptr %1, align 8, !tbaa !5
  %57 = call float @nco_crcf_cos(ptr noundef %56)
  %58 = fsub float %57, 1.000000e+00
  %59 = fpext float %58 to double
  %60 = call double @llvm.fmuladd.f64(double %47, double %51, double 0.000000e+00)
  %61 = call double @sqrt(double noundef %60) #5
  %62 = load float, ptr %5, align 4, !tbaa !9
  %63 = fpext float %62 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 104, ptr noundef @.str.6, double noundef %61, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %63)
  br label %65

64:                                               ; preds = %41
  call void (...) @liquid_autotest_passed()
  br label %65

65:                                               ; preds = %64, %43
  %66 = load ptr, ptr %1, align 8, !tbaa !5
  %67 = call float @nco_crcf_sin(ptr noundef %66)
  %68 = fsub float %67, 0.000000e+00
  %69 = fpext float %68 to double
  %70 = load ptr, ptr %1, align 8, !tbaa !5
  %71 = call float @nco_crcf_sin(ptr noundef %70)
  %72 = fsub float %71, 0.000000e+00
  %73 = fpext float %72 to double
  %74 = load ptr, ptr %1, align 8, !tbaa !5
  %75 = call float @nco_crcf_sin(ptr noundef %74)
  %76 = fsub float %75, 0.000000e+00
  %77 = fpext float %76 to double
  %78 = load ptr, ptr %1, align 8, !tbaa !5
  %79 = call float @nco_crcf_sin(ptr noundef %78)
  %80 = fsub float %79, 0.000000e+00
  %81 = fpext float %80 to double
  %82 = call double @llvm.fmuladd.f64(double %69, double %73, double 0.000000e+00)
  %83 = call double @sqrt(double noundef %82) #5
  %84 = load float, ptr %5, align 4, !tbaa !9
  %85 = fpext float %84 to double
  %86 = fcmp ogt double %83, %85
  br i1 %86, label %99, label %87

87:                                               ; preds = %65
  %88 = load ptr, ptr %1, align 8, !tbaa !5
  %89 = call float @nco_crcf_sin(ptr noundef %88)
  %90 = call i1 @llvm.is.fpclass.f32(float %89, i32 3)
  br i1 %90, label %99, label %91

91:                                               ; preds = %87
  %92 = load ptr, ptr %1, align 8, !tbaa !5
  %93 = call float @nco_crcf_sin(ptr noundef %92)
  %94 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %94, label %99, label %95

95:                                               ; preds = %91
  %96 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %96, label %99, label %97

97:                                               ; preds = %95
  %98 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %98, label %99, label %120

99:                                               ; preds = %97, %95, %91, %87, %65
  %100 = load ptr, ptr %1, align 8, !tbaa !5
  %101 = call float @nco_crcf_sin(ptr noundef %100)
  %102 = fsub float %101, 0.000000e+00
  %103 = fpext float %102 to double
  %104 = load ptr, ptr %1, align 8, !tbaa !5
  %105 = call float @nco_crcf_sin(ptr noundef %104)
  %106 = fsub float %105, 0.000000e+00
  %107 = fpext float %106 to double
  %108 = load ptr, ptr %1, align 8, !tbaa !5
  %109 = call float @nco_crcf_sin(ptr noundef %108)
  %110 = fsub float %109, 0.000000e+00
  %111 = fpext float %110 to double
  %112 = load ptr, ptr %1, align 8, !tbaa !5
  %113 = call float @nco_crcf_sin(ptr noundef %112)
  %114 = fsub float %113, 0.000000e+00
  %115 = fpext float %114 to double
  %116 = call double @llvm.fmuladd.f64(double %103, double %107, double 0.000000e+00)
  %117 = call double @sqrt(double noundef %116) #5
  %118 = load float, ptr %5, align 4, !tbaa !9
  %119 = fpext float %118 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 105, ptr noundef @.str.8, double noundef %117, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %119)
  br label %121

120:                                              ; preds = %97
  call void (...) @liquid_autotest_passed()
  br label %121

121:                                              ; preds = %120, %99
  %122 = load ptr, ptr %1, align 8, !tbaa !5
  %123 = call i32 @nco_crcf_sincos(ptr noundef %122, ptr noundef %3, ptr noundef %4)
  %124 = load float, ptr %3, align 4, !tbaa !9
  %125 = fsub float %124, 0.000000e+00
  %126 = fpext float %125 to double
  %127 = load float, ptr %3, align 4, !tbaa !9
  %128 = fsub float %127, 0.000000e+00
  %129 = fpext float %128 to double
  %130 = load float, ptr %3, align 4, !tbaa !9
  %131 = fsub float %130, 0.000000e+00
  %132 = fpext float %131 to double
  %133 = load float, ptr %3, align 4, !tbaa !9
  %134 = fsub float %133, 0.000000e+00
  %135 = fpext float %134 to double
  %136 = call double @llvm.fmuladd.f64(double %126, double %129, double 0.000000e+00)
  %137 = call double @sqrt(double noundef %136) #5
  %138 = load float, ptr %5, align 4, !tbaa !9
  %139 = fpext float %138 to double
  %140 = fcmp ogt double %137, %139
  br i1 %140, label %151, label %141

141:                                              ; preds = %121
  %142 = load float, ptr %3, align 4, !tbaa !9
  %143 = call i1 @llvm.is.fpclass.f32(float %142, i32 3)
  br i1 %143, label %151, label %144

144:                                              ; preds = %141
  %145 = load float, ptr %3, align 4, !tbaa !9
  %146 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %146, label %151, label %147

147:                                              ; preds = %144
  %148 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %148, label %151, label %149

149:                                              ; preds = %147
  %150 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %150, label %151, label %168

151:                                              ; preds = %149, %147, %144, %141, %121
  %152 = load float, ptr %3, align 4, !tbaa !9
  %153 = fsub float %152, 0.000000e+00
  %154 = fpext float %153 to double
  %155 = load float, ptr %3, align 4, !tbaa !9
  %156 = fsub float %155, 0.000000e+00
  %157 = fpext float %156 to double
  %158 = load float, ptr %3, align 4, !tbaa !9
  %159 = fsub float %158, 0.000000e+00
  %160 = fpext float %159 to double
  %161 = load float, ptr %3, align 4, !tbaa !9
  %162 = fsub float %161, 0.000000e+00
  %163 = fpext float %162 to double
  %164 = call double @llvm.fmuladd.f64(double %154, double %157, double 0.000000e+00)
  %165 = call double @sqrt(double noundef %164) #5
  %166 = load float, ptr %5, align 4, !tbaa !9
  %167 = fpext float %166 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 107, ptr noundef @.str.9, double noundef %165, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %167)
  br label %169

168:                                              ; preds = %149
  call void (...) @liquid_autotest_passed()
  br label %169

169:                                              ; preds = %168, %151
  %170 = load float, ptr %4, align 4, !tbaa !9
  %171 = fsub float %170, 1.000000e+00
  %172 = fpext float %171 to double
  %173 = load float, ptr %4, align 4, !tbaa !9
  %174 = fsub float %173, 1.000000e+00
  %175 = fpext float %174 to double
  %176 = load float, ptr %4, align 4, !tbaa !9
  %177 = fsub float %176, 1.000000e+00
  %178 = fpext float %177 to double
  %179 = load float, ptr %4, align 4, !tbaa !9
  %180 = fsub float %179, 1.000000e+00
  %181 = fpext float %180 to double
  %182 = call double @llvm.fmuladd.f64(double %172, double %175, double 0.000000e+00)
  %183 = call double @sqrt(double noundef %182) #5
  %184 = load float, ptr %5, align 4, !tbaa !9
  %185 = fpext float %184 to double
  %186 = fcmp ogt double %183, %185
  br i1 %186, label %197, label %187

187:                                              ; preds = %169
  %188 = load float, ptr %4, align 4, !tbaa !9
  %189 = call i1 @llvm.is.fpclass.f32(float %188, i32 3)
  br i1 %189, label %197, label %190

190:                                              ; preds = %187
  %191 = load float, ptr %4, align 4, !tbaa !9
  %192 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %192, label %197, label %193

193:                                              ; preds = %190
  %194 = call i1 @llvm.is.fpclass.f32(float 1.000000e+00, i32 3)
  br i1 %194, label %197, label %195

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

197:                                              ; preds = %195, %193, %190, %187, %169
  %198 = load float, ptr %4, align 4, !tbaa !9
  %199 = fsub float %198, 1.000000e+00
  %200 = fpext float %199 to double
  %201 = load float, ptr %4, align 4, !tbaa !9
  %202 = fsub float %201, 1.000000e+00
  %203 = fpext float %202 to double
  %204 = load float, ptr %4, align 4, !tbaa !9
  %205 = fsub float %204, 1.000000e+00
  %206 = fpext float %205 to double
  %207 = load float, ptr %4, align 4, !tbaa !9
  %208 = fsub float %207, 1.000000e+00
  %209 = fpext float %208 to double
  %210 = call double @llvm.fmuladd.f64(double %200, double %203, double 0.000000e+00)
  %211 = call double @sqrt(double noundef %210) #5
  %212 = load float, ptr %5, align 4, !tbaa !9
  %213 = fpext float %212 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 108, ptr noundef @.str.10, double noundef %211, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %213)
  br label %215

214:                                              ; preds = %195
  call void (...) @liquid_autotest_passed()
  br label %215

215:                                              ; preds = %214, %197
  %216 = load ptr, ptr %1, align 8, !tbaa !5
  %217 = call i32 @nco_crcf_set_phase(ptr noundef %216, float noundef 0x3FF921FB60000000)
  %218 = load ptr, ptr %1, align 8, !tbaa !5
  %219 = call float @nco_crcf_cos(ptr noundef %218)
  %220 = fsub float %219, 0.000000e+00
  %221 = fpext float %220 to double
  %222 = load ptr, ptr %1, align 8, !tbaa !5
  %223 = call float @nco_crcf_cos(ptr noundef %222)
  %224 = fsub float %223, 0.000000e+00
  %225 = fpext float %224 to double
  %226 = load ptr, ptr %1, align 8, !tbaa !5
  %227 = call float @nco_crcf_cos(ptr noundef %226)
  %228 = fsub float %227, 0.000000e+00
  %229 = fpext float %228 to double
  %230 = load ptr, ptr %1, align 8, !tbaa !5
  %231 = call float @nco_crcf_cos(ptr noundef %230)
  %232 = fsub float %231, 0.000000e+00
  %233 = fpext float %232 to double
  %234 = call double @llvm.fmuladd.f64(double %221, double %225, double 0.000000e+00)
  %235 = call double @sqrt(double noundef %234) #5
  %236 = load float, ptr %5, align 4, !tbaa !9
  %237 = fpext float %236 to double
  %238 = fcmp ogt double %235, %237
  br i1 %238, label %251, label %239

239:                                              ; preds = %215
  %240 = load ptr, ptr %1, align 8, !tbaa !5
  %241 = call float @nco_crcf_cos(ptr noundef %240)
  %242 = call i1 @llvm.is.fpclass.f32(float %241, i32 3)
  br i1 %242, label %251, label %243

243:                                              ; preds = %239
  %244 = load ptr, ptr %1, align 8, !tbaa !5
  %245 = call float @nco_crcf_cos(ptr noundef %244)
  %246 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %246, label %251, label %247

247:                                              ; preds = %243
  %248 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %248, label %251, label %249

249:                                              ; preds = %247
  %250 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %250, label %251, label %272

251:                                              ; preds = %249, %247, %243, %239, %215
  %252 = load ptr, ptr %1, align 8, !tbaa !5
  %253 = call float @nco_crcf_cos(ptr noundef %252)
  %254 = fsub float %253, 0.000000e+00
  %255 = fpext float %254 to double
  %256 = load ptr, ptr %1, align 8, !tbaa !5
  %257 = call float @nco_crcf_cos(ptr noundef %256)
  %258 = fsub float %257, 0.000000e+00
  %259 = fpext float %258 to double
  %260 = load ptr, ptr %1, align 8, !tbaa !5
  %261 = call float @nco_crcf_cos(ptr noundef %260)
  %262 = fsub float %261, 0.000000e+00
  %263 = fpext float %262 to double
  %264 = load ptr, ptr %1, align 8, !tbaa !5
  %265 = call float @nco_crcf_cos(ptr noundef %264)
  %266 = fsub float %265, 0.000000e+00
  %267 = fpext float %266 to double
  %268 = call double @llvm.fmuladd.f64(double %255, double %259, double 0.000000e+00)
  %269 = call double @sqrt(double noundef %268) #5
  %270 = load float, ptr %5, align 4, !tbaa !9
  %271 = fpext float %270 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 111, ptr noundef @.str.11, double noundef %269, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %271)
  br label %273

272:                                              ; preds = %249
  call void (...) @liquid_autotest_passed()
  br label %273

273:                                              ; preds = %272, %251
  %274 = load ptr, ptr %1, align 8, !tbaa !5
  %275 = call float @nco_crcf_sin(ptr noundef %274)
  %276 = fsub float %275, 1.000000e+00
  %277 = fpext float %276 to double
  %278 = load ptr, ptr %1, align 8, !tbaa !5
  %279 = call float @nco_crcf_sin(ptr noundef %278)
  %280 = fsub float %279, 1.000000e+00
  %281 = fpext float %280 to double
  %282 = load ptr, ptr %1, align 8, !tbaa !5
  %283 = call float @nco_crcf_sin(ptr noundef %282)
  %284 = fsub float %283, 1.000000e+00
  %285 = fpext float %284 to double
  %286 = load ptr, ptr %1, align 8, !tbaa !5
  %287 = call float @nco_crcf_sin(ptr noundef %286)
  %288 = fsub float %287, 1.000000e+00
  %289 = fpext float %288 to double
  %290 = call double @llvm.fmuladd.f64(double %277, double %281, double 0.000000e+00)
  %291 = call double @sqrt(double noundef %290) #5
  %292 = load float, ptr %5, align 4, !tbaa !9
  %293 = fpext float %292 to double
  %294 = fcmp ogt double %291, %293
  br i1 %294, label %307, label %295

295:                                              ; preds = %273
  %296 = load ptr, ptr %1, align 8, !tbaa !5
  %297 = call float @nco_crcf_sin(ptr noundef %296)
  %298 = call i1 @llvm.is.fpclass.f32(float %297, i32 3)
  br i1 %298, label %307, label %299

299:                                              ; preds = %295
  %300 = load ptr, ptr %1, align 8, !tbaa !5
  %301 = call float @nco_crcf_sin(ptr noundef %300)
  %302 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %302, label %307, label %303

303:                                              ; preds = %299
  %304 = call i1 @llvm.is.fpclass.f32(float 1.000000e+00, i32 3)
  br i1 %304, label %307, label %305

305:                                              ; preds = %303
  %306 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %306, label %307, label %328

307:                                              ; preds = %305, %303, %299, %295, %273
  %308 = load ptr, ptr %1, align 8, !tbaa !5
  %309 = call float @nco_crcf_sin(ptr noundef %308)
  %310 = fsub float %309, 1.000000e+00
  %311 = fpext float %310 to double
  %312 = load ptr, ptr %1, align 8, !tbaa !5
  %313 = call float @nco_crcf_sin(ptr noundef %312)
  %314 = fsub float %313, 1.000000e+00
  %315 = fpext float %314 to double
  %316 = load ptr, ptr %1, align 8, !tbaa !5
  %317 = call float @nco_crcf_sin(ptr noundef %316)
  %318 = fsub float %317, 1.000000e+00
  %319 = fpext float %318 to double
  %320 = load ptr, ptr %1, align 8, !tbaa !5
  %321 = call float @nco_crcf_sin(ptr noundef %320)
  %322 = fsub float %321, 1.000000e+00
  %323 = fpext float %322 to double
  %324 = call double @llvm.fmuladd.f64(double %311, double %315, double 0.000000e+00)
  %325 = call double @sqrt(double noundef %324) #5
  %326 = load float, ptr %5, align 4, !tbaa !9
  %327 = fpext float %326 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 112, ptr noundef @.str.12, double noundef %325, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %327)
  br label %329

328:                                              ; preds = %305
  call void (...) @liquid_autotest_passed()
  br label %329

329:                                              ; preds = %328, %307
  %330 = load ptr, ptr %1, align 8, !tbaa !5
  %331 = call i32 @nco_crcf_sincos(ptr noundef %330, ptr noundef %3, ptr noundef %4)
  %332 = load float, ptr %3, align 4, !tbaa !9
  %333 = fsub float %332, 1.000000e+00
  %334 = fpext float %333 to double
  %335 = load float, ptr %3, align 4, !tbaa !9
  %336 = fsub float %335, 1.000000e+00
  %337 = fpext float %336 to double
  %338 = load float, ptr %3, align 4, !tbaa !9
  %339 = fsub float %338, 1.000000e+00
  %340 = fpext float %339 to double
  %341 = load float, ptr %3, align 4, !tbaa !9
  %342 = fsub float %341, 1.000000e+00
  %343 = fpext float %342 to double
  %344 = call double @llvm.fmuladd.f64(double %334, double %337, double 0.000000e+00)
  %345 = call double @sqrt(double noundef %344) #5
  %346 = load float, ptr %5, align 4, !tbaa !9
  %347 = fpext float %346 to double
  %348 = fcmp ogt double %345, %347
  br i1 %348, label %359, label %349

349:                                              ; preds = %329
  %350 = load float, ptr %3, align 4, !tbaa !9
  %351 = call i1 @llvm.is.fpclass.f32(float %350, i32 3)
  br i1 %351, label %359, label %352

352:                                              ; preds = %349
  %353 = load float, ptr %3, align 4, !tbaa !9
  %354 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %354, label %359, label %355

355:                                              ; preds = %352
  %356 = call i1 @llvm.is.fpclass.f32(float 1.000000e+00, i32 3)
  br i1 %356, label %359, label %357

357:                                              ; preds = %355
  %358 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %358, label %359, label %376

359:                                              ; preds = %357, %355, %352, %349, %329
  %360 = load float, ptr %3, align 4, !tbaa !9
  %361 = fsub float %360, 1.000000e+00
  %362 = fpext float %361 to double
  %363 = load float, ptr %3, align 4, !tbaa !9
  %364 = fsub float %363, 1.000000e+00
  %365 = fpext float %364 to double
  %366 = load float, ptr %3, align 4, !tbaa !9
  %367 = fsub float %366, 1.000000e+00
  %368 = fpext float %367 to double
  %369 = load float, ptr %3, align 4, !tbaa !9
  %370 = fsub float %369, 1.000000e+00
  %371 = fpext float %370 to double
  %372 = call double @llvm.fmuladd.f64(double %362, double %365, double 0.000000e+00)
  %373 = call double @sqrt(double noundef %372) #5
  %374 = load float, ptr %5, align 4, !tbaa !9
  %375 = fpext float %374 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 114, ptr noundef @.str.13, double noundef %373, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %375)
  br label %377

376:                                              ; preds = %357
  call void (...) @liquid_autotest_passed()
  br label %377

377:                                              ; preds = %376, %359
  %378 = load float, ptr %4, align 4, !tbaa !9
  %379 = fsub float %378, 0.000000e+00
  %380 = fpext float %379 to double
  %381 = load float, ptr %4, align 4, !tbaa !9
  %382 = fsub float %381, 0.000000e+00
  %383 = fpext float %382 to double
  %384 = load float, ptr %4, align 4, !tbaa !9
  %385 = fsub float %384, 0.000000e+00
  %386 = fpext float %385 to double
  %387 = load float, ptr %4, align 4, !tbaa !9
  %388 = fsub float %387, 0.000000e+00
  %389 = fpext float %388 to double
  %390 = call double @llvm.fmuladd.f64(double %380, double %383, double 0.000000e+00)
  %391 = call double @sqrt(double noundef %390) #5
  %392 = load float, ptr %5, align 4, !tbaa !9
  %393 = fpext float %392 to double
  %394 = fcmp ogt double %391, %393
  br i1 %394, label %405, label %395

395:                                              ; preds = %377
  %396 = load float, ptr %4, align 4, !tbaa !9
  %397 = call i1 @llvm.is.fpclass.f32(float %396, i32 3)
  br i1 %397, label %405, label %398

398:                                              ; preds = %395
  %399 = load float, ptr %4, align 4, !tbaa !9
  %400 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %400, label %405, label %401

401:                                              ; preds = %398
  %402 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %402, label %405, label %403

403:                                              ; preds = %401
  %404 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %404, label %405, label %422

405:                                              ; preds = %403, %401, %398, %395, %377
  %406 = load float, ptr %4, align 4, !tbaa !9
  %407 = fsub float %406, 0.000000e+00
  %408 = fpext float %407 to double
  %409 = load float, ptr %4, align 4, !tbaa !9
  %410 = fsub float %409, 0.000000e+00
  %411 = fpext float %410 to double
  %412 = load float, ptr %4, align 4, !tbaa !9
  %413 = fsub float %412, 0.000000e+00
  %414 = fpext float %413 to double
  %415 = load float, ptr %4, align 4, !tbaa !9
  %416 = fsub float %415, 0.000000e+00
  %417 = fpext float %416 to double
  %418 = call double @llvm.fmuladd.f64(double %408, double %411, double 0.000000e+00)
  %419 = call double @sqrt(double noundef %418) #5
  %420 = load float, ptr %5, align 4, !tbaa !9
  %421 = fpext float %420 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 115, ptr noundef @.str.14, double noundef %419, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %421)
  br label %423

422:                                              ; preds = %403
  call void (...) @liquid_autotest_passed()
  br label %423

423:                                              ; preds = %422, %405
  %424 = load ptr, ptr %1, align 8, !tbaa !5
  %425 = call i32 @nco_crcf_set_phase(ptr noundef %424, float noundef 0.000000e+00)
  store float 0x3FB921FB60000000, ptr %6, align 4, !tbaa !9
  %426 = load ptr, ptr %1, align 8, !tbaa !5
  %427 = load float, ptr %6, align 4, !tbaa !9
  %428 = call i32 @nco_crcf_set_frequency(ptr noundef %426, float noundef %427)
  store i32 0, ptr %2, align 4, !tbaa !11
  br label %429

429:                                              ; preds = %629, %423
  %430 = load i32, ptr %2, align 4, !tbaa !11
  %431 = icmp ult i32 %430, 128
  br i1 %431, label %432, label %632

432:                                              ; preds = %429
  %433 = load ptr, ptr %1, align 8, !tbaa !5
  %434 = call i32 @nco_crcf_sincos(ptr noundef %433, ptr noundef %3, ptr noundef %4)
  %435 = load float, ptr %3, align 4, !tbaa !9
  %436 = load i32, ptr %2, align 4, !tbaa !11
  %437 = uitofp i32 %436 to float
  %438 = load float, ptr %6, align 4, !tbaa !9
  %439 = fmul float %437, %438
  %440 = call float @sinf(float noundef %439) #5
  %441 = fsub float %435, %440
  %442 = fpext float %441 to double
  %443 = load float, ptr %3, align 4, !tbaa !9
  %444 = load i32, ptr %2, align 4, !tbaa !11
  %445 = uitofp i32 %444 to float
  %446 = load float, ptr %6, align 4, !tbaa !9
  %447 = fmul float %445, %446
  %448 = call float @sinf(float noundef %447) #5
  %449 = fsub float %443, %448
  %450 = fpext float %449 to double
  %451 = load float, ptr %3, align 4, !tbaa !9
  %452 = load i32, ptr %2, align 4, !tbaa !11
  %453 = uitofp i32 %452 to float
  %454 = load float, ptr %6, align 4, !tbaa !9
  %455 = fmul float %453, %454
  %456 = call float @sinf(float noundef %455) #5
  %457 = fsub float %451, %456
  %458 = fpext float %457 to double
  %459 = load float, ptr %3, align 4, !tbaa !9
  %460 = load i32, ptr %2, align 4, !tbaa !11
  %461 = uitofp i32 %460 to float
  %462 = load float, ptr %6, align 4, !tbaa !9
  %463 = fmul float %461, %462
  %464 = call float @sinf(float noundef %463) #5
  %465 = fsub float %459, %464
  %466 = fpext float %465 to double
  %467 = call double @llvm.fmuladd.f64(double %442, double %450, double 0.000000e+00)
  %468 = call double @sqrt(double noundef %467) #5
  %469 = load float, ptr %5, align 4, !tbaa !9
  %470 = fpext float %469 to double
  %471 = fcmp ogt double %468, %470
  br i1 %471, label %492, label %472

472:                                              ; preds = %432
  %473 = load float, ptr %3, align 4, !tbaa !9
  %474 = call i1 @llvm.is.fpclass.f32(float %473, i32 3)
  br i1 %474, label %492, label %475

475:                                              ; preds = %472
  %476 = load float, ptr %3, align 4, !tbaa !9
  %477 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %477, label %492, label %478

478:                                              ; preds = %475
  %479 = load i32, ptr %2, align 4, !tbaa !11
  %480 = uitofp i32 %479 to float
  %481 = load float, ptr %6, align 4, !tbaa !9
  %482 = fmul float %480, %481
  %483 = call float @sinf(float noundef %482) #5
  %484 = call i1 @llvm.is.fpclass.f32(float %483, i32 3)
  br i1 %484, label %492, label %485

485:                                              ; preds = %478
  %486 = load i32, ptr %2, align 4, !tbaa !11
  %487 = uitofp i32 %486 to float
  %488 = load float, ptr %6, align 4, !tbaa !9
  %489 = fmul float %487, %488
  %490 = call float @sinf(float noundef %489) #5
  %491 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %491, label %492, label %529

492:                                              ; preds = %485, %478, %475, %472, %432
  %493 = load float, ptr %3, align 4, !tbaa !9
  %494 = load i32, ptr %2, align 4, !tbaa !11
  %495 = uitofp i32 %494 to float
  %496 = load float, ptr %6, align 4, !tbaa !9
  %497 = fmul float %495, %496
  %498 = call float @sinf(float noundef %497) #5
  %499 = fsub float %493, %498
  %500 = fpext float %499 to double
  %501 = load float, ptr %3, align 4, !tbaa !9
  %502 = load i32, ptr %2, align 4, !tbaa !11
  %503 = uitofp i32 %502 to float
  %504 = load float, ptr %6, align 4, !tbaa !9
  %505 = fmul float %503, %504
  %506 = call float @sinf(float noundef %505) #5
  %507 = fsub float %501, %506
  %508 = fpext float %507 to double
  %509 = load float, ptr %3, align 4, !tbaa !9
  %510 = load i32, ptr %2, align 4, !tbaa !11
  %511 = uitofp i32 %510 to float
  %512 = load float, ptr %6, align 4, !tbaa !9
  %513 = fmul float %511, %512
  %514 = call float @sinf(float noundef %513) #5
  %515 = fsub float %509, %514
  %516 = fpext float %515 to double
  %517 = load float, ptr %3, align 4, !tbaa !9
  %518 = load i32, ptr %2, align 4, !tbaa !11
  %519 = uitofp i32 %518 to float
  %520 = load float, ptr %6, align 4, !tbaa !9
  %521 = fmul float %519, %520
  %522 = call float @sinf(float noundef %521) #5
  %523 = fsub float %517, %522
  %524 = fpext float %523 to double
  %525 = call double @llvm.fmuladd.f64(double %500, double %508, double 0.000000e+00)
  %526 = call double @sqrt(double noundef %525) #5
  %527 = load float, ptr %5, align 4, !tbaa !9
  %528 = fpext float %527 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 123, ptr noundef @.str.15, double noundef %526, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %528)
  br label %530

529:                                              ; preds = %485
  call void (...) @liquid_autotest_passed()
  br label %530

530:                                              ; preds = %529, %492
  %531 = load float, ptr %4, align 4, !tbaa !9
  %532 = load i32, ptr %2, align 4, !tbaa !11
  %533 = uitofp i32 %532 to float
  %534 = load float, ptr %6, align 4, !tbaa !9
  %535 = fmul float %533, %534
  %536 = call float @cosf(float noundef %535) #5
  %537 = fsub float %531, %536
  %538 = fpext float %537 to double
  %539 = load float, ptr %4, align 4, !tbaa !9
  %540 = load i32, ptr %2, align 4, !tbaa !11
  %541 = uitofp i32 %540 to float
  %542 = load float, ptr %6, align 4, !tbaa !9
  %543 = fmul float %541, %542
  %544 = call float @cosf(float noundef %543) #5
  %545 = fsub float %539, %544
  %546 = fpext float %545 to double
  %547 = load float, ptr %4, align 4, !tbaa !9
  %548 = load i32, ptr %2, align 4, !tbaa !11
  %549 = uitofp i32 %548 to float
  %550 = load float, ptr %6, align 4, !tbaa !9
  %551 = fmul float %549, %550
  %552 = call float @cosf(float noundef %551) #5
  %553 = fsub float %547, %552
  %554 = fpext float %553 to double
  %555 = load float, ptr %4, align 4, !tbaa !9
  %556 = load i32, ptr %2, align 4, !tbaa !11
  %557 = uitofp i32 %556 to float
  %558 = load float, ptr %6, align 4, !tbaa !9
  %559 = fmul float %557, %558
  %560 = call float @cosf(float noundef %559) #5
  %561 = fsub float %555, %560
  %562 = fpext float %561 to double
  %563 = call double @llvm.fmuladd.f64(double %538, double %546, double 0.000000e+00)
  %564 = call double @sqrt(double noundef %563) #5
  %565 = load float, ptr %5, align 4, !tbaa !9
  %566 = fpext float %565 to double
  %567 = fcmp ogt double %564, %566
  br i1 %567, label %588, label %568

568:                                              ; preds = %530
  %569 = load float, ptr %4, align 4, !tbaa !9
  %570 = call i1 @llvm.is.fpclass.f32(float %569, i32 3)
  br i1 %570, label %588, label %571

571:                                              ; preds = %568
  %572 = load float, ptr %4, align 4, !tbaa !9
  %573 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %573, label %588, label %574

574:                                              ; preds = %571
  %575 = load i32, ptr %2, align 4, !tbaa !11
  %576 = uitofp i32 %575 to float
  %577 = load float, ptr %6, align 4, !tbaa !9
  %578 = fmul float %576, %577
  %579 = call float @cosf(float noundef %578) #5
  %580 = call i1 @llvm.is.fpclass.f32(float %579, i32 3)
  br i1 %580, label %588, label %581

581:                                              ; preds = %574
  %582 = load i32, ptr %2, align 4, !tbaa !11
  %583 = uitofp i32 %582 to float
  %584 = load float, ptr %6, align 4, !tbaa !9
  %585 = fmul float %583, %584
  %586 = call float @cosf(float noundef %585) #5
  %587 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %587, label %588, label %625

588:                                              ; preds = %581, %574, %571, %568, %530
  %589 = load float, ptr %4, align 4, !tbaa !9
  %590 = load i32, ptr %2, align 4, !tbaa !11
  %591 = uitofp i32 %590 to float
  %592 = load float, ptr %6, align 4, !tbaa !9
  %593 = fmul float %591, %592
  %594 = call float @cosf(float noundef %593) #5
  %595 = fsub float %589, %594
  %596 = fpext float %595 to double
  %597 = load float, ptr %4, align 4, !tbaa !9
  %598 = load i32, ptr %2, align 4, !tbaa !11
  %599 = uitofp i32 %598 to float
  %600 = load float, ptr %6, align 4, !tbaa !9
  %601 = fmul float %599, %600
  %602 = call float @cosf(float noundef %601) #5
  %603 = fsub float %597, %602
  %604 = fpext float %603 to double
  %605 = load float, ptr %4, align 4, !tbaa !9
  %606 = load i32, ptr %2, align 4, !tbaa !11
  %607 = uitofp i32 %606 to float
  %608 = load float, ptr %6, align 4, !tbaa !9
  %609 = fmul float %607, %608
  %610 = call float @cosf(float noundef %609) #5
  %611 = fsub float %605, %610
  %612 = fpext float %611 to double
  %613 = load float, ptr %4, align 4, !tbaa !9
  %614 = load i32, ptr %2, align 4, !tbaa !11
  %615 = uitofp i32 %614 to float
  %616 = load float, ptr %6, align 4, !tbaa !9
  %617 = fmul float %615, %616
  %618 = call float @cosf(float noundef %617) #5
  %619 = fsub float %613, %618
  %620 = fpext float %619 to double
  %621 = call double @llvm.fmuladd.f64(double %596, double %604, double 0.000000e+00)
  %622 = call double @sqrt(double noundef %621) #5
  %623 = load float, ptr %5, align 4, !tbaa !9
  %624 = fpext float %623 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 124, ptr noundef @.str.16, double noundef %622, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %624)
  br label %626

625:                                              ; preds = %581
  call void (...) @liquid_autotest_passed()
  br label %626

626:                                              ; preds = %625, %588
  %627 = load ptr, ptr %1, align 8, !tbaa !5
  %628 = call i32 @nco_crcf_step(ptr noundef %627)
  br label %629

629:                                              ; preds = %626
  %630 = load i32, ptr %2, align 4, !tbaa !11
  %631 = add i32 %630, 1
  store i32 %631, ptr %2, align 4, !tbaa !11
  br label %429, !llvm.loop !13

632:                                              ; preds = %429
  %633 = load ptr, ptr %1, align 8, !tbaa !5
  %634 = call i32 @nco_crcf_set_phase(ptr noundef %633, float noundef 0.000000e+00)
  store float 0x3FC921FB60000000, ptr %6, align 4, !tbaa !9
  %635 = load ptr, ptr %1, align 8, !tbaa !5
  %636 = load float, ptr %6, align 4, !tbaa !9
  %637 = call i32 @nco_crcf_set_frequency(ptr noundef %635, float noundef %636)
  store i32 0, ptr %2, align 4, !tbaa !11
  br label %638

638:                                              ; preds = %838, %632
  %639 = load i32, ptr %2, align 4, !tbaa !11
  %640 = icmp ult i32 %639, 128
  br i1 %640, label %641, label %841

641:                                              ; preds = %638
  %642 = load ptr, ptr %1, align 8, !tbaa !5
  %643 = call i32 @nco_crcf_sincos(ptr noundef %642, ptr noundef %3, ptr noundef %4)
  %644 = load float, ptr %3, align 4, !tbaa !9
  %645 = load i32, ptr %2, align 4, !tbaa !11
  %646 = uitofp i32 %645 to float
  %647 = load float, ptr %6, align 4, !tbaa !9
  %648 = fmul float %646, %647
  %649 = call float @sinf(float noundef %648) #5
  %650 = fsub float %644, %649
  %651 = fpext float %650 to double
  %652 = load float, ptr %3, align 4, !tbaa !9
  %653 = load i32, ptr %2, align 4, !tbaa !11
  %654 = uitofp i32 %653 to float
  %655 = load float, ptr %6, align 4, !tbaa !9
  %656 = fmul float %654, %655
  %657 = call float @sinf(float noundef %656) #5
  %658 = fsub float %652, %657
  %659 = fpext float %658 to double
  %660 = load float, ptr %3, align 4, !tbaa !9
  %661 = load i32, ptr %2, align 4, !tbaa !11
  %662 = uitofp i32 %661 to float
  %663 = load float, ptr %6, align 4, !tbaa !9
  %664 = fmul float %662, %663
  %665 = call float @sinf(float noundef %664) #5
  %666 = fsub float %660, %665
  %667 = fpext float %666 to double
  %668 = load float, ptr %3, align 4, !tbaa !9
  %669 = load i32, ptr %2, align 4, !tbaa !11
  %670 = uitofp i32 %669 to float
  %671 = load float, ptr %6, align 4, !tbaa !9
  %672 = fmul float %670, %671
  %673 = call float @sinf(float noundef %672) #5
  %674 = fsub float %668, %673
  %675 = fpext float %674 to double
  %676 = call double @llvm.fmuladd.f64(double %651, double %659, double 0.000000e+00)
  %677 = call double @sqrt(double noundef %676) #5
  %678 = load float, ptr %5, align 4, !tbaa !9
  %679 = fpext float %678 to double
  %680 = fcmp ogt double %677, %679
  br i1 %680, label %701, label %681

681:                                              ; preds = %641
  %682 = load float, ptr %3, align 4, !tbaa !9
  %683 = call i1 @llvm.is.fpclass.f32(float %682, i32 3)
  br i1 %683, label %701, label %684

684:                                              ; preds = %681
  %685 = load float, ptr %3, align 4, !tbaa !9
  %686 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %686, label %701, label %687

687:                                              ; preds = %684
  %688 = load i32, ptr %2, align 4, !tbaa !11
  %689 = uitofp i32 %688 to float
  %690 = load float, ptr %6, align 4, !tbaa !9
  %691 = fmul float %689, %690
  %692 = call float @sinf(float noundef %691) #5
  %693 = call i1 @llvm.is.fpclass.f32(float %692, i32 3)
  br i1 %693, label %701, label %694

694:                                              ; preds = %687
  %695 = load i32, ptr %2, align 4, !tbaa !11
  %696 = uitofp i32 %695 to float
  %697 = load float, ptr %6, align 4, !tbaa !9
  %698 = fmul float %696, %697
  %699 = call float @sinf(float noundef %698) #5
  %700 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %700, label %701, label %738

701:                                              ; preds = %694, %687, %684, %681, %641
  %702 = load float, ptr %3, align 4, !tbaa !9
  %703 = load i32, ptr %2, align 4, !tbaa !11
  %704 = uitofp i32 %703 to float
  %705 = load float, ptr %6, align 4, !tbaa !9
  %706 = fmul float %704, %705
  %707 = call float @sinf(float noundef %706) #5
  %708 = fsub float %702, %707
  %709 = fpext float %708 to double
  %710 = load float, ptr %3, align 4, !tbaa !9
  %711 = load i32, ptr %2, align 4, !tbaa !11
  %712 = uitofp i32 %711 to float
  %713 = load float, ptr %6, align 4, !tbaa !9
  %714 = fmul float %712, %713
  %715 = call float @sinf(float noundef %714) #5
  %716 = fsub float %710, %715
  %717 = fpext float %716 to double
  %718 = load float, ptr %3, align 4, !tbaa !9
  %719 = load i32, ptr %2, align 4, !tbaa !11
  %720 = uitofp i32 %719 to float
  %721 = load float, ptr %6, align 4, !tbaa !9
  %722 = fmul float %720, %721
  %723 = call float @sinf(float noundef %722) #5
  %724 = fsub float %718, %723
  %725 = fpext float %724 to double
  %726 = load float, ptr %3, align 4, !tbaa !9
  %727 = load i32, ptr %2, align 4, !tbaa !11
  %728 = uitofp i32 %727 to float
  %729 = load float, ptr %6, align 4, !tbaa !9
  %730 = fmul float %728, %729
  %731 = call float @sinf(float noundef %730) #5
  %732 = fsub float %726, %731
  %733 = fpext float %732 to double
  %734 = call double @llvm.fmuladd.f64(double %709, double %717, double 0.000000e+00)
  %735 = call double @sqrt(double noundef %734) #5
  %736 = load float, ptr %5, align 4, !tbaa !9
  %737 = fpext float %736 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 134, ptr noundef @.str.15, double noundef %735, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %737)
  br label %739

738:                                              ; preds = %694
  call void (...) @liquid_autotest_passed()
  br label %739

739:                                              ; preds = %738, %701
  %740 = load float, ptr %4, align 4, !tbaa !9
  %741 = load i32, ptr %2, align 4, !tbaa !11
  %742 = uitofp i32 %741 to float
  %743 = load float, ptr %6, align 4, !tbaa !9
  %744 = fmul float %742, %743
  %745 = call float @cosf(float noundef %744) #5
  %746 = fsub float %740, %745
  %747 = fpext float %746 to double
  %748 = load float, ptr %4, align 4, !tbaa !9
  %749 = load i32, ptr %2, align 4, !tbaa !11
  %750 = uitofp i32 %749 to float
  %751 = load float, ptr %6, align 4, !tbaa !9
  %752 = fmul float %750, %751
  %753 = call float @cosf(float noundef %752) #5
  %754 = fsub float %748, %753
  %755 = fpext float %754 to double
  %756 = load float, ptr %4, align 4, !tbaa !9
  %757 = load i32, ptr %2, align 4, !tbaa !11
  %758 = uitofp i32 %757 to float
  %759 = load float, ptr %6, align 4, !tbaa !9
  %760 = fmul float %758, %759
  %761 = call float @cosf(float noundef %760) #5
  %762 = fsub float %756, %761
  %763 = fpext float %762 to double
  %764 = load float, ptr %4, align 4, !tbaa !9
  %765 = load i32, ptr %2, align 4, !tbaa !11
  %766 = uitofp i32 %765 to float
  %767 = load float, ptr %6, align 4, !tbaa !9
  %768 = fmul float %766, %767
  %769 = call float @cosf(float noundef %768) #5
  %770 = fsub float %764, %769
  %771 = fpext float %770 to double
  %772 = call double @llvm.fmuladd.f64(double %747, double %755, double 0.000000e+00)
  %773 = call double @sqrt(double noundef %772) #5
  %774 = load float, ptr %5, align 4, !tbaa !9
  %775 = fpext float %774 to double
  %776 = fcmp ogt double %773, %775
  br i1 %776, label %797, label %777

777:                                              ; preds = %739
  %778 = load float, ptr %4, align 4, !tbaa !9
  %779 = call i1 @llvm.is.fpclass.f32(float %778, i32 3)
  br i1 %779, label %797, label %780

780:                                              ; preds = %777
  %781 = load float, ptr %4, align 4, !tbaa !9
  %782 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %782, label %797, label %783

783:                                              ; preds = %780
  %784 = load i32, ptr %2, align 4, !tbaa !11
  %785 = uitofp i32 %784 to float
  %786 = load float, ptr %6, align 4, !tbaa !9
  %787 = fmul float %785, %786
  %788 = call float @cosf(float noundef %787) #5
  %789 = call i1 @llvm.is.fpclass.f32(float %788, i32 3)
  br i1 %789, label %797, label %790

790:                                              ; preds = %783
  %791 = load i32, ptr %2, align 4, !tbaa !11
  %792 = uitofp i32 %791 to float
  %793 = load float, ptr %6, align 4, !tbaa !9
  %794 = fmul float %792, %793
  %795 = call float @cosf(float noundef %794) #5
  %796 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %796, label %797, label %834

797:                                              ; preds = %790, %783, %780, %777, %739
  %798 = load float, ptr %4, align 4, !tbaa !9
  %799 = load i32, ptr %2, align 4, !tbaa !11
  %800 = uitofp i32 %799 to float
  %801 = load float, ptr %6, align 4, !tbaa !9
  %802 = fmul float %800, %801
  %803 = call float @cosf(float noundef %802) #5
  %804 = fsub float %798, %803
  %805 = fpext float %804 to double
  %806 = load float, ptr %4, align 4, !tbaa !9
  %807 = load i32, ptr %2, align 4, !tbaa !11
  %808 = uitofp i32 %807 to float
  %809 = load float, ptr %6, align 4, !tbaa !9
  %810 = fmul float %808, %809
  %811 = call float @cosf(float noundef %810) #5
  %812 = fsub float %806, %811
  %813 = fpext float %812 to double
  %814 = load float, ptr %4, align 4, !tbaa !9
  %815 = load i32, ptr %2, align 4, !tbaa !11
  %816 = uitofp i32 %815 to float
  %817 = load float, ptr %6, align 4, !tbaa !9
  %818 = fmul float %816, %817
  %819 = call float @cosf(float noundef %818) #5
  %820 = fsub float %814, %819
  %821 = fpext float %820 to double
  %822 = load float, ptr %4, align 4, !tbaa !9
  %823 = load i32, ptr %2, align 4, !tbaa !11
  %824 = uitofp i32 %823 to float
  %825 = load float, ptr %6, align 4, !tbaa !9
  %826 = fmul float %824, %825
  %827 = call float @cosf(float noundef %826) #5
  %828 = fsub float %822, %827
  %829 = fpext float %828 to double
  %830 = call double @llvm.fmuladd.f64(double %805, double %813, double 0.000000e+00)
  %831 = call double @sqrt(double noundef %830) #5
  %832 = load float, ptr %5, align 4, !tbaa !9
  %833 = fpext float %832 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str.1, i32 noundef 135, ptr noundef @.str.16, double noundef %831, ptr noundef @.str.3, ptr noundef @.str.7, double noundef %833)
  br label %835

834:                                              ; preds = %790
  call void (...) @liquid_autotest_passed()
  br label %835

835:                                              ; preds = %834, %797
  %836 = load ptr, ptr %1, align 8, !tbaa !5
  %837 = call i32 @nco_crcf_step(ptr noundef %836)
  br label %838

838:                                              ; preds = %835
  %839 = load i32, ptr %2, align 4, !tbaa !11
  %840 = add i32 %839, 1
  store i32 %840, ptr %2, align 4, !tbaa !11
  br label %638, !llvm.loop !15

841:                                              ; preds = %638
  %842 = load ptr, ptr %1, align 8, !tbaa !5
  %843 = call i32 @nco_crcf_destroy(ptr noundef %842)
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %4) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %3) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %1) #5
  ret void
}

declare i32 @nco_crcf_sincos(ptr noundef, ptr noundef, ptr noundef) #1

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

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

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

declare i32 @nco_crcf_step(ptr noundef) #1

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !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 = !{!"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.1 = external hidden unnamed_addr constant [94 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [21 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

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 float @nco_crcf_cos(ptr noundef) local_unnamed_addr #1

declare float @nco_crcf_sin(ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress nofree nounwind willreturn memory(write)
declare double @sqrt(double noundef) local_unnamed_addr #2

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

; Function Attrs: nounwind uwtable
define dso_local void @autotest_nco_basic() local_unnamed_addr #4 {
  %1 = alloca float, align 4
  %2 = alloca float, align 4
  %3 = tail call ptr @nco_crcf_create(i32 noundef 0) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %1) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %2) #6
  %4 = tail call i32 @nco_crcf_set_phase(ptr noundef %3, float noundef 0.000000e+00) #6
  %5 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  %6 = fadd float %5, -1.000000e+00
  %7 = fpext float %6 to double
  %8 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  %9 = fadd float %8, -1.000000e+00
  %10 = fpext float %9 to double
  %11 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  %12 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  %13 = tail call double @llvm.fmuladd.f64(double %7, double %10, double 0.000000e+00)
  %14 = tail call double @sqrt(double noundef %13) #6
  %15 = fcmp ogt double %14, 0x3F1A36E2E0000000
  br i1 %15, label %21, label %16

16:                                               ; preds = %0
  %17 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  %18 = fcmp uno float %17, 0.000000e+00
  br i1 %18, label %21, label %19

19:                                               ; preds = %16
  %20 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  tail call void (...) @liquid_autotest_passed() #6
  br label %32

21:                                               ; preds = %16, %0
  %22 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  %23 = fadd float %22, -1.000000e+00
  %24 = fpext float %23 to double
  %25 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  %26 = fadd float %25, -1.000000e+00
  %27 = fpext float %26 to double
  %28 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  %29 = tail call float @nco_crcf_cos(ptr noundef %3) #6
  %30 = tail call double @llvm.fmuladd.f64(double %24, double %27, double 0.000000e+00)
  %31 = tail call double @sqrt(double noundef %30) #6
  tail call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 104, ptr noundef nonnull @.str.6, double noundef %31, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %32

32:                                               ; preds = %19, %21
  %33 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  %34 = fpext float %33 to double
  %35 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  %36 = fpext float %35 to double
  %37 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  %38 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  %39 = tail call double @llvm.fmuladd.f64(double %34, double %36, double 0.000000e+00)
  %40 = tail call double @sqrt(double noundef %39) #6
  %41 = fcmp ogt double %40, 0x3F1A36E2E0000000
  br i1 %41, label %47, label %42

42:                                               ; preds = %32
  %43 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  %44 = fcmp uno float %43, 0.000000e+00
  br i1 %44, label %47, label %45

45:                                               ; preds = %42
  %46 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  tail call void (...) @liquid_autotest_passed() #6
  br label %56

47:                                               ; preds = %42, %32
  %48 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  %49 = fpext float %48 to double
  %50 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  %51 = fpext float %50 to double
  %52 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  %53 = tail call float @nco_crcf_sin(ptr noundef %3) #6
  %54 = tail call double @llvm.fmuladd.f64(double %49, double %51, double 0.000000e+00)
  %55 = tail call double @sqrt(double noundef %54) #6
  tail call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 105, ptr noundef nonnull @.str.8, double noundef %55, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %56

56:                                               ; preds = %45, %47
  %57 = call i32 @nco_crcf_sincos(ptr noundef %3, ptr noundef nonnull %1, ptr noundef nonnull %2) #6
  %58 = load float, ptr %1, align 4
  %59 = fpext float %58 to double
  %60 = call double @llvm.fmuladd.f64(double %59, double %59, double 0.000000e+00)
  %sqrt = call double @llvm.sqrt.f64(double %60)
  %61 = fcmp ogt double %sqrt, 0x3F1A36E2E0000000
  %62 = fcmp uno float %58, 0.000000e+00
  %or.cond = select i1 %61, i1 true, i1 %62
  br i1 %or.cond, label %63, label %64

63:                                               ; preds = %56
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 107, ptr noundef nonnull @.str.9, double noundef %sqrt, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %65

64:                                               ; preds = %56
  call void (...) @liquid_autotest_passed() #6
  br label %65

65:                                               ; preds = %64, %63
  %66 = load float, ptr %2, align 4
  %67 = fadd float %66, -1.000000e+00
  %68 = fpext float %67 to double
  %69 = call double @llvm.fmuladd.f64(double %68, double %68, double 0.000000e+00)
  %sqrt178 = call double @llvm.sqrt.f64(double %69)
  %70 = fcmp ogt double %sqrt178, 0x3F1A36E2E0000000
  %71 = fcmp uno float %66, 0.000000e+00
  %or.cond164 = select i1 %70, i1 true, i1 %71
  br i1 %or.cond164, label %72, label %73

72:                                               ; preds = %65
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 108, ptr noundef nonnull @.str.10, double noundef %sqrt178, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %74

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

74:                                               ; preds = %73, %72
  %75 = call i32 @nco_crcf_set_phase(ptr noundef %3, float noundef 0x3FF921FB60000000) #6
  %76 = call float @nco_crcf_cos(ptr noundef %3) #6
  %77 = fpext float %76 to double
  %78 = call float @nco_crcf_cos(ptr noundef %3) #6
  %79 = fpext float %78 to double
  %80 = call float @nco_crcf_cos(ptr noundef %3) #6
  %81 = call float @nco_crcf_cos(ptr noundef %3) #6
  %82 = call double @llvm.fmuladd.f64(double %77, double %79, double 0.000000e+00)
  %83 = call double @sqrt(double noundef %82) #6
  %84 = fcmp ogt double %83, 0x3F1A36E2E0000000
  br i1 %84, label %90, label %85

85:                                               ; preds = %74
  %86 = call float @nco_crcf_cos(ptr noundef %3) #6
  %87 = fcmp uno float %86, 0.000000e+00
  br i1 %87, label %90, label %88

88:                                               ; preds = %85
  %89 = call float @nco_crcf_cos(ptr noundef %3) #6
  call void (...) @liquid_autotest_passed() #6
  br label %99

90:                                               ; preds = %85, %74
  %91 = call float @nco_crcf_cos(ptr noundef %3) #6
  %92 = fpext float %91 to double
  %93 = call float @nco_crcf_cos(ptr noundef %3) #6
  %94 = fpext float %93 to double
  %95 = call float @nco_crcf_cos(ptr noundef %3) #6
  %96 = call float @nco_crcf_cos(ptr noundef %3) #6
  %97 = call double @llvm.fmuladd.f64(double %92, double %94, double 0.000000e+00)
  %98 = call double @sqrt(double noundef %97) #6
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 111, ptr noundef nonnull @.str.11, double noundef %98, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %99

99:                                               ; preds = %88, %90
  %100 = call float @nco_crcf_sin(ptr noundef %3) #6
  %101 = fadd float %100, -1.000000e+00
  %102 = fpext float %101 to double
  %103 = call float @nco_crcf_sin(ptr noundef %3) #6
  %104 = fadd float %103, -1.000000e+00
  %105 = fpext float %104 to double
  %106 = call float @nco_crcf_sin(ptr noundef %3) #6
  %107 = call float @nco_crcf_sin(ptr noundef %3) #6
  %108 = call double @llvm.fmuladd.f64(double %102, double %105, double 0.000000e+00)
  %109 = call double @sqrt(double noundef %108) #6
  %110 = fcmp ogt double %109, 0x3F1A36E2E0000000
  br i1 %110, label %116, label %111

111:                                              ; preds = %99
  %112 = call float @nco_crcf_sin(ptr noundef %3) #6
  %113 = fcmp uno float %112, 0.000000e+00
  br i1 %113, label %116, label %114

114:                                              ; preds = %111
  %115 = call float @nco_crcf_sin(ptr noundef %3) #6
  call void (...) @liquid_autotest_passed() #6
  br label %127

116:                                              ; preds = %111, %99
  %117 = call float @nco_crcf_sin(ptr noundef %3) #6
  %118 = fadd float %117, -1.000000e+00
  %119 = fpext float %118 to double
  %120 = call float @nco_crcf_sin(ptr noundef %3) #6
  %121 = fadd float %120, -1.000000e+00
  %122 = fpext float %121 to double
  %123 = call float @nco_crcf_sin(ptr noundef %3) #6
  %124 = call float @nco_crcf_sin(ptr noundef %3) #6
  %125 = call double @llvm.fmuladd.f64(double %119, double %122, double 0.000000e+00)
  %126 = call double @sqrt(double noundef %125) #6
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 112, ptr noundef nonnull @.str.12, double noundef %126, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %127

127:                                              ; preds = %114, %116
  %128 = call i32 @nco_crcf_sincos(ptr noundef %3, ptr noundef nonnull %1, ptr noundef nonnull %2) #6
  %129 = load float, ptr %1, align 4
  %130 = fadd float %129, -1.000000e+00
  %131 = fpext float %130 to double
  %132 = call double @llvm.fmuladd.f64(double %131, double %131, double 0.000000e+00)
  %sqrt180 = call double @llvm.sqrt.f64(double %132)
  %133 = fcmp ogt double %sqrt180, 0x3F1A36E2E0000000
  %134 = fcmp uno float %129, 0.000000e+00
  %or.cond166 = select i1 %133, i1 true, i1 %134
  br i1 %or.cond166, label %135, label %136

135:                                              ; preds = %127
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 114, ptr noundef nonnull @.str.13, double noundef %sqrt180, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %137

136:                                              ; preds = %127
  call void (...) @liquid_autotest_passed() #6
  br label %137

137:                                              ; preds = %136, %135
  %138 = load float, ptr %2, align 4
  %139 = fpext float %138 to double
  %140 = call double @llvm.fmuladd.f64(double %139, double %139, double 0.000000e+00)
  %sqrt182 = call double @llvm.sqrt.f64(double %140)
  %141 = fcmp ogt double %sqrt182, 0x3F1A36E2E0000000
  %142 = fcmp uno float %138, 0.000000e+00
  %or.cond168 = select i1 %141, i1 true, i1 %142
  br i1 %or.cond168, label %143, label %144

143:                                              ; preds = %137
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 115, ptr noundef nonnull @.str.14, double noundef %sqrt182, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %145

144:                                              ; preds = %137
  call void (...) @liquid_autotest_passed() #6
  br label %145

145:                                              ; preds = %144, %143
  %146 = call i32 @nco_crcf_set_phase(ptr noundef %3, float noundef 0.000000e+00) #6
  %147 = call i32 @nco_crcf_set_frequency(ptr noundef %3, float noundef 0x3FB921FB60000000) #6
  br label %148

148:                                              ; preds = %145, %220
  %.0222 = phi i32 [ 0, %145 ], [ %222, %220 ]
  %149 = call i32 @nco_crcf_sincos(ptr noundef %3, ptr noundef nonnull %1, ptr noundef nonnull %2) #6
  %150 = load float, ptr %1, align 4, !tbaa !5
  %151 = uitofp nneg i32 %.0222 to float
  %152 = fmul float %151, 0x3FB921FB60000000
  %153 = call float @sinf(float noundef %152) #6
  %154 = fsub float %150, %153
  %155 = fpext float %154 to double
  %156 = load float, ptr %1, align 4, !tbaa !5
  %157 = call float @sinf(float noundef %152) #6
  %158 = fsub float %156, %157
  %159 = fpext float %158 to double
  %160 = fcmp oeq float %152, 0x7FF0000000000000
  br i1 %160, label %cdce.call184, label %cdce.end185, !prof !9

cdce.call184:                                     ; preds = %148
  %161 = call float @sinf(float noundef 0x7FF0000000000000) #6
  %162 = call float @sinf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end185

cdce.end185:                                      ; preds = %148, %cdce.call184
  %163 = call double @llvm.fmuladd.f64(double %155, double %159, double 0.000000e+00)
  %164 = call double @sqrt(double noundef %163) #6
  %165 = fcmp ogt double %164, 0x3F1A36E2E0000000
  %166 = load float, ptr %1, align 4
  %167 = fcmp uno float %166, 0.000000e+00
  %or.cond170 = select i1 %165, i1 true, i1 %167
  br i1 %or.cond170, label %173, label %168

168:                                              ; preds = %cdce.end185
  %169 = call float @sinf(float noundef %152) #6
  %170 = fcmp uno float %169, 0.000000e+00
  br i1 %170, label %._crit_edge, label %171

._crit_edge:                                      ; preds = %168
  %.pre = load float, ptr %1, align 4, !tbaa !5
  br label %173

171:                                              ; preds = %168
  br i1 %160, label %cdce.call186, label %cdce.end187, !prof !9

cdce.call186:                                     ; preds = %171
  %172 = call float @sinf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end187

cdce.end187:                                      ; preds = %171, %cdce.call186
  call void (...) @liquid_autotest_passed() #6
  br label %186

173:                                              ; preds = %._crit_edge, %cdce.end185
  %174 = phi float [ %.pre, %._crit_edge ], [ %166, %cdce.end185 ]
  %175 = call float @sinf(float noundef %152) #6
  %176 = fsub float %174, %175
  %177 = fpext float %176 to double
  %178 = load float, ptr %1, align 4, !tbaa !5
  %179 = call float @sinf(float noundef %152) #6
  %180 = fsub float %178, %179
  %181 = fpext float %180 to double
  br i1 %160, label %cdce.call190, label %cdce.end191, !prof !9

cdce.call190:                                     ; preds = %173
  %182 = call float @sinf(float noundef 0x7FF0000000000000) #6
  %183 = call float @sinf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end191

cdce.end191:                                      ; preds = %173, %cdce.call190
  %184 = call double @llvm.fmuladd.f64(double %177, double %181, double 0.000000e+00)
  %185 = call double @sqrt(double noundef %184) #6
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 123, ptr noundef nonnull @.str.15, double noundef %185, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %186

186:                                              ; preds = %cdce.end187, %cdce.end191
  %187 = load float, ptr %2, align 4, !tbaa !5
  %188 = call float @cosf(float noundef %152) #6
  %189 = fsub float %187, %188
  %190 = fpext float %189 to double
  %191 = load float, ptr %2, align 4, !tbaa !5
  %192 = call float @cosf(float noundef %152) #6
  %193 = fsub float %191, %192
  %194 = fpext float %193 to double
  br i1 %160, label %cdce.call194, label %cdce.end195, !prof !9

cdce.call194:                                     ; preds = %186
  %195 = call float @cosf(float noundef 0x7FF0000000000000) #6
  %196 = call float @cosf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end195

cdce.end195:                                      ; preds = %186, %cdce.call194
  %197 = call double @llvm.fmuladd.f64(double %190, double %194, double 0.000000e+00)
  %198 = call double @sqrt(double noundef %197) #6
  %199 = fcmp ogt double %198, 0x3F1A36E2E0000000
  %200 = load float, ptr %2, align 4
  %201 = fcmp uno float %200, 0.000000e+00
  %or.cond172 = select i1 %199, i1 true, i1 %201
  br i1 %or.cond172, label %207, label %202

202:                                              ; preds = %cdce.end195
  %203 = call float @cosf(float noundef %152) #6
  %204 = fcmp uno float %203, 0.000000e+00
  br i1 %204, label %._crit_edge225, label %205

._crit_edge225:                                   ; preds = %202
  %.pre226 = load float, ptr %2, align 4, !tbaa !5
  br label %207

205:                                              ; preds = %202
  br i1 %160, label %cdce.call196, label %cdce.end197, !prof !9

cdce.call196:                                     ; preds = %205
  %206 = call float @cosf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end197

cdce.end197:                                      ; preds = %205, %cdce.call196
  call void (...) @liquid_autotest_passed() #6
  br label %220

207:                                              ; preds = %._crit_edge225, %cdce.end195
  %208 = phi float [ %.pre226, %._crit_edge225 ], [ %200, %cdce.end195 ]
  %209 = call float @cosf(float noundef %152) #6
  %210 = fsub float %208, %209
  %211 = fpext float %210 to double
  %212 = load float, ptr %2, align 4, !tbaa !5
  %213 = call float @cosf(float noundef %152) #6
  %214 = fsub float %212, %213
  %215 = fpext float %214 to double
  br i1 %160, label %cdce.call200, label %cdce.end201, !prof !9

cdce.call200:                                     ; preds = %207
  %216 = call float @cosf(float noundef 0x7FF0000000000000) #6
  %217 = call float @cosf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end201

cdce.end201:                                      ; preds = %207, %cdce.call200
  %218 = call double @llvm.fmuladd.f64(double %211, double %215, double 0.000000e+00)
  %219 = call double @sqrt(double noundef %218) #6
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 124, ptr noundef nonnull @.str.16, double noundef %219, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %220

220:                                              ; preds = %cdce.end197, %cdce.end201
  %221 = call i32 @nco_crcf_step(ptr noundef %3) #6
  %222 = add nuw nsw i32 %.0222, 1
  %exitcond.not = icmp eq i32 %222, 128
  br i1 %exitcond.not, label %223, label %148, !llvm.loop !10

223:                                              ; preds = %220
  %224 = call i32 @nco_crcf_set_phase(ptr noundef %3, float noundef 0.000000e+00) #6
  %225 = call i32 @nco_crcf_set_frequency(ptr noundef %3, float noundef 0x3FC921FB60000000) #6
  br label %226

226:                                              ; preds = %223, %298
  %.1223 = phi i32 [ 0, %223 ], [ %300, %298 ]
  %227 = call i32 @nco_crcf_sincos(ptr noundef %3, ptr noundef nonnull %1, ptr noundef nonnull %2) #6
  %228 = load float, ptr %1, align 4, !tbaa !5
  %229 = uitofp nneg i32 %.1223 to float
  %230 = fmul float %229, 0x3FC921FB60000000
  %231 = call float @sinf(float noundef %230) #6
  %232 = fsub float %228, %231
  %233 = fpext float %232 to double
  %234 = load float, ptr %1, align 4, !tbaa !5
  %235 = call float @sinf(float noundef %230) #6
  %236 = fsub float %234, %235
  %237 = fpext float %236 to double
  %238 = fcmp oeq float %230, 0x7FF0000000000000
  br i1 %238, label %cdce.call204, label %cdce.end205, !prof !9

cdce.call204:                                     ; preds = %226
  %239 = call float @sinf(float noundef 0x7FF0000000000000) #6
  %240 = call float @sinf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end205

cdce.end205:                                      ; preds = %226, %cdce.call204
  %241 = call double @llvm.fmuladd.f64(double %233, double %237, double 0.000000e+00)
  %242 = call double @sqrt(double noundef %241) #6
  %243 = fcmp ogt double %242, 0x3F1A36E2E0000000
  %244 = load float, ptr %1, align 4
  %245 = fcmp uno float %244, 0.000000e+00
  %or.cond174 = select i1 %243, i1 true, i1 %245
  br i1 %or.cond174, label %251, label %246

246:                                              ; preds = %cdce.end205
  %247 = call float @sinf(float noundef %230) #6
  %248 = fcmp uno float %247, 0.000000e+00
  br i1 %248, label %._crit_edge227, label %249

._crit_edge227:                                   ; preds = %246
  %.pre228 = load float, ptr %1, align 4, !tbaa !5
  br label %251

249:                                              ; preds = %246
  br i1 %238, label %cdce.call206, label %cdce.end207, !prof !9

cdce.call206:                                     ; preds = %249
  %250 = call float @sinf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end207

cdce.end207:                                      ; preds = %249, %cdce.call206
  call void (...) @liquid_autotest_passed() #6
  br label %264

251:                                              ; preds = %._crit_edge227, %cdce.end205
  %252 = phi float [ %.pre228, %._crit_edge227 ], [ %244, %cdce.end205 ]
  %253 = call float @sinf(float noundef %230) #6
  %254 = fsub float %252, %253
  %255 = fpext float %254 to double
  %256 = load float, ptr %1, align 4, !tbaa !5
  %257 = call float @sinf(float noundef %230) #6
  %258 = fsub float %256, %257
  %259 = fpext float %258 to double
  br i1 %238, label %cdce.call210, label %cdce.end211, !prof !9

cdce.call210:                                     ; preds = %251
  %260 = call float @sinf(float noundef 0x7FF0000000000000) #6
  %261 = call float @sinf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end211

cdce.end211:                                      ; preds = %251, %cdce.call210
  %262 = call double @llvm.fmuladd.f64(double %255, double %259, double 0.000000e+00)
  %263 = call double @sqrt(double noundef %262) #6
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 134, ptr noundef nonnull @.str.15, double noundef %263, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %264

264:                                              ; preds = %cdce.end207, %cdce.end211
  %265 = load float, ptr %2, align 4, !tbaa !5
  %266 = call float @cosf(float noundef %230) #6
  %267 = fsub float %265, %266
  %268 = fpext float %267 to double
  %269 = load float, ptr %2, align 4, !tbaa !5
  %270 = call float @cosf(float noundef %230) #6
  %271 = fsub float %269, %270
  %272 = fpext float %271 to double
  br i1 %238, label %cdce.call214, label %cdce.end215, !prof !9

cdce.call214:                                     ; preds = %264
  %273 = call float @cosf(float noundef 0x7FF0000000000000) #6
  %274 = call float @cosf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end215

cdce.end215:                                      ; preds = %264, %cdce.call214
  %275 = call double @llvm.fmuladd.f64(double %268, double %272, double 0.000000e+00)
  %276 = call double @sqrt(double noundef %275) #6
  %277 = fcmp ogt double %276, 0x3F1A36E2E0000000
  %278 = load float, ptr %2, align 4
  %279 = fcmp uno float %278, 0.000000e+00
  %or.cond176 = select i1 %277, i1 true, i1 %279
  br i1 %or.cond176, label %285, label %280

280:                                              ; preds = %cdce.end215
  %281 = call float @cosf(float noundef %230) #6
  %282 = fcmp uno float %281, 0.000000e+00
  br i1 %282, label %._crit_edge229, label %283

._crit_edge229:                                   ; preds = %280
  %.pre230 = load float, ptr %2, align 4, !tbaa !5
  br label %285

283:                                              ; preds = %280
  br i1 %238, label %cdce.call216, label %cdce.end217, !prof !9

cdce.call216:                                     ; preds = %283
  %284 = call float @cosf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end217

cdce.end217:                                      ; preds = %283, %cdce.call216
  call void (...) @liquid_autotest_passed() #6
  br label %298

285:                                              ; preds = %._crit_edge229, %cdce.end215
  %286 = phi float [ %.pre230, %._crit_edge229 ], [ %278, %cdce.end215 ]
  %287 = call float @cosf(float noundef %230) #6
  %288 = fsub float %286, %287
  %289 = fpext float %288 to double
  %290 = load float, ptr %2, align 4, !tbaa !5
  %291 = call float @cosf(float noundef %230) #6
  %292 = fsub float %290, %291
  %293 = fpext float %292 to double
  br i1 %238, label %cdce.call220, label %cdce.end221, !prof !9

cdce.call220:                                     ; preds = %285
  %294 = call float @cosf(float noundef 0x7FF0000000000000) #6
  %295 = call float @cosf(float noundef 0x7FF0000000000000) #6
  br label %cdce.end221

cdce.end221:                                      ; preds = %285, %cdce.call220
  %296 = call double @llvm.fmuladd.f64(double %289, double %293, double 0.000000e+00)
  %297 = call double @sqrt(double noundef %296) #6
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str.1, i32 noundef 135, ptr noundef nonnull @.str.16, double noundef %297, ptr noundef nonnull @.str.3, ptr noundef nonnull @.str.7, double noundef 0x3F1A36E2E0000000) #6
  br label %298

298:                                              ; preds = %cdce.end217, %cdce.end221
  %299 = call i32 @nco_crcf_step(ptr noundef %3) #6
  %300 = add nuw nsw i32 %.1223, 1
  %exitcond224.not = icmp eq i32 %300, 128
  br i1 %exitcond224.not, label %301, label %226, !llvm.loop !12

301:                                              ; preds = %298
  %302 = call i32 @nco_crcf_destroy(ptr noundef %3) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %2) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %1) #6
  ret void
}

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

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

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

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

declare i32 @nco_crcf_step(ptr noundef) local_unnamed_addr #1

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

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

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

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


; Effective O3 passes: AggressiveInstCombinePass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LibCallsShrinkWrapPass,LoopInstSimplifyPass,LoopRotatePass,SROAPass,SimplifyCFGPass,TailCallElimPass