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

; 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.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.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.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 }
%"class.std::valarray" = type { i64, ptr }

@.str.18 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [6 x i8], align 1
@__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_ = external hidden unnamed_addr constant [219 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [41 x i8], align 1

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

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

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #1

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704)) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704)) #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef, i32 noundef, ptr noundef) #4

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_(ptr noundef nonnull align 8 dereferenceable(704) %0, ptr noundef nonnull align 8 dereferenceable(16) %1, ptr noundef nonnull align 8 dereferenceable(16) %2, ptr noundef nonnull align 8 dereferenceable(16) %3, ptr noundef nonnull align 8 dereferenceable(16) %4, ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull align 8 dereferenceable(16) %6, ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull align 8 dereferenceable(16) %9, ptr noundef nonnull align 8 dereferenceable(16) %10, ptr noundef nonnull align 8 dereferenceable(16) %11, ptr noundef nonnull align 8 dereferenceable(16) %12, ptr noundef nonnull align 8 dereferenceable(16) %13) #5 align 2 {
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %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 ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  store ptr %0, ptr %15, align 8, !tbaa !5
  store ptr %1, ptr %16, align 8, !tbaa !5
  store ptr %2, ptr %17, align 8, !tbaa !5
  store ptr %3, ptr %18, align 8, !tbaa !5
  store ptr %4, ptr %19, align 8, !tbaa !5
  store ptr %5, ptr %20, align 8, !tbaa !5
  store ptr %6, ptr %21, align 8, !tbaa !5
  store ptr %7, ptr %22, align 8, !tbaa !5
  store ptr %8, ptr %23, align 8, !tbaa !5
  store ptr %9, ptr %24, align 8, !tbaa !5
  store ptr %10, ptr %25, align 8, !tbaa !5
  store ptr %11, ptr %26, align 8, !tbaa !5
  store ptr %12, ptr %27, align 8, !tbaa !5
  store ptr %13, ptr %28, align 8, !tbaa !5
  %32 = load ptr, ptr %15, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #6
  %33 = call noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704) %32)
  store i32 %33, ptr %29, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #6
  %34 = call noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704) %32)
  store i32 %34, ptr %30, align 4, !tbaa !9
  %35 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 0
  %36 = load i8, ptr %35, align 8, !tbaa !11, !range !30, !noundef !31
  %37 = trunc i8 %36 to i1
  br i1 %37, label %38, label %39

