; LLVM IR from artvns/SimpleFvm :: simplefvm/src/SolverFVMSolver.ll (ZN10mainsolver15SolverFVMSolver16startCalculationEm)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"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.std::allocator.48" = type { i8 }
%"class.mainsolver::SolverFVMSolver" = type { ptr, ptr }
%"struct.datastores::SolverStateFlagsStore" = type { i8, i8 }

@_ZTIN16customexceptions30PreparatoryOperationsExceptionE = external constant ptr
@_ZTIN16customexceptions27BoundaryConditionsExceptionE = external constant ptr
@_ZTIN16customexceptions24FluidPropertiesEcxeptionE = external constant ptr
@_ZTIN16customexceptions23SolverSettingsExceptionE = external constant ptr
@_ZTIN16customexceptions18SleSolverExceptionE = external constant ptr
@_ZTISt9bad_alloc = external constant ptr
@_ZTINSt8ios_base7failureB5cxx11E = external constant ptr
@_ZTISt14overflow_error = external constant ptr
@_ZTISt15underflow_error = external constant ptr
@_ZTISt9exception = external constant ptr
@.str = external hidden unnamed_addr constant [33 x i8], align 1
@_ZSt4cerr = external global %"class.std::basic_ostream", align 8
@.str.1 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [40 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN10mainsolver15SolverFVMSolver16startCalculationEm(ptr noundef nonnull align 8 dereferenceable(16) %0, i64 noundef %1) #0 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca i64, align 8
  %5 = alloca ptr, align 8
  %6 = alloca i32, align 4
  %7 = alloca %"class.std::__cxx11::basic_string", align 8
  %8 = alloca %"class.std::allocator.48", align 1
  %9 = alloca i1, align 1
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store i64 %1, ptr %4, align 8, !tbaa !9
  %20 = load ptr, ptr %3, align 8
  %21 = getelementptr inbounds %"class.mainsolver::SolverFVMSolver", ptr %20, i32 0, i32 1
  %22 = load ptr, ptr %21, align 8, !tbaa !11
  %23 = invoke noundef nonnull align 1 dereferenceable(2) ptr @_ZN10datastores16GlobalDataStores19getSolverStateFlagsEv(ptr noundef nonnull align 8 dereferenceable(1800) %22)
          to label %24 unwind label %32

24:                                               ; preds = %2
  %25 = getelementptr inbounds %"struct.datastores::SolverStateFlagsStore", ptr %23, i32 0, i32 0
  %26 = load i8, ptr %25, align 1, !tbaa !13, !range !16, !noundef !17
  %27 = trunc i8 %26 to i1
  br i1 %27, label %258, label %28

28:                                               ; preds = %24
  store i1 true, ptr %9, align 1
  %29 = call ptr @__cxa_allocate_exception(i64 40) #9
  call void @llvm.lifetime.start.p0(i64 1, ptr %8) #9
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #9
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef @.str, ptr noundef nonnull align 1 dereferenceable(1) %8)
          to label %30 unwind label %36

30:                                               ; preds = %28
  invoke void @_ZN16customexceptions30PreparatoryOperationsExceptionC1ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(40) %29, ptr noundef %7)
          to label %31 unwind label %40

31:                                               ; preds = %30
  store i1 false, ptr %9, align 1
  invoke void @__cxa_throw(ptr %29, ptr @_ZTIN16customexceptions30PreparatoryOperationsExceptionE, ptr @_ZN16customexceptions30PreparatoryOperationsExceptionD2Ev) #10
          to label %326 unwind label %40

32:                                               ; preds = %258, %2
  %33 = landingpad { ptr, i32 }
          catch ptr @_ZTIN16customexceptions30PreparatoryOperationsExceptionE
          catch ptr @_ZTIN16customexceptions27BoundaryConditionsExceptionE
          catch ptr @_ZTIN16customexceptions24FluidPropertiesEcxeptionE
          catch ptr @_ZTIN16customexceptions23SolverSettingsExceptionE
          catch ptr @_ZTIN16customexceptions18SleSolverExceptionE
          catch ptr @_ZTISt9bad_alloc
          catch ptr @_ZTINSt8ios_base7failureB5cxx11E
          catch ptr @_ZTISt14overflow_error
          catch ptr @_ZTISt15underflow_error
          catch ptr @_ZTISt9exception
          catch ptr null
  %34 = extractvalue { ptr, i32 } %33, 0
  store ptr %34, ptr %5, align 8
  %35 = extractvalue { ptr, i32 } %33, 1
  store i32 %35, ptr %6, align 4
  br label %48

36:                                               ; preds = %28
  %37 = landingpad { ptr, i32 }
          catch ptr @_ZTIN16customexceptions30PreparatoryOperationsExceptionE
          catch ptr @_ZTIN16customexceptions27BoundaryConditionsExceptionE
          catch ptr @_ZTIN16customexceptions24FluidPropertiesEcxeptionE
          catch ptr @_ZTIN16customexceptions23SolverSettingsExceptionE
          catch ptr @_ZTIN16customexceptions18SleSolverExceptionE
          catch ptr @_ZTISt9bad_alloc
          catch ptr @_ZTINSt8ios_base7failureB5cxx11E
          catch ptr @_ZTISt14overflow_error
          catch ptr @_ZTISt15underflow_error
          catch ptr @_ZTISt9exception
          catch ptr null
  %38 = extractvalue { ptr, i32 } %37, 0
  store ptr %38, ptr %5, align 8
  %39 = extractvalue { ptr, i32 } %37, 1
  store i32 %39, ptr %6, align 4
  br label %44

40:                                               ; preds = %31, %30
  %41 = landingpad { ptr, i32 }
          catch ptr @_ZTIN16customexceptions30PreparatoryOperationsExceptionE
          catch ptr @_ZTIN16customexceptions27BoundaryConditionsExceptionE
          catch ptr @_ZTIN16customexceptions24FluidPropertiesEcxeptionE
          catch ptr @_ZTIN16customexceptions23SolverSettingsExceptionE
          catch ptr @_ZTIN16customexceptions18SleSolverExceptionE
          catch ptr @_ZTISt9bad_alloc
          catch ptr @_ZTINSt8ios_base7failureB5cxx11E
          catch ptr @_ZTISt14overflow_error
          catch ptr @_ZTISt15underflow_error
          catch ptr @_ZTISt9exception
          catch ptr null
  %42 = extractvalue { ptr, i32 } %41, 0
  store ptr %42, ptr %5, align 8
  %43 = extractvalue { ptr, i32 } %41, 1
  store i32 %43, ptr %6, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #9
  br label %44

