; LLVM IR from ERGO-Code/HiGHS :: src/mip/HighsCliqueTable.ll (ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi)

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

%"struct.std::_Rb_tree_const_iterator" = type { ptr }
%"struct.std::pair.126" = type { i32, i32 }
%"struct.HighsCliqueTable::CliqueVar" = type { i32 }
%"struct.std::pair.128" = type <{ %"struct.std::_Rb_tree_const_iterator", i8, [7 x i8] }>
%"struct.std::pair" = type { %"struct.HighsCliqueTable::CliqueVar", %"struct.HighsCliqueTable::CliqueVar" }
%class.HighsCliqueTable = type { %"class.std::vector", %"class.std::vector.3", %"class.std::vector.8", %class.HighsHashTable, %"class.std::set", %"class.std::vector.26", %"class.std::vector.31", %"class.std::vector.26", %"class.std::vector", %"class.std::vector.26", %"class.std::vector.36", %"class.std::vector.26", %"class.std::vector.41", %"class.std::vector.46", %"class.std::vector.46", %"class.std::vector.51", %"class.std::vector.26", %class.HighsRandom, i32, i32, i32, i32, i8, i64 }
%"class.std::vector.3" = type { %"struct.std::_Vector_base.4" }
%"struct.std::_Vector_base.4" = type { %"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int, int>, std::allocator<HighsHashTree<int, int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.8" = type { %"struct.std::_Vector_base.9" }
%"struct.std::_Vector_base.9" = type { %"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsHashTree<int>, std::allocator<HighsHashTree<int>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsHashTable = type { %"class.std::unique_ptr", %"class.std::unique_ptr.15", i64, i64, i64 }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.14" }
%"struct.std::_Head_base.14" = type { ptr }
%"class.std::unique_ptr.15" = type { %"struct.std::__uniq_ptr_data.16" }
%"struct.std::__uniq_ptr_data.16" = type { %"class.std::__uniq_ptr_impl.17" }
%"class.std::__uniq_ptr_impl.17" = type { %"class.std::tuple.18" }
%"class.std::tuple.18" = type { %"struct.std::_Tuple_impl.19" }
%"struct.std::_Tuple_impl.19" = type { %"struct.std::_Head_base.22" }
%"struct.std::_Head_base.22" = type { ptr }
%"class.std::set" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<std::pair<int, int>, std::pair<int, int>, std::_Identity<std::pair<int, int>>, std::less<std::pair<int, int>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::pair<int, int>, std::pair<int, int>, std::_Identity<std::pair<int, int>>, std::less<std::pair<int, int>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%"class.std::vector.31" = type { %"struct.std::_Vector_base.32" }
%"struct.std::_Vector_base.32" = type { %"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::Clique, std::allocator<HighsCliqueTable::Clique>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::CliqueVar, std::allocator<HighsCliqueTable::CliqueVar>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.36" = type { %"struct.std::_Vector_base.37" }
%"struct.std::_Vector_base.37" = type { %"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl" }
%"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl" = type { %"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HighsCliqueTable::Substitution, std::allocator<HighsCliqueTable::Substitution>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.41" = type { %"struct.std::_Vector_base.42" }
%"struct.std::_Vector_base.42" = type { %"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<int, HighsCliqueTable::CliqueVar>, std::allocator<std::pair<int, HighsCliqueTable::CliqueVar>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.46" = type { %"struct.std::_Vector_base.47" }
%"struct.std::_Vector_base.47" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.51" = type { %"struct.std::_Vector_base.52" }
%"struct.std::_Vector_base.52" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.26" = type { %"struct.std::_Vector_base.27" }
%"struct.std::_Vector_base.27" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl" = type { %"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<int, std::allocator<int>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.HighsRandom = type { i64 }
%"struct.HighsCliqueTable::Clique" = type { i32, i32, i32, i32, i8 }

@.str.52 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [53 x i8], align 1
@__PRETTY_FUNCTION__._ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi = external hidden unnamed_addr constant [80 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [89 x i8], align 1

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488), i32 noundef, i32 noundef) #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 @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #3 align 2

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable4linkEii(ptr noundef nonnull align 8 dereferenceable(488), i32 noundef, i32 noundef) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN13HighsHashTreeIivE6insertIJRiEEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN13HighsHashTreeIiiE6insertIJRiS2_EEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #1 align 2

; Function Attrs: mustprogress uwtable
declare hidden i64 @_ZL10sortedEdgeN16HighsCliqueTable9CliqueVarES0_(i32, i32) #1

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #4

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

; Function Attrs: mustprogress uwtable
declare dso_local i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4)) #1 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK13HighsHashTreeIivE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK13HighsHashTreeIiiE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) #1 align 2

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef %1, i32 noundef %2, i1 noundef zeroext %3, i32 noundef %4) #1 align 2 {
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca i8, align 1
  %10 = alloca i32, align 4
  %11 = alloca i32, align 4
  %12 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %13 = alloca i32, align 4
  %14 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %15 = alloca %"struct.std::pair.126", align 4
  %16 = alloca i32, align 4
  %17 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %18 = alloca %"struct.std::pair.126", align 4
  %19 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %20 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %21 = alloca i8, align 1
  %22 = alloca i32, align 4
  %23 = alloca i32, align 4
  %24 = alloca i32, align 4
  %25 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %26 = alloca i8, align 1
  %27 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %28 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %29 = alloca i32, align 4
  %30 = alloca i8, align 1
  %31 = alloca i32, align 4
  %32 = alloca %"struct.std::pair.128", align 8
  %33 = alloca i32, align 4
  %34 = alloca %"struct.std::pair", align 4
  %35 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %36 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  store ptr %0, ptr %6, align 8, !tbaa !5
  store ptr %1, ptr %7, align 8, !tbaa !5
  store i32 %2, ptr %8, align 4, !tbaa !9
  %37 = zext i1 %3 to i8
  store i8 %37, ptr %9, align 1, !tbaa !11
  store i32 %4, ptr %10, align 4, !tbaa !9
  %38 = load ptr, ptr %6, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #5
  %39 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 5
  %40 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %39) #5
  br i1 %40, label %41, label %47

41:                                               ; preds = %5
  %42 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %43 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %42) #5
  %44 = trunc i64 %43 to i32
  store i32 %44, ptr %11, align 4, !tbaa !9
  %45 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %46 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE12emplace_backIJEEERS1_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %45)
  br label %52

47:                                               ; preds = %5
  %48 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 5
  %49 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %48) #5
  %50 = load i32, ptr %49, align 4, !tbaa !9
  store i32 %50, ptr %11, align 4, !tbaa !9
  %51 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 5
  call void @_ZNSt6vectorIiSaIiEE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #5
  br label %52

52:                                               ; preds = %47, %41
  %53 = load i8, ptr %9, align 1, !tbaa !11, !range !13, !noundef !14
  %54 = trunc i8 %53 to i1
  %55 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %56 = load i32, ptr %11, align 4, !tbaa !9
  %57 = sext i32 %56 to i64
  %58 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %55, i64 noundef %57) #5
  %59 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %58, i32 0, i32 4
  %60 = zext i1 %54 to i8
  store i8 %60, ptr %59, align 4, !tbaa !15
  %61 = load i32, ptr %10, align 4, !tbaa !9
  %62 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %63 = load i32, ptr %11, align 4, !tbaa !9
  %64 = sext i32 %63 to i64
  %65 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %62, i64 noundef %64) #5
  %66 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %65, i32 0, i32 2
  store i32 %61, ptr %66, align 4, !tbaa !17
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #5
  call void @_ZNSt23_Rb_tree_const_iteratorISt4pairIiiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %12) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %13) #5
  %67 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 4
  %68 = call noundef zeroext i1 @_ZNKSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(48) %67) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #5
  br i1 %68, label %78, label %69

69:                                               ; preds = %52
  %70 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 4
  store i32 -1, ptr %16, align 4, !tbaa !9
  %71 = call i64 @_ZSt9make_pairIRiiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS2_INS3_IT0_E4typeEE6__typeEEOS4_OS9_(ptr noundef nonnull align 4 dereferenceable(4) %8, ptr noundef nonnull align 4 dereferenceable(4) %16)
  store i64 %71, ptr %15, align 4
  %72 = call ptr @_ZNSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(48) %70, ptr noundef nonnull align 4 dereferenceable(8) %15)
  %73 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %14, i32 0, i32 0
  store ptr %72, ptr %73, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %12, ptr align 8 %14, i64 8, i1 false), !tbaa.struct !18
  %74 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 4
  %75 = call ptr @_ZNKSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %74) #5
  %76 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %17, i32 0, i32 0
  store ptr %75, ptr %76, align 8
  %77 = call noundef zeroext i1 @_ZSteqRKSt23_Rb_tree_const_iteratorISt4pairIiiEES4_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %17) #5
  br label %78

