; LLVM IR from ERGO-Code/HiGHS :: src/ipm/ipx/model.ll (ZN3ipx5Model9CopyInputEiiPKiS2_PKdS4_PKcdS4_S4_S4_)

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

%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator" = type { i8 }
%"class.std::valarray" = type { i64, ptr }
%"class.ipx::Model" = type { i8, i32, i32, i32, i32, %"class.ipx::SparseMatrix", %"class.ipx::SparseMatrix", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", double, double, i32, i32, i32, i32, i32, %"class.std::vector", %"class.std::vector.8", double, double, double, %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.std::valarray", %"class.ipx::SparseMatrix", %"class.std::vector", %"class.std::valarray", %"class.std::valarray" }
%"class.ipx::SparseMatrix" = type { i32, %"class.std::vector", %"class.std::vector", %"class.std::vector.3", %"class.std::vector", %"class.std::vector.3" }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl" = type { %"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" }
%"struct.std::_Vector_base<double, std::allocator<double>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }

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

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #1 align 2

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_ZN3ipx5Model9CopyInputEiiPKiS2_PKdS4_PKcdS4_S4_S4_(ptr noundef nonnull align 8 dereferenceable(704) %0, i32 noundef %1, i32 noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, double noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11) #2 align 2 personality ptr @__gxx_personality_v0 {
  %13 = alloca i32, align 4
  %14 = alloca ptr, align 8
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca double, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca i8, align 1
  %27 = alloca i32, align 4
  %28 = alloca %"class.std::vector.8", align 8
  %29 = alloca %"class.std::allocator", align 1
  %30 = alloca ptr, align 8
  %31 = alloca i32, align 4
  %32 = alloca %"class.std::valarray", align 8
  %33 = alloca %"class.std::valarray", align 8
  %34 = alloca %"class.std::valarray", align 8
  %35 = alloca %"class.std::valarray", align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca double, align 8
  %40 = alloca double, align 8
  %41 = alloca ptr, align 8
  %42 = alloca ptr, align 8
  %43 = alloca ptr, align 8
  %44 = alloca double, align 8
  %45 = alloca double, align 8
  store ptr %0, ptr %14, align 8, !tbaa !5
  store i32 %1, ptr %15, align 4, !tbaa !9
  store i32 %2, ptr %16, align 4, !tbaa !9
  store ptr %3, ptr %17, align 8, !tbaa !5
  store ptr %4, ptr %18, align 8, !tbaa !5
  store ptr %5, ptr %19, align 8, !tbaa !5
  store ptr %6, ptr %20, align 8, !tbaa !5
  store ptr %7, ptr %21, align 8, !tbaa !5
  store double %8, ptr %22, align 8, !tbaa !11
  store ptr %9, ptr %23, align 8, !tbaa !5
  store ptr %10, ptr %24, align 8, !tbaa !5
  store ptr %11, ptr %25, align 8, !tbaa !5
  %46 = load ptr, ptr %14, align 8
  %47 = load ptr, ptr %17, align 8, !tbaa !5
  %48 = icmp ne ptr %47, null
  br i1 %48, label %49, label %70

49:                                               ; preds = %12
  %50 = load ptr, ptr %18, align 8, !tbaa !5
  %51 = icmp ne ptr %50, null
  br i1 %51, label %52, label %70

52:                                               ; preds = %49
  %53 = load ptr, ptr %19, align 8, !tbaa !5
  %54 = icmp ne ptr %53, null
  br i1 %54, label %55, label %70

55:                                               ; preds = %52
  %56 = load ptr, ptr %20, align 8, !tbaa !5
  %57 = icmp ne ptr %56, null
  br i1 %57, label %58, label %70

58:                                               ; preds = %55
  %59 = load ptr, ptr %21, align 8, !tbaa !5
  %60 = icmp ne ptr %59, null
  br i1 %60, label %61, label %70

61:                                               ; preds = %58
  %62 = load ptr, ptr %23, align 8, !tbaa !5
  %63 = icmp ne ptr %62, null
  br i1 %63, label %64, label %70

64:                                               ; preds = %61
  %65 = load ptr, ptr %24, align 8, !tbaa !5
  %66 = icmp ne ptr %65, null
  br i1 %66, label %67, label %70

67:                                               ; preds = %64
  %68 = load ptr, ptr %25, align 8, !tbaa !5
  %69 = icmp ne ptr %68, null
  br i1 %69, label %71, label %70

70:                                               ; preds = %67, %64, %61, %58, %55, %52, %49, %12
  store i32 102, ptr %13, align 4
  br label %265

71:                                               ; preds = %67
  %72 = load i32, ptr %15, align 4, !tbaa !9
  %73 = icmp slt i32 %72, 0
  br i1 %73, label %77, label %74

74:                                               ; preds = %71
  %75 = load i32, ptr %16, align 4, !tbaa !9
  %76 = icmp sle i32 %75, 0
  br i1 %76, label %77, label %78

77:                                               ; preds = %74, %71
  store i32 103, ptr %13, align 4
  br label %265

