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

; 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.HighsCliqueTable::CliqueVar" = type { i32 }
%"struct.HighsDomain::Reason" = type { i32, i32 }
%class.HighsHashTree.56 = type { %"struct.HighsHashTree<int, int>::NodePtr" }
%"struct.HighsHashTree<int, int>::NodePtr" = type { i64 }
%class.HighsHashTree = type { %"struct.HighsHashTree<int>::NodePtr" }
%"struct.HighsHashTree<int>::NodePtr" = type { i64 }
%class.anon.406 = type { ptr, ptr, ptr }
%class.anon.407 = type { ptr, ptr, ptr }
%class.anon.408 = type { ptr }
%class.anon.409 = type { 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.anon.410 = type { ptr, ptr, ptr }
%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.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 }

@.str.52 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [22 x i8], align 1
@__PRETTY_FUNCTION__._ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain = external hidden unnamed_addr constant [64 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4)) #2 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) #2 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) #2 align 2

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824), i32 noundef, double noundef, i64) #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason11unspecifiedEv() #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1) #3 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %6 = alloca i8, align 1
  %7 = alloca %"struct.HighsDomain::Reason", align 4
  %8 = alloca i32, align 4
  %9 = alloca %class.HighsHashTree.56, align 8
  %10 = alloca %class.HighsHashTree, align 8
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca i8, align 1
  %14 = alloca %class.anon.406, align 8
  %15 = alloca %class.anon.407, align 8
  %16 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %17 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %18 = alloca %class.anon.408, align 8
  %19 = alloca %class.anon.409, align 8
  %20 = alloca %"class.std::vector", align 8
  %21 = alloca %class.anon.410, align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  %22 = load ptr, ptr %3, align 8
  br label %23

23:                                               ; preds = %179, %177, %2
  %24 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 8
  %25 = call noundef zeroext i1 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %24) #4
  br i1 %25, label %30, label %26

26:                                               ; preds = %23
  %27 = load ptr, ptr %4, align 8, !tbaa !5
  %28 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %27)
  %29 = xor i1 %28, true
  br label %30

30:                                               ; preds = %26, %23
  %31 = phi i1 [ false, %23 ], [ %29, %26 ]
  br i1 %31, label %32, label %186

32:                                               ; preds = %30
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #4
  %33 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 8
  %34 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %33) #4
  %35 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %34)
  %36 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %5, i32 0, i32 0
  store i32 %35, ptr %36, align 4
  %37 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 8
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %37) #4
  call void @_ZNK16HighsCliqueTable19resolveSubstitutionERNS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %22, ptr noundef nonnull align 4 dereferenceable(4) %5)
  call void @llvm.lifetime.start.p0(i64 1, ptr %6) #4
  %38 = load ptr, ptr %4, align 8, !tbaa !5
  %39 = load i32, ptr %5, align 4
  %40 = and i32 %39, 2147483647
  %41 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %38, i32 noundef %40)
  %42 = zext i1 %41 to i8
  store i8 %42, ptr %6, align 1, !tbaa !9
  %43 = load ptr, ptr %4, align 8, !tbaa !5
  %44 = load i32, ptr %5, align 4
  %45 = and i32 %44, 2147483647
  %46 = load i32, ptr %5, align 4
  %47 = lshr i32 %46, 31
  %48 = uitofp i32 %47 to double
  %49 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  store i64 %49, ptr %7, align 4
  %50 = load i64, ptr %7, align 4
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %43, i32 noundef %45, double noundef %48, i64 %50)
  %51 = load ptr, ptr %4, align 8, !tbaa !5
  %52 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %51)
  br i1 %52, label %53, label %54

53:                                               ; preds = %32
  store i32 1, ptr %8, align 4
  br label %177

54:                                               ; preds = %32
  %55 = load i8, ptr %6, align 1, !tbaa !9, !range !11, !noundef !12
  %56 = trunc i8 %55 to i1
  br i1 %56, label %61, label %57

