; LLVM IR from ERGO-Code/HiGHS :: src/util (HighsMatrixPic)

; 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::__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::basic_ofstream" = type { %"class.std::basic_ostream.base", %"class.std::basic_filebuf", %"class.std::basic_ios" }
%"class.std::basic_ostream.base" = type { ptr }
%"class.std::basic_filebuf" = type { %"class.std::basic_streambuf", %union.pthread_mutex_t, %"class.std::__basic_file", i32, %struct.__mbstate_t, %struct.__mbstate_t, %struct.__mbstate_t, ptr, i64, i8, i8, i8, i8, ptr, ptr, i8, ptr, ptr, i64, ptr, ptr }
%"class.std::basic_streambuf" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::locale" }
%"class.std::locale" = type { ptr }
%union.pthread_mutex_t = type { %struct.__pthread_mutex_s }
%struct.__pthread_mutex_s = type { i32, i32, i32, i32, i32, i16, i16, %struct.__pthread_internal_list }
%struct.__pthread_internal_list = type { ptr, ptr }
%"class.std::__basic_file" = type <{ ptr, i8, [7 x i8] }>
%struct.__mbstate_t = type { i32, %union.anon.28 }
%union.anon.28 = type { i32 }
%"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::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%struct.HighsOptionsStruct = type { ptr, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", double, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string", i32, %"class.std::__cxx11::basic_string", double, double, double, double, double, double, double, double, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i32, %"class.std::__cxx11::basic_string", i8, i8, i8, i32, i8, i8, i32, i32, double, i32, i32, i32, i8, i32, i8, i8, i8, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8, i8, i8, i8, double, double, double, double, double, double, double, double, double, double, double, i8, i8, i8, i8, i32, double, i8, i8, %"class.std::__cxx11::basic_string", double, i32, i32, i8, i8, i8, i8, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, i8, i8, %"class.std::__cxx11::basic_string", i8, i32, %struct.HighsLogOptions }
%struct.HighsLogOptions = type <{ ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::function", ptr, i8, [7 x i8] }>
%"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 } }

@.str.9 = external hidden unnamed_addr constant [1 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [77 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [37 x i8], align 1
@__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_ = external hidden unnamed_addr constant [169 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [121 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [30 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef i32 @_Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_(ptr noundef nonnull align 8 dereferenceable(1020) %0, ptr noundef %1, i32 noundef %2, i32 noundef %3, ptr noundef nonnull align 8 dereferenceable(24) %4, ptr noundef nonnull align 8 dereferenceable(24) %5) #3 personality ptr @__gxx_personality_v0 {
  %7 = alloca i32, align 4
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca ptr, align 8
  %13 = alloca ptr, align 8
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::basic_ofstream", align 8
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca i32, align 4
  %19 = alloca i32, align 4
  %20 = alloca i32, align 4
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca i32, align 4
  %26 = alloca i32, align 4
  %27 = alloca i32, align 4
  %28 = alloca %"class.std::vector.8", align 8
  %29 = alloca i32, align 4
  %30 = alloca i32, align 4
  %31 = alloca i32, align 4
  %32 = alloca i32, align 4
  %33 = alloca i32, align 4
  %34 = alloca i32, align 4
  %35 = alloca i32, align 4
  %36 = alloca i32, align 4
  %37 = alloca i32, align 4
  %38 = alloca i32, align 4
  %39 = alloca i32, align 4
  %40 = alloca i32, align 4
  %41 = alloca i32, align 4
  %42 = alloca i32, align 4
  store ptr %0, ptr %8, align 8, !tbaa !5
  store ptr %1, ptr %9, align 8, !tbaa !5
  store i32 %2, ptr %10, align 4, !tbaa !9
  store i32 %3, ptr %11, align 4, !tbaa !9
  store ptr %4, ptr %12, align 8, !tbaa !5
  store ptr %5, ptr %13, align 8, !tbaa !5
  %43 = call noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %1, ptr noundef @.str.9)
  br i1 %43, label %44, label %45

44:                                               ; preds = %6
  store i32 -1, ptr %7, align 4
  br label %349

45:                                               ; preds = %6
  call void @llvm.lifetime.start.p0(i64 32, ptr %14) #7
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_PKS5_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %14, ptr noundef nonnull align 8 dereferenceable(32) %1, ptr noundef @.str.54)
  call void @llvm.lifetime.start.p0(i64 512, ptr %15) #7
  invoke void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEEC1Ev(ptr noundef nonnull align 8 dereferenceable(248) %15)
          to label %46 unwind label %60

46:                                               ; preds = %45
  invoke void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEE4openERKNSt7__cxx1112basic_stringIcS1_SaIcEEESt13_Ios_Openmode(ptr noundef nonnull align 8 dereferenceable(248) %15, ptr noundef nonnull align 8 dereferenceable(32) %14, i32 noundef 16)
          to label %47 unwind label %64

47:                                               ; preds = %46
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #7
  store i32 1, ptr %18, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %19) #7
  store i32 1600, ptr %19, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %20) #7
  store i32 900, ptr %20, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #7
  store i32 1598, ptr %21, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #7
  store i32 898, ptr %22, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #7
  store i32 1, ptr %23, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %24) #7
  store i32 1, ptr %24, align 4, !tbaa !9
  %48 = load i32, ptr %11, align 4, !tbaa !9
  %49 = icmp sgt i32 %48, 1598
  br i1 %49, label %50, label %69

50:                                               ; preds = %47
  %51 = load i32, ptr %11, align 4, !tbaa !9
  %52 = sdiv i32 %51, 1598
  store i32 %52, ptr %23, align 4, !tbaa !9
  %53 = load i32, ptr %23, align 4, !tbaa !9
  %54 = mul nsw i32 %53, 1598
  %55 = load i32, ptr %11, align 4, !tbaa !9
  %56 = icmp slt i32 %54, %55
  br i1 %56, label %57, label %68

57:                                               ; preds = %50
  %58 = load i32, ptr %23, align 4, !tbaa !9
  %59 = add nsw i32 %58, 1
  store i32 %59, ptr %23, align 4, !tbaa !9
  br label %68

60:                                               ; preds = %45
  %61 = landingpad { ptr, i32 }
          cleanup
  %62 = extractvalue { ptr, i32 } %61, 0
  store ptr %62, ptr %16, align 8
  %63 = extractvalue { ptr, i32 } %61, 1
  store i32 %63, ptr %17, align 4
  br label %348

64:                                               ; preds = %46
  %65 = landingpad { ptr, i32 }
          cleanup
  %66 = extractvalue { ptr, i32 } %65, 0
  store ptr %66, ptr %16, align 8
  %67 = extractvalue { ptr, i32 } %65, 1
  store i32 %67, ptr %17, align 4
  br label %347

68:                                               ; preds = %57, %50
  br label %69

69:                                               ; preds = %68, %47
  %70 = load i32, ptr %10, align 4, !tbaa !9
  %71 = icmp sgt i32 %70, 898
  br i1 %71, label %72, label %83

72:                                               ; preds = %69
  %73 = load i32, ptr %10, align 4, !tbaa !9
  %74 = sdiv i32 %73, 898
  store i32 %74, ptr %24, align 4, !tbaa !9
  %75 = load i32, ptr %24, align 4, !tbaa !9
  %76 = mul nsw i32 %75, 898
  %77 = load i32, ptr %10, align 4, !tbaa !9
  %78 = icmp slt i32 %76, %77
  br i1 %78, label %79, label %82

79:                                               ; preds = %72
  %80 = load i32, ptr %24, align 4, !tbaa !9
  %81 = add nsw i32 %80, 1
  store i32 %81, ptr %24, align 4, !tbaa !9
  br label %82

82:                                               ; preds = %79, %72
  br label %83

83:                                               ; preds = %82, %69
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #7
  %84 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %23, ptr noundef nonnull align 4 dereferenceable(4) %24)
          to label %85 unwind label %98