78:                                               ; preds = %74
  %79 = load i32, ptr %15, align 4, !tbaa !9
  %80 = load i32, ptr %16, align 4, !tbaa !9
  %81 = load ptr, ptr %20, align 8, !tbaa !5
  %82 = load ptr, ptr %21, align 8, !tbaa !5
  %83 = load ptr, ptr %23, align 8, !tbaa !5
  %84 = load ptr, ptr %24, align 8, !tbaa !5
  %85 = load ptr, ptr %25, align 8, !tbaa !5
  %86 = call noundef i32 @_ZN3ipxL12CheckVectorsEiiPKdPKcS1_S1_S1_(i32 noundef %79, i32 noundef %80, ptr noundef %81, ptr noundef %82, ptr noundef %83, ptr noundef %84, ptr noundef %85)
  %87 = icmp ne i32 %86, 0
  br i1 %87, label %88, label %89

88:                                               ; preds = %78
  store i32 105, ptr %13, align 4
  br label %265

89:                                               ; preds = %78
  %90 = load i32, ptr %15, align 4, !tbaa !9
  %91 = load i32, ptr %16, align 4, !tbaa !9
  %92 = load ptr, ptr %17, align 8, !tbaa !5
  %93 = load ptr, ptr %18, align 8, !tbaa !5
  %94 = load ptr, ptr %19, align 8, !tbaa !5
  %95 = call noundef i32 @_ZN3ipxL11CheckMatrixEiiPKiS1_PKd(i32 noundef %90, i32 noundef %91, ptr noundef %92, ptr noundef %93, ptr noundef %94)
  %96 = icmp ne i32 %95, 0
  br i1 %96, label %97, label %98

97:                                               ; preds = %89
  store i32 104, ptr %13, align 4
  br label %265

98:                                               ; preds = %89
  %99 = load i32, ptr %15, align 4, !tbaa !9
  %100 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 13
  store i32 %99, ptr %100, align 8, !tbaa !13
  %101 = load ptr, ptr %21, align 8, !tbaa !5
  %102 = load ptr, ptr %21, align 8, !tbaa !5
  %103 = load i32, ptr %15, align 4, !tbaa !9
  %104 = sext i32 %103 to i64
  %105 = getelementptr inbounds i8, ptr %102, i64 %104
  call void @llvm.lifetime.start.p0(i64 1, ptr %26) #6
  store i8 61, ptr %26, align 1, !tbaa !31
  %106 = call noundef i64 @_ZSt5countIPKccENSt15iterator_traitsIT_E15difference_typeES3_S3_RKT0_(ptr noundef %101, ptr noundef %105, ptr noundef nonnull align 1 dereferenceable(1) %26)
  %107 = trunc i64 %106 to i32
  %108 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 14
  store i32 %107, ptr %108, align 4, !tbaa !32
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #6
  %109 = load i32, ptr %16, align 4, !tbaa !9
  %110 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 15
  store i32 %109, ptr %110, align 8, !tbaa !33
  %111 = load ptr, ptr %17, align 8, !tbaa !5
  %112 = load i32, ptr %16, align 4, !tbaa !9
  %113 = sext i32 %112 to i64
  %114 = getelementptr inbounds i32, ptr %111, i64 %113
  %115 = load i32, ptr %114, align 4, !tbaa !9
  %116 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 17
  store i32 %115, ptr %116, align 8, !tbaa !34
  %117 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 16
  store i32 0, ptr %117, align 4, !tbaa !35
  %118 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 18
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %118) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #6
  store i32 0, ptr %27, align 4, !tbaa !9
  br label %119

119:                                              ; preds = %159, %98
  %120 = load i32, ptr %27, align 4, !tbaa !9
  %121 = load i32, ptr %16, align 4, !tbaa !9
  %122 = icmp slt i32 %120, %121
  br i1 %122, label %124, label %123

123:                                              ; preds = %119
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #6
  br label %162

124:                                              ; preds = %119
  %125 = load ptr, ptr %24, align 8, !tbaa !5
  %126 = load i32, ptr %27, align 4, !tbaa !9
  %127 = sext i32 %126 to i64
  %128 = getelementptr inbounds double, ptr %125, i64 %127
  %129 = load double, ptr %128, align 8, !tbaa !11
  %130 = call noundef zeroext i1 @_ZSt5isinfd(double noundef %129)
  br i1 %130, label %131, label %142

131:                                              ; preds = %124
  %132 = load ptr, ptr %25, align 8, !tbaa !5
  %133 = load i32, ptr %27, align 4, !tbaa !9
  %134 = sext i32 %133 to i64
  %135 = getelementptr inbounds double, ptr %132, i64 %134
  %136 = load double, ptr %135, align 8, !tbaa !11
  %137 = call noundef zeroext i1 @_ZSt5isinfd(double noundef %136)
  br i1 %137, label %138, label %142

138:                                              ; preds = %131
  %139 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 16
  %140 = load i32, ptr %139, align 4, !tbaa !35
  %141 = add nsw i32 %140, 1
  store i32 %141, ptr %139, align 4, !tbaa !35
  br label %142