57:                                               ; preds = %54
  %58 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 18
  %59 = load i32, ptr %58, align 8, !tbaa !13
  %60 = add nsw i32 %59, 1
  store i32 %60, ptr %58, align 8, !tbaa !13
  br label %61

61:                                               ; preds = %57, %54
  %62 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 14
  %63 = load i32, ptr %5, align 4
  %64 = and i32 %63, 2147483647
  %65 = zext i32 %64 to i64
  %66 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %62, i64 noundef %65) #4
  %67 = load i8, ptr %66, align 1, !tbaa !75
  %68 = icmp ne i8 %67, 0
  br i1 %68, label %69, label %70

69:                                               ; preds = %61
  store i32 2, ptr %8, align 4
  br label %177, !llvm.loop !76

70:                                               ; preds = %61
  %71 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 14
  %72 = load i32, ptr %5, align 4
  %73 = and i32 %72, 2147483647
  %74 = zext i32 %73 to i64
  %75 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %71, i64 noundef %74) #4
  store i8 1, ptr %75, align 1, !tbaa !75
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #4
  %76 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 1
  %77 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %5)
  %78 = sext i32 %77 to i64
  %79 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %76, i64 noundef %78) #4
  call void @_ZN13HighsHashTreeIiiEC2EOS0_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %79)
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #4
  %80 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 2
  %81 = invoke noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %5)
          to label %82 unwind label %96

82:                                               ; preds = %70
  %83 = sext i32 %81 to i64
  %84 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %80, i64 noundef %83) #4
  invoke void @_ZN13HighsHashTreeIivEC2EOS0_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %84)
          to label %85 unwind label %96

85:                                               ; preds = %82
  call void @llvm.lifetime.start.p0(i64 1, ptr %13) #4
  call void @llvm.lifetime.start.p0(i64 24, ptr %14) #4
  %86 = getelementptr inbounds %class.anon.406, ptr %14, i32 0, i32 0
  store ptr %22, ptr %86, align 8, !tbaa !78
  %87 = getelementptr inbounds %class.anon.406, ptr %14, i32 0, i32 1
  store ptr %5, ptr %87, align 8, !tbaa !5
  %88 = getelementptr inbounds %class.anon.406, ptr %14, i32 0, i32 2
  %89 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %89, ptr %88, align 8, !tbaa !5
  %90 = invoke noundef zeroext i1 @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_0EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(24) %14)
          to label %91 unwind label %100

91:                                               ; preds = %85
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #4
  %92 = zext i1 %90 to i8
  store i8 %92, ptr %13, align 1, !tbaa !9
  %93 = load i8, ptr %13, align 1, !tbaa !9, !range !11, !noundef !12
  %94 = trunc i8 %93 to i1
  br i1 %94, label %95, label %104

95:                                               ; preds = %91
  store i32 1, ptr %8, align 4
  br label %176

96:                                               ; preds = %82, %70
  %97 = landingpad { ptr, i32 }
          cleanup
  %98 = extractvalue { ptr, i32 } %97, 0
  store ptr %98, ptr %11, align 8
  %99 = extractvalue { ptr, i32 } %97, 1
  store i32 %99, ptr %12, align 4
  br label %185

100:                                              ; preds = %85
  %101 = landingpad { ptr, i32 }
          cleanup
  %102 = extractvalue { ptr, i32 } %101, 0
  store ptr %102, ptr %11, align 8
  %103 = extractvalue { ptr, i32 } %101, 1
  store i32 %103, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %14) #4
  br label %184

104:                                              ; preds = %91
  call void @llvm.lifetime.start.p0(i64 24, ptr %15) #4
  %105 = getelementptr inbounds %class.anon.407, ptr %15, i32 0, i32 0
  store ptr %22, ptr %105, align 8, !tbaa !80
  %106 = getelementptr inbounds %class.anon.407, ptr %15, i32 0, i32 1
  store ptr %5, ptr %106, align 8, !tbaa !5
  %107 = getelementptr inbounds %class.anon.407, ptr %15, i32 0, i32 2
  %108 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %108, ptr %107, align 8, !tbaa !5
  %109 = invoke noundef zeroext i1 @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_1EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(24) %15)
          to label %110 unwind label %115