38:                                               ; preds = %14
  call void @__assert_fail(ptr noundef @.str.59, ptr noundef @.str.18, i32 noundef 1143, ptr noundef @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #7
  unreachable

39:                                               ; preds = %14
  %40 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 13
  %41 = load i32, ptr %40, align 8, !tbaa !32
  %42 = load i32, ptr %29, align 4, !tbaa !9
  %43 = icmp eq i32 %41, %42
  br i1 %43, label %44, label %45

44:                                               ; preds = %39
  br label %47

45:                                               ; preds = %39
  call void @__assert_fail(ptr noundef @.str.57, ptr noundef @.str.18, i32 noundef 1146, ptr noundef @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #7
  unreachable

46:                                               ; No predecessors!
  br label %47

47:                                               ; preds = %46, %44
  %48 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 15
  %49 = load i32, ptr %48, align 8, !tbaa !33
  %50 = load i32, ptr %30, align 4, !tbaa !9
  %51 = icmp eq i32 %49, %50
  br i1 %51, label %52, label %53

52:                                               ; preds = %47
  br label %55

53:                                               ; preds = %47
  call void @__assert_fail(ptr noundef @.str.58, ptr noundef @.str.18, i32 noundef 1147, ptr noundef @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #7
  unreachable

54:                                               ; No predecessors!
  br label %55

55:                                               ; preds = %54, %52
  %56 = load ptr, ptr %16, align 8, !tbaa !5
  %57 = call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %56) #6
  %58 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 15
  %59 = load i32, ptr %58, align 8, !tbaa !33
  %60 = load ptr, ptr %23, align 8, !tbaa !5
  %61 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %60) #6
  %62 = call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %57, i32 noundef %59, ptr noundef %61)
  %63 = load ptr, ptr %19, align 8, !tbaa !5
  %64 = call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %63) #6
  %65 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 13
  %66 = load i32, ptr %65, align 8, !tbaa !32
  %67 = load ptr, ptr %23, align 8, !tbaa !5
  %68 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %67) #6
  %69 = load i32, ptr %30, align 4, !tbaa !9
  %70 = sext i32 %69 to i64
  %71 = getelementptr inbounds double, ptr %68, i64 %70
  %72 = call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %64, i32 noundef %66, ptr noundef %71)
  %73 = load ptr, ptr %17, align 8, !tbaa !5
  %74 = call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %73) #6
  %75 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 15
  %76 = load i32, ptr %75, align 8, !tbaa !33
  %77 = load ptr, ptr %24, align 8, !tbaa !5
  %78 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %77) #6
  %79 = call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %74, i32 noundef %76, ptr noundef %78)
  %80 = load ptr, ptr %18, align 8, !tbaa !5
  %81 = call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %80) #6
  %82 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 15
  %83 = load i32, ptr %82, align 8, !tbaa !33
  %84 = load ptr, ptr %25, align 8, !tbaa !5
  %85 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %84) #6
  %86 = call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %81, i32 noundef %83, ptr noundef %85)
  %87 = load ptr, ptr %20, align 8, !tbaa !5
  %88 = call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %87) #6
  %89 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 13
  %90 = load i32, ptr %89, align 8, !tbaa !32
  %91 = load ptr, ptr %26, align 8, !tbaa !5
  %92 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %91) #6
  %93 = call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %88, i32 noundef %90, ptr noundef %92)
  %94 = load ptr, ptr %21, align 8, !tbaa !5
  %95 = call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %94) #6
  %96 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 15
  %97 = load i32, ptr %96, align 8, !tbaa !33
  %98 = load ptr, ptr %27, align 8, !tbaa !5
  %99 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %98) #6
  %100 = call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %95, i32 noundef %97, ptr noundef %99)
  %101 = load ptr, ptr %22, align 8, !tbaa !5
  %102 = call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %101) #6
  %103 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 15
  %104 = load i32, ptr %103, align 8, !tbaa !33
  %105 = load ptr, ptr %28, align 8, !tbaa !5
  %106 = call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %105) #6
  %107 = call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %102, i32 noundef %104, ptr noundef %106)
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #6
  store i32 0, ptr %31, align 4, !tbaa !9
  br label %108

108:                                              ; preds = %287, %55
  %109 = load i32, ptr %31, align 4, !tbaa !9
  %110 = load i32, ptr %29, align 4, !tbaa !9
  %111 = icmp slt i32 %109, %110
  br i1 %111, label %113, label %112

112:                                              ; preds = %108
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #6
  br label %290

113:                                              ; preds = %108
  %114 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 19
  %115 = load i32, ptr %31, align 4, !tbaa !9
  %116 = sext i32 %115 to i64
  %117 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIcSaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %114, i64 noundef %116) #6
  %118 = load i8, ptr %117, align 1, !tbaa !34
  %119 = sext i8 %118 to i32
  switch i32 %119, label %286 [
    i32 61, label %120
    i32 60, label %168
    i32 62, label %227
  ]

120:                                              ; preds = %113
  %121 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 9
  %122 = load i32, ptr %30, align 4, !tbaa !9
  %123 = load i32, ptr %31, align 4, !tbaa !9
  %124 = add nsw i32 %122, %123
  %125 = sext i32 %124 to i64
  %126 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %121, i64 noundef %125) #6
  %127 = load double, ptr %126, align 8, !tbaa !35
  %128 = fcmp oeq double %127, 0.000000e+00
  br i1 %128, label %129, label %138