142:                                              ; preds = %138, %131, %124
  %143 = load ptr, ptr %24, align 8, !tbaa !5
  %144 = load i32, ptr %27, align 4, !tbaa !9
  %145 = sext i32 %144 to i64
  %146 = getelementptr inbounds double, ptr %143, i64 %145
  %147 = load double, ptr %146, align 8, !tbaa !11
  %148 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %147)
  br i1 %148, label %149, label %158

149:                                              ; preds = %142
  %150 = load ptr, ptr %25, align 8, !tbaa !5
  %151 = load i32, ptr %27, align 4, !tbaa !9
  %152 = sext i32 %151 to i64
  %153 = getelementptr inbounds double, ptr %150, i64 %152
  %154 = load double, ptr %153, align 8, !tbaa !11
  %155 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %154)
  br i1 %155, label %156, label %158

156:                                              ; preds = %149
  %157 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 18
  call void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %157, ptr noundef nonnull align 4 dereferenceable(4) %27)
  br label %158

158:                                              ; preds = %156, %149, %142
  br label %159

159:                                              ; preds = %158
  %160 = load i32, ptr %27, align 4, !tbaa !9
  %161 = add nsw i32 %160, 1
  store i32 %161, ptr %27, align 4, !tbaa !9
  br label %119, !llvm.loop !36

162:                                              ; preds = %123
  call void @llvm.lifetime.start.p0(i64 24, ptr %28) #6
  %163 = load ptr, ptr %21, align 8, !tbaa !5
  %164 = load ptr, ptr %21, align 8, !tbaa !5
  %165 = load i32, ptr %15, align 4, !tbaa !9
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds i8, ptr %164, i64 %166
  call void @llvm.lifetime.start.p0(i64 1, ptr %29) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #6
  invoke void @_ZNSt6vectorIcSaIcEEC2IPKcvEET_S5_RKS0_(ptr noundef nonnull align 8 dereferenceable(24) %28, ptr noundef %163, ptr noundef %167, ptr noundef nonnull align 1 dereferenceable(1) %29)
          to label %168 unwind label %217

168:                                              ; preds = %162
  %169 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 19
  %170 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIcSaIcEEaSEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %169, ptr noundef nonnull align 8 dereferenceable(24) %28) #6
  call void @_ZNSt6vectorIcSaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %28) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %28) #6
  %171 = load double, ptr %22, align 8, !tbaa !11
  %172 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 22
  store double %171, ptr %172, align 8, !tbaa !38
  call void @llvm.lifetime.start.p0(i64 16, ptr %32) #6
  %173 = load ptr, ptr %23, align 8, !tbaa !5
  %174 = load i32, ptr %16, align 4, !tbaa !9
  %175 = sext i32 %174 to i64
  call void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16) %32, ptr noundef %173, i64 noundef %175)
  %176 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 23
  %177 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16) %176, ptr noundef nonnull align 8 dereferenceable(16) %32) #6
  call void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %32) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %33) #6
  %178 = load ptr, ptr %20, align 8, !tbaa !5
  %179 = load i32, ptr %15, align 4, !tbaa !9
  %180 = sext i32 %179 to i64
  call void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16) %33, ptr noundef %178, i64 noundef %180)
  %181 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 24
  %182 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16) %181, ptr noundef nonnull align 8 dereferenceable(16) %33) #6
  call void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %33) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %33) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %34) #6
  %183 = load ptr, ptr %24, align 8, !tbaa !5
  %184 = load i32, ptr %16, align 4, !tbaa !9
  %185 = sext i32 %184 to i64
  call void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16) %34, ptr noundef %183, i64 noundef %185)
  %186 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 25
  %187 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16) %186, ptr noundef nonnull align 8 dereferenceable(16) %34) #6
  call void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %34) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %34) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr %35) #6
  %188 = load ptr, ptr %25, align 8, !tbaa !5
  %189 = load i32, ptr %16, align 4, !tbaa !9
  %190 = sext i32 %189 to i64
  call void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16) %35, ptr noundef %188, i64 noundef %190)
  %191 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 26
  %192 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16) %191, ptr noundef nonnull align 8 dereferenceable(16) %35) #6
  call void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %35) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %35) #6
  %193 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 27
  %194 = load i32, ptr %15, align 4, !tbaa !9
  %195 = load i32, ptr %16, align 4, !tbaa !9
  %196 = load ptr, ptr %17, align 8, !tbaa !5
  %197 = load ptr, ptr %17, align 8, !tbaa !5
  %198 = getelementptr inbounds i32, ptr %197, i64 1
  %199 = load ptr, ptr %18, align 8, !tbaa !5
  %200 = load ptr, ptr %19, align 8, !tbaa !5
  call void @_ZN3ipx12SparseMatrix14LoadFromArraysEiiPKiS2_S2_PKd(ptr noundef nonnull align 8 dereferenceable(128) %193, i32 noundef %194, i32 noundef %195, ptr noundef %196, ptr noundef %198, ptr noundef %199, ptr noundef %200)
  %201 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 23
  %202 = call noundef double @_ZN3ipx7InfnormERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(16) %201)
  %203 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 20
  store double %202, ptr %203, align 8, !tbaa !39
  %204 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 24
  %205 = call noundef double @_ZN3ipx7InfnormERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(16) %204)
  %206 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 21
  store double %205, ptr %206, align 8, !tbaa !40
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #6
  %207 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 25
  store ptr %207, ptr %36, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #6
  %208 = load ptr, ptr %36, align 8, !tbaa !5
  %209 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %208) #6
  store ptr %209, ptr %37, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #6
  %210 = load ptr, ptr %36, align 8, !tbaa !5
  %211 = call noundef ptr @_ZSt3endIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %210) #6
  store ptr %211, ptr %38, align 8, !tbaa !5
  br label %212

