; LLVM IR from Dimandragon/non-parametric-dsp :: alglib-cpp/src (optimization)

; 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::presolveinfo" = type { i64, i64, i64, i64, i64, i64, i64, i64, %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", i8, %"struct.alglib_impl::sparsematrix", %"struct.alglib_impl::sparsematrix", %"struct.alglib_impl::xquadraticconstraints", %"struct.alglib_impl::xconicconstraints", i64, %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::sparsematrix", %"struct.alglib_impl::sparsematrix", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::xquadraticconstraints", %"struct.alglib_impl::xconicconstraints", %"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", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::presolverstack", %"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", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::presolvebuffers" }
%"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::xquadraticconstraints" = type { i64, %"struct.alglib_impl::ae_obj_array", %"struct.alglib_impl::ae_vector" }
%"struct.alglib_impl::ae_obj_array" = type { i64, i64, i8, ptr, ptr, ptr, ptr, %"struct.alglib_impl::ae_lock", %"struct.alglib_impl::ae_dyn_block" }
%"struct.alglib_impl::ae_lock" = type { ptr, %"struct.alglib_impl::ae_dyn_block", i8 }
%"struct.alglib_impl::ae_dyn_block" = type { ptr, ptr, ptr, ptr }
%"struct.alglib_impl::xconicconstraints" = type { i64, %"struct.alglib_impl::ae_obj_array" }
%"struct.alglib_impl::presolverstack" = type { i64, i64, i64, i64, i64, %"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, %"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", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector" }
%"struct.alglib_impl::ae_vector" = type { i64, i64, i8, %"struct.alglib_impl::ae_dyn_block", %union.anon.0 }
%union.anon.0 = type { ptr }
%"struct.alglib_impl::presolvebuffers" = type { %"struct.alglib_impl::niset", %"struct.alglib_impl::niset", %"struct.alglib_impl::niset", %"struct.alglib_impl::niset", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::dynamiccrsqconstraint" }
%"struct.alglib_impl::niset" = type { i64, i64, %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", i64 }
%"struct.alglib_impl::dynamiccrsqconstraint" = type { i64, %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::dynamiccrs", double, double, i8 }
%"struct.alglib_impl::dynamiccrs" = type { i64, i64, i64, %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector", %"struct.alglib_impl::ae_vector" }

; 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 noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef, double noundef, ptr noundef) #1

declare noundef zeroext i1 @_ZN11alglib_impl11ae_isfiniteEdPNS_8ae_stateE(double noundef, ptr noundef) #1

declare noundef double @_ZN11alglib_impl10ae_minrealEddPNS_8ae_stateE(double noundef, double noundef, ptr noundef) #1

declare void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef, double noundef, ptr noundef, ptr noundef) #1

declare void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef, ptr noundef, ptr noundef, ptr noundef) #1

declare void @_ZN11alglib_impl10isetallocvEllPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef, i64 noundef, ptr noundef, ptr noundef) #1

declare void @_ZN11alglib_impl11icopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef, ptr noundef, ptr noundef, ptr noundef) #1

declare void @_ZN11alglib_impl10sparsegemvEPKNS_12sparsematrixEdlPKNS_9ae_vectorEldPS3_lPNS_8ae_stateE(ptr noundef, double noundef, i64 noundef, ptr noundef, i64 noundef, double noundef, ptr noundef, i64 noundef, ptr noundef) #1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN11alglib_impl11presolvebwdEPNS_12presolveinfoEPNS_9ae_vectorES3_bS3_S3_S3_PNS_8ae_stateE(ptr noundef %0, ptr noundef %1, ptr noundef %2, i1 noundef zeroext %3, ptr noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7) #2 {
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca i8, align 1
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i64, align 8
  store ptr %0, ptr %9, align 8, !tbaa !5
  store ptr %1, ptr %10, align 8, !tbaa !5
  store ptr %2, ptr %11, align 8, !tbaa !5
  %18 = zext i1 %3 to i8
  store i8 %18, ptr %12, align 1, !tbaa !9
  store ptr %4, ptr %13, align 8, !tbaa !5
  store ptr %5, ptr %14, align 8, !tbaa !5
  store ptr %6, ptr %15, align 8, !tbaa !5
  store ptr %7, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #3
  %19 = load i8, ptr %12, align 1, !tbaa !9, !range !11, !noundef !12
  %20 = trunc i8 %19 to i1
  br i1 %20, label %21, label %66

21:                                               ; preds = %8
  %22 = load ptr, ptr %9, align 8, !tbaa !5
  %23 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %22, i32 0, i32 1
  %24 = load i64, ptr %23, align 8, !tbaa !13
  %25 = load ptr, ptr %9, align 8, !tbaa !5
  %26 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %25, i32 0, i32 5
  %27 = load i64, ptr %26, align 8, !tbaa !29
  %28 = add nsw i64 %24, %27
  %29 = load ptr, ptr %9, align 8, !tbaa !5
  %30 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %29, i32 0, i32 36
  %31 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl10isetallocvEllPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %28, i64 noundef 0, ptr noundef %30, ptr noundef %31)
  store i64 0, ptr %17, align 8, !tbaa !30
  br label %32

32:                                               ; preds = %62, %21
  %33 = load i64, ptr %17, align 8, !tbaa !30
  %34 = load ptr, ptr %9, align 8, !tbaa !5
  %35 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %34, i32 0, i32 0
  %36 = load i64, ptr %35, align 8, !tbaa !31
  %37 = load ptr, ptr %9, align 8, !tbaa !5
  %38 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %37, i32 0, i32 4
  %39 = load i64, ptr %38, align 8, !tbaa !32
  %40 = add nsw i64 %36, %39
  %41 = sub nsw i64 %40, 1
  %42 = icmp sle i64 %33, %41
  br i1 %42, label %43, label %65

43:                                               ; preds = %32
  %44 = load ptr, ptr %11, align 8, !tbaa !5
  %45 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %44, i32 0, i32 4
  %46 = load ptr, ptr %45, align 8, !tbaa !33
  %47 = load i64, ptr %17, align 8, !tbaa !30
  %48 = getelementptr inbounds i64, ptr %46, i64 %47
  %49 = load i64, ptr %48, align 8, !tbaa !30
  %50 = load ptr, ptr %9, align 8, !tbaa !5
  %51 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %50, i32 0, i32 36
  %52 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %51, i32 0, i32 4
  %53 = load ptr, ptr %52, align 8, !tbaa !33
  %54 = load ptr, ptr %9, align 8, !tbaa !5
  %55 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %54, i32 0, i32 34
  %56 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %55, i32 0, i32 4
  %57 = load ptr, ptr %56, align 8, !tbaa !33
  %58 = load i64, ptr %17, align 8, !tbaa !30
  %59 = getelementptr inbounds i64, ptr %57, i64 %58
  %60 = load i64, ptr %59, align 8, !tbaa !30
  %61 = getelementptr inbounds i64, ptr %53, i64 %60
  store i64 %49, ptr %61, align 8, !tbaa !30
  br label %62

62:                                               ; preds = %43
  %63 = load i64, ptr %17, align 8, !tbaa !30
  %64 = add nsw i64 %63, 1
  store i64 %64, ptr %17, align 8, !tbaa !30
  br label %32, !llvm.loop !34

65:                                               ; preds = %32
  br label %66

66:                                               ; preds = %65, %8
  %67 = load ptr, ptr %9, align 8, !tbaa !5
  %68 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %67, i32 0, i32 1
  %69 = load i64, ptr %68, align 8, !tbaa !13
  %70 = load ptr, ptr %9, align 8, !tbaa !5
  %71 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %70, i32 0, i32 38
  %72 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %69, double noundef 0.000000e+00, ptr noundef %71, ptr noundef %72)
  store i64 0, ptr %17, align 8, !tbaa !30
  br label %73

73:                                               ; preds = %99, %66
  %74 = load i64, ptr %17, align 8, !tbaa !30
  %75 = load ptr, ptr %9, align 8, !tbaa !5
  %76 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %75, i32 0, i32 0
  %77 = load i64, ptr %76, align 8, !tbaa !31
  %78 = sub nsw i64 %77, 1
  %79 = icmp sle i64 %74, %78
  br i1 %79, label %80, label %102

80:                                               ; preds = %73
  %81 = load ptr, ptr %10, align 8, !tbaa !5
  %82 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %81, i32 0, i32 4
  %83 = load ptr, ptr %82, align 8, !tbaa !33
  %84 = load i64, ptr %17, align 8, !tbaa !30
  %85 = getelementptr inbounds double, ptr %83, i64 %84
  %86 = load double, ptr %85, align 8, !tbaa !36
  %87 = load ptr, ptr %9, align 8, !tbaa !5
  %88 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %87, i32 0, i32 38
  %89 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %88, i32 0, i32 4
  %90 = load ptr, ptr %89, align 8, !tbaa !33
  %91 = load ptr, ptr %9, align 8, !tbaa !5
  %92 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %91, i32 0, i32 31
  %93 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %92, i32 0, i32 4
  %94 = load ptr, ptr %93, align 8, !tbaa !33
  %95 = load i64, ptr %17, align 8, !tbaa !30
  %96 = getelementptr inbounds i64, ptr %94, i64 %95
  %97 = load i64, ptr %96, align 8, !tbaa !30
  %98 = getelementptr inbounds double, ptr %90, i64 %97
  store double %86, ptr %98, align 8, !tbaa !36
  br label %99

99:                                               ; preds = %80
  %100 = load i64, ptr %17, align 8, !tbaa !30
  %101 = add nsw i64 %100, 1
  store i64 %101, ptr %17, align 8, !tbaa !30
  br label %73, !llvm.loop !37