110:                                              ; preds = %104
  %111 = zext i1 %109 to i8
  store i8 %111, ptr %13, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 24, ptr %15) #4
  %112 = load i8, ptr %13, align 1, !tbaa !9, !range !11, !noundef !12
  %113 = trunc i8 %112 to i1
  br i1 %113, label %114, label %119

114:                                              ; preds = %110
  store i32 1, ptr %8, align 4
  br label %176

115:                                              ; preds = %104
  %116 = landingpad { ptr, i32 }
          cleanup
  %117 = extractvalue { ptr, i32 } %116, 0
  store ptr %117, ptr %11, align 8
  %118 = extractvalue { ptr, i32 } %116, 1
  store i32 %118, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %15) #4
  br label %184

119:                                              ; preds = %110
  %120 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #4
  %121 = invoke i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %5)
          to label %122 unwind label %146

122:                                              ; preds = %119
  %123 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %16, i32 0, i32 0
  store i32 %121, ptr %123, align 4
  %124 = invoke noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %16)
          to label %125 unwind label %146

125:                                              ; preds = %122
  %126 = sext i32 %124 to i64
  %127 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %120, i64 noundef %126) #4
  %128 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN13HighsHashTreeIiiEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %127)
          to label %129 unwind label %146

129:                                              ; preds = %125
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #4
  %130 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 2
  call void @llvm.lifetime.start.p0(i64 4, ptr %17) #4
  %131 = invoke i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %5)
          to label %132 unwind label %150

132:                                              ; preds = %129
  %133 = getelementptr inbounds %"struct.HighsCliqueTable::CliqueVar", ptr %17, i32 0, i32 0
  store i32 %131, ptr %133, align 4
  %134 = invoke noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %17)
          to label %135 unwind label %150

135:                                              ; preds = %132
  %136 = sext i32 %134 to i64
  %137 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %130, i64 noundef %136) #4
  %138 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN13HighsHashTreeIivEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %137)
          to label %139 unwind label %150

139:                                              ; preds = %135
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  %140 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 22
  %141 = load i8, ptr %140, align 8, !tbaa !82, !range !11, !noundef !12
  %142 = trunc i8 %141 to i1
  br i1 %142, label %143, label %158

143:                                              ; preds = %139
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #4
  %144 = getelementptr inbounds %class.anon.408, ptr %18, i32 0, i32 0
  store ptr %22, ptr %144, align 8, !tbaa !83
  invoke void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_2EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %18)
          to label %145 unwind label %154

145:                                              ; preds = %143
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  store i32 2, ptr %8, align 4
  br label %176, !llvm.loop !76

146:                                              ; preds = %125, %122, %119
  %147 = landingpad { ptr, i32 }
          cleanup
  %148 = extractvalue { ptr, i32 } %147, 0
  store ptr %148, ptr %11, align 8
  %149 = extractvalue { ptr, i32 } %147, 1
  store i32 %149, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #4
  br label %184

150:                                              ; preds = %135, %132, %129
  %151 = landingpad { ptr, i32 }
          cleanup
  %152 = extractvalue { ptr, i32 } %151, 0
  store ptr %152, ptr %11, align 8
  %153 = extractvalue { ptr, i32 } %151, 1
  store i32 %153, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %17) #4
  br label %184

154:                                              ; preds = %143
  %155 = landingpad { ptr, i32 }
          cleanup
  %156 = extractvalue { ptr, i32 } %155, 0
  store ptr %156, ptr %11, align 8
  %157 = extractvalue { ptr, i32 } %155, 1
  store i32 %157, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #4
  br label %184

158:                                              ; preds = %139
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #4
  %159 = getelementptr inbounds %class.anon.409, ptr %19, i32 0, i32 0
  store ptr %22, ptr %159, align 8, !tbaa !85
  invoke void @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_3EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %19)
          to label %160 unwind label %165

160:                                              ; preds = %158
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #4
  %161 = getelementptr inbounds %class.HighsCliqueTable, ptr %22, i32 0, i32 16
  %162 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %161) #4
  br i1 %162, label %163, label %164