44:                                               ; preds = %40, %36
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %8) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #9
  %45 = load i1, ptr %9, align 1
  br i1 %45, label %46, label %47

46:                                               ; preds = %44
  call void @__cxa_free_exception(ptr %29) #9
  br label %47

47:                                               ; preds = %46, %44
  br label %48

48:                                               ; preds = %47, %32
  %49 = load i32, ptr %6, align 4
  %50 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTIN16customexceptions30PreparatoryOperationsExceptionE) #9
  %51 = icmp eq i32 %49, %50
  br i1 %51, label %52, label %71

52:                                               ; preds = %48
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #9
  %53 = load ptr, ptr %5, align 8
  %54 = call ptr @__cxa_begin_catch(ptr %53) #9
  store ptr %54, ptr %19, align 8
  %55 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.11)
          to label %56 unwind label %313

56:                                               ; preds = %52
  %57 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.12)
          to label %58 unwind label %313

58:                                               ; preds = %56
  %59 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %57, i8 noundef signext 10)
          to label %60 unwind label %313

60:                                               ; preds = %58
  %61 = load ptr, ptr %19, align 8, !tbaa !5
  %62 = load ptr, ptr %61, align 8, !tbaa !18
  %63 = getelementptr inbounds ptr, ptr %62, i64 2
  %64 = load ptr, ptr %63, align 8
  %65 = call noundef ptr %64(ptr noundef nonnull align 8 dereferenceable(40) %61) #9
  %66 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %65)
          to label %67 unwind label %313

67:                                               ; preds = %60
  %68 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %66, i8 noundef signext 10)
          to label %69 unwind label %313

69:                                               ; preds = %67
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  br label %70

70:                                               ; preds = %262, %257, %250, %231, %212, %193, %174, %155, %136, %117, %89, %69
  ret void

71:                                               ; preds = %48
  %72 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTIN16customexceptions27BoundaryConditionsExceptionE) #9
  %73 = icmp eq i32 %49, %72
  br i1 %73, label %74, label %91

74:                                               ; preds = %71
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #9
  %75 = load ptr, ptr %5, align 8
  %76 = call ptr @__cxa_begin_catch(ptr %75) #9
  store ptr %76, ptr %18, align 8
  %77 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.10)
          to label %78 unwind label %308

78:                                               ; preds = %74
  %79 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %77, i8 noundef signext 10)
          to label %80 unwind label %308

80:                                               ; preds = %78
  %81 = load ptr, ptr %18, align 8, !tbaa !5
  %82 = load ptr, ptr %81, align 8, !tbaa !18
  %83 = getelementptr inbounds ptr, ptr %82, i64 2
  %84 = load ptr, ptr %83, align 8
  %85 = call noundef ptr %84(ptr noundef nonnull align 8 dereferenceable(64) %81) #9
  %86 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %85)
          to label %87 unwind label %308

87:                                               ; preds = %80
  %88 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %86, i8 noundef signext 10)
          to label %89 unwind label %308

89:                                               ; preds = %87
  %90 = load ptr, ptr %18, align 8, !tbaa !5
  call void @_ZNK16customexceptions27BoundaryConditionsException22outputUndefinedBcNamesEv(ptr noundef nonnull align 8 dereferenceable(64) %90) #9
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #9
  br label %70

91:                                               ; preds = %71
  %92 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTIN16customexceptions24FluidPropertiesEcxeptionE) #9
  %93 = icmp eq i32 %49, %92
  br i1 %93, label %94, label %118

94:                                               ; preds = %91
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #9
  %95 = load ptr, ptr %5, align 8
  %96 = call ptr @__cxa_begin_catch(ptr %95) #9
  store ptr %96, ptr %17, align 8
  %97 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.8)
          to label %98 unwind label %303

98:                                               ; preds = %94
  %99 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %97, i8 noundef signext 10)
          to label %100 unwind label %303

100:                                              ; preds = %98
  %101 = load ptr, ptr %17, align 8, !tbaa !5
  %102 = load ptr, ptr %101, align 8, !tbaa !18
  %103 = getelementptr inbounds ptr, ptr %102, i64 2
  %104 = load ptr, ptr %103, align 8
  %105 = call noundef ptr %104(ptr noundef nonnull align 8 dereferenceable(48) %101) #9
  %106 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %105)
          to label %107 unwind label %303

107:                                              ; preds = %100
  %108 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %106, i8 noundef signext 10)
          to label %109 unwind label %303

109:                                              ; preds = %107
  %110 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.9)
          to label %111 unwind label %303

111:                                              ; preds = %109
  %112 = load ptr, ptr %17, align 8, !tbaa !5
  %113 = call noundef double @_ZNK16customexceptions24FluidPropertiesEcxeption16getPropertyValueEv(ptr noundef nonnull align 8 dereferenceable(48) %112) #9
  %114 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %110, double noundef %113)
          to label %115 unwind label %303

115:                                              ; preds = %111
  %116 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %114, i8 noundef signext 10)
          to label %117 unwind label %303

117:                                              ; preds = %115
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #9
  br label %70

118:                                              ; preds = %91
  %119 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTIN16customexceptions23SolverSettingsExceptionE) #9
  %120 = icmp eq i32 %49, %119
  br i1 %120, label %121, label %137

121:                                              ; preds = %118
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #9
  %122 = load ptr, ptr %5, align 8
  %123 = call ptr @__cxa_begin_catch(ptr %122) #9
  store ptr %123, ptr %16, align 8
  %124 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.7)
          to label %125 unwind label %298

125:                                              ; preds = %121
  %126 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %124, i8 noundef signext 10)
          to label %127 unwind label %298

127:                                              ; preds = %125
  %128 = load ptr, ptr %16, align 8, !tbaa !5
  %129 = load ptr, ptr %128, align 8, !tbaa !18
  %130 = getelementptr inbounds ptr, ptr %129, i64 2
  %131 = load ptr, ptr %130, align 8
  %132 = call noundef ptr %131(ptr noundef nonnull align 8 dereferenceable(40) %128) #9
  %133 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %132)
          to label %134 unwind label %298

