; LLVM IR from cvanaret/Uno :: uno/ingredients/constraint_relaxation_strategies (l1RelaxedProblem)

; 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.uno::SparseVector<double>::iterator" = type { ptr, i64 }
%"struct.std::pair" = type { i64, double }
%"class.uno::Range" = type { %"class.uno::Collection", i64, i64 }
%"class.uno::Collection" = type { ptr }
%"class.uno::Collection<unsigned long>::iterator" = type { ptr, i64 }
%"class.uno::LagrangianGradient" = type { %"class.uno::Vector", %"class.uno::Vector" }
%"class.uno::Vector" = type { %"class.std::vector" }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = 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.uno::Iterate" = type <{ i64, i64, %"class.uno::Vector", %"class.uno::Multipliers", %"class.uno::Multipliers", double, %"struct.uno::Evaluations", i8, i8, i8, i8, [4 x i8], double, %"class.uno::DualResiduals", %"class.uno::DualResiduals", %"struct.uno::ProgressMeasures", i32, [4 x i8] }>
%"class.uno::Multipliers" = type { %"class.uno::Vector", %"class.uno::Vector", %"class.uno::Vector" }
%"struct.uno::Evaluations" = type { double, %"class.std::vector", %"class.uno::SparseVector", %"class.uno::RectangularMatrix" }
%"class.uno::SparseVector" = type { %"class.std::vector.3", %"class.std::vector", i64 }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned long, std::allocator<unsigned long>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.uno::RectangularMatrix" = type { %"class.std::vector.8" }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<uno::SparseVector<double>, std::allocator<uno::SparseVector<double>>>::_Vector_impl" }
%"struct.std::_Vector_base<uno::SparseVector<double>, std::allocator<uno::SparseVector<double>>>::_Vector_impl" = type { %"struct.std::_Vector_base<uno::SparseVector<double>, std::allocator<uno::SparseVector<double>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<uno::SparseVector<double>, std::allocator<uno::SparseVector<double>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.uno::DualResiduals" = type { double, double, double, double, %"class.uno::LagrangianGradient" }
%"struct.uno::ProgressMeasures" = type { double, %"class.std::function", double }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%"class.uno::OptimizationProblem" = type { ptr, ptr, i64, i64 }
%"class.uno::Model" = type { ptr, %"class.std::__cxx11::basic_string", i64, i64, double }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.uno::l1RelaxedProblem" = type { %"class.uno::OptimizationProblem", i64, double, double, double, ptr, %"class.uno::Concatenation", %"class.uno::Concatenation" }
%"class.uno::Concatenation" = type { %"class.uno::Collection", ptr, %"class.uno::Range" }

declare i32 @__gxx_personality_v0(...)

; 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: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8)) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #2

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16)) #1 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3uno5RangeILNS_14RangeDirectionE0EEC2Em(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_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 noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #2 align 2

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

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

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #5

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK3uno16l1RelaxedProblem28evaluate_lagrangian_gradientERNS_18LagrangianGradientIdEERNS_7IterateERKNS_11MultipliersE(ptr noundef nonnull align 8 dereferenceable(152) %0, ptr noundef nonnull align 8 dereferenceable(48) %1, ptr noundef nonnull align 8 dereferenceable(532) %2, ptr noundef nonnull align 8 dereferenceable(72) %3) unnamed_addr #1 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca %"class.uno::SparseVector<double>::iterator", align 8
  %11 = alloca %"class.uno::SparseVector<double>::iterator", align 8
  %12 = alloca %"struct.std::pair", align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca %"class.uno::Range", align 8
  %17 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %18 = alloca ptr, align 8
  %19 = alloca i32, align 4
  %20 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %21 = alloca i32, align 4
  %22 = alloca i64, align 8
  %23 = alloca ptr, align 8
  %24 = alloca %"class.uno::SparseVector<double>::iterator", align 8
  %25 = alloca %"class.uno::SparseVector<double>::iterator", align 8
  %26 = alloca %"struct.std::pair", align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca %"class.uno::Range", align 8
  %31 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %32 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %33 = alloca i64, align 8
  %34 = alloca i64, align 8
  %35 = alloca ptr, align 8
  %36 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %37 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %38 = alloca i64, align 8
  %39 = alloca ptr, align 8
  %40 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %41 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %42 = alloca i64, align 8
  %43 = alloca ptr, align 8
  %44 = alloca %"class.uno::Range", align 8
  %45 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %46 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %47 = alloca i64, align 8
  %48 = alloca double, align 8
  %49 = alloca double, align 8
  %50 = alloca double, align 8
  %51 = alloca double, align 8
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  store ptr %3, ptr %8, align 8, !tbaa !5
  %52 = load ptr, ptr %5, align 8
  %53 = load ptr, ptr %6, align 8, !tbaa !5
  %54 = getelementptr inbounds %"class.uno::LagrangianGradient", ptr %53, i32 0, i32 0
  call void @_ZN3uno6VectorIdE4fillEd(ptr noundef nonnull align 8 dereferenceable(24) %54, double noundef 0.000000e+00)
  %55 = load ptr, ptr %6, align 8, !tbaa !5
  %56 = getelementptr inbounds %"class.uno::LagrangianGradient", ptr %55, i32 0, i32 1
  call void @_ZN3uno6VectorIdE4fillEd(ptr noundef nonnull align 8 dereferenceable(24) %56, double noundef 0.000000e+00)
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #6
  %57 = load ptr, ptr %7, align 8, !tbaa !5
  %58 = getelementptr inbounds %"class.uno::Iterate", ptr %57, i32 0, i32 6
  %59 = getelementptr inbounds %"struct.uno::Evaluations", ptr %58, i32 0, i32 2
  store ptr %59, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %10) #6
  %60 = load ptr, ptr %9, align 8, !tbaa !5
  %61 = call { ptr, i64 } @_ZNK3uno12SparseVectorIdE5beginEv(ptr noundef nonnull align 8 dereferenceable(56) %60)
  %62 = getelementptr inbounds { ptr, i64 }, ptr %10, i32 0, i32 0
  %63 = extractvalue { ptr, i64 } %61, 0
  store ptr %63, ptr %62, align 8
  %64 = getelementptr inbounds { ptr, i64 }, ptr %10, i32 0, i32 1
  %65 = extractvalue { ptr, i64 } %61, 1
  store i64 %65, ptr %64, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %11) #6
  %66 = load ptr, ptr %9, align 8, !tbaa !5
  %67 = call { ptr, i64 } @_ZNK3uno12SparseVectorIdE3endEv(ptr noundef nonnull align 8 dereferenceable(56) %66)
  %68 = getelementptr inbounds { ptr, i64 }, ptr %11, i32 0, i32 0
  %69 = extractvalue { ptr, i64 } %67, 0
  store ptr %69, ptr %68, align 8
  %70 = getelementptr inbounds { ptr, i64 }, ptr %11, i32 0, i32 1
  %71 = extractvalue { ptr, i64 } %67, 1
  store i64 %71, ptr %70, align 8
  br label %72

72:                                               ; preds = %92, %4
  %73 = call noundef zeroext i1 @_ZN3unoneERKNS_12SparseVectorIdE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %10, ptr noundef nonnull align 8 dereferenceable(16) %11)
  br i1 %73, label %75, label %74

74:                                               ; preds = %72
  call void @llvm.lifetime.end.p0(i64 16, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #6
  br label %94

75:                                               ; preds = %72
  call void @llvm.lifetime.start.p0(i64 16, ptr %12) #6
  %76 = call { i64, double } @_ZNK3uno12SparseVectorIdE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %10)
  %77 = getelementptr inbounds { i64, double }, ptr %12, i32 0, i32 0
  %78 = extractvalue { i64, double } %76, 0
  store i64 %78, ptr %77, align 8
  %79 = getelementptr inbounds { i64, double }, ptr %12, i32 0, i32 1
  %80 = extractvalue { i64, double } %76, 1
  store double %80, ptr %79, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #6
  %81 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3getILm0EmdEONSt13tuple_elementIXT_ESt4pairIT0_T1_EE4typeEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %12) #6
  store ptr %81, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #6
  %82 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3getILm1EmdEONSt13tuple_elementIXT_ESt4pairIT0_T1_EE4typeEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %12) #6
  store ptr %82, ptr %14, align 8, !tbaa !5
  %83 = load ptr, ptr %14, align 8, !tbaa !5
  %84 = load double, ptr %83, align 8, !tbaa !9
  %85 = load ptr, ptr %6, align 8, !tbaa !5
  %86 = getelementptr inbounds %"class.uno::LagrangianGradient", ptr %85, i32 0, i32 0
  %87 = load ptr, ptr %13, align 8, !tbaa !5
  %88 = load i64, ptr %87, align 8, !tbaa !11
  %89 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %86, i64 noundef %88)
  %90 = load double, ptr %89, align 8, !tbaa !9
  %91 = fadd double %90, %84
  store double %91, ptr %89, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %12) #6
  br label %92

92:                                               ; preds = %75
  %93 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno12SparseVectorIdE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %10)
  br label %72