163:                                              ; preds = %160
  br label %170

164:                                              ; preds = %160
  call void @__assert_fail(ptr noundef @.str.58, ptr noundef @.str.52, i32 noundef 1603, ptr noundef @__PRETTY_FUNCTION__._ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain) #5
  unreachable

165:                                              ; preds = %158
  %166 = landingpad { ptr, i32 }
          cleanup
  %167 = extractvalue { ptr, i32 } %166, 0
  store ptr %167, ptr %11, align 8
  %168 = extractvalue { ptr, i32 } %166, 1
  store i32 %168, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #4
  br label %184

169:                                              ; No predecessors!
  br label %170

170:                                              ; preds = %169, %163
  call void @llvm.lifetime.start.p0(i64 24, ptr %20) #4
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %20) #4
  call void @llvm.lifetime.start.p0(i64 24, ptr %21) #4
  %171 = getelementptr inbounds %class.anon.410, ptr %21, i32 0, i32 0
  store ptr %22, ptr %171, align 8, !tbaa !87
  %172 = getelementptr inbounds %class.anon.410, ptr %21, i32 0, i32 1
  store ptr %20, ptr %172, align 8, !tbaa !5
  %173 = getelementptr inbounds %class.anon.410, ptr %21, i32 0, i32 2
  %174 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %174, ptr %173, align 8, !tbaa !5
  invoke void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_4EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(24) %21)
          to label %175 unwind label %180

175:                                              ; preds = %170
  call void @llvm.lifetime.end.p0(i64 24, ptr %21) #4
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %20) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr %20) #4
  store i32 0, ptr %8, align 4
  br label %176

176:                                              ; preds = %175, %145, %114, %95
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #4
  call void @_ZN13HighsHashTreeIivED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #4
  call void @_ZN13HighsHashTreeIiiED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #4
  br label %177

177:                                              ; preds = %176, %69, %53
  call void @llvm.lifetime.end.p0(i64 1, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #4
  %178 = load i32, ptr %8, align 4
  switch i32 %178, label %194 [
    i32 0, label %179
    i32 1, label %188
    i32 2, label %23
  ]

179:                                              ; preds = %177
  br label %23, !llvm.loop !76

180:                                              ; preds = %170
  %181 = landingpad { ptr, i32 }
          cleanup
  %182 = extractvalue { ptr, i32 } %181, 0
  store ptr %182, ptr %11, align 8
  %183 = extractvalue { ptr, i32 } %181, 1
  store i32 %183, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 24, ptr %21) #4
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %20) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr %20) #4
  br label %184

184:                                              ; preds = %180, %165, %154, %150, %146, %115, %100
  call void @llvm.lifetime.end.p0(i64 1, ptr %13) #4
  call void @_ZN13HighsHashTreeIivED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #4
  br label %185

185:                                              ; preds = %184, %96
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #4
  call void @_ZN13HighsHashTreeIiiED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #4
  call void @llvm.lifetime.end.p0(i64 1, ptr %6) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #4
  br label %189

186:                                              ; preds = %30
  %187 = load ptr, ptr %4, align 8, !tbaa !5
  call void @_ZN16HighsCliqueTable19propagateAndCleanupER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %22, ptr noundef nonnull align 8 dereferenceable(824) %187)
  br label %188

188:                                              ; preds = %186, %177
  ret void

189:                                              ; preds = %185
  %190 = load ptr, ptr %11, align 8
  %191 = load i32, ptr %12, align 4
  %192 = insertvalue { ptr, i32 } poison, ptr %190, 0
  %193 = insertvalue { ptr, i32 } %192, i32 %191, 1
  resume { ptr, i32 } %193

194:                                              ; preds = %177
  unreachable
}

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_0EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_1EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_2EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #3 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_3EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #3 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_4EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24)) #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable19propagateAndCleanupER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(824)) #3 align 2

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


