; LLVM IR from facebook/redex :: service/cse (CommonSubexpressionElimination)

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

%"class.(anonymous namespace)::Analyzer" = type { %"class.ir_analyzer::BaseEdgeAwareIRAnalyzer", %"class.std::vector.331", %class.UnorderedSet.443, i8, %class.UnorderedSet, %class.UnorderedMap.465, ptr, %class.UnorderedMap.481, %class.UnorderedSet.501, %class.UnorderedMap.523, %class.UnorderedMap.539 }
%"class.ir_analyzer::BaseEdgeAwareIRAnalyzer" = type { %"class.sparta::MonotonicFixpointIterator" }
%"class.sparta::MonotonicFixpointIterator" = type { %"class.sparta::fp_impl::MonotonicFixpointIteratorBase", %"class.sparta::WeakPartialOrdering" }
%"class.sparta::fp_impl::MonotonicFixpointIteratorBase" = type { %"class.sparta::FixpointIterator", ptr, %"class.(anonymous namespace)::CseEnvironment", %"class.std::unordered_map.399", %"class.std::unordered_map.399" }
%"class.sparta::FixpointIterator" = type { ptr }
%"class.(anonymous namespace)::CseEnvironment" = type { %"class.sparta::ReducedProductAbstractDomain" }
%"class.sparta::ReducedProductAbstractDomain" = type { %"class.sparta::DirectProductAbstractDomain" }
%"class.sparta::DirectProductAbstractDomain" = type { %"class.std::tuple.361" }
%"class.std::tuple.361" = type { %"struct.std::_Tuple_impl.362" }
%"struct.std::_Tuple_impl.362" = type { %"struct.std::_Tuple_impl.363", %"struct.std::_Head_base.380" }
%"struct.std::_Tuple_impl.363" = type { %"struct.std::_Tuple_impl.364", %"struct.std::_Head_base.370" }
%"struct.std::_Tuple_impl.364" = type { %"struct.std::_Head_base.365" }
%"struct.std::_Head_base.365" = type { %"class.(anonymous namespace)::CondEnvironment" }
%"class.(anonymous namespace)::CondEnvironment" = type { %"class.sparta::AbstractDomainReverseAdaptor" }
%"class.sparta::AbstractDomainReverseAdaptor" = type { %"class.sparta::SetAbstractDomain" }
%"class.sparta::SetAbstractDomain" = type { %"class.sparta::PowersetAbstractDomain" }
%"class.sparta::PowersetAbstractDomain" = type { %"class.sparta::AbstractDomainScaffolding" }
%"class.sparta::AbstractDomainScaffolding" = type { i32, %"class.sparta::set_impl::SetValue" }
%"class.sparta::set_impl::SetValue" = type { %"class.sparta::PatriciaTreeSet" }
%"class.sparta::PatriciaTreeSet" = type { %"class.sparta::pt_core::PatriciaTreeCore" }
%"class.sparta::pt_core::PatriciaTreeCore" = type { %"class.boost::intrusive_ptr" }
%"class.boost::intrusive_ptr" = type { ptr }
%"struct.std::_Head_base.370" = type { %"class.sparta::AbstractEnvironment" }
%"class.sparta::AbstractEnvironment" = type { %"class.sparta::AbstractDomainScaffolding.371" }
%"class.sparta::AbstractDomainScaffolding.371" = type { i32, %"class.sparta::environment_impl::MapValue" }
%"class.sparta::environment_impl::MapValue" = type { %"class.sparta::PatriciaTreeMap" }
%"class.sparta::PatriciaTreeMap" = type { %"class.sparta::pt_core::PatriciaTreeCore.378" }
%"class.sparta::pt_core::PatriciaTreeCore.378" = type { %"class.boost::intrusive_ptr.379" }
%"class.boost::intrusive_ptr.379" = type { ptr }
%"struct.std::_Head_base.380" = type { %"class.sparta::AbstractEnvironment.381" }
%"class.sparta::AbstractEnvironment.381" = type { %"class.sparta::AbstractDomainScaffolding.382" }
%"class.sparta::AbstractDomainScaffolding.382" = type { i32, %"class.sparta::environment_impl::MapValue.387" }
%"class.sparta::environment_impl::MapValue.387" = type { %"class.sparta::PatriciaTreeMap.390" }
%"class.sparta::PatriciaTreeMap.390" = type { %"class.sparta::pt_core::PatriciaTreeCore.395" }
%"class.sparta::pt_core::PatriciaTreeCore.395" = type { %"class.boost::intrusive_ptr.396" }
%"class.boost::intrusive_ptr.396" = type { ptr }
%"class.std::unordered_map.399" = type { %"class.std::_Hashtable.400" }
%"class.std::_Hashtable.400" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"struct.std::__detail::_Hash_node_base" = type { ptr }
%"struct.std::__detail::_Prime_rehash_policy" = type { float, i64 }
%"class.sparta::WeakPartialOrdering" = type <{ %"class.std::vector.419", %"class.std::vector.424", %"class.std::unordered_map.429", i8, [7 x i8] }>
%"class.std::vector.419" = type { %"struct.std::_Vector_base.420" }
%"struct.std::_Vector_base.420" = type { %"struct.std::_Vector_base<sparta::WpoNode<cfg::Block *>, std::allocator<sparta::WpoNode<cfg::Block *>>>::_Vector_impl" }
%"struct.std::_Vector_base<sparta::WpoNode<cfg::Block *>, std::allocator<sparta::WpoNode<cfg::Block *>>>::_Vector_impl" = type { %"struct.std::_Vector_base<sparta::WpoNode<cfg::Block *>, std::allocator<sparta::WpoNode<cfg::Block *>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<sparta::WpoNode<cfg::Block *>, std::allocator<sparta::WpoNode<cfg::Block *>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.424" = type { %"struct.std::_Vector_base.425" }
%"struct.std::_Vector_base.425" = 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::unordered_map.429" = type { %"class.std::_Hashtable.430" }
%"class.std::_Hashtable.430" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.std::vector.331" = type { %"struct.std::_Vector_base.332" }
%"struct.std::_Vector_base.332" = type { %"struct.std::_Vector_base<IRInstruction *, std::allocator<IRInstruction *>>::_Vector_impl" }
%"struct.std::_Vector_base<IRInstruction *, std::allocator<IRInstruction *>>::_Vector_impl" = type { %"struct.std::_Vector_base<IRInstruction *, std::allocator<IRInstruction *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<IRInstruction *, std::allocator<IRInstruction *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.UnorderedSet.443 = type { %"class.std::unordered_set.445" }
%"class.std::unordered_set.445" = type { %"class.std::_Hashtable.446" }
%"class.std::_Hashtable.446" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedSet = type { %"class.std::unordered_set" }
%"class.std::unordered_set" = type { %"class.std::_Hashtable" }
%"class.std::_Hashtable" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.465 = type { %"class.std::unordered_map.467" }
%"class.std::unordered_map.467" = type { %"class.std::_Hashtable.468" }
%"class.std::_Hashtable.468" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.481 = type { %"class.std::unordered_map.483" }
%"class.std::unordered_map.483" = type { %"class.std::_Hashtable.484" }
%"class.std::_Hashtable.484" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedSet.501 = type { %"class.std::unordered_set.503" }
%"class.std::unordered_set.503" = type { %"class.std::_Hashtable.504" }
%"class.std::_Hashtable.504" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.523 = type { %"class.std::unordered_map.525" }
%"class.std::unordered_map.525" = type { %"class.std::_Hashtable.526" }
%"class.std::_Hashtable.526" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.539 = type { %"class.std::unordered_map.541" }
%"class.std::unordered_map.541" = type { %"class.std::_Hashtable.542" }
%"class.std::_Hashtable.542" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.555 = type { %"class.std::unordered_map.557" }
%"class.std::unordered_map.557" = type { %"class.std::_Hashtable.558" }
%"class.std::_Hashtable.558" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.anon.576 = type { ptr, ptr }
%"class.std::vector.577" = type { %"struct.std::_Vector_base.578" }
%"struct.std::_Vector_base.578" = type { %"struct.std::_Vector_base<cfg::Block *, std::allocator<cfg::Block *>>::_Vector_impl" }
%"struct.std::_Vector_base<cfg::Block *, std::allocator<cfg::Block *>>::_Vector_impl" = type { %"struct.std::_Vector_base<cfg::Block *, std::allocator<cfg::Block *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<cfg::Block *, std::allocator<cfg::Block *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.582" = type { ptr }
%"class.boost::intrusive::list_iterator" = type { %"struct.boost::intrusive::iiterator_members" }
%"struct.boost::intrusive::iiterator_members" = type { ptr }
%"class.ir_list::InstructionIterableImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.ir_list::InstructionIteratorImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.boost::optional" = type { %"class.boost::optional_detail::tc_optional_base" }
%"class.boost::optional_detail::tc_optional_base" = type { i8, i64 }
%"class.sparta::SetAbstractDomain.610" = type { %"class.sparta::PowersetAbstractDomain.611" }
%"class.sparta::PowersetAbstractDomain.611" = type { %"class.sparta::AbstractDomainScaffolding.612" }
%"class.sparta::AbstractDomainScaffolding.612" = type { i32, %"class.sparta::set_impl::SetValue.617" }
%"class.sparta::set_impl::SetValue.617" = type { %"class.sparta::PatriciaTreeSet.621" }
%"class.sparta::PatriciaTreeSet.621" = type { %"class.sparta::pt_core::PatriciaTreeCore.624" }
%"class.sparta::pt_core::PatriciaTreeCore.624" = type { %"class.boost::intrusive_ptr" }
%"class.sparta::pt_core::PatriciaTreeIterator" = type { %"class.sparta::pt_core::PatriciaTreePostOrder" }
%"class.sparta::pt_core::PatriciaTreePostOrder" = type { %"class.boost::intrusive_ptr", %"class.std::stack", ptr }
%"class.std::stack" = type { %"class.std::deque" }
%"class.std::deque" = type { %"class.std::_Deque_base" }
%"class.std::_Deque_base" = type { %"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *>>::_Deque_impl" }
%"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *>>::_Deque_impl" = type { %"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *>>::_Deque_impl_data" }
%"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator", %"struct.std::_Deque_iterator" }
%"struct.std::_Deque_iterator" = type { ptr, ptr, ptr, ptr }
%"struct.cse_impl::CommonSubexpressionElimination::Forward" = type { i64, ptr }
%"class.__gnu_cxx::__normal_iterator.632" = type { ptr }
%"class.cse_impl::CommonSubexpressionElimination" = type { %class.UnorderedMap.272, %"class.std::vector.294", %"class.std::vector.299", %"class.std::vector.304", ptr, %"struct.cse_impl::Stats", i8, ptr, ptr, %"class.std::vector.331", ptr }
%class.UnorderedMap.272 = type { %"class.std::unordered_map.274" }
%"class.std::unordered_map.274" = type { %"class.std::_Hashtable.275" }
%"class.std::_Hashtable.275" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.std::vector.294" = type { %"struct.std::_Vector_base.295" }
%"struct.std::_Vector_base.295" = type { %"struct.std::_Vector_base<cse_impl::CommonSubexpressionElimination::Forward, std::allocator<cse_impl::CommonSubexpressionElimination::Forward>>::_Vector_impl" }
%"struct.std::_Vector_base<cse_impl::CommonSubexpressionElimination::Forward, std::allocator<cse_impl::CommonSubexpressionElimination::Forward>>::_Vector_impl" = type { %"struct.std::_Vector_base<cse_impl::CommonSubexpressionElimination::Forward, std::allocator<cse_impl::CommonSubexpressionElimination::Forward>>::_Vector_impl_data" }
%"struct.std::_Vector_base<cse_impl::CommonSubexpressionElimination::Forward, std::allocator<cse_impl::CommonSubexpressionElimination::Forward>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.299" = type { %"struct.std::_Vector_base.300" }
%"struct.std::_Vector_base.300" = type { %"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl" }
%"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl" = type { %"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.304" = type { %"struct.std::_Vector_base.305" }
%"struct.std::_Vector_base.305" = type { %"struct.std::_Vector_base<sparta::PatriciaTreeSet<const IRInstruction *>, std::allocator<sparta::PatriciaTreeSet<const IRInstruction *>>>::_Vector_impl" }
%"struct.std::_Vector_base<sparta::PatriciaTreeSet<const IRInstruction *>, std::allocator<sparta::PatriciaTreeSet<const IRInstruction *>>>::_Vector_impl" = type { %"struct.std::_Vector_base<sparta::PatriciaTreeSet<const IRInstruction *>, std::allocator<sparta::PatriciaTreeSet<const IRInstruction *>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<sparta::PatriciaTreeSet<const IRInstruction *>, std::allocator<sparta::PatriciaTreeSet<const IRInstruction *>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.cse_impl::Stats" = type { i64, i64, i64, i64, i64, i64, %class.UnorderedMap.309, i64, i64 }
%class.UnorderedMap.309 = type { %"class.std::unordered_map.311" }
%"class.std::unordered_map.311" = type { %"class.std::_Hashtable.312" }
%"class.std::_Hashtable.312" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%struct.MethodItemEntry = type { %"class.boost::intrusive::list_member_hook", i32, %union.anon.583 }
%"class.boost::intrusive::list_member_hook" = type { %"class.boost::intrusive::generic_hook" }
%"class.boost::intrusive::generic_hook" = type { %"struct.boost::intrusive::list_node" }
%"struct.boost::intrusive::list_node" = type { ptr, ptr }
%union.anon.583 = type { ptr }

@.str.108 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [37 x i8], align 1
@__PRETTY_FUNCTION__._ZN8cse_impl30CommonSubexpressionEliminationC2EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeList = external hidden unnamed_addr constant [151 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [36 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32)) #2 align 2

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN8cse_impl30CommonSubexpressionEliminationC2EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeList(ptr noundef nonnull align 8 dereferenceable(312) %0, ptr noundef %1, ptr noundef nonnull align 8 dereferenceable(160) %2, i1 noundef zeroext %3, i1 noundef zeroext %4, ptr noundef %5, ptr noundef %6) unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i8, align 1
  %12 = alloca i8, align 1
  %13 = alloca ptr, align 8
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca %"class.(anonymous namespace)::Analyzer", align 8
  %18 = alloca %class.UnorderedMap.555, align 8
  %19 = alloca %class.anon.576, align 8
  %20 = alloca ptr, align 8
  %21 = alloca %"class.std::vector.577", align 8
  %22 = alloca %"class.__gnu_cxx::__normal_iterator.582", align 8
  %23 = alloca %"class.__gnu_cxx::__normal_iterator.582", align 8
  %24 = alloca i32, align 4
  %25 = alloca ptr, align 8
  %26 = alloca %"class.(anonymous namespace)::CseEnvironment", align 8
  %27 = alloca %"class.boost::intrusive::list_iterator", align 8
  %28 = alloca %"class.boost::intrusive::list_iterator", align 8
  %29 = alloca ptr, align 8
  %30 = alloca %"class.ir_list::InstructionIterableImpl", align 8
  %31 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %32 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca i16, align 2
  %36 = alloca %"class.boost::optional", align 8
  %37 = alloca i32, align 4
  %38 = alloca i64, align 8
  %39 = alloca %"class.sparta::SetAbstractDomain.610", align 8
  %40 = alloca %"class.sparta::PatriciaTreeSet.621", align 8
  %41 = alloca i8, align 1
  %42 = alloca ptr, align 8
  %43 = alloca %"class.sparta::pt_core::PatriciaTreeIterator", align 8
  %44 = alloca %"class.sparta::pt_core::PatriciaTreeIterator", align 8
  %45 = alloca ptr, align 8
  %46 = alloca i16, align 2
  %47 = alloca i64, align 8
  %48 = alloca %"struct.cse_impl::CommonSubexpressionElimination::Forward", align 8
  %49 = alloca ptr, align 8
  %50 = alloca %"class.__gnu_cxx::__normal_iterator.632", align 8
  %51 = alloca %"class.__gnu_cxx::__normal_iterator.632", align 8
  %52 = alloca ptr, align 8
  %53 = alloca ptr, align 8
  %54 = alloca %"class.(anonymous namespace)::CseEnvironment", align 8
  store ptr %0, ptr %8, align 8, !tbaa !5
  store ptr %1, ptr %9, align 8, !tbaa !5
  store ptr %2, ptr %10, align 8, !tbaa !5
  %55 = zext i1 %3 to i8
  store i8 %55, ptr %11, align 1, !tbaa !9
  %56 = zext i1 %4 to i8
  store i8 %56, ptr %12, align 1, !tbaa !9
  store ptr %5, ptr %13, align 8, !tbaa !5
  store ptr %6, ptr %14, align 8, !tbaa !5
  %57 = load ptr, ptr %8, align 8
  %58 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 0
  call void @_ZN12UnorderedMapIPK13IRInstructionmSt4hashIS2_ESt8equal_toIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(56) %58)
  %59 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 1
  call void @_ZNSt6vectorIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %59) #7
  %60 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 2
  call void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %60) #7
  %61 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 3
  call void @_ZNSt6vectorIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %61) #7
  %62 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 4
  %63 = load ptr, ptr %10, align 8, !tbaa !5
  store ptr %63, ptr %62, align 8, !tbaa !5
  %64 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 5
  invoke void @_ZN8cse_impl5StatsC2Ev(ptr noundef nonnull align 8 dereferenceable(120) %64)
          to label %65 unwind label %101

