; LLVM IR from sympiler/nasoq :: src/matrixMatrix/spmm.ll (ZN5nasoq5spmdmEiPmPiPdS2_S2_)

; 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: mustprogress nounwind uwtable
define dso_local void @_ZN5nasoq5spmdmEiPmPiPdS2_S2_(i32 noundef %0, ptr noundef %1, ptr noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5) #0 {
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca double, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca i32, align 4
  %19 = alloca double, align 8
  %20 = alloca double, align 8
  %21 = alloca double, align 8
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  store i32 %0, ptr %7, align 4, !tbaa !5
  store ptr %1, ptr %8, align 8, !tbaa !9
  store ptr %2, ptr %9, align 8, !tbaa !9
  store ptr %3, ptr %10, align 8, !tbaa !9
  store ptr %4, ptr %11, align 8, !tbaa !9
  store ptr %5, ptr %12, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #3
  store i32 0, ptr %13, align 4, !tbaa !5
  br label %24

24:                                               ; preds = %185, %6
  %25 = load i32, ptr %13, align 4, !tbaa !5
  %26 = load i32, ptr %7, align 4, !tbaa !5
  %27 = icmp slt i32 %25, %26
  br i1 %27, label %29, label %28

28:                                               ; preds = %24
  store i32 2, ptr %14, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #3
  br label %188

29:                                               ; preds = %24
  %30 = load ptr, ptr %11, align 8, !tbaa !9
  %31 = load i32, ptr %13, align 4, !tbaa !5
  %32 = load i32, ptr %7, align 4, !tbaa !5
  %33 = add nsw i32 %31, %32
  %34 = sext i32 %33 to i64
  %35 = getelementptr inbounds double, ptr %30, i64 %34
  %36 = load double, ptr %35, align 8, !tbaa !11
  %37 = fcmp oeq double %36, 0.000000e+00
  br i1 %37, label %38, label %87

38:                                               ; preds = %29
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #3
  %39 = load ptr, ptr %11, align 8, !tbaa !9
  %40 = load i32, ptr %13, align 4, !tbaa !5
  %41 = sext i32 %40 to i64
  %42 = getelementptr inbounds double, ptr %39, i64 %41
  %43 = load double, ptr %42, align 8, !tbaa !11
  store double %43, ptr %15, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #3
  %44 = load ptr, ptr %10, align 8, !tbaa !9
  %45 = load ptr, ptr %8, align 8, !tbaa !9
  %46 = load i32, ptr %13, align 4, !tbaa !5
  %47 = sext i32 %46 to i64
  %48 = getelementptr inbounds i64, ptr %45, i64 %47
  %49 = load i64, ptr %48, align 8, !tbaa !13
  %50 = getelementptr inbounds double, ptr %44, i64 %49
  store ptr %50, ptr %16, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  %51 = load ptr, ptr %12, align 8, !tbaa !9
  %52 = load ptr, ptr %8, align 8, !tbaa !9
  %53 = load i32, ptr %13, align 4, !tbaa !5
  %54 = sext i32 %53 to i64
  %55 = getelementptr inbounds i64, ptr %52, i64 %54
  %56 = load i64, ptr %55, align 8, !tbaa !13
  %57 = getelementptr inbounds double, ptr %51, i64 %56
  store ptr %57, ptr %17, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #3
  %58 = load ptr, ptr %8, align 8, !tbaa !9
  %59 = load i32, ptr %13, align 4, !tbaa !5
  %60 = sext i32 %59 to i64
  %61 = getelementptr inbounds i64, ptr %58, i64 %60
  %62 = load i64, ptr %61, align 8, !tbaa !13
  %63 = trunc i64 %62 to i32
  store i32 %63, ptr %18, align 4, !tbaa !5
  br label %64

64:                                               ; preds = %83, %38
  %65 = load i32, ptr %18, align 4, !tbaa !5
  %66 = sext i32 %65 to i64
  %67 = load ptr, ptr %8, align 8, !tbaa !9
  %68 = load i32, ptr %13, align 4, !tbaa !5
  %69 = add nsw i32 %68, 1
  %70 = sext i32 %69 to i64
  %71 = getelementptr inbounds i64, ptr %67, i64 %70
  %72 = load i64, ptr %71, align 8, !tbaa !13
  %73 = icmp ult i64 %66, %72
  br i1 %73, label %75, label %74

74:                                               ; preds = %64
  store i32 5, ptr %14, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #3
  br label %86