94:                                               ; preds = %74
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #6
  call void @llvm.lifetime.start.p0(i64 24, ptr %16) #6
  %95 = getelementptr inbounds %"class.uno::OptimizationProblem", ptr %52, i32 0, i32 3
  %96 = load i64, ptr %95, align 8, !tbaa !13
  call void @_ZN3uno5RangeILNS_14RangeDirectionE0EEC2Em(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %96)
  store ptr %16, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %17) #6
  %97 = load ptr, ptr %15, align 8, !tbaa !5
  %98 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %97)
          to label %99 unwind label %115

99:                                               ; preds = %94
  %100 = getelementptr inbounds { ptr, i64 }, ptr %17, i32 0, i32 0
  %101 = extractvalue { ptr, i64 } %98, 0
  store ptr %101, ptr %100, align 8
  %102 = getelementptr inbounds { ptr, i64 }, ptr %17, i32 0, i32 1
  %103 = extractvalue { ptr, i64 } %98, 1
  store i64 %103, ptr %102, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %20) #6
  %104 = load ptr, ptr %15, align 8, !tbaa !5
  %105 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %104)
          to label %106 unwind label %119

106:                                              ; preds = %99
  %107 = getelementptr inbounds { ptr, i64 }, ptr %20, i32 0, i32 0
  %108 = extractvalue { ptr, i64 } %105, 0
  store ptr %108, ptr %107, align 8
  %109 = getelementptr inbounds { ptr, i64 }, ptr %20, i32 0, i32 1
  %110 = extractvalue { ptr, i64 } %105, 1
  store i64 %110, ptr %109, align 8
  br label %111

111:                                              ; preds = %219, %106
  %112 = invoke noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef nonnull align 8 dereferenceable(16) %20)
          to label %113 unwind label %119

113:                                              ; preds = %111
  br i1 %112, label %123, label %114

114:                                              ; preds = %113
  store i32 4, ptr %21, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %20) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %17) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #6
  br label %223

115:                                              ; preds = %94
  %116 = landingpad { ptr, i32 }
          cleanup
  %117 = extractvalue { ptr, i32 } %116, 0
  store ptr %117, ptr %18, align 8
  %118 = extractvalue { ptr, i32 } %116, 1
  store i32 %118, ptr %19, align 4
  br label %222

119:                                              ; preds = %217, %111, %99
  %120 = landingpad { ptr, i32 }
          cleanup
  %121 = extractvalue { ptr, i32 } %120, 0
  store ptr %121, ptr %18, align 8
  %122 = extractvalue { ptr, i32 } %120, 1
  store i32 %122, ptr %19, align 4
  br label %221

123:                                              ; preds = %113
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #6
  %124 = invoke noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %17)
          to label %125 unwind label %158

125:                                              ; preds = %123
  store i64 %124, ptr %22, align 8, !tbaa !11
  %126 = load ptr, ptr %8, align 8, !tbaa !5
  %127 = getelementptr inbounds %"class.uno::Multipliers", ptr %126, i32 0, i32 2
  %128 = load i64, ptr %22, align 8, !tbaa !11
  %129 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %127, i64 noundef %128)
          to label %130 unwind label %158

130:                                              ; preds = %125
  %131 = load double, ptr %129, align 8, !tbaa !9
  %132 = fcmp une double %131, 0.000000e+00
  br i1 %132, label %133, label %216

133:                                              ; preds = %130
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #6
  %134 = load ptr, ptr %7, align 8, !tbaa !5
  %135 = getelementptr inbounds %"class.uno::Iterate", ptr %134, i32 0, i32 6
  %136 = getelementptr inbounds %"struct.uno::Evaluations", ptr %135, i32 0, i32 3
  %137 = load i64, ptr %22, align 8, !tbaa !11
  %138 = invoke noundef nonnull align 8 dereferenceable(56) ptr @_ZN3uno17RectangularMatrixIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %136, i64 noundef %137)
          to label %139 unwind label %162

139:                                              ; preds = %133
  store ptr %138, ptr %23, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %24) #6
  %140 = load ptr, ptr %23, align 8, !tbaa !5
  %141 = invoke { ptr, i64 } @_ZNK3uno12SparseVectorIdE5beginEv(ptr noundef nonnull align 8 dereferenceable(56) %140)
          to label %142 unwind label %166

142:                                              ; preds = %139
  %143 = getelementptr inbounds { ptr, i64 }, ptr %24, i32 0, i32 0
  %144 = extractvalue { ptr, i64 } %141, 0
  store ptr %144, ptr %143, align 8
  %145 = getelementptr inbounds { ptr, i64 }, ptr %24, i32 0, i32 1
  %146 = extractvalue { ptr, i64 } %141, 1
  store i64 %146, ptr %145, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %25) #6
  %147 = load ptr, ptr %23, align 8, !tbaa !5
  %148 = invoke { ptr, i64 } @_ZNK3uno12SparseVectorIdE3endEv(ptr noundef nonnull align 8 dereferenceable(56) %147)
          to label %149 unwind label %170

149:                                              ; preds = %142
  %150 = getelementptr inbounds { ptr, i64 }, ptr %25, i32 0, i32 0
  %151 = extractvalue { ptr, i64 } %148, 0
  store ptr %151, ptr %150, align 8
  %152 = getelementptr inbounds { ptr, i64 }, ptr %25, i32 0, i32 1
  %153 = extractvalue { ptr, i64 } %148, 1
  store i64 %153, ptr %152, align 8
  br label %154

154:                                              ; preds = %202, %149
  %155 = invoke noundef zeroext i1 @_ZN3unoneERKNS_12SparseVectorIdE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %24, ptr noundef nonnull align 8 dereferenceable(16) %25)
          to label %156 unwind label %170

156:                                              ; preds = %154
  br i1 %155, label %174, label %157

157:                                              ; preds = %156
  store i32 6, ptr %21, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %24) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #6
  br label %215

158:                                              ; preds = %125, %123
  %159 = landingpad { ptr, i32 }
          cleanup
  %160 = extractvalue { ptr, i32 } %159, 0
  store ptr %160, ptr %18, align 8
  %161 = extractvalue { ptr, i32 } %159, 1
  store i32 %161, ptr %19, align 4
  br label %220

162:                                              ; preds = %133
  %163 = landingpad { ptr, i32 }
          cleanup
  %164 = extractvalue { ptr, i32 } %163, 0
  store ptr %164, ptr %18, align 8
  %165 = extractvalue { ptr, i32 } %163, 1
  store i32 %165, ptr %19, align 4
  br label %214

166:                                              ; preds = %139
  %167 = landingpad { ptr, i32 }
          cleanup
  %168 = extractvalue { ptr, i32 } %167, 0
  store ptr %168, ptr %18, align 8
  %169 = extractvalue { ptr, i32 } %167, 1
  store i32 %169, ptr %19, align 4
  br label %213

170:                                              ; preds = %200, %154, %142
  %171 = landingpad { ptr, i32 }
          cleanup
  %172 = extractvalue { ptr, i32 } %171, 0
  store ptr %172, ptr %18, align 8
  %173 = extractvalue { ptr, i32 } %171, 1
  store i32 %173, ptr %19, align 4
  br label %212

174:                                              ; preds = %156
  call void @llvm.lifetime.start.p0(i64 16, ptr %26) #6
  %175 = invoke { i64, double } @_ZNK3uno12SparseVectorIdE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %24)
          to label %176 unwind label %203

176:                                              ; preds = %174
  %177 = getelementptr inbounds { i64, double }, ptr %26, i32 0, i32 0
  %178 = extractvalue { i64, double } %175, 0
  store i64 %178, ptr %177, align 8
  %179 = getelementptr inbounds { i64, double }, ptr %26, i32 0, i32 1
  %180 = extractvalue { i64, double } %175, 1
  store double %180, ptr %179, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #6
  %181 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3getILm0EmdEONSt13tuple_elementIXT_ESt4pairIT0_T1_EE4typeEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %26) #6
  store ptr %181, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #6
  %182 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3getILm1EmdEONSt13tuple_elementIXT_ESt4pairIT0_T1_EE4typeEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %26) #6
  store ptr %182, ptr %28, align 8, !tbaa !5
  %183 = load ptr, ptr %8, align 8, !tbaa !5
  %184 = getelementptr inbounds %"class.uno::Multipliers", ptr %183, i32 0, i32 2
  %185 = load i64, ptr %22, align 8, !tbaa !11
  %186 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %184, i64 noundef %185)
          to label %187 unwind label %207

187:                                              ; preds = %176
  %188 = load double, ptr %186, align 8, !tbaa !9
  %189 = load ptr, ptr %28, align 8, !tbaa !5
  %190 = load double, ptr %189, align 8, !tbaa !9
  %191 = load ptr, ptr %6, align 8, !tbaa !5
  %192 = getelementptr inbounds %"class.uno::LagrangianGradient", ptr %191, i32 0, i32 1
  %193 = load ptr, ptr %27, align 8, !tbaa !5
  %194 = load i64, ptr %193, align 8, !tbaa !11
  %195 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %192, i64 noundef %194)
          to label %196 unwind label %207

196:                                              ; preds = %187
  %197 = load double, ptr %195, align 8, !tbaa !9
  %198 = fneg double %188
  %199 = call double @llvm.fmuladd.f64(double %198, double %190, double %197)
  store double %199, ptr %195, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %26) #6
  br label %200