212:                                              ; preds = %234, %168
  %213 = load ptr, ptr %37, align 8, !tbaa !5
  %214 = load ptr, ptr %38, align 8, !tbaa !5
  %215 = icmp ne ptr %213, %214
  br i1 %215, label %221, label %216

216:                                              ; preds = %212
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #6
  br label %237

217:                                              ; preds = %162
  %218 = landingpad { ptr, i32 }
          cleanup
  %219 = extractvalue { ptr, i32 } %218, 0
  store ptr %219, ptr %30, align 8
  %220 = extractvalue { ptr, i32 } %218, 1
  store i32 %220, ptr %31, align 4
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %29) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr %29) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %28) #6
  br label %267

221:                                              ; preds = %212
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #6
  %222 = load ptr, ptr %37, align 8, !tbaa !5
  %223 = load double, ptr %222, align 8, !tbaa !11
  store double %223, ptr %39, align 8, !tbaa !11
  %224 = load double, ptr %39, align 8, !tbaa !11
  %225 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %224)
  br i1 %225, label %226, label %233

226:                                              ; preds = %221
  %227 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 21
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #6
  %228 = load double, ptr %39, align 8, !tbaa !11
  %229 = call noundef double @_ZSt3absd(double noundef %228)
  store double %229, ptr %40, align 8, !tbaa !11
  %230 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %227, ptr noundef nonnull align 8 dereferenceable(8) %40)
  %231 = load double, ptr %230, align 8, !tbaa !11
  %232 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 21
  store double %231, ptr %232, align 8, !tbaa !40
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #6
  br label %233

233:                                              ; preds = %226, %221
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #6
  br label %234

234:                                              ; preds = %233
  %235 = load ptr, ptr %37, align 8, !tbaa !5
  %236 = getelementptr inbounds double, ptr %235, i32 1
  store ptr %236, ptr %37, align 8, !tbaa !5
  br label %212

237:                                              ; preds = %216
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #6
  %238 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 26
  store ptr %238, ptr %41, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #6
  %239 = load ptr, ptr %41, align 8, !tbaa !5
  %240 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %239) #6
  store ptr %240, ptr %42, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #6
  %241 = load ptr, ptr %41, align 8, !tbaa !5
  %242 = call noundef ptr @_ZSt3endIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %241) #6
  store ptr %242, ptr %43, align 8, !tbaa !5
  br label %243

243:                                              ; preds = %261, %237
  %244 = load ptr, ptr %42, align 8, !tbaa !5
  %245 = load ptr, ptr %43, align 8, !tbaa !5
  %246 = icmp ne ptr %244, %245
  br i1 %246, label %248, label %247

247:                                              ; preds = %243
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #6
  br label %264

248:                                              ; preds = %243
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #6
  %249 = load ptr, ptr %42, align 8, !tbaa !5
  %250 = load double, ptr %249, align 8, !tbaa !11
  store double %250, ptr %44, align 8, !tbaa !11
  %251 = load double, ptr %44, align 8, !tbaa !11
  %252 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %251)
  br i1 %252, label %253, label %260

253:                                              ; preds = %248
  %254 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 21
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #6
  %255 = load double, ptr %44, align 8, !tbaa !11
  %256 = call noundef double @_ZSt3absd(double noundef %255)
  store double %256, ptr %45, align 8, !tbaa !11
  %257 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %254, ptr noundef nonnull align 8 dereferenceable(8) %45)
  %258 = load double, ptr %257, align 8, !tbaa !11
  %259 = getelementptr inbounds %"class.ipx::Model", ptr %46, i32 0, i32 21
  store double %258, ptr %259, align 8, !tbaa !40
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #6
  br label %260

260:                                              ; preds = %253, %248
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #6
  br label %261

261:                                              ; preds = %260
  %262 = load ptr, ptr %42, align 8, !tbaa !5
  %263 = getelementptr inbounds double, ptr %262, i32 1
  store ptr %263, ptr %42, align 8, !tbaa !5
  br label %243

264:                                              ; preds = %247
  store i32 0, ptr %13, align 4
  br label %265

265:                                              ; preds = %264, %97, %88, %77, %70
  %266 = load i32, ptr %13, align 4
  ret i32 %266