102:                                              ; preds = %73
  %103 = load ptr, ptr %9, align 8, !tbaa !5
  %104 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %103, i32 0, i32 1
  %105 = load i64, ptr %104, align 8, !tbaa !13
  %106 = load ptr, ptr %9, align 8, !tbaa !5
  %107 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %106, i32 0, i32 37
  %108 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %105, double noundef 0.000000e+00, ptr noundef %107, ptr noundef %108)
  store i64 0, ptr %17, align 8, !tbaa !30
  br label %109

109:                                              ; preds = %135, %102
  %110 = load i64, ptr %17, align 8, !tbaa !30
  %111 = load ptr, ptr %9, align 8, !tbaa !5
  %112 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %111, i32 0, i32 0
  %113 = load i64, ptr %112, align 8, !tbaa !31
  %114 = sub nsw i64 %113, 1
  %115 = icmp sle i64 %110, %114
  br i1 %115, label %116, label %138

116:                                              ; preds = %109
  %117 = load ptr, ptr %13, align 8, !tbaa !5
  %118 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %117, i32 0, i32 4
  %119 = load ptr, ptr %118, align 8, !tbaa !33
  %120 = load i64, ptr %17, align 8, !tbaa !30
  %121 = getelementptr inbounds double, ptr %119, i64 %120
  %122 = load double, ptr %121, align 8, !tbaa !36
  %123 = load ptr, ptr %9, align 8, !tbaa !5
  %124 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %123, i32 0, i32 37
  %125 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %124, i32 0, i32 4
  %126 = load ptr, ptr %125, align 8, !tbaa !33
  %127 = load ptr, ptr %9, align 8, !tbaa !5
  %128 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %127, i32 0, i32 31
  %129 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %128, i32 0, i32 4
  %130 = load ptr, ptr %129, align 8, !tbaa !33
  %131 = load i64, ptr %17, align 8, !tbaa !30
  %132 = getelementptr inbounds i64, ptr %130, i64 %131
  %133 = load i64, ptr %132, align 8, !tbaa !30
  %134 = getelementptr inbounds double, ptr %126, i64 %133
  store double %122, ptr %134, align 8, !tbaa !36
  br label %135

135:                                              ; preds = %116
  %136 = load i64, ptr %17, align 8, !tbaa !30
  %137 = add nsw i64 %136, 1
  store i64 %137, ptr %17, align 8, !tbaa !30
  br label %109, !llvm.loop !38

138:                                              ; preds = %109
  %139 = load ptr, ptr %9, align 8, !tbaa !5
  %140 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %139, i32 0, i32 5
  %141 = load i64, ptr %140, align 8, !tbaa !29
  %142 = load ptr, ptr %9, align 8, !tbaa !5
  %143 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %142, i32 0, i32 39
  %144 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %141, double noundef 0.000000e+00, ptr noundef %143, ptr noundef %144)
  store i64 0, ptr %17, align 8, !tbaa !30
  br label %145

145:                                              ; preds = %171, %138
  %146 = load i64, ptr %17, align 8, !tbaa !30
  %147 = load ptr, ptr %9, align 8, !tbaa !5
  %148 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %147, i32 0, i32 4
  %149 = load i64, ptr %148, align 8, !tbaa !32
  %150 = sub nsw i64 %149, 1
  %151 = icmp sle i64 %146, %150
  br i1 %151, label %152, label %174

152:                                              ; preds = %145
  %153 = load ptr, ptr %14, align 8, !tbaa !5
  %154 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %153, i32 0, i32 4
  %155 = load ptr, ptr %154, align 8, !tbaa !33
  %156 = load i64, ptr %17, align 8, !tbaa !30
  %157 = getelementptr inbounds double, ptr %155, i64 %156
  %158 = load double, ptr %157, align 8, !tbaa !36
  %159 = load ptr, ptr %9, align 8, !tbaa !5
  %160 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %159, i32 0, i32 39
  %161 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %160, i32 0, i32 4
  %162 = load ptr, ptr %161, align 8, !tbaa !33
  %163 = load ptr, ptr %9, align 8, !tbaa !5
  %164 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %163, i32 0, i32 32
  %165 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %164, i32 0, i32 4
  %166 = load ptr, ptr %165, align 8, !tbaa !33
  %167 = load i64, ptr %17, align 8, !tbaa !30
  %168 = getelementptr inbounds i64, ptr %166, i64 %167
  %169 = load i64, ptr %168, align 8, !tbaa !30
  %170 = getelementptr inbounds double, ptr %162, i64 %169
  store double %158, ptr %170, align 8, !tbaa !36
  br label %171

171:                                              ; preds = %152
  %172 = load i64, ptr %17, align 8, !tbaa !30
  %173 = add nsw i64 %172, 1
  store i64 %173, ptr %17, align 8, !tbaa !30
  br label %145, !llvm.loop !39

174:                                              ; preds = %145
  %175 = load ptr, ptr %9, align 8, !tbaa !5
  %176 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %175, i32 0, i32 2
  %177 = load i64, ptr %176, align 8, !tbaa !40
  %178 = load ptr, ptr %9, align 8, !tbaa !5
  %179 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %178, i32 0, i32 40
  %180 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %177, double noundef 0.000000e+00, ptr noundef %179, ptr noundef %180)
  store i64 0, ptr %17, align 8, !tbaa !30
  br label %181

181:                                              ; preds = %207, %174
  %182 = load i64, ptr %17, align 8, !tbaa !30
  %183 = load ptr, ptr %9, align 8, !tbaa !5
  %184 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %183, i32 0, i32 6
  %185 = load i64, ptr %184, align 8, !tbaa !41
  %186 = sub nsw i64 %185, 1
  %187 = icmp sle i64 %182, %186
  br i1 %187, label %188, label %210

188:                                              ; preds = %181
  %189 = load ptr, ptr %15, align 8, !tbaa !5
  %190 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %189, i32 0, i32 4
  %191 = load ptr, ptr %190, align 8, !tbaa !33
  %192 = load i64, ptr %17, align 8, !tbaa !30
  %193 = getelementptr inbounds double, ptr %191, i64 %192
  %194 = load double, ptr %193, align 8, !tbaa !36
  %195 = load ptr, ptr %9, align 8, !tbaa !5
  %196 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %195, i32 0, i32 40
  %197 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %196, i32 0, i32 4
  %198 = load ptr, ptr %197, align 8, !tbaa !33
  %199 = load ptr, ptr %9, align 8, !tbaa !5
  %200 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %199, i32 0, i32 33
  %201 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %200, i32 0, i32 4
  %202 = load ptr, ptr %201, align 8, !tbaa !33
  %203 = load i64, ptr %17, align 8, !tbaa !30
  %204 = getelementptr inbounds i64, ptr %202, i64 %203
  %205 = load i64, ptr %204, align 8, !tbaa !30
  %206 = getelementptr inbounds double, ptr %198, i64 %205
  store double %194, ptr %206, align 8, !tbaa !36
  br label %207

207:                                              ; preds = %188
  %208 = load i64, ptr %17, align 8, !tbaa !30
  %209 = add nsw i64 %208, 1
  store i64 %209, ptr %17, align 8, !tbaa !30
  br label %181, !llvm.loop !42

210:                                              ; preds = %181
  %211 = load ptr, ptr %9, align 8, !tbaa !5
  %212 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %211, i32 0, i32 35
  %213 = load ptr, ptr %9, align 8, !tbaa !5
  %214 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %213, i32 0, i32 38
  %215 = load ptr, ptr %9, align 8, !tbaa !5
  %216 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %215, i32 0, i32 37
  %217 = load ptr, ptr %9, align 8, !tbaa !5
  %218 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %217, i32 0, i32 39
  %219 = load ptr, ptr %9, align 8, !tbaa !5
  %220 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %219, i32 0, i32 40
  %221 = load ptr, ptr %9, align 8, !tbaa !5
  %222 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %221, i32 0, i32 36
  %223 = load i8, ptr %12, align 1, !tbaa !9, !range !11, !noundef !12
  %224 = trunc i8 %223 to i1
  %225 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_implL37lpqppresolve_presolverrestoresolutionEPNS_14presolverstackEPNS_9ae_vectorES3_S3_S3_S3_bPNS_8ae_stateE(ptr noundef %212, ptr noundef %214, ptr noundef %216, ptr noundef %218, ptr noundef %220, ptr noundef %222, i1 noundef zeroext %224, ptr noundef %225)
  store i64 0, ptr %17, align 8, !tbaa !30
  br label %226

226:                                              ; preds = %350, %210
  %227 = load i64, ptr %17, align 8, !tbaa !30
  %228 = load ptr, ptr %9, align 8, !tbaa !5
  %229 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %228, i32 0, i32 1
  %230 = load i64, ptr %229, align 8, !tbaa !13
  %231 = sub nsw i64 %230, 1
  %232 = icmp sle i64 %227, %231
  br i1 %232, label %233, label %353

233:                                              ; preds = %226
  %234 = load ptr, ptr %9, align 8, !tbaa !5
  %235 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %234, i32 0, i32 9
  %236 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %235, i32 0, i32 4
  %237 = load ptr, ptr %236, align 8, !tbaa !33
  %238 = load i64, ptr %17, align 8, !tbaa !30
  %239 = getelementptr inbounds double, ptr %237, i64 %238
  %240 = load double, ptr %239, align 8, !tbaa !36
  %241 = load ptr, ptr %16, align 8, !tbaa !5
  %242 = call noundef zeroext i1 @_ZN11alglib_impl11ae_isfiniteEdPNS_8ae_stateE(double noundef %240, ptr noundef %241)
  br i1 %242, label %243, label %266