65:                                               ; preds = %7
  %66 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 6
  %67 = load i8, ptr %11, align 1, !tbaa !9, !range !11, !noundef !12
  %68 = trunc i8 %67 to i1
  %69 = zext i1 %68 to i8
  store i8 %69, ptr %66, align 8, !tbaa !13
  %70 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 7
  %71 = load ptr, ptr %13, align 8, !tbaa !5
  store ptr %71, ptr %70, align 8, !tbaa !42
  %72 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 8
  %73 = load ptr, ptr %14, align 8, !tbaa !5
  store ptr %73, ptr %72, align 8, !tbaa !43
  %74 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 9
  call void @_ZNSt6vectorIP13IRInstructionSaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %74) #7
  %75 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 10
  %76 = load ptr, ptr %9, align 8, !tbaa !5
  %77 = invoke noundef nonnull align 8 dereferenceable(56) ptr @_ZNK8cse_impl11SharedState16get_abstract_mapEv(ptr noundef nonnull align 8 dereferenceable(520) %76)
          to label %78 unwind label %105

78:                                               ; preds = %65
  store ptr %77, ptr %75, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 720, ptr %17) #7
  %79 = load ptr, ptr %9, align 8, !tbaa !5
  %80 = load ptr, ptr %10, align 8, !tbaa !5
  %81 = load i8, ptr %11, align 1, !tbaa !9, !range !11, !noundef !12
  %82 = trunc i8 %81 to i1
  %83 = load i8, ptr %12, align 1, !tbaa !9, !range !11, !noundef !12
  %84 = trunc i8 %83 to i1
  %85 = load ptr, ptr %13, align 8, !tbaa !5
  invoke void @_ZN12_GLOBAL__N_18AnalyzerC2EPN8cse_impl11SharedStateERN3cfg16ControlFlowGraphEbbP7DexType(ptr noundef nonnull align 8 dereferenceable(720) %17, ptr noundef %79, ptr noundef nonnull align 8 dereferenceable(160) %80, i1 noundef zeroext %82, i1 noundef zeroext %84, ptr noundef %85)
          to label %86 unwind label %109

86:                                               ; preds = %78
  %87 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZN12_GLOBAL__N_18Analyzer18get_unboxing_insnsEv(ptr noundef nonnull align 8 dereferenceable(720) %17)
          to label %88 unwind label %113

88:                                               ; preds = %86
  %89 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 9
  %90 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIP13IRInstructionSaIS1_EEaSERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %89, ptr noundef nonnull align 8 dereferenceable(24) %87)
          to label %91 unwind label %113

91:                                               ; preds = %88
  %92 = invoke noundef i64 @_ZN12_GLOBAL__N_18Analyzer18get_value_ids_sizeEv(ptr noundef nonnull align 8 dereferenceable(720) %17)
          to label %93 unwind label %113

93:                                               ; preds = %91
  %94 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 5
  %95 = getelementptr inbounds %"struct.cse_impl::Stats", ptr %94, i32 0, i32 4
  store i64 %92, ptr %95, align 8, !tbaa !44
  %96 = invoke noundef zeroext i1 @_ZN12_GLOBAL__N_18Analyzer32using_other_tracked_location_bitEv(ptr noundef nonnull align 8 dereferenceable(720) %17)
          to label %97 unwind label %113

97:                                               ; preds = %93
  br i1 %96, label %98, label %117

98:                                               ; preds = %97
  %99 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 5
  %100 = getelementptr inbounds %"struct.cse_impl::Stats", ptr %99, i32 0, i32 5
  store i64 1, ptr %100, align 8, !tbaa !45
  br label %117

101:                                              ; preds = %7
  %102 = landingpad { ptr, i32 }
          cleanup
  %103 = extractvalue { ptr, i32 } %102, 0
  store ptr %103, ptr %15, align 8
  %104 = extractvalue { ptr, i32 } %102, 1
  store i32 %104, ptr %16, align 4
  br label %512

105:                                              ; preds = %65
  %106 = landingpad { ptr, i32 }
          cleanup
  %107 = extractvalue { ptr, i32 } %106, 0
  store ptr %107, ptr %15, align 8
  %108 = extractvalue { ptr, i32 } %106, 1
  store i32 %108, ptr %16, align 4
  br label %511

109:                                              ; preds = %78
  %110 = landingpad { ptr, i32 }
          cleanup
  %111 = extractvalue { ptr, i32 } %110, 0
  store ptr %111, ptr %15, align 8
  %112 = extractvalue { ptr, i32 } %110, 1
  store i32 %112, ptr %16, align 4
  br label %510

113:                                              ; preds = %93, %91, %88, %86
  %114 = landingpad { ptr, i32 }
          cleanup
  %115 = extractvalue { ptr, i32 } %114, 0
  store ptr %115, ptr %15, align 8
  %116 = extractvalue { ptr, i32 } %114, 1
  store i32 %116, ptr %16, align 4
  br label %509

117:                                              ; preds = %98, %97
  call void @llvm.lifetime.start.p0(i64 56, ptr %18) #7
  invoke void @_ZN12UnorderedMapISt6vectorImSaImEEmN5boost4hashIS2_EESt8equal_toIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(56) %18)
          to label %118 unwind label %132

118:                                              ; preds = %117
  call void @llvm.lifetime.start.p0(i64 16, ptr %19) #7
  %119 = getelementptr inbounds %class.anon.576, ptr %19, i32 0, i32 0
  store ptr %57, ptr %119, align 8, !tbaa !46
  %120 = getelementptr inbounds %class.anon.576, ptr %19, i32 0, i32 1
  store ptr %18, ptr %120, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr %21) #7
  %121 = load ptr, ptr %10, align 8, !tbaa !5
  invoke void @_ZNK3cfg16ControlFlowGraph6blocksEv(ptr dead_on_unwind writable sret(%"class.std::vector.577") align 8 %21, ptr noundef nonnull align 8 dereferenceable(160) %121)
          to label %122 unwind label %136

122:                                              ; preds = %118
  store ptr %21, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #7
  %123 = load ptr, ptr %20, align 8, !tbaa !5
  %124 = call ptr @_ZNSt6vectorIPN3cfg5BlockESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %123) #7
  %125 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.582", ptr %22, i32 0, i32 0
  store ptr %124, ptr %125, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #7
  %126 = load ptr, ptr %20, align 8, !tbaa !5
  %127 = call ptr @_ZNSt6vectorIPN3cfg5BlockESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %126) #7
  %128 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.582", ptr %23, i32 0, i32 0
  store ptr %127, ptr %128, align 8
  br label %129

129:                                              ; preds = %501, %122
  %130 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 8 dereferenceable(8) %23) #7
  br i1 %130, label %140, label %131

131:                                              ; preds = %129
  store i32 2, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @_ZNSt6vectorIPN3cfg5BlockESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #7
  br label %507

132:                                              ; preds = %117
  %133 = landingpad { ptr, i32 }
          cleanup
  %134 = extractvalue { ptr, i32 } %133, 0
  store ptr %134, ptr %15, align 8
  %135 = extractvalue { ptr, i32 } %133, 1
  store i32 %135, ptr %16, align 4
  br label %508

136:                                              ; preds = %118
  %137 = landingpad { ptr, i32 }
          cleanup
  %138 = extractvalue { ptr, i32 } %137, 0
  store ptr %138, ptr %15, align 8
  %139 = extractvalue { ptr, i32 } %137, 1
  store i32 %139, ptr %16, align 4
  br label %506

140:                                              ; preds = %129
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #7
  %141 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #7
  %142 = load ptr, ptr %141, align 8, !tbaa !5
  store ptr %142, ptr %25, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 48, ptr %26) #7
  %143 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNK6sparta7fp_impl29MonotonicFixpointIteratorBaseIN3cfg14GraphInterfaceEN12_GLOBAL__N_114CseEnvironmentESt4hashIPNS2_5BlockEEE18get_entry_state_atERKS8_(ptr noundef nonnull align 8 dereferenceable(176) %17, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %144 unwind label %149

144:                                              ; preds = %140
  invoke void @_ZN12_GLOBAL__N_114CseEnvironmentC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(48) %26, ptr noundef nonnull align 8 dereferenceable(48) %143)
          to label %145 unwind label %149

145:                                              ; preds = %144
  %146 = invoke noundef zeroext i1 @_ZNK6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(48) %26)
          to label %147 unwind label %153

147:                                              ; preds = %145
  br i1 %146, label %148, label %157

148:                                              ; preds = %147
  store i32 3, ptr %24, align 4
  br label %495

149:                                              ; preds = %144, %140
  %150 = landingpad { ptr, i32 }
          cleanup
  %151 = extractvalue { ptr, i32 } %150, 0
  store ptr %151, ptr %15, align 8
  %152 = extractvalue { ptr, i32 } %150, 1
  store i32 %152, ptr %16, align 4
  br label %505

153:                                              ; preds = %145
  %154 = landingpad { ptr, i32 }
          cleanup
  %155 = extractvalue { ptr, i32 } %154, 0
  store ptr %155, ptr %15, align 8
  %156 = extractvalue { ptr, i32 } %154, 1
  store i32 %156, ptr %16, align 4
  br label %504

157:                                              ; preds = %147
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #7
  %158 = load ptr, ptr %25, align 8, !tbaa !5
  invoke void @_ZN3cfg5Block13get_last_insnEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8 %27, ptr noundef nonnull align 8 dereferenceable(104) %158)
          to label %159 unwind label %165

159:                                              ; preds = %157
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #7
  %160 = load ptr, ptr %25, align 8, !tbaa !5
  invoke void @_ZN3cfg5Block3endEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8 %28, ptr noundef nonnull align 8 dereferenceable(104) %160)
          to label %161 unwind label %169

161:                                              ; preds = %159
  %162 = invoke noundef zeroext i1 @_ZN5boost9intrusiveeqERKNS0_13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEES9_(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %28)
          to label %163 unwind label %169

163:                                              ; preds = %161
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  br i1 %162, label %164, label %173

164:                                              ; preds = %163
  store i32 3, ptr %24, align 4
  br label %494

165:                                              ; preds = %442, %438, %436, %433, %429, %427, %157
  %166 = landingpad { ptr, i32 }
          cleanup
  %167 = extractvalue { ptr, i32 } %166, 0
  store ptr %167, ptr %15, align 8
  %168 = extractvalue { ptr, i32 } %166, 1
  store i32 %168, ptr %16, align 4
  br label %503

169:                                              ; preds = %161, %159
  %170 = landingpad { ptr, i32 }
          cleanup
  %171 = extractvalue { ptr, i32 } %170, 0
  store ptr %171, ptr %15, align 8
  %172 = extractvalue { ptr, i32 } %170, 1
  store i32 %172, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  br label %503

173:                                              ; preds = %163
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #7
  call void @llvm.lifetime.start.p0(i64 16, ptr %30) #7
  %174 = load ptr, ptr %25, align 8, !tbaa !5
  invoke void @_Z19InstructionIterableIN3cfg5BlockEEN7ir_list23InstructionIterableImplILb0EEEPT_(ptr dead_on_unwind writable sret(%"class.ir_list::InstructionIterableImpl") align 8 %30, ptr noundef %174)
          to label %175 unwind label %184

175:                                              ; preds = %173
  store ptr %30, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %31) #7
  %176 = load ptr, ptr %29, align 8, !tbaa !5
  invoke void @_ZNK7ir_list23InstructionIterableImplILb0EE5beginEv(ptr dead_on_unwind writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %31, ptr noundef nonnull align 8 dereferenceable(16) %176)
          to label %177 unwind label %188

177:                                              ; preds = %175
  call void @llvm.lifetime.start.p0(i64 16, ptr %32) #7
  %178 = load ptr, ptr %29, align 8, !tbaa !5
  invoke void @_ZNK7ir_list23InstructionIterableImplILb0EE3endEv(ptr dead_on_unwind writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %32, ptr noundef nonnull align 8 dereferenceable(16) %178)
          to label %179 unwind label %192

179:                                              ; preds = %177
  br label %180

180:                                              ; preds = %404, %179
  %181 = invoke noundef zeroext i1 @_ZNK7ir_list23InstructionIteratorImplILb0EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %31, ptr noundef nonnull align 8 dereferenceable(16) %32)
          to label %182 unwind label %192

182:                                              ; preds = %180
  br i1 %181, label %196, label %183

183:                                              ; preds = %182
  store i32 4, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %30) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  br label %427

184:                                              ; preds = %173
  %185 = landingpad { ptr, i32 }
          cleanup
  %186 = extractvalue { ptr, i32 } %185, 0
  store ptr %186, ptr %15, align 8
  %187 = extractvalue { ptr, i32 } %185, 1
  store i32 %187, ptr %16, align 4
  br label %426

188:                                              ; preds = %175
  %189 = landingpad { ptr, i32 }
          cleanup
  %190 = extractvalue { ptr, i32 } %189, 0
  store ptr %190, ptr %15, align 8
  %191 = extractvalue { ptr, i32 } %189, 1
  store i32 %191, ptr %16, align 4
  br label %425