129:                                              ; preds = %120
  %130 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 10
  %131 = load i32, ptr %30, align 4, !tbaa !9
  %132 = load i32, ptr %31, align 4, !tbaa !9
  %133 = add nsw i32 %131, %132
  %134 = sext i32 %133 to i64
  %135 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %130, i64 noundef %134) #6
  %136 = load double, ptr %135, align 8, !tbaa !35
  %137 = fcmp oeq double %136, 0.000000e+00
  br label %138

138:                                              ; preds = %129, %120
  %139 = phi i1 [ false, %120 ], [ %137, %129 ]
  br i1 %139, label %140, label %141

140:                                              ; preds = %138
  br label %143

141:                                              ; preds = %138
  call void @__assert_fail(ptr noundef @.str.60, ptr noundef @.str.18, i32 noundef 1161, ptr noundef @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #7
  unreachable

142:                                              ; No predecessors!
  br label %143

143:                                              ; preds = %142, %140
  %144 = load ptr, ptr %24, align 8, !tbaa !5
  %145 = load i32, ptr %30, align 4, !tbaa !9
  %146 = load i32, ptr %31, align 4, !tbaa !9
  %147 = add nsw i32 %145, %146
  %148 = sext i32 %147 to i64
  %149 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %144, i64 noundef %148) #6
  store double 0.000000e+00, ptr %149, align 8, !tbaa !35
  %150 = load ptr, ptr %25, align 8, !tbaa !5
  %151 = load i32, ptr %30, align 4, !tbaa !9
  %152 = load i32, ptr %31, align 4, !tbaa !9
  %153 = add nsw i32 %151, %152
  %154 = sext i32 %153 to i64
  %155 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %150, i64 noundef %154) #6
  store double 0.000000e+00, ptr %155, align 8, !tbaa !35
  %156 = load ptr, ptr %27, align 8, !tbaa !5
  %157 = load i32, ptr %30, align 4, !tbaa !9
  %158 = load i32, ptr %31, align 4, !tbaa !9
  %159 = add nsw i32 %157, %158
  %160 = sext i32 %159 to i64
  %161 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %156, i64 noundef %160) #6
  store double 0.000000e+00, ptr %161, align 8, !tbaa !35
  %162 = load ptr, ptr %28, align 8, !tbaa !5
  %163 = load i32, ptr %30, align 4, !tbaa !9
  %164 = load i32, ptr %31, align 4, !tbaa !9
  %165 = add nsw i32 %163, %164
  %166 = sext i32 %165 to i64
  %167 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %162, i64 noundef %166) #6
  store double 0.000000e+00, ptr %167, align 8, !tbaa !35
  br label %286

168:                                              ; preds = %113
  %169 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 9
  %170 = load i32, ptr %30, align 4, !tbaa !9
  %171 = load i32, ptr %31, align 4, !tbaa !9
  %172 = add nsw i32 %170, %171
  %173 = sext i32 %172 to i64
  %174 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %169, i64 noundef %173) #6
  %175 = load double, ptr %174, align 8, !tbaa !35
  %176 = fcmp oeq double %175, 0.000000e+00
  br i1 %176, label %177, label %186

177:                                              ; preds = %168
  %178 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 10
  %179 = load i32, ptr %30, align 4, !tbaa !9
  %180 = load i32, ptr %31, align 4, !tbaa !9
  %181 = add nsw i32 %179, %180
  %182 = sext i32 %181 to i64
  %183 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %178, i64 noundef %182) #6
  %184 = load double, ptr %183, align 8, !tbaa !35
  %185 = fcmp oeq double %184, 0x7FF0000000000000
  br label %186

186:                                              ; preds = %177, %168
  %187 = phi i1 [ false, %168 ], [ %185, %177 ]
  br i1 %187, label %188, label %189

188:                                              ; preds = %186
  br label %191