243:                                              ; preds = %233
  %244 = load ptr, ptr %9, align 8, !tbaa !5
  %245 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %244, i32 0, i32 38
  %246 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %245, i32 0, i32 4
  %247 = load ptr, ptr %246, align 8, !tbaa !33
  %248 = load i64, ptr %17, align 8, !tbaa !30
  %249 = getelementptr inbounds double, ptr %247, i64 %248
  %250 = load double, ptr %249, align 8, !tbaa !36
  %251 = load ptr, ptr %9, align 8, !tbaa !5
  %252 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %251, i32 0, i32 9
  %253 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %252, i32 0, i32 4
  %254 = load ptr, ptr %253, align 8, !tbaa !33
  %255 = load i64, ptr %17, align 8, !tbaa !30
  %256 = getelementptr inbounds double, ptr %254, i64 %255
  %257 = load double, ptr %256, align 8, !tbaa !36
  %258 = load ptr, ptr %16, align 8, !tbaa !5
  %259 = call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %250, double noundef %257, ptr noundef %258)
  %260 = load ptr, ptr %9, align 8, !tbaa !5
  %261 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %260, i32 0, i32 38
  %262 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %261, i32 0, i32 4
  %263 = load ptr, ptr %262, align 8, !tbaa !33
  %264 = load i64, ptr %17, align 8, !tbaa !30
  %265 = getelementptr inbounds double, ptr %263, i64 %264
  store double %259, ptr %265, align 8, !tbaa !36
  br label %266

266:                                              ; preds = %243, %233
  %267 = load ptr, ptr %9, align 8, !tbaa !5
  %268 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %267, i32 0, i32 10
  %269 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %268, i32 0, i32 4
  %270 = load ptr, ptr %269, align 8, !tbaa !33
  %271 = load i64, ptr %17, align 8, !tbaa !30
  %272 = getelementptr inbounds double, ptr %270, i64 %271
  %273 = load double, ptr %272, align 8, !tbaa !36
  %274 = load ptr, ptr %16, align 8, !tbaa !5
  %275 = call noundef zeroext i1 @_ZN11alglib_impl11ae_isfiniteEdPNS_8ae_stateE(double noundef %273, ptr noundef %274)
  br i1 %275, label %276, label %299

276:                                              ; preds = %266
  %277 = load ptr, ptr %9, align 8, !tbaa !5
  %278 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %277, i32 0, i32 38
  %279 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %278, i32 0, i32 4
  %280 = load ptr, ptr %279, align 8, !tbaa !33
  %281 = load i64, ptr %17, align 8, !tbaa !30
  %282 = getelementptr inbounds double, ptr %280, i64 %281
  %283 = load double, ptr %282, align 8, !tbaa !36
  %284 = load ptr, ptr %9, align 8, !tbaa !5
  %285 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %284, i32 0, i32 10
  %286 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %285, i32 0, i32 4
  %287 = load ptr, ptr %286, align 8, !tbaa !33
  %288 = load i64, ptr %17, align 8, !tbaa !30
  %289 = getelementptr inbounds double, ptr %287, i64 %288
  %290 = load double, ptr %289, align 8, !tbaa !36
  %291 = load ptr, ptr %16, align 8, !tbaa !5
  %292 = call noundef double @_ZN11alglib_impl10ae_minrealEddPNS_8ae_stateE(double noundef %283, double noundef %290, ptr noundef %291)
  %293 = load ptr, ptr %9, align 8, !tbaa !5
  %294 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %293, i32 0, i32 38
  %295 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %294, i32 0, i32 4
  %296 = load ptr, ptr %295, align 8, !tbaa !33
  %297 = load i64, ptr %17, align 8, !tbaa !30
  %298 = getelementptr inbounds double, ptr %296, i64 %297
  store double %292, ptr %298, align 8, !tbaa !36
  br label %299

299:                                              ; preds = %276, %266
  %300 = load i8, ptr %12, align 1, !tbaa !9, !range !11, !noundef !12
  %301 = trunc i8 %300 to i1
  br i1 %301, label %302, label %349

302:                                              ; preds = %299
  %303 = load ptr, ptr %9, align 8, !tbaa !5
  %304 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %303, i32 0, i32 36
  %305 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %304, i32 0, i32 4
  %306 = load ptr, ptr %305, align 8, !tbaa !33
  %307 = load i64, ptr %17, align 8, !tbaa !30
  %308 = getelementptr inbounds i64, ptr %306, i64 %307
  %309 = load i64, ptr %308, align 8, !tbaa !30
  %310 = icmp slt i64 %309, 0
  br i1 %310, label %311, label %325

311:                                              ; preds = %302
  %312 = load ptr, ptr %9, align 8, !tbaa !5
  %313 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %312, i32 0, i32 9
  %314 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %313, i32 0, i32 4
  %315 = load ptr, ptr %314, align 8, !tbaa !33
  %316 = load i64, ptr %17, align 8, !tbaa !30
  %317 = getelementptr inbounds double, ptr %315, i64 %316
  %318 = load double, ptr %317, align 8, !tbaa !36
  %319 = load ptr, ptr %9, align 8, !tbaa !5
  %320 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %319, i32 0, i32 38
  %321 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %320, i32 0, i32 4
  %322 = load ptr, ptr %321, align 8, !tbaa !33
  %323 = load i64, ptr %17, align 8, !tbaa !30
  %324 = getelementptr inbounds double, ptr %322, i64 %323
  store double %318, ptr %324, align 8, !tbaa !36
  br label %325

325:                                              ; preds = %311, %302
  %326 = load ptr, ptr %9, align 8, !tbaa !5
  %327 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %326, i32 0, i32 36
  %328 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %327, i32 0, i32 4
  %329 = load ptr, ptr %328, align 8, !tbaa !33
  %330 = load i64, ptr %17, align 8, !tbaa !30
  %331 = getelementptr inbounds i64, ptr %329, i64 %330
  %332 = load i64, ptr %331, align 8, !tbaa !30
  %333 = icmp sgt i64 %332, 0
  br i1 %333, label %334, label %348

334:                                              ; preds = %325
  %335 = load ptr, ptr %9, align 8, !tbaa !5
  %336 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %335, i32 0, i32 10
  %337 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %336, i32 0, i32 4
  %338 = load ptr, ptr %337, align 8, !tbaa !33
  %339 = load i64, ptr %17, align 8, !tbaa !30
  %340 = getelementptr inbounds double, ptr %338, i64 %339
  %341 = load double, ptr %340, align 8, !tbaa !36
  %342 = load ptr, ptr %9, align 8, !tbaa !5
  %343 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %342, i32 0, i32 38
  %344 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %343, i32 0, i32 4
  %345 = load ptr, ptr %344, align 8, !tbaa !33
  %346 = load i64, ptr %17, align 8, !tbaa !30
  %347 = getelementptr inbounds double, ptr %345, i64 %346
  store double %341, ptr %347, align 8, !tbaa !36
  br label %348

348:                                              ; preds = %334, %325
  br label %349

349:                                              ; preds = %348, %299
  br label %350

350:                                              ; preds = %349
  %351 = load i64, ptr %17, align 8, !tbaa !30
  %352 = add nsw i64 %351, 1
  store i64 %352, ptr %17, align 8, !tbaa !30
  br label %226, !llvm.loop !43

353:                                              ; preds = %226
  %354 = load ptr, ptr %9, align 8, !tbaa !5
  %355 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %354, i32 0, i32 1
  %356 = load i64, ptr %355, align 8, !tbaa !13
  %357 = load ptr, ptr %9, align 8, !tbaa !5
  %358 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %357, i32 0, i32 8
  %359 = load ptr, ptr %9, align 8, !tbaa !5
  %360 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %359, i32 0, i32 41
  %361 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %356, ptr noundef %358, ptr noundef %360, ptr noundef %361)
  %362 = load ptr, ptr %9, align 8, !tbaa !5
  %363 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %362, i32 0, i32 5
  %364 = load i64, ptr %363, align 8, !tbaa !29
  %365 = icmp sgt i64 %364, 0
  br i1 %365, label %366, label %374

366:                                              ; preds = %353
  %367 = load ptr, ptr %9, align 8, !tbaa !5
  %368 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %367, i32 0, i32 13
  %369 = load ptr, ptr %9, align 8, !tbaa !5
  %370 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %369, i32 0, i32 39
  %371 = load ptr, ptr %9, align 8, !tbaa !5
  %372 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %371, i32 0, i32 41
  %373 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl10sparsegemvEPKNS_12sparsematrixEdlPKNS_9ae_vectorEldPS3_lPNS_8ae_stateE(ptr noundef %368, double noundef 1.000000e+00, i64 noundef 1, ptr noundef %370, i64 noundef 0, double noundef 1.000000e+00, ptr noundef %372, i64 noundef 0, ptr noundef %373)
  br label %374

374:                                              ; preds = %366, %353
  store i64 0, ptr %17, align 8, !tbaa !30
  br label %375

375:                                              ; preds = %407, %374
  %376 = load i64, ptr %17, align 8, !tbaa !30
  %377 = load ptr, ptr %9, align 8, !tbaa !5
  %378 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %377, i32 0, i32 1
  %379 = load i64, ptr %378, align 8, !tbaa !13
  %380 = sub nsw i64 %379, 1
  %381 = icmp sle i64 %376, %380
  br i1 %381, label %382, label %410

382:                                              ; preds = %375
  %383 = load ptr, ptr %9, align 8, !tbaa !5
  %384 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %383, i32 0, i32 17
  %385 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %384, i32 0, i32 4
  %386 = load ptr, ptr %385, align 8, !tbaa !33
  %387 = load i64, ptr %17, align 8, !tbaa !30
  %388 = getelementptr inbounds i8, ptr %386, i64 %387
  %389 = load i8, ptr %388, align 1, !tbaa !9, !range !11, !noundef !12
  %390 = trunc i8 %389 to i1
  br i1 %390, label %391, label %406