85:                                               ; preds = %83
  %86 = load i32, ptr %84, align 4, !tbaa !9
  store i32 %86, ptr %25, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %26) #7
  %87 = load i32, ptr %11, align 4, !tbaa !9
  %88 = load i32, ptr %25, align 4, !tbaa !9
  %89 = sdiv i32 %87, %88
  store i32 %89, ptr %26, align 4, !tbaa !9
  %90 = load i32, ptr %25, align 4, !tbaa !9
  %91 = load i32, ptr %26, align 4, !tbaa !9
  %92 = mul nsw i32 %90, %91
  %93 = load i32, ptr %11, align 4, !tbaa !9
  %94 = icmp slt i32 %92, %93
  br i1 %94, label %95, label %102

95:                                               ; preds = %85
  %96 = load i32, ptr %26, align 4, !tbaa !9
  %97 = add nsw i32 %96, 1
  store i32 %97, ptr %26, align 4, !tbaa !9
  br label %102

98:                                               ; preds = %83
  %99 = landingpad { ptr, i32 }
          cleanup
  %100 = extractvalue { ptr, i32 } %99, 0
  store ptr %100, ptr %16, align 8
  %101 = extractvalue { ptr, i32 } %99, 1
  store i32 %101, ptr %17, align 4
  br label %346

102:                                              ; preds = %95, %85
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #7
  %103 = load i32, ptr %10, align 4, !tbaa !9
  %104 = load i32, ptr %25, align 4, !tbaa !9
  %105 = sdiv i32 %103, %104
  store i32 %105, ptr %27, align 4, !tbaa !9
  %106 = load i32, ptr %25, align 4, !tbaa !9
  %107 = load i32, ptr %27, align 4, !tbaa !9
  %108 = mul nsw i32 %106, %107
  %109 = load i32, ptr %10, align 4, !tbaa !9
  %110 = icmp slt i32 %108, %109
  br i1 %110, label %111, label %114

111:                                              ; preds = %102
  %112 = load i32, ptr %27, align 4, !tbaa !9
  %113 = add nsw i32 %112, 1
  store i32 %113, ptr %27, align 4, !tbaa !9
  br label %114

114:                                              ; preds = %111, %102
  %115 = load i32, ptr %26, align 4, !tbaa !9
  %116 = add nsw i32 %115, 2
  store i32 %116, ptr %26, align 4, !tbaa !9
  %117 = load i32, ptr %27, align 4, !tbaa !9
  %118 = add nsw i32 %117, 2
  store i32 %118, ptr %27, align 4, !tbaa !9
  %119 = load i32, ptr %26, align 4, !tbaa !9
  %120 = icmp sle i32 %119, 1600
  br i1 %120, label %121, label %122

121:                                              ; preds = %114
  br label %124

122:                                              ; preds = %114
  call void @__assert_fail(ptr noundef @.str.55, ptr noundef @.str.52, i32 noundef 94, ptr noundef @__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_) #8
  unreachable

123:                                              ; No predecessors!
  br label %124

124:                                              ; preds = %123, %121
  %125 = load i32, ptr %27, align 4, !tbaa !9
  %126 = icmp sle i32 %125, 900
  br i1 %126, label %127, label %128

127:                                              ; preds = %124
  br label %130

128:                                              ; preds = %124
  call void @__assert_fail(ptr noundef @.str.56, ptr noundef @.str.52, i32 noundef 95, ptr noundef @__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_) #8
  unreachable

129:                                              ; No predecessors!
  br label %130

130:                                              ; preds = %129, %127
  %131 = load ptr, ptr %8, align 8, !tbaa !5
  %132 = getelementptr inbounds %struct.HighsOptionsStruct, ptr %131, i32 0, i32 130
  %133 = load i32, ptr %26, align 4, !tbaa !9
  %134 = load i32, ptr %27, align 4, !tbaa !9
  %135 = load i32, ptr %25, align 4, !tbaa !9
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %132, i32 noundef 1, ptr noundef @.str.57, i32 noundef %133, i32 noundef %134, i32 noundef %135)
          to label %136 unwind label %159