134:                                              ; preds = %127
  %135 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %133, i8 noundef signext 10)
          to label %136 unwind label %298

136:                                              ; preds = %134
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #9
  br label %70

137:                                              ; preds = %118
  %138 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTIN16customexceptions18SleSolverExceptionE) #9
  %139 = icmp eq i32 %49, %138
  br i1 %139, label %140, label %156

140:                                              ; preds = %137
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #9
  %141 = load ptr, ptr %5, align 8
  %142 = call ptr @__cxa_begin_catch(ptr %141) #9
  store ptr %142, ptr %15, align 8
  %143 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.6)
          to label %144 unwind label %293

144:                                              ; preds = %140
  %145 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %143, i8 noundef signext 10)
          to label %146 unwind label %293

146:                                              ; preds = %144
  %147 = load ptr, ptr %15, align 8, !tbaa !5
  %148 = load ptr, ptr %147, align 8, !tbaa !18
  %149 = getelementptr inbounds ptr, ptr %148, i64 2
  %150 = load ptr, ptr %149, align 8
  %151 = call noundef ptr %150(ptr noundef nonnull align 8 dereferenceable(40) %147) #9
  %152 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %151)
          to label %153 unwind label %293

153:                                              ; preds = %146
  %154 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %152, i8 noundef signext 10)
          to label %155 unwind label %293

155:                                              ; preds = %153
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  br label %70

156:                                              ; preds = %137
  %157 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTISt9bad_alloc) #9
  %158 = icmp eq i32 %49, %157
  br i1 %158, label %159, label %175

159:                                              ; preds = %156
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #9
  %160 = load ptr, ptr %5, align 8
  %161 = call ptr @__cxa_begin_catch(ptr %160) #9
  store ptr %161, ptr %14, align 8
  %162 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.5)
          to label %163 unwind label %288

163:                                              ; preds = %159
  %164 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %162, i8 noundef signext 10)
          to label %165 unwind label %288

165:                                              ; preds = %163
  %166 = load ptr, ptr %14, align 8, !tbaa !5
  %167 = load ptr, ptr %166, align 8, !tbaa !18
  %168 = getelementptr inbounds ptr, ptr %167, i64 2
  %169 = load ptr, ptr %168, align 8
  %170 = call noundef ptr %169(ptr noundef nonnull align 8 dereferenceable(8) %166) #9
  %171 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %170)
          to label %172 unwind label %288

172:                                              ; preds = %165
  %173 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %171, i8 noundef signext 10)
          to label %174 unwind label %288

174:                                              ; preds = %172
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #9
  br label %70

175:                                              ; preds = %156
  %176 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTINSt8ios_base7failureB5cxx11E) #9
  %177 = icmp eq i32 %49, %176
  br i1 %177, label %178, label %194

178:                                              ; preds = %175
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #9
  %179 = load ptr, ptr %5, align 8
  %180 = call ptr @__cxa_begin_catch(ptr %179) #9
  store ptr %180, ptr %13, align 8
  %181 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.4)
          to label %182 unwind label %283

182:                                              ; preds = %178
  %183 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %181, i8 noundef signext 10)
          to label %184 unwind label %283

184:                                              ; preds = %182
  %185 = load ptr, ptr %13, align 8, !tbaa !5
  %186 = load ptr, ptr %185, align 8, !tbaa !18
  %187 = getelementptr inbounds ptr, ptr %186, i64 2
  %188 = load ptr, ptr %187, align 8
  %189 = call noundef ptr %188(ptr noundef nonnull align 8 dereferenceable(32) %185) #9
  %190 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %189)
          to label %191 unwind label %283

191:                                              ; preds = %184
  %192 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %190, i8 noundef signext 10)
          to label %193 unwind label %283

193:                                              ; preds = %191
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  br label %70

194:                                              ; preds = %175
  %195 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTISt14overflow_error) #9
  %196 = icmp eq i32 %49, %195
  br i1 %196, label %197, label %213

197:                                              ; preds = %194
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #9
  %198 = load ptr, ptr %5, align 8
  %199 = call ptr @__cxa_begin_catch(ptr %198) #9
  store ptr %199, ptr %12, align 8
  %200 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.3)
          to label %201 unwind label %278

201:                                              ; preds = %197
  %202 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %200, i8 noundef signext 10)
          to label %203 unwind label %278

203:                                              ; preds = %201
  %204 = load ptr, ptr %12, align 8, !tbaa !5
  %205 = load ptr, ptr %204, align 8, !tbaa !18
  %206 = getelementptr inbounds ptr, ptr %205, i64 2
  %207 = load ptr, ptr %206, align 8
  %208 = call noundef ptr %207(ptr noundef nonnull align 8 dereferenceable(16) %204) #9
  %209 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %208)
          to label %210 unwind label %278

210:                                              ; preds = %203
  %211 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %209, i8 noundef signext 10)
          to label %212 unwind label %278

212:                                              ; preds = %210
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #9
  br label %70

213:                                              ; preds = %194
  %214 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTISt15underflow_error) #9
  %215 = icmp eq i32 %49, %214
  br i1 %215, label %216, label %232

216:                                              ; preds = %213
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #9
  %217 = load ptr, ptr %5, align 8
  %218 = call ptr @__cxa_begin_catch(ptr %217) #9
  store ptr %218, ptr %11, align 8
  %219 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.3)
          to label %220 unwind label %273

220:                                              ; preds = %216
  %221 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %219, i8 noundef signext 10)
          to label %222 unwind label %273

222:                                              ; preds = %220
  %223 = load ptr, ptr %11, align 8, !tbaa !5
  %224 = load ptr, ptr %223, align 8, !tbaa !18
  %225 = getelementptr inbounds ptr, ptr %224, i64 2
  %226 = load ptr, ptr %225, align 8
  %227 = call noundef ptr %226(ptr noundef nonnull align 8 dereferenceable(16) %223) #9
  %228 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %227)
          to label %229 unwind label %273

229:                                              ; preds = %222
  %230 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %228, i8 noundef signext 10)
          to label %231 unwind label %273

231:                                              ; preds = %229
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #9
  br label %70

232:                                              ; preds = %213
  %233 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTISt9exception) #9
  %234 = icmp eq i32 %49, %233
  br i1 %234, label %235, label %251