267:                                              ; preds = %217
  %268 = load ptr, ptr %30, align 8
  %269 = load i32, ptr %31, align 4
  %270 = insertvalue { ptr, i32 } poison, ptr %268, 0
  %271 = insertvalue { ptr, i32 } %270, i32 %269, 1
  resume { ptr, i32 } %271
}

declare noundef double @_ZN3ipx7InfnormERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(16)) #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16)) #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZSt3endIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16)) #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZSt8isfinited(double noundef) #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef double @_ZSt3absd(double noundef) #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24)) #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16), ptr noalias noundef, i64 noundef) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef i32 @_ZN3ipxL12CheckVectorsEiiPKdPKcS1_S1_S1_(i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #1

; Function Attrs: mustprogress uwtable
declare hidden noundef i32 @_ZN3ipxL11CheckMatrixEiiPKiS1_PKd(i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) #2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i64 @_ZSt5countIPKccENSt15iterator_traitsIT_E15difference_typeES3_S3_RKT0_(ptr noundef, ptr noundef, ptr noundef nonnull align 1 dereferenceable(1)) #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZSt5isinfd(double noundef) #1

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIcSaIcEEC2IPKcvEET_S5_RKS0_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef, ptr noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIcSaIcEEaSEOS1_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIcSaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #4 align 2

declare void @_ZN3ipx12SparseMatrix14LoadFromArraysEiiPKiS2_S2_PKd(ptr noundef nonnull align 8 dereferenceable(128), i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #1 align 2

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
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 = { "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 #4 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { inlinehint 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 #6 = { 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 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"double", !7, i64 0}
!13 = !{!14, !10, i64 360}
!14 = !{!"_ZTSN3ipx5ModelE", !15, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !16, i64 24, !16, i64 152, !25, i64 280, !25, i64 296, !25, i64 312, !25, i64 328, !12, i64 344, !12, i64 352, !10, i64 360, !10, i64 364, !10, i64 368, !10, i64 372, !10, i64 376, !17, i64 384, !27, i64 408, !12, i64 432, !12, i64 440, !12, i64 448, !25, i64 456, !25, i64 472, !25, i64 488, !25, i64 504, !16, i64 520, !17, i64 648, !25, i64 672, !25, i64 688}
!15 = !{!"bool", !7, i64 0}
!16 = !{!"_ZTSN3ipx12SparseMatrixE", !10, i64 0, !17, i64 8, !17, i64 32, !21, i64 56, !17, i64 80, !21, i64 104}
!17 = !{!"_ZTSSt6vectorIiSaIiEE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!21 = !{!"_ZTSSt6vectorIdSaIdEE", !22, i64 0}
!22 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!25 = !{!"_ZTSSt8valarrayIdE", !26, i64 0, !6, i64 8}
!26 = !{!"long", !7, i64 0}
!27 = !{!"_ZTSSt6vectorIcSaIcEE", !28, i64 0}
!28 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!31 = !{!7, !7, i64 0}
!32 = !{!14, !10, i64 364}
!33 = !{!14, !10, i64 368}
!34 = !{!14, !10, i64 376}
!35 = !{!14, !10, i64 372}
!36 = distinct !{!36, !37}
!37 = !{!"llvm.loop.mustprogress"}
!38 = !{!14, !12, i64 448}
!39 = !{!14, !12, i64 432}
!40 = !{!14, !12, i64 440}


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

%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl" = type { %"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<char, std::allocator<char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::allocator" = type { i8 }
%"class.std::valarray" = type { i64, ptr }

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

; Function Attrs: mustprogress nounwind uwtable
declare void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #1 align 2

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress uwtable
define dso_local noundef range(i32 0, 106) i32 @_ZN3ipx5Model9CopyInputEiiPKiS2_PKdS4_PKcdS4_S4_S4_(ptr noundef nonnull align 8 dereferenceable(704) %0, i32 noundef %1, i32 noundef %2, ptr noundef %3, ptr noundef %4, ptr noundef %5, ptr noundef %6, ptr noundef %7, double noundef %8, ptr noundef %9, ptr noundef %10, ptr noundef %11) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %13 = alloca i8, align 1
  %14 = alloca i32, align 4
  %15 = alloca %"class.std::vector.8", align 8
  %16 = alloca %"class.std::allocator", align 1
  %17 = alloca %"class.std::valarray", align 8
  %18 = alloca %"class.std::valarray", align 8
  %19 = alloca %"class.std::valarray", align 8
  %20 = alloca %"class.std::valarray", align 8
  %21 = alloca double, align 8
  %22 = alloca double, align 8
  %23 = insertelement <8 x ptr> poison, ptr %3, i64 0
  %24 = insertelement <8 x ptr> %23, ptr %4, i64 1
  %25 = insertelement <8 x ptr> %24, ptr %5, i64 2
  %26 = insertelement <8 x ptr> %25, ptr %6, i64 3
  %27 = insertelement <8 x ptr> %26, ptr %7, i64 4
  %28 = insertelement <8 x ptr> %27, ptr %9, i64 5
  %29 = insertelement <8 x ptr> %28, ptr %10, i64 6
  %30 = insertelement <8 x ptr> %29, ptr %11, i64 7
  %31 = icmp eq <8 x ptr> %30, zeroinitializer
  %32 = bitcast <8 x i1> %31 to i8
  %33 = icmp eq i8 %32, 0
  br i1 %33, label %34, label %.loopexit

34:                                               ; preds = %12
  %35 = icmp slt i32 %1, 0
  %36 = icmp slt i32 %2, 1
  %or.cond15 = or i1 %35, %36
  br i1 %or.cond15, label %.loopexit, label %37

37:                                               ; preds = %34
  %38 = tail call noundef i32 @_ZN3ipxL12CheckVectorsEiiPKdPKcS1_S1_S1_(i32 noundef %1, i32 noundef %2, ptr noundef nonnull %6, ptr noundef nonnull %7, ptr noundef nonnull %9, ptr noundef nonnull %10, ptr noundef nonnull %11)
  %.not = icmp eq i32 %38, 0
  br i1 %.not, label %39, label %.loopexit

39:                                               ; preds = %37
  %40 = tail call noundef i32 @_ZN3ipxL11CheckMatrixEiiPKiS1_PKd(i32 noundef %1, i32 noundef %2, ptr noundef nonnull %3, ptr noundef nonnull %4, ptr noundef nonnull %5)
  %.not92 = icmp eq i32 %40, 0
  br i1 %.not92, label %.lr.ph.preheader, label %.loopexit

.lr.ph.preheader:                                 ; preds = %39
  %41 = getelementptr inbounds i8, ptr %0, i64 360
  store i32 %1, ptr %41, align 8, !tbaa !5
  %42 = zext nneg i32 %1 to i64
  %43 = getelementptr inbounds i8, ptr %7, i64 %42
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %13) #6
  store i8 61, ptr %13, align 1, !tbaa !28
  %44 = call noundef i64 @_ZSt5countIPKccENSt15iterator_traitsIT_E15difference_typeES3_S3_RKT0_(ptr noundef nonnull %7, ptr noundef nonnull %43, ptr noundef nonnull align 1 dereferenceable(1) %13)
  %45 = trunc i64 %44 to i32
  %46 = getelementptr inbounds i8, ptr %0, i64 364
  store i32 %45, ptr %46, align 4, !tbaa !29
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %13) #6
  %47 = getelementptr inbounds i8, ptr %0, i64 368
  store i32 %2, ptr %47, align 8, !tbaa !30
  %48 = zext nneg i32 %2 to i64
  %49 = getelementptr inbounds i32, ptr %3, i64 %48
  %50 = load i32, ptr %49, align 4, !tbaa !31
  %51 = getelementptr inbounds i8, ptr %0, i64 376
  store i32 %50, ptr %51, align 8, !tbaa !32
  %52 = getelementptr inbounds i8, ptr %0, i64 372
  store i32 0, ptr %52, align 4, !tbaa !33
  %53 = getelementptr inbounds i8, ptr %0, i64 384
  call void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24) %53) #6
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %14) #6
  store i32 0, ptr %14, align 4, !tbaa !31
  br label %.lr.ph