78:                                               ; preds = %69, %52
  %79 = phi i1 [ true, %52 ], [ %77, %69 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #5
  br i1 %79, label %80, label %116

80:                                               ; preds = %78
  %81 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %82 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %81) #5
  %83 = trunc i64 %82 to i32
  %84 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %85 = load i32, ptr %11, align 4, !tbaa !9
  %86 = sext i32 %85 to i64
  %87 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %84, i64 noundef %86) #5
  %88 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %87, i32 0, i32 0
  store i32 %83, ptr %88, align 4, !tbaa !19
  %89 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %90 = load i32, ptr %11, align 4, !tbaa !9
  %91 = sext i32 %90 to i64
  %92 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %89, i64 noundef %91) #5
  %93 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %92, i32 0, i32 0
  %94 = load i32, ptr %93, align 4, !tbaa !19
  %95 = load i32, ptr %8, align 4, !tbaa !9
  %96 = add nsw i32 %94, %95
  %97 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %98 = load i32, ptr %11, align 4, !tbaa !9
  %99 = sext i32 %98 to i64
  %100 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %97, i64 noundef %99) #5
  %101 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %100, i32 0, i32 1
  store i32 %96, ptr %101, align 4, !tbaa !20
  %102 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %103 = load i32, ptr %11, align 4, !tbaa !9
  %104 = sext i32 %103 to i64
  %105 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %102, i64 noundef %104) #5
  %106 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %105, i32 0, i32 1
  %107 = load i32, ptr %106, align 4, !tbaa !20
  store i32 %107, ptr %13, align 4, !tbaa !9
  %108 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %109 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %110 = load i32, ptr %11, align 4, !tbaa !9
  %111 = sext i32 %110 to i64
  %112 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %109, i64 noundef %111) #5
  %113 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %112, i32 0, i32 1
  %114 = load i32, ptr %113, align 4, !tbaa !20
  %115 = sext i32 %114 to i64
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %108, i64 noundef %115)
  br label %152

116:                                              ; preds = %78
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #5
  %117 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIiiEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %18, ptr align 4 %117, i64 8, i1 false)
  %118 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 4
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %19, ptr align 8 %12, i64 8, i1 false), !tbaa.struct !18
  %119 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %19, i32 0, i32 0
  %120 = load ptr, ptr %119, align 8
  %121 = call ptr @_ZNSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS1_E(ptr noundef nonnull align 8 dereferenceable(48) %118, ptr %120)
  %122 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %20, i32 0, i32 0
  store ptr %121, ptr %122, align 8
  %123 = getelementptr inbounds %"struct.std::pair.126", ptr %18, i32 0, i32 1
  %124 = load i32, ptr %123, align 4, !tbaa !21
  %125 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %126 = load i32, ptr %11, align 4, !tbaa !9
  %127 = sext i32 %126 to i64
  %128 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %125, i64 noundef %127) #5
  %129 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %128, i32 0, i32 0
  store i32 %124, ptr %129, align 4, !tbaa !19
  %130 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %131 = load i32, ptr %11, align 4, !tbaa !9
  %132 = sext i32 %131 to i64
  %133 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %130, i64 noundef %132) #5
  %134 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %133, i32 0, i32 0
  %135 = load i32, ptr %134, align 4, !tbaa !19
  %136 = load i32, ptr %8, align 4, !tbaa !9
  %137 = add nsw i32 %135, %136
  %138 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %139 = load i32, ptr %11, align 4, !tbaa !9
  %140 = sext i32 %139 to i64
  %141 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %138, i64 noundef %140) #5
  %142 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %141, i32 0, i32 1
  store i32 %137, ptr %142, align 4, !tbaa !20
  %143 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %144 = load i32, ptr %11, align 4, !tbaa !9
  %145 = sext i32 %144 to i64
  %146 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %143, i64 noundef %145) #5
  %147 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %146, i32 0, i32 0
  %148 = load i32, ptr %147, align 4, !tbaa !19
  %149 = getelementptr inbounds %"struct.std::pair.126", ptr %18, i32 0, i32 0
  %150 = load i32, ptr %149, align 4, !tbaa !23
  %151 = add nsw i32 %148, %150
  store i32 %151, ptr %13, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #5
  br label %152

152:                                              ; preds = %116, %80
  %153 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %154 = load i32, ptr %11, align 4, !tbaa !9
  %155 = sext i32 %154 to i64
  %156 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %153, i64 noundef %155) #5
  %157 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %156, i32 0, i32 3
  store i32 0, ptr %157, align 4, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #5
  store i8 0, ptr %21, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #5
  %158 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %159 = load i32, ptr %11, align 4, !tbaa !9
  %160 = sext i32 %159 to i64
  %161 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %158, i64 noundef %160) #5
  %162 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %161, i32 0, i32 0
  %163 = load i32, ptr %162, align 4, !tbaa !19
  store i32 %163, ptr %22, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %23) #5
  store i32 0, ptr %23, align 4, !tbaa !9
  br label %164

164:                                              ; preds = %283, %152
  %165 = load i32, ptr %23, align 4, !tbaa !9
  %166 = load i32, ptr %8, align 4, !tbaa !9
  %167 = icmp ne i32 %165, %166
  br i1 %167, label %169, label %168

168:                                              ; preds = %164
  store i32 2, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %23) #5
  br label %286

169:                                              ; preds = %164
  call void @llvm.lifetime.start.p0(i64 4, ptr %25) #5
  %170 = load ptr, ptr %7, align 8, !tbaa !5
  %171 = load i32, ptr %23, align 4, !tbaa !9
  %172 = sext i32 %171 to i64
  %173 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %170, i64 %172
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %25, ptr align 4 %173, i64 4, i1 false), !tbaa.struct !25
  call void @_ZNK16HighsCliqueTable19resolveSubstitutionERNS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %38, ptr noundef nonnull align 4 dereferenceable(4) %25)
  %174 = load i8, ptr %21, align 1, !tbaa !11, !range !13, !noundef !14
  %175 = trunc i8 %174 to i1
  br i1 %175, label %176, label %178

176:                                              ; preds = %169
  %177 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 8
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %177, ptr noundef nonnull align 4 dereferenceable(4) %25)
  store i32 4, ptr %24, align 4
  br label %280

178:                                              ; preds = %169
  call void @llvm.lifetime.start.p0(i64 1, ptr %26) #5
  %179 = load i32, ptr %8, align 4, !tbaa !9
  %180 = icmp eq i32 %179, 2
  call void @llvm.lifetime.start.p0(i64 4, ptr %27) #5
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #5
  br i1 %180, label %181, label %189

181:                                              ; preds = %178
  %182 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 2
  %183 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %25)
  %184 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %27, i32 0, i32 0
  store i32 %183, ptr %184, align 4
  %185 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %27)
  %186 = sext i32 %185 to i64
  %187 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %182, i64 noundef %186) #5
  %188 = call noundef zeroext i1 @_ZNK13HighsHashTreeIivE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8) %187, ptr noundef nonnull align 4 dereferenceable(4) %11)
  br label %197

189:                                              ; preds = %178
  %190 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 1
  %191 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %25)
  %192 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %28, i32 0, i32 0
  store i32 %191, ptr %192, align 4
  %193 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %28)
  %194 = sext i32 %193 to i64
  %195 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %190, i64 noundef %194) #5
  %196 = call noundef zeroext i1 @_ZNK13HighsHashTreeIiiE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8) %195, ptr noundef nonnull align 4 dereferenceable(4) %11)
  br label %197

197:                                              ; preds = %189, %181
  %198 = phi i1 [ %188, %181 ], [ %196, %189 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %27) #5
  %199 = zext i1 %198 to i8
  store i8 %199, ptr %26, align 1, !tbaa !11
  %200 = load i8, ptr %26, align 1, !tbaa !11, !range !13, !noundef !14
  %201 = trunc i8 %200 to i1
  br i1 %201, label %202, label %243

202:                                              ; preds = %197
  store i8 1, ptr %21, align 1, !tbaa !11
  call void @llvm.lifetime.start.p0(i64 4, ptr %29) #5
  %203 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %204 = load i32, ptr %11, align 4, !tbaa !9
  %205 = sext i32 %204 to i64
  %206 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %203, i64 noundef %205) #5
  %207 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %206, i32 0, i32 0
  %208 = load i32, ptr %207, align 4, !tbaa !19
  store i32 %208, ptr %29, align 4, !tbaa !9
  br label %209

209:                                              ; preds = %233, %202
  %210 = load i32, ptr %29, align 4, !tbaa !9
  %211 = load i32, ptr %22, align 4, !tbaa !9
  %212 = icmp ne i32 %210, %211
  br i1 %212, label %214, label %213

213:                                              ; preds = %209
  store i32 5, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %29) #5
  br label %236

214:                                              ; preds = %209
  %215 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %216 = load i32, ptr %29, align 4, !tbaa !9
  %217 = sext i32 %216 to i64
  %218 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %215, i64 noundef %217) #5
  %219 = load i32, ptr %218, align 4
  %220 = and i32 %219, 2147483647
  %221 = load i32, ptr %25, align 4
  %222 = and i32 %221, 2147483647
  %223 = icmp ne i32 %220, %222
  br i1 %223, label %224, label %230

224:                                              ; preds = %214
  %225 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 8
  %226 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %227 = load i32, ptr %29, align 4, !tbaa !9
  %228 = sext i32 %227 to i64
  %229 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %226, i64 noundef %228) #5
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %225, ptr noundef nonnull align 4 dereferenceable(4) %229)
  br label %230

230:                                              ; preds = %224, %214
  %231 = load i32, ptr %29, align 4, !tbaa !9
  %232 = load i32, ptr %11, align 4, !tbaa !9
  call void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488) %38, i32 noundef %231, i32 noundef %232)
  br label %233

233:                                              ; preds = %230
  %234 = load i32, ptr %29, align 4, !tbaa !9
  %235 = add nsw i32 %234, 1
  store i32 %235, ptr %29, align 4, !tbaa !9
  br label %209, !llvm.loop !27