235:                                              ; preds = %232
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #9
  %236 = load ptr, ptr %5, align 8
  %237 = call ptr @__cxa_begin_catch(ptr %236) #9
  store ptr %237, ptr %10, align 8
  %238 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.2)
          to label %239 unwind label %268

239:                                              ; preds = %235
  %240 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %238, i8 noundef signext 10)
          to label %241 unwind label %268

241:                                              ; preds = %239
  %242 = load ptr, ptr %10, align 8, !tbaa !5
  %243 = load ptr, ptr %242, align 8, !tbaa !18
  %244 = getelementptr inbounds ptr, ptr %243, i64 2
  %245 = load ptr, ptr %244, align 8
  %246 = call noundef ptr %245(ptr noundef nonnull align 8 dereferenceable(8) %242) #9
  %247 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %246)
          to label %248 unwind label %268

248:                                              ; preds = %241
  %249 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %247, i8 noundef signext 10)
          to label %250 unwind label %268

250:                                              ; preds = %248
  call void @__cxa_end_catch()
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #9
  br label %70

251:                                              ; preds = %232
  %252 = load ptr, ptr %5, align 8
  %253 = call ptr @__cxa_begin_catch(ptr %252) #9
  %254 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef @.str.1)
          to label %255 unwind label %263

255:                                              ; preds = %251
  %256 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %254, i8 noundef signext 10)
          to label %257 unwind label %263

257:                                              ; preds = %255
  call void @__cxa_end_catch()
  br label %70

258:                                              ; preds = %24
  %259 = getelementptr inbounds %"class.mainsolver::SolverFVMSolver", ptr %20, i32 0, i32 0
  %260 = load ptr, ptr %259, align 8, !tbaa !20
  %261 = load i64, ptr %4, align 8, !tbaa !9
  invoke void @_ZN9fvmsolver6Solver5startEm(ptr noundef nonnull align 8 dereferenceable(1104) %260, i64 noundef %261)
          to label %262 unwind label %32

262:                                              ; preds = %258
  br label %70

263:                                              ; preds = %255, %251
  %264 = landingpad { ptr, i32 }
          cleanup
  %265 = extractvalue { ptr, i32 } %264, 0
  store ptr %265, ptr %5, align 8
  %266 = extractvalue { ptr, i32 } %264, 1
  store i32 %266, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %267 unwind label %323

267:                                              ; preds = %263
  br label %318

268:                                              ; preds = %248, %241, %239, %235
  %269 = landingpad { ptr, i32 }
          cleanup
  %270 = extractvalue { ptr, i32 } %269, 0
  store ptr %270, ptr %5, align 8
  %271 = extractvalue { ptr, i32 } %269, 1
  store i32 %271, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %272 unwind label %323

272:                                              ; preds = %268
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #9
  br label %318

273:                                              ; preds = %229, %222, %220, %216
  %274 = landingpad { ptr, i32 }
          cleanup
  %275 = extractvalue { ptr, i32 } %274, 0
  store ptr %275, ptr %5, align 8
  %276 = extractvalue { ptr, i32 } %274, 1
  store i32 %276, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %277 unwind label %323

277:                                              ; preds = %273
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #9
  br label %318

278:                                              ; preds = %210, %203, %201, %197
  %279 = landingpad { ptr, i32 }
          cleanup
  %280 = extractvalue { ptr, i32 } %279, 0
  store ptr %280, ptr %5, align 8
  %281 = extractvalue { ptr, i32 } %279, 1
  store i32 %281, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %282 unwind label %323

282:                                              ; preds = %278
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #9
  br label %318

283:                                              ; preds = %191, %184, %182, %178
  %284 = landingpad { ptr, i32 }
          cleanup
  %285 = extractvalue { ptr, i32 } %284, 0
  store ptr %285, ptr %5, align 8
  %286 = extractvalue { ptr, i32 } %284, 1
  store i32 %286, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %287 unwind label %323

287:                                              ; preds = %283
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  br label %318

288:                                              ; preds = %172, %165, %163, %159
  %289 = landingpad { ptr, i32 }
          cleanup
  %290 = extractvalue { ptr, i32 } %289, 0
  store ptr %290, ptr %5, align 8
  %291 = extractvalue { ptr, i32 } %289, 1
  store i32 %291, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %292 unwind label %323

292:                                              ; preds = %288
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #9
  br label %318

293:                                              ; preds = %153, %146, %144, %140
  %294 = landingpad { ptr, i32 }
          cleanup
  %295 = extractvalue { ptr, i32 } %294, 0
  store ptr %295, ptr %5, align 8
  %296 = extractvalue { ptr, i32 } %294, 1
  store i32 %296, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %297 unwind label %323

297:                                              ; preds = %293
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  br label %318

298:                                              ; preds = %134, %127, %125, %121
  %299 = landingpad { ptr, i32 }
          cleanup
  %300 = extractvalue { ptr, i32 } %299, 0
  store ptr %300, ptr %5, align 8
  %301 = extractvalue { ptr, i32 } %299, 1
  store i32 %301, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %302 unwind label %323

302:                                              ; preds = %298
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #9
  br label %318

303:                                              ; preds = %115, %111, %109, %107, %100, %98, %94
  %304 = landingpad { ptr, i32 }
          cleanup
  %305 = extractvalue { ptr, i32 } %304, 0
  store ptr %305, ptr %5, align 8
  %306 = extractvalue { ptr, i32 } %304, 1
  store i32 %306, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %307 unwind label %323

307:                                              ; preds = %303
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #9
  br label %318

308:                                              ; preds = %87, %80, %78, %74
  %309 = landingpad { ptr, i32 }
          cleanup
  %310 = extractvalue { ptr, i32 } %309, 0
  store ptr %310, ptr %5, align 8
  %311 = extractvalue { ptr, i32 } %309, 1
  store i32 %311, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %312 unwind label %323

312:                                              ; preds = %308
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #9
  br label %318

313:                                              ; preds = %67, %60, %58, %56, %52
  %314 = landingpad { ptr, i32 }
          cleanup
  %315 = extractvalue { ptr, i32 } %314, 0
  store ptr %315, ptr %5, align 8
  %316 = extractvalue { ptr, i32 } %314, 1
  store i32 %316, ptr %6, align 4
  invoke void @__cxa_end_catch()
          to label %317 unwind label %323

