; LLVM IR from venumb/ZSPACE :: cpp/depends/alglib/cpp/src (linalg)

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

%"struct.alglib_impl::sparsematrix" = type { %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", i64, i64, i64, i64, i64, i64 }
%"struct.alglib_impl::ae_vector" = type { i64, i64, i8, %"struct.alglib_impl::ae_dyn_block", %union.anon.0 }
%"struct.alglib_impl::ae_dyn_block" = type { ptr, ptr, ptr, ptr }
%union.anon.0 = type { ptr }

@.str.197 = external hidden unnamed_addr constant [144 x i8], align 1
@.str.198 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.199 = external hidden unnamed_addr constant [36 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

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

declare void @_ZN11alglib_impl9ae_assertEbPKcPNS_8ae_stateE(i1 noundef zeroext, ptr noundef, ptr noundef) #1

; Function Attrs: mustprogress uwtable
define dso_local noundef i64 @_ZN11alglib_impl19sparsegetuppercountEPNS_12sparsematrixEPNS_8ae_stateE(ptr noundef %0, ptr noundef %1) #2 {
  %3 = alloca i64, align 8
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i64, align 8
  %7 = alloca i64, align 8
  %8 = alloca i64, align 8
  %9 = alloca i64, align 8
  %10 = alloca i32, align 4
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #3
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #3
  store i64 -1, ptr %9, align 8, !tbaa !9
  %11 = load ptr, ptr %4, align 8, !tbaa !5
  %12 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %11, i32 0, i32 5
  %13 = load i64, ptr %12, align 8, !tbaa !11
  %14 = icmp eq i64 %13, 0
  br i1 %14, label %15, label %56

15:                                               ; preds = %2
  store i64 0, ptr %9, align 8, !tbaa !9
  %16 = load ptr, ptr %4, align 8, !tbaa !5
  %17 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %16, i32 0, i32 10
  %18 = load i64, ptr %17, align 8, !tbaa !16
  store i64 %18, ptr %6, align 8, !tbaa !9
  store i64 0, ptr %7, align 8, !tbaa !9
  br label %19

19:                                               ; preds = %51, %15
  %20 = load i64, ptr %7, align 8, !tbaa !9
  %21 = load i64, ptr %6, align 8, !tbaa !9
  %22 = sub nsw i64 %21, 1
  %23 = icmp sle i64 %20, %22
  br i1 %23, label %24, label %54

24:                                               ; preds = %19
  %25 = load ptr, ptr %4, align 8, !tbaa !5
  %26 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %25, i32 0, i32 1
  %27 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %26, i32 0, i32 4
  %28 = load ptr, ptr %27, align 8, !tbaa !17
  %29 = load i64, ptr %7, align 8, !tbaa !9
  %30 = mul nsw i64 2, %29
  %31 = getelementptr inbounds i64, ptr %28, i64 %30
  %32 = load i64, ptr %31, align 8, !tbaa !9
  store i64 %32, ptr %8, align 8, !tbaa !9
  %33 = load i64, ptr %8, align 8, !tbaa !9
  %34 = icmp sge i64 %33, 0
  br i1 %34, label %35, label %50

35:                                               ; preds = %24
  %36 = load ptr, ptr %4, align 8, !tbaa !5
  %37 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %36, i32 0, i32 1
  %38 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %37, i32 0, i32 4
  %39 = load ptr, ptr %38, align 8, !tbaa !17
  %40 = load i64, ptr %7, align 8, !tbaa !9
  %41 = mul nsw i64 2, %40
  %42 = add nsw i64 %41, 1
  %43 = getelementptr inbounds i64, ptr %39, i64 %42
  %44 = load i64, ptr %43, align 8, !tbaa !9
  %45 = load i64, ptr %8, align 8, !tbaa !9
  %46 = icmp sgt i64 %44, %45
  br i1 %46, label %47, label %50

47:                                               ; preds = %35
  %48 = load i64, ptr %9, align 8, !tbaa !9
  %49 = add nsw i64 %48, 1
  store i64 %49, ptr %9, align 8, !tbaa !9
  br label %50

50:                                               ; preds = %47, %35, %24
  br label %51

51:                                               ; preds = %50
  %52 = load i64, ptr %7, align 8, !tbaa !9
  %53 = add nsw i64 %52, 1
  store i64 %53, ptr %7, align 8, !tbaa !9
  br label %19, !llvm.loop !18

54:                                               ; preds = %19
  %55 = load i64, ptr %9, align 8, !tbaa !9
  store i64 %55, ptr %3, align 8
  store i32 1, ptr %10, align 4
  br label %148

56:                                               ; preds = %2
  %57 = load ptr, ptr %4, align 8, !tbaa !5
  %58 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %57, i32 0, i32 5
  %59 = load i64, ptr %58, align 8, !tbaa !11
  %60 = icmp eq i64 %59, 1
  br i1 %60, label %61, label %108

61:                                               ; preds = %56
  %62 = load ptr, ptr %4, align 8, !tbaa !5
  %63 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %62, i32 0, i32 9
  %64 = load i64, ptr %63, align 8, !tbaa !20
  %65 = load ptr, ptr %4, align 8, !tbaa !5
  %66 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %65, i32 0, i32 2
  %67 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %66, i32 0, i32 4
  %68 = load ptr, ptr %67, align 8, !tbaa !17
  %69 = load ptr, ptr %4, align 8, !tbaa !5
  %70 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %69, i32 0, i32 6
  %71 = load i64, ptr %70, align 8, !tbaa !21
  %72 = getelementptr inbounds i64, ptr %68, i64 %71
  %73 = load i64, ptr %72, align 8, !tbaa !9
  %74 = icmp eq i64 %64, %73
  %75 = load ptr, ptr %5, align 8, !tbaa !5
  call void @_ZN11alglib_impl9ae_assertEbPKcPNS_8ae_stateE(i1 noundef zeroext %74, ptr noundef @.str.197, ptr noundef %75)
  store i64 0, ptr %9, align 8, !tbaa !9
  %76 = load ptr, ptr %4, align 8, !tbaa !5
  %77 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %76, i32 0, i32 6
  %78 = load i64, ptr %77, align 8, !tbaa !21
  store i64 %78, ptr %6, align 8, !tbaa !9
  store i64 0, ptr %8, align 8, !tbaa !9
  br label %79

79:                                               ; preds = %103, %61
  %80 = load i64, ptr %8, align 8, !tbaa !9
  %81 = load i64, ptr %6, align 8, !tbaa !9
  %82 = sub nsw i64 %81, 1
  %83 = icmp sle i64 %80, %82
  br i1 %83, label %84, label %106

84:                                               ; preds = %79
  %85 = load i64, ptr %9, align 8, !tbaa !9
  %86 = load ptr, ptr %4, align 8, !tbaa !5
  %87 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %86, i32 0, i32 2
  %88 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %87, i32 0, i32 4
  %89 = load ptr, ptr %88, align 8, !tbaa !17
  %90 = load i64, ptr %8, align 8, !tbaa !9
  %91 = add nsw i64 %90, 1
  %92 = getelementptr inbounds i64, ptr %89, i64 %91
  %93 = load i64, ptr %92, align 8, !tbaa !9
  %94 = load ptr, ptr %4, align 8, !tbaa !5
  %95 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %94, i32 0, i32 4
  %96 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %95, i32 0, i32 4
  %97 = load ptr, ptr %96, align 8, !tbaa !17
  %98 = load i64, ptr %8, align 8, !tbaa !9
  %99 = getelementptr inbounds i64, ptr %97, i64 %98
  %100 = load i64, ptr %99, align 8, !tbaa !9
  %101 = sub nsw i64 %93, %100
  %102 = add nsw i64 %85, %101
  store i64 %102, ptr %9, align 8, !tbaa !9
  br label %103

103:                                              ; preds = %84
  %104 = load i64, ptr %8, align 8, !tbaa !9
  %105 = add nsw i64 %104, 1
  store i64 %105, ptr %8, align 8, !tbaa !9
  br label %79, !llvm.loop !22

106:                                              ; preds = %79
  %107 = load i64, ptr %9, align 8, !tbaa !9
  store i64 %107, ptr %3, align 8
  store i32 1, ptr %10, align 4
  br label %148

108:                                              ; preds = %56
  %109 = load ptr, ptr %4, align 8, !tbaa !5
  %110 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %109, i32 0, i32 5
  %111 = load i64, ptr %110, align 8, !tbaa !11
  %112 = icmp eq i64 %111, 2
  br i1 %112, label %113, label %145

113:                                              ; preds = %108
  %114 = load ptr, ptr %4, align 8, !tbaa !5
  %115 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %114, i32 0, i32 6
  %116 = load i64, ptr %115, align 8, !tbaa !21
  %117 = load ptr, ptr %4, align 8, !tbaa !5
  %118 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %117, i32 0, i32 7
  %119 = load i64, ptr %118, align 8, !tbaa !23
  %120 = icmp eq i64 %116, %119
  %121 = load ptr, ptr %5, align 8, !tbaa !5
  call void @_ZN11alglib_impl9ae_assertEbPKcPNS_8ae_stateE(i1 noundef zeroext %120, ptr noundef @.str.198, ptr noundef %121)
  store i64 0, ptr %9, align 8, !tbaa !9
  %122 = load ptr, ptr %4, align 8, !tbaa !5
  %123 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %122, i32 0, i32 6
  %124 = load i64, ptr %123, align 8, !tbaa !21
  store i64 %124, ptr %6, align 8, !tbaa !9
  store i64 0, ptr %8, align 8, !tbaa !9
  br label %125

125:                                              ; preds = %140, %113
  %126 = load i64, ptr %8, align 8, !tbaa !9
  %127 = load i64, ptr %6, align 8, !tbaa !9
  %128 = sub nsw i64 %127, 1
  %129 = icmp sle i64 %126, %128
  br i1 %129, label %130, label %143

130:                                              ; preds = %125
  %131 = load i64, ptr %9, align 8, !tbaa !9
  %132 = load ptr, ptr %4, align 8, !tbaa !5
  %133 = getelementptr inbounds %"struct.alglib_impl::sparsematrix", ptr %132, i32 0, i32 4
  %134 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %133, i32 0, i32 4
  %135 = load ptr, ptr %134, align 8, !tbaa !17
  %136 = load i64, ptr %8, align 8, !tbaa !9
  %137 = getelementptr inbounds i64, ptr %135, i64 %136
  %138 = load i64, ptr %137, align 8, !tbaa !9
  %139 = add nsw i64 %131, %138
  store i64 %139, ptr %9, align 8, !tbaa !9
  br label %140

140:                                              ; preds = %130
  %141 = load i64, ptr %8, align 8, !tbaa !9
  %142 = add nsw i64 %141, 1
  store i64 %142, ptr %8, align 8, !tbaa !9
  br label %125, !llvm.loop !24

143:                                              ; preds = %125
  %144 = load i64, ptr %9, align 8, !tbaa !9
  store i64 %144, ptr %3, align 8
  store i32 1, ptr %10, align 4
  br label %148

145:                                              ; preds = %108
  %146 = load ptr, ptr %5, align 8, !tbaa !5
  call void @_ZN11alglib_impl9ae_assertEbPKcPNS_8ae_stateE(i1 noundef zeroext false, ptr noundef @.str.199, ptr noundef %146)
  %147 = load i64, ptr %9, align 8, !tbaa !9
  store i64 %147, ptr %3, align 8
  store i32 1, ptr %10, align 4
  br label %148

148:                                              ; preds = %145, %143, %106, %54
  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 8, ptr %7) #3
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #3
  %149 = load i64, ptr %3, align 8
  ret i64 %149
}

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 = { 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, !10, i64 320}
!12 = !{!"_ZTSN11alglib_impl12sparsematrixE", !13, i64 0, !13, i64 64, !13, i64 128, !13, i64 192, !13, i64 256, !10, i64 320, !10, i64 328, !10, i64 336, !10, i64 344, !10, i64 352, !10, i64 360}
!13 = !{!"_ZTSN11alglib_impl9ae_vectorE", !10, i64 0, !10, i64 8, !14, i64 16, !15, i64 24, !7, i64 56}
!14 = !{!"bool", !7, i64 0}
!15 = !{!"_ZTSN11alglib_impl12ae_dyn_blockE", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!16 = !{!12, !10, i64 360}
!17 = !{!7, !7, i64 0}
!18 = distinct !{!18, !19}
!19 = !{!"llvm.loop.mustprogress"}
!20 = !{!12, !10, i64 352}
!21 = !{!12, !10, i64 328}
!22 = distinct !{!22, !19}
!23 = !{!12, !10, i64 336}
!24 = distinct !{!24, !19}


; 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.197 = external hidden unnamed_addr constant [144 x i8], align 1
@.str.198 = external hidden unnamed_addr constant [63 x i8], align 1
@.str.199 = external hidden unnamed_addr constant [36 x i8], align 1

declare void @_ZN11alglib_impl9ae_assertEbPKcPNS_8ae_stateE(i1 noundef zeroext, ptr noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: mustprogress uwtable
define dso_local noundef i64 @_ZN11alglib_impl19sparsegetuppercountEPNS_12sparsematrixEPNS_8ae_stateE(ptr nocapture noundef readonly %0, ptr noundef %1) local_unnamed_addr #1 {
  %3 = getelementptr inbounds i8, ptr %0, i64 320
  %4 = load i64, ptr %3, align 8, !tbaa !5
  switch i64 %4, label %87 [
    i64 0, label %5
    i64 1, label %36
    i64 2, label %68
  ]

5:                                                ; preds = %2
  %6 = getelementptr inbounds i8, ptr %0, i64 360
  %7 = load i64, ptr %6, align 8, !tbaa !14
  %.not.not4960 = icmp sgt i64 %7, 0
  br i1 %.not.not4960, label %.lr.ph63, label %.loopexit

.lr.ph63:                                         ; preds = %5
  %8 = getelementptr inbounds i8, ptr %0, i64 120
  %9 = load ptr, ptr %8, align 8, !tbaa !15
  %xtraiter = and i64 %7, 1
  %10 = icmp eq i64 %7, 1
  br i1 %10, label %.loopexit.loopexit.unr-lcssa, label %.lr.ph63.new

.lr.ph63.new:                                     ; preds = %.lr.ph63
  %unroll_iter = and i64 %7, 9223372036854775806
  br label %11

11:                                               ; preds = %34, %.lr.ph63.new
  %.062 = phi i64 [ 0, %.lr.ph63.new ], [ %.1.1, %34 ]
  %.04461 = phi i64 [ 0, %.lr.ph63.new ], [ %35, %34 ]
  %niter = phi i64 [ 0, %.lr.ph63.new ], [ %niter.next.1, %34 ]
  %12 = shl nuw nsw i64 %.04461, 1
  %13 = getelementptr inbounds i64, ptr %9, i64 %12
  %14 = load i64, ptr %13, align 8, !tbaa !16
  %15 = icmp sgt i64 %14, -1
  br i1 %15, label %16, label %22

16:                                               ; preds = %11
  %17 = or disjoint i64 %12, 1
  %18 = getelementptr inbounds i64, ptr %9, i64 %17
  %19 = load i64, ptr %18, align 8, !tbaa !16
  %20 = icmp sgt i64 %19, %14
  %21 = zext i1 %20 to i64
  %spec.select = add nsw i64 %.062, %21
  br label %22

22:                                               ; preds = %16, %11
  %.1 = phi i64 [ %.062, %11 ], [ %spec.select, %16 ]
  %23 = shl nuw i64 %.04461, 1
  %24 = or disjoint i64 %23, 2
  %25 = getelementptr inbounds i64, ptr %9, i64 %24
  %26 = load i64, ptr %25, align 8, !tbaa !16
  %27 = icmp sgt i64 %26, -1
  br i1 %27, label %28, label %34

28:                                               ; preds = %22
  %29 = or disjoint i64 %23, 3
  %30 = getelementptr inbounds i64, ptr %9, i64 %29
  %31 = load i64, ptr %30, align 8, !tbaa !16
  %32 = icmp sgt i64 %31, %26
  %33 = zext i1 %32 to i64
  %spec.select.1 = add nsw i64 %.1, %33
  br label %34

34:                                               ; preds = %28, %22
  %.1.1 = phi i64 [ %.1, %22 ], [ %spec.select.1, %28 ]
  %35 = add nuw nsw i64 %.04461, 2
  %niter.next.1 = add i64 %niter, 2
  %niter.ncmp.1 = icmp eq i64 %niter.next.1, %unroll_iter
  br i1 %niter.ncmp.1, label %.loopexit.loopexit.unr-lcssa.loopexit, label %11, !llvm.loop !17

36:                                               ; preds = %2
  %37 = getelementptr inbounds i8, ptr %0, i64 352
  %38 = load i64, ptr %37, align 8, !tbaa !19
  %39 = getelementptr inbounds i8, ptr %0, i64 184
  %40 = load ptr, ptr %39, align 8, !tbaa !15
  %41 = getelementptr inbounds i8, ptr %0, i64 328
  %42 = load i64, ptr %41, align 8, !tbaa !20
  %43 = getelementptr inbounds i64, ptr %40, i64 %42
  %44 = load i64, ptr %43, align 8, !tbaa !16
  %45 = icmp eq i64 %38, %44
  tail call void @_ZN11alglib_impl9ae_assertEbPKcPNS_8ae_stateE(i1 noundef zeroext %45, ptr noundef nonnull @.str.197, ptr noundef %1)
  %46 = load i64, ptr %41, align 8, !tbaa !20
  %.not.not4855 = icmp sgt i64 %46, 0
  br i1 %.not.not4855, label %.lr.ph58, label %.loopexit

.lr.ph58:                                         ; preds = %36
  %47 = load ptr, ptr %39, align 8, !tbaa !15
  %48 = getelementptr inbounds i8, ptr %0, i64 312
  %49 = load ptr, ptr %48, align 8, !tbaa !15
  %min.iters.check80 = icmp ult i64 %46, 4
  br i1 %min.iters.check80, label %scalar.ph79.preheader, label %vector.ph81

vector.ph81:                                      ; preds = %.lr.ph58
  %n.vec83 = and i64 %46, 9223372036854775804
  br label %vector.body85

vector.body85:                                    ; preds = %vector.body85, %vector.ph81
  %index86 = phi i64 [ 0, %vector.ph81 ], [ %index.next93, %vector.body85 ]
  %vec.phi87 = phi <2 x i64> [ zeroinitializer, %vector.ph81 ], [ %57, %vector.body85 ]
  %vec.phi88 = phi <2 x i64> [ zeroinitializer, %vector.ph81 ], [ %58, %vector.body85 ]
  %50 = or disjoint i64 %index86, 1
  %51 = getelementptr inbounds i64, ptr %47, i64 %50
  %52 = getelementptr inbounds i8, ptr %51, i64 16
  %wide.load89 = load <2 x i64>, ptr %51, align 8, !tbaa !16
  %wide.load90 = load <2 x i64>, ptr %52, align 8, !tbaa !16
  %53 = getelementptr inbounds i64, ptr %49, i64 %index86
  %54 = getelementptr inbounds i8, ptr %53, i64 16
  %wide.load91 = load <2 x i64>, ptr %53, align 8, !tbaa !16
  %wide.load92 = load <2 x i64>, ptr %54, align 8, !tbaa !16
  %55 = add <2 x i64> %wide.load89, %vec.phi87
  %56 = add <2 x i64> %wide.load90, %vec.phi88
  %57 = sub <2 x i64> %55, %wide.load91
  %58 = sub <2 x i64> %56, %wide.load92
  %index.next93 = add nuw i64 %index86, 4
  %59 = icmp eq i64 %index.next93, %n.vec83
  br i1 %59, label %middle.block78, label %vector.body85, !llvm.loop !21

middle.block78:                                   ; preds = %vector.body85
  %bin.rdx94 = add <2 x i64> %58, %57
  %60 = tail call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %bin.rdx94)
  %cmp.n95 = icmp eq i64 %46, %n.vec83
  br i1 %cmp.n95, label %.loopexit, label %scalar.ph79.preheader

scalar.ph79.preheader:                            ; preds = %middle.block78, %.lr.ph58
  %.257.ph = phi i64 [ 0, %.lr.ph58 ], [ %60, %middle.block78 ]
  %.04256.ph = phi i64 [ 0, %.lr.ph58 ], [ %n.vec83, %middle.block78 ]
  br label %scalar.ph79

scalar.ph79:                                      ; preds = %scalar.ph79.preheader, %scalar.ph79
  %.257 = phi i64 [ %67, %scalar.ph79 ], [ %.257.ph, %scalar.ph79.preheader ]
  %.04256 = phi i64 [ %61, %scalar.ph79 ], [ %.04256.ph, %scalar.ph79.preheader ]
  %61 = add nuw nsw i64 %.04256, 1
  %62 = getelementptr inbounds i64, ptr %47, i64 %61
  %63 = load i64, ptr %62, align 8, !tbaa !16
  %64 = getelementptr inbounds i64, ptr %49, i64 %.04256
  %65 = load i64, ptr %64, align 8, !tbaa !16
  %66 = add i64 %63, %.257
  %67 = sub i64 %66, %65
  %exitcond68.not = icmp eq i64 %61, %46
  br i1 %exitcond68.not, label %.loopexit, label %scalar.ph79, !llvm.loop !24

68:                                               ; preds = %2
  %69 = getelementptr inbounds i8, ptr %0, i64 328
  %70 = load i64, ptr %69, align 8, !tbaa !20
  %71 = getelementptr inbounds i8, ptr %0, i64 336
  %72 = load i64, ptr %71, align 8, !tbaa !25
  %73 = icmp eq i64 %70, %72
  tail call void @_ZN11alglib_impl9ae_assertEbPKcPNS_8ae_stateE(i1 noundef zeroext %73, ptr noundef nonnull @.str.198, ptr noundef %1)
  %74 = load i64, ptr %69, align 8, !tbaa !20
  %.not.not52 = icmp sgt i64 %74, 0
  br i1 %.not.not52, label %.lr.ph, label %.loopexit

.lr.ph:                                           ; preds = %68
  %75 = getelementptr inbounds i8, ptr %0, i64 312
  %76 = load ptr, ptr %75, align 8, !tbaa !15
  %min.iters.check = icmp ult i64 %74, 4
  br i1 %min.iters.check, label %scalar.ph.preheader, label %vector.ph

vector.ph:                                        ; preds = %.lr.ph
  %n.vec = and i64 %74, 9223372036854775804
  br label %vector.body

vector.body:                                      ; preds = %vector.body, %vector.ph
  %index = phi i64 [ 0, %vector.ph ], [ %index.next, %vector.body ]
  %vec.phi = phi <2 x i64> [ zeroinitializer, %vector.ph ], [ %79, %vector.body ]
  %vec.phi76 = phi <2 x i64> [ zeroinitializer, %vector.ph ], [ %80, %vector.body ]
  %77 = getelementptr inbounds i64, ptr %76, i64 %index
  %78 = getelementptr inbounds i8, ptr %77, i64 16
  %wide.load = load <2 x i64>, ptr %77, align 8, !tbaa !16
  %wide.load77 = load <2 x i64>, ptr %78, align 8, !tbaa !16
  %79 = add <2 x i64> %wide.load, %vec.phi
  %80 = add <2 x i64> %wide.load77, %vec.phi76
  %index.next = add nuw i64 %index, 4
  %81 = icmp eq i64 %index.next, %n.vec
  br i1 %81, label %middle.block, label %vector.body, !llvm.loop !26

middle.block:                                     ; preds = %vector.body
  %bin.rdx = add <2 x i64> %80, %79
  %82 = tail call i64 @llvm.vector.reduce.add.v2i64(<2 x i64> %bin.rdx)
  %cmp.n = icmp eq i64 %74, %n.vec
  br i1 %cmp.n, label %.loopexit, label %scalar.ph.preheader

scalar.ph.preheader:                              ; preds = %middle.block, %.lr.ph
  %.354.ph = phi i64 [ 0, %.lr.ph ], [ %82, %middle.block ]
  %.14353.ph = phi i64 [ 0, %.lr.ph ], [ %n.vec, %middle.block ]
  br label %scalar.ph

scalar.ph:                                        ; preds = %scalar.ph.preheader, %scalar.ph
  %.354 = phi i64 [ %85, %scalar.ph ], [ %.354.ph, %scalar.ph.preheader ]
  %.14353 = phi i64 [ %86, %scalar.ph ], [ %.14353.ph, %scalar.ph.preheader ]
  %83 = getelementptr inbounds i64, ptr %76, i64 %.14353
  %84 = load i64, ptr %83, align 8, !tbaa !16
  %85 = add nsw i64 %84, %.354
  %86 = add nuw nsw i64 %.14353, 1
  %exitcond.not = icmp eq i64 %86, %74
  br i1 %exitcond.not, label %.loopexit, label %scalar.ph, !llvm.loop !27

87:                                               ; preds = %2
  tail call void @_ZN11alglib_impl9ae_assertEbPKcPNS_8ae_stateE(i1 noundef zeroext false, ptr noundef nonnull @.str.199, ptr noundef %1)
  br label %.loopexit

.loopexit.loopexit.unr-lcssa.loopexit:            ; preds = %34
  %88 = shl nuw nsw i64 %35, 1
  br label %.loopexit.loopexit.unr-lcssa

.loopexit.loopexit.unr-lcssa:                     ; preds = %.loopexit.loopexit.unr-lcssa.loopexit, %.lr.ph63
  %.1.lcssa.ph = phi i64 [ poison, %.lr.ph63 ], [ %.1.1, %.loopexit.loopexit.unr-lcssa.loopexit ]
  %.062.unr = phi i64 [ 0, %.lr.ph63 ], [ %.1.1, %.loopexit.loopexit.unr-lcssa.loopexit ]
  %.04461.unr = phi i64 [ 0, %.lr.ph63 ], [ %88, %.loopexit.loopexit.unr-lcssa.loopexit ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %.loopexit, label %.epil.preheader

.epil.preheader:                                  ; preds = %.loopexit.loopexit.unr-lcssa
  %89 = getelementptr inbounds i64, ptr %9, i64 %.04461.unr
  %90 = load i64, ptr %89, align 8, !tbaa !16
  %91 = icmp sgt i64 %90, -1
  br i1 %91, label %92, label %.loopexit

92:                                               ; preds = %.epil.preheader
  %93 = or disjoint i64 %.04461.unr, 1
  %94 = getelementptr inbounds i64, ptr %9, i64 %93
  %95 = load i64, ptr %94, align 8, !tbaa !16
  %96 = icmp sgt i64 %95, %90
  %97 = zext i1 %96 to i64
  %spec.select.epil = add nsw i64 %.062.unr, %97
  br label %.loopexit

.loopexit:                                        ; preds = %scalar.ph, %scalar.ph79, %.loopexit.loopexit.unr-lcssa, %92, %.epil.preheader, %middle.block, %middle.block78, %68, %36, %5, %87
  %.045 = phi i64 [ -1, %87 ], [ 0, %5 ], [ 0, %36 ], [ 0, %68 ], [ %60, %middle.block78 ], [ %82, %middle.block ], [ %.1.lcssa.ph, %.loopexit.loopexit.unr-lcssa ], [ %.062.unr, %.epil.preheader ], [ %spec.select.epil, %92 ], [ %67, %scalar.ph79 ], [ %85, %scalar.ph ]
  ret i64 %.045
}

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i64 @llvm.vector.reduce.add.v2i64(<2 x i64>) #2

attributes #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 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 = { 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, !8, i64 320}
!6 = !{!"_ZTSN11alglib_impl12sparsematrixE", !7, i64 0, !7, i64 64, !7, i64 128, !7, i64 192, !7, i64 256, !8, i64 320, !8, i64 328, !8, i64 336, !8, i64 344, !8, i64 352, !8, i64 360}
!7 = !{!"_ZTSN11alglib_impl9ae_vectorE", !8, i64 0, !8, i64 8, !11, i64 16, !12, i64 24, !9, i64 56}
!8 = !{!"long", !9, i64 0}
!9 = !{!"omnipotent char", !10, i64 0}
!10 = !{!"Simple C++ TBAA"}
!11 = !{!"bool", !9, i64 0}
!12 = !{!"_ZTSN11alglib_impl12ae_dyn_blockE", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24}
!13 = !{!"any pointer", !9, i64 0}
!14 = !{!6, !8, i64 360}
!15 = !{!9, !9, i64 0}
!16 = !{!8, !8, i64 0}
!17 = distinct !{!17, !18}
!18 = !{!"llvm.loop.mustprogress"}
!19 = !{!6, !8, i64 352}
!20 = !{!6, !8, i64 328}
!21 = distinct !{!21, !18, !22, !23}
!22 = !{!"llvm.loop.isvectorized", i32 1}
!23 = !{!"llvm.loop.unroll.runtime.disable"}
!24 = distinct !{!24, !18, !23, !22}
!25 = !{!6, !8, i64 336}
!26 = distinct !{!26, !18, !22, !23}
!27 = distinct !{!27, !18, !23, !22}


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