236:                                              ; preds = %213
  %237 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %238 = load i32, ptr %11, align 4, !tbaa !9
  %239 = sext i32 %238 to i64
  %240 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %237, i64 noundef %239) #5
  %241 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %240, i32 0, i32 0
  %242 = load i32, ptr %241, align 4, !tbaa !19
  store i32 %242, ptr %22, align 4, !tbaa !9
  store i32 4, ptr %24, align 4
  br label %279

243:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 1, ptr %30) #5
  %244 = load i32, ptr %8, align 4, !tbaa !9
  %245 = icmp eq i32 %244, 2
  br i1 %245, label %246, label %253

246:                                              ; preds = %243
  %247 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 2
  %248 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %25)
  %249 = sext i32 %248 to i64
  %250 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %247, i64 noundef %249) #5
  %251 = call noundef zeroext i1 @_ZN13HighsHashTreeIivE6insertIJRiEEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(8) %250, ptr noundef nonnull align 4 dereferenceable(4) %11)
  %252 = zext i1 %251 to i8
  store i8 %252, ptr %30, align 1, !tbaa !11
  br label %260

253:                                              ; preds = %243
  %254 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 1
  %255 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %25)
  %256 = sext i32 %255 to i64
  %257 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %254, i64 noundef %256) #5
  %258 = call noundef zeroext i1 @_ZN13HighsHashTreeIiiE6insertIJRiS2_EEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(8) %257, ptr noundef nonnull align 4 dereferenceable(4) %11, ptr noundef nonnull align 4 dereferenceable(4) %22)
  %259 = zext i1 %258 to i8
  store i8 %259, ptr %30, align 1, !tbaa !11
  br label %260

260:                                              ; preds = %253, %246
  %261 = load i8, ptr %30, align 1, !tbaa !11, !range !13, !noundef !14
  %262 = trunc i8 %261 to i1
  br i1 %262, label %265, label %263

263:                                              ; preds = %260
  %264 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 8
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %264, ptr noundef nonnull align 4 dereferenceable(4) %25)
  store i32 4, ptr %24, align 4
  br label %278

265:                                              ; preds = %260
  %266 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %267 = load i32, ptr %22, align 4, !tbaa !9
  %268 = sext i32 %267 to i64
  %269 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %266, i64 noundef %268) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %269, ptr align 4 %25, i64 4, i1 false), !tbaa.struct !25
  %270 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 7
  %271 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %25)
  %272 = sext i32 %271 to i64
  %273 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %270, i64 noundef %272) #5
  %274 = load i32, ptr %273, align 4, !tbaa !9
  %275 = add nsw i32 %274, 1
  store i32 %275, ptr %273, align 4, !tbaa !9
  %276 = load i32, ptr %22, align 4, !tbaa !9
  %277 = add nsw i32 %276, 1
  store i32 %277, ptr %22, align 4, !tbaa !9
  store i32 0, ptr %24, align 4
  br label %278

278:                                              ; preds = %265, %263
  call void @llvm.lifetime.end.p0(i64 1, ptr %30) #5
  br label %279

279:                                              ; preds = %278, %236
  call void @llvm.lifetime.end.p0(i64 1, ptr %26) #5
  br label %280

280:                                              ; preds = %279, %176
  call void @llvm.lifetime.end.p0(i64 4, ptr %25) #5
  %281 = load i32, ptr %24, align 4
  switch i32 %281, label %494 [
    i32 0, label %282
    i32 4, label %283
  ]

282:                                              ; preds = %280
  br label %283

283:                                              ; preds = %282, %280
  %284 = load i32, ptr %23, align 4, !tbaa !9
  %285 = add nsw i32 %284, 1
  store i32 %285, ptr %23, align 4, !tbaa !9
  br label %164, !llvm.loop !29

286:                                              ; preds = %168
  %287 = load i32, ptr %13, align 4, !tbaa !9
  %288 = load i32, ptr %22, align 4, !tbaa !9
  %289 = icmp sgt i32 %287, %288
  br i1 %289, label %290, label %443

290:                                              ; preds = %286
  %291 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %292 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %291) #5
  %293 = trunc i64 %292 to i32
  %294 = load i32, ptr %13, align 4, !tbaa !9
  %295 = icmp eq i32 %293, %294
  br i1 %295, label %296, label %300

296:                                              ; preds = %290
  %297 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %298 = load i32, ptr %22, align 4, !tbaa !9
  %299 = sext i32 %298 to i64
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %297, i64 noundef %299)
  br label %310

300:                                              ; preds = %290
  %301 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 4
  call void @llvm.lifetime.start.p0(i64 4, ptr %31) #5
  %302 = load i32, ptr %13, align 4, !tbaa !9
  %303 = load i32, ptr %22, align 4, !tbaa !9
  %304 = sub nsw i32 %302, %303
  store i32 %304, ptr %31, align 4, !tbaa !9
  %305 = call { ptr, i8 } @_ZNSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE7emplaceIJiRiEEES0_ISt23_Rb_tree_const_iteratorIS1_EbEDpOT_(ptr noundef nonnull align 8 dereferenceable(48) %301, ptr noundef nonnull align 4 dereferenceable(4) %31, ptr noundef nonnull align 4 dereferenceable(4) %22)
  %306 = getelementptr inbounds { ptr, i8 }, ptr %32, i32 0, i32 0
  %307 = extractvalue { ptr, i8 } %305, 0
  store ptr %307, ptr %306, align 8
  %308 = getelementptr inbounds { ptr, i8 }, ptr %32, i32 0, i32 1
  %309 = extractvalue { ptr, i8 } %305, 1
  store i8 %309, ptr %308, align 8
  call void @llvm.lifetime.end.p0(i64 4, ptr %31) #5
  br label %310

310:                                              ; preds = %300, %296
  %311 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %312 = load i32, ptr %11, align 4, !tbaa !9
  %313 = sext i32 %312 to i64
  %314 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %311, i64 noundef %313) #5
  %315 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %314, i32 0, i32 1
  %316 = load i32, ptr %315, align 4, !tbaa !20
  %317 = load i32, ptr %22, align 4, !tbaa !9
  %318 = icmp sgt i32 %316, %317
  br i1 %318, label %319, label %442

319:                                              ; preds = %310
  %320 = load i32, ptr %22, align 4, !tbaa !9
  %321 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %322 = load i32, ptr %11, align 4, !tbaa !9
  %323 = sext i32 %322 to i64
  %324 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %321, i64 noundef %323) #5
  %325 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %324, i32 0, i32 0
  %326 = load i32, ptr %325, align 4, !tbaa !19
  %327 = sub nsw i32 %320, %326
  switch i32 %327, label %434 [
    i32 0, label %328
    i32 1, label %340
    i32 2, label %359
  ]

328:                                              ; preds = %319
  %329 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %330 = load i32, ptr %11, align 4, !tbaa !9
  %331 = sext i32 %330 to i64
  %332 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %329, i64 noundef %331) #5
  %333 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %332, i32 0, i32 0
  store i32 -1, ptr %333, align 4, !tbaa !19
  %334 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %335 = load i32, ptr %11, align 4, !tbaa !9
  %336 = sext i32 %335 to i64
  %337 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %334, i64 noundef %336) #5
  %338 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %337, i32 0, i32 1
  store i32 -1, ptr %338, align 4, !tbaa !20
  %339 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 5
  call void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %339, ptr noundef nonnull align 4 dereferenceable(4) %11)
  store i32 1, ptr %24, align 4
  br label %491

340:                                              ; preds = %319
  %341 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %342 = load i32, ptr %11, align 4, !tbaa !9
  %343 = sext i32 %342 to i64
  %344 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %341, i64 noundef %343) #5
  %345 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %344, i32 0, i32 0
  %346 = load i32, ptr %345, align 4, !tbaa !19
  %347 = load i32, ptr %11, align 4, !tbaa !9
  call void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488) %38, i32 noundef %346, i32 noundef %347)
  %348 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %349 = load i32, ptr %11, align 4, !tbaa !9
  %350 = sext i32 %349 to i64
  %351 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %348, i64 noundef %350) #5
  %352 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %351, i32 0, i32 0
  store i32 -1, ptr %352, align 4, !tbaa !19
  %353 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %354 = load i32, ptr %11, align 4, !tbaa !9
  %355 = sext i32 %354 to i64
  %356 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %353, i64 noundef %355) #5
  %357 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %356, i32 0, i32 1
  store i32 -1, ptr %357, align 4, !tbaa !20
  %358 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 5
  call void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %358, ptr noundef nonnull align 4 dereferenceable(4) %11)
  store i32 1, ptr %24, align 4
  br label %491

359:                                              ; preds = %319
  %360 = load i32, ptr %11, align 4, !tbaa !9
  %361 = icmp sge i32 %360, 0
  br i1 %361, label %362, label %368

362:                                              ; preds = %359
  %363 = load i32, ptr %11, align 4, !tbaa !9
  %364 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %365 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %364) #5
  %366 = trunc i64 %365 to i32
  %367 = icmp slt i32 %363, %366
  br label %368

368:                                              ; preds = %362, %359
  %369 = phi i1 [ false, %359 ], [ %367, %362 ]
  br i1 %369, label %370, label %371

370:                                              ; preds = %368
  br label %373