200:                                              ; preds = %196
  %201 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno12SparseVectorIdE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %24)
          to label %202 unwind label %170

202:                                              ; preds = %200
  br label %154

203:                                              ; preds = %174
  %204 = landingpad { ptr, i32 }
          cleanup
  %205 = extractvalue { ptr, i32 } %204, 0
  store ptr %205, ptr %18, align 8
  %206 = extractvalue { ptr, i32 } %204, 1
  store i32 %206, ptr %19, align 4
  br label %211

207:                                              ; preds = %187, %176
  %208 = landingpad { ptr, i32 }
          cleanup
  %209 = extractvalue { ptr, i32 } %208, 0
  store ptr %209, ptr %18, align 8
  %210 = extractvalue { ptr, i32 } %208, 1
  store i32 %210, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #6
  br label %211

211:                                              ; preds = %207, %203
  call void @llvm.lifetime.end.p0(i64 16, ptr %26) #6
  br label %212

212:                                              ; preds = %211, %170
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #6
  br label %213

213:                                              ; preds = %212, %166
  call void @llvm.lifetime.end.p0(i64 16, ptr %24) #6
  br label %214

214:                                              ; preds = %213, %162
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #6
  br label %220

215:                                              ; preds = %157
  br label %216

216:                                              ; preds = %215, %130
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #6
  br label %217

217:                                              ; preds = %216
  %218 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %17)
          to label %219 unwind label %119

219:                                              ; preds = %217
  br label %111

220:                                              ; preds = %214, %158
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #6
  br label %221

221:                                              ; preds = %220, %119
  call void @llvm.lifetime.end.p0(i64 16, ptr %20) #6
  br label %222

222:                                              ; preds = %221, %115
  call void @llvm.lifetime.end.p0(i64 16, ptr %17) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %16) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #6
  br label %519

223:                                              ; preds = %114
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #6
  call void @llvm.lifetime.start.p0(i64 24, ptr %30) #6
  %224 = getelementptr inbounds %"class.uno::OptimizationProblem", ptr %52, i32 0, i32 1
  %225 = load ptr, ptr %224, align 8, !tbaa !15
  %226 = getelementptr inbounds %"class.uno::Model", ptr %225, i32 0, i32 2
  %227 = load i64, ptr %226, align 8, !tbaa !16
  call void @_ZN3uno5RangeILNS_14RangeDirectionE0EEC2Em(ptr noundef nonnull align 8 dereferenceable(24) %30, i64 noundef %227)
  store ptr %30, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %31) #6
  %228 = load ptr, ptr %29, align 8, !tbaa !5
  %229 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %228)
          to label %230 unwind label %246

230:                                              ; preds = %223
  %231 = getelementptr inbounds { ptr, i64 }, ptr %31, i32 0, i32 0
  %232 = extractvalue { ptr, i64 } %229, 0
  store ptr %232, ptr %231, align 8
  %233 = getelementptr inbounds { ptr, i64 }, ptr %31, i32 0, i32 1
  %234 = extractvalue { ptr, i64 } %229, 1
  store i64 %234, ptr %233, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %32) #6
  %235 = load ptr, ptr %29, align 8, !tbaa !5
  %236 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %235)
          to label %237 unwind label %250

237:                                              ; preds = %230
  %238 = getelementptr inbounds { ptr, i64 }, ptr %32, i32 0, i32 0
  %239 = extractvalue { ptr, i64 } %236, 0
  store ptr %239, ptr %238, align 8
  %240 = getelementptr inbounds { ptr, i64 }, ptr %32, i32 0, i32 1
  %241 = extractvalue { ptr, i64 } %236, 1
  store i64 %241, ptr %240, align 8
  br label %242

242:                                              ; preds = %279, %237
  %243 = invoke noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %31, ptr noundef nonnull align 8 dereferenceable(16) %32)
          to label %244 unwind label %250

244:                                              ; preds = %242
  br i1 %243, label %254, label %245

245:                                              ; preds = %244
  store i32 8, ptr %21, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %30) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #6
  br label %286

246:                                              ; preds = %223
  %247 = landingpad { ptr, i32 }
          cleanup
  %248 = extractvalue { ptr, i32 } %247, 0
  store ptr %248, ptr %18, align 8
  %249 = extractvalue { ptr, i32 } %247, 1
  store i32 %249, ptr %19, align 4
  br label %285

250:                                              ; preds = %277, %242, %230
  %251 = landingpad { ptr, i32 }
          cleanup
  %252 = extractvalue { ptr, i32 } %251, 0
  store ptr %252, ptr %18, align 8
  %253 = extractvalue { ptr, i32 } %251, 1
  store i32 %253, ptr %19, align 4
  br label %284

254:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #6
  %255 = invoke noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
          to label %256 unwind label %280

256:                                              ; preds = %254
  store i64 %255, ptr %33, align 8, !tbaa !11
  %257 = load ptr, ptr %8, align 8, !tbaa !5
  %258 = getelementptr inbounds %"class.uno::Multipliers", ptr %257, i32 0, i32 0
  %259 = load i64, ptr %33, align 8, !tbaa !11
  %260 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %258, i64 noundef %259)
          to label %261 unwind label %280

261:                                              ; preds = %256
  %262 = load double, ptr %260, align 8, !tbaa !9
  %263 = load ptr, ptr %8, align 8, !tbaa !5
  %264 = getelementptr inbounds %"class.uno::Multipliers", ptr %263, i32 0, i32 1
  %265 = load i64, ptr %33, align 8, !tbaa !11
  %266 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %264, i64 noundef %265)
          to label %267 unwind label %280

267:                                              ; preds = %261
  %268 = load double, ptr %266, align 8, !tbaa !9
  %269 = fadd double %262, %268
  %270 = load ptr, ptr %6, align 8, !tbaa !5
  %271 = getelementptr inbounds %"class.uno::LagrangianGradient", ptr %270, i32 0, i32 1
  %272 = load i64, ptr %33, align 8, !tbaa !11
  %273 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %271, i64 noundef %272)
          to label %274 unwind label %280

274:                                              ; preds = %267
  %275 = load double, ptr %273, align 8, !tbaa !9
  %276 = fsub double %275, %269
  store double %276, ptr %273, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #6
  br label %277

277:                                              ; preds = %274
  %278 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
          to label %279 unwind label %250

279:                                              ; preds = %277
  br label %242

280:                                              ; preds = %267, %261, %256, %254
  %281 = landingpad { ptr, i32 }
          cleanup
  %282 = extractvalue { ptr, i32 } %281, 0
  store ptr %282, ptr %18, align 8
  %283 = extractvalue { ptr, i32 } %281, 1
  store i32 %283, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #6
  br label %284

284:                                              ; preds = %280, %250
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #6
  br label %285

285:                                              ; preds = %284, %246
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %30) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %30) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #6
  br label %519

286:                                              ; preds = %245
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #6
  %287 = getelementptr inbounds %"class.uno::OptimizationProblem", ptr %52, i32 0, i32 1
  %288 = load ptr, ptr %287, align 8, !tbaa !15
  %289 = getelementptr inbounds %"class.uno::Model", ptr %288, i32 0, i32 2
  %290 = load i64, ptr %289, align 8, !tbaa !16
  store i64 %290, ptr %34, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #6
  %291 = getelementptr inbounds %"class.uno::OptimizationProblem", ptr %52, i32 0, i32 1
  %292 = load ptr, ptr %291, align 8, !tbaa !15
  %293 = load ptr, ptr %292, align 8, !tbaa !20
  %294 = getelementptr inbounds ptr, ptr %293, i64 23
  %295 = load ptr, ptr %294, align 8
  %296 = call noundef nonnull align 8 dereferenceable(8) ptr %295(ptr noundef nonnull align 8 dereferenceable(64) %292)
  store ptr %296, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %36) #6
  %297 = load ptr, ptr %35, align 8, !tbaa !5
  %298 = call { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %297)
  %299 = getelementptr inbounds { ptr, i64 }, ptr %36, i32 0, i32 0
  %300 = extractvalue { ptr, i64 } %298, 0
  store ptr %300, ptr %299, align 8
  %301 = getelementptr inbounds { ptr, i64 }, ptr %36, i32 0, i32 1
  %302 = extractvalue { ptr, i64 } %298, 1
  store i64 %302, ptr %301, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %37) #6
  %303 = load ptr, ptr %35, align 8, !tbaa !5
  %304 = call { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %303)
  %305 = getelementptr inbounds { ptr, i64 }, ptr %37, i32 0, i32 0
  %306 = extractvalue { ptr, i64 } %304, 0
  store ptr %306, ptr %305, align 8
  %307 = getelementptr inbounds { ptr, i64 }, ptr %37, i32 0, i32 1
  %308 = extractvalue { ptr, i64 } %304, 1
  store i64 %308, ptr %307, align 8
  br label %309

309:                                              ; preds = %367, %286
  %310 = call noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %36, ptr noundef nonnull align 8 dereferenceable(16) %37)
  br i1 %310, label %312, label %311

311:                                              ; preds = %309
  store i32 10, ptr %21, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %37) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %36) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #6
  br label %369