._crit_edge:                                      ; preds = %80
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #6
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %15) #6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %16) #6
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #6
  invoke void @_ZNSt6vectorIcSaIcEEC2IPKcvEET_S5_RKS0_(ptr noundef nonnull align 8 dereferenceable(24) %15, ptr noundef nonnull %7, ptr noundef nonnull %43, ptr noundef nonnull align 1 dereferenceable(1) %16)
          to label %84 unwind label %106

.lr.ph:                                           ; preds = %.lr.ph.preheader, %80
  %storemerge95 = phi i32 [ %82, %80 ], [ 0, %.lr.ph.preheader ]
  %54 = sext i32 %storemerge95 to i64
  %55 = getelementptr inbounds double, ptr %10, i64 %54
  %56 = load double, ptr %55, align 8, !tbaa !34
  %57 = call noundef zeroext i1 @_ZSt5isinfd(double noundef %56)
  br i1 %57, label %58, label %67

58:                                               ; preds = %.lr.ph
  %59 = load i32, ptr %14, align 4, !tbaa !31
  %60 = sext i32 %59 to i64
  %61 = getelementptr inbounds double, ptr %11, i64 %60
  %62 = load double, ptr %61, align 8, !tbaa !34
  %63 = call noundef zeroext i1 @_ZSt5isinfd(double noundef %62)
  br i1 %63, label %64, label %67

64:                                               ; preds = %58
  %65 = load i32, ptr %52, align 4, !tbaa !33
  %66 = add nsw i32 %65, 1
  store i32 %66, ptr %52, align 4, !tbaa !33
  br label %67

67:                                               ; preds = %64, %58, %.lr.ph
  %68 = load i32, ptr %14, align 4, !tbaa !31
  %69 = sext i32 %68 to i64
  %70 = getelementptr inbounds double, ptr %10, i64 %69
  %71 = load double, ptr %70, align 8, !tbaa !34
  %72 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %71)
  br i1 %72, label %73, label %80

73:                                               ; preds = %67
  %74 = load i32, ptr %14, align 4, !tbaa !31
  %75 = sext i32 %74 to i64
  %76 = getelementptr inbounds double, ptr %11, i64 %75
  %77 = load double, ptr %76, align 8, !tbaa !34
  %78 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %77)
  br i1 %78, label %79, label %80

79:                                               ; preds = %73
  call void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %53, ptr noundef nonnull align 4 dereferenceable(4) %14)
  br label %80

80:                                               ; preds = %67, %73, %79
  %81 = load i32, ptr %14, align 4, !tbaa !31
  %82 = add nsw i32 %81, 1
  store i32 %82, ptr %14, align 4, !tbaa !31
  %83 = icmp slt i32 %82, %2
  br i1 %83, label %.lr.ph, label %._crit_edge, !llvm.loop !35

84:                                               ; preds = %._crit_edge
  %85 = getelementptr inbounds i8, ptr %0, i64 408
  %86 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIcSaIcEEaSEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %85, ptr noundef nonnull align 8 dereferenceable(24) %15) #6
  call void @_ZNSt6vectorIcSaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %15) #6
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %16) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %15) #6
  %87 = getelementptr inbounds i8, ptr %0, i64 448
  store double %8, ptr %87, align 8, !tbaa !37
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %17) #6
  call void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef nonnull %9, i64 noundef %48)
  %88 = getelementptr inbounds i8, ptr %0, i64 456
  %89 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16) %88, ptr noundef nonnull align 8 dereferenceable(16) %17) #6
  call void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %17) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %18) #6
  call void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16) %18, ptr noundef nonnull %6, i64 noundef %42)
  %90 = getelementptr inbounds i8, ptr %0, i64 472
  %91 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16) %90, ptr noundef nonnull align 8 dereferenceable(16) %18) #6
  call void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %18) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %19) #6
  call void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull %10, i64 noundef %48)
  %92 = getelementptr inbounds i8, ptr %0, i64 488
  %93 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16) %92, ptr noundef nonnull align 8 dereferenceable(16) %19) #6
  call void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %19) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %20) #6
  call void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef nonnull %11, i64 noundef %48)
  %94 = getelementptr inbounds i8, ptr %0, i64 504
  %95 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16) %94, ptr noundef nonnull align 8 dereferenceable(16) %20) #6
  call void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %20) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #6
  %96 = getelementptr inbounds i8, ptr %0, i64 520
  %97 = getelementptr inbounds i8, ptr %3, i64 4
  call void @_ZN3ipx12SparseMatrix14LoadFromArraysEiiPKiS2_S2_PKd(ptr noundef nonnull align 8 dereferenceable(128) %96, i32 noundef %1, i32 noundef %2, ptr noundef nonnull %3, ptr noundef nonnull %97, ptr noundef nonnull %4, ptr noundef nonnull %5)
  %98 = call noundef double @_ZN3ipx7InfnormERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(16) %88)
  %99 = getelementptr inbounds i8, ptr %0, i64 432
  store double %98, ptr %99, align 8, !tbaa !38
  %100 = call noundef double @_ZN3ipx7InfnormERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(16) %90)
  %101 = getelementptr inbounds i8, ptr %0, i64 440
  store double %100, ptr %101, align 8, !tbaa !39
  %102 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %92) #6
  %103 = call noundef ptr @_ZSt3endIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %92) #6
  %.not9396 = icmp eq ptr %102, %103
  br i1 %.not9396, label %._crit_edge100, label %.lr.ph99

._crit_edge100:                                   ; preds = %114, %84
  %104 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %94) #6
  %105 = call noundef ptr @_ZSt3endIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %94) #6
  %.not94101 = icmp eq ptr %104, %105
  br i1 %.not94101, label %.loopexit, label %.lr.ph104

106:                                              ; preds = %._crit_edge
  %107 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %16) #6
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %16) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %15) #6
  resume { ptr, i32 } %107

.lr.ph99:                                         ; preds = %84, %114
  %.08697 = phi ptr [ %115, %114 ], [ %102, %84 ]
  %108 = load double, ptr %.08697, align 8, !tbaa !34
  %109 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %108)
  br i1 %109, label %110, label %114

110:                                              ; preds = %.lr.ph99
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #6
  %111 = call noundef double @_ZSt3absd(double noundef %108)
  store double %111, ptr %21, align 8, !tbaa !34
  %112 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %101, ptr noundef nonnull align 8 dereferenceable(8) %21)
  %113 = load double, ptr %112, align 8, !tbaa !34
  store double %113, ptr %101, align 8, !tbaa !39
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #6
  br label %114

114:                                              ; preds = %110, %.lr.ph99
  %115 = getelementptr inbounds i8, ptr %.08697, i64 8
  %.not93 = icmp eq ptr %115, %103
  br i1 %.not93, label %._crit_edge100, label %.lr.ph99

.lr.ph104:                                        ; preds = %._crit_edge100, %122
  %.087102 = phi ptr [ %123, %122 ], [ %104, %._crit_edge100 ]
  %116 = load double, ptr %.087102, align 8, !tbaa !34
  %117 = call noundef zeroext i1 @_ZSt8isfinited(double noundef %116)
  br i1 %117, label %118, label %122

118:                                              ; preds = %.lr.ph104
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #6
  %119 = call noundef double @_ZSt3absd(double noundef %116)
  store double %119, ptr %22, align 8, !tbaa !34
  %120 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %101, ptr noundef nonnull align 8 dereferenceable(8) %22)
  %121 = load double, ptr %120, align 8, !tbaa !34
  store double %121, ptr %101, align 8, !tbaa !39
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #6
  br label %122

122:                                              ; preds = %118, %.lr.ph104
  %123 = getelementptr inbounds i8, ptr %.087102, i64 8
  %.not94 = icmp eq ptr %123, %105
  br i1 %.not94, label %.loopexit, label %.lr.ph104

.loopexit:                                        ; preds = %122, %._crit_edge100, %39, %37, %34, %12
  %.0 = phi i32 [ 102, %12 ], [ 103, %34 ], [ 105, %37 ], [ 104, %39 ], [ 0, %._crit_edge100 ], [ 0, %122 ]
  ret i32 %.0
}

declare noundef double @_ZN3ipx7InfnormERKSt8valarrayIdE(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #3

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZSt3endIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZSt8isfinited(double noundef) local_unnamed_addr #1

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3maxIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef double @_ZSt3absd(double noundef) local_unnamed_addr #4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE5clearEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZNSt8valarrayIdED2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #4 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZNSt8valarrayIdEC2EPKdm(ptr noundef nonnull align 8 dereferenceable(16), ptr noalias noundef, i64 noundef) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef i32 @_ZN3ipxL12CheckVectorsEiiPKdPKcS1_S1_S1_(i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
declare hidden noundef i32 @_ZN3ipxL11CheckMatrixEiiPKiS1_PKd(i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef i64 @_ZSt5countIPKccENSt15iterator_traitsIT_E15difference_typeES3_S3_RKT0_(ptr noundef, ptr noundef, ptr noundef nonnull align 1 dereferenceable(1)) local_unnamed_addr #5

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZSt5isinfd(double noundef) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorIcSaIcEEC2IPKcvEET_S5_RKS0_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef, ptr noundef, ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIcSaIcEEaSEOS1_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt6vectorIcSaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt8valarrayIdEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #4 align 2

declare void @_ZN3ipx12SparseMatrix14LoadFromArraysEiiPKiS2_S2_PKd(ptr noundef nonnull align 8 dereferenceable(128), i32 noundef, i32 noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #1 align 2

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
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 = { "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 #4 = { inlinehint mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { inlinehint 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 #6 = { 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, !10, i64 360}
!6 = !{!"_ZTSN3ipx5ModelE", !7, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !11, i64 24, !11, i64 152, !21, i64 280, !21, i64 296, !21, i64 312, !21, i64 328, !23, i64 344, !23, i64 352, !10, i64 360, !10, i64 364, !10, i64 368, !10, i64 372, !10, i64 376, !12, i64 384, !24, i64 408, !23, i64 432, !23, i64 440, !23, i64 448, !21, i64 456, !21, i64 472, !21, i64 488, !21, i64 504, !11, i64 520, !12, i64 648, !21, i64 672, !21, i64 688}
!7 = !{!"bool", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"int", !8, i64 0}
!11 = !{!"_ZTSN3ipx12SparseMatrixE", !10, i64 0, !12, i64 8, !12, i64 32, !17, i64 56, !12, i64 80, !17, i64 104}
!12 = !{!"_ZTSSt6vectorIiSaIiEE", !13, i64 0}
!13 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !16, i64 0, !16, i64 8, !16, i64 16}
!16 = !{!"any pointer", !8, i64 0}
!17 = !{!"_ZTSSt6vectorIdSaIdEE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !16, i64 0, !16, i64 8, !16, i64 16}
!21 = !{!"_ZTSSt8valarrayIdE", !22, i64 0, !16, i64 8}
!22 = !{!"long", !8, i64 0}
!23 = !{!"double", !8, i64 0}
!24 = !{!"_ZTSSt6vectorIcSaIcEE", !25, i64 0}
!25 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !16, i64 0, !16, i64 8, !16, i64 16}
!28 = !{!8, !8, i64 0}
!29 = !{!6, !10, i64 364}
!30 = !{!6, !10, i64 368}
!31 = !{!10, !10, i64 0}
!32 = !{!6, !10, i64 376}
!33 = !{!6, !10, i64 372}
!34 = !{!23, !23, i64 0}
!35 = distinct !{!35, !36}
!36 = !{!"llvm.loop.mustprogress"}
!37 = !{!6, !23, i64 448}
!38 = !{!6, !23, i64 432}
!39 = !{!6, !23, i64 440}


; Effective O3 passes: EarlyCSEPass,GlobalDCEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,SLPVectorizerPass,SROAPass,SimplifyCFGPass,TailCallElimPass