371:                                              ; preds = %368
  call void @__assert_fail(ptr noundef @.str.55, ptr noundef @.str.52, i32 noundef 412, ptr noundef @__PRETTY_FUNCTION__._ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi) #6
  unreachable

372:                                              ; No predecessors!
  br label %373

373:                                              ; preds = %372, %370
  %374 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %375 = load i32, ptr %11, align 4, !tbaa !9
  %376 = sext i32 %375 to i64
  %377 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %374, i64 noundef %376) #5
  %378 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %377, i32 0, i32 0
  %379 = load i32, ptr %378, align 4, !tbaa !19
  %380 = icmp sge i32 %379, 0
  br i1 %380, label %381, label %392

381:                                              ; preds = %373
  %382 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %383 = load i32, ptr %11, align 4, !tbaa !9
  %384 = sext i32 %383 to i64
  %385 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %382, i64 noundef %384) #5
  %386 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %385, i32 0, i32 0
  %387 = load i32, ptr %386, align 4, !tbaa !19
  %388 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %389 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %388) #5
  %390 = trunc i64 %389 to i32
  %391 = icmp slt i32 %387, %390
  br label %392

392:                                              ; preds = %381, %373
  %393 = phi i1 [ false, %373 ], [ %391, %381 ]
  br i1 %393, label %394, label %395

394:                                              ; preds = %392
  br label %397

395:                                              ; preds = %392
  call void @__assert_fail(ptr noundef @.str.56, ptr noundef @.str.52, i32 noundef 414, ptr noundef @__PRETTY_FUNCTION__._ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi) #6
  unreachable

396:                                              ; No predecessors!
  br label %397

397:                                              ; preds = %396, %394
  %398 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %399 = load i32, ptr %11, align 4, !tbaa !9
  %400 = sext i32 %399 to i64
  %401 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %398, i64 noundef %400) #5
  %402 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %401, i32 0, i32 0
  %403 = load i32, ptr %402, align 4, !tbaa !19
  %404 = load i32, ptr %11, align 4, !tbaa !9
  call void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488) %38, i32 noundef %403, i32 noundef %404)
  %405 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %406 = load i32, ptr %11, align 4, !tbaa !9
  %407 = sext i32 %406 to i64
  %408 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %405, i64 noundef %407) #5
  %409 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %408, i32 0, i32 0
  %410 = load i32, ptr %409, align 4, !tbaa !19
  %411 = add nsw i32 %410, 1
  %412 = load i32, ptr %11, align 4, !tbaa !9
  call void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488) %38, i32 noundef %411, i32 noundef %412)
  %413 = load i32, ptr %22, align 4, !tbaa !9
  %414 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %415 = load i32, ptr %11, align 4, !tbaa !9
  %416 = sext i32 %415 to i64
  %417 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %414, i64 noundef %416) #5
  %418 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %417, i32 0, i32 1
  store i32 %413, ptr %418, align 4, !tbaa !20
  %419 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %420 = load i32, ptr %11, align 4, !tbaa !9
  %421 = sext i32 %420 to i64
  %422 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %419, i64 noundef %421) #5
  %423 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %422, i32 0, i32 0
  %424 = load i32, ptr %423, align 4, !tbaa !19
  %425 = load i32, ptr %11, align 4, !tbaa !9
  call void @_ZN16HighsCliqueTable4linkEii(ptr noundef nonnull align 8 dereferenceable(488) %38, i32 noundef %424, i32 noundef %425)
  %426 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %427 = load i32, ptr %11, align 4, !tbaa !9
  %428 = sext i32 %427 to i64
  %429 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %426, i64 noundef %428) #5
  %430 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %429, i32 0, i32 0
  %431 = load i32, ptr %430, align 4, !tbaa !19
  %432 = add nsw i32 %431, 1
  %433 = load i32, ptr %11, align 4, !tbaa !9
  call void @_ZN16HighsCliqueTable4linkEii(ptr noundef nonnull align 8 dereferenceable(488) %38, i32 noundef %432, i32 noundef %433)
  br label %441

434:                                              ; preds = %319
  %435 = load i32, ptr %22, align 4, !tbaa !9
  %436 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %437 = load i32, ptr %11, align 4, !tbaa !9
  %438 = sext i32 %437 to i64
  %439 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %436, i64 noundef %438) #5
  %440 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %439, i32 0, i32 1
  store i32 %435, ptr %440, align 4, !tbaa !20
  br label %441

441:                                              ; preds = %434, %397
  br label %442

442:                                              ; preds = %441, %310
  br label %443

443:                                              ; preds = %442, %286
  call void @llvm.lifetime.start.p0(i64 4, ptr %33) #5
  %444 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %445 = load i32, ptr %11, align 4, !tbaa !9
  %446 = sext i32 %445 to i64
  %447 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %444, i64 noundef %446) #5
  %448 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %447, i32 0, i32 1
  %449 = load i32, ptr %448, align 4, !tbaa !20
  %450 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %451 = load i32, ptr %11, align 4, !tbaa !9
  %452 = sext i32 %451 to i64
  %453 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %450, i64 noundef %452) #5
  %454 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %453, i32 0, i32 0
  %455 = load i32, ptr %454, align 4, !tbaa !19
  %456 = sub nsw i32 %449, %455
  store i32 %456, ptr %33, align 4, !tbaa !9
  %457 = load i32, ptr %33, align 4, !tbaa !9
  %458 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 19
  %459 = load i32, ptr %458, align 4, !tbaa !30
  %460 = add nsw i32 %459, %457
  store i32 %460, ptr %458, align 4, !tbaa !30
  %461 = load i32, ptr %33, align 4, !tbaa !9
  %462 = icmp eq i32 %461, 2
  br i1 %462, label %463, label %490

463:                                              ; preds = %443
  %464 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 3
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #5
  %465 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %466 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %467 = load i32, ptr %11, align 4, !tbaa !9
  %468 = sext i32 %467 to i64
  %469 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %466, i64 noundef %468) #5
  %470 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %469, i32 0, i32 0
  %471 = load i32, ptr %470, align 4, !tbaa !19
  %472 = sext i32 %471 to i64
  %473 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %465, i64 noundef %472) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %35, ptr align 4 %473, i64 4, i1 false), !tbaa.struct !25
  %474 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 0
  %475 = getelementptr inbounds %class.HighsCliqueTable, ptr %38, i32 0, i32 6
  %476 = load i32, ptr %11, align 4, !tbaa !9
  %477 = sext i32 %476 to i64
  %478 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %475, i64 noundef %477) #5
  %479 = getelementptr inbounds %"struct.HighsCliqueTable::Clique", ptr %478, i32 0, i32 0
  %480 = load i32, ptr %479, align 4, !tbaa !19
  %481 = add nsw i32 %480, 1
  %482 = sext i32 %481 to i64
  %483 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %474, i64 noundef %482) #5
  call void @llvm.memcpy.p0.p0.i64(ptr align 4 %36, ptr align 4 %483, i64 4, i1 false), !tbaa.struct !25
  %484 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %35, i32 0, i32 0
  %485 = load i32, ptr %484, align 4
  %486 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %36, i32 0, i32 0
  %487 = load i32, ptr %486, align 4
  %488 = call i64 @_ZL10sortedEdgeN16HighsCliqueTable9CliqueVarES0_(i32 %485, i32 %487)
  store i64 %488, ptr %34, align 4
  %489 = call noundef zeroext i1 @_ZN14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE6insertIJS3_RiEEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(40) %464, ptr noundef nonnull align 4 dereferenceable(8) %34, ptr noundef nonnull align 4 dereferenceable(4) %11)
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #5
  br label %490

490:                                              ; preds = %463, %443
  call void @llvm.lifetime.end.p0(i64 4, ptr %33) #5
  store i32 0, ptr %24, align 4
  br label %491

491:                                              ; preds = %490, %340, %328
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #5
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %13) #5
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #5
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #5
  %492 = load i32, ptr %24, align 4
  switch i32 %492, label %494 [
    i32 0, label %493
    i32 1, label %493
  ]

493:                                              ; preds = %491, %491
  ret void

494:                                              ; preds = %491, %280
  unreachable
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE12emplace_backIJEEERS1_DpOT_(ptr noundef nonnull align 8 dereferenceable(24)) #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEE4backEv(ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(48)) #3 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local ptr @_ZNSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 4 dereferenceable(8)) #1 align 2

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZNSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE7emplaceIJiRiEEES0_ISt23_Rb_tree_const_iteratorIS1_EbEDpOT_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE6insertIJS3_RiEEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) #1 align 2

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = !{!16, !12, i64 16}
!16 = !{!"_ZTSN16HighsCliqueTable6CliqueE", !10, i64 0, !10, i64 4, !10, i64 8, !10, i64 12, !12, i64 16}
!17 = !{!16, !10, i64 8}
!18 = !{i64 0, i64 8, !5}
!19 = !{!16, !10, i64 0}
!20 = !{!16, !10, i64 4}
!21 = !{!22, !10, i64 4}
!22 = !{!"_ZTSSt4pairIiiE", !10, i64 0, !10, i64 4}
!23 = !{!22, !10, i64 0}
!24 = !{!16, !10, i64 12}
!25 = !{i64 0, i64 4, !26}
!26 = !{!7, !7, i64 0}
!27 = distinct !{!27, !28}
!28 = !{!"llvm.loop.mustprogress"}
!29 = distinct !{!29, !28}
!30 = !{!31, !10, i64 460}
!31 = !{!"_ZTS16HighsCliqueTable", !32, i64 0, !36, i64 24, !40, i64 48, !44, i64 72, !58, i64 112, !66, i64 160, !70, i64 184, !66, i64 208, !32, i64 232, !66, i64 256, !74, i64 280, !66, i64 304, !78, i64 328, !82, i64 352, !82, i64 376, !86, i64 400, !66, i64 424, !90, i64 448, !10, i64 456, !10, i64 460, !10, i64 464, !10, i64 468, !12, i64 472, !57, i64 480}
!32 = !{!"_ZTSSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE", !33, i64 0}
!33 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE12_Vector_implE", !35, i64 0}
!35 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!36 = !{!"_ZTSSt6vectorI13HighsHashTreeIiiESaIS1_EE", !37, i64 0}
!37 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE12_Vector_implE", !39, i64 0}
!39 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!40 = !{!"_ZTSSt6vectorI13HighsHashTreeIivESaIS1_EE", !41, i64 0}
!41 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE", !42, i64 0}
!42 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE12_Vector_implE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!44 = !{!"_ZTS14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE", !45, i64 0, !51, i64 8, !57, i64 16, !57, i64 24, !57, i64 32}
!45 = !{!"_ZTSSt10unique_ptrI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !46, i64 0}
!46 = !{!"_ZTSSt15__uniq_ptr_dataI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterELb1ELb1EE", !47, i64 0}
!47 = !{!"_ZTSSt15__uniq_ptr_implI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !48, i64 0}
!48 = !{!"_ZTSSt5tupleIJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !49, i64 0}
!49 = !{!"_ZTSSt11_Tuple_implILm0EJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !50, i64 0}
!50 = !{!"_ZTSSt10_Head_baseILm0EP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiELb0EE", !6, i64 0}
!51 = !{!"_ZTSSt10unique_ptrIA_hSt14default_deleteIS0_EE", !52, i64 0}
!52 = !{!"_ZTSSt15__uniq_ptr_dataIhSt14default_deleteIA_hELb1ELb1EE", !53, i64 0}
!53 = !{!"_ZTSSt15__uniq_ptr_implIhSt14default_deleteIA_hEE", !54, i64 0}
!54 = !{!"_ZTSSt5tupleIJPhSt14default_deleteIA_hEEE", !55, i64 0}
!55 = !{!"_ZTSSt11_Tuple_implILm0EJPhSt14default_deleteIA_hEEE", !56, i64 0}
!56 = !{!"_ZTSSt10_Head_baseILm0EPhLb0EE", !6, i64 0}
!57 = !{!"long", !7, i64 0}
!58 = !{!"_ZTSSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE", !59, i64 0}
!59 = !{!"_ZTSSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE", !60, i64 0}
!60 = !{!"_ZTSNSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE13_Rb_tree_implIS5_Lb1EEE", !61, i64 0, !63, i64 8}
!61 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessISt4pairIiiEEE", !62, i64 0}
!62 = !{!"_ZTSSt4lessISt4pairIiiEE"}
!63 = !{!"_ZTSSt15_Rb_tree_header", !64, i64 0, !57, i64 32}
!64 = !{!"_ZTSSt18_Rb_tree_node_base", !65, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!65 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!66 = !{!"_ZTSSt6vectorIiSaIiEE", !67, i64 0}
!67 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !68, i64 0}
!68 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !69, i64 0}
!69 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!70 = !{!"_ZTSSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE", !71, i64 0}
!71 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE", !72, i64 0}
!72 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE12_Vector_implE", !73, i64 0}
!73 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!74 = !{!"_ZTSSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE", !75, i64 0}
!75 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE", !76, i64 0}
!76 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE12_Vector_implE", !77, i64 0}
!77 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!78 = !{!"_ZTSSt6vectorISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !79, i64 0}
!79 = !{!"_ZTSSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !80, i64 0}
!80 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE12_Vector_implE", !81, i64 0}
!81 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!82 = !{!"_ZTSSt6vectorIhSaIhEE", !83, i64 0}
!83 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !84, i64 0}
!84 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !85, i64 0}
!85 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!86 = !{!"_ZTSSt6vectorIjSaIjEE", !87, i64 0}
!87 = !{!"_ZTSSt12_Vector_baseIjSaIjEE", !88, i64 0}
!88 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE12_Vector_implE", !89, i64 0}
!89 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!90 = !{!"_ZTS11HighsRandom", !57, 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"

%"struct.std::_Rb_tree_const_iterator" = type { ptr }
%"struct.std::pair.126" = type { i32, i32 }
%"struct.HighsCliqueTable::CliqueVar" = type { i32 }
%"struct.std::pair" = type { %"struct.HighsCliqueTable::CliqueVar", %"struct.HighsCliqueTable::CliqueVar" }

@.str.52 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [53 x i8], align 1
@__PRETTY_FUNCTION__._ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi = external hidden unnamed_addr constant [80 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [89 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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488), i32 noundef, i32 noundef) local_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 @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #3 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable4linkEii(ptr noundef nonnull align 8 dereferenceable(488), i32 noundef, i32 noundef) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN13HighsHashTreeIivE6insertIJRiEEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN13HighsHashTreeIiiE6insertIJRiS2_EEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare hidden i64 @_ZL10sortedEdgeN16HighsCliqueTable9CliqueVarES0_(i32, i32) local_unnamed_addr #1

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

; Function Attrs: mustprogress uwtable
declare dso_local i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK13HighsHashTreeIivE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK13HighsHashTreeIiiE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1 align 2

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr nocapture noundef readonly %1, i32 noundef %2, i1 noundef zeroext %3, i32 noundef %4) local_unnamed_addr #1 align 2 {
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %9 = alloca %"struct.std::pair.126", align 8
  %10 = alloca i32, align 4
  %11 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %12 = alloca i32, align 4
  %13 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %14 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %15 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %16 = alloca i32, align 4
  %17 = alloca %"struct.std::pair", align 8
  store i32 %2, ptr %6, align 4, !tbaa !5
  %18 = zext i1 %3 to i8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %7) #4
  %19 = getelementptr inbounds i8, ptr %0, i64 160
  %20 = tail call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #4
  br i1 %20, label %21, label %26

21:                                               ; preds = %5
  %22 = getelementptr inbounds i8, ptr %0, i64 184
  %23 = tail call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %22) #4
  %24 = trunc i64 %23 to i32
  store i32 %24, ptr %7, align 4, !tbaa !5
  %25 = tail call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE12emplace_backIJEEERS1_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %22)
  br label %29

26:                                               ; preds = %5
  %27 = tail call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #4
  %28 = load i32, ptr %27, align 4, !tbaa !5
  store i32 %28, ptr %7, align 4, !tbaa !5
  tail call void @_ZNSt6vectorIiSaIiEE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %19) #4
  br label %29

29:                                               ; preds = %26, %21
  %30 = phi i32 [ %28, %26 ], [ %24, %21 ]
  %31 = getelementptr inbounds i8, ptr %0, i64 184
  %32 = sext i32 %30 to i64
  %33 = tail call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %32) #4
  %34 = getelementptr inbounds i8, ptr %33, i64 16
  store i8 %18, ptr %34, align 4, !tbaa !9
  %35 = tail call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %32) #4
  %36 = getelementptr inbounds i8, ptr %35, i64 8
  store i32 %4, ptr %36, align 4, !tbaa !12
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #4
  call void @_ZNSt23_Rb_tree_const_iteratorISt4pairIiiEEC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #4
  %37 = getelementptr inbounds i8, ptr %0, i64 112
  %38 = call noundef zeroext i1 @_ZNKSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(48) %37) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %10) #4
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #4
  br i1 %38, label %.critedge, label %39

39:                                               ; preds = %29
  store i32 -1, ptr %10, align 4, !tbaa !5
  %40 = call i64 @_ZSt9make_pairIRiiESt4pairINSt25__strip_reference_wrapperINSt5decayIT_E4typeEE6__typeENS2_INS3_IT0_E4typeEE6__typeEEOS4_OS9_(ptr noundef nonnull align 4 dereferenceable(4) %6, ptr noundef nonnull align 4 dereferenceable(4) %10)
  store i64 %40, ptr %9, align 8
  %41 = call ptr @_ZNSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(48) %37, ptr noundef nonnull align 4 dereferenceable(8) %9)
  store ptr %41, ptr %8, align 8, !tbaa !13
  %42 = call ptr @_ZNKSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %37) #4
  store ptr %42, ptr %11, align 8
  %43 = call noundef zeroext i1 @_ZSteqRKSt23_Rb_tree_const_iteratorISt4pairIiiEES4_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %11) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #4
  br i1 %43, label %44, label %71

.critedge:                                        ; preds = %29
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %10) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #4
  br label %44