; 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.HighsCliqueTable::CliqueVar" = type { i32 }
%class.HighsHashTree.56 = type { %"struct.HighsHashTree<int, int>::NodePtr" }
%"struct.HighsHashTree<int, int>::NodePtr" = type { i64 }
%class.HighsHashTree = type { %"struct.HighsHashTree<int>::NodePtr" }
%"struct.HighsHashTree<int>::NodePtr" = type { i64 }
%class.anon.406 = type { ptr, ptr, ptr }
%class.anon.407 = type { ptr, ptr, ptr }
%class.anon.408 = type { ptr }
%class.anon.409 = type { 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.anon.410 = type { ptr, ptr, ptr }

@.str.52 = external hidden unnamed_addr constant [78 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [22 x i8], align 1
@__PRETTY_FUNCTION__._ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain = external hidden unnamed_addr constant [64 x i8], align 1

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

declare i32 @__gxx_personality_v0(...)

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4)) local_unnamed_addr #2 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 #2 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 #2 align 2

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

; 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 #3 align 2

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824), i32 noundef, double noundef, i64) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local i64 @_ZN11HighsDomain6Reason11unspecifiedEv() local_unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %4 = alloca %class.HighsHashTree.56, align 8
  %5 = alloca %class.HighsHashTree, align 8
  %6 = alloca %class.anon.406, align 8
  %7 = alloca %class.anon.407, align 8
  %8 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %9 = alloca %"struct.HighsCliqueTable::CliqueVar", align 4
  %10 = alloca %class.anon.408, align 8
  %11 = alloca %class.anon.409, align 8
  %12 = alloca %"class.std::vector", align 8
  %13 = alloca %class.anon.410, align 8
  %14 = getelementptr inbounds i8, ptr %0, i64 232
  %15 = getelementptr inbounds i8, ptr %0, i64 456
  %16 = getelementptr inbounds i8, ptr %0, i64 376
  %17 = getelementptr inbounds i8, ptr %0, i64 24
  %18 = getelementptr inbounds i8, ptr %0, i64 48
  %19 = getelementptr inbounds i8, ptr %6, i64 8
  %20 = getelementptr inbounds i8, ptr %6, i64 16
  %21 = getelementptr inbounds i8, ptr %7, i64 8
  %22 = getelementptr inbounds i8, ptr %7, i64 16
  %23 = getelementptr inbounds i8, ptr %0, i64 472
  %24 = getelementptr inbounds i8, ptr %0, i64 424
  %25 = getelementptr inbounds i8, ptr %13, i64 8
  %26 = getelementptr inbounds i8, ptr %13, i64 16
  br label %27

27:                                               ; preds = %110, %2
  %28 = call noundef zeroext i1 @_ZNKSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #4
  br i1 %28, label %.critedge, label %29

29:                                               ; preds = %27
  %30 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %1)
  br i1 %30, label %.critedge, label %31

31:                                               ; preds = %29
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #4
  %32 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #4
  %33 = call i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %32)
  store i32 %33, ptr %3, align 4
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #4
  call void @_ZNK16HighsCliqueTable19resolveSubstitutionERNS_9CliqueVarE(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 4 dereferenceable(4) %3)
  %34 = load i32, ptr %3, align 4
  %35 = and i32 %34, 2147483647
  %36 = call noundef zeroext i1 @_ZNK11HighsDomain7isFixedEi(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %35)
  %37 = load i32, ptr %3, align 4
  %38 = and i32 %37, 2147483647
  %39 = lshr i32 %37, 31
  %40 = uitofp nneg i32 %39 to double
  %41 = call i64 @_ZN11HighsDomain6Reason11unspecifiedEv()
  call void @_ZN11HighsDomain6fixColEidNS_6ReasonE(ptr noundef nonnull align 8 dereferenceable(824) %1, i32 noundef %38, double noundef %40, i64 %41)
  %42 = call noundef zeroext i1 @_ZNK11HighsDomain10infeasibleEv(ptr noundef nonnull align 8 dereferenceable(824) %1)
  br i1 %42, label %.thread, label %43

.thread:                                          ; preds = %31
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #4
  br label %.loopexit

43:                                               ; preds = %31
  br i1 %36, label %47, label %44

44:                                               ; preds = %43
  %45 = load i32, ptr %15, align 8, !tbaa !5
  %46 = add nsw i32 %45, 1
  store i32 %46, ptr %15, align 8, !tbaa !5
  br label %47

47:                                               ; preds = %44, %43
  %48 = load i32, ptr %3, align 4
  %49 = and i32 %48, 2147483647
  %50 = zext nneg i32 %49 to i64
  %51 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %50) #4
  %52 = load i8, ptr %51, align 1, !tbaa !71
  %.not = icmp eq i8 %52, 0
  br i1 %.not, label %53, label %110, !llvm.loop !72

53:                                               ; preds = %47
  %54 = load i32, ptr %3, align 4
  %55 = and i32 %54, 2147483647
  %56 = zext nneg i32 %55 to i64
  %57 = call noundef nonnull align 1 dereferenceable(1) ptr @_ZNSt6vectorIhSaIhEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %16, i64 noundef %56) #4
  store i8 1, ptr %57, align 1, !tbaa !71
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #4
  %58 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %3)
  %59 = sext i32 %58 to i64
  %60 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %17, i64 noundef %59) #4
  call void @_ZN13HighsHashTreeIiiEC2EOS0_(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %60)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #4
  %61 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %3)
  %62 = sext i32 %61 to i64
  %63 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %62) #4
  invoke void @_ZN13HighsHashTreeIivEC2EOS0_(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %63)
          to label %64 unwind label %67

64:                                               ; preds = %53
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %6) #4
  store ptr %0, ptr %6, align 8, !tbaa !74
  store ptr %3, ptr %19, align 8, !tbaa !76
  store ptr %1, ptr %20, align 8, !tbaa !76
  %65 = invoke noundef zeroext i1 @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_0EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(24) %6)
          to label %66 unwind label %69

66:                                               ; preds = %64
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #4
  br i1 %65, label %109, label %71

67:                                               ; preds = %53
  %68 = landingpad { ptr, i32 }
          cleanup
  br label %114

69:                                               ; preds = %64
  %70 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %6) #4
  br label %113

71:                                               ; preds = %66
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %7) #4
  store ptr %0, ptr %7, align 8, !tbaa !77
  store ptr %3, ptr %21, align 8, !tbaa !76
  store ptr %1, ptr %22, align 8, !tbaa !76
  %72 = invoke noundef zeroext i1 @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_1EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(24) %7)
          to label %73 unwind label %74

73:                                               ; preds = %71
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #4
  br i1 %72, label %109, label %76

74:                                               ; preds = %71
  %75 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %7) #4
  br label %113

76:                                               ; preds = %73
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %8) #4
  %77 = invoke i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %3)
          to label %78 unwind label %95

78:                                               ; preds = %76
  store i32 %77, ptr %8, align 4
  %79 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %8)
  %80 = sext i32 %79 to i64
  %81 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIiiESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %17, i64 noundef %80) #4
  %82 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN13HighsHashTreeIiiEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %81)
          to label %83 unwind label %95

83:                                               ; preds = %78
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #4
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %9) #4
  %84 = invoke i32 @_ZNK16HighsCliqueTable9CliqueVar10complementEv(ptr noundef nonnull align 4 dereferenceable(4) %3)
          to label %85 unwind label %97

85:                                               ; preds = %83
  store i32 %84, ptr %9, align 4
  %86 = call noundef i32 @_ZNK16HighsCliqueTable9CliqueVar5indexEv(ptr noundef nonnull align 4 dereferenceable(4) %9)
  %87 = sext i32 %86 to i64
  %88 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorI13HighsHashTreeIivESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %18, i64 noundef %87) #4
  %89 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN13HighsHashTreeIivEaSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %88)
          to label %90 unwind label %97

90:                                               ; preds = %85
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #4
  %91 = load i8, ptr %23, align 8, !tbaa !79, !range !80, !noundef !81
  %92 = trunc nuw i8 %91 to i1
  br i1 %92, label %93, label %101