192:                                              ; preds = %402, %180, %177
  %193 = landingpad { ptr, i32 }
          cleanup
  %194 = extractvalue { ptr, i32 } %193, 0
  store ptr %194, ptr %15, align 8
  %195 = extractvalue { ptr, i32 } %193, 1
  store i32 %195, ptr %16, align 4
  br label %424

196:                                              ; preds = %182
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #7
  %197 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
          to label %198 unwind label %225

198:                                              ; preds = %196
  store ptr %197, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #7
  %199 = load ptr, ptr %33, align 8, !tbaa !5
  %200 = getelementptr inbounds %struct.MethodItemEntry, ptr %199, i32 0, i32 2
  %201 = load ptr, ptr %200, align 8, !tbaa !48
  store ptr %201, ptr %34, align 8, !tbaa !5
  %202 = load ptr, ptr %34, align 8, !tbaa !5
  %203 = load ptr, ptr %34, align 8, !tbaa !5
  %204 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %27)
          to label %205 unwind label %229

205:                                              ; preds = %198
  %206 = getelementptr inbounds %struct.MethodItemEntry, ptr %204, i32 0, i32 2
  %207 = load ptr, ptr %206, align 8, !tbaa !48
  %208 = icmp eq ptr %203, %207
  invoke void @_ZNK11ir_analyzer23BaseEdgeAwareIRAnalyzerIN12_GLOBAL__N_114CseEnvironmentEE19analyze_instructionEPK13IRInstructionPS2_b(ptr noundef nonnull align 8 dereferenceable(288) %17, ptr noundef %202, ptr noundef %26, i1 noundef zeroext %208)
          to label %209 unwind label %229

209:                                              ; preds = %205
  call void @llvm.lifetime.start.p0(i64 2, ptr %35) #7
  %210 = load ptr, ptr %34, align 8, !tbaa !5
  %211 = invoke noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %210)
          to label %212 unwind label %233

212:                                              ; preds = %209
  store i16 %211, ptr %35, align 2, !tbaa !49
  %213 = load ptr, ptr %34, align 8, !tbaa !5
  %214 = invoke noundef zeroext i1 @_ZNK13IRInstruction8has_destEv(ptr noundef nonnull align 8 dereferenceable(32) %213)
          to label %215 unwind label %233

215:                                              ; preds = %212
  br i1 %214, label %216, label %224

216:                                              ; preds = %215
  %217 = load i16, ptr %35, align 2, !tbaa !49
  %218 = invoke noundef zeroext i1 @_ZN6opcode9is_a_moveE8IROpcode(i16 noundef zeroext %217)
          to label %219 unwind label %233

219:                                              ; preds = %216
  br i1 %218, label %224, label %220

220:                                              ; preds = %219
  %221 = load i16, ptr %35, align 2, !tbaa !49
  %222 = invoke noundef zeroext i1 @_ZN6opcode10is_a_constE8IROpcode(i16 noundef zeroext %221)
          to label %223 unwind label %233

223:                                              ; preds = %220
  br i1 %222, label %224, label %237

224:                                              ; preds = %223, %219, %215
  store i32 5, ptr %24, align 4
  br label %396

225:                                              ; preds = %196
  %226 = landingpad { ptr, i32 }
          cleanup
  %227 = extractvalue { ptr, i32 } %226, 0
  store ptr %227, ptr %15, align 8
  %228 = extractvalue { ptr, i32 } %226, 1
  store i32 %228, ptr %16, align 4
  br label %423

229:                                              ; preds = %205, %198
  %230 = landingpad { ptr, i32 }
          cleanup
  %231 = extractvalue { ptr, i32 } %230, 0
  store ptr %231, ptr %15, align 8
  %232 = extractvalue { ptr, i32 } %230, 1
  store i32 %232, ptr %16, align 4
  br label %422

233:                                              ; preds = %220, %216, %212, %209
  %234 = landingpad { ptr, i32 }
          cleanup
  %235 = extractvalue { ptr, i32 } %234, 0
  store ptr %235, ptr %15, align 8
  %236 = extractvalue { ptr, i32 } %234, 1
  store i32 %236, ptr %16, align 4
  br label %421

237:                                              ; preds = %223
  call void @llvm.lifetime.start.p0(i64 16, ptr %36) #7
  %238 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK12_GLOBAL__N_114CseEnvironment11get_ref_envEv(ptr noundef nonnull align 8 dereferenceable(48) %26)
          to label %239 unwind label %254

239:                                              ; preds = %237
  call void @llvm.lifetime.start.p0(i64 4, ptr %37) #7
  %240 = load ptr, ptr %34, align 8, !tbaa !5
  %241 = invoke noundef i32 @_ZNK13IRInstruction4destEv(ptr noundef nonnull align 8 dereferenceable(32) %240)
          to label %242 unwind label %258

242:                                              ; preds = %239
  store i32 %241, ptr %37, align 4, !tbaa !51
  %243 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_22ConstantAbstractDomainImEENS_17TopValueInterfaceIS3_EEEEE3getERKj(ptr noundef nonnull align 8 dereferenceable(16) %238, ptr noundef nonnull align 4 dereferenceable(4) %37)
          to label %244 unwind label %258

244:                                              ; preds = %242
  %245 = invoke { i8, i64 } @_ZNK6sparta22ConstantAbstractDomainImE12get_constantEv(ptr noundef nonnull align 8 dereferenceable(16) %243)
          to label %246 unwind label %258

246:                                              ; preds = %244
  %247 = getelementptr inbounds %"class.boost::optional", ptr %36, i32 0, i32 0
  %248 = getelementptr inbounds { i8, i64 }, ptr %247, i32 0, i32 0
  %249 = extractvalue { i8, i64 } %245, 0
  store i8 %249, ptr %248, align 8
  %250 = getelementptr inbounds { i8, i64 }, ptr %247, i32 0, i32 1
  %251 = extractvalue { i8, i64 } %245, 1
  store i64 %251, ptr %250, align 8
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #7
  %252 = call noundef zeroext i1 @_ZNK5boost8optionalImEntEv(ptr noundef nonnull align 8 dereferenceable(16) %36) #7
  br i1 %252, label %253, label %262

253:                                              ; preds = %246
  store i32 5, ptr %24, align 4
  br label %395

254:                                              ; preds = %237
  %255 = landingpad { ptr, i32 }
          cleanup
  %256 = extractvalue { ptr, i32 } %255, 0
  store ptr %256, ptr %15, align 8
  %257 = extractvalue { ptr, i32 } %255, 1
  store i32 %257, ptr %16, align 4
  br label %420

258:                                              ; preds = %244, %242, %239
  %259 = landingpad { ptr, i32 }
          cleanup
  %260 = extractvalue { ptr, i32 } %259, 0
  store ptr %260, ptr %15, align 8
  %261 = extractvalue { ptr, i32 } %259, 1
  store i32 %261, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %37) #7
  br label %420

262:                                              ; preds = %246
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #7
  %263 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNR5boost8optionalImEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %36)
          to label %264 unwind label %272

264:                                              ; preds = %262
  %265 = load i64, ptr %263, align 8, !tbaa !53
  store i64 %265, ptr %38, align 8, !tbaa !53
  %266 = load i64, ptr %38, align 8, !tbaa !53
  %267 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_18Analyzer16is_pre_state_srcEm(ptr noundef nonnull align 8 dereferenceable(720) %17, i64 noundef %266)
          to label %268 unwind label %272

268:                                              ; preds = %264
  br i1 %267, label %270, label %269

269:                                              ; preds = %268
  br label %277

270:                                              ; preds = %268
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.120, ptr noundef @.str.108, i32 noundef 1568, ptr noundef @__PRETTY_FUNCTION__._ZN8cse_impl30CommonSubexpressionEliminationC2EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeList, i32 noundef 2, ptr noundef @.str.109) #8
          to label %271 unwind label %272

271:                                              ; preds = %270
  unreachable

272:                                              ; preds = %270, %264, %262
  %273 = landingpad { ptr, i32 }
          cleanup
  %274 = extractvalue { ptr, i32 } %273, 0
  store ptr %274, ptr %15, align 8
  %275 = extractvalue { ptr, i32 } %273, 1
  store i32 %275, ptr %16, align 4
  br label %419

276:                                              ; No predecessors!
  br label %277

277:                                              ; preds = %276, %269
  call void @llvm.lifetime.start.p0(i64 16, ptr %39) #7
  %278 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK12_GLOBAL__N_114CseEnvironment11get_def_envEv(ptr noundef nonnull align 8 dereferenceable(48) %26)
          to label %279 unwind label %291

279:                                              ; preds = %277
  %280 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK6sparta19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceIS8_EEEEE3getERKm(ptr noundef nonnull align 8 dereferenceable(16) %278, ptr noundef nonnull align 8 dereferenceable(8) %38)
          to label %281 unwind label %291

281:                                              ; preds = %279
  invoke void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEC2ERKS6_(ptr noundef nonnull align 8 dereferenceable(16) %39, ptr noundef nonnull align 8 dereferenceable(16) %280)
          to label %282 unwind label %291

282:                                              ; preds = %281
  %283 = invoke noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17SetAbstractDomainIS7_EEE6is_topEv(ptr noundef nonnull align 8 dereferenceable(16) %39)
          to label %284 unwind label %295

284:                                              ; preds = %282
  br i1 %283, label %289, label %285

285:                                              ; preds = %284
  %286 = invoke noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17SetAbstractDomainIS7_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16) %39)
          to label %287 unwind label %295

287:                                              ; preds = %285
  br i1 %286, label %289, label %288

288:                                              ; preds = %287
  br label %300

289:                                              ; preds = %287, %284
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.121, ptr noundef @.str.108, i32 noundef 1570, ptr noundef @__PRETTY_FUNCTION__._ZN8cse_impl30CommonSubexpressionEliminationC2EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeList, i32 noundef 2, ptr noundef @.str.109) #8
          to label %290 unwind label %295

290:                                              ; preds = %289
  unreachable

291:                                              ; preds = %281, %279, %277
  %292 = landingpad { ptr, i32 }
          cleanup
  %293 = extractvalue { ptr, i32 } %292, 0
  store ptr %293, ptr %15, align 8
  %294 = extractvalue { ptr, i32 } %292, 1
  store i32 %294, ptr %16, align 4
  br label %418

295:                                              ; preds = %289, %285, %282
  %296 = landingpad { ptr, i32 }
          cleanup
  %297 = extractvalue { ptr, i32 } %296, 0
  store ptr %297, ptr %15, align 8
  %298 = extractvalue { ptr, i32 } %296, 1
  store i32 %298, ptr %16, align 4
  br label %417

299:                                              ; No predecessors!
  br label %300

300:                                              ; preds = %299, %288
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #7
  %301 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta22PowersetAbstractDomainIPK13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS3_EEEERKS7_NS_17SetAbstractDomainIS7_EEE8elementsEv(ptr noundef nonnull align 8 dereferenceable(16) %39)
          to label %302 unwind label %308

302:                                              ; preds = %300
  invoke void @_ZN6sparta15PatriciaTreeSetIPK13IRInstructionEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(8) %40, ptr noundef nonnull align 8 dereferenceable(8) %301)
          to label %303 unwind label %308

303:                                              ; preds = %302
  %304 = load ptr, ptr %34, align 8, !tbaa !5
  %305 = invoke noundef zeroext i1 @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE8containsES3_(ptr noundef nonnull align 8 dereferenceable(8) %40, ptr noundef %304)
          to label %306 unwind label %312

306:                                              ; preds = %303
  br i1 %305, label %307, label %316

307:                                              ; preds = %306
  store i32 5, ptr %24, align 4
  br label %394

308:                                              ; preds = %302, %300
  %309 = landingpad { ptr, i32 }
          cleanup
  %310 = extractvalue { ptr, i32 } %309, 0
  store ptr %310, ptr %15, align 8
  %311 = extractvalue { ptr, i32 } %309, 1
  store i32 %311, ptr %16, align 4
  br label %416

312:                                              ; preds = %303
  %313 = landingpad { ptr, i32 }
          cleanup
  %314 = extractvalue { ptr, i32 } %313, 0
  store ptr %314, ptr %15, align 8
  %315 = extractvalue { ptr, i32 } %313, 1
  store i32 %315, ptr %16, align 4
  br label %415

316:                                              ; preds = %306
  call void @llvm.lifetime.start.p0(i64 1, ptr %41) #7
  store i8 0, ptr %41, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #7
  store ptr %40, ptr %42, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 96, ptr %43) #7
  %317 = load ptr, ptr %42, align 8, !tbaa !5
  invoke void @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE5beginEv(ptr dead_on_unwind writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8 %43, ptr noundef nonnull align 8 dereferenceable(8) %317)
          to label %318 unwind label %325

318:                                              ; preds = %316
  call void @llvm.lifetime.start.p0(i64 96, ptr %44) #7
  %319 = load ptr, ptr %42, align 8, !tbaa !5
  invoke void @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE3endEv(ptr dead_on_unwind writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8 %44, ptr noundef nonnull align 8 dereferenceable(8) %319)
          to label %320 unwind label %329

320:                                              ; preds = %318
  br label %321

321:                                              ; preds = %374, %320
  %322 = invoke noundef zeroext i1 @_ZNK6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEEneERKS6_(ptr noundef nonnull align 8 dereferenceable(96) %43, ptr noundef nonnull align 8 dereferenceable(96) %44)
          to label %323 unwind label %333

323:                                              ; preds = %321
  br i1 %322, label %337, label %324

324:                                              ; preds = %323
  store i32 6, ptr %24, align 4
  br label %376

325:                                              ; preds = %316
  %326 = landingpad { ptr, i32 }
          cleanup
  %327 = extractvalue { ptr, i32 } %326, 0
  store ptr %327, ptr %15, align 8
  %328 = extractvalue { ptr, i32 } %326, 1
  store i32 %328, ptr %16, align 4
  br label %379

329:                                              ; preds = %318
  %330 = landingpad { ptr, i32 }
          cleanup
  %331 = extractvalue { ptr, i32 } %330, 0
  store ptr %331, ptr %15, align 8
  %332 = extractvalue { ptr, i32 } %330, 1
  store i32 %332, ptr %16, align 4
  br label %378

333:                                              ; preds = %372, %321
  %334 = landingpad { ptr, i32 }
          cleanup
  %335 = extractvalue { ptr, i32 } %334, 0
  store ptr %335, ptr %15, align 8
  %336 = extractvalue { ptr, i32 } %334, 1
  store i32 %336, ptr %16, align 4
  br label %377

337:                                              ; preds = %323
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #7
  %338 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEEdeEv(ptr noundef nonnull align 8 dereferenceable(96) %43)
          to label %339 unwind label %348

339:                                              ; preds = %337
  %340 = load ptr, ptr %338, align 8, !tbaa !5
  store ptr %340, ptr %45, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr %46) #7
  %341 = load ptr, ptr %45, align 8, !tbaa !5
  %342 = invoke noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %341)
          to label %343 unwind label %352

343:                                              ; preds = %339
  store i16 %342, ptr %46, align 2, !tbaa !49
  %344 = load i16, ptr %46, align 2, !tbaa !49
  %345 = invoke noundef zeroext i1 @_ZN6opcode15is_a_load_paramE8IROpcode(i16 noundef zeroext %344)
          to label %346 unwind label %352

