; LLVM IR from jgaeddert/liquid-dsp :: src/filter/tests (firinterp_autotest)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@.str = external hidden unnamed_addr constant [92 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [4 x i8], align 1
@liquid_autotest_verbose = external global i32, align 4
@__const.autotest_firinterp_crcf_generic.h = external hidden unnamed_addr constant [9 x float], align 16
@__const.autotest_firinterp_crcf_generic.x = external hidden unnamed_addr constant [4 x { float, float }], align 16
@__const.autotest_firinterp_crcf_generic.test = external hidden unnamed_addr constant [16 x { float, float }], align 16
@.str.10 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [27 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 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

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

declare i32 @firinterp_crcf_destroy(ptr noundef) #1

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

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

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

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

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

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

13:                                               ; preds = %34, %0
  %14 = load i32, ptr %8, align 4, !tbaa !5
  %15 = icmp ult i32 %14, 4
  br i1 %15, label %16, label %37

16:                                               ; preds = %13
  %17 = load ptr, ptr %3, align 8, !tbaa !9
  %18 = load i32, ptr %8, align 4, !tbaa !5
  %19 = zext i32 %18 to i64
  %20 = getelementptr inbounds [4 x { float, float }], ptr %4, i64 0, i64 %19
  %21 = getelementptr inbounds { float, float }, ptr %20, i32 0, i32 0
  %22 = load float, ptr %21, align 8
  %23 = getelementptr inbounds { float, float }, ptr %20, i32 0, i32 1
  %24 = load float, ptr %23, align 4
  %25 = load i32, ptr %8, align 4, !tbaa !5
  %26 = load i32, ptr %2, align 4, !tbaa !5
  %27 = mul i32 %25, %26
  %28 = zext i32 %27 to i64
  %29 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %28
  %30 = getelementptr inbounds { float, float }, ptr %9, i32 0, i32 0
  %31 = getelementptr inbounds { float, float }, ptr %9, i32 0, i32 1
  store float %22, ptr %30, align 4
  store float %24, ptr %31, align 4
  %32 = load <2 x float>, ptr %9, align 4
  %33 = call i32 @firinterp_crcf_execute(ptr noundef %17, <2 x float> noundef %32, ptr noundef %29)
  br label %34

34:                                               ; preds = %16
  %35 = load i32, ptr %8, align 4, !tbaa !5
  %36 = add i32 %35, 1
  store i32 %36, ptr %8, align 4, !tbaa !5
  br label %13, !llvm.loop !13

37:                                               ; preds = %13
  store i32 0, ptr %8, align 4, !tbaa !5
  br label %38

38:                                               ; preds = %417, %37
  %39 = load i32, ptr %8, align 4, !tbaa !5
  %40 = icmp ult i32 %39, 16
  br i1 %40, label %41, label %420

41:                                               ; preds = %38
  %42 = load i32, ptr %8, align 4, !tbaa !5
  %43 = zext i32 %42 to i64
  %44 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %43
  %45 = getelementptr inbounds { float, float }, ptr %44, i32 0, i32 0
  %46 = load float, ptr %45, align 8
  %47 = getelementptr inbounds { float, float }, ptr %44, i32 0, i32 1
  %48 = load float, ptr %47, align 4
  %49 = load i32, ptr %8, align 4, !tbaa !5
  %50 = zext i32 %49 to i64
  %51 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %50
  %52 = getelementptr inbounds { float, float }, ptr %51, i32 0, i32 0
  %53 = load float, ptr %52, align 8
  %54 = getelementptr inbounds { float, float }, ptr %51, i32 0, i32 1
  %55 = load float, ptr %54, align 4
  %56 = fsub float %46, %53
  %57 = fpext float %56 to double
  %58 = load i32, ptr %8, align 4, !tbaa !5
  %59 = zext i32 %58 to i64
  %60 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %59
  %61 = getelementptr inbounds { float, float }, ptr %60, i32 0, i32 0
  %62 = load float, ptr %61, align 8
  %63 = getelementptr inbounds { float, float }, ptr %60, i32 0, i32 1
  %64 = load float, ptr %63, align 4
  %65 = load i32, ptr %8, align 4, !tbaa !5
  %66 = zext i32 %65 to i64
  %67 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %66
  %68 = getelementptr inbounds { float, float }, ptr %67, i32 0, i32 0
  %69 = load float, ptr %68, align 8
  %70 = getelementptr inbounds { float, float }, ptr %67, i32 0, i32 1
  %71 = load float, ptr %70, align 4
  %72 = fsub float %62, %69
  %73 = fpext float %72 to double
  %74 = load i32, ptr %8, align 4, !tbaa !5
  %75 = zext i32 %74 to i64
  %76 = getelementptr inbounds [16 x { float, float }], ptr %5, 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 = load i32, ptr %8, align 4, !tbaa !5
  %82 = zext i32 %81 to i64
  %83 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %82
  %84 = getelementptr inbounds { float, float }, ptr %83, i32 0, i32 0
  %85 = load float, ptr %84, align 8
  %86 = getelementptr inbounds { float, float }, ptr %83, i32 0, i32 1
  %87 = load float, ptr %86, align 4
  %88 = fsub float %78, %85
  %89 = fpext float %88 to double
  %90 = load i32, ptr %8, align 4, !tbaa !5
  %91 = zext i32 %90 to i64
  %92 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %91
  %93 = getelementptr inbounds { float, float }, ptr %92, i32 0, i32 0
  %94 = load float, ptr %93, align 8
  %95 = getelementptr inbounds { float, float }, ptr %92, i32 0, i32 1
  %96 = load float, ptr %95, align 4
  %97 = load i32, ptr %8, align 4, !tbaa !5
  %98 = zext i32 %97 to i64
  %99 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %98
  %100 = getelementptr inbounds { float, float }, ptr %99, i32 0, i32 0
  %101 = load float, ptr %100, align 8
  %102 = getelementptr inbounds { float, float }, ptr %99, i32 0, i32 1
  %103 = load float, ptr %102, align 4
  %104 = fsub float %94, %101
  %105 = fpext float %104 to double
  %106 = call double @llvm.fmuladd.f64(double %57, double %73, double 0.000000e+00)
  %107 = call double @sqrt(double noundef %106) #6
  %108 = load float, ptr %7, align 4, !tbaa !11
  %109 = fpext float %108 to double
  %110 = fcmp ogt double %107, %109
  br i1 %110, label %147, label %111

111:                                              ; preds = %41
  %112 = load i32, ptr %8, align 4, !tbaa !5
  %113 = zext i32 %112 to i64
  %114 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %113
  %115 = getelementptr inbounds { float, float }, ptr %114, i32 0, i32 0
  %116 = load float, ptr %115, align 8
  %117 = getelementptr inbounds { float, float }, ptr %114, i32 0, i32 1
  %118 = load float, ptr %117, align 4
  %119 = call i1 @llvm.is.fpclass.f32(float %116, i32 3)
  br i1 %119, label %147, label %120

120:                                              ; preds = %111
  %121 = load i32, ptr %8, align 4, !tbaa !5
  %122 = zext i32 %121 to i64
  %123 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %122
  %124 = getelementptr inbounds { float, float }, ptr %123, i32 0, i32 0
  %125 = load float, ptr %124, align 8
  %126 = getelementptr inbounds { float, float }, ptr %123, i32 0, i32 1
  %127 = load float, ptr %126, align 4
  %128 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %128, label %147, label %129

129:                                              ; preds = %120
  %130 = load i32, ptr %8, align 4, !tbaa !5
  %131 = zext i32 %130 to i64
  %132 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %131
  %133 = getelementptr inbounds { float, float }, ptr %132, i32 0, i32 0
  %134 = load float, ptr %133, align 8
  %135 = getelementptr inbounds { float, float }, ptr %132, i32 0, i32 1
  %136 = load float, ptr %135, align 4
  %137 = call i1 @llvm.is.fpclass.f32(float %134, i32 3)
  br i1 %137, label %147, label %138

138:                                              ; preds = %129
  %139 = load i32, ptr %8, align 4, !tbaa !5
  %140 = zext i32 %139 to i64
  %141 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %140
  %142 = getelementptr inbounds { float, float }, ptr %141, i32 0, i32 0
  %143 = load float, ptr %142, align 8
  %144 = getelementptr inbounds { float, float }, ptr %141, i32 0, i32 1
  %145 = load float, ptr %144, align 4
  %146 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %146, label %147, label %216

147:                                              ; preds = %138, %129, %120, %111, %41
  %148 = load i32, ptr %8, align 4, !tbaa !5
  %149 = zext i32 %148 to i64
  %150 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %149
  %151 = getelementptr inbounds { float, float }, ptr %150, i32 0, i32 0
  %152 = load float, ptr %151, align 8
  %153 = getelementptr inbounds { float, float }, ptr %150, i32 0, i32 1
  %154 = load float, ptr %153, align 4
  %155 = load i32, ptr %8, align 4, !tbaa !5
  %156 = zext i32 %155 to i64
  %157 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %156
  %158 = getelementptr inbounds { float, float }, ptr %157, i32 0, i32 0
  %159 = load float, ptr %158, align 8
  %160 = getelementptr inbounds { float, float }, ptr %157, i32 0, i32 1
  %161 = load float, ptr %160, align 4
  %162 = fsub float %152, %159
  %163 = fpext float %162 to double
  %164 = load i32, ptr %8, align 4, !tbaa !5
  %165 = zext i32 %164 to i64
  %166 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %165
  %167 = getelementptr inbounds { float, float }, ptr %166, i32 0, i32 0
  %168 = load float, ptr %167, align 8
  %169 = getelementptr inbounds { float, float }, ptr %166, i32 0, i32 1
  %170 = load float, ptr %169, align 4
  %171 = load i32, ptr %8, align 4, !tbaa !5
  %172 = zext i32 %171 to i64
  %173 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %172
  %174 = getelementptr inbounds { float, float }, ptr %173, i32 0, i32 0
  %175 = load float, ptr %174, align 8
  %176 = getelementptr inbounds { float, float }, ptr %173, i32 0, i32 1
  %177 = load float, ptr %176, align 4
  %178 = fsub float %168, %175
  %179 = fpext float %178 to double
  %180 = load i32, ptr %8, align 4, !tbaa !5
  %181 = zext i32 %180 to i64
  %182 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %181
  %183 = getelementptr inbounds { float, float }, ptr %182, i32 0, i32 0
  %184 = load float, ptr %183, align 8
  %185 = getelementptr inbounds { float, float }, ptr %182, i32 0, i32 1
  %186 = load float, ptr %185, align 4
  %187 = load i32, ptr %8, align 4, !tbaa !5
  %188 = zext i32 %187 to i64
  %189 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %188
  %190 = getelementptr inbounds { float, float }, ptr %189, i32 0, i32 0
  %191 = load float, ptr %190, align 8
  %192 = getelementptr inbounds { float, float }, ptr %189, i32 0, i32 1
  %193 = load float, ptr %192, align 4
  %194 = fsub float %184, %191
  %195 = fpext float %194 to double
  %196 = load i32, ptr %8, align 4, !tbaa !5
  %197 = zext i32 %196 to i64
  %198 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %197
  %199 = getelementptr inbounds { float, float }, ptr %198, i32 0, i32 0
  %200 = load float, ptr %199, align 8
  %201 = getelementptr inbounds { float, float }, ptr %198, i32 0, i32 1
  %202 = load float, ptr %201, align 4
  %203 = load i32, ptr %8, align 4, !tbaa !5
  %204 = zext i32 %203 to i64
  %205 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %204
  %206 = getelementptr inbounds { float, float }, ptr %205, i32 0, i32 0
  %207 = load float, ptr %206, align 8
  %208 = getelementptr inbounds { float, float }, ptr %205, i32 0, i32 1
  %209 = load float, ptr %208, align 4
  %210 = fsub float %200, %207
  %211 = fpext float %210 to double
  %212 = call double @llvm.fmuladd.f64(double %163, double %179, double 0.000000e+00)
  %213 = call double @sqrt(double noundef %212) #6
  %214 = load float, ptr %7, align 4, !tbaa !11
  %215 = fpext float %214 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 153, ptr noundef @.str.10, double noundef %213, ptr noundef @.str.7, ptr noundef @.str.8, double noundef %215)
  br label %217

216:                                              ; preds = %138
  call void (...) @liquid_autotest_passed()
  br label %217

217:                                              ; preds = %216, %147
  %218 = load i32, ptr %8, align 4, !tbaa !5
  %219 = zext i32 %218 to i64
  %220 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %219
  %221 = getelementptr inbounds { float, float }, ptr %220, i32 0, i32 0
  %222 = load float, ptr %221, align 8
  %223 = getelementptr inbounds { float, float }, ptr %220, i32 0, i32 1
  %224 = load float, ptr %223, align 4
  %225 = load i32, ptr %8, align 4, !tbaa !5
  %226 = zext i32 %225 to i64
  %227 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %226
  %228 = getelementptr inbounds { float, float }, ptr %227, i32 0, i32 0
  %229 = load float, ptr %228, align 8
  %230 = getelementptr inbounds { float, float }, ptr %227, i32 0, i32 1
  %231 = load float, ptr %230, align 4
  %232 = fsub float %224, %231
  %233 = fpext float %232 to double
  %234 = load i32, ptr %8, align 4, !tbaa !5
  %235 = zext i32 %234 to i64
  %236 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %235
  %237 = getelementptr inbounds { float, float }, ptr %236, i32 0, i32 0
  %238 = load float, ptr %237, align 8
  %239 = getelementptr inbounds { float, float }, ptr %236, i32 0, i32 1
  %240 = load float, ptr %239, align 4
  %241 = load i32, ptr %8, align 4, !tbaa !5
  %242 = zext i32 %241 to i64
  %243 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %242
  %244 = getelementptr inbounds { float, float }, ptr %243, i32 0, i32 0
  %245 = load float, ptr %244, align 8
  %246 = getelementptr inbounds { float, float }, ptr %243, i32 0, i32 1
  %247 = load float, ptr %246, align 4
  %248 = fsub float %240, %247
  %249 = fpext float %248 to double
  %250 = load i32, ptr %8, align 4, !tbaa !5
  %251 = zext i32 %250 to i64
  %252 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %251
  %253 = getelementptr inbounds { float, float }, ptr %252, i32 0, i32 0
  %254 = load float, ptr %253, align 8
  %255 = getelementptr inbounds { float, float }, ptr %252, i32 0, i32 1
  %256 = load float, ptr %255, align 4
  %257 = load i32, ptr %8, align 4, !tbaa !5
  %258 = zext i32 %257 to i64
  %259 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %258
  %260 = getelementptr inbounds { float, float }, ptr %259, i32 0, i32 0
  %261 = load float, ptr %260, align 8
  %262 = getelementptr inbounds { float, float }, ptr %259, i32 0, i32 1
  %263 = load float, ptr %262, align 4
  %264 = fsub float %256, %263
  %265 = fpext float %264 to double
  %266 = load i32, ptr %8, align 4, !tbaa !5
  %267 = zext i32 %266 to i64
  %268 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %267
  %269 = getelementptr inbounds { float, float }, ptr %268, i32 0, i32 0
  %270 = load float, ptr %269, align 8
  %271 = getelementptr inbounds { float, float }, ptr %268, i32 0, i32 1
  %272 = load float, ptr %271, align 4
  %273 = load i32, ptr %8, align 4, !tbaa !5
  %274 = zext i32 %273 to i64
  %275 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %274
  %276 = getelementptr inbounds { float, float }, ptr %275, i32 0, i32 0
  %277 = load float, ptr %276, align 8
  %278 = getelementptr inbounds { float, float }, ptr %275, i32 0, i32 1
  %279 = load float, ptr %278, align 4
  %280 = fsub float %272, %279
  %281 = fpext float %280 to double
  %282 = call double @llvm.fmuladd.f64(double %233, double %249, double 0.000000e+00)
  %283 = call double @sqrt(double noundef %282) #6
  %284 = load float, ptr %7, align 4, !tbaa !11
  %285 = fpext float %284 to double
  %286 = fcmp ogt double %283, %285
  br i1 %286, label %323, label %287

287:                                              ; preds = %217
  %288 = load i32, ptr %8, align 4, !tbaa !5
  %289 = zext i32 %288 to i64
  %290 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %289
  %291 = getelementptr inbounds { float, float }, ptr %290, i32 0, i32 0
  %292 = load float, ptr %291, align 8
  %293 = getelementptr inbounds { float, float }, ptr %290, i32 0, i32 1
  %294 = load float, ptr %293, align 4
  %295 = call i1 @llvm.is.fpclass.f32(float %294, i32 3)
  br i1 %295, label %323, label %296

296:                                              ; preds = %287
  %297 = load i32, ptr %8, align 4, !tbaa !5
  %298 = zext i32 %297 to i64
  %299 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %298
  %300 = getelementptr inbounds { float, float }, ptr %299, i32 0, i32 0
  %301 = load float, ptr %300, align 8
  %302 = getelementptr inbounds { float, float }, ptr %299, i32 0, i32 1
  %303 = load float, ptr %302, align 4
  %304 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %304, label %323, label %305

305:                                              ; preds = %296
  %306 = load i32, ptr %8, align 4, !tbaa !5
  %307 = zext i32 %306 to i64
  %308 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %307
  %309 = getelementptr inbounds { float, float }, ptr %308, i32 0, i32 0
  %310 = load float, ptr %309, align 8
  %311 = getelementptr inbounds { float, float }, ptr %308, i32 0, i32 1
  %312 = load float, ptr %311, align 4
  %313 = call i1 @llvm.is.fpclass.f32(float %312, i32 3)
  br i1 %313, label %323, label %314

314:                                              ; preds = %305
  %315 = load i32, ptr %8, align 4, !tbaa !5
  %316 = zext i32 %315 to i64
  %317 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %316
  %318 = getelementptr inbounds { float, float }, ptr %317, i32 0, i32 0
  %319 = load float, ptr %318, align 8
  %320 = getelementptr inbounds { float, float }, ptr %317, i32 0, i32 1
  %321 = load float, ptr %320, align 4
  %322 = call i1 @llvm.is.fpclass.f32(float 0.000000e+00, i32 3)
  br i1 %322, label %323, label %392

323:                                              ; preds = %314, %305, %296, %287, %217
  %324 = load i32, ptr %8, align 4, !tbaa !5
  %325 = zext i32 %324 to i64
  %326 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %325
  %327 = getelementptr inbounds { float, float }, ptr %326, i32 0, i32 0
  %328 = load float, ptr %327, align 8
  %329 = getelementptr inbounds { float, float }, ptr %326, i32 0, i32 1
  %330 = load float, ptr %329, align 4
  %331 = load i32, ptr %8, align 4, !tbaa !5
  %332 = zext i32 %331 to i64
  %333 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %332
  %334 = getelementptr inbounds { float, float }, ptr %333, i32 0, i32 0
  %335 = load float, ptr %334, align 8
  %336 = getelementptr inbounds { float, float }, ptr %333, i32 0, i32 1
  %337 = load float, ptr %336, align 4
  %338 = fsub float %330, %337
  %339 = fpext float %338 to double
  %340 = load i32, ptr %8, align 4, !tbaa !5
  %341 = zext i32 %340 to i64
  %342 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %341
  %343 = getelementptr inbounds { float, float }, ptr %342, i32 0, i32 0
  %344 = load float, ptr %343, align 8
  %345 = getelementptr inbounds { float, float }, ptr %342, i32 0, i32 1
  %346 = load float, ptr %345, align 4
  %347 = load i32, ptr %8, align 4, !tbaa !5
  %348 = zext i32 %347 to i64
  %349 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %348
  %350 = getelementptr inbounds { float, float }, ptr %349, i32 0, i32 0
  %351 = load float, ptr %350, align 8
  %352 = getelementptr inbounds { float, float }, ptr %349, i32 0, i32 1
  %353 = load float, ptr %352, align 4
  %354 = fsub float %346, %353
  %355 = fpext float %354 to double
  %356 = load i32, ptr %8, align 4, !tbaa !5
  %357 = zext i32 %356 to i64
  %358 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %357
  %359 = getelementptr inbounds { float, float }, ptr %358, i32 0, i32 0
  %360 = load float, ptr %359, align 8
  %361 = getelementptr inbounds { float, float }, ptr %358, i32 0, i32 1
  %362 = load float, ptr %361, align 4
  %363 = load i32, ptr %8, align 4, !tbaa !5
  %364 = zext i32 %363 to i64
  %365 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %364
  %366 = getelementptr inbounds { float, float }, ptr %365, i32 0, i32 0
  %367 = load float, ptr %366, align 8
  %368 = getelementptr inbounds { float, float }, ptr %365, i32 0, i32 1
  %369 = load float, ptr %368, align 4
  %370 = fsub float %362, %369
  %371 = fpext float %370 to double
  %372 = load i32, ptr %8, align 4, !tbaa !5
  %373 = zext i32 %372 to i64
  %374 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %373
  %375 = getelementptr inbounds { float, float }, ptr %374, i32 0, i32 0
  %376 = load float, ptr %375, align 8
  %377 = getelementptr inbounds { float, float }, ptr %374, i32 0, i32 1
  %378 = load float, ptr %377, align 4
  %379 = load i32, ptr %8, align 4, !tbaa !5
  %380 = zext i32 %379 to i64
  %381 = getelementptr inbounds [16 x { float, float }], ptr %6, i64 0, i64 %380
  %382 = getelementptr inbounds { float, float }, ptr %381, i32 0, i32 0
  %383 = load float, ptr %382, align 8
  %384 = getelementptr inbounds { float, float }, ptr %381, i32 0, i32 1
  %385 = load float, ptr %384, align 4
  %386 = fsub float %378, %385
  %387 = fpext float %386 to double
  %388 = call double @llvm.fmuladd.f64(double %339, double %355, double 0.000000e+00)
  %389 = call double @sqrt(double noundef %388) #6
  %390 = load float, ptr %7, align 4, !tbaa !11
  %391 = fpext float %390 to double
  call void @liquid_autotest_failed_expr(ptr noundef @.str, i32 noundef 154, ptr noundef @.str.11, double noundef %389, ptr noundef @.str.7, ptr noundef @.str.8, double noundef %391)
  br label %393

392:                                              ; preds = %314
  call void (...) @liquid_autotest_passed()
  br label %393

393:                                              ; preds = %392, %323
  %394 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !5
  %395 = icmp ne i32 %394, 0
  br i1 %395, label %396, label %416

396:                                              ; preds = %393
  %397 = load i32, ptr %8, align 4, !tbaa !5
  %398 = add i32 %397, 1
  %399 = load i32, ptr %8, align 4, !tbaa !5
  %400 = zext i32 %399 to i64
  %401 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %400
  %402 = getelementptr inbounds { float, float }, ptr %401, i32 0, i32 0
  %403 = load float, ptr %402, align 8
  %404 = getelementptr inbounds { float, float }, ptr %401, i32 0, i32 1
  %405 = load float, ptr %404, align 4
  %406 = fpext float %403 to double
  %407 = load i32, ptr %8, align 4, !tbaa !5
  %408 = zext i32 %407 to i64
  %409 = getelementptr inbounds [16 x { float, float }], ptr %5, i64 0, i64 %408
  %410 = getelementptr inbounds { float, float }, ptr %409, i32 0, i32 0
  %411 = load float, ptr %410, align 8
  %412 = getelementptr inbounds { float, float }, ptr %409, i32 0, i32 1
  %413 = load float, ptr %412, align 4
  %414 = fpext float %413 to double
  %415 = call i32 (ptr, ...) @printf(ptr noundef @.str.12, i32 noundef %398, double noundef %406, double noundef %414)
  br label %416

416:                                              ; preds = %396, %393
  br label %417

417:                                              ; preds = %416
  %418 = load i32, ptr %8, align 4, !tbaa !5
  %419 = add i32 %418, 1
  store i32 %419, ptr %8, align 4, !tbaa !5
  br label %38, !llvm.loop !15

420:                                              ; preds = %38
  %421 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !5
  %422 = icmp ne i32 %421, 0
  br i1 %422, label %423, label %426

423:                                              ; preds = %420
  %424 = load ptr, ptr %3, align 8, !tbaa !9
  %425 = call i32 @firinterp_crcf_print(ptr noundef %424)
  br label %426

426:                                              ; preds = %423, %420
  %427 = load ptr, ptr %3, align 8, !tbaa !9
  %428 = call i32 @firinterp_crcf_destroy(ptr noundef %427)
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr %6) #6
  call void @llvm.lifetime.end.p0(i64 128, ptr %5) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %4) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %2) #6
  call void @llvm.lifetime.end.p0(i64 36, ptr %1) #6
  ret void
}

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