391:                                              ; preds = %382
  %392 = load ptr, ptr %9, align 8, !tbaa !5
  %393 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %392, i32 0, i32 41
  %394 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %393, i32 0, i32 4
  %395 = load ptr, ptr %394, align 8, !tbaa !33
  %396 = load i64, ptr %17, align 8, !tbaa !30
  %397 = getelementptr inbounds double, ptr %395, i64 %396
  %398 = load double, ptr %397, align 8, !tbaa !36
  %399 = fneg double %398
  %400 = load ptr, ptr %9, align 8, !tbaa !5
  %401 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %400, i32 0, i32 37
  %402 = getelementptr inbounds %"struct.alglib_impl::ae_vector", ptr %401, i32 0, i32 4
  %403 = load ptr, ptr %402, align 8, !tbaa !33
  %404 = load i64, ptr %17, align 8, !tbaa !30
  %405 = getelementptr inbounds double, ptr %403, i64 %404
  store double %399, ptr %405, align 8, !tbaa !36
  br label %406

406:                                              ; preds = %391, %382
  br label %407

407:                                              ; preds = %406
  %408 = load i64, ptr %17, align 8, !tbaa !30
  %409 = add nsw i64 %408, 1
  store i64 %409, ptr %17, align 8, !tbaa !30
  br label %375, !llvm.loop !44

410:                                              ; preds = %375
  %411 = load ptr, ptr %9, align 8, !tbaa !5
  %412 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %411, i32 0, i32 1
  %413 = load i64, ptr %412, align 8, !tbaa !13
  %414 = load ptr, ptr %9, align 8, !tbaa !5
  %415 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %414, i32 0, i32 38
  %416 = load ptr, ptr %10, align 8, !tbaa !5
  %417 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %413, ptr noundef %415, ptr noundef %416, ptr noundef %417)
  %418 = load ptr, ptr %9, align 8, !tbaa !5
  %419 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %418, i32 0, i32 2
  %420 = load i64, ptr %419, align 8, !tbaa !40
  %421 = load ptr, ptr %9, align 8, !tbaa !5
  %422 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %421, i32 0, i32 40
  %423 = load ptr, ptr %15, align 8, !tbaa !5
  %424 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %420, ptr noundef %422, ptr noundef %423, ptr noundef %424)
  %425 = load ptr, ptr %9, align 8, !tbaa !5
  %426 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %425, i32 0, i32 5
  %427 = load i64, ptr %426, align 8, !tbaa !29
  %428 = load ptr, ptr %9, align 8, !tbaa !5
  %429 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %428, i32 0, i32 39
  %430 = load ptr, ptr %14, align 8, !tbaa !5
  %431 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %427, ptr noundef %429, ptr noundef %430, ptr noundef %431)
  %432 = load i8, ptr %12, align 1, !tbaa !9, !range !11, !noundef !12
  %433 = trunc i8 %432 to i1
  br i1 %433, label %434, label %446

434:                                              ; preds = %410
  %435 = load ptr, ptr %9, align 8, !tbaa !5
  %436 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %435, i32 0, i32 1
  %437 = load i64, ptr %436, align 8, !tbaa !13
  %438 = load ptr, ptr %9, align 8, !tbaa !5
  %439 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %438, i32 0, i32 5
  %440 = load i64, ptr %439, align 8, !tbaa !29
  %441 = add nsw i64 %437, %440
  %442 = load ptr, ptr %9, align 8, !tbaa !5
  %443 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %442, i32 0, i32 36
  %444 = load ptr, ptr %11, align 8, !tbaa !5
  %445 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl11icopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %441, ptr noundef %443, ptr noundef %444, ptr noundef %445)
  br label %446

446:                                              ; preds = %434, %410
  %447 = load ptr, ptr %9, align 8, !tbaa !5
  %448 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %447, i32 0, i32 1
  %449 = load i64, ptr %448, align 8, !tbaa !13
  %450 = load ptr, ptr %9, align 8, !tbaa !5
  %451 = getelementptr inbounds %"struct.alglib_impl::presolveinfo", ptr %450, i32 0, i32 37
  %452 = load ptr, ptr %13, align 8, !tbaa !5
  %453 = load ptr, ptr %16, align 8, !tbaa !5
  call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %449, ptr noundef %451, ptr noundef %452, ptr noundef %453)
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #3
  ret void
}

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN11alglib_implL37lpqppresolve_presolverrestoresolutionEPNS_14presolverstackEPNS_9ae_vectorES3_S3_S3_S3_bPNS_8ae_stateE(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i1 noundef zeroext, ptr noundef) #2

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 = !{!"bool", !7, i64 0}
!11 = !{i8 0, i8 2}
!12 = !{}
!13 = !{!14, !15, i64 8}
!14 = !{!"_ZTSN11alglib_impl12presolveinfoE", !15, i64 0, !15, i64 8, !15, i64 16, !15, i64 24, !15, i64 32, !15, i64 40, !15, i64 48, !15, i64 56, !16, i64 64, !16, i64 128, !16, i64 192, !10, i64 256, !18, i64 264, !18, i64 632, !19, i64 1000, !22, i64 1208, !15, i64 1352, !16, i64 1360, !16, i64 1424, !16, i64 1488, !16, i64 1552, !18, i64 1616, !18, i64 1984, !16, i64 2352, !16, i64 2416, !19, i64 2480, !22, i64 2688, !16, i64 2832, !16, i64 2896, !16, i64 2960, !16, i64 3024, !16, i64 3088, !16, i64 3152, !16, i64 3216, !16, i64 3280, !23, i64 3344, !16, i64 4240, !16, i64 4304, !16, i64 4368, !16, i64 4432, !16, i64 4496, !16, i64 4560, !16, i64 4624, !24, i64 4688}
!15 = !{!"long", !7, i64 0}
!16 = !{!"_ZTSN11alglib_impl9ae_vectorE", !15, i64 0, !15, i64 8, !10, i64 16, !17, i64 24, !7, i64 56}
!17 = !{!"_ZTSN11alglib_impl12ae_dyn_blockE", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!18 = !{!"_ZTSN11alglib_impl12sparsematrixE", !16, i64 0, !16, i64 64, !16, i64 128, !16, i64 192, !16, i64 256, !15, i64 320, !15, i64 328, !15, i64 336, !15, i64 344, !15, i64 352, !15, i64 360}
!19 = !{!"_ZTSN11alglib_impl21xquadraticconstraintsE", !15, i64 0, !20, i64 8, !16, i64 144}
!20 = !{!"_ZTSN11alglib_impl12ae_obj_arrayE", !15, i64 0, !15, i64 8, !10, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !21, i64 56, !17, i64 104}
!21 = !{!"_ZTSN11alglib_impl7ae_lockE", !6, i64 0, !17, i64 8, !10, i64 40}
!22 = !{!"_ZTSN11alglib_impl17xconicconstraintsE", !15, i64 0, !20, i64 8}
!23 = !{!"_ZTSN11alglib_impl14presolverstackE", !15, i64 0, !15, i64 8, !15, i64 16, !15, i64 24, !15, i64 32, !16, i64 40, !16, i64 104, !16, i64 168, !16, i64 232, !16, i64 296, !15, i64 360, !15, i64 368, !15, i64 376, !16, i64 384, !16, i64 448, !16, i64 512, !16, i64 576, !16, i64 640, !16, i64 704, !16, i64 768, !16, i64 832}
!24 = !{!"_ZTSN11alglib_impl15presolvebuffersE", !25, i64 0, !25, i64 152, !25, i64 304, !25, i64 456, !16, i64 608, !16, i64 672, !16, i64 736, !16, i64 800, !26, i64 864}
!25 = !{!"_ZTSN11alglib_impl5nisetE", !15, i64 0, !15, i64 8, !16, i64 16, !16, i64 80, !15, i64 144}
!26 = !{!"_ZTSN11alglib_impl21dynamiccrsqconstraintE", !15, i64 0, !16, i64 8, !16, i64 72, !27, i64 136, !28, i64 416, !28, i64 424, !10, i64 432}
!27 = !{!"_ZTSN11alglib_impl10dynamiccrsE", !15, i64 0, !15, i64 8, !15, i64 16, !16, i64 24, !16, i64 88, !16, i64 152, !16, i64 216}
!28 = !{!"double", !7, i64 0}
!29 = !{!14, !15, i64 40}
!30 = !{!15, !15, i64 0}
!31 = !{!14, !15, i64 0}
!32 = !{!14, !15, i64 32}
!33 = !{!7, !7, i64 0}
!34 = distinct !{!34, !35}
!35 = !{!"llvm.loop.mustprogress"}
!36 = !{!28, !28, i64 0}
!37 = distinct !{!37, !35}
!38 = distinct !{!38, !35}
!39 = distinct !{!39, !35}
!40 = !{!14, !15, i64 16}
!41 = !{!14, !15, i64 48}
!42 = distinct !{!42, !35}
!43 = distinct !{!43, !35}
!44 = distinct !{!44, !35}


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

declare noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef, double noundef, ptr noundef) local_unnamed_addr #0

declare noundef zeroext i1 @_ZN11alglib_impl11ae_isfiniteEdPNS_8ae_stateE(double noundef, ptr noundef) local_unnamed_addr #0

declare noundef double @_ZN11alglib_impl10ae_minrealEddPNS_8ae_stateE(double noundef, double noundef, ptr noundef) local_unnamed_addr #0

declare void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef, double noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

declare void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

