; LLVM IR from ermig1979/Simd :: src/Simd/SimdBaseNeural.ll (ZN4Simd4Base14NeuralAddValueEPKfPfm)

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

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

; Function Attrs: alwaysinline mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN4Simd7AlignLoEmm(i64 noundef, i64 noundef) #1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN4Simd4Base14NeuralAddValueEPKfPfm(ptr noundef %0, ptr noundef %1, i64 noundef %2) #2 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i64, align 8
  %7 = alloca float, align 4
  %8 = alloca i64, align 8
  %9 = alloca i64, align 8
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  store i64 %2, ptr %6, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #3
  %10 = load ptr, ptr %4, align 8, !tbaa !5
  %11 = getelementptr inbounds float, ptr %10, i64 0
  %12 = load float, ptr %11, align 4, !tbaa !11
  store float %12, ptr %7, align 4, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  %13 = load i64, ptr %6, align 8, !tbaa !9
  %14 = call noundef i64 @_ZN4Simd7AlignLoEmm(i64 noundef %13, i64 noundef 4)
  store i64 %14, ptr %8, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  store i64 0, ptr %9, align 8, !tbaa !9
  br label %15

15:                                               ; preds = %48, %3
  %16 = load i64, ptr %9, align 8, !tbaa !9
  %17 = load i64, ptr %8, align 8, !tbaa !9
  %18 = icmp ult i64 %16, %17
  br i1 %18, label %19, label %51

19:                                               ; preds = %15
  %20 = load float, ptr %7, align 4, !tbaa !11
  %21 = load ptr, ptr %5, align 8, !tbaa !5
  %22 = load i64, ptr %9, align 8, !tbaa !9
  %23 = add i64 %22, 0
  %24 = getelementptr inbounds float, ptr %21, i64 %23
  %25 = load float, ptr %24, align 4, !tbaa !11
  %26 = fadd float %25, %20
  store float %26, ptr %24, align 4, !tbaa !11
  %27 = load float, ptr %7, align 4, !tbaa !11
  %28 = load ptr, ptr %5, align 8, !tbaa !5
  %29 = load i64, ptr %9, align 8, !tbaa !9
  %30 = add i64 %29, 1
  %31 = getelementptr inbounds float, ptr %28, i64 %30
  %32 = load float, ptr %31, align 4, !tbaa !11
  %33 = fadd float %32, %27
  store float %33, ptr %31, align 4, !tbaa !11
  %34 = load float, ptr %7, align 4, !tbaa !11
  %35 = load ptr, ptr %5, align 8, !tbaa !5
  %36 = load i64, ptr %9, align 8, !tbaa !9
  %37 = add i64 %36, 2
  %38 = getelementptr inbounds float, ptr %35, i64 %37
  %39 = load float, ptr %38, align 4, !tbaa !11
  %40 = fadd float %39, %34
  store float %40, ptr %38, align 4, !tbaa !11
  %41 = load float, ptr %7, align 4, !tbaa !11
  %42 = load ptr, ptr %5, align 8, !tbaa !5
  %43 = load i64, ptr %9, align 8, !tbaa !9
  %44 = add i64 %43, 3
  %45 = getelementptr inbounds float, ptr %42, i64 %44
  %46 = load float, ptr %45, align 4, !tbaa !11
  %47 = fadd float %46, %41
  store float %47, ptr %45, align 4, !tbaa !11
  br label %48

48:                                               ; preds = %19
  %49 = load i64, ptr %9, align 8, !tbaa !9
  %50 = add i64 %49, 4
  store i64 %50, ptr %9, align 8, !tbaa !9
  br label %15, !llvm.loop !13

51:                                               ; preds = %15
  br label %52

52:                                               ; preds = %63, %51
  %53 = load i64, ptr %9, align 8, !tbaa !9
  %54 = load i64, ptr %6, align 8, !tbaa !9
  %55 = icmp ult i64 %53, %54
  br i1 %55, label %56, label %66

56:                                               ; preds = %52
  %57 = load float, ptr %7, align 4, !tbaa !11
  %58 = load ptr, ptr %5, align 8, !tbaa !5
  %59 = load i64, ptr %9, align 8, !tbaa !9
  %60 = getelementptr inbounds float, ptr %58, i64 %59
  %61 = load float, ptr %60, align 4, !tbaa !11
  %62 = fadd float %61, %57
  store float %62, ptr %60, align 4, !tbaa !11
  br label %63

63:                                               ; preds = %56
  %64 = load i64, ptr %9, align 8, !tbaa !9
  %65 = add i64 %64, 1
  store i64 %65, ptr %9, align 8, !tbaa !9
  br label %52, !llvm.loop !15