declare i32 @firinterp_crcf_execute(ptr noundef, <2 x float> noundef, ptr noundef) #1

declare i32 @firinterp_crcf_print(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 = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C/C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"float", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}


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

@.str = external hidden unnamed_addr constant [92 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [4 x i8], align 1
@liquid_autotest_verbose = external local_unnamed_addr global i32, align 4
@__const.autotest_firinterp_crcf_generic.h = external hidden unnamed_addr constant [9 x float], align 16
@__const.autotest_firinterp_crcf_generic.x = external hidden unnamed_addr constant [4 x { float, float }], align 16
@__const.autotest_firinterp_crcf_generic.test = external hidden unnamed_addr constant [16 x { float, float }], align 16
@.str.10 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [27 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 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: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0

declare i32 @firinterp_crcf_destroy(ptr noundef) local_unnamed_addr #1

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

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

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

; Function Attrs: nounwind uwtable
define dso_local void @autotest_firinterp_crcf_generic() local_unnamed_addr #5 {
.preheader.preheader:
  %0 = alloca [9 x float], align 16
  %1 = alloca [16 x { float, float }], align 16
  call void @llvm.lifetime.start.p0(i64 36, ptr nonnull %0) #7
  call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 16 dereferenceable(36) %0, ptr noundef nonnull align 16 dereferenceable(36) @__const.autotest_firinterp_crcf_generic.h, i64 36, i1 false)
  %2 = call ptr @firinterp_crcf_create(i32 noundef 4, ptr noundef nonnull %0, i32 noundef 9) #7
  call void @llvm.lifetime.start.p0(i64 128, ptr nonnull %1) #7
  %3 = load <4 x float>, ptr @__const.autotest_firinterp_crcf_generic.x, align 16
  %.sroa.0.4.vec.insert = shufflevector <4 x float> %3, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %4 = call i32 @firinterp_crcf_execute(ptr noundef %2, <2 x float> noundef %.sroa.0.4.vec.insert, ptr noundef nonnull %1) #7
  %5 = load <4 x float>, ptr getelementptr inbounds (i8, ptr @__const.autotest_firinterp_crcf_generic.x, i64 8), align 8
  %6 = getelementptr inbounds i8, ptr %1, i64 32
  %.sroa.0.4.vec.insert.1 = shufflevector <4 x float> %5, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %7 = call i32 @firinterp_crcf_execute(ptr noundef %2, <2 x float> noundef %.sroa.0.4.vec.insert.1, ptr noundef nonnull %6) #7
  %8 = load <4 x float>, ptr getelementptr inbounds (i8, ptr @__const.autotest_firinterp_crcf_generic.x, i64 16), align 16
  %9 = getelementptr inbounds i8, ptr %1, i64 64
  %.sroa.0.4.vec.insert.2 = shufflevector <4 x float> %8, <4 x float> poison, <2 x i32> <i32 0, i32 1>
  %10 = call i32 @firinterp_crcf_execute(ptr noundef %2, <2 x float> noundef %.sroa.0.4.vec.insert.2, ptr noundef nonnull %9) #7
  %11 = getelementptr inbounds i8, ptr %1, i64 96
  %.sroa.0.4.vec.insert.3 = shufflevector <4 x float> %8, <4 x float> poison, <2 x i32> <i32 2, i32 3>
  %12 = call i32 @firinterp_crcf_execute(ptr noundef %2, <2 x float> noundef %.sroa.0.4.vec.insert.3, ptr noundef nonnull %11) #7
  br label %.preheader

.preheader:                                       ; preds = %.preheader.preheader, %._crit_edge
  %indvars.iv = phi i64 [ 0, %.preheader.preheader ], [ %.pre, %._crit_edge ]
  %13 = getelementptr inbounds [16 x { float, float }], ptr %1, i64 0, i64 %indvars.iv
  %14 = load float, ptr %13, align 8
  %15 = getelementptr inbounds i8, ptr %13, i64 4
  %16 = getelementptr inbounds [16 x { float, float }], ptr @__const.autotest_firinterp_crcf_generic.test, i64 0, i64 %indvars.iv
  %17 = load float, ptr %16, align 8
  %18 = getelementptr inbounds i8, ptr %16, i64 4
  %19 = fsub float %14, %17
  %20 = fpext float %19 to double
  %21 = call double @llvm.fmuladd.f64(double %20, double %20, double 0.000000e+00)
  %sqrt = call double @llvm.sqrt.f64(double %21)
  %22 = fcmp ogt double %sqrt, 0x3EB0C6F7A0000000
  br i1 %22, label %26, label %23

23:                                               ; preds = %.preheader
  %24 = fcmp uno float %14, 0.000000e+00
  %25 = fcmp uno float %17, 0.000000e+00
  %or.cond = select i1 %24, i1 true, i1 %25
  br i1 %or.cond, label %26, label %27

26:                                               ; preds = %23, %.preheader
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 153, ptr noundef nonnull @.str.10, double noundef %sqrt, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.8, double noundef 0x3EB0C6F7A0000000) #7
  br label %28