136:                                              ; preds = %130
  call void @llvm.lifetime.start.p0(i64 24, ptr %28) #7
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %28) #7
  %137 = load i32, ptr %26, align 4, !tbaa !9
  %138 = sext i32 %137 to i64
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #7
  store i32 0, ptr %29, align 4, !tbaa !9
  invoke void @_ZNSt6vectorIiSaIiEE6assignEmRKi(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %138, ptr noundef nonnull align 4 dereferenceable(4) %29)
          to label %139 unwind label %163

139:                                              ; preds = %136
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #7
  %140 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef @.str.58)
          to label %141 unwind label %167

141:                                              ; preds = %139
  %142 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %140, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %143 unwind label %167

143:                                              ; preds = %141
  %144 = load i32, ptr %26, align 4, !tbaa !9
  %145 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %15, i32 noundef %144)
          to label %146 unwind label %167

146:                                              ; preds = %143
  %147 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %145, ptr noundef @.str.59)
          to label %148 unwind label %167

148:                                              ; preds = %146
  %149 = load i32, ptr %27, align 4, !tbaa !9
  %150 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %147, i32 noundef %149)
          to label %151 unwind label %167

151:                                              ; preds = %148
  %152 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %150, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %153 unwind label %167

153:                                              ; preds = %151
  call void @llvm.lifetime.start.p0(i64 4, ptr %30) #7
  store i32 0, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #7
  store i32 0, ptr %31, align 4, !tbaa !9
  br label %154

154:                                              ; preds = %174, %153
  %155 = load i32, ptr %31, align 4, !tbaa !9
  %156 = load i32, ptr %26, align 4, !tbaa !9
  %157 = icmp slt i32 %155, %156
  br i1 %157, label %171, label %158

158:                                              ; preds = %154
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #7
  br label %181

159:                                              ; preds = %130
  %160 = landingpad { ptr, i32 }
          cleanup
  %161 = extractvalue { ptr, i32 } %160, 0
  store ptr %161, ptr %16, align 8
  %162 = extractvalue { ptr, i32 } %160, 1
  store i32 %162, ptr %17, align 4
  br label %345

163:                                              ; preds = %136
  %164 = landingpad { ptr, i32 }
          cleanup
  %165 = extractvalue { ptr, i32 } %164, 0
  store ptr %165, ptr %16, align 8
  %166 = extractvalue { ptr, i32 } %164, 1
  store i32 %166, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #7
  br label %344

167:                                              ; preds = %151, %148, %146, %143, %141, %139
  %168 = landingpad { ptr, i32 }
          cleanup
  %169 = extractvalue { ptr, i32 } %168, 0
  store ptr %169, ptr %16, align 8
  %170 = extractvalue { ptr, i32 } %168, 1
  store i32 %170, ptr %17, align 4
  br label %344

171:                                              ; preds = %154
  %172 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef @.str.60)
          to label %173 unwind label %177

173:                                              ; preds = %171
  br label %174

174:                                              ; preds = %173
  %175 = load i32, ptr %31, align 4, !tbaa !9
  %176 = add nsw i32 %175, 1
  store i32 %176, ptr %31, align 4, !tbaa !9
  br label %154, !llvm.loop !11

177:                                              ; preds = %171
  %178 = landingpad { ptr, i32 }
          cleanup
  %179 = extractvalue { ptr, i32 } %178, 0
  store ptr %179, ptr %16, align 8
  %180 = extractvalue { ptr, i32 } %178, 1
  store i32 %180, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #7
  br label %343

181:                                              ; preds = %158
  %182 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %183 unwind label %199

183:                                              ; preds = %181
  %184 = load i32, ptr %30, align 4, !tbaa !9
  %185 = add nsw i32 %184, 1
  store i32 %185, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %32) #7
  store i32 0, ptr %32, align 4, !tbaa !9
  br label %186

186:                                              ; preds = %308, %183
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #7
  call void @llvm.lifetime.start.p0(i64 4, ptr %34) #7
  %187 = load i32, ptr %32, align 4, !tbaa !9
  %188 = load i32, ptr %25, align 4, !tbaa !9
  %189 = add nsw i32 %187, %188
  store i32 %189, ptr %34, align 4, !tbaa !9
  %190 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %34, ptr noundef nonnull align 4 dereferenceable(4) %10)
          to label %191 unwind label %203

191:                                              ; preds = %186
  %192 = load i32, ptr %190, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #7
  store i32 %192, ptr %33, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %35) #7
  %193 = load i32, ptr %32, align 4, !tbaa !9
  store i32 %193, ptr %35, align 4, !tbaa !9
  br label %194

194:                                              ; preds = %247, %191
  %195 = load i32, ptr %35, align 4, !tbaa !9
  %196 = load i32, ptr %33, align 4, !tbaa !9
  %197 = icmp slt i32 %195, %196
  br i1 %197, label %207, label %198

198:                                              ; preds = %194
  store i32 7, ptr %36, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %35) #7
  br label %250

199:                                              ; preds = %181
  %200 = landingpad { ptr, i32 }
          cleanup
  %201 = extractvalue { ptr, i32 } %200, 0
  store ptr %201, ptr %16, align 8
  %202 = extractvalue { ptr, i32 } %200, 1
  store i32 %202, ptr %17, align 4
  br label %343

203:                                              ; preds = %186
  %204 = landingpad { ptr, i32 }
          cleanup
  %205 = extractvalue { ptr, i32 } %204, 0
  store ptr %205, ptr %16, align 8
  %206 = extractvalue { ptr, i32 } %204, 1
  store i32 %206, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %34) #7
  br label %309

207:                                              ; preds = %194
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #7
  %208 = load ptr, ptr %12, align 8, !tbaa !5
  %209 = load i32, ptr %35, align 4, !tbaa !9
  %210 = sext i32 %209 to i64
  %211 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %208, i64 noundef %210) #7
  %212 = load i32, ptr %211, align 4, !tbaa !9
  store i32 %212, ptr %37, align 4, !tbaa !9
  br label %213

213:                                              ; preds = %243, %207
  %214 = load i32, ptr %37, align 4, !tbaa !9
  %215 = load ptr, ptr %12, align 8, !tbaa !5
  %216 = load i32, ptr %35, align 4, !tbaa !9
  %217 = add nsw i32 %216, 1
  %218 = sext i32 %217 to i64
  %219 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %215, i64 noundef %218) #7
  %220 = load i32, ptr %219, align 4, !tbaa !9
  %221 = icmp slt i32 %214, %220
  br i1 %221, label %223, label %222