346:                                              ; preds = %343
  br i1 %345, label %347, label %356

347:                                              ; preds = %346
  store i8 1, ptr %41, align 1, !tbaa !9
  store i32 6, ptr %24, align 4
  br label %366

348:                                              ; preds = %337
  %349 = landingpad { ptr, i32 }
          cleanup
  %350 = extractvalue { ptr, i32 } %349, 0
  store ptr %350, ptr %15, align 8
  %351 = extractvalue { ptr, i32 } %349, 1
  store i32 %351, ptr %16, align 4
  br label %375

352:                                              ; preds = %360, %356, %343, %339
  %353 = landingpad { ptr, i32 }
          cleanup
  %354 = extractvalue { ptr, i32 } %353, 0
  store ptr %354, ptr %15, align 8
  %355 = extractvalue { ptr, i32 } %353, 1
  store i32 %355, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 2, ptr %46) #7
  br label %375

356:                                              ; preds = %346
  %357 = load i16, ptr %35, align 2, !tbaa !49
  %358 = invoke noundef zeroext i1 @_ZN6opcode8is_a_cmpE8IROpcode(i16 noundef zeroext %357)
          to label %359 unwind label %352

359:                                              ; preds = %356
  br i1 %358, label %364, label %360

360:                                              ; preds = %359
  %361 = load i16, ptr %46, align 2, !tbaa !49
  %362 = invoke noundef zeroext i1 @_ZN6opcode8is_a_cmpE8IROpcode(i16 noundef zeroext %361)
          to label %363 unwind label %352

363:                                              ; preds = %360
  br i1 %362, label %364, label %365

364:                                              ; preds = %363, %359
  store i8 1, ptr %41, align 1, !tbaa !9
  store i32 6, ptr %24, align 4
  br label %366

365:                                              ; preds = %363
  store i32 0, ptr %24, align 4
  br label %366

366:                                              ; preds = %365, %364, %347
  call void @llvm.lifetime.end.p0(i64 2, ptr %46) #7
  %367 = load i32, ptr %24, align 4
  switch i32 %367, label %369 [
    i32 0, label %368
  ]

368:                                              ; preds = %366
  store i32 0, ptr %24, align 4
  br label %369

369:                                              ; preds = %368, %366
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #7
  %370 = load i32, ptr %24, align 4
  switch i32 %370, label %376 [
    i32 0, label %371
  ]

371:                                              ; preds = %369
  br label %372

372:                                              ; preds = %371
  %373 = invoke noundef nonnull align 8 dereferenceable(96) ptr @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEEppEv(ptr noundef nonnull align 8 dereferenceable(96) %43)
          to label %374 unwind label %333

374:                                              ; preds = %372
  br label %321

375:                                              ; preds = %352, %348
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #7
  br label %377

376:                                              ; preds = %369, %324
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %44) #7
  call void @llvm.lifetime.end.p0(i64 96, ptr %44) #7
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %43) #7
  call void @llvm.lifetime.end.p0(i64 96, ptr %43) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #7
  br label %380

377:                                              ; preds = %375, %333
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %44) #7
  br label %378

378:                                              ; preds = %377, %329
  call void @llvm.lifetime.end.p0(i64 96, ptr %44) #7
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %43) #7
  br label %379

379:                                              ; preds = %378, %325
  call void @llvm.lifetime.end.p0(i64 96, ptr %43) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #7
  br label %414

380:                                              ; preds = %376
  %381 = load i8, ptr %41, align 1, !tbaa !9, !range !11, !noundef !12
  %382 = trunc i8 %381 to i1
  br i1 %382, label %383, label %384

383:                                              ; preds = %380
  store i32 5, ptr %24, align 4
  br label %393

384:                                              ; preds = %380
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #7
  %385 = invoke noundef i64 @"_ZZN8cse_impl30CommonSubexpressionEliminationC1EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeListENK3$_0clERKN6sparta15PatriciaTreeSetIPK13IRInstructionEE"(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull align 8 dereferenceable(8) %40)
          to label %386 unwind label %405

386:                                              ; preds = %384
  store i64 %385, ptr %47, align 8, !tbaa !53
  %387 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 16, ptr %48) #7
  %388 = getelementptr inbounds %"struct.cse_impl::CommonSubexpressionElimination::Forward", ptr %48, i32 0, i32 0
  %389 = load i64, ptr %47, align 8, !tbaa !53
  store i64 %389, ptr %388, align 8, !tbaa !54
  %390 = getelementptr inbounds %"struct.cse_impl::CommonSubexpressionElimination::Forward", ptr %48, i32 0, i32 1
  %391 = load ptr, ptr %34, align 8, !tbaa !5
  store ptr %391, ptr %390, align 8, !tbaa !56
  invoke void @_ZNSt6vectorIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %387, ptr noundef nonnull align 8 dereferenceable(16) %48)
          to label %392 unwind label %409

392:                                              ; preds = %386
  call void @llvm.lifetime.end.p0(i64 16, ptr %48) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #7
  store i32 0, ptr %24, align 4
  br label %393

393:                                              ; preds = %392, %383
  call void @llvm.lifetime.end.p0(i64 1, ptr %41) #7
  br label %394

394:                                              ; preds = %393, %307
  call void @_ZN6sparta15PatriciaTreeSetIPK13IRInstructionED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %40) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  call void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %39) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  br label %395

395:                                              ; preds = %394, %253
  call void @llvm.lifetime.end.p0(i64 16, ptr %36) #7
  br label %396

396:                                              ; preds = %395, %224
  call void @llvm.lifetime.end.p0(i64 2, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  %397 = load i32, ptr %24, align 4
  switch i32 %397, label %399 [
    i32 0, label %398
  ]

398:                                              ; preds = %396
  store i32 0, ptr %24, align 4
  br label %399

399:                                              ; preds = %398, %396
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  %400 = load i32, ptr %24, align 4
  switch i32 %400, label %518 [
    i32 0, label %401
    i32 5, label %402
  ]

401:                                              ; preds = %399
  br label %402

402:                                              ; preds = %401, %399
  %403 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN7ir_list23InstructionIteratorImplILb0EEppEv(ptr noundef nonnull align 8 dereferenceable(16) %31)
          to label %404 unwind label %192

404:                                              ; preds = %402
  br label %180

405:                                              ; preds = %384
  %406 = landingpad { ptr, i32 }
          cleanup
  %407 = extractvalue { ptr, i32 } %406, 0
  store ptr %407, ptr %15, align 8
  %408 = extractvalue { ptr, i32 } %406, 1
  store i32 %408, ptr %16, align 4
  br label %413

409:                                              ; preds = %386
  %410 = landingpad { ptr, i32 }
          cleanup
  %411 = extractvalue { ptr, i32 } %410, 0
  store ptr %411, ptr %15, align 8
  %412 = extractvalue { ptr, i32 } %410, 1
  store i32 %412, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %48) #7
  br label %413

413:                                              ; preds = %409, %405
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #7
  br label %414

414:                                              ; preds = %413, %379
  call void @llvm.lifetime.end.p0(i64 1, ptr %41) #7
  br label %415

415:                                              ; preds = %414, %312
  call void @_ZN6sparta15PatriciaTreeSetIPK13IRInstructionED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %40) #7
  br label %416

416:                                              ; preds = %415, %308
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  br label %417

417:                                              ; preds = %416, %295
  call void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %39) #7
  br label %418

418:                                              ; preds = %417, %291
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #7
  br label %419

419:                                              ; preds = %418, %272
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  br label %420

420:                                              ; preds = %419, %258, %254
  call void @llvm.lifetime.end.p0(i64 16, ptr %36) #7
  br label %421

421:                                              ; preds = %420, %233
  call void @llvm.lifetime.end.p0(i64 2, ptr %35) #7
  br label %422

422:                                              ; preds = %421, %229
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #7
  br label %423

423:                                              ; preds = %422, %225
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  br label %424

424:                                              ; preds = %423, %192
  call void @llvm.lifetime.end.p0(i64 16, ptr %32) #7
  br label %425

425:                                              ; preds = %424, %188
  call void @llvm.lifetime.end.p0(i64 16, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %30) #7
  br label %426

426:                                              ; preds = %425, %184
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  br label %503

427:                                              ; preds = %183
  %428 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %27)
          to label %429 unwind label %165

429:                                              ; preds = %427
  %430 = getelementptr inbounds %struct.MethodItemEntry, ptr %428, i32 0, i32 2
  %431 = load ptr, ptr %430, align 8, !tbaa !48
  %432 = invoke noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %431)
          to label %433 unwind label %165

433:                                              ; preds = %429
  %434 = invoke noundef zeroext i1 @_ZN6opcode9is_switchE8IROpcode(i16 noundef zeroext %432)
          to label %435 unwind label %165

435:                                              ; preds = %433
  br i1 %434, label %446, label %436

436:                                              ; preds = %435
  %437 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %27)
          to label %438 unwind label %165

438:                                              ; preds = %436
  %439 = getelementptr inbounds %struct.MethodItemEntry, ptr %437, i32 0, i32 2
  %440 = load ptr, ptr %439, align 8, !tbaa !48
  %441 = invoke noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %440)
          to label %442 unwind label %165

442:                                              ; preds = %438
  %443 = invoke noundef zeroext i1 @_ZN6opcode23is_a_conditional_branchE8IROpcode(i16 noundef zeroext %441)
          to label %444 unwind label %165

444:                                              ; preds = %442
  br i1 %443, label %446, label %445

445:                                              ; preds = %444
  store i32 3, ptr %24, align 4
  br label %494

446:                                              ; preds = %444, %435
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #7
  %447 = load ptr, ptr %25, align 8, !tbaa !5
  %448 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5succsEv(ptr noundef nonnull align 8 dereferenceable(104) %447)
          to label %449 unwind label %459

449:                                              ; preds = %446
  store ptr %448, ptr %49, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %50) #7
  %450 = load ptr, ptr %49, align 8, !tbaa !5
  %451 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %450) #7
  %452 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.632", ptr %50, i32 0, i32 0
  store ptr %451, ptr %452, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %51) #7
  %453 = load ptr, ptr %49, align 8, !tbaa !5
  %454 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %453) #7
  %455 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.632", ptr %51, i32 0, i32 0
  store ptr %454, ptr %455, align 8
  br label %456

456:                                              ; preds = %489, %449
  %457 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %50, ptr noundef nonnull align 8 dereferenceable(8) %51) #7
  br i1 %457, label %463, label %458

458:                                              ; preds = %456
  store i32 8, ptr %24, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #7
  br label %493

459:                                              ; preds = %446
  %460 = landingpad { ptr, i32 }
          cleanup
  %461 = extractvalue { ptr, i32 } %460, 0
  store ptr %461, ptr %15, align 8
  %462 = extractvalue { ptr, i32 } %460, 1
  store i32 %462, ptr %16, align 4
  br label %492

463:                                              ; preds = %456
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #7
  %464 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %50) #7
  %465 = load ptr, ptr %464, align 8, !tbaa !5
  store ptr %465, ptr %52, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %53) #7
  %466 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNK6sparta7fp_impl29MonotonicFixpointIteratorBaseIN3cfg14GraphInterfaceEN12_GLOBAL__N_114CseEnvironmentESt4hashIPNS2_5BlockEEE17get_exit_state_atERKS8_(ptr noundef nonnull align 8 dereferenceable(176) %17, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %467 unwind label %475

467:                                              ; preds = %463
  store ptr %466, ptr %53, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 48, ptr %54) #7
  %468 = load ptr, ptr %53, align 8, !tbaa !5
  invoke void @_ZNK11ir_analyzer23BaseEdgeAwareIRAnalyzerIN12_GLOBAL__N_114CseEnvironmentEE12analyze_edgeERKPN3cfg4EdgeERKS2_(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::CseEnvironment") align 8 %54, ptr noundef nonnull align 8 dereferenceable(288) %17, ptr noundef nonnull align 8 dereferenceable(8) %52, ptr noundef nonnull align 8 dereferenceable(48) %468)
          to label %469 unwind label %479

469:                                              ; preds = %467
  %470 = invoke noundef zeroext i1 @_ZNK6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(48) %54)
          to label %471 unwind label %483

471:                                              ; preds = %469
  call void @_ZN6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %54) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr %54) #7
  br i1 %470, label %472, label %488

472:                                              ; preds = %471
  %473 = getelementptr inbounds %"class.cse_impl::CommonSubexpressionElimination", ptr %57, i32 0, i32 2
  invoke void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %473, ptr noundef nonnull align 8 dereferenceable(8) %52)
          to label %474 unwind label %475

474:                                              ; preds = %472
  br label %488

475:                                              ; preds = %472, %463
  %476 = landingpad { ptr, i32 }
          cleanup
  %477 = extractvalue { ptr, i32 } %476, 0
  store ptr %477, ptr %15, align 8
  %478 = extractvalue { ptr, i32 } %476, 1
  store i32 %478, ptr %16, align 4
  br label %491

479:                                              ; preds = %467
  %480 = landingpad { ptr, i32 }
          cleanup
  %481 = extractvalue { ptr, i32 } %480, 0
  store ptr %481, ptr %15, align 8
  %482 = extractvalue { ptr, i32 } %480, 1
  store i32 %482, ptr %16, align 4
  br label %487

483:                                              ; preds = %469
  %484 = landingpad { ptr, i32 }
          cleanup
  %485 = extractvalue { ptr, i32 } %484, 0
  store ptr %485, ptr %15, align 8
  %486 = extractvalue { ptr, i32 } %484, 1
  store i32 %486, ptr %16, align 4
  call void @_ZN6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %54) #7
  br label %487

487:                                              ; preds = %483, %479
  call void @llvm.lifetime.end.p0(i64 48, ptr %54) #7
  br label %491

488:                                              ; preds = %474, %471
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #7
  br label %489

489:                                              ; preds = %488
  %490 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %50) #7
  br label %456

491:                                              ; preds = %487, %475
  call void @llvm.lifetime.end.p0(i64 8, ptr %53) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %51) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %50) #7
  br label %492

492:                                              ; preds = %491, %459
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #7
  br label %503

493:                                              ; preds = %458
  store i32 0, ptr %24, align 4
  br label %494

494:                                              ; preds = %493, %445, %164
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  br label %495

495:                                              ; preds = %494, %148
  call void @_ZN6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %26) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr %26) #7
  %496 = load i32, ptr %24, align 4
  switch i32 %496, label %498 [
    i32 0, label %497
  ]

497:                                              ; preds = %495
  store i32 0, ptr %24, align 4
  br label %498

498:                                              ; preds = %497, %495
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  %499 = load i32, ptr %24, align 4
  switch i32 %499, label %518 [
    i32 0, label %500
    i32 3, label %501
  ]

500:                                              ; preds = %498
  br label %501

501:                                              ; preds = %500, %498
  %502 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #7
  br label %129

503:                                              ; preds = %492, %426, %169, %165
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  br label %504

504:                                              ; preds = %503, %153
  call void @_ZN6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %26) #7
  br label %505

505:                                              ; preds = %504, %149
  call void @llvm.lifetime.end.p0(i64 48, ptr %26) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @_ZNSt6vectorIPN3cfg5BlockESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %21) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %21) #7
  br label %506

506:                                              ; preds = %505, %136
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr %19) #7
  call void @_ZN12UnorderedMapISt6vectorImSaImEEmN5boost4hashIS2_EESt8equal_toIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %18) #7
  br label %508