317:                                              ; preds = %313
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  br label %318

318:                                              ; preds = %317, %312, %307, %302, %297, %292, %287, %282, %277, %272, %267
  %319 = load ptr, ptr %5, align 8
  %320 = load i32, ptr %6, align 4
  %321 = insertvalue { ptr, i32 } poison, ptr %319, 0
  %322 = insertvalue { ptr, i32 } %321, i32 %320, 1
  resume { ptr, i32 } %322

323:                                              ; preds = %313, %308, %303, %298, %293, %288, %283, %278, %273, %268, %263
  %324 = landingpad { ptr, i32 }
          catch ptr null
  %325 = extractvalue { ptr, i32 } %324, 0
  call void @__clang_call_terminate(ptr %325) #11
  unreachable

326:                                              ; preds = %31
  unreachable
}

declare noundef nonnull align 1 dereferenceable(2) ptr @_ZN10datastores16GlobalDataStores19getSolverStateFlagsEv(ptr noundef nonnull align 8 dereferenceable(1800)) #1

declare i32 @__gxx_personality_v0(...)

declare ptr @__cxa_allocate_exception(i64)

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

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

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

declare void @_ZN16customexceptions30PreparatoryOperationsExceptionC1ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef) unnamed_addr #1

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

declare void @__cxa_throw(ptr, ptr, ptr)

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

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

declare void @__cxa_free_exception(ptr)

declare void @_ZN9fvmsolver6Solver5startEm(ptr noundef nonnull align 8 dereferenceable(1104), i64 noundef) #1

; Function Attrs: nounwind memory(none)
declare i32 @llvm.eh.typeid.for.p0(ptr) #5

declare ptr @__cxa_begin_catch(ptr)

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8), i8 noundef signext) #6

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #6

declare void @__cxa_end_catch()

; Function Attrs: noinline noreturn nounwind uwtable
declare hidden void @__clang_call_terminate(ptr noundef) #7

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8), double noundef) #0 align 2

; Function Attrs: nounwind
declare noundef double @_ZNK16customexceptions24FluidPropertiesEcxeption16getPropertyValueEv(ptr noundef nonnull align 8 dereferenceable(48)) #8

; Function Attrs: nounwind
declare void @_ZNK16customexceptions27BoundaryConditionsException22outputUndefinedBcNamesEv(ptr noundef nonnull align 8 dereferenceable(64)) #8

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

attributes #0 = { 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 #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress 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 = { nounwind memory(none) }
attributes #6 = { 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 #7 = { noinline noreturn nounwind uwtable "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 #8 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { nounwind }
attributes #10 = { noreturn }
attributes #11 = { noreturn nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = !{!12, !6, i64 8}
!12 = !{!"_ZTSN10mainsolver15SolverFVMSolverE", !6, i64 0, !6, i64 8}
!13 = !{!14, !15, i64 0}
!14 = !{!"_ZTSN10datastores21SolverStateFlagsStoreE", !15, i64 0, !15, i64 1}
!15 = !{!"bool", !7, i64 0}
!16 = !{i8 0, i8 2}
!17 = !{}
!18 = !{!19, !19, i64 0}
!19 = !{!"vtable pointer", !8, i64 0}
!20 = !{!12, !6, i64 0}


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

%"class.std::basic_ostream" = type { ptr, %"class.std::basic_ios" }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::locale" = type { ptr }
%"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.std::allocator.48" = type { i8 }