222:                                              ; preds = %213
  store i32 10, ptr %36, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #7
  br label %246

223:                                              ; preds = %213
  call void @llvm.lifetime.start.p0(i64 4, ptr %38) #7
  %224 = load ptr, ptr %13, align 8, !tbaa !5
  %225 = load i32, ptr %37, align 4, !tbaa !9
  %226 = sext i32 %225 to i64
  %227 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %224, i64 noundef %226) #7
  %228 = load i32, ptr %227, align 4, !tbaa !9
  store i32 %228, ptr %38, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %39) #7
  %229 = load i32, ptr %38, align 4, !tbaa !9
  %230 = load i32, ptr %25, align 4, !tbaa !9
  %231 = sdiv i32 %229, %230
  store i32 %231, ptr %39, align 4, !tbaa !9
  %232 = load i32, ptr %39, align 4, !tbaa !9
  %233 = load i32, ptr %26, align 4, !tbaa !9
  %234 = sub nsw i32 %233, 2
  %235 = icmp slt i32 %232, %234
  br i1 %235, label %236, label %237

236:                                              ; preds = %223
  br label %239

237:                                              ; preds = %223
  call void @__assert_fail(ptr noundef @.str.61, ptr noundef @.str.52, i32 noundef 122, ptr noundef @__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_) #8
  unreachable

238:                                              ; No predecessors!
  br label %239

239:                                              ; preds = %238, %236
  %240 = load i32, ptr %39, align 4, !tbaa !9
  %241 = sext i32 %240 to i64
  %242 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %241) #7
  store i32 1, ptr %242, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 4, ptr %39) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %38) #7
  br label %243

243:                                              ; preds = %239
  %244 = load i32, ptr %37, align 4, !tbaa !9
  %245 = add nsw i32 %244, 1
  store i32 %245, ptr %37, align 4, !tbaa !9
  br label %213, !llvm.loop !13

246:                                              ; preds = %222
  br label %247

247:                                              ; preds = %246
  %248 = load i32, ptr %35, align 4, !tbaa !9
  %249 = add nsw i32 %248, 1
  store i32 %249, ptr %35, align 4, !tbaa !9
  br label %194, !llvm.loop !14

250:                                              ; preds = %198
  %251 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef @.str.60)
          to label %252 unwind label %259

252:                                              ; preds = %250
  call void @llvm.lifetime.start.p0(i64 4, ptr %40) #7
  store i32 0, ptr %40, align 4, !tbaa !9
  br label %253

253:                                              ; preds = %272, %252
  %254 = load i32, ptr %40, align 4, !tbaa !9
  %255 = load i32, ptr %26, align 4, !tbaa !9
  %256 = sub nsw i32 %255, 2
  %257 = icmp slt i32 %254, %256
  br i1 %257, label %263, label %258

258:                                              ; preds = %253
  store i32 13, ptr %36, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #7
  br label %279

259:                                              ; preds = %281, %279, %250
  %260 = landingpad { ptr, i32 }
          cleanup
  %261 = extractvalue { ptr, i32 } %260, 0
  store ptr %261, ptr %16, align 8
  %262 = extractvalue { ptr, i32 } %260, 1
  store i32 %262, ptr %17, align 4
  br label %309

263:                                              ; preds = %253
  %264 = load i32, ptr %40, align 4, !tbaa !9
  %265 = sext i32 %264 to i64
  %266 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %265) #7
  %267 = load i32, ptr %266, align 4, !tbaa !9
  %268 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %15, i32 noundef %267)
          to label %269 unwind label %275

269:                                              ; preds = %263
  %270 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %268, ptr noundef @.str.59)
          to label %271 unwind label %275

271:                                              ; preds = %269
  br label %272

272:                                              ; preds = %271
  %273 = load i32, ptr %40, align 4, !tbaa !9
  %274 = add nsw i32 %273, 1
  store i32 %274, ptr %40, align 4, !tbaa !9
  br label %253, !llvm.loop !15

275:                                              ; preds = %269, %263
  %276 = landingpad { ptr, i32 }
          cleanup
  %277 = extractvalue { ptr, i32 } %276, 0
  store ptr %277, ptr %16, align 8
  %278 = extractvalue { ptr, i32 } %276, 1
  store i32 %278, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %40) #7
  br label %309

279:                                              ; preds = %258
  %280 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef @.str.60)
          to label %281 unwind label %259

281:                                              ; preds = %279
  %282 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %280, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %283 unwind label %259

283:                                              ; preds = %281
  %284 = load i32, ptr %30, align 4, !tbaa !9
  %285 = add nsw i32 %284, 1
  store i32 %285, ptr %30, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %41) #7
  store i32 0, ptr %41, align 4, !tbaa !9
  br label %286

286:                                              ; preds = %296, %283
  %287 = load i32, ptr %41, align 4, !tbaa !9
  %288 = load i32, ptr %26, align 4, !tbaa !9
  %289 = sub nsw i32 %288, 2
  %290 = icmp slt i32 %287, %289
  br i1 %290, label %292, label %291

291:                                              ; preds = %286
  store i32 16, ptr %36, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %41) #7
  br label %299

292:                                              ; preds = %286
  %293 = load i32, ptr %41, align 4, !tbaa !9
  %294 = sext i32 %293 to i64
  %295 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %28, i64 noundef %294) #7
  store i32 0, ptr %295, align 4, !tbaa !9
  br label %296

296:                                              ; preds = %292
  %297 = load i32, ptr %41, align 4, !tbaa !9
  %298 = add nsw i32 %297, 1
  store i32 %298, ptr %41, align 4, !tbaa !9
  br label %286, !llvm.loop !16

299:                                              ; preds = %291
  %300 = load i32, ptr %33, align 4, !tbaa !9
  %301 = load i32, ptr %10, align 4, !tbaa !9
  %302 = icmp eq i32 %300, %301
  br i1 %302, label %303, label %304