507:                                              ; preds = %131
  call void @llvm.lifetime.end.p0(i64 16, ptr %19) #7
  call void @_ZN12UnorderedMapISt6vectorImSaImEEmN5boost4hashIS2_EESt8equal_toIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %18) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr %18) #7
  call void @_ZN12_GLOBAL__N_18AnalyzerD2Ev(ptr noundef nonnull align 8 dereferenceable(720) %17) #7
  call void @llvm.lifetime.end.p0(i64 720, ptr %17) #7
  ret void

508:                                              ; preds = %506, %132
  call void @llvm.lifetime.end.p0(i64 56, ptr %18) #7
  br label %509

509:                                              ; preds = %508, %113
  call void @_ZN12_GLOBAL__N_18AnalyzerD2Ev(ptr noundef nonnull align 8 dereferenceable(720) %17) #7
  br label %510

510:                                              ; preds = %509, %109
  call void @llvm.lifetime.end.p0(i64 720, ptr %17) #7
  br label %511

511:                                              ; preds = %510, %105
  call void @_ZNSt6vectorIP13IRInstructionSaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %74) #7
  call void @_ZN8cse_impl5StatsD2Ev(ptr noundef nonnull align 8 dereferenceable(120) %64) #7
  br label %512

512:                                              ; preds = %511, %101
  call void @_ZNSt6vectorIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %61) #7
  call void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %60) #7
  call void @_ZNSt6vectorIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %59) #7
  call void @_ZN12UnorderedMapIPK13IRInstructionmSt4hashIS2_ESt8equal_toIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %58) #7
  br label %513

513:                                              ; preds = %512
  %514 = load ptr, ptr %15, align 8
  %515 = load i32, ptr %16, align 4
  %516 = insertvalue { ptr, i32 } poison, ptr %514, 0
  %517 = insertvalue { ptr, i32 } %516, i32 %515, 1
  resume { ptr, i32 } %517

518:                                              ; preds = %498, %399
  unreachable
}

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_18AnalyzerC2EPN8cse_impl11SharedStateERN3cfg16ControlFlowGraphEbbP7DexType(ptr noundef nonnull align 8 dereferenceable(720), ptr noundef, ptr noundef nonnull align 8 dereferenceable(160), i1 noundef zeroext, i1 noundef zeroext, ptr noundef) unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef nonnull align 8 dereferenceable(24) ptr @_ZN12_GLOBAL__N_18Analyzer18get_unboxing_insnsEv(ptr noundef nonnull align 8 dereferenceable(720)) #2 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef i64 @_ZN12_GLOBAL__N_18Analyzer18get_value_ids_sizeEv(ptr noundef nonnull align 8 dereferenceable(720)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef zeroext i1 @_ZN12_GLOBAL__N_18Analyzer32using_other_tracked_location_bitEv(ptr noundef nonnull align 8 dereferenceable(720)) #2 align 2

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

declare void @_ZNK3cfg16ControlFlowGraph6blocksEv(ptr dead_on_unwind writable sret(%"class.std::vector.577") align 8, ptr noundef nonnull align 8 dereferenceable(160)) #5

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_114CseEnvironmentC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

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

declare void @_ZN3cfg5Block13get_last_insnEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(104)) #5

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