@_ZTIN16customexceptions30PreparatoryOperationsExceptionE = external constant ptr
@_ZTIN16customexceptions27BoundaryConditionsExceptionE = external constant ptr
@_ZTIN16customexceptions24FluidPropertiesEcxeptionE = external constant ptr
@_ZTIN16customexceptions23SolverSettingsExceptionE = external constant ptr
@_ZTIN16customexceptions18SleSolverExceptionE = external constant ptr
@_ZTISt9bad_alloc = external constant ptr
@_ZTINSt8ios_base7failureB5cxx11E = external constant ptr
@_ZTISt14overflow_error = external constant ptr
@_ZTISt15underflow_error = external constant ptr
@_ZTISt9exception = external constant ptr
@.str = external hidden unnamed_addr constant [33 x i8], align 1
@_ZSt4cerr = external global %"class.std::basic_ostream", align 8
@.str.1 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [36 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [38 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [53 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [57 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [34 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [40 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN10mainsolver15SolverFVMSolver16startCalculationEm(ptr nocapture noundef nonnull readonly align 8 dereferenceable(16) %0, i64 noundef %1) local_unnamed_addr #0 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca %"class.std::__cxx11::basic_string", align 8
  %4 = alloca %"class.std::allocator.48", align 1
  %5 = getelementptr inbounds i8, ptr %0, i64 8
  %6 = load ptr, ptr %5, align 8, !tbaa !5
  %7 = invoke noundef nonnull align 1 dereferenceable(2) ptr @_ZN10datastores16GlobalDataStores19getSolverStateFlagsEv(ptr noundef nonnull align 8 dereferenceable(1800) %6)
          to label %8 unwind label %15

8:                                                ; preds = %2
  %9 = load i8, ptr %7, align 1, !tbaa !10, !range !13, !noundef !14
  %10 = trunc nuw i8 %9 to i1
  br i1 %10, label %196, label %11

11:                                               ; preds = %8
  %12 = tail call ptr @__cxa_allocate_exception(i64 40) #9
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %4) #9
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #9
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull @.str, ptr noundef nonnull align 1 dereferenceable(1) %4)
          to label %13 unwind label %.thread

13:                                               ; preds = %11
  invoke void @_ZN16customexceptions30PreparatoryOperationsExceptionC1ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(40) %12, ptr noundef nonnull %3)
          to label %14 unwind label %18

14:                                               ; preds = %13
  invoke void @__cxa_throw(ptr nonnull %12, ptr nonnull @_ZTIN16customexceptions30PreparatoryOperationsExceptionE, ptr nonnull @_ZN16customexceptions30PreparatoryOperationsExceptionD2Ev) #10
          to label %224 unwind label %18

15:                                               ; preds = %196, %2
  %16 = landingpad { ptr, i32 }
          catch ptr @_ZTIN16customexceptions30PreparatoryOperationsExceptionE
          catch ptr @_ZTIN16customexceptions27BoundaryConditionsExceptionE
          catch ptr @_ZTIN16customexceptions24FluidPropertiesEcxeptionE
          catch ptr @_ZTIN16customexceptions23SolverSettingsExceptionE
          catch ptr @_ZTIN16customexceptions18SleSolverExceptionE
          catch ptr @_ZTISt9bad_alloc
          catch ptr @_ZTINSt8ios_base7failureB5cxx11E
          catch ptr @_ZTISt14overflow_error
          catch ptr @_ZTISt15underflow_error
          catch ptr @_ZTISt9exception
          catch ptr null
  br label %21

.thread:                                          ; preds = %11
  %17 = landingpad { ptr, i32 }
          catch ptr @_ZTIN16customexceptions30PreparatoryOperationsExceptionE
          catch ptr @_ZTIN16customexceptions27BoundaryConditionsExceptionE
          catch ptr @_ZTIN16customexceptions24FluidPropertiesEcxeptionE
          catch ptr @_ZTIN16customexceptions23SolverSettingsExceptionE
          catch ptr @_ZTIN16customexceptions18SleSolverExceptionE
          catch ptr @_ZTISt9bad_alloc
          catch ptr @_ZTINSt8ios_base7failureB5cxx11E
          catch ptr @_ZTISt14overflow_error
          catch ptr @_ZTISt15underflow_error
          catch ptr @_ZTISt9exception
          catch ptr null
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %4) #9
  br label %20

18:                                               ; preds = %13, %14
  %.031 = phi i1 [ false, %14 ], [ true, %13 ]
  %19 = landingpad { ptr, i32 }
          catch ptr @_ZTIN16customexceptions30PreparatoryOperationsExceptionE
          catch ptr @_ZTIN16customexceptions27BoundaryConditionsExceptionE
          catch ptr @_ZTIN16customexceptions24FluidPropertiesEcxeptionE
          catch ptr @_ZTIN16customexceptions23SolverSettingsExceptionE
          catch ptr @_ZTIN16customexceptions18SleSolverExceptionE
          catch ptr @_ZTISt9bad_alloc
          catch ptr @_ZTINSt8ios_base7failureB5cxx11E
          catch ptr @_ZTISt14overflow_error
          catch ptr @_ZTISt15underflow_error
          catch ptr @_ZTISt9exception
          catch ptr null
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #9
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %4) #9
  br i1 %.031, label %20, label %21

20:                                               ; preds = %.thread, %18
  %.pn40 = phi { ptr, i32 } [ %17, %.thread ], [ %19, %18 ]
  call void @__cxa_free_exception(ptr %12) #9
  br label %21

21:                                               ; preds = %18, %20, %15
  %.pn34 = phi { ptr, i32 } [ %16, %15 ], [ %.pn40, %20 ], [ %19, %18 ]
  %.1 = extractvalue { ptr, i32 } %.pn34, 0
  %.129 = extractvalue { ptr, i32 } %.pn34, 1
  %22 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTIN16customexceptions30PreparatoryOperationsExceptionE) #9
  %23 = icmp eq i32 %.129, %22
  br i1 %23, label %24, label %40

24:                                               ; preds = %21
  %25 = call ptr @__cxa_begin_catch(ptr %.1) #9
  %26 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.11)
          to label %27 unwind label %218

27:                                               ; preds = %24
  %28 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.12)
          to label %29 unwind label %218

29:                                               ; preds = %27
  %30 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %28, i8 noundef signext 10)
          to label %31 unwind label %218

31:                                               ; preds = %29
  %32 = load ptr, ptr %25, align 8, !tbaa !15
  %33 = getelementptr inbounds i8, ptr %32, i64 16
  %34 = load ptr, ptr %33, align 8
  %35 = call noundef ptr %34(ptr noundef nonnull align 8 dereferenceable(40) %25) #9
  %36 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %35)
          to label %37 unwind label %218

37:                                               ; preds = %31
  %38 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %36, i8 noundef signext 10)
          to label %.sink.split unwind label %218

.sink.split:                                      ; preds = %37, %194, %190, %174, %158, %142, %126, %110, %94, %78, %56
  call void @__cxa_end_catch()
  br label %39

39:                                               ; preds = %.sink.split, %196
  ret void

40:                                               ; preds = %21
  %41 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTIN16customexceptions27BoundaryConditionsExceptionE) #9
  %42 = icmp eq i32 %.129, %41
  br i1 %42, label %43, label %57

43:                                               ; preds = %40
  %44 = call ptr @__cxa_begin_catch(ptr %.1) #9
  %45 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.10)
          to label %46 unwind label %216

46:                                               ; preds = %43
  %47 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %45, i8 noundef signext 10)
          to label %48 unwind label %216

48:                                               ; preds = %46
  %49 = load ptr, ptr %44, align 8, !tbaa !15
  %50 = getelementptr inbounds i8, ptr %49, i64 16
  %51 = load ptr, ptr %50, align 8
  %52 = call noundef ptr %51(ptr noundef nonnull align 8 dereferenceable(64) %44) #9
  %53 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %52)
          to label %54 unwind label %216

54:                                               ; preds = %48
  %55 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %53, i8 noundef signext 10)
          to label %56 unwind label %216

56:                                               ; preds = %54
  call void @_ZNK16customexceptions27BoundaryConditionsException22outputUndefinedBcNamesEv(ptr noundef nonnull align 8 dereferenceable(64) %44) #9
  br label %.sink.split

57:                                               ; preds = %40
  %58 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTIN16customexceptions24FluidPropertiesEcxeptionE) #9
  %59 = icmp eq i32 %.129, %58
  br i1 %59, label %60, label %80

60:                                               ; preds = %57
  %61 = call ptr @__cxa_begin_catch(ptr %.1) #9
  %62 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.8)
          to label %63 unwind label %214

63:                                               ; preds = %60
  %64 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %62, i8 noundef signext 10)
          to label %65 unwind label %214

65:                                               ; preds = %63
  %66 = load ptr, ptr %61, align 8, !tbaa !15
  %67 = getelementptr inbounds i8, ptr %66, i64 16
  %68 = load ptr, ptr %67, align 8
  %69 = call noundef ptr %68(ptr noundef nonnull align 8 dereferenceable(48) %61) #9
  %70 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %69)
          to label %71 unwind label %214