75:                                               ; preds = %64
  %76 = load double, ptr %15, align 8, !tbaa !11
  %77 = load ptr, ptr %16, align 8, !tbaa !9
  %78 = getelementptr inbounds double, ptr %77, i32 1
  store ptr %78, ptr %16, align 8, !tbaa !9
  %79 = load double, ptr %77, align 8, !tbaa !11
  %80 = fmul double %76, %79
  %81 = load ptr, ptr %17, align 8, !tbaa !9
  %82 = getelementptr inbounds double, ptr %81, i32 1
  store ptr %82, ptr %17, align 8, !tbaa !9
  store double %80, ptr %81, align 8, !tbaa !11
  br label %83

83:                                               ; preds = %75
  %84 = load i32, ptr %18, align 4, !tbaa !5
  %85 = add nsw i32 %84, 1
  store i32 %85, ptr %18, align 4, !tbaa !5
  br label %64, !llvm.loop !15

86:                                               ; preds = %74
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #3
  br label %184

87:                                               ; preds = %29
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #3
  %88 = load ptr, ptr %11, align 8, !tbaa !9
  %89 = load i32, ptr %13, align 4, !tbaa !5
  %90 = sext i32 %89 to i64
  %91 = getelementptr inbounds double, ptr %88, i64 %90
  %92 = load double, ptr %91, align 8, !tbaa !11
  store double %92, ptr %19, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #3
  %93 = load ptr, ptr %11, align 8, !tbaa !9
  %94 = load i32, ptr %13, align 4, !tbaa !5
  %95 = add nsw i32 %94, 1
  %96 = sext i32 %95 to i64
  %97 = getelementptr inbounds double, ptr %93, i64 %96
  %98 = load double, ptr %97, align 8, !tbaa !11
  store double %98, ptr %20, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #3
  %99 = load ptr, ptr %11, align 8, !tbaa !9
  %100 = load i32, ptr %13, align 4, !tbaa !5
  %101 = load i32, ptr %7, align 4, !tbaa !5
  %102 = add nsw i32 %100, %101
  %103 = sext i32 %102 to i64
  %104 = getelementptr inbounds double, ptr %99, i64 %103
  %105 = load double, ptr %104, align 8, !tbaa !11
  store double %105, ptr %21, align 8, !tbaa !11
  %106 = load double, ptr %19, align 8, !tbaa !11
  %107 = load ptr, ptr %12, align 8, !tbaa !9
  %108 = load ptr, ptr %8, align 8, !tbaa !9
  %109 = load i32, ptr %13, align 4, !tbaa !5
  %110 = sext i32 %109 to i64
  %111 = getelementptr inbounds i64, ptr %108, i64 %110
  %112 = load i64, ptr %111, align 8, !tbaa !13
  %113 = getelementptr inbounds double, ptr %107, i64 %112
  store double %106, ptr %113, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #3
  %114 = load ptr, ptr %8, align 8, !tbaa !9
  %115 = load i32, ptr %13, align 4, !tbaa !5
  %116 = sext i32 %115 to i64
  %117 = getelementptr inbounds i64, ptr %114, i64 %116
  %118 = load i64, ptr %117, align 8, !tbaa !13
  %119 = add i64 %118, 1
  %120 = trunc i64 %119 to i32
  store i32 %120, ptr %22, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #3
  %121 = load ptr, ptr %8, align 8, !tbaa !9
  %122 = load i32, ptr %13, align 4, !tbaa !5
  %123 = add nsw i32 %122, 1
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds i64, ptr %121, i64 %124
  %126 = load i64, ptr %125, align 8, !tbaa !13
  %127 = trunc i64 %126 to i32
  store i32 %127, ptr %23, align 4, !tbaa !5
  br label %128

128:                                              ; preds = %176, %87
  %129 = load i32, ptr %22, align 4, !tbaa !5
  %130 = sext i32 %129 to i64
  %131 = load ptr, ptr %8, align 8, !tbaa !9
  %132 = load i32, ptr %13, align 4, !tbaa !5
  %133 = add nsw i32 %132, 1
  %134 = sext i32 %133 to i64
  %135 = getelementptr inbounds i64, ptr %131, i64 %134
  %136 = load i64, ptr %135, align 8, !tbaa !13
  %137 = icmp ult i64 %130, %136
  br i1 %137, label %139, label %138

