; LLVM IR from jgaeddert/liquid-dsp :: src/math/tests (math_complex_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 [93 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [35 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 [35 x i8], align 1
@__const.autotest_cacosf.z = external hidden unnamed_addr constant [32 x { float, float }], align 16
@__const.autotest_cacosf.test = external hidden unnamed_addr constant [32 x { float, float }], align 16

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

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

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

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

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

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

declare void @liquid_autotest_passed(...) #4

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

; Function Attrs: nounwind uwtable
define dso_local void @autotest_cacosf() #5 {
  %1 = alloca float, align 4
  %2 = alloca i32, align 4
  %3 = alloca [32 x { float, float }], align 16
  %4 = alloca [32 x { float, float }], align 16
  %5 = alloca i32, align 4
  %6 = alloca { float, float }, align 4
  %7 = alloca { float, float }, align 4
  %8 = alloca { float, float }, align 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %1) #6
  store float 0x3F50624DE0000000, ptr %1, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %2) #6
  store i32 32, ptr %2, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 256, ptr %3) #6
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %3, ptr align 16 @__const.autotest_cacosf.z, i64 256, i1 false)
  call void @llvm.lifetime.start.p0(i64 256, ptr %4) #6
  call void @llvm.memcpy.p0.p0.i64(ptr align 16 %4, ptr align 16 @__const.autotest_cacosf.test, i64 256, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #6
  store i32 0, ptr %5, align 4, !tbaa !9
  br label %9

9:                                                ; preds = %323, %0
  %10 = load i32, ptr %5, align 4, !tbaa !9
  %11 = load i32, ptr %2, align 4, !tbaa !9
  %12 = icmp ult i32 %10, %11
  br i1 %12, label %13, label %326

13:                                               ; preds = %9
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #6
  %14 = load i32, ptr %5, align 4, !tbaa !9
  %15 = zext i32 %14 to i64
  %16 = getelementptr inbounds [32 x { float, float }], ptr %3, i64 0, i64 %15
  %17 = getelementptr inbounds { float, float }, ptr %16, i32 0, i32 0
  %18 = load float, ptr %17, align 8
  %19 = getelementptr inbounds { float, float }, ptr %16, i32 0, i32 1
  %20 = load float, ptr %19, align 4
  %21 = getelementptr inbounds { float, float }, ptr %7, i32 0, i32 0
  %22 = getelementptr inbounds { float, float }, ptr %7, i32 0, i32 1
  store float %18, ptr %21, align 4
  store float %20, ptr %22, align 4
  %23 = load <2 x float>, ptr %7, align 4
  %24 = call <2 x float> @liquid_cacosf(<2 x float> noundef %23)
  store <2 x float> %24, ptr %8, align 4
  %25 = getelementptr inbounds { float, float }, ptr %8, i32 0, i32 0
  %26 = load float, ptr %25, align 4
  %27 = getelementptr inbounds { float, float }, ptr %8, i32 0, i32 1
  %28 = load float, ptr %27, align 4
  %29 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %30 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  store float %26, ptr %29, align 4
  store float %28, ptr %30, align 4
  %31 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %32 = load float, ptr %31, align 4
  %33 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %34 = load float, ptr %33, align 4
  %35 = load i32, ptr %5, align 4, !tbaa !9
  %36 = zext i32 %35 to i64
  %37 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %36
  %38 = getelementptr inbounds { float, float }, ptr %37, i32 0, i32 0
  %39 = load float, ptr %38, align 8
  %40 = getelementptr inbounds { float, float }, ptr %37, i32 0, i32 1
  %41 = load float, ptr %40, align 4
  %42 = fsub float %32, %39
  %43 = fpext float %42 to double
  %44 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %45 = load float, ptr %44, align 4
  %46 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %47 = load float, ptr %46, align 4
  %48 = load i32, ptr %5, align 4, !tbaa !9
  %49 = zext i32 %48 to i64
  %50 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %49
  %51 = getelementptr inbounds { float, float }, ptr %50, i32 0, i32 0
  %52 = load float, ptr %51, align 8
  %53 = getelementptr inbounds { float, float }, ptr %50, i32 0, i32 1
  %54 = load float, ptr %53, align 4
  %55 = fsub float %45, %52
  %56 = fpext float %55 to double
  %57 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %58 = load float, ptr %57, align 4
  %59 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %60 = load float, ptr %59, align 4
  %61 = load i32, ptr %5, align 4, !tbaa !9
  %62 = zext i32 %61 to i64
  %63 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %62
  %64 = getelementptr inbounds { float, float }, ptr %63, i32 0, i32 0
  %65 = load float, ptr %64, align 8
  %66 = getelementptr inbounds { float, float }, ptr %63, i32 0, i32 1
  %67 = load float, ptr %66, align 4
  %68 = fsub float %58, %65
  %69 = fpext float %68 to double
  %70 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %71 = load float, ptr %70, align 4
  %72 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %73 = load float, ptr %72, align 4
  %74 = load i32, ptr %5, align 4, !tbaa !9
  %75 = zext i32 %74 to i64
  %76 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %75
  %77 = getelementptr inbounds { float, float }, ptr %76, i32 0, i32 0
  %78 = load float, ptr %77, align 8
  %79 = getelementptr inbounds { float, float }, ptr %76, i32 0, i32 1
  %80 = load float, ptr %79, align 4
  %81 = fsub float %71, %78
  %82 = fpext float %81 to double
  %83 = call double @llvm.fmuladd.f64(double %43, double %56, double 0.000000e+00)
  %84 = call double @sqrt(double noundef %83) #6
  %85 = load float, ptr %1, align 4, !tbaa !5
  %86 = fpext float %85 to double
  %87 = fcmp ogt double %84, %86
  br i1 %87, label %118, label %88

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

94:                                               ; preds = %88
  %95 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %96 = load float, ptr %95, align 4
  %97 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %98 = load float, ptr %97, align 4
  %99 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %99, label %118, label %100

100:                                              ; preds = %94
  %101 = load i32, ptr %5, align 4, !tbaa !9
  %102 = zext i32 %101 to i64
  %103 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %102
  %104 = getelementptr inbounds { float, float }, ptr %103, i32 0, i32 0
  %105 = load float, ptr %104, align 8
  %106 = getelementptr inbounds { float, float }, ptr %103, i32 0, i32 1
  %107 = load float, ptr %106, align 4
  %108 = call i1 @llvm.is.fpclass.f32(float %105, i32 3)
  br i1 %108, label %118, label %109

109:                                              ; preds = %100
  %110 = load i32, ptr %5, align 4, !tbaa !9
  %111 = zext i32 %110 to i64
  %112 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %111
  %113 = getelementptr inbounds { float, float }, ptr %112, i32 0, i32 0
  %114 = load float, ptr %113, align 8
  %115 = getelementptr inbounds { float, float }, ptr %112, i32 0, i32 1
  %116 = load float, ptr %115, align 4
  %117 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %117, label %118, label %175

118:                                              ; preds = %109, %100, %94, %88, %13
  %119 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %120 = load float, ptr %119, align 4
  %121 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %122 = load float, ptr %121, align 4
  %123 = load i32, ptr %5, align 4, !tbaa !9
  %124 = zext i32 %123 to i64
  %125 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %124
  %126 = getelementptr inbounds { float, float }, ptr %125, i32 0, i32 0
  %127 = load float, ptr %126, align 8
  %128 = getelementptr inbounds { float, float }, ptr %125, i32 0, i32 1
  %129 = load float, ptr %128, align 4
  %130 = fsub float %120, %127
  %131 = fpext float %130 to double
  %132 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %133 = load float, ptr %132, align 4
  %134 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %135 = load float, ptr %134, align 4
  %136 = load i32, ptr %5, align 4, !tbaa !9
  %137 = zext i32 %136 to i64
  %138 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %137
  %139 = getelementptr inbounds { float, float }, ptr %138, i32 0, i32 0
  %140 = load float, ptr %139, align 8
  %141 = getelementptr inbounds { float, float }, ptr %138, i32 0, i32 1
  %142 = load float, ptr %141, align 4
  %143 = fsub float %133, %140
  %144 = fpext float %143 to double
  %145 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %146 = load float, ptr %145, align 4
  %147 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %148 = load float, ptr %147, align 4
  %149 = load i32, ptr %5, align 4, !tbaa !9
  %150 = zext i32 %149 to i64
  %151 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %150
  %152 = getelementptr inbounds { float, float }, ptr %151, i32 0, i32 0
  %153 = load float, ptr %152, align 8
  %154 = getelementptr inbounds { float, float }, ptr %151, i32 0, i32 1
  %155 = load float, ptr %154, align 4
  %156 = fsub float %146, %153
  %157 = fpext float %156 to double
  %158 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %159 = load float, ptr %158, align 4
  %160 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %161 = load float, ptr %160, align 4
  %162 = load i32, ptr %5, align 4, !tbaa !9
  %163 = zext i32 %162 to i64
  %164 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %163
  %165 = getelementptr inbounds { float, float }, ptr %164, i32 0, i32 0
  %166 = load float, ptr %165, align 8
  %167 = getelementptr inbounds { float, float }, ptr %164, i32 0, i32 1
  %168 = load float, ptr %167, align 4
  %169 = fsub float %159, %166
  %170 = fpext float %169 to double
  %171 = call double @llvm.fmuladd.f64(double %131, double %144, double 0.000000e+00)
  %172 = call double @sqrt(double noundef %171) #6
  %173 = load float, ptr %1, align 4, !tbaa !5
  %174 = fpext float %173 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 280, ptr noundef @.str.1, double noundef %172, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %174)
  br label %176