71:                                               ; preds = %65
  %72 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %70, i8 noundef signext 10)
          to label %73 unwind label %214

73:                                               ; preds = %71
  %74 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.9)
          to label %75 unwind label %214

75:                                               ; preds = %73
  %76 = call noundef double @_ZNK16customexceptions24FluidPropertiesEcxeption16getPropertyValueEv(ptr noundef nonnull align 8 dereferenceable(48) %61) #9
  %77 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8) %74, double noundef %76)
          to label %78 unwind label %214

78:                                               ; preds = %75
  %79 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %77, i8 noundef signext 10)
          to label %.sink.split unwind label %214

80:                                               ; preds = %57
  %81 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTIN16customexceptions23SolverSettingsExceptionE) #9
  %82 = icmp eq i32 %.129, %81
  br i1 %82, label %83, label %96

83:                                               ; preds = %80
  %84 = call ptr @__cxa_begin_catch(ptr %.1) #9
  %85 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.7)
          to label %86 unwind label %212

86:                                               ; preds = %83
  %87 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %85, i8 noundef signext 10)
          to label %88 unwind label %212

88:                                               ; preds = %86
  %89 = load ptr, ptr %84, align 8, !tbaa !15
  %90 = getelementptr inbounds i8, ptr %89, i64 16
  %91 = load ptr, ptr %90, align 8
  %92 = call noundef ptr %91(ptr noundef nonnull align 8 dereferenceable(40) %84) #9
  %93 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %92)
          to label %94 unwind label %212

94:                                               ; preds = %88
  %95 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %93, i8 noundef signext 10)
          to label %.sink.split unwind label %212

96:                                               ; preds = %80
  %97 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTIN16customexceptions18SleSolverExceptionE) #9
  %98 = icmp eq i32 %.129, %97
  br i1 %98, label %99, label %112

99:                                               ; preds = %96
  %100 = call ptr @__cxa_begin_catch(ptr %.1) #9
  %101 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.6)
          to label %102 unwind label %210

102:                                              ; preds = %99
  %103 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %101, i8 noundef signext 10)
          to label %104 unwind label %210

104:                                              ; preds = %102
  %105 = load ptr, ptr %100, align 8, !tbaa !15
  %106 = getelementptr inbounds i8, ptr %105, i64 16
  %107 = load ptr, ptr %106, align 8
  %108 = call noundef ptr %107(ptr noundef nonnull align 8 dereferenceable(40) %100) #9
  %109 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %108)
          to label %110 unwind label %210

110:                                              ; preds = %104
  %111 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %109, i8 noundef signext 10)
          to label %.sink.split unwind label %210

112:                                              ; preds = %96
  %113 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTISt9bad_alloc) #9
  %114 = icmp eq i32 %.129, %113
  br i1 %114, label %115, label %128

115:                                              ; preds = %112
  %116 = call ptr @__cxa_begin_catch(ptr %.1) #9
  %117 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.5)
          to label %118 unwind label %208

118:                                              ; preds = %115
  %119 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %117, i8 noundef signext 10)
          to label %120 unwind label %208

120:                                              ; preds = %118
  %121 = load ptr, ptr %116, align 8, !tbaa !15
  %122 = getelementptr inbounds i8, ptr %121, i64 16
  %123 = load ptr, ptr %122, align 8
  %124 = call noundef ptr %123(ptr noundef nonnull align 8 dereferenceable(8) %116) #9
  %125 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %124)
          to label %126 unwind label %208

126:                                              ; preds = %120
  %127 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %125, i8 noundef signext 10)
          to label %.sink.split unwind label %208

128:                                              ; preds = %112
  %129 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTINSt8ios_base7failureB5cxx11E) #9
  %130 = icmp eq i32 %.129, %129
  br i1 %130, label %131, label %144

131:                                              ; preds = %128
  %132 = call ptr @__cxa_begin_catch(ptr %.1) #9
  %133 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.4)
          to label %134 unwind label %206

134:                                              ; preds = %131
  %135 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %133, i8 noundef signext 10)
          to label %136 unwind label %206

136:                                              ; preds = %134
  %137 = load ptr, ptr %132, align 8, !tbaa !15
  %138 = getelementptr inbounds i8, ptr %137, i64 16
  %139 = load ptr, ptr %138, align 8
  %140 = call noundef ptr %139(ptr noundef nonnull align 8 dereferenceable(32) %132) #9
  %141 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %140)
          to label %142 unwind label %206

142:                                              ; preds = %136
  %143 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %141, i8 noundef signext 10)
          to label %.sink.split unwind label %206

144:                                              ; preds = %128
  %145 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTISt14overflow_error) #9
  %146 = icmp eq i32 %.129, %145
  br i1 %146, label %147, label %160

147:                                              ; preds = %144
  %148 = call ptr @__cxa_begin_catch(ptr %.1) #9
  %149 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.3)
          to label %150 unwind label %204

150:                                              ; preds = %147
  %151 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %149, i8 noundef signext 10)
          to label %152 unwind label %204

152:                                              ; preds = %150
  %153 = load ptr, ptr %148, align 8, !tbaa !15
  %154 = getelementptr inbounds i8, ptr %153, i64 16
  %155 = load ptr, ptr %154, align 8
  %156 = call noundef ptr %155(ptr noundef nonnull align 8 dereferenceable(16) %148) #9
  %157 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %156)
          to label %158 unwind label %204

158:                                              ; preds = %152
  %159 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %157, i8 noundef signext 10)
          to label %.sink.split unwind label %204

160:                                              ; preds = %144
  %161 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTISt15underflow_error) #9
  %162 = icmp eq i32 %.129, %161
  br i1 %162, label %163, label %176

163:                                              ; preds = %160
  %164 = call ptr @__cxa_begin_catch(ptr %.1) #9
  %165 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.3)
          to label %166 unwind label %202

166:                                              ; preds = %163
  %167 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %165, i8 noundef signext 10)
          to label %168 unwind label %202

168:                                              ; preds = %166
  %169 = load ptr, ptr %164, align 8, !tbaa !15
  %170 = getelementptr inbounds i8, ptr %169, i64 16
  %171 = load ptr, ptr %170, align 8
  %172 = call noundef ptr %171(ptr noundef nonnull align 8 dereferenceable(16) %164) #9
  %173 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %172)
          to label %174 unwind label %202