138:                                              ; preds = %128
  store i32 8, ptr %14, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #3
  br label %181

139:                                              ; preds = %128
  %140 = load double, ptr %19, align 8, !tbaa !11
  %141 = load ptr, ptr %10, align 8, !tbaa !9
  %142 = load i32, ptr %22, align 4, !tbaa !5
  %143 = sext i32 %142 to i64
  %144 = getelementptr inbounds double, ptr %141, i64 %143
  %145 = load double, ptr %144, align 8, !tbaa !11
  %146 = load double, ptr %21, align 8, !tbaa !11
  %147 = load ptr, ptr %10, align 8, !tbaa !9
  %148 = load i32, ptr %23, align 4, !tbaa !5
  %149 = sext i32 %148 to i64
  %150 = getelementptr inbounds double, ptr %147, i64 %149
  %151 = load double, ptr %150, align 8, !tbaa !11
  %152 = fmul double %146, %151
  %153 = call double @llvm.fmuladd.f64(double %140, double %145, double %152)
  %154 = load ptr, ptr %12, align 8, !tbaa !9
  %155 = load i32, ptr %22, align 4, !tbaa !5
  %156 = sext i32 %155 to i64
  %157 = getelementptr inbounds double, ptr %154, i64 %156
  store double %153, ptr %157, align 8, !tbaa !11
  %158 = load double, ptr %21, align 8, !tbaa !11
  %159 = load ptr, ptr %10, align 8, !tbaa !9
  %160 = load i32, ptr %22, align 4, !tbaa !5
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds double, ptr %159, i64 %161
  %163 = load double, ptr %162, align 8, !tbaa !11
  %164 = load double, ptr %19, align 8, !tbaa !11
  %165 = load ptr, ptr %10, align 8, !tbaa !9
  %166 = load i32, ptr %23, align 4, !tbaa !5
  %167 = sext i32 %166 to i64
  %168 = getelementptr inbounds double, ptr %165, i64 %167
  %169 = load double, ptr %168, align 8, !tbaa !11
  %170 = fmul double %164, %169
  %171 = call double @llvm.fmuladd.f64(double %158, double %163, double %170)
  %172 = load ptr, ptr %12, align 8, !tbaa !9
  %173 = load i32, ptr %23, align 4, !tbaa !5
  %174 = sext i32 %173 to i64
  %175 = getelementptr inbounds double, ptr %172, i64 %174
  store double %171, ptr %175, align 8, !tbaa !11
  br label %176

176:                                              ; preds = %139
  %177 = load i32, ptr %22, align 4, !tbaa !5
  %178 = add nsw i32 %177, 1
  store i32 %178, ptr %22, align 4, !tbaa !5
  %179 = load i32, ptr %23, align 4, !tbaa !5
  %180 = add nsw i32 %179, 1
  store i32 %180, ptr %23, align 4, !tbaa !5
  br label %128, !llvm.loop !17

181:                                              ; preds = %138
  %182 = load i32, ptr %13, align 4, !tbaa !5
  %183 = add nsw i32 %182, 1
  store i32 %183, ptr %13, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #3
  br label %184

184:                                              ; preds = %181, %86
  br label %185

185:                                              ; preds = %184
  %186 = load i32, ptr %13, align 4, !tbaa !5
  %187 = add nsw i32 %186, 1
  store i32 %187, ptr %13, align 4, !tbaa !5
  br label %24, !llvm.loop !18

188:                                              ; preds = %28
  ret void
}

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

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

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

attributes #0 = { mustprogress 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 #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #3 = { 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++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = !{!14, !14, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = distinct !{!17, !16}
!18 = distinct !{!18, !16}


; 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: mustprogress nofree norecurse nosync nounwind memory(readwrite, inaccessiblemem: none) uwtable
define dso_local void @_ZN5nasoq5spmdmEiPmPiPdS2_S2_(i32 noundef %0, ptr nocapture noundef readonly %1, ptr nocapture noundef readnone %2, ptr nocapture noundef readonly %3, ptr nocapture noundef readonly %4, ptr nocapture noundef writeonly %5) local_unnamed_addr #0 {
  %7 = icmp sgt i32 %0, 0
  br i1 %7, label %.lr.ph76.preheader, label %._crit_edge

.lr.ph76.preheader:                               ; preds = %6
  %8 = ptrtoint ptr %5 to i64
  %9 = ptrtoint ptr %3 to i64
  %10 = sub i64 %8, %9
  %scevgep95 = getelementptr i8, ptr %5, i64 8
  %scevgep99 = getelementptr i8, ptr %5, i64 8
  %scevgep102 = getelementptr i8, ptr %3, i64 8
  %scevgep105 = getelementptr i8, ptr %3, i64 8
  %diff.check = icmp ult i64 %10, 32
  br label %.lr.ph76

._crit_edge:                                      ; preds = %.loopexit, %6
  ret void

.lr.ph76:                                         ; preds = %.lr.ph76.preheader, %.loopexit
  %.06075 = phi i32 [ %103, %.loopexit ], [ 0, %.lr.ph76.preheader ]
  %11 = add nsw i32 %.06075, %0
  %12 = sext i32 %11 to i64
  %13 = getelementptr inbounds double, ptr %4, i64 %12
  %14 = load double, ptr %13, align 8, !tbaa !5
  %15 = fcmp oeq double %14, 0.000000e+00
  %16 = sext i32 %.06075 to i64
  %17 = getelementptr inbounds double, ptr %4, i64 %16
  %18 = load double, ptr %17, align 8, !tbaa !5
  br i1 %15, label %19, label %41

19:                                               ; preds = %.lr.ph76
  %20 = getelementptr inbounds i64, ptr %1, i64 %16
  %21 = load i64, ptr %20, align 8, !tbaa !9
  %22 = getelementptr i8, ptr %20, i64 8
  %23 = load i64, ptr %22, align 8, !tbaa !9
  %sext = shl i64 %21, 32
  %24 = ashr exact i64 %sext, 32
  %25 = icmp ugt i64 %23, %24
  br i1 %25, label %.lr.ph74.preheader, label %.loopexit

.lr.ph74.preheader:                               ; preds = %19
  %26 = getelementptr inbounds double, ptr %5, i64 %21
  %27 = getelementptr inbounds double, ptr %3, i64 %21
  %28 = sub i64 %23, %24
  %min.iters.check = icmp ult i64 %28, 4
  %or.cond = or i1 %min.iters.check, %diff.check
  br i1 %or.cond, label %.lr.ph74.preheader151, label %vector.ph

vector.ph:                                        ; preds = %.lr.ph74.preheader
  %n.vec = and i64 %28, -4
  %ind.end = add i64 %24, %n.vec
  %29 = shl i64 %n.vec, 3
  %ind.end85 = getelementptr i8, ptr %27, i64 %29
  %30 = shl i64 %n.vec, 3
  %ind.end87 = getelementptr i8, ptr %26, i64 %30
  %broadcast.splatinsert = insertelement <2 x double> poison, double %18, i64 0
  %broadcast.splat = shufflevector <2 x double> %broadcast.splatinsert, <2 x double> poison, <2 x i32> zeroinitializer
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %offset.idx = shl i64 %index, 3
  %next.gep = getelementptr i8, ptr %27, i64 %offset.idx
  %offset.idx90 = shl i64 %index, 3
  %next.gep91 = getelementptr i8, ptr %26, i64 %offset.idx90
  %31 = getelementptr i8, ptr %next.gep, i64 16
  %wide.load = load <2 x double>, ptr %next.gep, align 8, !tbaa !5
  %wide.load93 = load <2 x double>, ptr %31, align 8, !tbaa !5
  %32 = fmul <2 x double> %broadcast.splat, %wide.load
  %33 = fmul <2 x double> %broadcast.splat, %wide.load93
  %34 = getelementptr i8, ptr %next.gep91, i64 16
  store <2 x double> %32, ptr %next.gep91, align 8, !tbaa !5
  store <2 x double> %33, ptr %34, align 8, !tbaa !5
  %index.next = add nuw i64 %index, 4
  %35 = icmp eq i64 %index.next, %n.vec
  br i1 %35, label %middle.block, label %vector.body, !llvm.loop !11

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %28, %n.vec
  br i1 %cmp.n, label %.loopexit, label %.lr.ph74.preheader151

.lr.ph74.preheader151:                            ; preds = %middle.block, %.lr.ph74.preheader
  %indvars.iv79.ph = phi i64 [ %24, %.lr.ph74.preheader ], [ %ind.end, %middle.block ]
  %.06173.ph = phi ptr [ %27, %.lr.ph74.preheader ], [ %ind.end85, %middle.block ]
  %.06371.ph = phi ptr [ %26, %.lr.ph74.preheader ], [ %ind.end87, %middle.block ]
  br label %.lr.ph74

.lr.ph74:                                         ; preds = %.lr.ph74.preheader151, %.lr.ph74
  %indvars.iv79 = phi i64 [ %indvars.iv.next80, %.lr.ph74 ], [ %indvars.iv79.ph, %.lr.ph74.preheader151 ]
  %.06173 = phi ptr [ %36, %.lr.ph74 ], [ %.06173.ph, %.lr.ph74.preheader151 ]
  %.06371 = phi ptr [ %39, %.lr.ph74 ], [ %.06371.ph, %.lr.ph74.preheader151 ]
  %36 = getelementptr inbounds i8, ptr %.06173, i64 8
  %37 = load double, ptr %.06173, align 8, !tbaa !5
  %38 = fmul double %18, %37
  %39 = getelementptr inbounds i8, ptr %.06371, i64 8
  store double %38, ptr %.06371, align 8, !tbaa !5
  %indvars.iv.next80 = add nuw nsw i64 %indvars.iv79, 1
  %40 = icmp ugt i64 %23, %indvars.iv.next80
  br i1 %40, label %.lr.ph74, label %.loopexit, !llvm.loop !15

41:                                               ; preds = %.lr.ph76
  %42 = add nsw i32 %.06075, 1
  %43 = sext i32 %42 to i64
  %44 = getelementptr inbounds i64, ptr %1, i64 %16
  %45 = load i64, ptr %44, align 8, !tbaa !9
  %46 = getelementptr inbounds double, ptr %5, i64 %45
  store double %18, ptr %46, align 8, !tbaa !5
  %47 = trunc i64 %45 to i32
  %48 = getelementptr inbounds i64, ptr %1, i64 %43
  %49 = load i64, ptr %48, align 8, !tbaa !9
  %.05968 = add i32 %47, 1
  %50 = sext i32 %.05968 to i64
  %51 = icmp ugt i64 %49, %50
  br i1 %51, label %.lr.ph.preheader, label %.loopexit

.lr.ph.preheader:                                 ; preds = %41
  %sext82 = shl i64 %49, 32
  %52 = ashr exact i64 %sext82, 32
  %53 = shl i64 %45, 32
  %sext149 = add i64 %53, 8589934592
  %54 = ashr exact i64 %sext149, 32
  %umax122 = tail call i64 @llvm.umax.i64(i64 %49, i64 %54)
  %55 = add i64 %umax122, 1
  %56 = sub i64 %55, %54
  %min.iters.check125 = icmp ult i64 %56, 14
  br i1 %min.iters.check125, label %.lr.ph.preheader152, label %vector.scevcheck

vector.scevcheck:                                 ; preds = %.lr.ph.preheader
  %57 = add i32 %47, 2
  %58 = sext i32 %57 to i64
  %59 = tail call i64 @llvm.usub.sat.i64(i64 %49, i64 %58)
  %60 = trunc i64 %59 to i32
  %61 = add i32 %.05968, %60
  %62 = icmp slt i32 %61, %.05968
  %63 = trunc i64 %59 to i32
  %64 = add i32 %57, %63
  %65 = icmp slt i32 %64, %57
  %66 = icmp ugt i64 %59, 4294967295
  %67 = or i1 %65, %66
  %68 = or i1 %62, %67
  br i1 %68, label %.lr.ph.preheader152, label %vector.memcheck94

vector.memcheck94:                                ; preds = %vector.scevcheck
  %69 = shl nsw i64 %50, 3
  %scevgep = getelementptr i8, ptr %5, i64 %69
  %70 = shl i64 %45, 32
  %sext150 = add i64 %70, 8589934592
  %71 = ashr exact i64 %sext150, 32
  %umax96 = tail call i64 @llvm.umax.i64(i64 %49, i64 %71)
  %72 = shl i64 %umax96, 3
  %73 = add i64 %72, %69
  %74 = ashr exact i64 %sext150, 29
  %75 = sub i64 %73, %74
  %scevgep97 = getelementptr i8, ptr %scevgep95, i64 %75
  %76 = ashr exact i64 %sext82, 29
  %scevgep98 = getelementptr i8, ptr %5, i64 %76
  %77 = add i64 %72, %76
  %78 = sub i64 %77, %74
  %scevgep100 = getelementptr i8, ptr %scevgep99, i64 %78
  %scevgep101 = getelementptr i8, ptr %3, i64 %69
  %scevgep103 = getelementptr i8, ptr %scevgep102, i64 %75
  %scevgep104 = getelementptr i8, ptr %3, i64 %76
  %scevgep106 = getelementptr i8, ptr %scevgep105, i64 %78
  %bound0 = icmp ult ptr %scevgep, %scevgep100
  %bound1 = icmp ult ptr %scevgep98, %scevgep97
  %found.conflict = and i1 %bound0, %bound1
  %bound0107 = icmp ult ptr %scevgep, %scevgep103
  %bound1108 = icmp ult ptr %scevgep101, %scevgep97
  %found.conflict109 = and i1 %bound0107, %bound1108
  %conflict.rdx = or i1 %found.conflict, %found.conflict109
  %bound0110 = icmp ult ptr %scevgep, %scevgep106
  %bound1111 = icmp ult ptr %scevgep104, %scevgep97
  %found.conflict112 = and i1 %bound0110, %bound1111
  %conflict.rdx113 = or i1 %conflict.rdx, %found.conflict112
  %bound0114 = icmp ult ptr %scevgep98, %scevgep103
  %bound1115 = icmp ult ptr %scevgep101, %scevgep100
  %found.conflict116 = and i1 %bound0114, %bound1115
  %conflict.rdx117 = or i1 %conflict.rdx113, %found.conflict116
  %bound0118 = icmp ult ptr %scevgep98, %scevgep106
  %bound1119 = icmp ult ptr %scevgep104, %scevgep100
  %found.conflict120 = and i1 %bound0118, %bound1119
  %conflict.rdx121 = or i1 %conflict.rdx117, %found.conflict120
  br i1 %conflict.rdx121, label %.lr.ph.preheader152, label %vector.ph126

vector.ph126:                                     ; preds = %vector.memcheck94
  %n.vec128 = and i64 %56, -2
  %ind.end129 = add i64 %52, %n.vec128
  %ind.end131 = add i64 %n.vec128, %50
  %.cast = trunc i64 %n.vec128 to i32
  %ind.end133 = add i32 %.05968, %.cast
  %broadcast.splatinsert141 = insertelement <2 x double> poison, double %14, i64 0
  %broadcast.splat142 = shufflevector <2 x double> %broadcast.splatinsert141, <2 x double> poison, <2 x i32> zeroinitializer
  %broadcast.splatinsert143 = insertelement <2 x double> poison, double %18, i64 0
  %broadcast.splat144 = shufflevector <2 x double> %broadcast.splatinsert143, <2 x double> poison, <2 x i32> zeroinitializer
  br label %vector.body135

vector.body135:                                   ; preds = %vector.body135, %vector.ph126
  %index136 = phi i64 [ 0, %vector.ph126 ], [ %index.next147, %vector.body135 ]
  %offset.idx137 = add i64 %52, %index136
  %offset.idx138 = add i64 %index136, %50
  %79 = getelementptr inbounds double, ptr %3, i64 %offset.idx138
  %wide.load139 = load <2 x double>, ptr %79, align 8, !tbaa !5, !alias.scope !16
  %80 = getelementptr inbounds double, ptr %3, i64 %offset.idx137
  %wide.load140 = load <2 x double>, ptr %80, align 8, !tbaa !5, !alias.scope !19
  %81 = fmul <2 x double> %broadcast.splat142, %wide.load140
  %82 = tail call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %broadcast.splat144, <2 x double> %wide.load139, <2 x double> %81)
  %83 = getelementptr inbounds double, ptr %5, i64 %offset.idx138
  store <2 x double> %82, ptr %83, align 8, !tbaa !5, !alias.scope !21, !noalias !23
  %wide.load145 = load <2 x double>, ptr %79, align 8, !tbaa !5, !alias.scope !16
  %84 = fmul <2 x double> %broadcast.splat144, %wide.load140
  %85 = tail call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %broadcast.splat142, <2 x double> %wide.load145, <2 x double> %84)
  %86 = getelementptr inbounds double, ptr %5, i64 %offset.idx137
  store <2 x double> %85, ptr %86, align 8, !tbaa !5, !alias.scope !25, !noalias !26
  %index.next147 = add nuw i64 %index136, 2
  %87 = icmp eq i64 %index.next147, %n.vec128
  br i1 %87, label %middle.block123, label %vector.body135, !llvm.loop !27