175:                                              ; preds = %109
  call void (...) @liquid_autotest_passed()
  br label %176

176:                                              ; preds = %175, %118
  %177 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %178 = load float, ptr %177, align 4
  %179 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %180 = load float, ptr %179, align 4
  %181 = load i32, ptr %5, align 4, !tbaa !9
  %182 = zext i32 %181 to i64
  %183 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %182
  %184 = getelementptr inbounds { float, float }, ptr %183, i32 0, i32 0
  %185 = load float, ptr %184, align 8
  %186 = getelementptr inbounds { float, float }, ptr %183, i32 0, i32 1
  %187 = load float, ptr %186, align 4
  %188 = fsub float %180, %187
  %189 = fpext float %188 to double
  %190 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %191 = load float, ptr %190, align 4
  %192 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %193 = load float, ptr %192, align 4
  %194 = load i32, ptr %5, align 4, !tbaa !9
  %195 = zext i32 %194 to i64
  %196 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %195
  %197 = getelementptr inbounds { float, float }, ptr %196, i32 0, i32 0
  %198 = load float, ptr %197, align 8
  %199 = getelementptr inbounds { float, float }, ptr %196, i32 0, i32 1
  %200 = load float, ptr %199, align 4
  %201 = fsub float %193, %200
  %202 = fpext float %201 to double
  %203 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %204 = load float, ptr %203, align 4
  %205 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %206 = load float, ptr %205, align 4
  %207 = load i32, ptr %5, align 4, !tbaa !9
  %208 = zext i32 %207 to i64
  %209 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %208
  %210 = getelementptr inbounds { float, float }, ptr %209, i32 0, i32 0
  %211 = load float, ptr %210, align 8
  %212 = getelementptr inbounds { float, float }, ptr %209, i32 0, i32 1
  %213 = load float, ptr %212, align 4
  %214 = fsub float %206, %213
  %215 = fpext float %214 to double
  %216 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %217 = load float, ptr %216, align 4
  %218 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %219 = load float, ptr %218, align 4
  %220 = load i32, ptr %5, align 4, !tbaa !9
  %221 = zext i32 %220 to i64
  %222 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %221
  %223 = getelementptr inbounds { float, float }, ptr %222, i32 0, i32 0
  %224 = load float, ptr %223, align 8
  %225 = getelementptr inbounds { float, float }, ptr %222, i32 0, i32 1
  %226 = load float, ptr %225, align 4
  %227 = fsub float %219, %226
  %228 = fpext float %227 to double
  %229 = call double @llvm.fmuladd.f64(double %189, double %202, double 0.000000e+00)
  %230 = call double @sqrt(double noundef %229) #6
  %231 = load float, ptr %1, align 4, !tbaa !5
  %232 = fpext float %231 to double
  %233 = fcmp ogt double %230, %232
  br i1 %233, label %264, label %234