93:                                               ; preds = %90
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #4
  store ptr %0, ptr %10, align 8, !tbaa !82
  invoke void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_2EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %10)
          to label %94 unwind label %99

94:                                               ; preds = %93
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #4
  br label %109, !llvm.loop !72

95:                                               ; preds = %78, %76
  %96 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %8) #4
  br label %113

97:                                               ; preds = %85, %83
  %98 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %9) #4
  br label %113

99:                                               ; preds = %93
  %100 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #4
  br label %113

101:                                              ; preds = %90
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #4
  store ptr %0, ptr %11, align 8, !tbaa !84
  invoke void @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_3EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %11)
          to label %102 unwind label %105

102:                                              ; preds = %101
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #4
  %103 = call noundef zeroext i1 @_ZNKSt6vectorIiSaIiEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %24) #4
  br i1 %103, label %107, label %104

104:                                              ; preds = %102
  call void @__assert_fail(ptr noundef nonnull @.str.58, ptr noundef nonnull @.str.52, i32 noundef 1603, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomain) #5
  unreachable

105:                                              ; preds = %101
  %106 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #4
  br label %113

107:                                              ; preds = %102
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %12) #4
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #4
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %13) #4
  store ptr %0, ptr %13, align 8, !tbaa !86
  store ptr %12, ptr %25, align 8, !tbaa !76
  store ptr %1, ptr %26, align 8, !tbaa !76
  invoke void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_4EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(24) %13)
          to label %108 unwind label %111

108:                                              ; preds = %107
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #4
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #4
  br label %109

109:                                              ; preds = %73, %66, %108, %94
  %.016 = phi i32 [ 2, %94 ], [ 0, %108 ], [ 1, %66 ], [ 1, %73 ]
  call void @_ZN13HighsHashTreeIivED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #4
  call void @_ZN13HighsHashTreeIiiED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %4) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #4
  br label %110

110:                                              ; preds = %47, %109
  %.117 = phi i32 [ %.016, %109 ], [ 2, %47 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #4
  %switch = icmp eq i32 %.117, 1
  br i1 %switch, label %.loopexit, label %27

111:                                              ; preds = %107
  %112 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #4
  call void @_ZNSt6vectorIN16HighsCliqueTable9CliqueVarESaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %12) #4
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %12) #4
  br label %113

113:                                              ; preds = %111, %105, %99, %97, %95, %74, %69
  %.pn = phi { ptr, i32 } [ %100, %99 ], [ %112, %111 ], [ %106, %105 ], [ %98, %97 ], [ %96, %95 ], [ %75, %74 ], [ %70, %69 ]
  call void @_ZN13HighsHashTreeIivED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #4
  br label %114

114:                                              ; preds = %113, %67
  %.pn.pn = phi { ptr, i32 } [ %.pn, %113 ], [ %68, %67 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #4
  call void @_ZN13HighsHashTreeIiiED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %4) #4
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #4
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #4
  resume { ptr, i32 } %.pn.pn

.critedge:                                        ; preds = %27, %29
  call void @_ZN16HighsCliqueTable19propagateAndCleanupER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488) %0, ptr noundef nonnull align 8 dereferenceable(824) %1)
  br label %.loopexit

.loopexit:                                        ; preds = %110, %.thread, %.critedge
  ret void
}

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_0EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_1EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_2EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIivE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_3EEDTcldtcv19HighsHashTableEntryIivE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @"_ZNK13HighsHashTreeIiiE8for_eachIZN16HighsCliqueTable25processInfeasibleVerticesER11HighsDomainE3$_4EEDTcldtcv19HighsHashTableEntryIiiE_E7forwardfp_EEOT_"(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN16HighsCliqueTable19propagateAndCleanupER11HighsDomain(ptr noundef nonnull align 8 dereferenceable(488), ptr noundef nonnull align 8 dereferenceable(824)) local_unnamed_addr #3 align 2

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


; Effective O3 passes: CorrelatedValuePropagationPass,EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LICMPass,LoopSimplifyPass,LoopUnrollPass,SROAPass,SimplifyCFGPass