middle.block123:                                  ; preds = %vector.body135
  %cmp.n148 = icmp eq i64 %56, %n.vec128
  br i1 %cmp.n148, label %.loopexit, label %.lr.ph.preheader152

.lr.ph.preheader152:                              ; preds = %middle.block123, %vector.memcheck94, %vector.scevcheck, %.lr.ph.preheader
  %indvars.iv.ph = phi i64 [ %52, %vector.memcheck94 ], [ %52, %vector.scevcheck ], [ %52, %.lr.ph.preheader ], [ %ind.end129, %middle.block123 ]
  %.ph = phi i64 [ %50, %vector.memcheck94 ], [ %50, %vector.scevcheck ], [ %50, %.lr.ph.preheader ], [ %ind.end131, %middle.block123 ]
  %.05970.ph = phi i32 [ %.05968, %vector.memcheck94 ], [ %.05968, %vector.scevcheck ], [ %.05968, %.lr.ph.preheader ], [ %ind.end133, %middle.block123 ]
  br label %.lr.ph

.lr.ph:                                           ; preds = %.lr.ph.preheader152, %.lr.ph
  %indvars.iv = phi i64 [ %indvars.iv.next, %.lr.ph ], [ %indvars.iv.ph, %.lr.ph.preheader152 ]
  %88 = phi i64 [ %101, %.lr.ph ], [ %.ph, %.lr.ph.preheader152 ]
  %.05970 = phi i32 [ %.059, %.lr.ph ], [ %.05970.ph, %.lr.ph.preheader152 ]
  %89 = getelementptr inbounds double, ptr %3, i64 %88
  %90 = load double, ptr %89, align 8, !tbaa !5
  %91 = getelementptr inbounds double, ptr %3, i64 %indvars.iv
  %92 = load double, ptr %91, align 8, !tbaa !5
  %93 = fmul double %14, %92
  %94 = tail call double @llvm.fmuladd.f64(double %18, double %90, double %93)
  %95 = getelementptr inbounds double, ptr %5, i64 %88
  store double %94, ptr %95, align 8, !tbaa !5
  %96 = load double, ptr %89, align 8, !tbaa !5
  %97 = load double, ptr %91, align 8, !tbaa !5
  %98 = fmul double %18, %97
  %99 = tail call double @llvm.fmuladd.f64(double %14, double %96, double %98)
  %100 = getelementptr inbounds double, ptr %5, i64 %indvars.iv
  store double %99, ptr %100, align 8, !tbaa !5
  %indvars.iv.next = add nsw i64 %indvars.iv, 1
  %.059 = add i32 %.05970, 1
  %101 = sext i32 %.059 to i64
  %102 = icmp ugt i64 %49, %101
  br i1 %102, label %.lr.ph, label %.loopexit, !llvm.loop !28

.loopexit:                                        ; preds = %.lr.ph, %.lr.ph74, %middle.block123, %middle.block, %41, %19
  %.1 = phi i32 [ %.06075, %19 ], [ %42, %41 ], [ %.06075, %middle.block ], [ %42, %middle.block123 ], [ %.06075, %.lr.ph74 ], [ %42, %.lr.ph ]
  %103 = add nsw i32 %.1, 1
  %104 = icmp slt i32 %103, %0
  br i1 %104, label %.lr.ph76, label %._crit_edge, !llvm.loop !29
}

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.umax.i64(i64, i64) #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare <2 x double> @llvm.fmuladd.v2f64(<2 x double>, <2 x double>, <2 x double>) #2

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.usub.sat.i64(i64, i64) #2

attributes #0 = { mustprogress nofree norecurse nosync nounwind memory(readwrite, inaccessiblemem: none) 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 #1 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #2 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }

!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 = !{!"double", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = distinct !{!11, !12, !13, !14}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{!"llvm.loop.isvectorized", i32 1}
!14 = !{!"llvm.loop.unroll.runtime.disable"}
!15 = distinct !{!15, !12, !13}
!16 = !{!17}
!17 = distinct !{!17, !18}
!18 = distinct !{!18, !"LVerDomain"}
!19 = !{!20}
!20 = distinct !{!20, !18}
!21 = !{!22}
!22 = distinct !{!22, !18}
!23 = !{!24, !17, !20}
!24 = distinct !{!24, !18}
!25 = !{!24}
!26 = !{!17, !20}
!27 = distinct !{!27, !12, !13, !14}
!28 = distinct !{!28, !12, !13}
!29 = distinct !{!29, !12}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass