; LLVM IR from jgaeddert/liquid-dsp :: sandbox (math_catanf_test)

; 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"

; Function Attrs: nounwind uwtable
define dso_local <2 x float> @sandbox_catanf(<2 x float> noundef %0) #0 {
  %2 = alloca { float, float }, align 4
  %3 = alloca { float, float }, align 4
  %4 = alloca { float, float }, align 4
  %5 = alloca { float, float }, align 4
  %6 = alloca { float, float }, align 4
  %7 = alloca { float, float }, align 4
  %8 = alloca { float, float }, align 4
  %9 = alloca { float, float }, align 4
  store <2 x float> %0, ptr %3, align 4
  %10 = getelementptr inbounds { float, float }, ptr %3, i32 0, i32 0
  %11 = load float, ptr %10, align 4
  %12 = getelementptr inbounds { float, float }, ptr %3, i32 0, i32 1
  %13 = load float, ptr %12, align 4
  %14 = fmul float 0.000000e+00, %11
  %15 = fmul float 1.000000e+00, %13
  %16 = fmul float 0.000000e+00, %13
  %17 = fmul float 1.000000e+00, %11
  %18 = fsub float %14, %15
  %19 = fadd float %16, %17
  %20 = fcmp uno float %18, %18
  br i1 %20, label %21, label %29, !prof !5

21:                                               ; preds = %1
  %22 = fcmp uno float %19, %19
  br i1 %22, label %23, label %29, !prof !5

23:                                               ; preds = %21
  %24 = call <2 x float> @__mulsc3(float noundef 0.000000e+00, float noundef 1.000000e+00, float noundef %11, float noundef %13) #2
  store <2 x float> %24, ptr %4, align 4
  %25 = getelementptr inbounds { float, float }, ptr %4, i32 0, i32 0
  %26 = load float, ptr %25, align 4
  %27 = getelementptr inbounds { float, float }, ptr %4, i32 0, i32 1
  %28 = load float, ptr %27, align 4
  br label %29

29:                                               ; preds = %23, %21, %1
  %30 = phi float [ %18, %1 ], [ %18, %21 ], [ %26, %23 ]
  %31 = phi float [ %19, %1 ], [ %19, %21 ], [ %28, %23 ]
  %32 = fsub float 1.000000e+00, %30
  %33 = fneg float %31
  %34 = getelementptr inbounds { float, float }, ptr %3, i32 0, i32 0
  %35 = load float, ptr %34, align 4
  %36 = getelementptr inbounds { float, float }, ptr %3, i32 0, i32 1
  %37 = load float, ptr %36, align 4
  %38 = fmul float 0.000000e+00, %35
  %39 = fmul float 1.000000e+00, %37
  %40 = fmul float 0.000000e+00, %37
  %41 = fmul float 1.000000e+00, %35
  %42 = fsub float %38, %39
  %43 = fadd float %40, %41
  %44 = fcmp uno float %42, %42
  br i1 %44, label %45, label %53, !prof !5

45:                                               ; preds = %29
  %46 = fcmp uno float %43, %43
  br i1 %46, label %47, label %53, !prof !5

47:                                               ; preds = %45
  %48 = call <2 x float> @__mulsc3(float noundef 0.000000e+00, float noundef 1.000000e+00, float noundef %35, float noundef %37) #2
  store <2 x float> %48, ptr %5, align 4
  %49 = getelementptr inbounds { float, float }, ptr %5, i32 0, i32 0
  %50 = load float, ptr %49, align 4
  %51 = getelementptr inbounds { float, float }, ptr %5, i32 0, i32 1
  %52 = load float, ptr %51, align 4
  br label %53

53:                                               ; preds = %47, %45, %29
  %54 = phi float [ %42, %29 ], [ %42, %45 ], [ %50, %47 ]
  %55 = phi float [ %43, %29 ], [ %43, %45 ], [ %52, %47 ]
  %56 = fadd float 1.000000e+00, %54
  %57 = call <2 x float> @__divsc3(float noundef %32, float noundef %33, float noundef %56, float noundef %55) #2
  store <2 x float> %57, ptr %6, align 4
  %58 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 0
  %59 = load float, ptr %58, align 4
  %60 = getelementptr inbounds { float, float }, ptr %6, i32 0, i32 1
  %61 = load float, ptr %60, align 4
  %62 = getelementptr inbounds { float, float }, ptr %7, i32 0, i32 0
  %63 = getelementptr inbounds { float, float }, ptr %7, i32 0, i32 1
  store float %59, ptr %62, align 4
  store float %61, ptr %63, align 4
  %64 = load <2 x float>, ptr %7, align 4
  %65 = call <2 x float> @clogf(<2 x float> noundef %64) #2
  store <2 x float> %65, ptr %8, align 4
  %66 = getelementptr inbounds { float, float }, ptr %8, i32 0, i32 0
  %67 = load float, ptr %66, align 4
  %68 = getelementptr inbounds { float, float }, ptr %8, i32 0, i32 1
  %69 = load float, ptr %68, align 4
  %70 = fmul float 0.000000e+00, %67
  %71 = fmul float 5.000000e-01, %69
  %72 = fmul float 0.000000e+00, %69
  %73 = fmul float 5.000000e-01, %67
  %74 = fsub float %70, %71
  %75 = fadd float %72, %73
  %76 = fcmp uno float %74, %74
  br i1 %76, label %77, label %85, !prof !5

77:                                               ; preds = %53
  %78 = fcmp uno float %75, %75
  br i1 %78, label %79, label %85, !prof !5

79:                                               ; preds = %77
  %80 = call <2 x float> @__mulsc3(float noundef 0.000000e+00, float noundef 5.000000e-01, float noundef %67, float noundef %69) #2
  store <2 x float> %80, ptr %9, align 4
  %81 = getelementptr inbounds { float, float }, ptr %9, i32 0, i32 0
  %82 = load float, ptr %81, align 4
  %83 = getelementptr inbounds { float, float }, ptr %9, i32 0, i32 1
  %84 = load float, ptr %83, align 4
  br label %85

85:                                               ; preds = %79, %77, %53
  %86 = phi float [ %74, %53 ], [ %74, %77 ], [ %82, %79 ]
  %87 = phi float [ %75, %53 ], [ %75, %77 ], [ %84, %79 ]
  %88 = getelementptr inbounds { float, float }, ptr %2, i32 0, i32 0
  %89 = getelementptr inbounds { float, float }, ptr %2, i32 0, i32 1
  store float %86, ptr %88, align 4
  store float %87, ptr %89, align 4
  %90 = load <2 x float>, ptr %2, align 4
  ret <2 x float> %90
}

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="64" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { 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 #2 = { 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 = !{!"branch_weights", i32 1, i32 1048575}


; 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"

; Function Attrs: nounwind uwtable
define dso_local <2 x float> @sandbox_catanf(<2 x float> noundef %0) local_unnamed_addr #0 {
  %.sroa.07.0.vec.extract = extractelement <2 x float> %0, i64 0
  %.sroa.07.4.vec.extract = extractelement <2 x float> %0, i64 1
  %2 = fmul float %.sroa.07.0.vec.extract, 0.000000e+00
  %3 = fmul float %.sroa.07.4.vec.extract, 0.000000e+00
  %4 = fsub float %2, %.sroa.07.4.vec.extract
  %5 = fadd float %.sroa.07.0.vec.extract, %3
  %6 = fcmp uno float %4, 0.000000e+00
  br i1 %6, label %7, label %9, !prof !5

7:                                                ; preds = %1
  %8 = fcmp uno float %5, 0.000000e+00
  br i1 %8, label %13, label %11, !prof !5

9:                                                ; preds = %1
  %10 = fneg float %5
  br label %17

11:                                               ; preds = %7
  %12 = fneg float %5
  br label %17

13:                                               ; preds = %7
  %14 = tail call <2 x float> @__mulsc3(float noundef 0.000000e+00, float noundef 1.000000e+00, float noundef %.sroa.07.0.vec.extract, float noundef %.sroa.07.4.vec.extract) #2
  %.sroa.06.0.vec.extract = extractelement <2 x float> %14, i64 0
  %.sroa.06.4.vec.extract = extractelement <2 x float> %14, i64 1
  %15 = fneg float %.sroa.06.4.vec.extract
  %16 = tail call <2 x float> @__mulsc3(float noundef 0.000000e+00, float noundef 1.000000e+00, float noundef %.sroa.07.0.vec.extract, float noundef %.sroa.07.4.vec.extract) #2
  %.sroa.05.0.vec.extract = extractelement <2 x float> %16, i64 0
  %.sroa.05.4.vec.extract = extractelement <2 x float> %16, i64 1
  br label %17

17:                                               ; preds = %11, %9, %13
  %18 = phi float [ %10, %9 ], [ %12, %11 ], [ %15, %13 ]
  %.pn = phi float [ %4, %9 ], [ %4, %11 ], [ %.sroa.06.0.vec.extract, %13 ]
  %19 = phi float [ %4, %9 ], [ %4, %11 ], [ %.sroa.05.0.vec.extract, %13 ]
  %20 = phi float [ %5, %9 ], [ %5, %11 ], [ %.sroa.05.4.vec.extract, %13 ]
  %21 = fsub float 1.000000e+00, %.pn
  %22 = fadd float %19, 1.000000e+00
  %23 = tail call <2 x float> @__divsc3(float noundef %21, float noundef %18, float noundef %22, float noundef %20) #2
  %24 = tail call <2 x float> @clogf(<2 x float> noundef %23) #2
  %25 = fmul <2 x float> %24, zeroinitializer
  %26 = fmul <2 x float> %24, <float 5.000000e-01, float 5.000000e-01>
  %27 = shufflevector <2 x float> %26, <2 x float> poison, <2 x i32> <i32 1, i32 0>
  %28 = fadd <2 x float> %25, %27
  %29 = fsub <2 x float> %25, %27
  %30 = shufflevector <2 x float> %29, <2 x float> %28, <2 x i32> <i32 0, i32 3>
  %31 = extractelement <2 x float> %29, i64 0
  %32 = fcmp uno float %31, 0.000000e+00
  br i1 %32, label %33, label %40, !prof !5

33:                                               ; preds = %17
  %34 = extractelement <2 x float> %28, i64 1
  %35 = fcmp uno float %34, 0.000000e+00
  br i1 %35, label %36, label %40, !prof !5

36:                                               ; preds = %33
  %37 = extractelement <2 x float> %24, i64 0
  %38 = extractelement <2 x float> %24, i64 1
  %39 = tail call <2 x float> @__mulsc3(float noundef 0.000000e+00, float noundef 5.000000e-01, float noundef %37, float noundef %38) #2
  br label %40

40:                                               ; preds = %36, %33, %17
  %41 = phi <2 x float> [ %30, %17 ], [ %30, %33 ], [ %39, %36 ]
  ret <2 x float> %41
}

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

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

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

attributes #0 = { nounwind uwtable "min-legal-vector-width"="64" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { 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 #2 = { 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 = !{!"branch_weights", i32 1, i32 1048575}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,InstCombinePass,JumpThreadingPass,ReassociatePass,SLPVectorizerPass,SROAPass,TailCallElimPass