303:                                              ; preds = %299
  store i32 5, ptr %36, align 4
  br label %306

304:                                              ; preds = %299
  %305 = load i32, ptr %33, align 4, !tbaa !9
  store i32 %305, ptr %32, align 4, !tbaa !9
  store i32 0, ptr %36, align 4
  br label %306

306:                                              ; preds = %304, %303
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #7
  %307 = load i32, ptr %36, align 4
  switch i32 %307, label %356 [
    i32 0, label %308
    i32 5, label %310
  ]

308:                                              ; preds = %306
  br label %186, !llvm.loop !17

309:                                              ; preds = %275, %259, %203
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #7
  br label %342

310:                                              ; preds = %306
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #7
  store i32 0, ptr %42, align 4, !tbaa !9
  br label %311

311:                                              ; preds = %319, %310
  %312 = load i32, ptr %42, align 4, !tbaa !9
  %313 = load i32, ptr %26, align 4, !tbaa !9
  %314 = icmp slt i32 %312, %313
  br i1 %314, label %316, label %315

315:                                              ; preds = %311
  store i32 19, ptr %36, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #7
  br label %326

316:                                              ; preds = %311
  %317 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef @.str.60)
          to label %318 unwind label %322

318:                                              ; preds = %316
  br label %319

319:                                              ; preds = %318
  %320 = load i32, ptr %42, align 4, !tbaa !9
  %321 = add nsw i32 %320, 1
  store i32 %321, ptr %42, align 4, !tbaa !9
  br label %311, !llvm.loop !18

322:                                              ; preds = %316
  %323 = landingpad { ptr, i32 }
          cleanup
  %324 = extractvalue { ptr, i32 } %323, 0
  store ptr %324, ptr %16, align 8
  %325 = extractvalue { ptr, i32 } %323, 1
  store i32 %325, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #7
  br label %342

326:                                              ; preds = %315
  %327 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %328 unwind label %336

328:                                              ; preds = %326
  %329 = load i32, ptr %30, align 4, !tbaa !9
  %330 = add nsw i32 %329, 1
  store i32 %330, ptr %30, align 4, !tbaa !9
  %331 = load i32, ptr %30, align 4, !tbaa !9
  %332 = load i32, ptr %27, align 4, !tbaa !9
  %333 = icmp eq i32 %331, %332
  br i1 %333, label %334, label %335

334:                                              ; preds = %328
  br label %341

335:                                              ; preds = %328
  call void @__assert_fail(ptr noundef @.str.62, ptr noundef @.str.52, i32 noundef 143, ptr noundef @__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_) #8
  unreachable

336:                                              ; preds = %326
  %337 = landingpad { ptr, i32 }
          cleanup
  %338 = extractvalue { ptr, i32 } %337, 0
  store ptr %338, ptr %16, align 8
  %339 = extractvalue { ptr, i32 } %337, 1
  store i32 %339, ptr %17, align 4
  br label %342

340:                                              ; No predecessors!
  br label %341

341:                                              ; preds = %340, %334
  store i32 0, ptr %7, align 4
  store i32 1, ptr %36, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #7
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %28) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  call void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(248) %15) #7
  call void @llvm.lifetime.end.p0(i64 512, ptr %15) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #7
  br label %349

342:                                              ; preds = %336, %322, %309
  call void @llvm.lifetime.end.p0(i64 4, ptr %32) #7
  br label %343

343:                                              ; preds = %342, %199, %177
  call void @llvm.lifetime.end.p0(i64 4, ptr %30) #7
  br label %344

344:                                              ; preds = %343, %167, %163
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %28) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %28) #7
  br label %345

345:                                              ; preds = %344, %159
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %26) #7
  br label %346

346:                                              ; preds = %345, %98
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #7
  br label %347

347:                                              ; preds = %346, %64
  call void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(248) %15) #7
  br label %348

348:                                              ; preds = %347, %60
  call void @llvm.lifetime.end.p0(i64 512, ptr %15) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %14) #7
  br label %351

349:                                              ; preds = %341, %44
  %350 = load i32, ptr %7, align 4
  ret i32 %350

351:                                              ; preds = %348
  %352 = load ptr, ptr %16, align 8
  %353 = load i32, ptr %17, align 4
  %354 = insertvalue { ptr, i32 } poison, ptr %352, 0
  %355 = insertvalue { ptr, i32 } %354, i32 %353, 1
  resume { ptr, i32 } %355

356:                                              ; preds = %306
  unreachable
}

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_PKS5_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) #5

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

; Function Attrs: mustprogress uwtable
declare void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEE4openERKNSt7__cxx1112basic_stringIcS1_SaIcEEESt13_Ios_Openmode(ptr noundef nonnull align 8 dereferenceable(248), ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) #3 align 2

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

declare void @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89), i32 noundef, ptr noundef, ...) #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) #5

; Function Attrs: mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #3 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #5

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) #6

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

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

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

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

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