27:                                               ; preds = %23
  call void (...) @liquid_autotest_passed() #7
  br label %28

28:                                               ; preds = %27, %26
  %29 = load float, ptr %15, align 4
  %30 = load float, ptr %18, align 4
  %31 = fsub float %29, %30
  %32 = fpext float %31 to double
  %33 = call double @llvm.fmuladd.f64(double %32, double %32, double 0.000000e+00)
  %sqrt61 = call double @llvm.sqrt.f64(double %33)
  %34 = fcmp ogt double %sqrt61, 0x3EB0C6F7A0000000
  br i1 %34, label %38, label %35

35:                                               ; preds = %28
  %36 = fcmp uno float %29, 0.000000e+00
  %37 = fcmp uno float %30, 0.000000e+00
  %or.cond59 = select i1 %36, i1 true, i1 %37
  br i1 %or.cond59, label %38, label %39

38:                                               ; preds = %35, %28
  call void @liquid_autotest_failed_expr(ptr noundef nonnull @.str, i32 noundef 154, ptr noundef nonnull @.str.11, double noundef %sqrt61, ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.8, double noundef 0x3EB0C6F7A0000000) #7
  br label %40

39:                                               ; preds = %35
  call void (...) @liquid_autotest_passed() #7
  br label %40

40:                                               ; preds = %39, %38
  %41 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !5
  %.not58 = icmp eq i32 %41, 0
  %.pre = add nuw nsw i64 %indvars.iv, 1
  br i1 %.not58, label %._crit_edge, label %42