declare void @_ZN3cfg5Block3endEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(104)) #5

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_Z19InstructionIterableIN3cfg5BlockEEN7ir_list23InstructionIterableImplILb0EEEPT_(ptr dead_on_unwind noalias writable sret(%"class.ir_list::InstructionIterableImpl") align 8, ptr noundef) #4

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK7ir_list23InstructionIterableImplILb0EE5beginEv(ptr dead_on_unwind noalias writable sret(%"class.ir_list::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(16)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK7ir_list23InstructionIterableImplILb0EE3endEv(ptr dead_on_unwind noalias writable sret(%"class.ir_list::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(16)) #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZNK11ir_analyzer23BaseEdgeAwareIRAnalyzerIN12_GLOBAL__N_114CseEnvironmentEE19analyze_instructionEPK13IRInstructionPS2_b(ptr noundef nonnull align 8 dereferenceable(288), ptr noundef, ptr noundef, i1 noundef zeroext) #3 align 2

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode9is_a_moveE8IROpcode(i16 noundef zeroext) #6

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode10is_a_constE8IROpcode(i16 noundef zeroext) #6

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZNK12_GLOBAL__N_18Analyzer16is_pre_state_srcEm(ptr noundef nonnull align 8 dereferenceable(720), i64 noundef) #3 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEC2ERKS6_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #4 align 2

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE5beginEv(ptr dead_on_unwind noalias writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8, ptr noundef nonnull align 8 dereferenceable(8)) #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE3endEv(ptr dead_on_unwind noalias writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8, ptr noundef nonnull align 8 dereferenceable(8)) #3 align 2

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode15is_a_load_paramE8IROpcode(i16 noundef zeroext) #6

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode8is_a_cmpE8IROpcode(i16 noundef zeroext) #6

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef i64 @"_ZZN8cse_impl30CommonSubexpressionEliminationC1EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeListENK3$_0clERKN6sparta15PatriciaTreeSetIPK13IRInstructionEE"(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(8)) #4 align 2

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode9is_switchE8IROpcode(i16 noundef zeroext) #6

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode23is_a_conditional_branchE8IROpcode(i16 noundef zeroext) #6

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZNK11ir_analyzer23BaseEdgeAwareIRAnalyzerIN12_GLOBAL__N_114CseEnvironmentEE12analyze_edgeERKPN3cfg4EdgeERKS2_(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::CseEnvironment") align 8, ptr noundef nonnull align 8 dereferenceable(288), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEED2Ev(ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #6 align 2

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

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_18AnalyzerD2Ev(ptr noundef nonnull align 8 dereferenceable(720)) unnamed_addr #6 align 2

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

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

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

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

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

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

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

!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, !10, i64 256}
!14 = !{!"_ZTSN8cse_impl30CommonSubexpressionEliminationE", !15, i64 0, !22, i64 56, !26, i64 80, !30, i64 104, !6, i64 128, !34, i64 136, !10, i64 256, !6, i64 264, !6, i64 272, !38, i64 280, !6, i64 304}
!15 = !{!"_ZTS12UnorderedMapIPK13IRInstructionmSt4hashIS2_ESt8equal_toIS2_EE", !16, i64 0}
!16 = !{!"_ZTSSt13unordered_mapIPK13IRInstructionmSt4hashIS2_ESt8equal_toIS2_ESaISt4pairIKS2_mEEE", !17, i64 0}
!17 = !{!"_ZTSSt10_HashtableIPK13IRInstructionSt4pairIKS2_mESaIS5_ENSt8__detail10_Select1stESt8equal_toIS2_ESt4hashIS2_ENS7_18_Mod_range_hashingENS7_20_Default_ranged_hashENS7_20_Prime_rehash_policyENS7_17_Hashtable_traitsILb0ELb0ELb1EEEE", !6, i64 0, !18, i64 8, !19, i64 16, !18, i64 24, !20, i64 32, !6, i64 48}
!18 = !{!"long", !7, i64 0}
!19 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !6, i64 0}
!20 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !21, i64 0, !18, i64 8}
!21 = !{!"float", !7, i64 0}
!22 = !{!"_ZTSSt6vectorIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE", !23, i64 0}
!23 = !{!"_ZTSSt12_Vector_baseIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE12_Vector_implE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!26 = !{!"_ZTSSt6vectorIPN3cfg4EdgeESaIS2_EE", !27, i64 0}
!27 = !{!"_ZTSSt12_Vector_baseIPN3cfg4EdgeESaIS2_EE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIPN3cfg4EdgeESaIS2_EE12_Vector_implE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseIPN3cfg4EdgeESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!30 = !{!"_ZTSSt6vectorIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EE", !31, i64 0}
!31 = !{!"_ZTSSt12_Vector_baseIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EE", !32, i64 0}
!32 = !{!"_ZTSNSt12_Vector_baseIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EE12_Vector_implE", !33, i64 0}
!33 = !{!"_ZTSNSt12_Vector_baseIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!34 = !{!"_ZTSN8cse_impl5StatsE", !18, i64 0, !18, i64 8, !18, i64 16, !18, i64 24, !18, i64 32, !18, i64 40, !35, i64 48, !18, i64 104, !18, i64 112}
!35 = !{!"_ZTS12UnorderedMapItmSt4hashItESt8equal_toItEE", !36, i64 0}
!36 = !{!"_ZTSSt13unordered_mapItmSt4hashItESt8equal_toItESaISt4pairIKtmEEE", !37, i64 0}
!37 = !{!"_ZTSSt10_HashtableItSt4pairIKtmESaIS2_ENSt8__detail10_Select1stESt8equal_toItESt4hashItENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE", !6, i64 0, !18, i64 8, !19, i64 16, !18, i64 24, !20, i64 32, !6, i64 48}
!38 = !{!"_ZTSSt6vectorIP13IRInstructionSaIS1_EE", !39, i64 0}
!39 = !{!"_ZTSSt12_Vector_baseIP13IRInstructionSaIS1_EE", !40, i64 0}
!40 = !{!"_ZTSNSt12_Vector_baseIP13IRInstructionSaIS1_EE12_Vector_implE", !41, i64 0}
!41 = !{!"_ZTSNSt12_Vector_baseIP13IRInstructionSaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!42 = !{!14, !6, i64 264}
!43 = !{!14, !6, i64 272}
!44 = !{!14, !18, i64 168}
!45 = !{!14, !18, i64 176}
!46 = !{!47, !6, i64 0}
!47 = !{!"_ZTSZN8cse_impl30CommonSubexpressionEliminationC1EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeListE3$_0", !6, i64 0, !6, i64 8}
!48 = !{!7, !7, i64 0}
!49 = !{!50, !50, i64 0}
!50 = !{!"_ZTS8IROpcode", !7, i64 0}
!51 = !{!52, !52, i64 0}
!52 = !{!"int", !7, i64 0}
!53 = !{!18, !18, i64 0}
!54 = !{!55, !18, i64 0}
!55 = !{!"_ZTSN8cse_impl30CommonSubexpressionElimination7ForwardE", !18, i64 0, !6, i64 8}
!56 = !{!55, !6, i64 8}


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

%"class.(anonymous namespace)::Analyzer" = type { %"class.ir_analyzer::BaseEdgeAwareIRAnalyzer", %"class.std::vector.331", %class.UnorderedSet.443, i8, %class.UnorderedSet, %class.UnorderedMap.465, ptr, %class.UnorderedMap.481, %class.UnorderedSet.501, %class.UnorderedMap.523, %class.UnorderedMap.539 }
%"class.ir_analyzer::BaseEdgeAwareIRAnalyzer" = type { %"class.sparta::MonotonicFixpointIterator" }
%"class.sparta::MonotonicFixpointIterator" = type { %"class.sparta::fp_impl::MonotonicFixpointIteratorBase", %"class.sparta::WeakPartialOrdering" }
%"class.sparta::fp_impl::MonotonicFixpointIteratorBase" = type { %"class.sparta::FixpointIterator", ptr, %"class.(anonymous namespace)::CseEnvironment", %"class.std::unordered_map.399", %"class.std::unordered_map.399" }
%"class.sparta::FixpointIterator" = type { ptr }
%"class.(anonymous namespace)::CseEnvironment" = type { %"class.sparta::ReducedProductAbstractDomain" }
%"class.sparta::ReducedProductAbstractDomain" = type { %"class.sparta::DirectProductAbstractDomain" }
%"class.sparta::DirectProductAbstractDomain" = type { %"class.std::tuple.361" }
%"class.std::tuple.361" = type { %"struct.std::_Tuple_impl.362" }
%"struct.std::_Tuple_impl.362" = type { %"struct.std::_Tuple_impl.363", %"struct.std::_Head_base.380" }
%"struct.std::_Tuple_impl.363" = type { %"struct.std::_Tuple_impl.364", %"struct.std::_Head_base.370" }
%"struct.std::_Tuple_impl.364" = type { %"struct.std::_Head_base.365" }
%"struct.std::_Head_base.365" = type { %"class.(anonymous namespace)::CondEnvironment" }
%"class.(anonymous namespace)::CondEnvironment" = type { %"class.sparta::AbstractDomainReverseAdaptor" }
%"class.sparta::AbstractDomainReverseAdaptor" = type { %"class.sparta::SetAbstractDomain" }
%"class.sparta::SetAbstractDomain" = type { %"class.sparta::PowersetAbstractDomain" }
%"class.sparta::PowersetAbstractDomain" = type { %"class.sparta::AbstractDomainScaffolding" }
%"class.sparta::AbstractDomainScaffolding" = type { i32, %"class.sparta::set_impl::SetValue" }
%"class.sparta::set_impl::SetValue" = type { %"class.sparta::PatriciaTreeSet" }
%"class.sparta::PatriciaTreeSet" = type { %"class.sparta::pt_core::PatriciaTreeCore" }
%"class.sparta::pt_core::PatriciaTreeCore" = type { %"class.boost::intrusive_ptr" }
%"class.boost::intrusive_ptr" = type { ptr }
%"struct.std::_Head_base.370" = type { %"class.sparta::AbstractEnvironment" }
%"class.sparta::AbstractEnvironment" = type { %"class.sparta::AbstractDomainScaffolding.371" }
%"class.sparta::AbstractDomainScaffolding.371" = type { i32, %"class.sparta::environment_impl::MapValue" }
%"class.sparta::environment_impl::MapValue" = type { %"class.sparta::PatriciaTreeMap" }
%"class.sparta::PatriciaTreeMap" = type { %"class.sparta::pt_core::PatriciaTreeCore.378" }
%"class.sparta::pt_core::PatriciaTreeCore.378" = type { %"class.boost::intrusive_ptr.379" }
%"class.boost::intrusive_ptr.379" = type { ptr }
%"struct.std::_Head_base.380" = type { %"class.sparta::AbstractEnvironment.381" }
%"class.sparta::AbstractEnvironment.381" = type { %"class.sparta::AbstractDomainScaffolding.382" }
%"class.sparta::AbstractDomainScaffolding.382" = type { i32, %"class.sparta::environment_impl::MapValue.387" }
%"class.sparta::environment_impl::MapValue.387" = type { %"class.sparta::PatriciaTreeMap.390" }
%"class.sparta::PatriciaTreeMap.390" = type { %"class.sparta::pt_core::PatriciaTreeCore.395" }
%"class.sparta::pt_core::PatriciaTreeCore.395" = type { %"class.boost::intrusive_ptr.396" }
%"class.boost::intrusive_ptr.396" = type { ptr }
%"class.std::unordered_map.399" = type { %"class.std::_Hashtable.400" }
%"class.std::_Hashtable.400" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"struct.std::__detail::_Hash_node_base" = type { ptr }
%"struct.std::__detail::_Prime_rehash_policy" = type { float, i64 }
%"class.sparta::WeakPartialOrdering" = type <{ %"class.std::vector.419", %"class.std::vector.424", %"class.std::unordered_map.429", i8, [7 x i8] }>
%"class.std::vector.419" = type { %"struct.std::_Vector_base.420" }
%"struct.std::_Vector_base.420" = type { %"struct.std::_Vector_base<sparta::WpoNode<cfg::Block *>, std::allocator<sparta::WpoNode<cfg::Block *>>>::_Vector_impl" }
%"struct.std::_Vector_base<sparta::WpoNode<cfg::Block *>, std::allocator<sparta::WpoNode<cfg::Block *>>>::_Vector_impl" = type { %"struct.std::_Vector_base<sparta::WpoNode<cfg::Block *>, std::allocator<sparta::WpoNode<cfg::Block *>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<sparta::WpoNode<cfg::Block *>, std::allocator<sparta::WpoNode<cfg::Block *>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.424" = type { %"struct.std::_Vector_base.425" }
%"struct.std::_Vector_base.425" = 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::unordered_map.429" = type { %"class.std::_Hashtable.430" }
%"class.std::_Hashtable.430" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.std::vector.331" = type { %"struct.std::_Vector_base.332" }
%"struct.std::_Vector_base.332" = type { %"struct.std::_Vector_base<IRInstruction *, std::allocator<IRInstruction *>>::_Vector_impl" }
%"struct.std::_Vector_base<IRInstruction *, std::allocator<IRInstruction *>>::_Vector_impl" = type { %"struct.std::_Vector_base<IRInstruction *, std::allocator<IRInstruction *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<IRInstruction *, std::allocator<IRInstruction *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.UnorderedSet.443 = type { %"class.std::unordered_set.445" }
%"class.std::unordered_set.445" = type { %"class.std::_Hashtable.446" }
%"class.std::_Hashtable.446" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedSet = type { %"class.std::unordered_set" }
%"class.std::unordered_set" = type { %"class.std::_Hashtable" }
%"class.std::_Hashtable" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.465 = type { %"class.std::unordered_map.467" }
%"class.std::unordered_map.467" = type { %"class.std::_Hashtable.468" }
%"class.std::_Hashtable.468" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.481 = type { %"class.std::unordered_map.483" }
%"class.std::unordered_map.483" = type { %"class.std::_Hashtable.484" }
%"class.std::_Hashtable.484" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedSet.501 = type { %"class.std::unordered_set.503" }
%"class.std::unordered_set.503" = type { %"class.std::_Hashtable.504" }
%"class.std::_Hashtable.504" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.523 = type { %"class.std::unordered_map.525" }
%"class.std::unordered_map.525" = type { %"class.std::_Hashtable.526" }
%"class.std::_Hashtable.526" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.539 = type { %"class.std::unordered_map.541" }
%"class.std::unordered_map.541" = type { %"class.std::_Hashtable.542" }
%"class.std::_Hashtable.542" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.UnorderedMap.555 = type { %"class.std::unordered_map.557" }
%"class.std::unordered_map.557" = type { %"class.std::_Hashtable.558" }
%"class.std::_Hashtable.558" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%class.anon.576 = type { ptr, ptr }
%"class.std::vector.577" = type { %"struct.std::_Vector_base.578" }
%"struct.std::_Vector_base.578" = type { %"struct.std::_Vector_base<cfg::Block *, std::allocator<cfg::Block *>>::_Vector_impl" }
%"struct.std::_Vector_base<cfg::Block *, std::allocator<cfg::Block *>>::_Vector_impl" = type { %"struct.std::_Vector_base<cfg::Block *, std::allocator<cfg::Block *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<cfg::Block *, std::allocator<cfg::Block *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.582" = type { ptr }
%"class.boost::intrusive::list_iterator" = type { %"struct.boost::intrusive::iiterator_members" }
%"struct.boost::intrusive::iiterator_members" = type { ptr }
%"class.ir_list::InstructionIterableImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.ir_list::InstructionIteratorImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.boost::optional" = type { %"class.boost::optional_detail::tc_optional_base" }
%"class.boost::optional_detail::tc_optional_base" = type { i8, i64 }
%"class.sparta::SetAbstractDomain.610" = type { %"class.sparta::PowersetAbstractDomain.611" }
%"class.sparta::PowersetAbstractDomain.611" = type { %"class.sparta::AbstractDomainScaffolding.612" }
%"class.sparta::AbstractDomainScaffolding.612" = type { i32, %"class.sparta::set_impl::SetValue.617" }
%"class.sparta::set_impl::SetValue.617" = type { %"class.sparta::PatriciaTreeSet.621" }
%"class.sparta::PatriciaTreeSet.621" = type { %"class.sparta::pt_core::PatriciaTreeCore.624" }
%"class.sparta::pt_core::PatriciaTreeCore.624" = type { %"class.boost::intrusive_ptr" }
%"class.sparta::pt_core::PatriciaTreeIterator" = type { %"class.sparta::pt_core::PatriciaTreePostOrder" }
%"class.sparta::pt_core::PatriciaTreePostOrder" = type { %"class.boost::intrusive_ptr", %"class.std::stack", ptr }
%"class.std::stack" = type { %"class.std::deque" }
%"class.std::deque" = type { %"class.std::_Deque_base" }
%"class.std::_Deque_base" = type { %"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *>>::_Deque_impl" }
%"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *>>::_Deque_impl" = type { %"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *>>::_Deque_impl_data" }
%"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned long, sparta::pt_core::EmptyValue> *>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator", %"struct.std::_Deque_iterator" }
%"struct.std::_Deque_iterator" = type { ptr, ptr, ptr, ptr }
%"struct.cse_impl::CommonSubexpressionElimination::Forward" = type { i64, ptr }
%"class.__gnu_cxx::__normal_iterator.632" = type { ptr }

@.str.108 = external hidden unnamed_addr constant [95 x i8], align 1
@.str.109 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.120 = external hidden unnamed_addr constant [37 x i8], align 1
@__PRETTY_FUNCTION__._ZN8cse_impl30CommonSubexpressionEliminationC2EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeList = external hidden unnamed_addr constant [151 x i8], align 1
@.str.121 = external hidden unnamed_addr constant [36 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN8cse_impl30CommonSubexpressionEliminationC2EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeList(ptr noundef nonnull align 8 dereferenceable(312) %0, ptr noundef %1, ptr noundef nonnull align 8 dereferenceable(160) %2, i1 noundef zeroext %3, i1 noundef zeroext %4, ptr noundef %5, ptr noundef %6) unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %8 = alloca %"class.(anonymous namespace)::Analyzer", align 8
  %9 = alloca %class.UnorderedMap.555, align 8
  %10 = alloca %class.anon.576, align 8
  %11 = alloca %"class.std::vector.577", align 8
  %12 = alloca %"class.__gnu_cxx::__normal_iterator.582", align 8
  %13 = alloca %"class.__gnu_cxx::__normal_iterator.582", align 8
  %14 = alloca ptr, align 8
  %15 = alloca %"class.(anonymous namespace)::CseEnvironment", align 8
  %16 = alloca %"class.boost::intrusive::list_iterator", align 8
  %17 = alloca %"class.boost::intrusive::list_iterator", align 8
  %18 = alloca %"class.ir_list::InstructionIterableImpl", align 8
  %19 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %20 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %21 = alloca %"class.boost::optional", align 8
  %22 = alloca i32, align 4
  %23 = alloca i64, align 8
  %24 = alloca %"class.sparta::SetAbstractDomain.610", align 8
  %25 = alloca %"class.sparta::PatriciaTreeSet.621", align 8
  %26 = alloca %"class.sparta::pt_core::PatriciaTreeIterator", align 8
  %27 = alloca %"class.sparta::pt_core::PatriciaTreeIterator", align 8
  %28 = alloca %"struct.cse_impl::CommonSubexpressionElimination::Forward", align 8
  %29 = alloca %"class.__gnu_cxx::__normal_iterator.632", align 8
  %30 = alloca %"class.__gnu_cxx::__normal_iterator.632", align 8
  %31 = alloca ptr, align 8
  %32 = alloca %"class.(anonymous namespace)::CseEnvironment", align 8
  tail call void @_ZN12UnorderedMapIPK13IRInstructionmSt4hashIS2_ESt8equal_toIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(56) %0)
  %33 = getelementptr inbounds i8, ptr %0, i64 56
  tail call void @_ZNSt6vectorIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %33) #7
  %34 = getelementptr inbounds i8, ptr %0, i64 80
  tail call void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #7
  %35 = getelementptr inbounds i8, ptr %0, i64 104
  tail call void @_ZNSt6vectorIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %35) #7
  %36 = getelementptr inbounds i8, ptr %0, i64 128
  store ptr %2, ptr %36, align 8, !tbaa !5
  %37 = getelementptr inbounds i8, ptr %0, i64 136
  invoke void @_ZN8cse_impl5StatsC2Ev(ptr noundef nonnull align 8 dereferenceable(120) %37)
          to label %38 unwind label %55

38:                                               ; preds = %7
  %39 = zext i1 %3 to i8
  %40 = getelementptr inbounds i8, ptr %0, i64 256
  store i8 %39, ptr %40, align 8, !tbaa !9
  %41 = getelementptr inbounds i8, ptr %0, i64 264
  store ptr %5, ptr %41, align 8, !tbaa !39
  %42 = getelementptr inbounds i8, ptr %0, i64 272
  store ptr %6, ptr %42, align 8, !tbaa !40
  %43 = getelementptr inbounds i8, ptr %0, i64 280
  tail call void @_ZNSt6vectorIP13IRInstructionSaIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %43) #7
  %44 = getelementptr inbounds i8, ptr %0, i64 304
  %45 = tail call noundef nonnull align 8 dereferenceable(56) ptr @_ZNK8cse_impl11SharedState16get_abstract_mapEv(ptr noundef nonnull align 8 dereferenceable(520) %1)
  store ptr %45, ptr %44, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 720, ptr nonnull %8) #7
  invoke void @_ZN12_GLOBAL__N_18AnalyzerC2EPN8cse_impl11SharedStateERN3cfg16ControlFlowGraphEbbP7DexType(ptr noundef nonnull align 8 dereferenceable(720) %8, ptr noundef nonnull %1, ptr noundef nonnull align 8 dereferenceable(160) %2, i1 noundef zeroext %3, i1 noundef zeroext %4, ptr noundef %5)
          to label %46 unwind label %57

46:                                               ; preds = %38
  %47 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN12_GLOBAL__N_18Analyzer18get_unboxing_insnsEv(ptr noundef nonnull align 8 dereferenceable(720) %8)
  %48 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNSt6vectorIP13IRInstructionSaIS1_EEaSERKS3_(ptr noundef nonnull align 8 dereferenceable(24) %43, ptr noundef nonnull align 8 dereferenceable(24) %47)
          to label %49 unwind label %59

49:                                               ; preds = %46
  %50 = call noundef i64 @_ZN12_GLOBAL__N_18Analyzer18get_value_ids_sizeEv(ptr noundef nonnull align 8 dereferenceable(720) %8)
  %51 = getelementptr inbounds i8, ptr %0, i64 168
  store i64 %50, ptr %51, align 8, !tbaa !41
  %52 = call noundef zeroext i1 @_ZN12_GLOBAL__N_18Analyzer32using_other_tracked_location_bitEv(ptr noundef nonnull align 8 dereferenceable(720) %8)
  br i1 %52, label %53, label %61

53:                                               ; preds = %49
  %54 = getelementptr inbounds i8, ptr %0, i64 176
  store i64 1, ptr %54, align 8, !tbaa !42
  br label %61

55:                                               ; preds = %7
  %56 = landingpad { ptr, i32 }
          cleanup
  br label %259

57:                                               ; preds = %38
  %58 = landingpad { ptr, i32 }
          cleanup
  br label %258

59:                                               ; preds = %46
  %60 = landingpad { ptr, i32 }
          cleanup
  br label %257

61:                                               ; preds = %53, %49
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %9) #7
  call void @_ZN12UnorderedMapISt6vectorImSaImEEmN5boost4hashIS2_EESt8equal_toIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(56) %9)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #7
  store ptr %0, ptr %10, align 8, !tbaa !43
  %62 = getelementptr inbounds i8, ptr %10, i64 8
  store ptr %9, ptr %62, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %11) #7
  invoke void @_ZNK3cfg16ControlFlowGraph6blocksEv(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.577") align 8 %11, ptr noundef nonnull align 8 dereferenceable(160) %2)
          to label %63 unwind label %69

63:                                               ; preds = %61
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #7
  %64 = call ptr @_ZNSt6vectorIPN3cfg5BlockESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %11) #7
  store ptr %64, ptr %12, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #7
  %65 = call ptr @_ZNSt6vectorIPN3cfg5BlockESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %11) #7
  store ptr %65, ptr %13, align 8
  %66 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #7
  br i1 %66, label %.lr.ph120, label %._crit_edge121

.lr.ph120:                                        ; preds = %63
  %67 = getelementptr inbounds i8, ptr %21, i64 8
  %68 = getelementptr inbounds i8, ptr %28, i64 8
  br label %71

._crit_edge121:                                   ; preds = %251, %63
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #7
  call void @_ZNSt6vectorIPN3cfg5BlockESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %11) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %11) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #7
  call void @_ZN12UnorderedMapISt6vectorImSaImEEmN5boost4hashIS2_EESt8equal_toIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %9) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %9) #7
  call void @_ZN12_GLOBAL__N_18AnalyzerD2Ev(ptr noundef nonnull align 8 dereferenceable(720) %8) #7
  call void @llvm.lifetime.end.p0(i64 720, ptr nonnull %8) #7
  ret void

69:                                               ; preds = %61
  %70 = landingpad { ptr, i32 }
          cleanup
  br label %256

71:                                               ; preds = %.lr.ph120, %251
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #7
  %72 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #7
  %73 = load ptr, ptr %72, align 8, !tbaa !5
  store ptr %73, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %15) #7
  %74 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNK6sparta7fp_impl29MonotonicFixpointIteratorBaseIN3cfg14GraphInterfaceEN12_GLOBAL__N_114CseEnvironmentESt4hashIPNS2_5BlockEEE18get_entry_state_atERKS8_(ptr noundef nonnull align 8 dereferenceable(176) %8, ptr noundef nonnull align 8 dereferenceable(8) %14)
          to label %75 unwind label %78

75:                                               ; preds = %71
  invoke void @_ZN12_GLOBAL__N_114CseEnvironmentC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(48) %15, ptr noundef nonnull align 8 dereferenceable(48) %74)
          to label %76 unwind label %78

76:                                               ; preds = %75
  %77 = call noundef zeroext i1 @_ZNK6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(48) %15)
  br i1 %77, label %251, label %80

78:                                               ; preds = %75, %71
  %79 = landingpad { ptr, i32 }
          cleanup
  br label %255

80:                                               ; preds = %76
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #7
  %81 = load ptr, ptr %14, align 8, !tbaa !5
  invoke void @_ZN3cfg5Block13get_last_insnEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::intrusive::list_iterator") align 8 %16, ptr noundef nonnull align 8 dereferenceable(104) %81)
          to label %82 unwind label %86

82:                                               ; preds = %80
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #7
  %83 = load ptr, ptr %14, align 8, !tbaa !5
  invoke void @_ZN3cfg5Block3endEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::intrusive::list_iterator") align 8 %17, ptr noundef nonnull align 8 dereferenceable(104) %83)
          to label %84 unwind label %88