declare void @_ZN11alglib_impl10isetallocvEllPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef, i64 noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

declare void @_ZN11alglib_impl11icopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #0

declare void @_ZN11alglib_impl10sparsegemvEPKNS_12sparsematrixEdlPKNS_9ae_vectorEldPS3_lPNS_8ae_stateE(ptr noundef, double noundef, i64 noundef, ptr noundef, i64 noundef, double noundef, ptr noundef, i64 noundef, ptr noundef) local_unnamed_addr #0

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN11alglib_impl11presolvebwdEPNS_12presolveinfoEPNS_9ae_vectorES3_bS3_S3_S3_PNS_8ae_stateE(ptr noundef %0, ptr noundef %1, ptr noundef %2, i1 noundef zeroext %3, ptr noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7) local_unnamed_addr #1 {
  br i1 %3, label %9, label %.loopexit

9:                                                ; preds = %8
  %10 = getelementptr inbounds i8, ptr %0, i64 8
  %11 = load i64, ptr %10, align 8, !tbaa !5
  %12 = getelementptr inbounds i8, ptr %0, i64 40
  %13 = load i64, ptr %12, align 8, !tbaa !25
  %14 = add nsw i64 %13, %11
  %15 = getelementptr inbounds i8, ptr %0, i64 4240
  tail call void @_ZN11alglib_impl10isetallocvEllPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %14, i64 noundef 0, ptr noundef nonnull %15, ptr noundef %7)
  %16 = getelementptr inbounds i8, ptr %0, i64 32
  %17 = load i64, ptr %0, align 8, !tbaa !26
  %18 = load i64, ptr %16, align 8, !tbaa !27
  %19 = add nsw i64 %18, %17
  %.not.not148 = icmp sgt i64 %19, 0
  br i1 %.not.not148, label %.lr.ph, label %.loopexit

.lr.ph:                                           ; preds = %9
  %20 = getelementptr inbounds i8, ptr %2, i64 56
  %21 = getelementptr inbounds i8, ptr %0, i64 4296
  %22 = getelementptr inbounds i8, ptr %0, i64 3336
  br label %23

23:                                               ; preds = %.lr.ph, %23
  %.0149 = phi i64 [ 0, %.lr.ph ], [ %32, %23 ]
  %24 = load ptr, ptr %20, align 8, !tbaa !28
  %25 = getelementptr inbounds i64, ptr %24, i64 %.0149
  %26 = load i64, ptr %25, align 8, !tbaa !29
  %27 = load ptr, ptr %21, align 8, !tbaa !28
  %28 = load ptr, ptr %22, align 8, !tbaa !28
  %29 = getelementptr inbounds i64, ptr %28, i64 %.0149
  %30 = load i64, ptr %29, align 8, !tbaa !29
  %31 = getelementptr inbounds i64, ptr %27, i64 %30
  store i64 %26, ptr %31, align 8, !tbaa !29
  %32 = add nuw nsw i64 %.0149, 1
  %33 = load i64, ptr %0, align 8, !tbaa !26
  %34 = load i64, ptr %16, align 8, !tbaa !27
  %35 = add nsw i64 %34, %33
  %.not.not = icmp slt i64 %32, %35
  br i1 %.not.not, label %23, label %.loopexit, !llvm.loop !30

.loopexit:                                        ; preds = %23, %9, %8
  %36 = getelementptr inbounds i8, ptr %0, i64 8
  %37 = load i64, ptr %36, align 8, !tbaa !5
  %38 = getelementptr inbounds i8, ptr %0, i64 4368
  tail call void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %37, double noundef 0.000000e+00, ptr noundef nonnull %38, ptr noundef %7)
  %39 = load i64, ptr %0, align 8, !tbaa !26
  %.not.not141150 = icmp sgt i64 %39, 0
  br i1 %.not.not141150, label %.lr.ph152, label %._crit_edge

.lr.ph152:                                        ; preds = %.loopexit
  %40 = getelementptr inbounds i8, ptr %1, i64 56
  %41 = getelementptr inbounds i8, ptr %0, i64 4424
  %42 = getelementptr inbounds i8, ptr %0, i64 3144
  %xtraiter = and i64 %39, 1
  %43 = icmp eq i64 %39, 1
  br i1 %43, label %._crit_edge.loopexit.unr-lcssa, label %.lr.ph152.new

.lr.ph152.new:                                    ; preds = %.lr.ph152
  %unroll_iter = and i64 %39, 9223372036854775806
  br label %44

44:                                               ; preds = %44, %.lr.ph152.new
  %.1151 = phi i64 [ 0, %.lr.ph152.new ], [ %62, %44 ]
  %niter = phi i64 [ 0, %.lr.ph152.new ], [ %niter.next.1, %44 ]
  %45 = load ptr, ptr %40, align 8, !tbaa !28
  %46 = getelementptr inbounds double, ptr %45, i64 %.1151
  %47 = load double, ptr %46, align 8, !tbaa !32
  %48 = load ptr, ptr %41, align 8, !tbaa !28
  %49 = load ptr, ptr %42, align 8, !tbaa !28
  %50 = getelementptr inbounds i64, ptr %49, i64 %.1151
  %51 = load i64, ptr %50, align 8, !tbaa !29
  %52 = getelementptr inbounds double, ptr %48, i64 %51
  store double %47, ptr %52, align 8, !tbaa !32
  %53 = or disjoint i64 %.1151, 1
  %54 = load ptr, ptr %40, align 8, !tbaa !28
  %55 = getelementptr inbounds double, ptr %54, i64 %53
  %56 = load double, ptr %55, align 8, !tbaa !32
  %57 = load ptr, ptr %41, align 8, !tbaa !28
  %58 = load ptr, ptr %42, align 8, !tbaa !28
  %59 = getelementptr inbounds i64, ptr %58, i64 %53
  %60 = load i64, ptr %59, align 8, !tbaa !29
  %61 = getelementptr inbounds double, ptr %57, i64 %60
  store double %56, ptr %61, align 8, !tbaa !32
  %62 = add nuw nsw i64 %.1151, 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 %._crit_edge.loopexit.unr-lcssa, label %44, !llvm.loop !33

._crit_edge.loopexit.unr-lcssa:                   ; preds = %44, %.lr.ph152
  %.1151.unr = phi i64 [ 0, %.lr.ph152 ], [ %62, %44 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %._crit_edge, label %._crit_edge.loopexit.epilog-lcssa

._crit_edge.loopexit.epilog-lcssa:                ; preds = %._crit_edge.loopexit.unr-lcssa
  %63 = load ptr, ptr %40, align 8, !tbaa !28
  %64 = getelementptr inbounds double, ptr %63, i64 %.1151.unr
  %65 = load double, ptr %64, align 8, !tbaa !32
  %66 = load ptr, ptr %41, align 8, !tbaa !28
  %67 = load ptr, ptr %42, align 8, !tbaa !28
  %68 = getelementptr inbounds i64, ptr %67, i64 %.1151.unr
  %69 = load i64, ptr %68, align 8, !tbaa !29
  %70 = getelementptr inbounds double, ptr %66, i64 %69
  store double %65, ptr %70, align 8, !tbaa !32
  br label %._crit_edge

._crit_edge:                                      ; preds = %._crit_edge.loopexit.epilog-lcssa, %._crit_edge.loopexit.unr-lcssa, %.loopexit
  %71 = load i64, ptr %36, align 8, !tbaa !5
  %72 = getelementptr inbounds i8, ptr %0, i64 4304
  tail call void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %71, double noundef 0.000000e+00, ptr noundef nonnull %72, ptr noundef %7)
  %73 = load i64, ptr %0, align 8, !tbaa !26
  %.not.not142153 = icmp sgt i64 %73, 0
  br i1 %.not.not142153, label %.lr.ph156, label %._crit_edge157

.lr.ph156:                                        ; preds = %._crit_edge
  %74 = getelementptr inbounds i8, ptr %4, i64 56
  %75 = getelementptr inbounds i8, ptr %0, i64 4360
  %76 = getelementptr inbounds i8, ptr %0, i64 3144
  %xtraiter185 = and i64 %73, 1
  %77 = icmp eq i64 %73, 1
  br i1 %77, label %._crit_edge157.loopexit.unr-lcssa, label %.lr.ph156.new

.lr.ph156.new:                                    ; preds = %.lr.ph156
  %unroll_iter187 = and i64 %73, 9223372036854775806
  br label %78

78:                                               ; preds = %78, %.lr.ph156.new
  %.2154 = phi i64 [ 0, %.lr.ph156.new ], [ %96, %78 ]
  %niter188 = phi i64 [ 0, %.lr.ph156.new ], [ %niter188.next.1, %78 ]
  %79 = load ptr, ptr %74, align 8, !tbaa !28
  %80 = getelementptr inbounds double, ptr %79, i64 %.2154
  %81 = load double, ptr %80, align 8, !tbaa !32
  %82 = load ptr, ptr %75, align 8, !tbaa !28
  %83 = load ptr, ptr %76, align 8, !tbaa !28
  %84 = getelementptr inbounds i64, ptr %83, i64 %.2154
  %85 = load i64, ptr %84, align 8, !tbaa !29
  %86 = getelementptr inbounds double, ptr %82, i64 %85
  store double %81, ptr %86, align 8, !tbaa !32
  %87 = or disjoint i64 %.2154, 1
  %88 = load ptr, ptr %74, align 8, !tbaa !28
  %89 = getelementptr inbounds double, ptr %88, i64 %87
  %90 = load double, ptr %89, align 8, !tbaa !32
  %91 = load ptr, ptr %75, align 8, !tbaa !28
  %92 = load ptr, ptr %76, align 8, !tbaa !28
  %93 = getelementptr inbounds i64, ptr %92, i64 %87
  %94 = load i64, ptr %93, align 8, !tbaa !29
  %95 = getelementptr inbounds double, ptr %91, i64 %94
  store double %90, ptr %95, align 8, !tbaa !32
  %96 = add nuw nsw i64 %.2154, 2
  %niter188.next.1 = add i64 %niter188, 2
  %niter188.ncmp.1 = icmp eq i64 %niter188.next.1, %unroll_iter187
  br i1 %niter188.ncmp.1, label %._crit_edge157.loopexit.unr-lcssa, label %78, !llvm.loop !34