42:                                               ; preds = %40
  %43 = load float, ptr %13, align 8
  %44 = fpext float %43 to double
  %45 = load float, ptr %15, align 4
  %46 = fpext float %45 to double
  %47 = trunc nuw nsw i64 %.pre to i32
  %48 = call i32 (ptr, ...) @printf(ptr noundef nonnull dereferenceable(1) @.str.12, i32 noundef %47, double noundef %44, double noundef %46)
  br label %._crit_edge

._crit_edge:                                      ; preds = %40, %42
  %exitcond.not = icmp eq i64 %.pre, 16
  br i1 %exitcond.not, label %49, label %.preheader, !llvm.loop !9

49:                                               ; preds = %._crit_edge
  %50 = load i32, ptr @liquid_autotest_verbose, align 4, !tbaa !5
  %.not = icmp eq i32 %50, 0
  br i1 %.not, label %53, label %51

51:                                               ; preds = %49
  %52 = call i32 @firinterp_crcf_print(ptr noundef %2) #7
  br label %53

53:                                               ; preds = %51, %49
  %54 = call i32 @firinterp_crcf_destroy(ptr noundef %2) #7
  call void @llvm.lifetime.end.p0(i64 128, ptr nonnull %1) #7
  call void @llvm.lifetime.end.p0(i64 36, ptr nonnull %0) #7
  ret void
}

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

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

declare i32 @firinterp_crcf_print(ptr noundef) local_unnamed_addr #1

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

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

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

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


; Effective O3 passes: AggressiveInstCombinePass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferAlignmentPass,InferFunctionAttrsPass,InstCombinePass,LoopRotatePass,LoopSimplifyPass,SCCPPass,SROAPass,SimplifyCFGPass,VectorCombinePass