234:                                              ; preds = %176
  %235 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %236 = load float, ptr %235, align 4
  %237 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %238 = load float, ptr %237, align 4
  %239 = call i1 @llvm.is.fpclass.f32(float %238, i32 3)
  br i1 %239, label %264, label %240

240:                                              ; preds = %234
  %241 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %242 = load float, ptr %241, align 4
  %243 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %244 = load float, ptr %243, align 4
  %245 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %245, label %264, label %246

246:                                              ; preds = %240
  %247 = load i32, ptr %5, align 4, !tbaa !9
  %248 = zext i32 %247 to i64
  %249 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %248
  %250 = getelementptr inbounds { float, float }, ptr %249, i32 0, i32 0
  %251 = load float, ptr %250, align 8
  %252 = getelementptr inbounds { float, float }, ptr %249, i32 0, i32 1
  %253 = load float, ptr %252, align 4
  %254 = call i1 @llvm.is.fpclass.f32(float %253, i32 3)
  br i1 %254, label %264, label %255

255:                                              ; preds = %246
  %256 = load i32, ptr %5, align 4, !tbaa !9
  %257 = zext i32 %256 to i64
  %258 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %257
  %259 = getelementptr inbounds { float, float }, ptr %258, i32 0, i32 0
  %260 = load float, ptr %259, align 8
  %261 = getelementptr inbounds { float, float }, ptr %258, i32 0, i32 1
  %262 = load float, ptr %261, align 4
  %263 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %263, label %264, label %321