44:                                               ; preds = %.critedge, %39
  %45 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %0) #4
  %46 = trunc i64 %45 to i32
  %47 = load i32, ptr %7, align 4, !tbaa !5
  %48 = sext i32 %47 to i64
  %49 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %48) #4
  store i32 %46, ptr %49, align 4, !tbaa !15
  %50 = load i32, ptr %7, align 4, !tbaa !5
  %51 = sext i32 %50 to i64
  %52 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %51) #4
  %53 = load i32, ptr %52, align 4, !tbaa !15
  %54 = load i32, ptr %6, align 4, !tbaa !5
  %55 = add nsw i32 %54, %53
  %56 = load i32, ptr %7, align 4, !tbaa !5
  %57 = sext i32 %56 to i64
  %58 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %57) #4
  %59 = getelementptr inbounds i8, ptr %58, i64 4
  store i32 %55, ptr %59, align 4, !tbaa !16
  %60 = load i32, ptr %7, align 4, !tbaa !5
  %61 = sext i32 %60 to i64
  %62 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %61) #4
  %63 = getelementptr inbounds i8, ptr %62, i64 4
  %64 = load i32, ptr %63, align 4, !tbaa !16
  %65 = load i32, ptr %7, align 4, !tbaa !5
  %66 = sext i32 %65 to i64
  %67 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %66) #4
  %68 = getelementptr inbounds i8, ptr %67, i64 4
  %69 = load i32, ptr %68, align 4, !tbaa !16
  %70 = sext i32 %69 to i64
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %70)
  br label %92

71:                                               ; preds = %39
  %72 = call noundef nonnull align 4 dereferenceable(8) ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIiiEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %8) #4
  %.sroa.021.0.copyload = load i32, ptr %72, align 4
  %.sroa.4.0..sroa_idx = getelementptr inbounds i8, ptr %72, i64 4
  %.sroa.4.0.copyload = load i32, ptr %.sroa.4.0..sroa_idx, align 4
  %.sroa.020.0.copyload = load ptr, ptr %8, align 8, !tbaa !13
  %73 = call ptr @_ZNSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS1_E(ptr noundef nonnull align 8 dereferenceable(48) %37, ptr %.sroa.020.0.copyload)
  %74 = load i32, ptr %7, align 4, !tbaa !5
  %75 = sext i32 %74 to i64
  %76 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %75) #4
  store i32 %.sroa.4.0.copyload, ptr %76, align 4, !tbaa !15
  %77 = load i32, ptr %7, align 4, !tbaa !5
  %78 = sext i32 %77 to i64
  %79 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %78) #4
  %80 = load i32, ptr %79, align 4, !tbaa !15
  %81 = load i32, ptr %6, align 4, !tbaa !5
  %82 = add nsw i32 %81, %80
  %83 = load i32, ptr %7, align 4, !tbaa !5
  %84 = sext i32 %83 to i64
  %85 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %84) #4
  %86 = getelementptr inbounds i8, ptr %85, i64 4
  store i32 %82, ptr %86, align 4, !tbaa !16
  %87 = load i32, ptr %7, align 4, !tbaa !5
  %88 = sext i32 %87 to i64
  %89 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %88) #4
  %90 = load i32, ptr %89, align 4, !tbaa !15
  %91 = add nsw i32 %90, %.sroa.021.0.copyload
  br label %92

92:                                               ; preds = %71, %44
  %.0 = phi i32 [ %64, %44 ], [ %91, %71 ]
  %93 = load i32, ptr %7, align 4, !tbaa !5
  %94 = sext i32 %93 to i64
  %95 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %94) #4
  %96 = getelementptr inbounds i8, ptr %95, i64 12
  store i32 0, ptr %96, align 4, !tbaa !17
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %12) #4
  %97 = load i32, ptr %7, align 4, !tbaa !5
  %98 = sext i32 %97 to i64
  %99 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %98) #4
  %100 = load i32, ptr %99, align 4, !tbaa !15
  store i32 %100, ptr %12, align 4, !tbaa !5
  %101 = load i32, ptr %6, align 4, !tbaa !5
  %.not39 = icmp eq i32 %101, 0
  br i1 %.not39, label %._crit_edge44, label %.lr.ph43

.lr.ph43:                                         ; preds = %92
  %102 = getelementptr inbounds i8, ptr %0, i64 24
  %103 = getelementptr inbounds i8, ptr %0, i64 48
  %104 = getelementptr inbounds i8, ptr %0, i64 232
  %105 = getelementptr inbounds i8, ptr %0, i64 208
  br label %108

._crit_edge44.loopexit:                           ; preds = %173
  %.pre = load i32, ptr %12, align 4, !tbaa !5
  br label %._crit_edge44

._crit_edge44:                                    ; preds = %._crit_edge44.loopexit, %92
  %106 = phi i32 [ %.pre, %._crit_edge44.loopexit ], [ %100, %92 ]
  %107 = icmp sgt i32 %.0, %106
  br i1 %107, label %176, label %277

108:                                              ; preds = %.lr.ph43, %173
  %indvars.iv46 = phi i64 [ 0, %.lr.ph43 ], [ %indvars.iv.next47, %173 ]
  %.02941 = phi i1 [ false, %.lr.ph43 ], [ %.2, %173 ]
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %13) #4
  %109 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %1, i64 %indvars.iv46
  %110 = load i32, ptr %109, align 4, !tbaa !18
  store i32 %110, ptr %13, align 4, !tbaa !18
  call void @_ZNK16HighsCliqueTable19resolveSubstitutionERNS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 4 dereferenceable(4) %13)
  br i1 %.02941, label %111, label %112

111:                                              ; preds = %108
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %104, ptr noundef nonnull align 4 dereferenceable(4) %13)
  br label %173

112:                                              ; preds = %108
  %113 = load i32, ptr %6, align 4, !tbaa !5
  %114 = icmp eq i32 %113, 2
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %14) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %15) #4
  %115 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %13)
  br i1 %114, label %116, label %121

116:                                              ; preds = %112
  store i32 %115, ptr %14, align 4
  %117 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %14)
  %118 = sext i32 %117 to i64
  %119 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %103, i64 noundef %118) #4
  %120 = call noundef zeroext i1 @_ZNK13HighsHashTreeIivE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8) %119, ptr noundef nonnull align 4 dereferenceable(4) %7)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #4
  br i1 %120, label %126, label %149

121:                                              ; preds = %112
  store i32 %115, ptr %15, align 4
  %122 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %15)
  %123 = sext i32 %122 to i64
  %124 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %102, i64 noundef %123) #4
  %125 = call noundef zeroext i1 @_ZNK13HighsHashTreeIiiE8containsERKi(ptr noundef nonnull align 8 dereferenceable(8) %124, ptr noundef nonnull align 4 dereferenceable(4) %7)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %15) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %14) #4
  br i1 %125, label %126, label %149

126:                                              ; preds = %116, %121
  %127 = load i32, ptr %7, align 4, !tbaa !5
  %128 = sext i32 %127 to i64
  %129 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %128) #4
  %130 = load i32, ptr %129, align 4, !tbaa !15
  %131 = load i32, ptr %12, align 4, !tbaa !5
  %.not3537 = icmp eq i32 %130, %131
  br i1 %.not3537, label %._crit_edge, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %126
  %132 = sext i32 %130 to i64
  br label %.lr.ph

._crit_edge:                                      ; preds = %144, %126
  %133 = load i32, ptr %7, align 4, !tbaa !5
  %134 = sext i32 %133 to i64
  %135 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %134) #4
  %136 = load i32, ptr %135, align 4, !tbaa !15
  store i32 %136, ptr %12, align 4, !tbaa !5
  br label %173

.lr.ph:                                           ; preds = %.lr.ph.preheader, %144
  %indvars.iv = phi i64 [ %132, %.lr.ph.preheader ], [ %indvars.iv.next, %144 ]
  %137 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv) #4
  %138 = load i32, ptr %137, align 4
  %139 = load i32, ptr %13, align 4
  %140 = xor i32 %139, %138
  %141 = and i32 %140, 2147483647
  %.not36 = icmp eq i32 %141, 0
  br i1 %.not36, label %144, label %142

142:                                              ; preds = %.lr.ph
  %143 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %indvars.iv) #4
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %104, ptr noundef nonnull align 4 dereferenceable(4) %143)
  br label %144

144:                                              ; preds = %142, %.lr.ph
  %145 = load i32, ptr %7, align 4, !tbaa !5
  %146 = trunc nsw i64 %indvars.iv to i32
  call void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 noundef %146, i32 noundef %145)
  %indvars.iv.next = add nsw i64 %indvars.iv, 1
  %147 = load i32, ptr %12, align 4, !tbaa !5
  %148 = trunc nsw i64 %indvars.iv.next to i32
  %.not35 = icmp eq i32 %147, %148
  br i1 %.not35, label %._crit_edge, label %.lr.ph, !llvm.loop !19

149:                                              ; preds = %116, %121
  %150 = load i32, ptr %6, align 4, !tbaa !5
  %151 = icmp eq i32 %150, 2
  %152 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %13)
  %153 = sext i32 %152 to i64
  br i1 %151, label %154, label %157

154:                                              ; preds = %149
  %155 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %103, i64 noundef %153) #4
  %156 = call noundef zeroext i1 @_ZN13HighsHashTreeIivE6insertIJRiEEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(8) %155, ptr noundef nonnull align 4 dereferenceable(4) %7)
  br i1 %156, label %161, label %160

157:                                              ; preds = %149
  %158 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %102, i64 noundef %153) #4
  %159 = call noundef zeroext i1 @_ZN13HighsHashTreeIiiE6insertIJRiS2_EEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(8) %158, ptr noundef nonnull align 4 dereferenceable(4) %7, ptr noundef nonnull align 4 dereferenceable(4) %12)
  br i1 %159, label %161, label %160

160:                                              ; preds = %154, %157
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE9push_backERKS1_(ptr noundef nonnull align 8 dereferenceable(24) %104, ptr noundef nonnull align 4 dereferenceable(4) %13)
  br label %173

161:                                              ; preds = %154, %157
  %162 = load i32, ptr %12, align 4, !tbaa !5
  %163 = sext i32 %162 to i64
  %164 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %163) #4
  %165 = load i32, ptr %13, align 4, !tbaa !18
  store i32 %165, ptr %164, align 4, !tbaa !18
  %166 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %13)
  %167 = sext i32 %166 to i64
  %168 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %105, i64 noundef %167) #4
  %169 = load i32, ptr %168, align 4, !tbaa !5
  %170 = add nsw i32 %169, 1
  store i32 %170, ptr %168, align 4, !tbaa !5
  %171 = load i32, ptr %12, align 4, !tbaa !5
  %172 = add nsw i32 %171, 1
  store i32 %172, ptr %12, align 4, !tbaa !5
  br label %173

173:                                              ; preds = %._crit_edge, %161, %160, %111
  %.2 = phi i1 [ true, %111 ], [ true, %._crit_edge ], [ false, %161 ], [ false, %160 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %13) #4
  %indvars.iv.next47 = add nuw nsw i64 %indvars.iv46, 1
  %174 = load i32, ptr %6, align 4, !tbaa !5
  %175 = zext i32 %174 to i64
  %.not = icmp eq i64 %indvars.iv.next47, %175
  br i1 %.not, label %._crit_edge44.loopexit, label %108, !llvm.loop !21

176:                                              ; preds = %._crit_edge44
  %177 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %0) #4
  %178 = trunc i64 %177 to i32
  %179 = icmp eq i32 %.0, %178
  br i1 %179, label %180, label %183

180:                                              ; preds = %176
  %181 = load i32, ptr %12, align 4, !tbaa !5
  %182 = sext i32 %181 to i64
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE6resizeEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %182)
  br label %187

183:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %16) #4
  %184 = load i32, ptr %12, align 4, !tbaa !5
  %185 = sub nsw i32 %.0, %184
  store i32 %185, ptr %16, align 4, !tbaa !5
  %186 = call { ptr, i8 } @_ZNSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE7emplaceIJiRiEEES0_ISt23_Rb_tree_const_iteratorIS1_EbEDpOT_(ptr noundef nonnull align 8 dereferenceable(48) %37, ptr noundef nonnull align 4 dereferenceable(4) %16, ptr noundef nonnull align 4 dereferenceable(4) %12)
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %16) #4
  br label %187

187:                                              ; preds = %183, %180
  %188 = load i32, ptr %7, align 4, !tbaa !5
  %189 = sext i32 %188 to i64
  %190 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %189) #4
  %191 = getelementptr inbounds i8, ptr %190, i64 4
  %192 = load i32, ptr %191, align 4, !tbaa !16
  %193 = load i32, ptr %12, align 4, !tbaa !5
  %194 = icmp sgt i32 %192, %193
  br i1 %194, label %195, label %277

195:                                              ; preds = %187
  %196 = load i32, ptr %7, align 4, !tbaa !5
  %197 = sext i32 %196 to i64
  %198 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %197) #4
  %199 = load i32, ptr %198, align 4, !tbaa !15
  %200 = sub nsw i32 %193, %199
  switch i32 %200, label %271 [
    i32 0, label %201
    i32 1, label %209
    i32 2, label %222
  ]

201:                                              ; preds = %195
  %202 = load i32, ptr %7, align 4, !tbaa !5
  %203 = sext i32 %202 to i64
  %204 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %203) #4
  store i32 -1, ptr %204, align 4, !tbaa !15
  %205 = load i32, ptr %7, align 4, !tbaa !5
  %206 = sext i32 %205 to i64
  %207 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %206) #4
  %208 = getelementptr inbounds i8, ptr %207, i64 4
  store i32 -1, ptr %208, align 4, !tbaa !16
  call void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 4 dereferenceable(4) %7)
  br label %309

209:                                              ; preds = %195
  %210 = load i32, ptr %7, align 4, !tbaa !5
  %211 = sext i32 %210 to i64
  %212 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %211) #4
  %213 = load i32, ptr %212, align 4, !tbaa !15
  %214 = load i32, ptr %7, align 4, !tbaa !5
  call void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 noundef %213, i32 noundef %214)
  %215 = load i32, ptr %7, align 4, !tbaa !5
  %216 = sext i32 %215 to i64
  %217 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %216) #4
  store i32 -1, ptr %217, align 4, !tbaa !15
  %218 = load i32, ptr %7, align 4, !tbaa !5
  %219 = sext i32 %218 to i64
  %220 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %219) #4
  %221 = getelementptr inbounds i8, ptr %220, i64 4
  store i32 -1, ptr %221, align 4, !tbaa !16
  call void @_ZNSt6vectorIiSaIiEE9push_backERKi(ptr noundef nonnull align 8 dereferenceable(24) %19, ptr noundef nonnull align 4 dereferenceable(4) %7)
  br label %309

222:                                              ; preds = %195
  %223 = load i32, ptr %7, align 4, !tbaa !5
  %224 = icmp sgt i32 %223, -1
  br i1 %224, label %225, label %.critedge2

225:                                              ; preds = %222
  %226 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #4
  %227 = trunc i64 %226 to i32
  %228 = icmp slt i32 %223, %227
  br i1 %228, label %229, label %.critedge2

.critedge2:                                       ; preds = %222, %225
  call void @__assert_fail(ptr noundef nonnull @.str.55, ptr noundef nonnull @.str.52, i32 noundef 412, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi) #5
  unreachable

229:                                              ; preds = %225
  %230 = load i32, ptr %7, align 4, !tbaa !5
  %231 = sext i32 %230 to i64
  %232 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %231) #4
  %233 = load i32, ptr %232, align 4, !tbaa !15
  %234 = icmp sgt i32 %233, -1
  br i1 %234, label %235, label %.critedge4

235:                                              ; preds = %229
  %236 = load i32, ptr %7, align 4, !tbaa !5
  %237 = sext i32 %236 to i64
  %238 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %237) #4
  %239 = load i32, ptr %238, align 4, !tbaa !15
  %240 = call noundef i64 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %0) #4
  %241 = trunc i64 %240 to i32
  %242 = icmp slt i32 %239, %241
  br i1 %242, label %243, label %.critedge4

.critedge4:                                       ; preds = %229, %235
  call void @__assert_fail(ptr noundef nonnull @.str.56, ptr noundef nonnull @.str.52, i32 noundef 414, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN16HighsCliqueTable11doAddCliqueEPKNS_9CliqueVarEibi) #5
  unreachable

243:                                              ; preds = %235
  %244 = load i32, ptr %7, align 4, !tbaa !5
  %245 = sext i32 %244 to i64
  %246 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %245) #4
  %247 = load i32, ptr %246, align 4, !tbaa !15
  %248 = load i32, ptr %7, align 4, !tbaa !5
  call void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 noundef %247, i32 noundef %248)
  %249 = load i32, ptr %7, align 4, !tbaa !5
  %250 = sext i32 %249 to i64
  %251 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %250) #4
  %252 = load i32, ptr %251, align 4, !tbaa !15
  %253 = add nsw i32 %252, 1
  %254 = load i32, ptr %7, align 4, !tbaa !5
  call void @_ZN16HighsCliqueTable6unlinkEii(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 noundef %253, i32 noundef %254)
  %255 = load i32, ptr %12, align 4, !tbaa !5
  %256 = load i32, ptr %7, align 4, !tbaa !5
  %257 = sext i32 %256 to i64
  %258 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %257) #4
  %259 = getelementptr inbounds i8, ptr %258, i64 4
  store i32 %255, ptr %259, align 4, !tbaa !16
  %260 = load i32, ptr %7, align 4, !tbaa !5
  %261 = sext i32 %260 to i64
  %262 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %261) #4
  %263 = load i32, ptr %262, align 4, !tbaa !15
  %264 = load i32, ptr %7, align 4, !tbaa !5
  call void @_ZN16HighsCliqueTable4linkEii(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 noundef %263, i32 noundef %264)
  %265 = load i32, ptr %7, align 4, !tbaa !5
  %266 = sext i32 %265 to i64
  %267 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %266) #4
  %268 = load i32, ptr %267, align 4, !tbaa !15
  %269 = add nsw i32 %268, 1
  %270 = load i32, ptr %7, align 4, !tbaa !5
  call void @_ZN16HighsCliqueTable4linkEii(ptr noundef nonnull align 8 dereferenceable(488) %0, i32 noundef %269, i32 noundef %270)
  br label %277

271:                                              ; preds = %195
  %272 = load i32, ptr %12, align 4, !tbaa !5
  %273 = load i32, ptr %7, align 4, !tbaa !5
  %274 = sext i32 %273 to i64
  %275 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %274) #4
  %276 = getelementptr inbounds i8, ptr %275, i64 4
  store i32 %272, ptr %276, align 4, !tbaa !16
  br label %277

277:                                              ; preds = %187, %271, %243, %._crit_edge44
  %278 = load i32, ptr %7, align 4, !tbaa !5
  %279 = sext i32 %278 to i64
  %280 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %279) #4
  %281 = getelementptr inbounds i8, ptr %280, i64 4
  %282 = load i32, ptr %281, align 4, !tbaa !16
  %283 = load i32, ptr %7, align 4, !tbaa !5
  %284 = sext i32 %283 to i64
  %285 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %284) #4
  %286 = load i32, ptr %285, align 4, !tbaa !15
  %287 = sub nsw i32 %282, %286
  %288 = getelementptr inbounds i8, ptr %0, i64 460
  %289 = load i32, ptr %288, align 4, !tbaa !22
  %290 = add nsw i32 %289, %287
  store i32 %290, ptr %288, align 4, !tbaa !22
  %291 = icmp eq i32 %287, 2
  br i1 %291, label %292, label %309

292:                                              ; preds = %277
  %293 = getelementptr inbounds i8, ptr %0, i64 72
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #4
  %294 = load i32, ptr %7, align 4, !tbaa !5
  %295 = sext i32 %294 to i64
  %296 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %295) #4
  %297 = load i32, ptr %296, align 4, !tbaa !15
  %298 = sext i32 %297 to i64
  %299 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %298) #4
  %.sroa.05.0.copyload = load i32, ptr %299, align 4, !tbaa !18
  %300 = load i32, ptr %7, align 4, !tbaa !5
  %301 = sext i32 %300 to i64
  %302 = call noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %31, i64 noundef %301) #4
  %303 = load i32, ptr %302, align 4, !tbaa !15
  %304 = add nsw i32 %303, 1
  %305 = sext i32 %304 to i64
  %306 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %0, i64 noundef %305) #4
  %.sroa.0.0.copyload = load i32, ptr %306, align 4, !tbaa !18
  %307 = call i64 @_ZL10sortedEdgeN16HighsCliqueTable9CliqueVarES0_(i32 %.sroa.05.0.copyload, i32 %.sroa.0.0.copyload)
  store i64 %307, ptr %17, align 8
  %308 = call noundef zeroext i1 @_ZN14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE6insertIJS3_RiEEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(40) %293, ptr noundef nonnull align 4 dereferenceable(8) %17, ptr noundef nonnull align 4 dereferenceable(4) %7)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #4
  br label %309

309:                                              ; preds = %277, %292, %209, %201
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %12) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %7) #4
  ret void
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 4 dereferenceable(20) ptr @_ZNSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE12emplace_backIJEEERS1_DpOT_(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #1 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIiSaIiEE4backEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNKSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(48)) local_unnamed_addr #3 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local ptr @_ZNSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE11lower_boundERKS1_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 4 dereferenceable(8)) local_unnamed_addr #1 align 2

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZN14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE6insertIJS3_RiEEEbDpOT_(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef nonnull align 4 dereferenceable(8), ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #1 align 2

attributes #0 = { mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #1 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { 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 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 = { nounwind }
attributes #5 = { 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 = !{!10, !11, i64 16}
!10 = !{!"_ZTSN16HighsCliqueTable6CliqueE", !6, i64 0, !6, i64 4, !6, i64 8, !6, i64 12, !11, i64 16}
!11 = !{!"bool", !7, i64 0}
!12 = !{!10, !6, i64 8}
!13 = !{!14, !14, i64 0}
!14 = !{!"any pointer", !7, i64 0}
!15 = !{!10, !6, i64 0}
!16 = !{!10, !6, i64 4}
!17 = !{!10, !6, i64 12}
!18 = !{!7, !7, i64 0}
!19 = distinct !{!19, !20}
!20 = !{!"llvm.loop.mustprogress"}
!21 = distinct !{!21, !20}
!22 = !{!23, !6, i64 460}
!23 = !{!"_ZTS16HighsCliqueTable", !24, i64 0, !28, i64 24, !32, i64 48, !36, i64 72, !50, i64 112, !58, i64 160, !62, i64 184, !58, i64 208, !24, i64 232, !58, i64 256, !66, i64 280, !58, i64 304, !70, i64 328, !74, i64 352, !74, i64 376, !78, i64 400, !58, i64 424, !82, i64 448, !6, i64 456, !6, i64 460, !6, i64 464, !6, i64 468, !11, i64 472, !49, i64 480}
!24 = !{!"_ZTSSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE", !25, i64 0}
!25 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE12_Vector_implE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable9CliqueVarESaIS1_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!28 = !{!"_ZTSSt6vectorI13HighsHashTreeIiiESaIS1_EE", !29, i64 0}
!29 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE12_Vector_implE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIiiESaIS1_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!32 = !{!"_ZTSSt6vectorI13HighsHashTreeIivESaIS1_EE", !33, i64 0}
!33 = !{!"_ZTSSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE", !34, i64 0}
!34 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE12_Vector_implE", !35, i64 0}
!35 = !{!"_ZTSNSt12_Vector_baseI13HighsHashTreeIivESaIS1_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!36 = !{!"_ZTS14HighsHashTableISt4pairIN16HighsCliqueTable9CliqueVarES2_EiE", !37, i64 0, !43, i64 8, !49, i64 16, !49, i64 24, !49, i64 32}
!37 = !{!"_ZTSSt10unique_ptrI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !38, i64 0}
!38 = !{!"_ZTSSt15__uniq_ptr_dataI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterELb1ELb1EE", !39, i64 0}
!39 = !{!"_ZTSSt15__uniq_ptr_implI19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEE", !40, i64 0}
!40 = !{!"_ZTSSt5tupleIJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !41, i64 0}
!41 = !{!"_ZTSSt11_Tuple_implILm0EJP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiEN14HighsHashTableIS4_iE12OpNewDeleterEEE", !42, i64 0}
!42 = !{!"_ZTSSt10_Head_baseILm0EP19HighsHashTableEntryISt4pairIN16HighsCliqueTable9CliqueVarES3_EiELb0EE", !14, i64 0}
!43 = !{!"_ZTSSt10unique_ptrIA_hSt14default_deleteIS0_EE", !44, i64 0}
!44 = !{!"_ZTSSt15__uniq_ptr_dataIhSt14default_deleteIA_hELb1ELb1EE", !45, i64 0}
!45 = !{!"_ZTSSt15__uniq_ptr_implIhSt14default_deleteIA_hEE", !46, i64 0}
!46 = !{!"_ZTSSt5tupleIJPhSt14default_deleteIA_hEEE", !47, i64 0}
!47 = !{!"_ZTSSt11_Tuple_implILm0EJPhSt14default_deleteIA_hEEE", !48, i64 0}
!48 = !{!"_ZTSSt10_Head_baseILm0EPhLb0EE", !14, i64 0}
!49 = !{!"long", !7, i64 0}
!50 = !{!"_ZTSSt3setISt4pairIiiESt4lessIS1_ESaIS1_EE", !51, i64 0}
!51 = !{!"_ZTSSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE", !52, i64 0}
!52 = !{!"_ZTSNSt8_Rb_treeISt4pairIiiES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE13_Rb_tree_implIS5_Lb1EEE", !53, i64 0, !55, i64 8}
!53 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessISt4pairIiiEEE", !54, i64 0}
!54 = !{!"_ZTSSt4lessISt4pairIiiEE"}
!55 = !{!"_ZTSSt15_Rb_tree_header", !56, i64 0, !49, i64 32}
!56 = !{!"_ZTSSt18_Rb_tree_node_base", !57, i64 0, !14, i64 8, !14, i64 16, !14, i64 24}
!57 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!58 = !{!"_ZTSSt6vectorIiSaIiEE", !59, i64 0}
!59 = !{!"_ZTSSt12_Vector_baseIiSaIiEE", !60, i64 0}
!60 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE12_Vector_implE", !61, i64 0}
!61 = !{!"_ZTSNSt12_Vector_baseIiSaIiEE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!62 = !{!"_ZTSSt6vectorIN16HighsCliqueTable6CliqueESaIS1_EE", !63, i64 0}
!63 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE", !64, i64 0}
!64 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE12_Vector_implE", !65, i64 0}
!65 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable6CliqueESaIS1_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!66 = !{!"_ZTSSt6vectorIN16HighsCliqueTable12SubstitutionESaIS1_EE", !67, i64 0}
!67 = !{!"_ZTSSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE", !68, i64 0}
!68 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE12_Vector_implE", !69, i64 0}
!69 = !{!"_ZTSNSt12_Vector_baseIN16HighsCliqueTable12SubstitutionESaIS1_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!70 = !{!"_ZTSSt6vectorISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !71, i64 0}
!71 = !{!"_ZTSSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE", !72, i64 0}
!72 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE12_Vector_implE", !73, i64 0}
!73 = !{!"_ZTSNSt12_Vector_baseISt4pairIiN16HighsCliqueTable9CliqueVarEESaIS3_EE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!74 = !{!"_ZTSSt6vectorIhSaIhEE", !75, i64 0}
!75 = !{!"_ZTSSt12_Vector_baseIhSaIhEE", !76, i64 0}
!76 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE12_Vector_implE", !77, i64 0}
!77 = !{!"_ZTSNSt12_Vector_baseIhSaIhEE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!78 = !{!"_ZTSSt6vectorIjSaIjEE", !79, i64 0}
!79 = !{!"_ZTSSt12_Vector_baseIjSaIjEE", !80, i64 0}
!80 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE12_Vector_implE", !81, i64 0}
!81 = !{!"_ZTSNSt12_Vector_baseIjSaIjEE17_Vector_impl_dataE", !14, i64 0, !14, i64 8, !14, i64 16}
!82 = !{!"_ZTS11HighsRandom", !49, i64 0}


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