._crit_edge157.loopexit.unr-lcssa:                ; preds = %78, %.lr.ph156
  %.2154.unr = phi i64 [ 0, %.lr.ph156 ], [ %96, %78 ]
  %lcmp.mod186.not = icmp eq i64 %xtraiter185, 0
  br i1 %lcmp.mod186.not, label %._crit_edge157, label %._crit_edge157.loopexit.epilog-lcssa

._crit_edge157.loopexit.epilog-lcssa:             ; preds = %._crit_edge157.loopexit.unr-lcssa
  %97 = load ptr, ptr %74, align 8, !tbaa !28
  %98 = getelementptr inbounds double, ptr %97, i64 %.2154.unr
  %99 = load double, ptr %98, align 8, !tbaa !32
  %100 = load ptr, ptr %75, align 8, !tbaa !28
  %101 = load ptr, ptr %76, align 8, !tbaa !28
  %102 = getelementptr inbounds i64, ptr %101, i64 %.2154.unr
  %103 = load i64, ptr %102, align 8, !tbaa !29
  %104 = getelementptr inbounds double, ptr %100, i64 %103
  store double %99, ptr %104, align 8, !tbaa !32
  br label %._crit_edge157

._crit_edge157:                                   ; preds = %._crit_edge157.loopexit.epilog-lcssa, %._crit_edge157.loopexit.unr-lcssa, %._crit_edge
  %105 = getelementptr inbounds i8, ptr %0, i64 40
  %106 = load i64, ptr %105, align 8, !tbaa !25
  %107 = getelementptr inbounds i8, ptr %0, i64 4432
  tail call void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %106, double noundef 0.000000e+00, ptr noundef nonnull %107, ptr noundef %7)
  %108 = getelementptr inbounds i8, ptr %0, i64 32
  %109 = load i64, ptr %108, align 8, !tbaa !27
  %.not.not143158 = icmp sgt i64 %109, 0
  br i1 %.not.not143158, label %.lr.ph161, label %._crit_edge162

.lr.ph161:                                        ; preds = %._crit_edge157
  %110 = getelementptr inbounds i8, ptr %5, i64 56
  %111 = getelementptr inbounds i8, ptr %0, i64 4488
  %112 = getelementptr inbounds i8, ptr %0, i64 3208
  %xtraiter190 = and i64 %109, 1
  %113 = icmp eq i64 %109, 1
  br i1 %113, label %._crit_edge162.loopexit.unr-lcssa, label %.lr.ph161.new

.lr.ph161.new:                                    ; preds = %.lr.ph161
  %unroll_iter192 = and i64 %109, 9223372036854775806
  br label %114

114:                                              ; preds = %114, %.lr.ph161.new
  %.3159 = phi i64 [ 0, %.lr.ph161.new ], [ %132, %114 ]
  %niter193 = phi i64 [ 0, %.lr.ph161.new ], [ %niter193.next.1, %114 ]
  %115 = load ptr, ptr %110, align 8, !tbaa !28
  %116 = getelementptr inbounds double, ptr %115, i64 %.3159
  %117 = load double, ptr %116, align 8, !tbaa !32
  %118 = load ptr, ptr %111, align 8, !tbaa !28
  %119 = load ptr, ptr %112, align 8, !tbaa !28
  %120 = getelementptr inbounds i64, ptr %119, i64 %.3159
  %121 = load i64, ptr %120, align 8, !tbaa !29
  %122 = getelementptr inbounds double, ptr %118, i64 %121
  store double %117, ptr %122, align 8, !tbaa !32
  %123 = or disjoint i64 %.3159, 1
  %124 = load ptr, ptr %110, align 8, !tbaa !28
  %125 = getelementptr inbounds double, ptr %124, i64 %123
  %126 = load double, ptr %125, align 8, !tbaa !32
  %127 = load ptr, ptr %111, align 8, !tbaa !28
  %128 = load ptr, ptr %112, align 8, !tbaa !28
  %129 = getelementptr inbounds i64, ptr %128, i64 %123
  %130 = load i64, ptr %129, align 8, !tbaa !29
  %131 = getelementptr inbounds double, ptr %127, i64 %130
  store double %126, ptr %131, align 8, !tbaa !32
  %132 = add nuw nsw i64 %.3159, 2
  %niter193.next.1 = add i64 %niter193, 2
  %niter193.ncmp.1 = icmp eq i64 %niter193.next.1, %unroll_iter192
  br i1 %niter193.ncmp.1, label %._crit_edge162.loopexit.unr-lcssa, label %114, !llvm.loop !35

._crit_edge162.loopexit.unr-lcssa:                ; preds = %114, %.lr.ph161
  %.3159.unr = phi i64 [ 0, %.lr.ph161 ], [ %132, %114 ]
  %lcmp.mod191.not = icmp eq i64 %xtraiter190, 0
  br i1 %lcmp.mod191.not, label %._crit_edge162, label %._crit_edge162.loopexit.epilog-lcssa

._crit_edge162.loopexit.epilog-lcssa:             ; preds = %._crit_edge162.loopexit.unr-lcssa
  %133 = load ptr, ptr %110, align 8, !tbaa !28
  %134 = getelementptr inbounds double, ptr %133, i64 %.3159.unr
  %135 = load double, ptr %134, align 8, !tbaa !32
  %136 = load ptr, ptr %111, align 8, !tbaa !28
  %137 = load ptr, ptr %112, align 8, !tbaa !28
  %138 = getelementptr inbounds i64, ptr %137, i64 %.3159.unr
  %139 = load i64, ptr %138, align 8, !tbaa !29
  %140 = getelementptr inbounds double, ptr %136, i64 %139
  store double %135, ptr %140, align 8, !tbaa !32
  br label %._crit_edge162

._crit_edge162:                                   ; preds = %._crit_edge162.loopexit.epilog-lcssa, %._crit_edge162.loopexit.unr-lcssa, %._crit_edge157
  %141 = getelementptr inbounds i8, ptr %0, i64 16
  %142 = load i64, ptr %141, align 8, !tbaa !36
  %143 = getelementptr inbounds i8, ptr %0, i64 4496
  tail call void @_ZN11alglib_impl10rsetallocvEldPNS_9ae_vectorEPNS_8ae_stateE(i64 noundef %142, double noundef 0.000000e+00, ptr noundef nonnull %143, ptr noundef %7)
  %144 = getelementptr inbounds i8, ptr %0, i64 48
  %145 = load i64, ptr %144, align 8, !tbaa !37
  %.not.not144163 = icmp sgt i64 %145, 0
  br i1 %.not.not144163, label %.lr.ph166, label %._crit_edge167

.lr.ph166:                                        ; preds = %._crit_edge162
  %146 = getelementptr inbounds i8, ptr %6, i64 56
  %147 = getelementptr inbounds i8, ptr %0, i64 4552
  %148 = getelementptr inbounds i8, ptr %0, i64 3272
  %xtraiter195 = and i64 %145, 1
  %149 = icmp eq i64 %145, 1
  br i1 %149, label %._crit_edge167.loopexit.unr-lcssa, label %.lr.ph166.new

.lr.ph166.new:                                    ; preds = %.lr.ph166
  %unroll_iter197 = and i64 %145, 9223372036854775806
  br label %150

150:                                              ; preds = %150, %.lr.ph166.new
  %.4164 = phi i64 [ 0, %.lr.ph166.new ], [ %168, %150 ]
  %niter198 = phi i64 [ 0, %.lr.ph166.new ], [ %niter198.next.1, %150 ]
  %151 = load ptr, ptr %146, align 8, !tbaa !28
  %152 = getelementptr inbounds double, ptr %151, i64 %.4164
  %153 = load double, ptr %152, align 8, !tbaa !32
  %154 = load ptr, ptr %147, align 8, !tbaa !28
  %155 = load ptr, ptr %148, align 8, !tbaa !28
  %156 = getelementptr inbounds i64, ptr %155, i64 %.4164
  %157 = load i64, ptr %156, align 8, !tbaa !29
  %158 = getelementptr inbounds double, ptr %154, i64 %157
  store double %153, ptr %158, align 8, !tbaa !32
  %159 = or disjoint i64 %.4164, 1
  %160 = load ptr, ptr %146, align 8, !tbaa !28
  %161 = getelementptr inbounds double, ptr %160, i64 %159
  %162 = load double, ptr %161, align 8, !tbaa !32
  %163 = load ptr, ptr %147, align 8, !tbaa !28
  %164 = load ptr, ptr %148, align 8, !tbaa !28
  %165 = getelementptr inbounds i64, ptr %164, i64 %159
  %166 = load i64, ptr %165, align 8, !tbaa !29
  %167 = getelementptr inbounds double, ptr %163, i64 %166
  store double %162, ptr %167, align 8, !tbaa !32
  %168 = add nuw nsw i64 %.4164, 2
  %niter198.next.1 = add i64 %niter198, 2
  %niter198.ncmp.1 = icmp eq i64 %niter198.next.1, %unroll_iter197
  br i1 %niter198.ncmp.1, label %._crit_edge167.loopexit.unr-lcssa, label %150, !llvm.loop !38

._crit_edge167.loopexit.unr-lcssa:                ; preds = %150, %.lr.ph166
  %.4164.unr = phi i64 [ 0, %.lr.ph166 ], [ %168, %150 ]
  %lcmp.mod196.not = icmp eq i64 %xtraiter195, 0
  br i1 %lcmp.mod196.not, label %._crit_edge167, label %._crit_edge167.loopexit.epilog-lcssa

._crit_edge167.loopexit.epilog-lcssa:             ; preds = %._crit_edge167.loopexit.unr-lcssa
  %169 = load ptr, ptr %146, align 8, !tbaa !28
  %170 = getelementptr inbounds double, ptr %169, i64 %.4164.unr
  %171 = load double, ptr %170, align 8, !tbaa !32
  %172 = load ptr, ptr %147, align 8, !tbaa !28
  %173 = load ptr, ptr %148, align 8, !tbaa !28
  %174 = getelementptr inbounds i64, ptr %173, i64 %.4164.unr
  %175 = load i64, ptr %174, align 8, !tbaa !29
  %176 = getelementptr inbounds double, ptr %172, i64 %175
  store double %171, ptr %176, align 8, !tbaa !32
  br label %._crit_edge167

._crit_edge167:                                   ; preds = %._crit_edge167.loopexit.epilog-lcssa, %._crit_edge167.loopexit.unr-lcssa, %._crit_edge162
  %177 = getelementptr inbounds i8, ptr %0, i64 3344
  %178 = getelementptr inbounds i8, ptr %0, i64 4240
  tail call void @_ZN11alglib_implL37lpqppresolve_presolverrestoresolutionEPNS_14presolverstackEPNS_9ae_vectorES3_S3_S3_S3_bPNS_8ae_stateE(ptr noundef nonnull %177, ptr noundef nonnull %38, ptr noundef nonnull %72, ptr noundef nonnull %107, ptr noundef nonnull %143, ptr noundef nonnull %178, i1 noundef zeroext %3, ptr noundef %7)
  %179 = load i64, ptr %36, align 8, !tbaa !5
  %.not.not145168 = icmp sgt i64 %179, 0
  br i1 %.not.not145168, label %.lr.ph171, label %._crit_edge172

.lr.ph171:                                        ; preds = %._crit_edge167
  %180 = getelementptr inbounds i8, ptr %0, i64 184
  %181 = getelementptr inbounds i8, ptr %0, i64 4424
  %182 = getelementptr inbounds i8, ptr %0, i64 248
  %183 = getelementptr inbounds i8, ptr %0, i64 4296
  br label %184

184:                                              ; preds = %.lr.ph171, %235
  %.5169 = phi i64 [ 0, %.lr.ph171 ], [ %236, %235 ]
  %185 = load ptr, ptr %180, align 8, !tbaa !28
  %186 = getelementptr inbounds double, ptr %185, i64 %.5169
  %187 = load double, ptr %186, align 8, !tbaa !32
  %188 = tail call noundef zeroext i1 @_ZN11alglib_impl11ae_isfiniteEdPNS_8ae_stateE(double noundef %187, ptr noundef %7)
  br i1 %188, label %189, label %199

189:                                              ; preds = %184
  %190 = load ptr, ptr %181, align 8, !tbaa !28
  %191 = getelementptr inbounds double, ptr %190, i64 %.5169
  %192 = load double, ptr %191, align 8, !tbaa !32
  %193 = load ptr, ptr %180, align 8, !tbaa !28
  %194 = getelementptr inbounds double, ptr %193, i64 %.5169
  %195 = load double, ptr %194, align 8, !tbaa !32
  %196 = tail call noundef double @_ZN11alglib_impl10ae_maxrealEddPNS_8ae_stateE(double noundef %192, double noundef %195, ptr noundef %7)
  %197 = load ptr, ptr %181, align 8, !tbaa !28
  %198 = getelementptr inbounds double, ptr %197, i64 %.5169
  store double %196, ptr %198, align 8, !tbaa !32
  br label %199

199:                                              ; preds = %189, %184
  %200 = load ptr, ptr %182, align 8, !tbaa !28
  %201 = getelementptr inbounds double, ptr %200, i64 %.5169
  %202 = load double, ptr %201, align 8, !tbaa !32
  %203 = tail call noundef zeroext i1 @_ZN11alglib_impl11ae_isfiniteEdPNS_8ae_stateE(double noundef %202, ptr noundef %7)
  br i1 %203, label %204, label %214

204:                                              ; preds = %199
  %205 = load ptr, ptr %181, align 8, !tbaa !28
  %206 = getelementptr inbounds double, ptr %205, i64 %.5169
  %207 = load double, ptr %206, align 8, !tbaa !32
  %208 = load ptr, ptr %182, align 8, !tbaa !28
  %209 = getelementptr inbounds double, ptr %208, i64 %.5169
  %210 = load double, ptr %209, align 8, !tbaa !32
  %211 = tail call noundef double @_ZN11alglib_impl10ae_minrealEddPNS_8ae_stateE(double noundef %207, double noundef %210, ptr noundef %7)
  %212 = load ptr, ptr %181, align 8, !tbaa !28
  %213 = getelementptr inbounds double, ptr %212, i64 %.5169
  store double %211, ptr %213, align 8, !tbaa !32
  br label %214

214:                                              ; preds = %204, %199
  br i1 %3, label %215, label %235

215:                                              ; preds = %214
  %216 = load ptr, ptr %183, align 8, !tbaa !28
  %217 = getelementptr inbounds i64, ptr %216, i64 %.5169
  %218 = load i64, ptr %217, align 8, !tbaa !29
  %219 = icmp slt i64 %218, 0
  br i1 %219, label %220, label %226

220:                                              ; preds = %215
  %221 = load ptr, ptr %180, align 8, !tbaa !28
  %222 = getelementptr inbounds double, ptr %221, i64 %.5169
  %223 = load double, ptr %222, align 8, !tbaa !32
  %224 = load ptr, ptr %181, align 8, !tbaa !28
  %225 = getelementptr inbounds double, ptr %224, i64 %.5169
  store double %223, ptr %225, align 8, !tbaa !32
  %.pre = load ptr, ptr %183, align 8, !tbaa !28
  %.phi.trans.insert = getelementptr inbounds i64, ptr %.pre, i64 %.5169
  %.pre183 = load i64, ptr %.phi.trans.insert, align 8, !tbaa !29
  br label %226

226:                                              ; preds = %220, %215
  %227 = phi i64 [ %.pre183, %220 ], [ %218, %215 ]
  %228 = icmp sgt i64 %227, 0
  br i1 %228, label %229, label %235

229:                                              ; preds = %226
  %230 = load ptr, ptr %182, align 8, !tbaa !28
  %231 = getelementptr inbounds double, ptr %230, i64 %.5169
  %232 = load double, ptr %231, align 8, !tbaa !32
  %233 = load ptr, ptr %181, align 8, !tbaa !28
  %234 = getelementptr inbounds double, ptr %233, i64 %.5169
  store double %232, ptr %234, align 8, !tbaa !32
  br label %235

235:                                              ; preds = %214, %229, %226
  %236 = add nuw nsw i64 %.5169, 1
  %237 = load i64, ptr %36, align 8, !tbaa !5
  %.not.not145 = icmp slt i64 %236, %237
  br i1 %.not.not145, label %184, label %._crit_edge172, !llvm.loop !39

._crit_edge172:                                   ; preds = %235, %._crit_edge167
  %.lcssa147 = phi i64 [ %179, %._crit_edge167 ], [ %237, %235 ]
  %238 = getelementptr inbounds i8, ptr %0, i64 64
  %239 = getelementptr inbounds i8, ptr %0, i64 4560
  tail call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %.lcssa147, ptr noundef nonnull %238, ptr noundef nonnull %239, ptr noundef %7)
  %240 = load i64, ptr %105, align 8, !tbaa !25
  %241 = icmp sgt i64 %240, 0
  br i1 %241, label %242, label %244

242:                                              ; preds = %._crit_edge172
  %243 = getelementptr inbounds i8, ptr %0, i64 632
  tail call void @_ZN11alglib_impl10sparsegemvEPKNS_12sparsematrixEdlPKNS_9ae_vectorEldPS3_lPNS_8ae_stateE(ptr noundef nonnull %243, double noundef 1.000000e+00, i64 noundef 1, ptr noundef nonnull %107, i64 noundef 0, double noundef 1.000000e+00, ptr noundef nonnull %239, i64 noundef 0, ptr noundef %7)
  br label %244

244:                                              ; preds = %242, %._crit_edge172
  %245 = load i64, ptr %36, align 8, !tbaa !5
  %.not.not146173 = icmp sgt i64 %245, 0
  br i1 %.not.not146173, label %.lr.ph176, label %._crit_edge177

.lr.ph176:                                        ; preds = %244
  %246 = getelementptr inbounds i8, ptr %0, i64 1416
  %247 = getelementptr inbounds i8, ptr %0, i64 4616
  %248 = getelementptr inbounds i8, ptr %0, i64 4360
  %xtraiter200 = and i64 %245, 1
  %249 = icmp eq i64 %245, 1
  br i1 %249, label %._crit_edge177.loopexit.unr-lcssa, label %.lr.ph176.new

.lr.ph176.new:                                    ; preds = %.lr.ph176
  %unroll_iter202 = and i64 %245, 9223372036854775806
  br label %250

250:                                              ; preds = %275, %.lr.ph176.new
  %.6174 = phi i64 [ 0, %.lr.ph176.new ], [ %276, %275 ]
  %niter203 = phi i64 [ 0, %.lr.ph176.new ], [ %niter203.next.1, %275 ]
  %251 = load ptr, ptr %246, align 8, !tbaa !28
  %252 = getelementptr inbounds i8, ptr %251, i64 %.6174
  %253 = load i8, ptr %252, align 1, !tbaa !40, !range !41, !noundef !42
  %254 = trunc nuw i8 %253 to i1
  br i1 %254, label %255, label %262

255:                                              ; preds = %250
  %256 = load ptr, ptr %247, align 8, !tbaa !28
  %257 = getelementptr inbounds double, ptr %256, i64 %.6174
  %258 = load double, ptr %257, align 8, !tbaa !32
  %259 = fneg double %258
  %260 = load ptr, ptr %248, align 8, !tbaa !28
  %261 = getelementptr inbounds double, ptr %260, i64 %.6174
  store double %259, ptr %261, align 8, !tbaa !32
  br label %262

262:                                              ; preds = %250, %255
  %263 = or disjoint i64 %.6174, 1
  %264 = load ptr, ptr %246, align 8, !tbaa !28
  %265 = getelementptr inbounds i8, ptr %264, i64 %263
  %266 = load i8, ptr %265, align 1, !tbaa !40, !range !41, !noundef !42
  %267 = trunc nuw i8 %266 to i1
  br i1 %267, label %268, label %275

268:                                              ; preds = %262
  %269 = load ptr, ptr %247, align 8, !tbaa !28
  %270 = getelementptr inbounds double, ptr %269, i64 %263
  %271 = load double, ptr %270, align 8, !tbaa !32
  %272 = fneg double %271
  %273 = load ptr, ptr %248, align 8, !tbaa !28
  %274 = getelementptr inbounds double, ptr %273, i64 %263
  store double %272, ptr %274, align 8, !tbaa !32
  br label %275

275:                                              ; preds = %268, %262
  %276 = add nuw nsw i64 %.6174, 2
  %niter203.next.1 = add i64 %niter203, 2
  %niter203.ncmp.1 = icmp eq i64 %niter203.next.1, %unroll_iter202
  br i1 %niter203.ncmp.1, label %._crit_edge177.loopexit.unr-lcssa, label %250, !llvm.loop !43

._crit_edge177.loopexit.unr-lcssa:                ; preds = %275, %.lr.ph176
  %.6174.unr = phi i64 [ 0, %.lr.ph176 ], [ %276, %275 ]
  %lcmp.mod201.not = icmp eq i64 %xtraiter200, 0
  br i1 %lcmp.mod201.not, label %._crit_edge177, label %.epil.preheader199

.epil.preheader199:                               ; preds = %._crit_edge177.loopexit.unr-lcssa
  %277 = load ptr, ptr %246, align 8, !tbaa !28
  %278 = getelementptr inbounds i8, ptr %277, i64 %.6174.unr
  %279 = load i8, ptr %278, align 1, !tbaa !40, !range !41, !noundef !42
  %280 = trunc nuw i8 %279 to i1
  br i1 %280, label %281, label %._crit_edge177

281:                                              ; preds = %.epil.preheader199
  %282 = load ptr, ptr %247, align 8, !tbaa !28
  %283 = getelementptr inbounds double, ptr %282, i64 %.6174.unr
  %284 = load double, ptr %283, align 8, !tbaa !32
  %285 = fneg double %284
  %286 = load ptr, ptr %248, align 8, !tbaa !28
  %287 = getelementptr inbounds double, ptr %286, i64 %.6174.unr
  store double %285, ptr %287, align 8, !tbaa !32
  br label %._crit_edge177

._crit_edge177:                                   ; preds = %._crit_edge177.loopexit.unr-lcssa, %281, %.epil.preheader199, %244
  tail call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %245, ptr noundef nonnull %38, ptr noundef %1, ptr noundef %7)
  %288 = load i64, ptr %141, align 8, !tbaa !36
  tail call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %288, ptr noundef nonnull %143, ptr noundef %6, ptr noundef %7)
  %289 = load i64, ptr %105, align 8, !tbaa !25
  tail call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %289, ptr noundef nonnull %107, ptr noundef %5, ptr noundef %7)
  br i1 %3, label %290, label %294

290:                                              ; preds = %._crit_edge177
  %291 = load i64, ptr %36, align 8, !tbaa !5
  %292 = load i64, ptr %105, align 8, !tbaa !25
  %293 = add nsw i64 %292, %291
  tail call void @_ZN11alglib_impl11icopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %293, ptr noundef nonnull %178, ptr noundef %2, ptr noundef %7)
  br label %294

294:                                              ; preds = %290, %._crit_edge177
  %295 = load i64, ptr %36, align 8, !tbaa !5
  tail call void @_ZN11alglib_impl11rcopyallocvElPKNS_9ae_vectorEPS0_PNS_8ae_stateE(i64 noundef %295, ptr noundef nonnull %72, ptr noundef %4, ptr noundef %7)
  ret void
}

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN11alglib_implL37lpqppresolve_presolverrestoresolutionEPNS_14presolverstackEPNS_9ae_vectorES3_S3_S3_S3_bPNS_8ae_stateE(ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, i1 noundef zeroext, ptr noundef) local_unnamed_addr #1

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

!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, !7, i64 8}
!6 = !{!"_ZTSN11alglib_impl12presolveinfoE", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !7, i64 40, !7, i64 48, !7, i64 56, !10, i64 64, !10, i64 128, !10, i64 192, !11, i64 256, !14, i64 264, !14, i64 632, !15, i64 1000, !18, i64 1208, !7, i64 1352, !10, i64 1360, !10, i64 1424, !10, i64 1488, !10, i64 1552, !14, i64 1616, !14, i64 1984, !10, i64 2352, !10, i64 2416, !15, i64 2480, !18, i64 2688, !10, i64 2832, !10, i64 2896, !10, i64 2960, !10, i64 3024, !10, i64 3088, !10, i64 3152, !10, i64 3216, !10, i64 3280, !19, i64 3344, !10, i64 4240, !10, i64 4304, !10, i64 4368, !10, i64 4432, !10, i64 4496, !10, i64 4560, !10, i64 4624, !20, i64 4688}
!7 = !{!"long", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"_ZTSN11alglib_impl9ae_vectorE", !7, i64 0, !7, i64 8, !11, i64 16, !12, i64 24, !8, i64 56}
!11 = !{!"bool", !8, i64 0}
!12 = !{!"_ZTSN11alglib_impl12ae_dyn_blockE", !13, i64 0, !13, i64 8, !13, i64 16, !13, i64 24}
!13 = !{!"any pointer", !8, i64 0}
!14 = !{!"_ZTSN11alglib_impl12sparsematrixE", !10, i64 0, !10, i64 64, !10, i64 128, !10, i64 192, !10, i64 256, !7, i64 320, !7, i64 328, !7, i64 336, !7, i64 344, !7, i64 352, !7, i64 360}
!15 = !{!"_ZTSN11alglib_impl21xquadraticconstraintsE", !7, i64 0, !16, i64 8, !10, i64 144}
!16 = !{!"_ZTSN11alglib_impl12ae_obj_arrayE", !7, i64 0, !7, i64 8, !11, i64 16, !13, i64 24, !13, i64 32, !13, i64 40, !13, i64 48, !17, i64 56, !12, i64 104}
!17 = !{!"_ZTSN11alglib_impl7ae_lockE", !13, i64 0, !12, i64 8, !11, i64 40}
!18 = !{!"_ZTSN11alglib_impl17xconicconstraintsE", !7, i64 0, !16, i64 8}
!19 = !{!"_ZTSN11alglib_impl14presolverstackE", !7, i64 0, !7, i64 8, !7, i64 16, !7, i64 24, !7, i64 32, !10, i64 40, !10, i64 104, !10, i64 168, !10, i64 232, !10, i64 296, !7, i64 360, !7, i64 368, !7, i64 376, !10, i64 384, !10, i64 448, !10, i64 512, !10, i64 576, !10, i64 640, !10, i64 704, !10, i64 768, !10, i64 832}
!20 = !{!"_ZTSN11alglib_impl15presolvebuffersE", !21, i64 0, !21, i64 152, !21, i64 304, !21, i64 456, !10, i64 608, !10, i64 672, !10, i64 736, !10, i64 800, !22, i64 864}
!21 = !{!"_ZTSN11alglib_impl5nisetE", !7, i64 0, !7, i64 8, !10, i64 16, !10, i64 80, !7, i64 144}
!22 = !{!"_ZTSN11alglib_impl21dynamiccrsqconstraintE", !7, i64 0, !10, i64 8, !10, i64 72, !23, i64 136, !24, i64 416, !24, i64 424, !11, i64 432}
!23 = !{!"_ZTSN11alglib_impl10dynamiccrsE", !7, i64 0, !7, i64 8, !7, i64 16, !10, i64 24, !10, i64 88, !10, i64 152, !10, i64 216}
!24 = !{!"double", !8, i64 0}
!25 = !{!6, !7, i64 40}
!26 = !{!6, !7, i64 0}
!27 = !{!6, !7, i64 32}
!28 = !{!8, !8, i64 0}
!29 = !{!7, !7, i64 0}
!30 = distinct !{!30, !31}
!31 = !{!"llvm.loop.mustprogress"}
!32 = !{!24, !24, i64 0}
!33 = distinct !{!33, !31}
!34 = distinct !{!34, !31}
!35 = distinct !{!35, !31}
!36 = !{!6, !7, i64 16}
!37 = !{!6, !7, i64 48}
!38 = distinct !{!38, !31}
!39 = distinct !{!39, !31}
!40 = !{!11, !11, i64 0}
!41 = !{i8 0, i8 2}
!42 = !{}
!43 = distinct !{!43, !31}


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