; 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::__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::basic_ofstream" = type { %"class.std::basic_ostream.base", %"class.std::basic_filebuf", %"class.std::basic_ios" }
%"class.std::basic_ostream.base" = type { ptr }
%"class.std::basic_filebuf" = type { %"class.std::basic_streambuf", %union.pthread_mutex_t, %"class.std::__basic_file", i32, %struct.__mbstate_t, %struct.__mbstate_t, %struct.__mbstate_t, ptr, i64, i8, i8, i8, i8, ptr, ptr, i8, ptr, ptr, i64, ptr, ptr }
%"class.std::basic_streambuf" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::locale" }
%"class.std::locale" = type { ptr }
%union.pthread_mutex_t = type { %struct.__pthread_mutex_s }
%struct.__pthread_mutex_s = type { i32, i32, i32, i32, i32, i16, i16, %struct.__pthread_internal_list }
%struct.__pthread_internal_list = type { ptr, ptr }
%"class.std::__basic_file" = type <{ ptr, i8, [7 x i8] }>
%struct.__mbstate_t = type { i32, %union.anon.28 }
%union.anon.28 = type { i32 }
%"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::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@.str.9 = external hidden unnamed_addr constant [1 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [77 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [37 x i8], align 1
@__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_ = external hidden unnamed_addr constant [169 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [121 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [3 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [30 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef range(i32 -1, 1) i32 @_Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_(ptr noundef nonnull align 8 dereferenceable(1020) %0, ptr noundef nonnull %1, i32 noundef %2, i32 noundef %3, ptr noundef nonnull align 8 dereferenceable(24) %4, ptr noundef nonnull align 8 dereferenceable(24) %5) local_unnamed_addr #3 personality ptr @__gxx_personality_v0 {
  %7 = alloca i32, align 4
  %8 = alloca %"class.std::__cxx11::basic_string", align 8
  %9 = alloca %"class.std::basic_ofstream", align 8
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca %"class.std::vector.8", align 8
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  store i32 %2, ptr %7, align 4, !tbaa !5
  %15 = tail call noundef zeroext i1 @_ZSteqIcSt11char_traitsIcESaIcEEbRKNSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_(ptr noundef nonnull align 8 dereferenceable(32) %1, ptr noundef nonnull @.str.9)
  br i1 %15, label %149, label %16

16:                                               ; preds = %6
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %8) #8
  call void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_PKS5_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %8, ptr noundef nonnull align 8 dereferenceable(32) %1, ptr noundef nonnull @.str.54)
  call void @llvm.lifetime.start.p0(i64 512, ptr nonnull %9) #8
  invoke void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEEC1Ev(ptr noundef nonnull align 8 dereferenceable(248) %9)
          to label %17 unwind label %26

17:                                               ; preds = %16
  invoke void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEE4openERKNSt7__cxx1112basic_stringIcS1_SaIcEEESt13_Ios_Openmode(ptr noundef nonnull align 8 dereferenceable(248) %9, ptr noundef nonnull align 8 dereferenceable(32) %8, i32 noundef 16)
          to label %18 unwind label %28

18:                                               ; preds = %17
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #8
  store i32 1, ptr %10, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %11) #8
  store i32 1, ptr %11, align 4, !tbaa !5
  %19 = icmp sgt i32 %3, 1598
  br i1 %19, label %20, label %30

20:                                               ; preds = %18
  %21 = udiv i32 %3, 1598
  store i32 %21, ptr %10, align 4, !tbaa !5
  %22 = mul nuw nsw i32 %21, 1598
  %23 = icmp ult i32 %22, %3
  br i1 %23, label %24, label %30

24:                                               ; preds = %20
  %25 = add nuw nsw i32 %21, 1
  store i32 %25, ptr %10, align 4, !tbaa !5
  br label %30

26:                                               ; preds = %16
  %27 = landingpad { ptr, i32 }
          cleanup
  br label %148

28:                                               ; preds = %17
  %29 = landingpad { ptr, i32 }
          cleanup
  br label %147

30:                                               ; preds = %20, %24, %18
  %31 = load i32, ptr %7, align 4, !tbaa !5
  %32 = icmp sgt i32 %31, 898
  br i1 %32, label %33, label %39

33:                                               ; preds = %30
  %34 = udiv i32 %31, 898
  store i32 %34, ptr %11, align 4, !tbaa !5
  %35 = mul nuw nsw i32 %34, 898
  %36 = icmp ult i32 %35, %31
  br i1 %36, label %37, label %39

37:                                               ; preds = %33
  %38 = add nuw nsw i32 %34, 1
  store i32 %38, ptr %11, align 4, !tbaa !5
  br label %39

39:                                               ; preds = %33, %37, %30
  %40 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3maxIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %10, ptr noundef nonnull align 4 dereferenceable(4) %11)
  %41 = load i32, ptr %40, align 4, !tbaa !5
  %42 = sdiv i32 %3, %41
  %43 = mul nsw i32 %42, %41
  %44 = icmp slt i32 %43, %3
  %45 = zext i1 %44 to i32
  %spec.select = add nsw i32 %42, %45
  %46 = load i32, ptr %7, align 4, !tbaa !5
  %47 = sdiv i32 %46, %41
  %48 = mul nsw i32 %47, %41
  %49 = icmp slt i32 %48, %46
  %50 = zext i1 %49 to i32
  %.085 = add nsw i32 %47, %50
  %51 = add i32 %spec.select, 2
  %52 = add nsw i32 %.085, 2
  %53 = icmp slt i32 %spec.select, 1599
  br i1 %53, label %55, label %54

54:                                               ; preds = %39
  call void @__assert_fail(ptr noundef nonnull @.str.55, ptr noundef nonnull @.str.52, i32 noundef 94, ptr noundef nonnull @__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_) #9
  unreachable

55:                                               ; preds = %39
  %56 = icmp slt i32 %.085, 899
  br i1 %56, label %58, label %57

57:                                               ; preds = %55
  call void @__assert_fail(ptr noundef nonnull @.str.56, ptr noundef nonnull @.str.52, i32 noundef 95, ptr noundef nonnull @__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_) #9
  unreachable

58:                                               ; preds = %55
  %59 = getelementptr inbounds i8, ptr %0, i64 896
  invoke void (ptr, i32, ptr, ...) @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89) %59, i32 noundef 1, ptr noundef nonnull @.str.57, i32 noundef %51, i32 noundef %52, i32 noundef %41)
          to label %60 unwind label %77

60:                                               ; preds = %58
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %12) #8
  call void @_ZNSt6vectorIiSaIiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #8
  %61 = sext i32 %51 to i64
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %13) #8
  store i32 0, ptr %13, align 4, !tbaa !5
  invoke void @_ZNSt6vectorIiSaIiEE6assignEmRKi(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %61, ptr noundef nonnull align 4 dereferenceable(4) %13)
          to label %62 unwind label %79

62:                                               ; preds = %60
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #8
  %63 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull @.str.58)
          to label %64 unwind label %81

64:                                               ; preds = %62
  %65 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %63, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %66 unwind label %81

66:                                               ; preds = %64
  %67 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %9, i32 noundef %51)
          to label %68 unwind label %81

68:                                               ; preds = %66
  %69 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %67, ptr noundef nonnull @.str.59)
          to label %70 unwind label %81