312:                                              ; preds = %309
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #6
  %313 = call noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %36)
  store i64 %313, ptr %38, align 8, !tbaa !11
  %314 = getelementptr inbounds %"class.uno::OptimizationProblem", ptr %52, i32 0, i32 1
  %315 = load ptr, ptr %314, align 8, !tbaa !15
  %316 = load i64, ptr %38, align 8, !tbaa !11
  %317 = load ptr, ptr %315, align 8, !tbaa !20
  %318 = getelementptr inbounds ptr, ptr %317, i64 18
  %319 = load ptr, ptr %318, align 8
  %320 = call noundef double %319(ptr noundef nonnull align 8 dereferenceable(64) %315, i64 noundef %316)
  %321 = call noundef zeroext i1 @_ZN3uno9is_finiteIdEEbT_(double noundef %320)
  br i1 %321, label %322, label %343

322:                                              ; preds = %312
  %323 = getelementptr inbounds %"class.uno::l1RelaxedProblem", ptr %52, i32 0, i32 3
  %324 = load double, ptr %323, align 8, !tbaa !22
  %325 = load ptr, ptr %8, align 8, !tbaa !5
  %326 = getelementptr inbounds %"class.uno::Multipliers", ptr %325, i32 0, i32 2
  %327 = load i64, ptr %38, align 8, !tbaa !11
  %328 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %326, i64 noundef %327)
  %329 = load double, ptr %328, align 8, !tbaa !9
  %330 = fsub double %324, %329
  %331 = load ptr, ptr %8, align 8, !tbaa !5
  %332 = getelementptr inbounds %"class.uno::Multipliers", ptr %331, i32 0, i32 0
  %333 = load i64, ptr %34, align 8, !tbaa !11
  %334 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %332, i64 noundef %333)
  %335 = load double, ptr %334, align 8, !tbaa !9
  %336 = fsub double %330, %335
  %337 = load ptr, ptr %6, align 8, !tbaa !5
  %338 = getelementptr inbounds %"class.uno::LagrangianGradient", ptr %337, i32 0, i32 1
  %339 = load i64, ptr %34, align 8, !tbaa !11
  %340 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %338, i64 noundef %339)
  %341 = load double, ptr %340, align 8, !tbaa !9
  %342 = fadd double %341, %336
  store double %342, ptr %340, align 8, !tbaa !9
  br label %364

343:                                              ; preds = %312
  %344 = getelementptr inbounds %"class.uno::l1RelaxedProblem", ptr %52, i32 0, i32 3
  %345 = load double, ptr %344, align 8, !tbaa !22
  %346 = load ptr, ptr %8, align 8, !tbaa !5
  %347 = getelementptr inbounds %"class.uno::Multipliers", ptr %346, i32 0, i32 2
  %348 = load i64, ptr %38, align 8, !tbaa !11
  %349 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %347, i64 noundef %348)
  %350 = load double, ptr %349, align 8, !tbaa !9
  %351 = fadd double %345, %350
  %352 = load ptr, ptr %8, align 8, !tbaa !5
  %353 = getelementptr inbounds %"class.uno::Multipliers", ptr %352, i32 0, i32 0
  %354 = load i64, ptr %34, align 8, !tbaa !11
  %355 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %353, i64 noundef %354)
  %356 = load double, ptr %355, align 8, !tbaa !9
  %357 = fsub double %351, %356
  %358 = load ptr, ptr %6, align 8, !tbaa !5
  %359 = getelementptr inbounds %"class.uno::LagrangianGradient", ptr %358, i32 0, i32 1
  %360 = load i64, ptr %34, align 8, !tbaa !11
  %361 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %359, i64 noundef %360)
  %362 = load double, ptr %361, align 8, !tbaa !9
  %363 = fadd double %362, %357
  store double %363, ptr %361, align 8, !tbaa !9
  br label %364

364:                                              ; preds = %343, %322
  %365 = load i64, ptr %34, align 8, !tbaa !11
  %366 = add i64 %365, 1
  store i64 %366, ptr %34, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #6
  br label %367

367:                                              ; preds = %364
  %368 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %36)
  br label %309

369:                                              ; preds = %311
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #6
  %370 = getelementptr inbounds %"class.uno::OptimizationProblem", ptr %52, i32 0, i32 1
  %371 = load ptr, ptr %370, align 8, !tbaa !15
  %372 = load ptr, ptr %371, align 8, !tbaa !20
  %373 = getelementptr inbounds ptr, ptr %372, i64 22
  %374 = load ptr, ptr %373, align 8
  %375 = call noundef nonnull align 8 dereferenceable(8) ptr %374(ptr noundef nonnull align 8 dereferenceable(64) %371)
  store ptr %375, ptr %39, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %40) #6
  %376 = load ptr, ptr %39, align 8, !tbaa !5
  %377 = call { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %376)
  %378 = getelementptr inbounds { ptr, i64 }, ptr %40, i32 0, i32 0
  %379 = extractvalue { ptr, i64 } %377, 0
  store ptr %379, ptr %378, align 8
  %380 = getelementptr inbounds { ptr, i64 }, ptr %40, i32 0, i32 1
  %381 = extractvalue { ptr, i64 } %377, 1
  store i64 %381, ptr %380, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %41) #6
  %382 = load ptr, ptr %39, align 8, !tbaa !5
  %383 = call { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %382)
  %384 = getelementptr inbounds { ptr, i64 }, ptr %41, i32 0, i32 0
  %385 = extractvalue { ptr, i64 } %383, 0
  store ptr %385, ptr %384, align 8
  %386 = getelementptr inbounds { ptr, i64 }, ptr %41, i32 0, i32 1
  %387 = extractvalue { ptr, i64 } %383, 1
  store i64 %387, ptr %386, align 8
  br label %388

388:                                              ; preds = %417, %369
  %389 = call noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %40, ptr noundef nonnull align 8 dereferenceable(16) %41)
  br i1 %389, label %391, label %390

390:                                              ; preds = %388
  store i32 12, ptr %21, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %41) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #6
  br label %419

391:                                              ; preds = %388
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #6
  %392 = call noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %40)
  store i64 %392, ptr %42, align 8, !tbaa !11
  %393 = getelementptr inbounds %"class.uno::l1RelaxedProblem", ptr %52, i32 0, i32 3
  %394 = load double, ptr %393, align 8, !tbaa !22
  %395 = load ptr, ptr %8, align 8, !tbaa !5
  %396 = getelementptr inbounds %"class.uno::Multipliers", ptr %395, i32 0, i32 0
  %397 = load i64, ptr %34, align 8, !tbaa !11
  %398 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %396, i64 noundef %397)
  %399 = load double, ptr %398, align 8, !tbaa !9
  %400 = fneg double %399
  %401 = call double @llvm.fmuladd.f64(double 2.000000e+00, double %394, double %400)
  %402 = load ptr, ptr %8, align 8, !tbaa !5
  %403 = getelementptr inbounds %"class.uno::Multipliers", ptr %402, i32 0, i32 0
  %404 = load i64, ptr %34, align 8, !tbaa !11
  %405 = add i64 %404, 1
  %406 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %403, i64 noundef %405)
  %407 = load double, ptr %406, align 8, !tbaa !9
  %408 = fsub double %401, %407
  %409 = load ptr, ptr %6, align 8, !tbaa !5
  %410 = getelementptr inbounds %"class.uno::LagrangianGradient", ptr %409, i32 0, i32 1
  %411 = load i64, ptr %34, align 8, !tbaa !11
  %412 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %410, i64 noundef %411)
  %413 = load double, ptr %412, align 8, !tbaa !9
  %414 = fadd double %413, %408
  store double %414, ptr %412, align 8, !tbaa !9
  %415 = load i64, ptr %34, align 8, !tbaa !11
  %416 = add i64 %415, 2
  store i64 %416, ptr %34, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #6
  br label %417

417:                                              ; preds = %391
  %418 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %40)
  br label %388

419:                                              ; preds = %390
  %420 = getelementptr inbounds %"class.uno::l1RelaxedProblem", ptr %52, i32 0, i32 5
  %421 = load ptr, ptr %420, align 8, !tbaa !27
  %422 = icmp ne ptr %421, null
  br i1 %422, label %423, label %518

423:                                              ; preds = %419
  %424 = getelementptr inbounds %"class.uno::l1RelaxedProblem", ptr %52, i32 0, i32 4
  %425 = load double, ptr %424, align 8, !tbaa !28
  %426 = fcmp une double %425, 0.000000e+00
  br i1 %426, label %427, label %518

427:                                              ; preds = %423
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #6
  call void @llvm.lifetime.start.p0(i64 24, ptr %44) #6
  %428 = getelementptr inbounds %"class.uno::OptimizationProblem", ptr %52, i32 0, i32 1
  %429 = load ptr, ptr %428, align 8, !tbaa !15
  %430 = getelementptr inbounds %"class.uno::Model", ptr %429, i32 0, i32 2
  %431 = load i64, ptr %430, align 8, !tbaa !16
  call void @_ZN3uno5RangeILNS_14RangeDirectionE0EEC2Em(ptr noundef nonnull align 8 dereferenceable(24) %44, i64 noundef %431)
  store ptr %44, ptr %43, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %45) #6
  %432 = load ptr, ptr %43, align 8, !tbaa !5
  %433 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %432)
          to label %434 unwind label %450