264:                                              ; preds = %255, %246, %240, %234, %176
  %265 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %266 = load float, ptr %265, align 4
  %267 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %268 = load float, ptr %267, align 4
  %269 = load i32, ptr %5, align 4, !tbaa !9
  %270 = zext i32 %269 to i64
  %271 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %270
  %272 = getelementptr inbounds { float, float }, ptr %271, i32 0, i32 0
  %273 = load float, ptr %272, align 8
  %274 = getelementptr inbounds { float, float }, ptr %271, i32 0, i32 1
  %275 = load float, ptr %274, align 4
  %276 = fsub float %268, %275
  %277 = fpext float %276 to double
  %278 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %279 = load float, ptr %278, align 4
  %280 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %281 = load float, ptr %280, align 4
  %282 = load i32, ptr %5, align 4, !tbaa !9
  %283 = zext i32 %282 to i64
  %284 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %283
  %285 = getelementptr inbounds { float, float }, ptr %284, i32 0, i32 0
  %286 = load float, ptr %285, align 8
  %287 = getelementptr inbounds { float, float }, ptr %284, i32 0, i32 1
  %288 = load float, ptr %287, align 4
  %289 = fsub float %281, %288
  %290 = fpext float %289 to double
  %291 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %292 = load float, ptr %291, align 4
  %293 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %294 = load float, ptr %293, align 4
  %295 = load i32, ptr %5, align 4, !tbaa !9
  %296 = zext i32 %295 to i64
  %297 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %296
  %298 = getelementptr inbounds { float, float }, ptr %297, i32 0, i32 0
  %299 = load float, ptr %298, align 8
  %300 = getelementptr inbounds { float, float }, ptr %297, i32 0, i32 1
  %301 = load float, ptr %300, align 4
  %302 = fsub float %294, %301
  %303 = fpext float %302 to double
  %304 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %305 = load float, ptr %304, align 4
  %306 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %307 = load float, ptr %306, align 4
  %308 = load i32, ptr %5, align 4, !tbaa !9
  %309 = zext i32 %308 to i64
  %310 = getelementptr inbounds [32 x { float, float }], ptr %4, i64 0, i64 %309
  %311 = getelementptr inbounds { float, float }, ptr %310, i32 0, i32 0
  %312 = load float, ptr %311, align 8
  %313 = getelementptr inbounds { float, float }, ptr %310, i32 0, i32 1
  %314 = load float, ptr %313, align 4
  %315 = fsub float %307, %314
  %316 = fpext float %315 to double
  %317 = call double @llvm.fmuladd.f64(double %277, double %290, double 0.000000e+00)
  %318 = call double @sqrt(double noundef %317) #6
  %319 = load float, ptr %1, align 4, !tbaa !5
  %320 = fpext float %319 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 281, ptr noundef @.str.4, double noundef %318, ptr noundef @.str.2, ptr noundef @.str.3, double noundef %320)
  br label %322

321:                                              ; preds = %255
  call void (...) @liquid_autotest_passed()
  br label %322

322:                                              ; preds = %321, %264
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #6
  br label %323