174:                                              ; preds = %168
  %175 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %173, i8 noundef signext 10)
          to label %.sink.split unwind label %202

176:                                              ; preds = %160
  %177 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTISt9exception) #9
  %178 = icmp eq i32 %.129, %177
  %179 = call ptr @__cxa_begin_catch(ptr %.1) #9
  br i1 %178, label %180, label %192

180:                                              ; preds = %176
  %181 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.2)
          to label %182 unwind label %200

182:                                              ; preds = %180
  %183 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %181, i8 noundef signext 10)
          to label %184 unwind label %200

184:                                              ; preds = %182
  %185 = load ptr, ptr %179, align 8, !tbaa !15
  %186 = getelementptr inbounds i8, ptr %185, i64 16
  %187 = load ptr, ptr %186, align 8
  %188 = call noundef ptr %187(ptr noundef nonnull align 8 dereferenceable(8) %179) #9
  %189 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef %188)
          to label %190 unwind label %200

190:                                              ; preds = %184
  %191 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %189, i8 noundef signext 10)
          to label %.sink.split unwind label %200

192:                                              ; preds = %176
  %193 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) @_ZSt4cerr, ptr noundef nonnull @.str.1)
          to label %194 unwind label %198

194:                                              ; preds = %192
  %195 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8) %193, i8 noundef signext 10)
          to label %.sink.split unwind label %198

196:                                              ; preds = %8
  %197 = load ptr, ptr %0, align 8, !tbaa !17
  invoke void @_ZN9fvmsolver6Solver5startEm(ptr noundef nonnull align 8 dereferenceable(1104) %197, i64 noundef %1)
          to label %39 unwind label %15

198:                                              ; preds = %194, %192
  %199 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

200:                                              ; preds = %190, %184, %182, %180
  %201 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

202:                                              ; preds = %174, %168, %166, %163
  %203 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

204:                                              ; preds = %158, %152, %150, %147
  %205 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

206:                                              ; preds = %142, %136, %134, %131
  %207 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

208:                                              ; preds = %126, %120, %118, %115
  %209 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

210:                                              ; preds = %110, %104, %102, %99
  %211 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

212:                                              ; preds = %94, %88, %86, %83
  %213 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

214:                                              ; preds = %78, %75, %73, %71, %65, %63, %60
  %215 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

216:                                              ; preds = %54, %48, %46, %43
  %217 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

218:                                              ; preds = %37, %31, %29, %27, %24
  %219 = landingpad { ptr, i32 }
          cleanup
  invoke void @__cxa_end_catch()
          to label %220 unwind label %221

220:                                              ; preds = %218, %216, %214, %212, %210, %208, %206, %204, %202, %200, %198
  %.pn36 = phi { ptr, i32 } [ %199, %198 ], [ %201, %200 ], [ %203, %202 ], [ %205, %204 ], [ %207, %206 ], [ %209, %208 ], [ %211, %210 ], [ %213, %212 ], [ %215, %214 ], [ %217, %216 ], [ %219, %218 ]
  resume { ptr, i32 } %.pn36

221:                                              ; preds = %218, %216, %214, %212, %210, %208, %206, %204, %202, %200, %198
  %222 = landingpad { ptr, i32 }
          catch ptr null
  %223 = extractvalue { ptr, i32 } %222, 0
  call void @__clang_call_terminate(ptr %223) #11
  unreachable

224:                                              ; preds = %14
  unreachable
}

declare noundef nonnull align 1 dereferenceable(2) ptr @_ZN10datastores16GlobalDataStores19getSolverStateFlagsEv(ptr noundef nonnull align 8 dereferenceable(1800)) local_unnamed_addr #1

declare i32 @__gxx_personality_v0(...)

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

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

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

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

declare void @_ZN16customexceptions30PreparatoryOperationsExceptionC1ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef) unnamed_addr #1

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

declare void @__cxa_throw(ptr, ptr, ptr) local_unnamed_addr

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

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

declare void @__cxa_free_exception(ptr) local_unnamed_addr

declare void @_ZN9fvmsolver6Solver5startEm(ptr noundef nonnull align 8 dereferenceable(1104), i64 noundef) local_unnamed_addr #1

; Function Attrs: nofree nosync nounwind memory(none)
declare i32 @llvm.eh.typeid.for.p0(ptr) #5

declare ptr @__cxa_begin_catch(ptr) local_unnamed_addr

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c(ptr noundef nonnull align 8 dereferenceable(8), i8 noundef signext) local_unnamed_addr #6

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #6

declare void @__cxa_end_catch() local_unnamed_addr

; Function Attrs: noinline noreturn nounwind uwtable
declare hidden void @__clang_call_terminate(ptr noundef) local_unnamed_addr #7

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEd(ptr noundef nonnull align 8 dereferenceable(8), double noundef) local_unnamed_addr #0 align 2

; Function Attrs: nounwind
declare noundef double @_ZNK16customexceptions24FluidPropertiesEcxeption16getPropertyValueEv(ptr noundef nonnull align 8 dereferenceable(48)) local_unnamed_addr #8

; Function Attrs: nounwind
declare void @_ZNK16customexceptions27BoundaryConditionsException22outputUndefinedBcNamesEv(ptr noundef nonnull align 8 dereferenceable(64)) local_unnamed_addr #8

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

attributes #0 = { 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 #1 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #3 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { inlinehint mustprogress 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 = { nofree nosync nounwind memory(none) }
attributes #6 = { 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 #7 = { noinline noreturn nounwind uwtable "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 #8 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { nounwind }
attributes #10 = { noreturn }
attributes #11 = { noreturn nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 8}
!6 = !{!"_ZTSN10mainsolver15SolverFVMSolverE", !7, i64 0, !7, i64 8}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!11, !12, i64 0}
!11 = !{!"_ZTSN10datastores21SolverStateFlagsStoreE", !12, i64 0, !12, i64 1}
!12 = !{!"bool", !8, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !16, i64 0}
!16 = !{!"vtable pointer", !9, i64 0}
!17 = !{!6, !7, i64 0}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,PostOrderFunctionAttrsPass,SROAPass,SimplifyCFGPass,TailCallElimPass