434:                                              ; preds = %427
  %435 = getelementptr inbounds { ptr, i64 }, ptr %45, i32 0, i32 0
  %436 = extractvalue { ptr, i64 } %433, 0
  store ptr %436, ptr %435, align 8
  %437 = getelementptr inbounds { ptr, i64 }, ptr %45, i32 0, i32 1
  %438 = extractvalue { ptr, i64 } %433, 1
  store i64 %438, ptr %437, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr %46) #6
  %439 = load ptr, ptr %43, align 8, !tbaa !5
  %440 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %439)
          to label %441 unwind label %454

441:                                              ; preds = %434
  %442 = getelementptr inbounds { ptr, i64 }, ptr %46, i32 0, i32 0
  %443 = extractvalue { ptr, i64 } %440, 0
  store ptr %443, ptr %442, align 8
  %444 = getelementptr inbounds { ptr, i64 }, ptr %46, i32 0, i32 1
  %445 = extractvalue { ptr, i64 } %440, 1
  store i64 %445, ptr %444, align 8
  br label %446

446:                                              ; preds = %500, %441
  %447 = invoke noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %45, ptr noundef nonnull align 8 dereferenceable(16) %46)
          to label %448 unwind label %454

448:                                              ; preds = %446
  br i1 %447, label %458, label %449

449:                                              ; preds = %448
  store i32 14, ptr %21, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %46) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr %45) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %44) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %44) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #6
  br label %517

450:                                              ; preds = %427
  %451 = landingpad { ptr, i32 }
          cleanup
  %452 = extractvalue { ptr, i32 } %451, 0
  store ptr %452, ptr %18, align 8
  %453 = extractvalue { ptr, i32 } %451, 1
  store i32 %453, ptr %19, align 4
  br label %516

454:                                              ; preds = %498, %446, %434
  %455 = landingpad { ptr, i32 }
          cleanup
  %456 = extractvalue { ptr, i32 } %455, 0
  store ptr %456, ptr %18, align 8
  %457 = extractvalue { ptr, i32 } %455, 1
  store i32 %457, ptr %19, align 4
  br label %515

458:                                              ; preds = %448
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #6
  %459 = invoke noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %45)
          to label %460 unwind label %501

460:                                              ; preds = %458
  store i64 %459, ptr %47, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #6
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #6
  store double 1.000000e+00, ptr %49, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #6
  %461 = getelementptr inbounds %"class.uno::l1RelaxedProblem", ptr %52, i32 0, i32 5
  %462 = load ptr, ptr %461, align 8, !tbaa !27
  %463 = load i64, ptr %47, align 8, !tbaa !11
  %464 = getelementptr inbounds double, ptr %462, i64 %463
  %465 = load double, ptr %464, align 8, !tbaa !9
  %466 = invoke noundef double @_ZSt3absd(double noundef %465)
          to label %467 unwind label %505

467:                                              ; preds = %460
  %468 = fdiv double 1.000000e+00, %466
  store double %468, ptr %50, align 8, !tbaa !9
  %469 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %49, ptr noundef nonnull align 8 dereferenceable(8) %50)
          to label %470 unwind label %505

470:                                              ; preds = %467
  %471 = load double, ptr %469, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #6
  store double %471, ptr %48, align 8, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #6
  %472 = getelementptr inbounds %"class.uno::l1RelaxedProblem", ptr %52, i32 0, i32 4
  %473 = load double, ptr %472, align 8, !tbaa !28
  %474 = load double, ptr %48, align 8, !tbaa !9
  %475 = fmul double %473, %474
  %476 = load double, ptr %48, align 8, !tbaa !9
  %477 = fmul double %475, %476
  store double %477, ptr %51, align 8, !tbaa !9
  %478 = load double, ptr %51, align 8, !tbaa !9
  %479 = load ptr, ptr %7, align 8, !tbaa !5
  %480 = getelementptr inbounds %"class.uno::Iterate", ptr %479, i32 0, i32 2
  %481 = load i64, ptr %47, align 8, !tbaa !11
  %482 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %480, i64 noundef %481)
          to label %483 unwind label %509

483:                                              ; preds = %470
  %484 = load double, ptr %482, align 8, !tbaa !9
  %485 = getelementptr inbounds %"class.uno::l1RelaxedProblem", ptr %52, i32 0, i32 5
  %486 = load ptr, ptr %485, align 8, !tbaa !27
  %487 = load i64, ptr %47, align 8, !tbaa !11
  %488 = getelementptr inbounds double, ptr %486, i64 %487
  %489 = load double, ptr %488, align 8, !tbaa !9
  %490 = fsub double %484, %489
  %491 = load ptr, ptr %6, align 8, !tbaa !5
  %492 = getelementptr inbounds %"class.uno::LagrangianGradient", ptr %491, i32 0, i32 1
  %493 = load i64, ptr %47, align 8, !tbaa !11
  %494 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %492, i64 noundef %493)
          to label %495 unwind label %509

495:                                              ; preds = %483
  %496 = load double, ptr %494, align 8, !tbaa !9
  %497 = call double @llvm.fmuladd.f64(double %478, double %490, double %496)
  store double %497, ptr %494, align 8, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #6
  br label %498

498:                                              ; preds = %495
  %499 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %45)
          to label %500 unwind label %454

500:                                              ; preds = %498
  br label %446

501:                                              ; preds = %458
  %502 = landingpad { ptr, i32 }
          cleanup
  %503 = extractvalue { ptr, i32 } %502, 0
  store ptr %503, ptr %18, align 8
  %504 = extractvalue { ptr, i32 } %502, 1
  store i32 %504, ptr %19, align 4
  br label %514

505:                                              ; preds = %467, %460
  %506 = landingpad { ptr, i32 }
          cleanup
  %507 = extractvalue { ptr, i32 } %506, 0
  store ptr %507, ptr %18, align 8
  %508 = extractvalue { ptr, i32 } %506, 1
  store i32 %508, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #6
  br label %513

509:                                              ; preds = %483, %470
  %510 = landingpad { ptr, i32 }
          cleanup
  %511 = extractvalue { ptr, i32 } %510, 0
  store ptr %511, ptr %18, align 8
  %512 = extractvalue { ptr, i32 } %510, 1
  store i32 %512, ptr %19, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #6
  br label %513

513:                                              ; preds = %509, %505
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #6
  br label %514

514:                                              ; preds = %513, %501
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #6
  br label %515

515:                                              ; preds = %514, %454
  call void @llvm.lifetime.end.p0(i64 16, ptr %46) #6
  br label %516

516:                                              ; preds = %515, %450
  call void @llvm.lifetime.end.p0(i64 16, ptr %45) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %44) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr %44) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  br label %519

517:                                              ; preds = %449
  br label %518

518:                                              ; preds = %517, %423, %419
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #6
  ret void

519:                                              ; preds = %516, %285, %222
  %520 = load ptr, ptr %18, align 8
  %521 = load i32, ptr %19, align 4
  %522 = insertvalue { ptr, i32 } poison, ptr %520, 0
  %523 = insertvalue { ptr, i32 } %522, i32 %521, 1
  resume { ptr, i32 } %523
}

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNK3uno12SparseVectorIdE5beginEv(ptr noundef nonnull align 8 dereferenceable(56)) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNK3uno12SparseVectorIdE3endEv(ptr noundef nonnull align 8 dereferenceable(56)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3unoneERKNS_12SparseVectorIdE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) #2

; Function Attrs: mustprogress uwtable
declare dso_local { i64, double } @_ZNK3uno12SparseVectorIdE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16)) #1 align 2

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

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

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

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

attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 = { 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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
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 = !{!"double", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"long", !7, i64 0}
!13 = !{!14, !12, i64 24}
!14 = !{!"_ZTSN3uno19OptimizationProblemE", !6, i64 8, !12, i64 16, !12, i64 24}
!15 = !{!14, !6, i64 8}
!16 = !{!17, !12, i64 40}
!17 = !{!"_ZTSN3uno5ModelE", !18, i64 8, !12, i64 40, !12, i64 48, !10, i64 56}
!18 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !19, i64 0, !12, i64 8, !7, i64 16}
!19 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !6, i64 0}
!20 = !{!21, !21, i64 0}
!21 = !{!"vtable pointer", !8, i64 0}
!22 = !{!23, !10, i64 48}
!23 = !{!"_ZTSN3uno16l1RelaxedProblemE", !14, i64 0, !12, i64 32, !10, i64 40, !10, i64 48, !10, i64 56, !6, i64 64, !24, i64 72, !24, i64 112}
!24 = !{!"_ZTSN3uno13ConcatenationIRKNS_10CollectionImEENS_5RangeILNS_14RangeDirectionE0EEEEE", !25, i64 0, !6, i64 8, !26, i64 16}
!25 = !{!"_ZTSN3uno10CollectionImEE"}
!26 = !{!"_ZTSN3uno5RangeILNS_14RangeDirectionE0EEE", !25, i64 0, !12, i64 8, !12, i64 16}
!27 = !{!23, !6, i64 64}
!28 = !{!23, !10, i64 56}