70:                                               ; preds = %68
  %71 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %69, i32 noundef %52)
          to label %72 unwind label %81

72:                                               ; preds = %70
  %73 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %71, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %.preheader103 unwind label %81

.preheader103:                                    ; preds = %72
  %74 = icmp sgt i32 %spec.select, -2
  br i1 %74, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %84, %.preheader103
  %75 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %.preheader102 unwind label %95

.preheader102:                                    ; preds = %._crit_edge
  %76 = icmp sgt i32 %spec.select, 0
  %wide.trip.count137 = zext nneg i32 %spec.select to i64
  %wide.trip.count142 = zext nneg i32 %spec.select to i64
  br label %88

77:                                               ; preds = %58
  %78 = landingpad { ptr, i32 }
          cleanup
  br label %146

79:                                               ; preds = %60
  %80 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #8
  br label %145

81:                                               ; preds = %72, %70, %68, %66, %64, %62
  %82 = landingpad { ptr, i32 }
          cleanup
  br label %145

.lr.ph:                                           ; preds = %.preheader103, %84
  %.083108 = phi i32 [ %85, %84 ], [ 0, %.preheader103 ]
  %83 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull @.str.60)
          to label %84 unwind label %86

84:                                               ; preds = %.lr.ph
  %85 = add nuw nsw i32 %.083108, 1
  %exitcond.not = icmp eq i32 %85, %51
  br i1 %exitcond.not, label %._crit_edge, label %.lr.ph, !llvm.loop !9

86:                                               ; preds = %.lr.ph
  %87 = landingpad { ptr, i32 }
          cleanup
  br label %145

88:                                               ; preds = %.preheader102, %._crit_edge122
  %.084 = phi i32 [ %129, %._crit_edge122 ], [ 1, %.preheader102 ]
  %.081 = phi i32 [ %91, %._crit_edge122 ], [ 0, %.preheader102 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %14) #8
  %89 = add nsw i32 %.081, %41
  store i32 %89, ptr %14, align 4, !tbaa !5
  %90 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZSt3minIiERKT_S2_S2_(ptr noundef nonnull align 4 dereferenceable(4) %14, ptr noundef nonnull align 4 dereferenceable(4) %7)
  %91 = load i32, ptr %90, align 4, !tbaa !5
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #8
  %92 = icmp slt i32 %.081, %91
  br i1 %92, label %.lr.ph114.preheader, label %._crit_edge115

.lr.ph114.preheader:                              ; preds = %88
  %93 = sext i32 %.081 to i64
  %wide.trip.count = sext i32 %91 to i64
  br label %.lr.ph114

.loopexit:                                        ; preds = %108, %.lr.ph114
  %exitcond133.not = icmp eq i64 %indvars.iv.next131, %wide.trip.count
  br i1 %exitcond133.not, label %._crit_edge115, label %.lr.ph114, !llvm.loop !11

._crit_edge115:                                   ; preds = %.loopexit, %88
  %94 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull @.str.60)
          to label %.preheader101 unwind label %116

.preheader101:                                    ; preds = %._crit_edge115
  br i1 %76, label %.lr.ph117, label %._crit_edge118

95:                                               ; preds = %._crit_edge
  %96 = landingpad { ptr, i32 }
          cleanup
  br label %145

.lr.ph114:                                        ; preds = %.lr.ph114.preheader, %.loopexit
  %indvars.iv130 = phi i64 [ %93, %.lr.ph114.preheader ], [ %indvars.iv.next131, %.loopexit ]
  %97 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %indvars.iv130) #8
  %98 = load i32, ptr %97, align 4, !tbaa !5
  %indvars.iv.next131 = add nsw i64 %indvars.iv130, 1
  %99 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %indvars.iv.next131) #8
  %100 = load i32, ptr %99, align 4, !tbaa !5
  %101 = icmp slt i32 %98, %100
  br i1 %101, label %.lr.ph111.preheader, label %.loopexit

.lr.ph111.preheader:                              ; preds = %.lr.ph114
  %102 = sext i32 %98 to i64
  br label %.lr.ph111

.lr.ph111:                                        ; preds = %.lr.ph111.preheader, %108
  %indvars.iv = phi i64 [ %102, %.lr.ph111.preheader ], [ %indvars.iv.next, %108 ]
  %103 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %5, i64 noundef %indvars.iv) #8
  %104 = load i32, ptr %103, align 4, !tbaa !5
  %105 = sdiv i32 %104, %41
  %106 = icmp slt i32 %105, %spec.select
  br i1 %106, label %108, label %107

107:                                              ; preds = %.lr.ph111
  call void @__assert_fail(ptr noundef nonnull @.str.61, ptr noundef nonnull @.str.52, i32 noundef 122, ptr noundef nonnull @__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_) #9
  unreachable

108:                                              ; preds = %.lr.ph111
  %109 = sext i32 %105 to i64
  %110 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %109) #8
  store i32 1, ptr %110, align 4, !tbaa !5
  %indvars.iv.next = add nsw i64 %indvars.iv, 1
  %111 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %4, i64 noundef %indvars.iv.next131) #8
  %112 = load i32, ptr %111, align 4, !tbaa !5
  %113 = sext i32 %112 to i64
  %114 = icmp slt i64 %indvars.iv.next, %113
  br i1 %114, label %.lr.ph111, label %.loopexit, !llvm.loop !12

._crit_edge118:                                   ; preds = %123, %.preheader101
  %115 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull @.str.60)
          to label %126 unwind label %116

116:                                              ; preds = %126, %._crit_edge118, %._crit_edge115
  %117 = landingpad { ptr, i32 }
          cleanup
  br label %145

.lr.ph117:                                        ; preds = %.preheader101, %123
  %indvars.iv134 = phi i64 [ %indvars.iv.next135, %123 ], [ 0, %.preheader101 ]
  %118 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv134) #8
  %119 = load i32, ptr %118, align 4, !tbaa !5
  %120 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8) %9, i32 noundef %119)
          to label %121 unwind label %124

121:                                              ; preds = %.lr.ph117
  %122 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %120, ptr noundef nonnull @.str.59)
          to label %123 unwind label %124