323:                                              ; preds = %322
  %324 = load i32, ptr %5, align 4, !tbaa !9
  %325 = add i32 %324, 1
  store i32 %325, ptr %5, align 4, !tbaa !9
  br label %9, !llvm.loop !11

326:                                              ; preds = %9
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 256, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 256, ptr %3) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %1) #6
  ret void
}

declare <2 x float> @liquid_cacosf(<2 x float> noundef) #4

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

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

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


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@.str = external hidden unnamed_addr constant [93 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [35 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 [35 x i8], align 1
@__const.autotest_cacosf.z = external hidden unnamed_addr constant [32 x { float, float }], align 16
@__const.autotest_cacosf.test = external hidden unnamed_addr constant [32 x { float, float }], align 16

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

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

; Function Attrs: nounwind uwtable
define dso_local void @autotest_cacosf() local_unnamed_addr #2 {
  br label %1

1:                                                ; preds = %0, %26
  %indvars.iv = phi i64 [ 0, %0 ], [ %indvars.iv.next, %26 ]
  %2 = getelementptr inbounds [32 x { float, float }], ptr @__const.autotest_cacosf.z, i64 0, i64 %indvars.iv
  %3 = load <2 x float>, ptr %2, align 8
  %4 = tail call <2 x float> @liquid_cacosf(<2 x float> noundef %3) #4
  %.sroa.0.0.vec.extract = extractelement <2 x float> %4, i64 0
  %.sroa.0.4.vec.extract = extractelement <2 x float> %4, i64 1
  %5 = getelementptr inbounds [32 x { float, float }], ptr @__const.autotest_cacosf.test, i64 0, i64 %indvars.iv
  %6 = load float, ptr %5, align 8
  %7 = getelementptr inbounds i8, ptr %5, i64 4
  %8 = fsub float %.sroa.0.0.vec.extract, %6
  %9 = fpext float %8 to double
  %10 = tail call double @llvm.fmuladd.f64(double %9, double %9, double 0.000000e+00)
  %sqrt = tail call double @llvm.sqrt.f64(double %10)
  %11 = fcmp ogt double %sqrt, 0x3F50624DE0000000
  %12 = fcmp uno float %.sroa.0.0.vec.extract, 0.000000e+00
  %or.cond = select i1 %11, i1 true, i1 %12
  %13 = fcmp uno float %6, 0.000000e+00
  %or.cond69 = select i1 %or.cond, i1 true, i1 %13
  br i1 %or.cond69, label %14, label %15

14:                                               ; preds = %1
  tail call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 280, ptr noundef nonnull @.str.1, double noundef %sqrt, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F50624DE0000000) #4
  br label %16

15:                                               ; preds = %1
  tail call void (...) @liquid_autotest_passed() #4
  br label %16

16:                                               ; preds = %15, %14
  %17 = load float, ptr %7, align 4
  %18 = fsub float %.sroa.0.4.vec.extract, %17
  %19 = fpext float %18 to double
  %20 = tail call double @llvm.fmuladd.f64(double %19, double %19, double 0.000000e+00)
  %sqrt72 = tail call double @llvm.sqrt.f64(double %20)
  %21 = fcmp ogt double %sqrt72, 0x3F50624DE0000000
  %22 = fcmp uno float %.sroa.0.4.vec.extract, 0.000000e+00
  %or.cond68 = select i1 %21, i1 true, i1 %22
  %23 = fcmp uno float %17, 0.000000e+00
  %or.cond70 = select i1 %or.cond68, i1 true, i1 %23
  br i1 %or.cond70, label %24, label %25

24:                                               ; preds = %16
  tail call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 281, ptr noundef nonnull @.str.4, double noundef %sqrt72, ptr noundef nonnull @.str.2, ptr noundef nonnull @.str.3, double noundef 0x3F50624DE0000000) #4
  br label %26

25:                                               ; preds = %16
  tail call void (...) @liquid_autotest_passed() #4
  br label %26

26:                                               ; preds = %25, %24
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, 32
  br i1 %exitcond.not, label %27, label %1, !llvm.loop !5

27:                                               ; preds = %26
  ret void
}

declare <2 x float> @liquid_cacosf(<2 x float> noundef) local_unnamed_addr #1

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
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 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 #3 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #4 = { 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"}


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