; 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.uno::SparseVector<double>::iterator" = type { ptr, i64 }
%"struct.std::pair" = type { i64, double }
%"class.uno::Range" = type { %"class.uno::Collection", i64, i64 }
%"class.uno::Collection" = type { ptr }
%"class.uno::Collection<unsigned long>::iterator" = type { ptr, i64 }

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3uno5RangeILNS_14RangeDirectionE0EEC2Em(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_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 noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #2 align 2

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

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

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

; Function Attrs: mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare double @llvm.fmuladd.f64(double, double, double) #5

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK3uno16l1RelaxedProblem28evaluate_lagrangian_gradientERNS_18LagrangianGradientIdEERNS_7IterateERKNS_11MultipliersE(ptr nocapture noundef nonnull readonly align 8 dereferenceable(152) %0, ptr noundef nonnull align 8 dereferenceable(48) %1, ptr noundef nonnull align 8 dereferenceable(532) %2, ptr noundef nonnull align 8 dereferenceable(72) %3) unnamed_addr #1 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca %"class.uno::SparseVector<double>::iterator", align 8
  %6 = alloca %"class.uno::SparseVector<double>::iterator", align 8
  %7 = alloca %"struct.std::pair", align 8
  %8 = alloca %"class.uno::Range", align 8
  %9 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %10 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %11 = alloca %"class.uno::SparseVector<double>::iterator", align 8
  %12 = alloca %"class.uno::SparseVector<double>::iterator", align 8
  %13 = alloca %"struct.std::pair", align 8
  %14 = alloca %"class.uno::Range", align 8
  %15 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %16 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %17 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %18 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %19 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %20 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %21 = alloca %"class.uno::Range", align 8
  %22 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %23 = alloca %"class.uno::Collection<unsigned long>::iterator", align 8
  %24 = alloca double, align 8
  %25 = alloca double, align 8
  tail call void @_ZN3uno6VectorIdE4fillEd(ptr noundef nonnull align 8 dereferenceable(24) %1, double noundef 0.000000e+00)
  %26 = getelementptr inbounds i8, ptr %1, i64 24
  tail call void @_ZN3uno6VectorIdE4fillEd(ptr noundef nonnull align 8 dereferenceable(24) %26, double noundef 0.000000e+00)
  %27 = getelementptr inbounds i8, ptr %2, i64 224
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #6
  %28 = tail call { ptr, i64 } @_ZNK3uno12SparseVectorIdE5beginEv(ptr noundef nonnull align 8 dereferenceable(56) %27)
  %29 = extractvalue { ptr, i64 } %28, 0
  store ptr %29, ptr %5, align 8
  %30 = getelementptr inbounds i8, ptr %5, i64 8
  %31 = extractvalue { ptr, i64 } %28, 1
  store i64 %31, ptr %30, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %6) #6
  %32 = tail call { ptr, i64 } @_ZNK3uno12SparseVectorIdE3endEv(ptr noundef nonnull align 8 dereferenceable(56) %27)
  %33 = extractvalue { ptr, i64 } %32, 0
  store ptr %33, ptr %6, align 8
  %34 = getelementptr inbounds i8, ptr %6, i64 8
  %35 = extractvalue { ptr, i64 } %32, 1
  store i64 %35, ptr %34, align 8
  %36 = call noundef zeroext i1 @_ZN3unoneERKNS_12SparseVectorIdE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull align 8 dereferenceable(16) %6)
  br i1 %36, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %4
  %37 = getelementptr inbounds i8, ptr %7, i64 8
  br label %41

._crit_edge:                                      ; preds = %41, %4
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %6) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #6
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %8) #6
  %38 = getelementptr inbounds i8, ptr %0, i64 24
  %39 = load i64, ptr %38, align 8, !tbaa !5
  call void @_ZN3uno5RangeILNS_14RangeDirectionE0EEC2Em(ptr noundef nonnull align 8 dereferenceable(24) %8, i64 noundef %39)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %9) #6
  %40 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %8)
          to label %54 unwind label %76

41:                                               ; preds = %.lr.ph, %41
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %7) #6
  %42 = call { i64, double } @_ZNK3uno12SparseVectorIdE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %5)
  %43 = extractvalue { i64, double } %42, 0
  store i64 %43, ptr %7, align 8
  %44 = extractvalue { i64, double } %42, 1
  store double %44, ptr %37, align 8
  %45 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3getILm0EmdEONSt13tuple_elementIXT_ESt4pairIT0_T1_EE4typeEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %7) #6
  %46 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3getILm1EmdEONSt13tuple_elementIXT_ESt4pairIT0_T1_EE4typeEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %7) #6
  %47 = load double, ptr %46, align 8, !tbaa !11
  %48 = load i64, ptr %45, align 8, !tbaa !13
  %49 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %1, i64 noundef %48)
  %50 = load double, ptr %49, align 8, !tbaa !11
  %51 = fadd double %47, %50
  store double %51, ptr %49, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #6
  %52 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno12SparseVectorIdE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %5)
  %53 = call noundef zeroext i1 @_ZN3unoneERKNS_12SparseVectorIdE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %5, ptr noundef nonnull align 8 dereferenceable(16) %6)
  br i1 %53, label %41, label %._crit_edge

54:                                               ; preds = %._crit_edge
  %55 = extractvalue { ptr, i64 } %40, 0
  store ptr %55, ptr %9, align 8
  %56 = getelementptr inbounds i8, ptr %9, i64 8
  %57 = extractvalue { ptr, i64 } %40, 1
  store i64 %57, ptr %56, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #6
  %58 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %8)
          to label %59 unwind label %.loopexit.split-lp97

59:                                               ; preds = %54
  %60 = extractvalue { ptr, i64 } %58, 0
  store ptr %60, ptr %10, align 8
  %61 = getelementptr inbounds i8, ptr %10, i64 8
  %62 = extractvalue { ptr, i64 } %58, 1
  store i64 %62, ptr %61, align 8
  %63 = getelementptr inbounds i8, ptr %3, i64 48
  %64 = getelementptr inbounds i8, ptr %2, i64 280
  %65 = getelementptr inbounds i8, ptr %11, i64 8
  %66 = getelementptr inbounds i8, ptr %12, i64 8
  %67 = getelementptr inbounds i8, ptr %13, i64 8
  br label %68

68:                                               ; preds = %121, %59
  %69 = call noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %9, ptr noundef nonnull align 8 dereferenceable(16) %10)
  br i1 %69, label %78, label %70

70:                                               ; preds = %68
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %9) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #6
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %14) #6
  %71 = getelementptr inbounds i8, ptr %0, i64 8
  %72 = load ptr, ptr %71, align 8, !tbaa !14
  %73 = getelementptr inbounds i8, ptr %72, i64 40
  %74 = load i64, ptr %73, align 8, !tbaa !15
  call void @_ZN3uno5RangeILNS_14RangeDirectionE0EEC2Em(ptr noundef nonnull align 8 dereferenceable(24) %14, i64 noundef %74)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %15) #6
  %75 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %14)
          to label %125 unwind label %155

76:                                               ; preds = %._crit_edge
  %77 = landingpad { ptr, i32 }
          cleanup
  br label %124

.loopexit96:                                      ; preds = %121
  %lpad.loopexit98 = landingpad { ptr, i32 }
          cleanup
  br label %123

.loopexit.split-lp97:                             ; preds = %54
  %lpad.loopexit.split-lp99 = landingpad { ptr, i32 }
          cleanup
  br label %123

78:                                               ; preds = %68
  %79 = invoke noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %9)
          to label %80 unwind label %95

80:                                               ; preds = %78
  %81 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %63, i64 noundef %79)
  %82 = load double, ptr %81, align 8, !tbaa !11
  %83 = fcmp une double %82, 0.000000e+00
  br i1 %83, label %84, label %121

84:                                               ; preds = %80
  %85 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZN3uno17RectangularMatrixIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %64, i64 noundef %79)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %11) #6
  %86 = invoke { ptr, i64 } @_ZNK3uno12SparseVectorIdE5beginEv(ptr noundef nonnull align 8 dereferenceable(56) %85)
          to label %87 unwind label %97

87:                                               ; preds = %84
  %88 = extractvalue { ptr, i64 } %86, 0
  store ptr %88, ptr %11, align 8
  %89 = extractvalue { ptr, i64 } %86, 1
  store i64 %89, ptr %65, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %12) #6
  %90 = invoke { ptr, i64 } @_ZNK3uno12SparseVectorIdE3endEv(ptr noundef nonnull align 8 dereferenceable(56) %85)
          to label %91 unwind label %99

91:                                               ; preds = %87
  %92 = extractvalue { ptr, i64 } %90, 0
  store ptr %92, ptr %12, align 8
  %93 = extractvalue { ptr, i64 } %90, 1
  store i64 %93, ptr %66, align 8
  %94 = call noundef zeroext i1 @_ZN3unoneERKNS_12SparseVectorIdE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %11, ptr noundef nonnull align 8 dereferenceable(16) %12)
  br i1 %94, label %.lr.ph102, label %._crit_edge103

._crit_edge103:                                   ; preds = %102, %91
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #6
  br label %121