84:                                               ; preds = %82
  %85 = call noundef zeroext i1 @_ZN5boost9intrusiveeqERKNS0_13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEES9_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %17)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #7
  br i1 %85, label %250, label %90

86:                                               ; preds = %222, %96, %80
  %87 = landingpad { ptr, i32 }
          cleanup
  br label %254

88:                                               ; preds = %82
  %89 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #7
  br label %254

90:                                               ; preds = %84
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %18) #7
  %91 = load ptr, ptr %14, align 8, !tbaa !5
  invoke void @_Z19InstructionIterableIN3cfg5BlockEEN7ir_list23InstructionIterableImplILb0EEEPT_(ptr dead_on_unwind nonnull writable sret(%"class.ir_list::InstructionIterableImpl") align 8 %18, ptr noundef %91)
          to label %92 unwind label %98

92:                                               ; preds = %90
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %19) #7
  invoke void @_ZNK7ir_list23InstructionIterableImplILb0EE5beginEv(ptr dead_on_unwind nonnull writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %19, ptr noundef nonnull align 8 dereferenceable(16) %18)
          to label %93 unwind label %100

93:                                               ; preds = %92
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %20) #7
  invoke void @_ZNK7ir_list23InstructionIterableImplILb0EE3endEv(ptr dead_on_unwind nonnull writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %20, ptr noundef nonnull align 8 dereferenceable(16) %18)
          to label %.preheader113 unwind label %.loopexit.split-lp

.preheader113:                                    ; preds = %93, %203
  %94 = invoke noundef zeroext i1 @_ZNK7ir_list23InstructionIteratorImplILb0EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull align 8 dereferenceable(16) %20)
          to label %95 unwind label %.loopexit

95:                                               ; preds = %.preheader113
  br i1 %94, label %102, label %96

96:                                               ; preds = %95
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #7
  %97 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16)
          to label %217 unwind label %86

98:                                               ; preds = %90
  %99 = landingpad { ptr, i32 }
          cleanup
  br label %254

100:                                              ; preds = %92
  %101 = landingpad { ptr, i32 }
          cleanup
  br label %216

.loopexit:                                        ; preds = %.preheader113, %203
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %215

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

102:                                              ; preds = %95
  %103 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %19)
          to label %104 unwind label %120

104:                                              ; preds = %102
  %105 = getelementptr inbounds i8, ptr %103, i64 24
  %106 = load ptr, ptr %105, align 8, !tbaa !45
  %107 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16)
          to label %108 unwind label %122

108:                                              ; preds = %104
  %109 = getelementptr inbounds i8, ptr %107, i64 24
  %110 = load ptr, ptr %109, align 8, !tbaa !45
  %111 = icmp eq ptr %106, %110
  invoke void @_ZNK11ir_analyzer23BaseEdgeAwareIRAnalyzerIN12_GLOBAL__N_114CseEnvironmentEE19analyze_instructionEPK13IRInstructionPS2_b(ptr noundef nonnull align 8 dereferenceable(288) %8, ptr noundef %106, ptr noundef nonnull %15, i1 noundef zeroext %111)
          to label %112 unwind label %122

112:                                              ; preds = %108
  %113 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %106)
  %114 = invoke noundef zeroext i1 @_ZNK13IRInstruction8has_destEv(ptr noundef nonnull align 8 dereferenceable(32) %106)
          to label %115 unwind label %124

115:                                              ; preds = %112
  br i1 %114, label %116, label %203

116:                                              ; preds = %115
  %117 = call noundef zeroext i1 @_ZN6opcode9is_a_moveE8IROpcode(i16 noundef zeroext %113)
  br i1 %117, label %203, label %118

118:                                              ; preds = %116
  %119 = call noundef zeroext i1 @_ZN6opcode10is_a_constE8IROpcode(i16 noundef zeroext %113)
  br i1 %119, label %203, label %126

120:                                              ; preds = %102
  %121 = landingpad { ptr, i32 }
          cleanup
  br label %215

122:                                              ; preds = %108, %104
  %123 = landingpad { ptr, i32 }
          cleanup
  br label %215

124:                                              ; preds = %112
  %125 = landingpad { ptr, i32 }
          cleanup
  br label %215

126:                                              ; preds = %118
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %21) #7
  %127 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK12_GLOBAL__N_114CseEnvironment11get_ref_envEv(ptr noundef nonnull align 8 dereferenceable(48) %15)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %22) #7
  %128 = invoke noundef i32 @_ZNK13IRInstruction4destEv(ptr noundef nonnull align 8 dereferenceable(32) %106)
          to label %129 unwind label %137

129:                                              ; preds = %126
  store i32 %128, ptr %22, align 4, !tbaa !46
  %130 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_22ConstantAbstractDomainImEENS_17TopValueInterfaceIS3_EEEEE3getERKj(ptr noundef nonnull align 8 dereferenceable(16) %127, ptr noundef nonnull align 4 dereferenceable(4) %22)
          to label %131 unwind label %137

131:                                              ; preds = %129
  %132 = invoke { i8, i64 } @_ZNK6sparta22ConstantAbstractDomainImE12get_constantEv(ptr noundef nonnull align 8 dereferenceable(16) %130)
          to label %133 unwind label %137

133:                                              ; preds = %131
  %134 = extractvalue { i8, i64 } %132, 0
  store i8 %134, ptr %21, align 8
  %135 = extractvalue { i8, i64 } %132, 1
  store i64 %135, ptr %67, align 8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %22) #7
  %136 = call noundef zeroext i1 @_ZNK5boost8optionalImEntEv(ptr noundef nonnull align 8 dereferenceable(16) %21) #7
  br i1 %136, label %202, label %139

137:                                              ; preds = %131, %129, %126
  %138 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %22) #7
  br label %214

139:                                              ; preds = %133
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #7
  %140 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNR5boost8optionalImEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %21)
          to label %141 unwind label %.loopexit114

141:                                              ; preds = %139
  %142 = load i64, ptr %140, align 8, !tbaa !48
  store i64 %142, ptr %23, align 8, !tbaa !48
  %143 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_18Analyzer16is_pre_state_srcEm(ptr noundef nonnull align 8 dereferenceable(720) %8, i64 noundef %142)
          to label %144 unwind label %.loopexit114

144:                                              ; preds = %141
  br i1 %143, label %145, label %147

145:                                              ; preds = %144
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.120, ptr noundef nonnull @.str.108, i32 noundef 1568, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN8cse_impl30CommonSubexpressionEliminationC2EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeList, i32 noundef 2, ptr noundef nonnull @.str.109) #8
          to label %146 unwind label %.loopexit.split-lp115

146:                                              ; preds = %145
  unreachable

.loopexit114:                                     ; preds = %139, %141
  %lpad.loopexit116 = landingpad { ptr, i32 }
          cleanup
  br label %213

.loopexit.split-lp115:                            ; preds = %145
  %lpad.loopexit.split-lp117 = landingpad { ptr, i32 }
          cleanup
  br label %213

147:                                              ; preds = %144
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %24) #7
  %148 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK12_GLOBAL__N_114CseEnvironment11get_def_envEv(ptr noundef nonnull align 8 dereferenceable(48) %15)
  %149 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK6sparta19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceIS8_EEEEE3getERKm(ptr noundef nonnull align 8 dereferenceable(16) %148, ptr noundef nonnull align 8 dereferenceable(8) %23)
          to label %150 unwind label %157

150:                                              ; preds = %147
  invoke void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEC2ERKS6_(ptr noundef nonnull align 8 dereferenceable(16) %24, ptr noundef nonnull align 8 dereferenceable(16) %149)
          to label %151 unwind label %157

151:                                              ; preds = %150
  %152 = call noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17SetAbstractDomainIS7_EEE6is_topEv(ptr noundef nonnull align 8 dereferenceable(16) %24)
  br i1 %152, label %155, label %153

153:                                              ; preds = %151
  %154 = call noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17SetAbstractDomainIS7_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16) %24)
  br i1 %154, label %155, label %161

155:                                              ; preds = %153, %151
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.121, ptr noundef nonnull @.str.108, i32 noundef 1570, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN8cse_impl30CommonSubexpressionEliminationC2EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeList, i32 noundef 2, ptr noundef nonnull @.str.109) #8
          to label %156 unwind label %159

156:                                              ; preds = %155
  unreachable

157:                                              ; preds = %150, %147
  %158 = landingpad { ptr, i32 }
          cleanup
  br label %212

159:                                              ; preds = %155
  %160 = landingpad { ptr, i32 }
          cleanup
  br label %211

161:                                              ; preds = %153
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #7
  %162 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta22PowersetAbstractDomainIPK13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS3_EEEERKS7_NS_17SetAbstractDomainIS7_EEE8elementsEv(ptr noundef nonnull align 8 dereferenceable(16) %24)
          to label %163 unwind label %167

163:                                              ; preds = %161
  invoke void @_ZN6sparta15PatriciaTreeSetIPK13IRInstructionEC2ERKS4_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 8 dereferenceable(8) %162)
          to label %164 unwind label %167

164:                                              ; preds = %163
  %165 = invoke noundef zeroext i1 @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE8containsES3_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull %106)
          to label %166 unwind label %169

166:                                              ; preds = %164
  br i1 %165, label %201, label %171

167:                                              ; preds = %163, %161
  %168 = landingpad { ptr, i32 }
          cleanup
  br label %210

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

171:                                              ; preds = %166
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %26) #7
  invoke void @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE5beginEv(ptr dead_on_unwind nonnull writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8 %26, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %172 unwind label %175

172:                                              ; preds = %171
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %27) #7
  invoke void @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE3endEv(ptr dead_on_unwind nonnull writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8 %27, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %.preheader unwind label %177

.preheader:                                       ; preds = %172, %193
  %173 = invoke noundef zeroext i1 @_ZNK6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEEneERKS6_(ptr noundef nonnull align 8 dereferenceable(96) %26, ptr noundef nonnull align 8 dereferenceable(96) %27)
          to label %174 unwind label %179

174:                                              ; preds = %.preheader
  br i1 %173, label %181, label %.thread

175:                                              ; preds = %171
  %176 = landingpad { ptr, i32 }
          cleanup
  br label %198

177:                                              ; preds = %172
  %178 = landingpad { ptr, i32 }
          cleanup
  br label %197

179:                                              ; preds = %193, %.preheader
  %180 = landingpad { ptr, i32 }
          cleanup
  br label %196

181:                                              ; preds = %174
  %182 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEEdeEv(ptr noundef nonnull align 8 dereferenceable(96) %26)
          to label %183 unwind label %187

183:                                              ; preds = %181
  %184 = load ptr, ptr %182, align 8, !tbaa !5
  %185 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %184)
  %186 = call noundef zeroext i1 @_ZN6opcode15is_a_load_paramE8IROpcode(i16 noundef zeroext %185)
  br i1 %186, label %.critedge, label %189

187:                                              ; preds = %181
  %188 = landingpad { ptr, i32 }
          cleanup
  br label %196

189:                                              ; preds = %183
  %190 = call noundef zeroext i1 @_ZN6opcode8is_a_cmpE8IROpcode(i16 noundef zeroext %113)
  br i1 %190, label %.critedge, label %191

191:                                              ; preds = %189
  %192 = call noundef zeroext i1 @_ZN6opcode8is_a_cmpE8IROpcode(i16 noundef zeroext %185)
  br i1 %192, label %.critedge122, label %193

193:                                              ; preds = %191
  %194 = invoke noundef nonnull align 8 dereferenceable(96) ptr @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEEppEv(ptr noundef nonnull align 8 dereferenceable(96) %26)
          to label %.preheader unwind label %179

.thread:                                          ; preds = %174
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %27) #7
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %27) #7
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26) #7
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %26) #7
  %195 = invoke noundef i64 @"_ZZN8cse_impl30CommonSubexpressionEliminationC1EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeListENK3$_0clERKN6sparta15PatriciaTreeSetIPK13IRInstructionEE"(ptr noundef nonnull align 8 dereferenceable(16) %10, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %199 unwind label %205

196:                                              ; preds = %187, %179
  %.pn84 = phi { ptr, i32 } [ %180, %179 ], [ %188, %187 ]
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %27) #7
  br label %197

197:                                              ; preds = %196, %177
  %.pn84.pn = phi { ptr, i32 } [ %.pn84, %196 ], [ %178, %177 ]
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %27) #7
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26) #7
  br label %198

198:                                              ; preds = %197, %175
  %.pn84.pn.pn = phi { ptr, i32 } [ %.pn84.pn, %197 ], [ %176, %175 ]
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %26) #7
  br label %209

199:                                              ; preds = %.thread
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %28) #7
  store i64 %195, ptr %28, align 8, !tbaa !49
  store ptr %106, ptr %68, align 8, !tbaa !51
  invoke void @_ZNSt6vectorIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE9push_backEOS2_(ptr noundef nonnull align 8 dereferenceable(24) %33, ptr noundef nonnull align 8 dereferenceable(16) %28)
          to label %200 unwind label %207

200:                                              ; preds = %199
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %28) #7
  br label %201

.critedge:                                        ; preds = %189, %183
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %27) #7
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %27) #7
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26) #7
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %26) #7
  br label %201

.critedge122:                                     ; preds = %191
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %27) #7
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %27) #7
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIPK13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26) #7
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %26) #7
  br label %201

201:                                              ; preds = %.critedge122, %.critedge, %200, %166
  call void @_ZN6sparta15PatriciaTreeSetIPK13IRInstructionED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #7
  call void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %24) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #7
  br label %202

202:                                              ; preds = %133, %201
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #7
  br label %203

203:                                              ; preds = %115, %116, %118, %202
  %204 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN7ir_list23InstructionIteratorImplILb0EEppEv(ptr noundef nonnull align 8 dereferenceable(16) %19)
          to label %.preheader113 unwind label %.loopexit

205:                                              ; preds = %.thread
  %206 = landingpad { ptr, i32 }
          cleanup
  br label %209

207:                                              ; preds = %199
  %208 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %28) #7
  br label %209

209:                                              ; preds = %198, %207, %205, %169
  %.pn84.pn.pn.pn.pn = phi { ptr, i32 } [ %170, %169 ], [ %.pn84.pn.pn, %198 ], [ %208, %207 ], [ %206, %205 ]
  call void @_ZN6sparta15PatriciaTreeSetIPK13IRInstructionED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #7
  br label %210