123:                                              ; preds = %121
  %indvars.iv.next135 = add nuw nsw i64 %indvars.iv134, 1
  %exitcond138.not = icmp eq i64 %indvars.iv.next135, %wide.trip.count137
  br i1 %exitcond138.not, label %._crit_edge118, label %.lr.ph117, !llvm.loop !13

124:                                              ; preds = %121, %.lr.ph117
  %125 = landingpad { ptr, i32 }
          cleanup
  br label %145

126:                                              ; preds = %._crit_edge118
  %127 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %115, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %128 unwind label %116

128:                                              ; preds = %126
  %129 = add nuw nsw i32 %.084, 1
  br i1 %76, label %.lr.ph121, label %._crit_edge122

._crit_edge122:                                   ; preds = %.lr.ph121, %128
  %130 = load i32, ptr %7, align 4, !tbaa !5
  %131 = icmp eq i32 %91, %130
  br i1 %131, label %.preheader, label %88

.preheader:                                       ; preds = %._crit_edge122
  br i1 %74, label %.lr.ph124.preheader, label %._crit_edge125

.lr.ph124.preheader:                              ; preds = %.preheader
  %smax144 = call i32 @llvm.smax.i32(i32 %51, i32 1)
  br label %.lr.ph124

.lr.ph121:                                        ; preds = %128, %.lr.ph121
  %indvars.iv139 = phi i64 [ %indvars.iv.next140, %.lr.ph121 ], [ 0, %128 ]
  %132 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %12, i64 noundef %indvars.iv139) #8
  store i32 0, ptr %132, align 4, !tbaa !5
  %indvars.iv.next140 = add nuw nsw i64 %indvars.iv139, 1
  %exitcond143.not = icmp eq i64 %indvars.iv.next140, %wide.trip.count142
  br i1 %exitcond143.not, label %._crit_edge122, label %.lr.ph121, !llvm.loop !14

._crit_edge125:                                   ; preds = %135, %.preheader
  %133 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %139 unwind label %142

.lr.ph124:                                        ; preds = %.lr.ph124.preheader, %135
  %.0123 = phi i32 [ %136, %135 ], [ 0, %.lr.ph124.preheader ]
  %134 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull @.str.60)
          to label %135 unwind label %137

135:                                              ; preds = %.lr.ph124
  %136 = add nuw nsw i32 %.0123, 1
  %exitcond145.not = icmp eq i32 %136, %smax144
  br i1 %exitcond145.not, label %._crit_edge125, label %.lr.ph124, !llvm.loop !15

137:                                              ; preds = %.lr.ph124
  %138 = landingpad { ptr, i32 }
          cleanup
  br label %145

139:                                              ; preds = %._crit_edge125
  %140 = icmp eq i32 %.084, %.085
  br i1 %140, label %144, label %141

141:                                              ; preds = %139
  call void @__assert_fail(ptr noundef nonnull @.str.62, ptr noundef nonnull @.str.52, i32 noundef 143, ptr noundef nonnull @__PRETTY_FUNCTION__._Z21writeRmatrixPicToFileRK12HighsOptionsNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEiiRKSt6vectorIiSaIiEESC_) #9
  unreachable

142:                                              ; preds = %._crit_edge125
  %143 = landingpad { ptr, i32 }
          cleanup
  br label %145

144:                                              ; preds = %139
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #8
  call void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(248) %9) #8
  call void @llvm.lifetime.end.p0(i64 512, ptr nonnull %9) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #8
  br label %149

145:                                              ; preds = %86, %95, %116, %124, %142, %137, %81, %79
  %.pn95.pn = phi { ptr, i32 } [ %82, %81 ], [ %80, %79 ], [ %87, %86 ], [ %96, %95 ], [ %138, %137 ], [ %143, %142 ], [ %125, %124 ], [ %117, %116 ]
  call void @_ZNSt6vectorIiSaIiEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #8
  br label %146

146:                                              ; preds = %145, %77
  %.pn95.pn.pn = phi { ptr, i32 } [ %.pn95.pn, %145 ], [ %78, %77 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %11) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #8
  br label %147

147:                                              ; preds = %146, %28
  %.pn95.pn.pn.pn = phi { ptr, i32 } [ %.pn95.pn.pn, %146 ], [ %29, %28 ]
  call void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(248) %9) #8
  br label %148

148:                                              ; preds = %147, %26
  %.pn95.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn95.pn.pn.pn, %147 ], [ %27, %26 ]
  call void @llvm.lifetime.end.p0(i64 512, ptr nonnull %9) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #8
  resume { ptr, i32 } %.pn95.pn.pn.pn.pn

149:                                              ; preds = %6, %144
  %.069 = phi i32 [ 0, %144 ], [ -1, %6 ]
  ret i32 %.069
}

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_PKS5_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) local_unnamed_addr #5

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

; Function Attrs: mustprogress uwtable
declare void @_ZNSt14basic_ofstreamIcSt11char_traitsIcEE4openERKNSt7__cxx1112basic_stringIcS1_SaIcEEESt13_Ios_Openmode(ptr noundef nonnull align 8 dereferenceable(248), ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) local_unnamed_addr #3 align 2

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

declare void @_Z12highsLogUserRK15HighsLogOptions12HighsLogTypePKcz(ptr noundef nonnull align 8 dereferenceable(89), i32 noundef, ptr noundef, ...) 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 #5

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

; Function Attrs: inlinehint mustprogress uwtable
declare noundef nonnull align 8 dereferenceable(8) ptr @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(ptr noundef nonnull align 8 dereferenceable(8)) #5

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEi(ptr noundef nonnull align 8 dereferenceable(8), i32 noundef) local_unnamed_addr #6

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

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

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare i32 @llvm.smax.i32(i32, i32) #7

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { noreturn nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { "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 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
attributes #8 = { nounwind }
attributes #9 = { 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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = distinct !{!9, !10}
!10 = !{!"llvm.loop.mustprogress"}
!11 = distinct !{!11, !10}
!12 = distinct !{!12, !10}
!13 = distinct !{!13, !10}
!14 = distinct !{!14, !10}
!15 = distinct !{!15, !10}


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