95:                                               ; preds = %78
  %96 = landingpad { ptr, i32 }
          cleanup
  br label %123

97:                                               ; preds = %84
  %98 = landingpad { ptr, i32 }
          cleanup
  br label %120

99:                                               ; preds = %87
  %100 = landingpad { ptr, i32 }
          cleanup
  br label %119

.lr.ph102:                                        ; preds = %91, %102
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %13) #6
  %101 = invoke { i64, double } @_ZNK3uno12SparseVectorIdE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %11)
          to label %102 unwind label %117

102:                                              ; preds = %.lr.ph102
  %103 = extractvalue { i64, double } %101, 0
  store i64 %103, ptr %13, align 8
  %104 = extractvalue { i64, double } %101, 1
  store double %104, ptr %67, align 8
  %105 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3getILm0EmdEONSt13tuple_elementIXT_ESt4pairIT0_T1_EE4typeEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %13) #6
  %106 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3getILm1EmdEONSt13tuple_elementIXT_ESt4pairIT0_T1_EE4typeEOS4_(ptr noundef nonnull align 8 dereferenceable(16) %13) #6
  %107 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %63, i64 noundef %79)
  %108 = load double, ptr %107, align 8, !tbaa !11
  %109 = load double, ptr %106, align 8, !tbaa !11
  %110 = load i64, ptr %105, align 8, !tbaa !13
  %111 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %110)
  %112 = load double, ptr %111, align 8, !tbaa !11
  %113 = fneg double %108
  %114 = call double @llvm.fmuladd.f64(double %113, double %109, double %112)
  store double %114, ptr %111, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #6
  %115 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno12SparseVectorIdE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %11)
  %116 = call noundef zeroext i1 @_ZN3unoneERKNS_12SparseVectorIdE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %11, ptr noundef nonnull align 8 dereferenceable(16) %12)
  br i1 %116, label %.lr.ph102, label %._crit_edge103

117:                                              ; preds = %.lr.ph102
  %118 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #6
  br label %119

119:                                              ; preds = %117, %99
  %.pn84 = phi { ptr, i32 } [ %118, %117 ], [ %100, %99 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %12) #6
  br label %120

120:                                              ; preds = %119, %97
  %.pn84.pn = phi { ptr, i32 } [ %.pn84, %119 ], [ %98, %97 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #6
  br label %123

121:                                              ; preds = %._crit_edge103, %80
  %122 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %9)
          to label %68 unwind label %.loopexit96

123:                                              ; preds = %.loopexit96, %.loopexit.split-lp97, %95, %120
  %.pn84.pn.pn.pn = phi { ptr, i32 } [ %.pn84.pn, %120 ], [ %96, %95 ], [ %lpad.loopexit98, %.loopexit96 ], [ %lpad.loopexit.split-lp99, %.loopexit.split-lp97 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #6
  br label %124

124:                                              ; preds = %123, %76
  %.pn84.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn84.pn.pn.pn, %123 ], [ %77, %76 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %9) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %8) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %8) #6
  br label %280

125:                                              ; preds = %70
  %126 = extractvalue { ptr, i64 } %75, 0
  store ptr %126, ptr %15, align 8
  %127 = getelementptr inbounds i8, ptr %15, i64 8
  %128 = extractvalue { ptr, i64 } %75, 1
  store i64 %128, ptr %127, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %16) #6
  %129 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %14)
          to label %130 unwind label %.loopexit.split-lp92

130:                                              ; preds = %125
  %131 = extractvalue { ptr, i64 } %129, 0
  store ptr %131, ptr %16, align 8
  %132 = getelementptr inbounds i8, ptr %16, i64 8
  %133 = extractvalue { ptr, i64 } %129, 1
  store i64 %133, ptr %132, align 8
  %134 = getelementptr inbounds i8, ptr %3, i64 24
  br label %135

135:                                              ; preds = %159, %130
  %136 = call noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %15, ptr noundef nonnull align 8 dereferenceable(16) %16)
  br i1 %136, label %157, label %137

137:                                              ; preds = %135
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %16) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #6
  %138 = load ptr, ptr %71, align 8, !tbaa !14
  %139 = getelementptr inbounds i8, ptr %138, i64 40
  %140 = load i64, ptr %139, align 8, !tbaa !15
  %141 = load ptr, ptr %138, align 8, !tbaa !19
  %142 = getelementptr inbounds i8, ptr %141, i64 184
  %143 = load ptr, ptr %142, align 8
  %144 = call noundef nonnull align 8 dereferenceable(8) ptr %143(ptr noundef nonnull align 8 dereferenceable(64) %138)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %17) #6
  %145 = call { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %144)
  %146 = extractvalue { ptr, i64 } %145, 0
  store ptr %146, ptr %17, align 8
  %147 = getelementptr inbounds i8, ptr %17, i64 8
  %148 = extractvalue { ptr, i64 } %145, 1
  store i64 %148, ptr %147, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %18) #6
  %149 = call { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %144)
  %150 = extractvalue { ptr, i64 } %149, 0
  store ptr %150, ptr %18, align 8
  %151 = getelementptr inbounds i8, ptr %18, i64 8
  %152 = extractvalue { ptr, i64 } %149, 1
  store i64 %152, ptr %151, align 8
  %153 = call noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef nonnull align 8 dereferenceable(16) %18)
  br i1 %153, label %.lr.ph106, label %._crit_edge107

.lr.ph106:                                        ; preds = %137
  %154 = getelementptr inbounds i8, ptr %0, i64 48
  br label %188

155:                                              ; preds = %70
  %156 = landingpad { ptr, i32 }
          cleanup
  br label %172

.loopexit91:                                      ; preds = %159
  %lpad.loopexit93 = landingpad { ptr, i32 }
          cleanup
  br label %171

.loopexit.split-lp92:                             ; preds = %125
  %lpad.loopexit.split-lp94 = landingpad { ptr, i32 }
          cleanup
  br label %171

157:                                              ; preds = %135
  %158 = invoke noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %15)
          to label %159 unwind label %169

159:                                              ; preds = %157
  %160 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %3, i64 noundef %158)
  %161 = load double, ptr %160, align 8, !tbaa !11
  %162 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %134, i64 noundef %158)
  %163 = load double, ptr %162, align 8, !tbaa !11
  %164 = fadd double %161, %163
  %165 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %158)
  %166 = load double, ptr %165, align 8, !tbaa !11
  %167 = fsub double %166, %164
  store double %167, ptr %165, align 8, !tbaa !11
  %168 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %15)
          to label %135 unwind label %.loopexit91

169:                                              ; preds = %157
  %170 = landingpad { ptr, i32 }
          cleanup
  br label %171

171:                                              ; preds = %.loopexit91, %.loopexit.split-lp92, %169
  %.pn81 = phi { ptr, i32 } [ %170, %169 ], [ %lpad.loopexit93, %.loopexit91 ], [ %lpad.loopexit.split-lp94, %.loopexit.split-lp92 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %16) #6
  br label %172

172:                                              ; preds = %171, %155
  %.pn81.pn = phi { ptr, i32 } [ %.pn81, %171 ], [ %156, %155 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #6
  br label %280

._crit_edge107:                                   ; preds = %188, %137
  %.077.lcssa = phi i64 [ %140, %137 ], [ %206, %188 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #6
  %173 = load ptr, ptr %71, align 8, !tbaa !14
  %174 = load ptr, ptr %173, align 8, !tbaa !19
  %175 = getelementptr inbounds i8, ptr %174, i64 176
  %176 = load ptr, ptr %175, align 8
  %177 = call noundef nonnull align 8 dereferenceable(8) ptr %176(ptr noundef nonnull align 8 dereferenceable(64) %173)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %19) #6
  %178 = call { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %177)
  %179 = extractvalue { ptr, i64 } %178, 0
  store ptr %179, ptr %19, align 8
  %180 = getelementptr inbounds i8, ptr %19, i64 8
  %181 = extractvalue { ptr, i64 } %178, 1
  store i64 %181, ptr %180, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %20) #6
  %182 = call { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %177)
  %183 = extractvalue { ptr, i64 } %182, 0
  store ptr %183, ptr %20, align 8
  %184 = getelementptr inbounds i8, ptr %20, i64 8
  %185 = extractvalue { ptr, i64 } %182, 1
  store i64 %185, ptr %184, align 8
  %186 = call noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull align 8 dereferenceable(16) %20)
  br i1 %186, label %.lr.ph110, label %._crit_edge111

.lr.ph110:                                        ; preds = %._crit_edge107
  %187 = getelementptr inbounds i8, ptr %0, i64 48
  br label %211