189:                                              ; preds = %186
  call void @__assert_fail(ptr noundef @.str.61, ptr noundef @.str.18, i32 noundef 1170, ptr noundef @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #7
  unreachable

190:                                              ; No predecessors!
  br label %191

191:                                              ; preds = %190, %188
  %192 = load ptr, ptr %19, align 8, !tbaa !5
  %193 = load i32, ptr %31, align 4, !tbaa !9
  %194 = sext i32 %193 to i64
  %195 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %192, i64 noundef %194) #6
  %196 = load double, ptr %195, align 8, !tbaa !35
  %197 = load ptr, ptr %24, align 8, !tbaa !5
  %198 = load i32, ptr %30, align 4, !tbaa !9
  %199 = load i32, ptr %31, align 4, !tbaa !9
  %200 = add nsw i32 %198, %199
  %201 = sext i32 %200 to i64
  %202 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %197, i64 noundef %201) #6
  store double %196, ptr %202, align 8, !tbaa !35
  %203 = load ptr, ptr %25, align 8, !tbaa !5
  %204 = load i32, ptr %30, align 4, !tbaa !9
  %205 = load i32, ptr %31, align 4, !tbaa !9
  %206 = add nsw i32 %204, %205
  %207 = sext i32 %206 to i64
  %208 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %203, i64 noundef %207) #6
  store double 0x7FF0000000000000, ptr %208, align 8, !tbaa !35
  %209 = load ptr, ptr %20, align 8, !tbaa !5
  %210 = load i32, ptr %31, align 4, !tbaa !9
  %211 = sext i32 %210 to i64
  %212 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %209, i64 noundef %211) #6
  %213 = load double, ptr %212, align 8, !tbaa !35
  %214 = fneg double %213
  %215 = load ptr, ptr %27, align 8, !tbaa !5
  %216 = load i32, ptr %30, align 4, !tbaa !9
  %217 = load i32, ptr %31, align 4, !tbaa !9
  %218 = add nsw i32 %216, %217
  %219 = sext i32 %218 to i64
  %220 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %215, i64 noundef %219) #6
  store double %214, ptr %220, align 8, !tbaa !35
  %221 = load ptr, ptr %28, align 8, !tbaa !5
  %222 = load i32, ptr %30, align 4, !tbaa !9
  %223 = load i32, ptr %31, align 4, !tbaa !9
  %224 = add nsw i32 %222, %223
  %225 = sext i32 %224 to i64
  %226 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %221, i64 noundef %225) #6
  store double 0.000000e+00, ptr %226, align 8, !tbaa !35
  br label %286

227:                                              ; preds = %113
  %228 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 9
  %229 = load i32, ptr %30, align 4, !tbaa !9
  %230 = load i32, ptr %31, align 4, !tbaa !9
  %231 = add nsw i32 %229, %230
  %232 = sext i32 %231 to i64
  %233 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %228, i64 noundef %232) #6
  %234 = load double, ptr %233, align 8, !tbaa !35
  %235 = fcmp oeq double %234, 0xFFF0000000000000
  br i1 %235, label %236, label %245

236:                                              ; preds = %227
  %237 = getelementptr inbounds %"class.ipx::Model", ptr %32, i32 0, i32 10
  %238 = load i32, ptr %30, align 4, !tbaa !9
  %239 = load i32, ptr %31, align 4, !tbaa !9
  %240 = add nsw i32 %238, %239
  %241 = sext i32 %240 to i64
  %242 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %237, i64 noundef %241) #6
  %243 = load double, ptr %242, align 8, !tbaa !35
  %244 = fcmp oeq double %243, 0.000000e+00
  br label %245

245:                                              ; preds = %236, %227
  %246 = phi i1 [ false, %227 ], [ %244, %236 ]
  br i1 %246, label %247, label %248

247:                                              ; preds = %245
  br label %250

248:                                              ; preds = %245
  call void @__assert_fail(ptr noundef @.str.62, ptr noundef @.str.18, i32 noundef 1177, ptr noundef @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #7
  unreachable

249:                                              ; No predecessors!
  br label %250

250:                                              ; preds = %249, %247
  %251 = load ptr, ptr %24, align 8, !tbaa !5
  %252 = load i32, ptr %30, align 4, !tbaa !9
  %253 = load i32, ptr %31, align 4, !tbaa !9
  %254 = add nsw i32 %252, %253
  %255 = sext i32 %254 to i64
  %256 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %251, i64 noundef %255) #6
  store double 0x7FF0000000000000, ptr %256, align 8, !tbaa !35
  %257 = load ptr, ptr %19, align 8, !tbaa !5
  %258 = load i32, ptr %31, align 4, !tbaa !9
  %259 = sext i32 %258 to i64
  %260 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %257, i64 noundef %259) #6
  %261 = load double, ptr %260, align 8, !tbaa !35
  %262 = fneg double %261
  %263 = load ptr, ptr %25, align 8, !tbaa !5
  %264 = load i32, ptr %30, align 4, !tbaa !9
  %265 = load i32, ptr %31, align 4, !tbaa !9
  %266 = add nsw i32 %264, %265
  %267 = sext i32 %266 to i64
  %268 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %263, i64 noundef %267) #6
  store double %262, ptr %268, align 8, !tbaa !35
  %269 = load ptr, ptr %27, align 8, !tbaa !5
  %270 = load i32, ptr %30, align 4, !tbaa !9
  %271 = load i32, ptr %31, align 4, !tbaa !9
  %272 = add nsw i32 %270, %271
  %273 = sext i32 %272 to i64
  %274 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %269, i64 noundef %273) #6
  store double 0.000000e+00, ptr %274, align 8, !tbaa !35
  %275 = load ptr, ptr %20, align 8, !tbaa !5
  %276 = load i32, ptr %31, align 4, !tbaa !9
  %277 = sext i32 %276 to i64
  %278 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %275, i64 noundef %277) #6
  %279 = load double, ptr %278, align 8, !tbaa !35
  %280 = load ptr, ptr %28, align 8, !tbaa !5
  %281 = load i32, ptr %30, align 4, !tbaa !9
  %282 = load i32, ptr %31, align 4, !tbaa !9
  %283 = add nsw i32 %281, %282
  %284 = sext i32 %283 to i64
  %285 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %280, i64 noundef %284) #6
  store double %279, ptr %285, align 8, !tbaa !35
  br label %286

286:                                              ; preds = %250, %191, %143, %113
  br label %287

287:                                              ; preds = %286
  %288 = load i32, ptr %31, align 4, !tbaa !9
  %289 = add nsw i32 %288, 1
  store i32 %289, ptr %31, align 4, !tbaa !9
  br label %108, !llvm.loop !36

290:                                              ; preds = %112
  br label %291

291:                                              ; preds = %290
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #6
  ret void
}

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { noreturn nounwind "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 = { 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 #3 = { 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 #4 = { 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 #5 = { 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 }
attributes #7 = { noreturn 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, !13, i64 0}
!12 = !{!"_ZTSN3ipx5ModelE", !13, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !10, i64 16, !14, i64 24, !14, i64 152, !23, i64 280, !23, i64 296, !23, i64 312, !23, i64 328, !25, i64 344, !25, i64 352, !10, i64 360, !10, i64 364, !10, i64 368, !10, i64 372, !10, i64 376, !15, i64 384, !26, i64 408, !25, i64 432, !25, i64 440, !25, i64 448, !23, i64 456, !23, i64 472, !23, i64 488, !23, i64 504, !14, i64 520, !15, i64 648, !23, i64 672, !23, i64 688}
!13 = !{!"bool", !7, i64 0}
!14 = !{!"_ZTSN3ipx12SparseMatrixE", !10, i64 0, !15, i64 8, !15, i64 32, !19, i64 56, !15, i64 80, !19, i64 104}
!15 = !{!"_ZTSSt6vectorIiSaIiEE", !16, i64 0}
!16 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !17, i64 0}
!17 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !18, i64 0}
!18 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!19 = !{!"_ZTSSt6vectorIdSaIdEE", !20, i64 0}
!20 = !{!"_ZTSSt12_Vector_baseIdSaIdEE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE12_Vector_implE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseIdSaIdEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!23 = !{!"_ZTSSt8valarrayIdE", !24, i64 0, !6, i64 8}
!24 = !{!"long", !7, i64 0}
!25 = !{!"double", !7, i64 0}
!26 = !{!"_ZTSSt6vectorIcSaIcEE", !27, i64 0}
!27 = !{!"_ZTSSt12_Vector_baseIcSaIcEE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE12_Vector_implE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseIcSaIcEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!30 = !{i8 0, i8 2}
!31 = !{}
!32 = !{!12, !10, i64 360}
!33 = !{!12, !10, i64 368}
!34 = !{!7, !7, i64 0}
!35 = !{!25, !25, i64 0}
!36 = distinct !{!36, !37}
!37 = !{!"llvm.loop.mustprogress"}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@.str.18 = external hidden unnamed_addr constant [70 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [6 x i8], align 1
@__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_ = external hidden unnamed_addr constant [219 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [41 x i8], align 1

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #0

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704)) local_unnamed_addr #2 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #3

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_(ptr noundef nonnull align 8 dereferenceable(704) %0, ptr noundef nonnull align 8 dereferenceable(16) %1, ptr noundef nonnull align 8 dereferenceable(16) %2, ptr noundef nonnull align 8 dereferenceable(16) %3, ptr noundef nonnull align 8 dereferenceable(16) %4, ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull align 8 dereferenceable(16) %6, ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull align 8 dereferenceable(16) %9, ptr noundef nonnull align 8 dereferenceable(16) %10, ptr noundef nonnull align 8 dereferenceable(16) %11, ptr noundef nonnull align 8 dereferenceable(16) %12, ptr noundef nonnull align 8 dereferenceable(16) %13) local_unnamed_addr #4 align 2 {
  %15 = tail call noundef i32 @_ZNK3ipx5Model4rowsEv(ptr noundef nonnull align 8 dereferenceable(704) %0)
  %16 = tail call noundef i32 @_ZNK3ipx5Model4colsEv(ptr noundef nonnull align 8 dereferenceable(704) %0)
  %17 = load i8, ptr %0, align 8, !tbaa !5, !range !28, !noundef !29
  %18 = trunc nuw i8 %17 to i1
  br i1 %18, label %19, label %20

19:                                               ; preds = %14
  tail call void @__assert_fail(ptr noundef nonnull @.str.59, ptr noundef nonnull @.str.18, i32 noundef 1143, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #5
  unreachable

20:                                               ; preds = %14
  %21 = getelementptr inbounds i8, ptr %0, i64 360
  %22 = load i32, ptr %21, align 8, !tbaa !30
  %23 = icmp eq i32 %22, %15
  br i1 %23, label %25, label %24

24:                                               ; preds = %20
  tail call void @__assert_fail(ptr noundef nonnull @.str.57, ptr noundef nonnull @.str.18, i32 noundef 1146, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #5
  unreachable

25:                                               ; preds = %20
  %26 = getelementptr inbounds i8, ptr %0, i64 368
  %27 = load i32, ptr %26, align 8, !tbaa !31
  %28 = icmp eq i32 %27, %16
  br i1 %28, label %30, label %29

29:                                               ; preds = %25
  tail call void @__assert_fail(ptr noundef nonnull @.str.58, ptr noundef nonnull @.str.18, i32 noundef 1147, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #5
  unreachable

30:                                               ; preds = %25
  %31 = tail call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %1) #6
  %32 = load i32, ptr %26, align 8, !tbaa !31
  %33 = tail call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %8) #6
  %34 = tail call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %31, i32 noundef %32, ptr noundef %33)
  %35 = tail call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %4) #6
  %36 = load i32, ptr %21, align 8, !tbaa !30
  %37 = tail call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %8) #6
  %38 = sext i32 %16 to i64
  %39 = getelementptr inbounds double, ptr %37, i64 %38
  %40 = tail call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %35, i32 noundef %36, ptr noundef %39)
  %41 = tail call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %2) #6
  %42 = load i32, ptr %26, align 8, !tbaa !31
  %43 = tail call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %9) #6
  %44 = tail call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %41, i32 noundef %42, ptr noundef %43)
  %45 = tail call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %3) #6
  %46 = load i32, ptr %26, align 8, !tbaa !31
  %47 = tail call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %10) #6
  %48 = tail call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %45, i32 noundef %46, ptr noundef %47)
  %49 = tail call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %5) #6
  %50 = load i32, ptr %21, align 8, !tbaa !30
  %51 = tail call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %11) #6
  %52 = tail call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %49, i32 noundef %50, ptr noundef %51)
  %53 = tail call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %6) #6
  %54 = load i32, ptr %26, align 8, !tbaa !31
  %55 = tail call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %12) #6
  %56 = tail call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %53, i32 noundef %54, ptr noundef %55)
  %57 = tail call noundef ptr @_ZSt5beginIdEPKT_RKSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %7) #6
  %58 = load i32, ptr %26, align 8, !tbaa !31
  %59 = tail call noundef ptr @_ZSt5beginIdEPT_RSt8valarrayIS0_E(ptr noundef nonnull align 8 dereferenceable(16) %13) #6
  %60 = tail call noundef ptr @_ZSt6copy_nIPKdiPdET1_T_T0_S3_(ptr noundef %57, i32 noundef %58, ptr noundef %59)
  %61 = icmp sgt i32 %15, 0
  br i1 %61, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %30
  %62 = getelementptr inbounds i8, ptr %0, i64 408
  %63 = getelementptr inbounds i8, ptr %0, i64 312
  %64 = getelementptr inbounds i8, ptr %0, i64 328
  %wide.trip.count = zext nneg i32 %15 to i64
  br label %65

._crit_edge:                                      ; preds = %118, %30
  ret void

65:                                               ; preds = %.lr.ph, %118
  %indvars.iv = phi i64 [ 0, %.lr.ph ], [ %indvars.iv.next, %118 ]
  %66 = tail call noundef nonnull align 1 dereferenceable(1) ptr @_ZNKSt6vectorIcSaIcEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %62, i64 noundef %indvars.iv) #6
  %67 = load i8, ptr %66, align 1, !tbaa !32
  switch i8 %67, label %118 [
    i8 61, label %68
    i8 60, label %81
    i8 62, label %99
  ]

68:                                               ; preds = %65
  %69 = add nsw i64 %indvars.iv, %38
  %70 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %63, i64 noundef %69) #6
  %71 = load double, ptr %70, align 8, !tbaa !33
  %72 = fcmp oeq double %71, 0.000000e+00
  br i1 %72, label %73, label %.critedge

73:                                               ; preds = %68
  %74 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %64, i64 noundef %69) #6
  %75 = load double, ptr %74, align 8, !tbaa !33
  %76 = fcmp oeq double %75, 0.000000e+00
  br i1 %76, label %77, label %.critedge

.critedge:                                        ; preds = %68, %73
  tail call void @__assert_fail(ptr noundef nonnull @.str.60, ptr noundef nonnull @.str.18, i32 noundef 1161, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #5
  unreachable

77:                                               ; preds = %73
  %78 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %69) #6
  store double 0.000000e+00, ptr %78, align 8, !tbaa !33
  %79 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %69) #6
  store double 0.000000e+00, ptr %79, align 8, !tbaa !33
  %80 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %12, i64 noundef %69) #6
  store double 0.000000e+00, ptr %80, align 8, !tbaa !33
  br label %.sink.split

81:                                               ; preds = %65
  %82 = add nsw i64 %indvars.iv, %38
  %83 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %63, i64 noundef %82) #6
  %84 = load double, ptr %83, align 8, !tbaa !33
  %85 = fcmp oeq double %84, 0.000000e+00
  br i1 %85, label %86, label %.critedge2

86:                                               ; preds = %81
  %87 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %64, i64 noundef %82) #6
  %88 = load double, ptr %87, align 8, !tbaa !33
  %89 = fcmp oeq double %88, 0x7FF0000000000000
  br i1 %89, label %90, label %.critedge2

.critedge2:                                       ; preds = %81, %86
  tail call void @__assert_fail(ptr noundef nonnull @.str.61, ptr noundef nonnull @.str.18, i32 noundef 1170, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #5
  unreachable

90:                                               ; preds = %86
  %91 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %4, i64 noundef %indvars.iv) #6
  %92 = load double, ptr %91, align 8, !tbaa !33
  %93 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %82) #6
  store double %92, ptr %93, align 8, !tbaa !33
  %94 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %82) #6
  store double 0x7FF0000000000000, ptr %94, align 8, !tbaa !33
  %95 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %5, i64 noundef %indvars.iv) #6
  %96 = load double, ptr %95, align 8, !tbaa !33
  %97 = fneg double %96
  %98 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %12, i64 noundef %82) #6
  store double %97, ptr %98, align 8, !tbaa !33
  br label %.sink.split

99:                                               ; preds = %65
  %100 = add nsw i64 %indvars.iv, %38
  %101 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %63, i64 noundef %100) #6
  %102 = load double, ptr %101, align 8, !tbaa !33
  %103 = fcmp oeq double %102, 0xFFF0000000000000
  br i1 %103, label %104, label %.critedge4

104:                                              ; preds = %99
  %105 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %64, i64 noundef %100) #6
  %106 = load double, ptr %105, align 8, !tbaa !33
  %107 = fcmp oeq double %106, 0.000000e+00
  br i1 %107, label %108, label %.critedge4

.critedge4:                                       ; preds = %99, %104
  tail call void @__assert_fail(ptr noundef nonnull @.str.62, ptr noundef nonnull @.str.18, i32 noundef 1177, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3ipx5Model23DualizeIPMStartingPointERKSt8valarrayIdES4_S4_S4_S4_S4_S4_RS2_S5_S5_S5_S5_S5_) #5
  unreachable

108:                                              ; preds = %104
  %109 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %9, i64 noundef %100) #6
  store double 0x7FF0000000000000, ptr %109, align 8, !tbaa !33
  %110 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %4, i64 noundef %indvars.iv) #6
  %111 = load double, ptr %110, align 8, !tbaa !33
  %112 = fneg double %111
  %113 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %10, i64 noundef %100) #6
  store double %112, ptr %113, align 8, !tbaa !33
  %114 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %12, i64 noundef %100) #6
  store double 0.000000e+00, ptr %114, align 8, !tbaa !33
  %115 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %5, i64 noundef %indvars.iv) #6
  %116 = load double, ptr %115, align 8, !tbaa !33
  br label %.sink.split

.sink.split:                                      ; preds = %108, %90, %77
  %.sink86 = phi i64 [ %69, %77 ], [ %82, %90 ], [ %100, %108 ]
  %.sink = phi double [ 0.000000e+00, %77 ], [ 0.000000e+00, %90 ], [ %116, %108 ]
  %117 = tail call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt8valarrayIdEixEm(ptr noundef nonnull align 8 dereferenceable(16) %13, i64 noundef %.sink86) #6
  store double %.sink, ptr %117, align 8, !tbaa !33
  br label %118

118:                                              ; preds = %.sink.split, %65
  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count
  br i1 %exitcond.not, label %._crit_edge, label %65, !llvm.loop !34
}

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

attributes #0 = { noreturn nounwind "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 = { 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 #2 = { 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 #3 = { 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 #4 = { 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 #5 = { noreturn nounwind }
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, !7, i64 0}
!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 = !{i8 0, i8 2}
!29 = !{}
!30 = !{!6, !10, i64 360}
!31 = !{!6, !10, i64 368}
!32 = !{!8, !8, i64 0}
!33 = !{!23, !23, i64 0}
!34 = distinct !{!34, !35}
!35 = !{!"llvm.loop.mustprogress"}


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