210:                                              ; preds = %209, %167
  %.pn84.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn84.pn.pn.pn.pn, %209 ], [ %168, %167 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #7
  br label %211

211:                                              ; preds = %210, %159
  %.pn91 = phi { ptr, i32 } [ %160, %159 ], [ %.pn84.pn.pn.pn.pn.pn, %210 ]
  call void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #7
  br label %212

212:                                              ; preds = %211, %157
  %.pn91.pn = phi { ptr, i32 } [ %.pn91, %211 ], [ %158, %157 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %24) #7
  br label %213

213:                                              ; preds = %.loopexit114, %.loopexit.split-lp115, %212
  %.pn94 = phi { ptr, i32 } [ %.pn91.pn, %212 ], [ %lpad.loopexit116, %.loopexit114 ], [ %lpad.loopexit.split-lp117, %.loopexit.split-lp115 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #7
  br label %214

214:                                              ; preds = %213, %137
  %.pn94.pn = phi { ptr, i32 } [ %.pn94, %213 ], [ %138, %137 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %21) #7
  br label %215

215:                                              ; preds = %.loopexit, %.loopexit.split-lp, %120, %124, %214, %122
  %.pn100 = phi { ptr, i32 } [ %121, %120 ], [ %123, %122 ], [ %.pn94.pn, %214 ], [ %125, %124 ], [ %lpad.loopexit, %.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %20) #7
  br label %216

216:                                              ; preds = %215, %100
  %.pn100.pn = phi { ptr, i32 } [ %.pn100, %215 ], [ %101, %100 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #7
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #7
  br label %254

217:                                              ; preds = %96
  %218 = getelementptr inbounds i8, ptr %97, i64 24
  %219 = load ptr, ptr %218, align 8, !tbaa !45
  %220 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %219)
  %221 = call noundef zeroext i1 @_ZN6opcode9is_switchE8IROpcode(i16 noundef zeroext %220)
  br i1 %221, label %229, label %222

222:                                              ; preds = %217
  %223 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16)
          to label %224 unwind label %86

224:                                              ; preds = %222
  %225 = getelementptr inbounds i8, ptr %223, i64 24
  %226 = load ptr, ptr %225, align 8, !tbaa !45
  %227 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %226)
  %228 = call noundef zeroext i1 @_ZN6opcode23is_a_conditional_branchE8IROpcode(i16 noundef zeroext %227)
  br i1 %228, label %229, label %250

229:                                              ; preds = %224, %217
  %230 = load ptr, ptr %14, align 8, !tbaa !5
  %231 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5succsEv(ptr noundef nonnull align 8 dereferenceable(104) %230)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %29) #7
  %232 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %231) #7
  store ptr %232, ptr %29, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %30) #7
  %233 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %231) #7
  store ptr %233, ptr %30, align 8
  %234 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull align 8 dereferenceable(8) %30) #7
  br i1 %234, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %246, %229
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #7
  br label %250

.lr.ph:                                           ; preds = %229, %246
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %31) #7
  %235 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %29) #7
  %236 = load ptr, ptr %235, align 8, !tbaa !5
  store ptr %236, ptr %31, align 8, !tbaa !5
  %237 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNK6sparta7fp_impl29MonotonicFixpointIteratorBaseIN3cfg14GraphInterfaceEN12_GLOBAL__N_114CseEnvironmentESt4hashIPNS2_5BlockEEE17get_exit_state_atERKS8_(ptr noundef nonnull align 8 dereferenceable(176) %8, ptr noundef nonnull align 8 dereferenceable(8) %14)
          to label %238 unwind label %242

238:                                              ; preds = %.lr.ph
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %32) #7
  invoke void @_ZNK11ir_analyzer23BaseEdgeAwareIRAnalyzerIN12_GLOBAL__N_114CseEnvironmentEE12analyze_edgeERKPN3cfg4EdgeERKS2_(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::CseEnvironment") align 8 %32, ptr noundef nonnull align 8 dereferenceable(288) %8, ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(48) %237)
          to label %239 unwind label %244

239:                                              ; preds = %238
  %240 = call noundef zeroext i1 @_ZNK6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(48) %32)
  call void @_ZN6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %32) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %32) #7
  br i1 %240, label %241, label %246

241:                                              ; preds = %239
  invoke void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EE9push_backERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %34, ptr noundef nonnull align 8 dereferenceable(8) %31)
          to label %246 unwind label %242

242:                                              ; preds = %241, %.lr.ph
  %243 = landingpad { ptr, i32 }
          cleanup
  br label %249

244:                                              ; preds = %238
  %245 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %32) #7
  br label %249

246:                                              ; preds = %241, %239
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #7
  %247 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %29) #7
  %248 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull align 8 dereferenceable(8) %30) #7
  br i1 %248, label %.lr.ph, label %._crit_edge

249:                                              ; preds = %244, %242
  %.pn = phi { ptr, i32 } [ %243, %242 ], [ %245, %244 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #7
  br label %254

250:                                              ; preds = %224, %84, %._crit_edge
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #7
  br label %251

251:                                              ; preds = %76, %250
  call void @_ZN6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %15) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %15) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #7
  %252 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #7
  %253 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #7
  br i1 %253, label %71, label %._crit_edge121

254:                                              ; preds = %98, %216, %249, %88, %86
  %.pn100.pn.pn.pn = phi { ptr, i32 } [ %.pn, %249 ], [ %87, %86 ], [ %89, %88 ], [ %.pn100.pn, %216 ], [ %99, %98 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #7
  call void @_ZN6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEED2Ev(ptr noundef nonnull align 8 dereferenceable(48) %15) #7
  br label %255

255:                                              ; preds = %254, %78
  %.pn100.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn100.pn.pn.pn, %254 ], [ %79, %78 ]
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %15) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #7
  call void @_ZNSt6vectorIPN3cfg5BlockESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %11) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %11) #7
  br label %256

256:                                              ; preds = %255, %69
  %.pn100.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn100.pn.pn.pn.pn, %255 ], [ %70, %69 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #7
  call void @_ZN12UnorderedMapISt6vectorImSaImEEmN5boost4hashIS2_EESt8equal_toIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %9) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %9) #7
  br label %257

257:                                              ; preds = %256, %59
  %.pn100.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn100.pn.pn.pn.pn.pn, %256 ], [ %60, %59 ]
  call void @_ZN12_GLOBAL__N_18AnalyzerD2Ev(ptr noundef nonnull align 8 dereferenceable(720) %8) #7
  br label %258

258:                                              ; preds = %257, %57
  %.pn100.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn100.pn.pn.pn.pn.pn.pn, %257 ], [ %58, %57 ]
  call void @llvm.lifetime.end.p0(i64 720, ptr nonnull %8) #7
  call void @_ZNSt6vectorIP13IRInstructionSaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %43) #7
  call void @_ZN8cse_impl5StatsD2Ev(ptr noundef nonnull align 8 dereferenceable(120) %37) #7
  br label %259

259:                                              ; preds = %258, %55
  %.pn100.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn100.pn.pn.pn.pn.pn.pn.pn, %258 ], [ %56, %55 ]
  call void @_ZNSt6vectorIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %35) #7
  call void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #7
  call void @_ZNSt6vectorIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %33) #7
  call void @_ZN12UnorderedMapIPK13IRInstructionmSt4hashIS2_ESt8equal_toIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %0) #7
  resume { ptr, i32 } %.pn100.pn.pn.pn.pn.pn.pn.pn.pn
}

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_18AnalyzerC2EPN8cse_impl11SharedStateERN3cfg16ControlFlowGraphEbbP7DexType(ptr noundef nonnull align 8 dereferenceable(720), ptr noundef, ptr noundef nonnull align 8 dereferenceable(160), i1 noundef zeroext, i1 noundef zeroext, ptr noundef) unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef nonnull align 8 dereferenceable(24) ptr @_ZN12_GLOBAL__N_18Analyzer18get_unboxing_insnsEv(ptr noundef nonnull align 8 dereferenceable(720)) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef i64 @_ZN12_GLOBAL__N_18Analyzer18get_value_ids_sizeEv(ptr noundef nonnull align 8 dereferenceable(720)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef zeroext i1 @_ZN12_GLOBAL__N_18Analyzer32using_other_tracked_location_bitEv(ptr noundef nonnull align 8 dereferenceable(720)) local_unnamed_addr #2 align 2

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

declare void @_ZNK3cfg16ControlFlowGraph6blocksEv(ptr dead_on_unwind writable sret(%"class.std::vector.577") align 8, ptr noundef nonnull align 8 dereferenceable(160)) local_unnamed_addr #5

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_114CseEnvironmentC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(48), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #4 align 2

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

declare void @_ZN3cfg5Block13get_last_insnEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(104)) local_unnamed_addr #5

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

declare void @_ZN3cfg5Block3endEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(104)) local_unnamed_addr #5

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_Z19InstructionIterableIN3cfg5BlockEEN7ir_list23InstructionIterableImplILb0EEEPT_(ptr dead_on_unwind noalias writable sret(%"class.ir_list::InstructionIterableImpl") align 8, ptr noundef) local_unnamed_addr #4

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK7ir_list23InstructionIterableImplILb0EE5beginEv(ptr dead_on_unwind noalias writable sret(%"class.ir_list::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK7ir_list23InstructionIterableImplILb0EE3endEv(ptr dead_on_unwind noalias writable sret(%"class.ir_list::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZNK11ir_analyzer23BaseEdgeAwareIRAnalyzerIN12_GLOBAL__N_114CseEnvironmentEE19analyze_instructionEPK13IRInstructionPS2_b(ptr noundef nonnull align 8 dereferenceable(288), ptr noundef, ptr noundef, i1 noundef zeroext) local_unnamed_addr #3 align 2

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode9is_a_moveE8IROpcode(i16 noundef zeroext) local_unnamed_addr #6

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode10is_a_constE8IROpcode(i16 noundef zeroext) local_unnamed_addr #6

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZNK12_GLOBAL__N_18Analyzer16is_pre_state_srcEm(ptr noundef nonnull align 8 dereferenceable(720), i64 noundef) local_unnamed_addr #3 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEC2ERKS6_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #4 align 2

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE5beginEv(ptr dead_on_unwind noalias writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK6sparta15PatriciaTreeSetIPK13IRInstructionE3endEv(ptr dead_on_unwind noalias writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #3 align 2

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode15is_a_load_paramE8IROpcode(i16 noundef zeroext) local_unnamed_addr #6

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode8is_a_cmpE8IROpcode(i16 noundef zeroext) local_unnamed_addr #6

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef i64 @"_ZZN8cse_impl30CommonSubexpressionEliminationC1EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeListENK3$_0clERKN6sparta15PatriciaTreeSetIPK13IRInstructionEE"(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4 align 2

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode9is_switchE8IROpcode(i16 noundef zeroext) local_unnamed_addr #6

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN6opcode23is_a_conditional_branchE8IROpcode(i16 noundef zeroext) local_unnamed_addr #6

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZNK11ir_analyzer23BaseEdgeAwareIRAnalyzerIN12_GLOBAL__N_114CseEnvironmentEE12analyze_edgeERKPN3cfg4EdgeERKS2_(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::CseEnvironment") align 8, ptr noundef nonnull align 8 dereferenceable(288), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #3 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN6sparta28ReducedProductAbstractDomainIN12_GLOBAL__N_114CseEnvironmentEJNS_19AbstractEnvironmentINS_15PatriciaTreeMapImNS_17SetAbstractDomainINS_15PatriciaTreeSetIPK13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEENS3_INS4_IjNS_22ConstantAbstractDomainImEENSC_ISH_EEEEEENS1_15CondEnvironmentEEED2Ev(ptr noundef nonnull align 8 dereferenceable(48)) unnamed_addr #6 align 2

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

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_18AnalyzerD2Ev(ptr noundef nonnull align 8 dereferenceable(720)) unnamed_addr #6 align 2

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

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

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

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

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

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

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

!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, !34, i64 256}
!10 = !{!"_ZTSN8cse_impl30CommonSubexpressionEliminationE", !11, i64 0, !18, i64 56, !22, i64 80, !26, i64 104, !6, i64 128, !30, i64 136, !34, i64 256, !6, i64 264, !6, i64 272, !35, i64 280, !6, i64 304}
!11 = !{!"_ZTS12UnorderedMapIPK13IRInstructionmSt4hashIS2_ESt8equal_toIS2_EE", !12, i64 0}
!12 = !{!"_ZTSSt13unordered_mapIPK13IRInstructionmSt4hashIS2_ESt8equal_toIS2_ESaISt4pairIKS2_mEEE", !13, i64 0}
!13 = !{!"_ZTSSt10_HashtableIPK13IRInstructionSt4pairIKS2_mESaIS5_ENSt8__detail10_Select1stESt8equal_toIS2_ESt4hashIS2_ENS7_18_Mod_range_hashingENS7_20_Default_ranged_hashENS7_20_Prime_rehash_policyENS7_17_Hashtable_traitsILb0ELb0ELb1EEEE", !6, i64 0, !14, i64 8, !15, i64 16, !14, i64 24, !16, i64 32, !6, i64 48}
!14 = !{!"long", !7, i64 0}
!15 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !6, i64 0}
!16 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !17, i64 0, !14, i64 8}
!17 = !{!"float", !7, i64 0}
!18 = !{!"_ZTSSt6vectorIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE", !19, i64 0}
!19 = !{!"_ZTSSt12_Vector_baseIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE12_Vector_implE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseIN8cse_impl30CommonSubexpressionElimination7ForwardESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!22 = !{!"_ZTSSt6vectorIPN3cfg4EdgeESaIS2_EE", !23, i64 0}
!23 = !{!"_ZTSSt12_Vector_baseIPN3cfg4EdgeESaIS2_EE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIPN3cfg4EdgeESaIS2_EE12_Vector_implE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseIPN3cfg4EdgeESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!26 = !{!"_ZTSSt6vectorIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EE", !27, i64 0}
!27 = !{!"_ZTSSt12_Vector_baseIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EE", !28, i64 0}
!28 = !{!"_ZTSNSt12_Vector_baseIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EE12_Vector_implE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseIN6sparta15PatriciaTreeSetIPK13IRInstructionEESaIS5_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!30 = !{!"_ZTSN8cse_impl5StatsE", !14, i64 0, !14, i64 8, !14, i64 16, !14, i64 24, !14, i64 32, !14, i64 40, !31, i64 48, !14, i64 104, !14, i64 112}
!31 = !{!"_ZTS12UnorderedMapItmSt4hashItESt8equal_toItEE", !32, i64 0}
!32 = !{!"_ZTSSt13unordered_mapItmSt4hashItESt8equal_toItESaISt4pairIKtmEEE", !33, i64 0}
!33 = !{!"_ZTSSt10_HashtableItSt4pairIKtmESaIS2_ENSt8__detail10_Select1stESt8equal_toItESt4hashItENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb0ELb1EEEE", !6, i64 0, !14, i64 8, !15, i64 16, !14, i64 24, !16, i64 32, !6, i64 48}
!34 = !{!"bool", !7, i64 0}
!35 = !{!"_ZTSSt6vectorIP13IRInstructionSaIS1_EE", !36, i64 0}
!36 = !{!"_ZTSSt12_Vector_baseIP13IRInstructionSaIS1_EE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseIP13IRInstructionSaIS1_EE12_Vector_implE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseIP13IRInstructionSaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!39 = !{!10, !6, i64 264}
!40 = !{!10, !6, i64 272}
!41 = !{!10, !14, i64 168}
!42 = !{!10, !14, i64 176}
!43 = !{!44, !6, i64 0}
!44 = !{!"_ZTSZN8cse_impl30CommonSubexpressionEliminationC1EPNS_11SharedStateERN3cfg16ControlFlowGraphEbbP7DexTypeP11DexTypeListE3$_0", !6, i64 0, !6, i64 8}
!45 = !{!7, !7, i64 0}
!46 = !{!47, !47, i64 0}
!47 = !{!"int", !7, i64 0}
!48 = !{!14, !14, i64 0}
!49 = !{!50, !14, i64 0}
!50 = !{!"_ZTSN8cse_impl30CommonSubexpressionElimination7ForwardE", !14, i64 0, !6, i64 8}
!51 = !{!50, !6, i64 8}


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