188:                                              ; preds = %.lr.ph106, %188
  %.077104 = phi i64 [ %140, %.lr.ph106 ], [ %206, %188 ]
  %189 = call noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %17)
  %190 = load ptr, ptr %71, align 8, !tbaa !14
  %191 = load ptr, ptr %190, align 8, !tbaa !19
  %192 = getelementptr inbounds i8, ptr %191, i64 144
  %193 = load ptr, ptr %192, align 8
  %194 = call noundef double %193(ptr noundef nonnull align 8 dereferenceable(64) %190, i64 noundef %189)
  %195 = call noundef zeroext i1 @_ZN3uno9is_finiteIdEEbT_(double noundef %194)
  %196 = load double, ptr %154, align 8, !tbaa !21
  %197 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %63, i64 noundef %189)
  %198 = load double, ptr %197, align 8, !tbaa !11
  %199 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %3, i64 noundef %.077104)
  %200 = load double, ptr %199, align 8, !tbaa !11
  %201 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %.077104)
  %202 = load double, ptr %201, align 8, !tbaa !11
  %203 = fneg double %198
  %.sink.p = select i1 %195, double %203, double %198
  %.sink = fadd double %196, %.sink.p
  %204 = fsub double %.sink, %200
  %205 = fadd double %204, %202
  store double %205, ptr %201, align 8, !tbaa !11
  %206 = add i64 %.077104, 1
  %207 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %17)
  %208 = call noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef nonnull align 8 dereferenceable(16) %18)
  br i1 %208, label %188, label %._crit_edge107

._crit_edge111:                                   ; preds = %211, %._crit_edge107
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #6
  %209 = getelementptr inbounds i8, ptr %0, i64 64
  %210 = load ptr, ptr %209, align 8, !tbaa !26
  %.not = icmp eq ptr %210, null
  br i1 %.not, label %279, label %228

211:                                              ; preds = %.lr.ph110, %211
  %.178108 = phi i64 [ %.077.lcssa, %.lr.ph110 ], [ %225, %211 ]
  %212 = call noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %19)
  %213 = load double, ptr %187, align 8, !tbaa !21
  %214 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %3, i64 noundef %.178108)
  %215 = load double, ptr %214, align 8, !tbaa !11
  %216 = fneg double %215
  %217 = call double @llvm.fmuladd.f64(double %213, double 2.000000e+00, double %216)
  %218 = add i64 %.178108, 1
  %219 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %3, i64 noundef %218)
  %220 = load double, ptr %219, align 8, !tbaa !11
  %221 = fsub double %217, %220
  %222 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %.178108)
  %223 = load double, ptr %222, align 8, !tbaa !11
  %224 = fadd double %221, %223
  store double %224, ptr %222, align 8, !tbaa !11
  %225 = add i64 %.178108, 2
  %226 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %19)
  %227 = call noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull align 8 dereferenceable(16) %20)
  br i1 %227, label %211, label %._crit_edge111

228:                                              ; preds = %._crit_edge111
  %229 = getelementptr inbounds i8, ptr %0, i64 56
  %230 = load double, ptr %229, align 8, !tbaa !27
  %231 = fcmp une double %230, 0.000000e+00
  br i1 %231, label %232, label %279

232:                                              ; preds = %228
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %21) #6
  %233 = load ptr, ptr %71, align 8, !tbaa !14
  %234 = getelementptr inbounds i8, ptr %233, i64 40
  %235 = load i64, ptr %234, align 8, !tbaa !15
  call void @_ZN3uno5RangeILNS_14RangeDirectionE0EEC2Em(ptr noundef nonnull align 8 dereferenceable(24) %21, i64 noundef %235)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %22) #6
  %236 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %21)
          to label %237 unwind label %250

237:                                              ; preds = %232
  %238 = extractvalue { ptr, i64 } %236, 0
  store ptr %238, ptr %22, align 8
  %239 = getelementptr inbounds i8, ptr %22, i64 8
  %240 = extractvalue { ptr, i64 } %236, 1
  store i64 %240, ptr %239, align 8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %23) #6
  %241 = invoke { ptr, i64 } @_ZNK3uno10CollectionImE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %21)
          to label %242 unwind label %.loopexit.split-lp

242:                                              ; preds = %237
  %243 = extractvalue { ptr, i64 } %241, 0
  store ptr %243, ptr %23, align 8
  %244 = getelementptr inbounds i8, ptr %23, i64 8
  %245 = extractvalue { ptr, i64 } %241, 1
  store i64 %245, ptr %244, align 8
  %246 = getelementptr inbounds i8, ptr %2, i64 16
  br label %247

247:                                              ; preds = %254, %242
  %248 = call noundef zeroext i1 @_ZN3unoneERKNS_10CollectionImE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16) %22, ptr noundef nonnull align 8 dereferenceable(16) %23)
  br i1 %248, label %252, label %249

249:                                              ; preds = %247
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %23) #6
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %22) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %21) #6
  br label %279

250:                                              ; preds = %232
  %251 = landingpad { ptr, i32 }
          cleanup
  br label %278

.loopexit:                                        ; preds = %254
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %277

.loopexit.split-lp:                               ; preds = %237
  %lpad.loopexit.split-lp = landingpad { ptr, i32 }
          cleanup
  br label %277

252:                                              ; preds = %247
  %253 = invoke noundef i64 @_ZNK3uno10CollectionImE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %254 unwind label %275

254:                                              ; preds = %252
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #6
  store double 1.000000e+00, ptr %24, align 8, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #6
  %255 = load ptr, ptr %209, align 8, !tbaa !26
  %256 = getelementptr inbounds double, ptr %255, i64 %253
  %257 = load double, ptr %256, align 8, !tbaa !11
  %258 = call noundef double @_ZSt3absd(double noundef %257)
  %259 = fdiv double 1.000000e+00, %258
  store double %259, ptr %25, align 8, !tbaa !11
  %260 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZSt3minIdERKT_S2_S2_(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 8 dereferenceable(8) %25)
  %261 = load double, ptr %260, align 8, !tbaa !11
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #6
  %262 = load double, ptr %229, align 8, !tbaa !27
  %263 = fmul double %261, %262
  %264 = fmul double %261, %263
  %265 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %246, i64 noundef %253)
  %266 = load double, ptr %265, align 8, !tbaa !11
  %267 = load ptr, ptr %209, align 8, !tbaa !26
  %268 = getelementptr inbounds double, ptr %267, i64 %253
  %269 = load double, ptr %268, align 8, !tbaa !11
  %270 = fsub double %266, %269
  %271 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3uno6VectorIdEixEm(ptr noundef nonnull align 8 dereferenceable(24) %26, i64 noundef %253)
  %272 = load double, ptr %271, align 8, !tbaa !11
  %273 = call double @llvm.fmuladd.f64(double %264, double %270, double %272)
  store double %273, ptr %271, align 8, !tbaa !11
  %274 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN3uno10CollectionImE8iteratorppEv(ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %247 unwind label %.loopexit

275:                                              ; preds = %252
  %276 = landingpad { ptr, i32 }
          cleanup
  br label %277

277:                                              ; preds = %.loopexit, %.loopexit.split-lp, %275
  %.pn = phi { ptr, i32 } [ %276, %275 ], [ %lpad.loopexit, %.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %23) #6
  br label %278

278:                                              ; preds = %277, %250
  %.pn.pn = phi { ptr, i32 } [ %.pn, %277 ], [ %251, %250 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %22) #6
  call void @_ZN3uno10CollectionImED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #6
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %21) #6
  br label %280

279:                                              ; preds = %249, %228, %._crit_edge111
  ret void

280:                                              ; preds = %278, %172, %124
  %.pn84.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn84.pn.pn.pn.pn, %124 ], [ %.pn81.pn, %172 ], [ %.pn.pn, %278 ]
  resume { ptr, i32 } %.pn84.pn.pn.pn.pn.pn
}

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNK3uno12SparseVectorIdE5beginEv(ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNK3uno12SparseVectorIdE3endEv(ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN3unoneERKNS_12SparseVectorIdE8iteratorES4_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare dso_local { i64, double } @_ZNK3uno12SparseVectorIdE8iteratordeEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #1 align 2

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

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

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

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

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 = { 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 = { mustprogress nocallback nofree nosync nounwind speculatable willreturn memory(none) }
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 24}
!6 = !{!"_ZTSN3uno19OptimizationProblemE", !7, i64 8, !10, i64 16, !10, i64 24}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"long", !8, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"double", !8, i64 0}
!13 = !{!10, !10, i64 0}
!14 = !{!6, !7, i64 8}
!15 = !{!16, !10, i64 40}
!16 = !{!"_ZTSN3uno5ModelE", !17, i64 8, !10, i64 40, !10, i64 48, !12, i64 56}
!17 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !18, i64 0, !10, i64 8, !8, i64 16}
!18 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !7, i64 0}
!19 = !{!20, !20, i64 0}
!20 = !{!"vtable pointer", !9, i64 0}
!21 = !{!22, !12, i64 48}
!22 = !{!"_ZTSN3uno16l1RelaxedProblemE", !6, i64 0, !10, i64 32, !12, i64 40, !12, i64 48, !12, i64 56, !7, i64 64, !23, i64 72, !23, i64 112}
!23 = !{!"_ZTSN3uno13ConcatenationIRKNS_10CollectionImEENS_5RangeILNS_14RangeDirectionE0EEEEE", !24, i64 0, !7, i64 8, !25, i64 16}
!24 = !{!"_ZTSN3uno10CollectionImEE"}
!25 = !{!"_ZTSN3uno5RangeILNS_14RangeDirectionE0EEE", !24, i64 0, !10, i64 8, !10, i64 16}
!26 = !{!22, !7, i64 64}
!27 = !{!22, !12, i64 56}


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