66:                                               ; preds = %52
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #3
  ret void
}

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { alwaysinline 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 #2 = { mustprogress 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 #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 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !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"

; Function Attrs: alwaysinline mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZN4Simd7AlignLoEmm(i64 noundef, i64 noundef) local_unnamed_addr #0

; Function Attrs: mustprogress nounwind uwtable
define dso_local void @_ZN4Simd4Base14NeuralAddValueEPKfPfm(ptr nocapture noundef readonly %0, ptr nocapture noundef %1, i64 noundef %2) local_unnamed_addr #1 {
  %4 = load float, ptr %0, align 4, !tbaa !5
  %5 = tail call noundef i64 @_ZN4Simd7AlignLoEmm(i64 noundef %2, i64 noundef 4)
  %.not = icmp eq i64 %5, 0
  br i1 %.not, label %.preheader, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %3
  %6 = add i64 %5, -1
  %7 = lshr i64 %6, 2
  %8 = add nuw nsw i64 %7, 1
  %min.iters.check = icmp ult i64 %5, 45
  br i1 %min.iters.check, label %.lr.ph.preheader53, label %vector.scevcheck

.lr.ph.preheader53:                               ; preds = %middle.block, %vector.scevcheck, %.lr.ph.preheader
  %.022.ph = phi i64 [ 0, %vector.scevcheck ], [ 0, %.lr.ph.preheader ], [ %ind.end, %middle.block ]
  %9 = insertelement <4 x float> poison, float %4, i64 0
  %10 = shufflevector <4 x float> %9, <4 x float> poison, <4 x i32> zeroinitializer
  br label %.lr.ph

vector.scevcheck:                                 ; preds = %.lr.ph.preheader
  %11 = add i64 %5, -1
  %12 = lshr i64 %11, 2
  %scevgep = getelementptr i8, ptr %1, i64 12
  %mul.result = shl i64 %12, 4
  %13 = getelementptr i8, ptr %scevgep, i64 %mul.result
  %14 = icmp ult ptr %13, %scevgep
  %scevgep25 = getelementptr i8, ptr %1, i64 8
  %mul.result27 = shl i64 %12, 4
  %mul.overflow28 = icmp ugt i64 %11, 4611686018427387903
  %15 = getelementptr i8, ptr %scevgep25, i64 %mul.result27
  %16 = icmp ult ptr %15, %scevgep25
  %17 = or i1 %16, %mul.overflow28
  %scevgep29 = getelementptr i8, ptr %1, i64 4
  %mul.result31 = shl i64 %12, 4
  %18 = getelementptr i8, ptr %scevgep29, i64 %mul.result31
  %19 = icmp ult ptr %18, %scevgep29
  %mul.result34 = shl i64 %12, 4
  %20 = getelementptr i8, ptr %1, i64 %mul.result34
  %21 = icmp ult ptr %20, %1
  %22 = or i1 %14, %17
  %23 = or i1 %19, %22
  %24 = or i1 %21, %23
  br i1 %24, label %.lr.ph.preheader53, label %vector.ph

vector.ph:                                        ; preds = %vector.scevcheck
  %n.vec = and i64 %8, 9223372036854775804
  %ind.end = shl i64 %n.vec, 2
  %broadcast.splatinsert = insertelement <4 x float> poison, float %4, i64 0
  %broadcast.splat = shufflevector <4 x float> %broadcast.splatinsert, <4 x float> poison, <4 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, 2
  %25 = or disjoint i64 %offset.idx, 4
  %26 = or disjoint i64 %offset.idx, 8
  %27 = or disjoint i64 %offset.idx, 12
  %28 = getelementptr inbounds float, ptr %1, i64 %offset.idx
  %29 = getelementptr inbounds float, ptr %1, i64 %25
  %30 = getelementptr inbounds float, ptr %1, i64 %26
  %31 = getelementptr inbounds float, ptr %1, i64 %27
  %32 = load float, ptr %28, align 4, !tbaa !5
  %33 = load float, ptr %29, align 4, !tbaa !5
  %34 = load float, ptr %30, align 4, !tbaa !5
  %35 = load float, ptr %31, align 4, !tbaa !5
  %36 = insertelement <4 x float> poison, float %32, i64 0
  %37 = insertelement <4 x float> %36, float %33, i64 1
  %38 = insertelement <4 x float> %37, float %34, i64 2
  %39 = insertelement <4 x float> %38, float %35, i64 3
  %40 = fadd <4 x float> %broadcast.splat, %39
  %41 = or disjoint i64 %offset.idx, 1
  %42 = or disjoint i64 %offset.idx, 5
  %43 = or disjoint i64 %offset.idx, 9
  %44 = or disjoint i64 %offset.idx, 13
  %45 = getelementptr inbounds float, ptr %1, i64 %41
  %46 = getelementptr inbounds float, ptr %1, i64 %42
  %47 = getelementptr inbounds float, ptr %1, i64 %43
  %48 = getelementptr inbounds float, ptr %1, i64 %44
  %49 = load float, ptr %45, align 4, !tbaa !5
  %50 = load float, ptr %46, align 4, !tbaa !5
  %51 = load float, ptr %47, align 4, !tbaa !5
  %52 = load float, ptr %48, align 4, !tbaa !5
  %53 = insertelement <4 x float> poison, float %49, i64 0
  %54 = insertelement <4 x float> %53, float %50, i64 1
  %55 = insertelement <4 x float> %54, float %51, i64 2
  %56 = insertelement <4 x float> %55, float %52, i64 3
  %57 = fadd <4 x float> %broadcast.splat, %56
  %58 = or disjoint i64 %offset.idx, 2
  %59 = or disjoint i64 %offset.idx, 6
  %60 = or disjoint i64 %offset.idx, 10
  %61 = or disjoint i64 %offset.idx, 14
  %62 = getelementptr inbounds float, ptr %1, i64 %58
  %63 = getelementptr inbounds float, ptr %1, i64 %59
  %64 = getelementptr inbounds float, ptr %1, i64 %60
  %65 = getelementptr inbounds float, ptr %1, i64 %61
  %66 = load float, ptr %62, align 4, !tbaa !5
  %67 = load float, ptr %63, align 4, !tbaa !5
  %68 = load float, ptr %64, align 4, !tbaa !5
  %69 = load float, ptr %65, align 4, !tbaa !5
  %70 = insertelement <4 x float> poison, float %66, i64 0
  %71 = insertelement <4 x float> %70, float %67, i64 1
  %72 = insertelement <4 x float> %71, float %68, i64 2
  %73 = insertelement <4 x float> %72, float %69, i64 3
  %74 = fadd <4 x float> %broadcast.splat, %73
  %75 = or disjoint i64 %offset.idx, 3
  %76 = or disjoint i64 %offset.idx, 7
  %77 = or disjoint i64 %offset.idx, 11
  %78 = or disjoint i64 %offset.idx, 15
  %79 = getelementptr inbounds float, ptr %1, i64 %75
  %80 = getelementptr inbounds float, ptr %1, i64 %76
  %81 = getelementptr inbounds float, ptr %1, i64 %77
  %82 = getelementptr inbounds float, ptr %1, i64 %78
  %83 = load float, ptr %79, align 4, !tbaa !5
  %84 = load float, ptr %80, align 4, !tbaa !5
  %85 = load float, ptr %81, align 4, !tbaa !5
  %86 = load float, ptr %82, align 4, !tbaa !5
  %87 = insertelement <4 x float> poison, float %83, i64 0
  %88 = insertelement <4 x float> %87, float %84, i64 1
  %89 = insertelement <4 x float> %88, float %85, i64 2
  %90 = insertelement <4 x float> %89, float %86, i64 3
  %91 = fadd <4 x float> %broadcast.splat, %90
  %92 = getelementptr inbounds i8, ptr %79, i64 -12
  %93 = shufflevector <4 x float> %40, <4 x float> %57, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  %94 = shufflevector <4 x float> %74, <4 x float> %91, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7>
  %interleaved.vec = shufflevector <8 x float> %93, <8 x float> %94, <16 x i32> <i32 0, i32 4, i32 8, i32 12, i32 1, i32 5, i32 9, i32 13, i32 2, i32 6, i32 10, i32 14, i32 3, i32 7, i32 11, i32 15>
  store <16 x float> %interleaved.vec, ptr %92, align 4, !tbaa !5
  %index.next = add nuw i64 %index, 4
  %95 = icmp eq i64 %index.next, %n.vec
  br i1 %95, label %middle.block, label %vector.body, !llvm.loop !9

middle.block:                                     ; preds = %vector.body
  %cmp.n = icmp eq i64 %8, %n.vec
  br i1 %cmp.n, label %.preheader, label %.lr.ph.preheader53

.preheader:                                       ; preds = %.lr.ph, %middle.block, %3
  %.0.lcssa = phi i64 [ 0, %3 ], [ %ind.end, %middle.block ], [ %107, %.lr.ph ]
  %96 = icmp ult i64 %.0.lcssa, %2
  br i1 %96, label %.lr.ph24.preheader, label %._crit_edge

.lr.ph24.preheader:                               ; preds = %.preheader
  %97 = sub i64 %2, %.0.lcssa
  %min.iters.check38 = icmp ult i64 %97, 8
  br i1 %min.iters.check38, label %.lr.ph24.preheader52, label %vector.ph39

.lr.ph24.preheader52:                             ; preds = %middle.block36, %.lr.ph24.preheader
  %.123.ph = phi i64 [ %.0.lcssa, %.lr.ph24.preheader ], [ %ind.end42, %middle.block36 ]
  br label %.lr.ph24

vector.ph39:                                      ; preds = %.lr.ph24.preheader
  %n.vec41 = and i64 %97, -8
  %ind.end42 = add i64 %.0.lcssa, %n.vec41
  %broadcast.splatinsert48 = insertelement <4 x float> poison, float %4, i64 0
  %broadcast.splat49 = shufflevector <4 x float> %broadcast.splatinsert48, <4 x float> poison, <4 x i32> zeroinitializer
  %98 = getelementptr float, ptr %1, i64 %.0.lcssa
  br label %vector.body44

vector.body44:                                    ; preds = %vector.body44, %vector.ph39
  %index45 = phi i64 [ 0, %vector.ph39 ], [ %index.next50, %vector.body44 ]
  %99 = getelementptr float, ptr %98, i64 %index45
  %100 = getelementptr inbounds i8, ptr %99, i64 16
  %wide.load = load <4 x float>, ptr %99, align 4, !tbaa !5
  %wide.load47 = load <4 x float>, ptr %100, align 4, !tbaa !5
  %101 = fadd <4 x float> %broadcast.splat49, %wide.load
  %102 = fadd <4 x float> %broadcast.splat49, %wide.load47
  store <4 x float> %101, ptr %99, align 4, !tbaa !5
  store <4 x float> %102, ptr %100, align 4, !tbaa !5
  %index.next50 = add nuw i64 %index45, 8
  %103 = icmp eq i64 %index.next50, %n.vec41
  br i1 %103, label %middle.block36, label %vector.body44, !llvm.loop !13

middle.block36:                                   ; preds = %vector.body44
  %cmp.n51 = icmp eq i64 %97, %n.vec41
  br i1 %cmp.n51, label %._crit_edge, label %.lr.ph24.preheader52

.lr.ph:                                           ; preds = %.lr.ph.preheader53, %.lr.ph
  %.022 = phi i64 [ %107, %.lr.ph ], [ %.022.ph, %.lr.ph.preheader53 ]
  %104 = getelementptr inbounds float, ptr %1, i64 %.022
  %105 = load <4 x float>, ptr %104, align 4, !tbaa !5
  %106 = fadd <4 x float> %10, %105
  store <4 x float> %106, ptr %104, align 4, !tbaa !5
  %107 = add nuw i64 %.022, 4
  %108 = icmp ult i64 %107, %5
  br i1 %108, label %.lr.ph, label %.preheader, !llvm.loop !14

.lr.ph24:                                         ; preds = %.lr.ph24.preheader52, %.lr.ph24
  %.123 = phi i64 [ %112, %.lr.ph24 ], [ %.123.ph, %.lr.ph24.preheader52 ]
  %109 = getelementptr inbounds float, ptr %1, i64 %.123
  %110 = load float, ptr %109, align 4, !tbaa !5
  %111 = fadd float %4, %110
  store float %111, ptr %109, align 4, !tbaa !5
  %112 = add nuw i64 %.123, 1
  %exitcond.not = icmp eq i64 %112, %2
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph24, !llvm.loop !15

._crit_edge:                                      ; preds = %.lr.ph24, %middle.block36, %.preheader
  ret void
}

attributes #0 = { alwaysinline 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 = { 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" }

!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++ TBAA"}
!9 = distinct !{!9, !10, !11, !12}
!10 = !{!"llvm.loop.mustprogress"}
!11 = !{!"llvm.loop.isvectorized", i32 1}
!12 = !{!"llvm.loop.unroll.runtime.disable"}
!13 = distinct !{!13, !10, !11, !12}
!14 = distinct !{!14, !10, !11}
!15 = distinct !{!15, !10, !12, !11}


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalDCEPass,GlobalOptPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopLoadEliminationPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,LoopVectorizePass,PostOrderFunctionAttrsPass,ReassociatePass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass