; LLVM IR from facebook/redex :: service/local-dce (LocalDce)

; 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.AccumulatingTimer = type { %"class.std::shared_ptr" }
%"class.std::shared_ptr" = type { %"class.std::__shared_ptr" }
%"class.std::__shared_ptr" = type { ptr, %"class.std::__shared_count" }
%"class.std::__shared_count" = type { ptr }
%"class.std::vector.36" = type { %"struct.std::_Vector_base.37" }
%"struct.std::_Vector_base.37" = 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.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::allocator" = type { i8 }
%"class.AccumulatingTimer::AccumulatingTimerScope" = type { ptr, %"class.std::chrono::time_point" }
%"class.std::chrono::time_point" = type { %"class.std::chrono::duration" }
%"class.std::chrono::duration" = type { i64 }
%"class.cfg::CFGMutation" = type { ptr, %class.UnorderedMap }
%class.UnorderedMap = type { %"class.std::unordered_map.78" }
%"class.std::unordered_map.78" = type { %"class.std::_Hashtable.79" }
%"class.std::_Hashtable.79" = 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.reaching_defs::MoveAwareFixpointIterator" = type { %"class.ir_analyzer::BaseIRAnalyzer", %"class.std::function" }
%"class.ir_analyzer::BaseIRAnalyzer" = 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.sparta::AbstractEnvironment", %"class.std::unordered_map.369", %"class.std::unordered_map.369" }
%"class.sparta::FixpointIterator" = type { ptr }
%"class.sparta::AbstractEnvironment" = type { %"class.sparta::AbstractDomainScaffolding" }
%"class.sparta::AbstractDomainScaffolding" = 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" }
%"class.sparta::pt_core::PatriciaTreeCore" = type { %"class.boost::intrusive_ptr" }
%"class.boost::intrusive_ptr" = type { ptr }
%"class.std::unordered_map.369" = type { %"class.std::_Hashtable.370" }
%"class.std::_Hashtable.370" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.sparta::WeakPartialOrdering" = type <{ %"class.std::vector.383", %"class.std::vector.388", %"class.std::unordered_map.393", i8, [7 x i8] }>
%"class.std::vector.383" = type { %"struct.std::_Vector_base.384" }
%"struct.std::_Vector_base.384" = 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.388" = type { %"struct.std::_Vector_base.389" }
%"struct.std::_Vector_base.389" = 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.393" = type { %"class.std::_Hashtable.394" }
%"class.std::_Hashtable.394" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.407 = type { i8 }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.ir_list::InstructionIterableImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.boost::intrusive::list_iterator" = type { %"struct.boost::intrusive::iiterator_members" }
%"struct.boost::intrusive::iiterator_members" = type { ptr }
%"class.ir_list::InstructionIteratorImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.sparta::pt_core::PatriciaTreeIterator" = type { %"class.sparta::pt_core::PatriciaTreePostOrder" }
%"class.sparta::pt_core::PatriciaTreePostOrder" = type { %"class.boost::intrusive_ptr.416", %"class.std::stack", ptr }
%"class.boost::intrusive_ptr.416" = type { ptr }
%"class.std::stack" = type { %"class.std::deque.417" }
%"class.std::deque.417" = type { %"class.std::_Deque_base.418" }
%"class.std::_Deque_base.418" = 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.422", %"struct.std::_Deque_iterator.422" }
%"struct.std::_Deque_iterator.422" = type { ptr, ptr, ptr, ptr }
%"class.cfg::InstructionIteratorImpl" = type { ptr, %"struct.std::_Rb_tree_const_iterator", %"class.ir_list::InstructionIteratorImpl" }
%"struct.std::_Rb_tree_const_iterator" = type { ptr }
%"class.sparta::pt_core::PatriciaTreeIterator.423" = type { %"class.sparta::pt_core::PatriciaTreePostOrder.424" }
%"class.sparta::pt_core::PatriciaTreePostOrder.424" = type { %"class.boost::intrusive_ptr", %"class.std::stack.425", ptr }
%"class.std::stack.425" = type { %"class.std::deque.426" }
%"class.std::deque.426" = type { %"class.std::_Deque_base.427" }
%"class.std::_Deque_base.427" = type { %"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *>>::_Deque_impl" }
%"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *>>::_Deque_impl" = type { %"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *>>::_Deque_impl_data" }
%"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator.431", %"struct.std::_Deque_iterator.431" }
%"struct.std::_Deque_iterator.431" = type { ptr, ptr, ptr, ptr }
%"class.sparta::SetAbstractDomain" = type { %"class.sparta::PowersetAbstractDomain" }
%"class.sparta::PowersetAbstractDomain" = type { %"class.sparta::AbstractDomainScaffolding.408" }
%"class.sparta::AbstractDomainScaffolding.408" = 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.415" }
%"class.sparta::pt_core::PatriciaTreeCore.415" = type { %"class.boost::intrusive_ptr.416" }
%"class.std::unique_ptr.65" = type { %"struct.std::__uniq_ptr_data.66" }
%"struct.std::__uniq_ptr_data.66" = type { %"class.std::__uniq_ptr_impl.67" }
%"class.std::__uniq_ptr_impl.67" = type { %"class.std::tuple.68" }
%"class.std::tuple.68" = type { %"struct.std::_Tuple_impl.69" }
%"struct.std::_Tuple_impl.69" = type { %"struct.std::_Head_base.72" }
%"struct.std::_Head_base.72" = type { ptr }
%"class.std::vector.12" = type { %"struct.std::_Vector_base.13" }
%"struct.std::_Vector_base.13" = 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.std::initializer_list" = type { ptr, i64 }
%"class.std::allocator.14" = type { i8 }
%"class.std::vector.442" = type { %"struct.std::_Vector_base.443" }
%"struct.std::_Vector_base.443" = type { %"struct.std::_Vector_base<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>, std::allocator<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>, std::allocator<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>, std::allocator<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>, std::allocator<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.anon.455 = type { ptr, ptr }
%class.LocalDce = type { ptr, ptr, ptr, i8, i8, i8, %"struct.LocalDce::Stats" }
%"struct.LocalDce::Stats" = type { i64, i64, i64, i64, i64, i64, %"struct.init_classes::Stats" }
%"struct.init_classes::Stats" = type { i64, i64, i64 }
%struct.MethodItemEntry = type { %"class.boost::intrusive::list_member_hook", i32, %union.anon.54 }
%"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.54 = type { ptr }
%"struct.std::pair.432" = type { i32, %"class.sparta::SetAbstractDomain" }
%struct.SourceBlock = type { ptr, %"class.std::unique_ptr.65", i32, i32, %"class.std::unique_ptr.434" }
%"class.std::unique_ptr.434" = type { %"struct.std::__uniq_ptr_data.435" }
%"struct.std::__uniq_ptr_data.435" = type { %"class.std::__uniq_ptr_impl.436" }
%"class.std::__uniq_ptr_impl.436" = type { %"class.std::tuple.437" }
%"class.std::tuple.437" = type { %"struct.std::_Tuple_impl.438" }
%"struct.std::_Tuple_impl.438" = type { %"struct.std::_Head_base.441" }
%"struct.std::_Head_base.441" = type { ptr }

@__dso_handle = external hidden global i8
@.str.16 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [2 x i8], align 1
@_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer = external hidden global %class.AccumulatingTimer, align 8
@_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer = external hidden global i64, align 8
@.str.19 = external hidden unnamed_addr constant [34 x i8], align 1
@g_redex = external global ptr, align 8
@.str.20 = external hidden unnamed_addr constant [15 x i8], align 1
@__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE = external hidden unnamed_addr constant [64 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [43 x i8], align 1

; Function Attrs: nounwind
declare i32 @__cxa_guard_acquire(ptr) #0

declare i32 @__gxx_personality_v0(...)

; Function Attrs: nounwind
declare void @__cxa_guard_abort(ptr) #0

; Function Attrs: nounwind
declare void @__cxa_guard_release(ptr) #0

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

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

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

declare void @_ZN17AccumulatingTimerC1ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #4

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

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

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

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

; Function Attrs: nounwind
declare i32 @__cxa_atexit(ptr, ptr, ptr) #0

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

; 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)) #5

; 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 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: mustprogress nounwind uwtable
declare dso_local noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32)) #2 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(104) %0, ptr noundef nonnull align 8 dereferenceable(160) %1) #3 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca %"class.std::__cxx11::basic_string", align 8
  %6 = alloca %"class.std::allocator", align 1
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca %"class.AccumulatingTimer::AccumulatingTimerScope", align 8
  %10 = alloca i32, align 4
  %11 = alloca %"class.cfg::CFGMutation", align 8
  %12 = alloca %"class.reaching_defs::MoveAwareFixpointIterator", align 8
  %13 = alloca %"class.std::function", align 8
  %14 = alloca %class.anon.407, align 1
  %15 = alloca %"class.sparta::AbstractEnvironment", align 8
  %16 = alloca ptr, align 8
  %17 = alloca %"class.std::vector.36", align 8
  %18 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %19 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %20 = alloca ptr, align 8
  %21 = alloca %"class.sparta::AbstractEnvironment", align 8
  %22 = alloca %"class.ir_list::InstructionIterableImpl", align 8
  %23 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %24 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %25 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca i32, align 4
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca %"class.sparta::pt_core::PatriciaTreeIterator", align 8
  %32 = alloca ptr, align 8
  %33 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %34 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %35 = alloca i8, align 1
  %36 = alloca ptr, align 8
  %37 = alloca %"class.sparta::pt_core::PatriciaTreeIterator.423", align 8
  %38 = alloca %"class.sparta::pt_core::PatriciaTreeIterator.423", align 8
  %39 = alloca ptr, align 8
  %40 = alloca %"class.sparta::SetAbstractDomain", align 8
  %41 = alloca %"class.std::unique_ptr.65", align 8
  %42 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %43 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %44 = alloca ptr, align 8
  %45 = alloca %"class.boost::intrusive::list_iterator", align 8
  %46 = alloca %"class.boost::intrusive::list_iterator", align 8
  %47 = alloca %"class.std::unique_ptr.65", align 8
  %48 = alloca ptr, align 8
  %49 = alloca ptr, align 8
  %50 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %51 = alloca %"class.std::vector.12", align 8
  %52 = alloca %"class.std::initializer_list", align 8
  %53 = alloca [2 x ptr], align 8
  %54 = alloca %"class.std::allocator.14", align 1
  %55 = alloca %"class.std::vector.442", align 8
  %56 = alloca ptr, align 8
  %57 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %58 = alloca %"class.std::vector.442", align 8
  %59 = alloca ptr, align 8
  %60 = alloca %class.anon.455, align 8
  %61 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  %62 = load ptr, ptr %3, align 8
  %63 = load atomic i8, ptr @_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer acquire, align 8
  %64 = icmp eq i8 %63, 0
  br i1 %64, label %65, label %72, !prof !9

65:                                               ; preds = %2
  %66 = call i32 @__cxa_guard_acquire(ptr @_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer) #0
  %67 = icmp ne i32 %66, 0
  br i1 %67, label %68, label %72

68:                                               ; preds = %65
  call void @llvm.lifetime.start.p0(i64 1, ptr %6) #0
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %6) #0
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef @.str.19, ptr noundef nonnull align 1 dereferenceable(1) %6)
          to label %69 unwind label %77

69:                                               ; preds = %68
  invoke void @_ZN17AccumulatingTimerC1ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(16) @_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer, ptr noundef %5)
          to label %70 unwind label %81

70:                                               ; preds = %69
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #0
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %6) #0
  call void @llvm.lifetime.end.p0(i64 1, ptr %6) #0
  %71 = call i32 @__cxa_atexit(ptr @_ZN17AccumulatingTimerD2Ev, ptr @_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer, ptr @__dso_handle) #0
  call void @__cxa_guard_release(ptr @_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer) #0
  br label %72

72:                                               ; preds = %70, %65, %2
  call void @llvm.lifetime.start.p0(i64 16, ptr %9) #0
  call void @_ZN17AccumulatingTimer5scopeEv(ptr dead_on_unwind writable sret(%"class.AccumulatingTimer::AccumulatingTimerScope") align 8 %9, ptr noundef nonnull align 8 dereferenceable(16) @_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer)
  %73 = load ptr, ptr @g_redex, align 8, !tbaa !5
  %74 = invoke noundef zeroext i1 @_ZNK12RedexContext24ordering_changes_allowedEv(ptr noundef nonnull align 8 dereferenceable(389504) %73)
          to label %75 unwind label %86

75:                                               ; preds = %72
  br i1 %74, label %90, label %76

76:                                               ; preds = %75
  store i32 1, ptr %10, align 4
  br label %661

77:                                               ; preds = %68
  %78 = landingpad { ptr, i32 }
          cleanup
  %79 = extractvalue { ptr, i32 } %78, 0
  store ptr %79, ptr %7, align 8
  %80 = extractvalue { ptr, i32 } %78, 1
  store i32 %80, ptr %8, align 4
  br label %85

81:                                               ; preds = %69
  %82 = landingpad { ptr, i32 }
          cleanup
  %83 = extractvalue { ptr, i32 } %82, 0
  store ptr %83, ptr %7, align 8
  %84 = extractvalue { ptr, i32 } %82, 1
  store i32 %84, ptr %8, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #0
  br label %85

85:                                               ; preds = %81, %77
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %6) #0
  call void @llvm.lifetime.end.p0(i64 1, ptr %6) #0
  call void @__cxa_guard_abort(ptr @_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer) #0
  br label %672

86:                                               ; preds = %95, %72
  %87 = landingpad { ptr, i32 }
          cleanup
  %88 = extractvalue { ptr, i32 } %87, 0
  store ptr %88, ptr %7, align 8
  %89 = extractvalue { ptr, i32 } %87, 1
  store i32 %89, ptr %8, align 4
  br label %671

90:                                               ; preds = %75
  %91 = getelementptr inbounds %class.LocalDce, ptr %62, i32 0, i32 0
  %92 = load ptr, ptr %91, align 8, !tbaa !10
  %93 = icmp ne ptr %92, null
  br i1 %93, label %95, label %94

94:                                               ; preds = %90
  store i32 1, ptr %10, align 4
  br label %661

95:                                               ; preds = %90
  %96 = load ptr, ptr %4, align 8, !tbaa !5
  %97 = invoke noundef zeroext i1 @_ZN12_GLOBAL__N_129has_normalizable_new_instanceERN3cfg16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(160) %96)
          to label %98 unwind label %86

98:                                               ; preds = %95
  br i1 %97, label %100, label %99

99:                                               ; preds = %98
  store i32 1, ptr %10, align 4
  br label %661

100:                                              ; preds = %98
  call void @llvm.lifetime.start.p0(i64 64, ptr %11) #0
  %101 = load ptr, ptr %4, align 8, !tbaa !5
  invoke void @_ZN3cfg11CFGMutationC2ERNS_16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(64) %11, ptr noundef nonnull align 8 dereferenceable(160) %101)
          to label %102 unwind label %118

102:                                              ; preds = %100
  call void @llvm.lifetime.start.p0(i64 288, ptr %12) #0
  %103 = load ptr, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %14) #0
  call void @"_ZNSt8functionIFbPK13IRInstructionEEC2IZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %13, ptr noundef nonnull align 1 dereferenceable(1) %14) #0
  invoke void @_ZN13reaching_defs25MoveAwareFixpointIteratorC2ERKN3cfg16ControlFlowGraphESt8functionIFbPK13IRInstructionEE(ptr noundef nonnull align 8 dereferenceable(288) %12, ptr noundef nonnull align 8 dereferenceable(160) %103, ptr noundef %13)
          to label %104 unwind label %122

104:                                              ; preds = %102
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #0
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #0
  call void @llvm.lifetime.start.p0(i64 16, ptr %15) #0
  invoke void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15)
          to label %105 unwind label %126

105:                                              ; preds = %104
  invoke void @_ZN6sparta25MonotonicFixpointIteratorIN3cfg14GraphInterfaceENS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceISA_EEEEEESt4hashIPNS1_5BlockEEE3runERKSE_(ptr noundef nonnull align 8 dereferenceable(256) %12, ptr noundef nonnull align 8 dereferenceable(16) %15)
          to label %106 unwind label %130

106:                                              ; preds = %105
  call void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #0
  call void @llvm.lifetime.end.p0(i64 16, ptr %15) #0
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #0
  call void @llvm.lifetime.start.p0(i64 24, ptr %17) #0
  %107 = load ptr, ptr %4, align 8, !tbaa !5
  invoke void @_ZNK3cfg16ControlFlowGraph6blocksEv(ptr dead_on_unwind writable sret(%"class.std::vector.36") align 8 %17, ptr noundef nonnull align 8 dereferenceable(160) %107)
          to label %108 unwind label %135

108:                                              ; preds = %106
  store ptr %17, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #0
  %109 = load ptr, ptr %16, align 8, !tbaa !5
  %110 = call ptr @_ZNSt6vectorIPN3cfg5BlockESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %109) #0
  %111 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %18, i32 0, i32 0
  store ptr %110, ptr %111, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #0
  %112 = load ptr, ptr %16, align 8, !tbaa !5
  %113 = call ptr @_ZNSt6vectorIPN3cfg5BlockESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %112) #0
  %114 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %19, i32 0, i32 0
  store ptr %113, ptr %114, align 8
  br label %115

115:                                              ; preds = %653, %108
  %116 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %19) #0
  br i1 %116, label %139, label %117

117:                                              ; preds = %115
  store i32 2, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #0
  call void @_ZNSt6vectorIPN3cfg5BlockESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %17) #0
  call void @llvm.lifetime.end.p0(i64 24, ptr %17) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #0
  br label %659

118:                                              ; preds = %100
  %119 = landingpad { ptr, i32 }
          cleanup
  %120 = extractvalue { ptr, i32 } %119, 0
  store ptr %120, ptr %7, align 8
  %121 = extractvalue { ptr, i32 } %119, 1
  store i32 %121, ptr %8, align 4
  br label %670

122:                                              ; preds = %102
  %123 = landingpad { ptr, i32 }
          cleanup
  %124 = extractvalue { ptr, i32 } %123, 0
  store ptr %124, ptr %7, align 8
  %125 = extractvalue { ptr, i32 } %123, 1
  store i32 %125, ptr %8, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #0
  call void @llvm.lifetime.end.p0(i64 1, ptr %14) #0
  br label %669

126:                                              ; preds = %104
  %127 = landingpad { ptr, i32 }
          cleanup
  %128 = extractvalue { ptr, i32 } %127, 0
  store ptr %128, ptr %7, align 8
  %129 = extractvalue { ptr, i32 } %127, 1
  store i32 %129, ptr %8, align 4
  br label %134

130:                                              ; preds = %105
  %131 = landingpad { ptr, i32 }
          cleanup
  %132 = extractvalue { ptr, i32 } %131, 0
  store ptr %132, ptr %7, align 8
  %133 = extractvalue { ptr, i32 } %131, 1
  store i32 %133, ptr %8, align 4
  call void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #0
  br label %134

134:                                              ; preds = %130, %126
  call void @llvm.lifetime.end.p0(i64 16, ptr %15) #0
  br label %668

135:                                              ; preds = %106
  %136 = landingpad { ptr, i32 }
          cleanup
  %137 = extractvalue { ptr, i32 } %136, 0
  store ptr %137, ptr %7, align 8
  %138 = extractvalue { ptr, i32 } %136, 1
  store i32 %138, ptr %8, align 4
  br label %658

139:                                              ; preds = %115
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #0
  %140 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %18) #0
  %141 = load ptr, ptr %140, align 8, !tbaa !5
  store ptr %141, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #0
  %142 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK6sparta7fp_impl29MonotonicFixpointIteratorBaseIN3cfg14GraphInterfaceENS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEESt4hashIPNS2_5BlockEEE18get_entry_state_atERKSI_(ptr noundef nonnull align 8 dereferenceable(144) %12, ptr noundef nonnull align 8 dereferenceable(8) %20)
          to label %143 unwind label %148

143:                                              ; preds = %139
  invoke void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEEC2ERKSB_(ptr noundef nonnull align 8 dereferenceable(16) %21, ptr noundef nonnull align 8 dereferenceable(16) %142)
          to label %144 unwind label %148

144:                                              ; preds = %143
  %145 = invoke noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_16environment_impl8MapValueINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS9_EEEEEENS_19AbstractEnvironmentISC_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16) %21)
          to label %146 unwind label %152

146:                                              ; preds = %144
  br i1 %145, label %147, label %156

147:                                              ; preds = %146
  store i32 3, ptr %10, align 4
  br label %647

148:                                              ; preds = %143, %139
  %149 = landingpad { ptr, i32 }
          cleanup
  %150 = extractvalue { ptr, i32 } %149, 0
  store ptr %150, ptr %7, align 8
  %151 = extractvalue { ptr, i32 } %149, 1
  store i32 %151, ptr %8, align 4
  br label %657

152:                                              ; preds = %144
  %153 = landingpad { ptr, i32 }
          cleanup
  %154 = extractvalue { ptr, i32 } %153, 0
  store ptr %154, ptr %7, align 8
  %155 = extractvalue { ptr, i32 } %153, 1
  store i32 %155, ptr %8, align 4
  br label %656

156:                                              ; preds = %146
  call void @llvm.lifetime.start.p0(i64 16, ptr %22) #0
  %157 = load ptr, ptr %20, align 8, !tbaa !5
  invoke void @_Z19InstructionIterableIN3cfg5BlockEEN7ir_list23InstructionIterableImplILb0EEEPT_(ptr dead_on_unwind writable sret(%"class.ir_list::InstructionIterableImpl") align 8 %22, ptr noundef %157)
          to label %158 unwind label %166

158:                                              ; preds = %156
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #0
  invoke void @_ZNK7ir_list23InstructionIterableImplILb0EE5beginEv(ptr dead_on_unwind writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %23, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %159 unwind label %170

159:                                              ; preds = %158
  call void @llvm.lifetime.start.p0(i64 16, ptr %24) #0
  invoke void @_ZNK7ir_list23InstructionIterableImplILb0EE3endEv(ptr dead_on_unwind writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %24, ptr noundef nonnull align 8 dereferenceable(16) %22)
          to label %160 unwind label %174

160:                                              ; preds = %159
  call void @llvm.lifetime.start.p0(i64 16, ptr %25) #0
  invoke void @_ZN7ir_list23InstructionIteratorImplILb0EEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %25, ptr noundef nonnull align 8 dereferenceable(16) %24)
          to label %161 unwind label %178

161:                                              ; preds = %160
  br label %162

162:                                              ; preds = %628, %161
  %163 = invoke noundef zeroext i1 @_ZNK7ir_list23InstructionIteratorImplILb0EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %23, ptr noundef nonnull align 8 dereferenceable(16) %24)
          to label %164 unwind label %178

164:                                              ; preds = %162
  br i1 %163, label %182, label %165

165:                                              ; preds = %164
  store i32 4, ptr %10, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #0
  call void @llvm.lifetime.end.p0(i64 16, ptr %24) #0
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #0
  br label %646

166:                                              ; preds = %156
  %167 = landingpad { ptr, i32 }
          cleanup
  %168 = extractvalue { ptr, i32 } %167, 0
  store ptr %168, ptr %7, align 8
  %169 = extractvalue { ptr, i32 } %167, 1
  store i32 %169, ptr %8, align 4
  br label %655

170:                                              ; preds = %158
  %171 = landingpad { ptr, i32 }
          cleanup
  %172 = extractvalue { ptr, i32 } %171, 0
  store ptr %172, ptr %7, align 8
  %173 = extractvalue { ptr, i32 } %171, 1
  store i32 %173, ptr %8, align 4
  br label %645

174:                                              ; preds = %159
  %175 = landingpad { ptr, i32 }
          cleanup
  %176 = extractvalue { ptr, i32 } %175, 0
  store ptr %176, ptr %7, align 8
  %177 = extractvalue { ptr, i32 } %175, 1
  store i32 %177, ptr %8, align 4
  br label %644

178:                                              ; preds = %624, %622, %620, %162, %160
  %179 = landingpad { ptr, i32 }
          cleanup
  %180 = extractvalue { ptr, i32 } %179, 0
  store ptr %180, ptr %7, align 8
  %181 = extractvalue { ptr, i32 } %179, 1
  store i32 %181, ptr %8, align 4
  br label %643

182:                                              ; preds = %164
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #0
  %183 = invoke noundef ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(16) %23)
          to label %184 unwind label %199

184:                                              ; preds = %182
  %185 = getelementptr inbounds %struct.MethodItemEntry, ptr %183, i32 0, i32 2
  %186 = load ptr, ptr %185, align 8, !tbaa !16
  store ptr %186, ptr %26, align 8, !tbaa !5
  %187 = load ptr, ptr %26, align 8, !tbaa !5
  %188 = invoke noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %187)
          to label %189 unwind label %199

189:                                              ; preds = %184
  %190 = zext i16 %188 to i32
  %191 = icmp ne i32 %190, 89
  br i1 %191, label %198, label %192

192:                                              ; preds = %189
  %193 = load ptr, ptr %26, align 8, !tbaa !5
  %194 = invoke noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32) %193)
          to label %195 unwind label %199

195:                                              ; preds = %192
  %196 = invoke noundef zeroext i1 @_ZN6method7is_initEPK12DexMethodRef(ptr noundef %194)
          to label %197 unwind label %199

197:                                              ; preds = %195
  br i1 %196, label %203, label %198

198:                                              ; preds = %197, %189
  store i32 6, ptr %10, align 4
  br label %617

199:                                              ; preds = %195, %192, %184, %182
  %200 = landingpad { ptr, i32 }
          cleanup
  %201 = extractvalue { ptr, i32 } %200, 0
  store ptr %201, ptr %7, align 8
  %202 = extractvalue { ptr, i32 } %200, 1
  store i32 %202, ptr %8, align 4
  br label %638

203:                                              ; preds = %197
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #0
  %204 = load ptr, ptr %26, align 8, !tbaa !5
  %205 = invoke noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32) %204)
          to label %206 unwind label %220

206:                                              ; preds = %203
  %207 = invoke noundef ptr @_ZNK12DexMethodRef9get_classEv(ptr noundef nonnull align 8 dereferenceable(26) %205)
          to label %208 unwind label %220

208:                                              ; preds = %206
  store ptr %207, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr %28) #0
  %209 = load ptr, ptr %26, align 8, !tbaa !5
  %210 = invoke noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %209, i16 noundef zeroext 0)
          to label %211 unwind label %224

211:                                              ; preds = %208
  store i32 %210, ptr %28, align 4, !tbaa !17
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #0
  %212 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEE3getERKj(ptr noundef nonnull align 8 dereferenceable(16) %21, ptr noundef nonnull align 4 dereferenceable(4) %28)
          to label %213 unwind label %228

213:                                              ; preds = %211
  store ptr %212, ptr %29, align 8, !tbaa !5
  %214 = load ptr, ptr %29, align 8, !tbaa !5
  %215 = invoke noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE6is_topEv(ptr noundef nonnull align 8 dereferenceable(16) %214)
          to label %216 unwind label %228

216:                                              ; preds = %213
  br i1 %215, label %218, label %217

217:                                              ; preds = %216
  br label %233

218:                                              ; preds = %216
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.20, ptr noundef @.str.16, i32 noundef 361, ptr noundef @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef @.str.17) #10
          to label %219 unwind label %228

219:                                              ; preds = %218
  unreachable

220:                                              ; preds = %206, %203
  %221 = landingpad { ptr, i32 }
          cleanup
  %222 = extractvalue { ptr, i32 } %221, 0
  store ptr %222, ptr %7, align 8
  %223 = extractvalue { ptr, i32 } %221, 1
  store i32 %223, ptr %8, align 4
  br label %637

224:                                              ; preds = %208
  %225 = landingpad { ptr, i32 }
          cleanup
  %226 = extractvalue { ptr, i32 } %225, 0
  store ptr %226, ptr %7, align 8
  %227 = extractvalue { ptr, i32 } %225, 1
  store i32 %227, ptr %8, align 4
  br label %636

228:                                              ; preds = %252, %246, %241, %238, %233, %218, %213, %211
  %229 = landingpad { ptr, i32 }
          cleanup
  %230 = extractvalue { ptr, i32 } %229, 0
  store ptr %230, ptr %7, align 8
  %231 = extractvalue { ptr, i32 } %229, 1
  store i32 %231, ptr %8, align 4
  br label %635

232:                                              ; No predecessors!
  br label %233

233:                                              ; preds = %232, %217
  %234 = load ptr, ptr %29, align 8, !tbaa !5
  %235 = invoke noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16) %234)
          to label %236 unwind label %228

236:                                              ; preds = %233
  br i1 %235, label %238, label %237

237:                                              ; preds = %236
  br label %241

238:                                              ; preds = %236
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.21, ptr noundef @.str.16, i32 noundef 362, ptr noundef @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef @.str.17) #10
          to label %239 unwind label %228

239:                                              ; preds = %238
  unreachable

240:                                              ; No predecessors!
  br label %241

241:                                              ; preds = %240, %237
  %242 = load ptr, ptr %29, align 8, !tbaa !5
  %243 = invoke noundef zeroext i1 @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(16) %242)
          to label %244 unwind label %228

244:                                              ; preds = %241
  br i1 %243, label %245, label %246

245:                                              ; preds = %244
  store i32 6, ptr %10, align 4
  br label %616

246:                                              ; preds = %244
  %247 = load ptr, ptr %29, align 8, !tbaa !5
  %248 = invoke noundef i64 @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(16) %247)
          to label %249 unwind label %228

249:                                              ; preds = %246
  %250 = icmp eq i64 %248, 1
  br i1 %250, label %251, label %252

251:                                              ; preds = %249
  br label %255

252:                                              ; preds = %249
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.22, ptr noundef @.str.16, i32 noundef 367, ptr noundef @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef @.str.17) #10
          to label %253 unwind label %228

253:                                              ; preds = %252
  unreachable

254:                                              ; No predecessors!
  br label %255

255:                                              ; preds = %254, %251
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #0
  call void @llvm.lifetime.start.p0(i64 96, ptr %31) #0
  %256 = load ptr, ptr %29, align 8, !tbaa !5
  %257 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE8elementsEv(ptr noundef nonnull align 8 dereferenceable(16) %256)
          to label %258 unwind label %273

258:                                              ; preds = %255
  invoke void @_ZNK6sparta15PatriciaTreeSetIP13IRInstructionE5beginEv(ptr dead_on_unwind writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8 %31, ptr noundef nonnull align 8 dereferenceable(8) %257)
          to label %259 unwind label %273

259:                                              ; preds = %258
  %260 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIP13IRInstructionNS0_10EmptyValueEEdeEv(ptr noundef nonnull align 8 dereferenceable(96) %31)
          to label %261 unwind label %277

261:                                              ; preds = %259
  %262 = load ptr, ptr %260, align 8, !tbaa !5
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIP13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %31) #0
  call void @llvm.lifetime.end.p0(i64 96, ptr %31) #0
  store ptr %262, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #0
  %263 = load ptr, ptr %30, align 8, !tbaa !5
  %264 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %263)
          to label %265 unwind label %282

265:                                              ; preds = %261
  store ptr %264, ptr %32, align 8, !tbaa !5
  %266 = load ptr, ptr %27, align 8, !tbaa !5
  %267 = load ptr, ptr %32, align 8, !tbaa !5
  %268 = invoke noundef zeroext i1 @_ZN4type11is_subclassEPK7DexTypeS2_(ptr noundef %266, ptr noundef %267)
          to label %269 unwind label %282

269:                                              ; preds = %265
  br i1 %268, label %270, label %271

270:                                              ; preds = %269
  br label %287

271:                                              ; preds = %269
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.23, ptr noundef @.str.16, i32 noundef 370, ptr noundef @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef @.str.17) #10
          to label %272 unwind label %282

272:                                              ; preds = %271
  unreachable

273:                                              ; preds = %258, %255
  %274 = landingpad { ptr, i32 }
          cleanup
  %275 = extractvalue { ptr, i32 } %274, 0
  store ptr %275, ptr %7, align 8
  %276 = extractvalue { ptr, i32 } %274, 1
  store i32 %276, ptr %8, align 4
  br label %281

277:                                              ; preds = %259
  %278 = landingpad { ptr, i32 }
          cleanup
  %279 = extractvalue { ptr, i32 } %278, 0
  store ptr %279, ptr %7, align 8
  %280 = extractvalue { ptr, i32 } %278, 1
  store i32 %280, ptr %8, align 4
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIP13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %31) #0
  br label %281

281:                                              ; preds = %277, %273
  call void @llvm.lifetime.end.p0(i64 96, ptr %31) #0
  br label %634

282:                                              ; preds = %301, %299, %292, %290, %287, %271, %265, %261
  %283 = landingpad { ptr, i32 }
          cleanup
  %284 = extractvalue { ptr, i32 } %283, 0
  store ptr %284, ptr %7, align 8
  %285 = extractvalue { ptr, i32 } %283, 1
  store i32 %285, ptr %8, align 4
  br label %633

286:                                              ; No predecessors!
  br label %287

287:                                              ; preds = %286, %270
  %288 = invoke noundef zeroext i1 @_ZNK7ir_list23InstructionIteratorImplILb0EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %25, ptr noundef nonnull align 8 dereferenceable(16) %24)
          to label %289 unwind label %282

289:                                              ; preds = %287
  br i1 %288, label %290, label %333

290:                                              ; preds = %289
  %291 = invoke noundef ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(16) %25)
          to label %292 unwind label %282

292:                                              ; preds = %290
  %293 = getelementptr inbounds %struct.MethodItemEntry, ptr %291, i32 0, i32 2
  %294 = load ptr, ptr %293, align 8, !tbaa !16
  %295 = invoke noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %294)
          to label %296 unwind label %282

296:                                              ; preds = %292
  %297 = zext i16 %295 to i32
  %298 = icmp eq i32 %297, 164
  br i1 %298, label %299, label %333

299:                                              ; preds = %296
  %300 = invoke noundef ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(16) %25)
          to label %301 unwind label %282

301:                                              ; preds = %299
  %302 = getelementptr inbounds %struct.MethodItemEntry, ptr %300, i32 0, i32 2
  %303 = load ptr, ptr %302, align 8, !tbaa !16
  %304 = invoke noundef i32 @_ZNK13IRInstruction4destEv(ptr noundef nonnull align 8 dereferenceable(32) %303)
          to label %305 unwind label %282

305:                                              ; preds = %301
  %306 = load i32, ptr %28, align 4, !tbaa !17
  %307 = icmp eq i32 %304, %306
  br i1 %307, label %308, label %333

308:                                              ; preds = %305
  call void @llvm.lifetime.start.p0(i64 32, ptr %33) #0
  %309 = load ptr, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %34) #0
  %310 = load ptr, ptr %20, align 8, !tbaa !5
  invoke void @_ZN3cfg5Block27to_cfg_instruction_iteratorERKN7ir_list23InstructionIteratorImplILb0EEEb(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %34, ptr noundef nonnull align 8 dereferenceable(104) %310, ptr noundef nonnull align 8 dereferenceable(16) %25, i1 noundef zeroext false)
          to label %311 unwind label %320

311:                                              ; preds = %308
  invoke void @_ZN3cfg16ControlFlowGraph34primary_instruction_of_move_resultERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %33, ptr noundef nonnull align 8 dereferenceable(160) %309, ptr noundef nonnull align 8 dereferenceable(32) %34)
          to label %312 unwind label %320

312:                                              ; preds = %311
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #0
  %313 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(32) %33)
          to label %314 unwind label %324

314:                                              ; preds = %312
  %315 = getelementptr inbounds %struct.MethodItemEntry, ptr %313, i32 0, i32 2
  %316 = load ptr, ptr %315, align 8, !tbaa !16
  %317 = load ptr, ptr %30, align 8, !tbaa !5
  %318 = icmp eq ptr %316, %317
  br i1 %318, label %319, label %328

319:                                              ; preds = %314
  store i32 6, ptr %10, align 4
  br label %329

320:                                              ; preds = %311, %308
  %321 = landingpad { ptr, i32 }
          cleanup
  %322 = extractvalue { ptr, i32 } %321, 0
  store ptr %322, ptr %7, align 8
  %323 = extractvalue { ptr, i32 } %321, 1
  store i32 %323, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #0
  br label %332

324:                                              ; preds = %312
  %325 = landingpad { ptr, i32 }
          cleanup
  %326 = extractvalue { ptr, i32 } %325, 0
  store ptr %326, ptr %7, align 8
  %327 = extractvalue { ptr, i32 } %325, 1
  store i32 %327, ptr %8, align 4
  br label %332

328:                                              ; preds = %314
  store i32 0, ptr %10, align 4
  br label %329

329:                                              ; preds = %328, %319
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #0
  %330 = load i32, ptr %10, align 4
  switch i32 %330, label %615 [
    i32 0, label %331
  ]

331:                                              ; preds = %329
  br label %333

332:                                              ; preds = %324, %320
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #0
  br label %633

333:                                              ; preds = %331, %305, %296, %289
  call void @llvm.lifetime.start.p0(i64 1, ptr %35) #0
  store i8 0, ptr %35, align 1, !tbaa !19
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #0
  %334 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEE8bindingsEv(ptr noundef nonnull align 8 dereferenceable(16) %21)
          to label %335 unwind label %344

335:                                              ; preds = %333
  store ptr %334, ptr %36, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 96, ptr %37) #0
  %336 = load ptr, ptr %36, align 8, !tbaa !5
  invoke void @_ZNK6sparta15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS6_EEE5beginEv(ptr dead_on_unwind writable sret(%"class.sparta::pt_core::PatriciaTreeIterator.423") align 8 %37, ptr noundef nonnull align 8 dereferenceable(8) %336)
          to label %337 unwind label %348

337:                                              ; preds = %335
  call void @llvm.lifetime.start.p0(i64 96, ptr %38) #0
  %338 = load ptr, ptr %36, align 8, !tbaa !5
  invoke void @_ZNK6sparta15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS6_EEE3endEv(ptr dead_on_unwind writable sret(%"class.sparta::pt_core::PatriciaTreeIterator.423") align 8 %38, ptr noundef nonnull align 8 dereferenceable(8) %338)
          to label %339 unwind label %352

339:                                              ; preds = %337
  br label %340

340:                                              ; preds = %410, %339
  %341 = invoke noundef zeroext i1 @_ZNK6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEneERKSA_(ptr noundef nonnull align 8 dereferenceable(96) %37, ptr noundef nonnull align 8 dereferenceable(96) %38)
          to label %342 unwind label %356

342:                                              ; preds = %340
  br i1 %341, label %360, label %343

343:                                              ; preds = %342
  store i32 7, ptr %10, align 4
  br label %413

344:                                              ; preds = %333
  %345 = landingpad { ptr, i32 }
          cleanup
  %346 = extractvalue { ptr, i32 } %345, 0
  store ptr %346, ptr %7, align 8
  %347 = extractvalue { ptr, i32 } %345, 1
  store i32 %347, ptr %8, align 4
  br label %417

348:                                              ; preds = %335
  %349 = landingpad { ptr, i32 }
          cleanup
  %350 = extractvalue { ptr, i32 } %349, 0
  store ptr %350, ptr %7, align 8
  %351 = extractvalue { ptr, i32 } %349, 1
  store i32 %351, ptr %8, align 4
  br label %416

352:                                              ; preds = %337
  %353 = landingpad { ptr, i32 }
          cleanup
  %354 = extractvalue { ptr, i32 } %353, 0
  store ptr %354, ptr %7, align 8
  %355 = extractvalue { ptr, i32 } %353, 1
  store i32 %355, ptr %8, align 4
  br label %415

356:                                              ; preds = %408, %340
  %357 = landingpad { ptr, i32 }
          cleanup
  %358 = extractvalue { ptr, i32 } %357, 0
  store ptr %358, ptr %7, align 8
  %359 = extractvalue { ptr, i32 } %357, 1
  store i32 %359, ptr %8, align 4
  br label %414

360:                                              ; preds = %342
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #0
  %361 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(96) %37)
          to label %362 unwind label %371

362:                                              ; preds = %360
  store ptr %361, ptr %39, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %40) #0
  %363 = load ptr, ptr %39, align 8, !tbaa !5
  %364 = getelementptr inbounds %"struct.std::pair.432", ptr %363, i32 0, i32 1
  invoke void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEC2ERKS5_(ptr noundef nonnull align 8 dereferenceable(16) %40, ptr noundef nonnull align 8 dereferenceable(16) %364)
          to label %365 unwind label %375

365:                                              ; preds = %362
  %366 = invoke noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE6is_topEv(ptr noundef nonnull align 8 dereferenceable(16) %40)
          to label %367 unwind label %379

367:                                              ; preds = %365
  br i1 %366, label %369, label %368

368:                                              ; preds = %367
  br label %384

369:                                              ; preds = %367
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.24, ptr noundef @.str.16, i32 noundef 387, ptr noundef @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef @.str.17) #10
          to label %370 unwind label %379

370:                                              ; preds = %369
  unreachable

371:                                              ; preds = %360
  %372 = landingpad { ptr, i32 }
          cleanup
  %373 = extractvalue { ptr, i32 } %372, 0
  store ptr %373, ptr %7, align 8
  %374 = extractvalue { ptr, i32 } %372, 1
  store i32 %374, ptr %8, align 4
  br label %412

375:                                              ; preds = %362
  %376 = landingpad { ptr, i32 }
          cleanup
  %377 = extractvalue { ptr, i32 } %376, 0
  store ptr %377, ptr %7, align 8
  %378 = extractvalue { ptr, i32 } %376, 1
  store i32 %378, ptr %8, align 4
  br label %411

379:                                              ; preds = %391, %388, %384, %369, %365
  %380 = landingpad { ptr, i32 }
          cleanup
  %381 = extractvalue { ptr, i32 } %380, 0
  store ptr %381, ptr %7, align 8
  %382 = extractvalue { ptr, i32 } %380, 1
  store i32 %382, ptr %8, align 4
  call void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %40) #0
  br label %411

383:                                              ; No predecessors!
  br label %384

384:                                              ; preds = %383, %368
  %385 = invoke noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16) %40)
          to label %386 unwind label %379

386:                                              ; preds = %384
  br i1 %385, label %388, label %387

387:                                              ; preds = %386
  br label %391

388:                                              ; preds = %386
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.25, ptr noundef @.str.16, i32 noundef 388, ptr noundef @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef @.str.17) #10
          to label %389 unwind label %379

389:                                              ; preds = %388
  unreachable

390:                                              ; No predecessors!
  br label %391

391:                                              ; preds = %390, %387
  %392 = invoke noundef zeroext i1 @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE8containsERKS2_(ptr noundef nonnull align 8 dereferenceable(16) %40, ptr noundef nonnull align 8 dereferenceable(8) %30)
          to label %393 unwind label %379

393:                                              ; preds = %391
  br i1 %392, label %394, label %401

394:                                              ; preds = %393
  %395 = load ptr, ptr %39, align 8, !tbaa !5
  %396 = getelementptr inbounds %"struct.std::pair.432", ptr %395, i32 0, i32 0
  %397 = load i32, ptr %396, align 8, !tbaa !20
  %398 = load i32, ptr %28, align 4, !tbaa !17
  %399 = icmp ne i32 %397, %398
  br i1 %399, label %400, label %401

400:                                              ; preds = %394
  store i8 1, ptr %35, align 1, !tbaa !19
  store i32 7, ptr %10, align 4
  br label %402

401:                                              ; preds = %394, %393
  store i32 0, ptr %10, align 4
  br label %402

402:                                              ; preds = %401, %400
  call void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %40) #0
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #0
  %403 = load i32, ptr %10, align 4
  switch i32 %403, label %405 [
    i32 0, label %404
  ]

404:                                              ; preds = %402
  store i32 0, ptr %10, align 4
  br label %405

405:                                              ; preds = %404, %402
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #0
  %406 = load i32, ptr %10, align 4
  switch i32 %406, label %413 [
    i32 0, label %407
  ]

407:                                              ; preds = %405
  br label %408

408:                                              ; preds = %407
  %409 = invoke noundef nonnull align 8 dereferenceable(96) ptr @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEppEv(ptr noundef nonnull align 8 dereferenceable(96) %37)
          to label %410 unwind label %356

410:                                              ; preds = %408
  br label %340

411:                                              ; preds = %379, %375
  call void @llvm.lifetime.end.p0(i64 16, ptr %40) #0
  br label %412

412:                                              ; preds = %411, %371
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #0
  br label %414

413:                                              ; preds = %405, %343
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %38) #0
  call void @llvm.lifetime.end.p0(i64 96, ptr %38) #0
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %37) #0
  call void @llvm.lifetime.end.p0(i64 96, ptr %37) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #0
  br label %418

414:                                              ; preds = %412, %356
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %38) #0
  br label %415

415:                                              ; preds = %414, %352
  call void @llvm.lifetime.end.p0(i64 96, ptr %38) #0
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %37) #0
  br label %416

416:                                              ; preds = %415, %348
  call void @llvm.lifetime.end.p0(i64 96, ptr %37) #0
  br label %417

417:                                              ; preds = %416, %344
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #0
  br label %632

418:                                              ; preds = %413
  %419 = load i8, ptr %35, align 1, !tbaa !19, !range !30, !noundef !31
  %420 = trunc i8 %419 to i1
  br i1 %420, label %421, label %426

421:                                              ; preds = %418
  %422 = getelementptr inbounds %class.LocalDce, ptr %62, i32 0, i32 6
  %423 = getelementptr inbounds %"struct.LocalDce::Stats", ptr %422, i32 0, i32 4
  %424 = load i64, ptr %423, align 8, !tbaa !32
  %425 = add i64 %424, 1
  store i64 %425, ptr %423, align 8, !tbaa !32
  store i32 6, ptr %10, align 4
  br label %614

426:                                              ; preds = %418
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #0
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEC2IS2_vEEv(ptr noundef nonnull align 8 dereferenceable(8) %41) #0
  call void @llvm.lifetime.start.p0(i64 32, ptr %42) #0
  %427 = load ptr, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %43) #0
  %428 = load ptr, ptr %4, align 8, !tbaa !5
  %429 = load ptr, ptr %30, align 8, !tbaa !5
  %430 = load ptr, ptr %20, align 8, !tbaa !5
  invoke void @_ZN3cfg16ControlFlowGraph9find_insnEP13IRInstructionPNS_5BlockE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %43, ptr noundef nonnull align 8 dereferenceable(160) %428, ptr noundef %429, ptr noundef %430)
          to label %431 unwind label %438

431:                                              ; preds = %426
  invoke void @_ZN3cfg16ControlFlowGraph14move_result_ofERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %42, ptr noundef nonnull align 8 dereferenceable(160) %427, ptr noundef nonnull align 8 dereferenceable(32) %43)
          to label %432 unwind label %438

432:                                              ; preds = %431
  call void @llvm.lifetime.end.p0(i64 32, ptr %43) #0
  %433 = invoke noundef zeroext i1 @_ZNK3cfg23InstructionIteratorImplILb0EE6is_endEv(ptr noundef nonnull align 8 dereferenceable(32) %42)
          to label %434 unwind label %442

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

435:                                              ; preds = %434
  br label %447

436:                                              ; preds = %434
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.26, ptr noundef @.str.16, i32 noundef 406, ptr noundef @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef @.str.17) #10
          to label %437 unwind label %442

437:                                              ; preds = %436
  unreachable

438:                                              ; preds = %431, %426
  %439 = landingpad { ptr, i32 }
          cleanup
  %440 = extractvalue { ptr, i32 } %439, 0
  store ptr %440, ptr %7, align 8
  %441 = extractvalue { ptr, i32 } %439, 1
  store i32 %441, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %43) #0
  br label %531

442:                                              ; preds = %436, %432
  %443 = landingpad { ptr, i32 }
          cleanup
  %444 = extractvalue { ptr, i32 } %443, 0
  store ptr %444, ptr %7, align 8
  %445 = extractvalue { ptr, i32 } %443, 1
  store i32 %445, ptr %8, align 4
  br label %531

446:                                              ; No predecessors!
  br label %447

447:                                              ; preds = %446, %435
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #0
  %448 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EE5blockEv(ptr noundef nonnull align 8 dereferenceable(32) %42)
          to label %449 unwind label %465

449:                                              ; preds = %447
  store ptr %448, ptr %44, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #0
  invoke void @_ZNK3cfg23InstructionIteratorImplILb0EE6unwrapEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8 %45, ptr noundef nonnull align 8 dereferenceable(32) %42)
          to label %450 unwind label %469

450:                                              ; preds = %449
  %451 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEppEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
          to label %452 unwind label %469

452:                                              ; preds = %450
  br label %453

453:                                              ; preds = %498, %452
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #0
  %454 = load ptr, ptr %44, align 8, !tbaa !5
  invoke void @_ZN3cfg5Block3endEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8 %46, ptr noundef nonnull align 8 dereferenceable(104) %454)
          to label %455 unwind label %473

455:                                              ; preds = %453
  %456 = invoke noundef zeroext i1 @_ZN5boost9intrusiveneERKNS0_13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEES9_(ptr noundef nonnull align 8 dereferenceable(8) %45, ptr noundef nonnull align 8 dereferenceable(8) %46)
          to label %457 unwind label %473

457:                                              ; preds = %455
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #0
  br i1 %456, label %458, label %499

458:                                              ; preds = %457
  %459 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
          to label %460 unwind label %469

460:                                              ; preds = %458
  %461 = getelementptr inbounds %struct.MethodItemEntry, ptr %459, i32 0, i32 1
  %462 = load i32, ptr %461, align 8, !tbaa !33
  %463 = icmp eq i32 %462, 2
  br i1 %463, label %464, label %477

464:                                              ; preds = %460
  br label %499

465:                                              ; preds = %447
  %466 = landingpad { ptr, i32 }
          cleanup
  %467 = extractvalue { ptr, i32 } %466, 0
  store ptr %467, ptr %7, align 8
  %468 = extractvalue { ptr, i32 } %466, 1
  store i32 %468, ptr %8, align 4
  br label %530

469:                                              ; preds = %496, %477, %458, %450, %449
  %470 = landingpad { ptr, i32 }
          cleanup
  %471 = extractvalue { ptr, i32 } %470, 0
  store ptr %471, ptr %7, align 8
  %472 = extractvalue { ptr, i32 } %470, 1
  store i32 %472, ptr %8, align 4
  br label %529

473:                                              ; preds = %455, %453
  %474 = landingpad { ptr, i32 }
          cleanup
  %475 = extractvalue { ptr, i32 } %474, 0
  store ptr %475, ptr %7, align 8
  %476 = extractvalue { ptr, i32 } %474, 1
  store i32 %476, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #0
  br label %529

477:                                              ; preds = %460
  %478 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
          to label %479 unwind label %469

479:                                              ; preds = %477
  %480 = getelementptr inbounds %struct.MethodItemEntry, ptr %478, i32 0, i32 1
  %481 = load i32, ptr %480, align 8, !tbaa !33
  %482 = icmp eq i32 %481, 7
  br i1 %482, label %483, label %496

483:                                              ; preds = %479
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #0
  %484 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
          to label %485 unwind label %492

485:                                              ; preds = %483
  %486 = getelementptr inbounds %struct.MethodItemEntry, ptr %484, i32 0, i32 2
  %487 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %486) #0
  invoke void @_ZSt11make_uniqueI11SourceBlockJRS0_EENSt8__detail9_MakeUniqIT_E15__single_objectEDpOT0_(ptr dead_on_unwind writable sret(%"class.std::unique_ptr.65") align 8 %47, ptr noundef nonnull align 8 dereferenceable(32) %487)
          to label %488 unwind label %492

488:                                              ; preds = %485
  %489 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEaSEOS3_(ptr noundef nonnull align 8 dereferenceable(8) %41, ptr noundef nonnull align 8 dereferenceable(8) %47) #0
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %47) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #0
  %490 = call noundef ptr @_ZNKSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %41) #0
  %491 = getelementptr inbounds %struct.SourceBlock, ptr %490, i32 0, i32 1
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EE5resetEPS0_(ptr noundef nonnull align 8 dereferenceable(8) %491, ptr noundef null) #0
  br label %499

492:                                              ; preds = %485, %483
  %493 = landingpad { ptr, i32 }
          cleanup
  %494 = extractvalue { ptr, i32 } %493, 0
  store ptr %494, ptr %7, align 8
  %495 = extractvalue { ptr, i32 } %493, 1
  store i32 %495, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #0
  br label %529

496:                                              ; preds = %479
  %497 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEppEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
          to label %498 unwind label %469

498:                                              ; preds = %496
  br label %453, !llvm.loop !39

499:                                              ; preds = %488, %464, %457
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #0
  call void @llvm.lifetime.end.p0(i64 32, ptr %42) #0
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #0
  %500 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 32) #11
          to label %501 unwind label %532

501:                                              ; preds = %499
  invoke void @_ZN13IRInstructionC1E8IROpcode(ptr noundef nonnull align 8 dereferenceable(32) %500, i16 noundef zeroext 21)
          to label %502 unwind label %536

502:                                              ; preds = %501
  store ptr %500, ptr %48, align 8, !tbaa !5
  %503 = load ptr, ptr %48, align 8, !tbaa !5
  %504 = load ptr, ptr %32, align 8, !tbaa !5
  %505 = invoke noundef ptr @_ZN13IRInstruction8set_typeEP7DexType(ptr noundef nonnull align 8 dereferenceable(32) %503, ptr noundef %504)
          to label %506 unwind label %532

506:                                              ; preds = %502
  call void @llvm.lifetime.start.p0(i64 8, ptr %49) #0
  %507 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 32) #11
          to label %508 unwind label %540

508:                                              ; preds = %506
  invoke void @_ZN13IRInstructionC1E8IROpcode(ptr noundef nonnull align 8 dereferenceable(32) %507, i16 noundef zeroext 164)
          to label %509 unwind label %544

509:                                              ; preds = %508
  store ptr %507, ptr %49, align 8, !tbaa !5
  %510 = load ptr, ptr %49, align 8, !tbaa !5
  %511 = load i32, ptr %28, align 4, !tbaa !17
  %512 = invoke noundef ptr @_ZN13IRInstruction8set_destEj(ptr noundef nonnull align 8 dereferenceable(32) %510, i32 noundef %511)
          to label %513 unwind label %540

513:                                              ; preds = %509
  %514 = call noundef zeroext i1 @_ZSteqI11SourceBlockSt14default_deleteIS0_EEbRKSt10unique_ptrIT_T0_EDn(ptr noundef nonnull align 8 dereferenceable(8) %41, ptr null) #0
  br i1 %514, label %515, label %562

515:                                              ; preds = %513
  call void @llvm.lifetime.start.p0(i64 32, ptr %50) #0
  %516 = load ptr, ptr %20, align 8, !tbaa !5
  invoke void @_ZN3cfg5Block27to_cfg_instruction_iteratorERKN7ir_list23InstructionIteratorImplILb0EEEb(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %50, ptr noundef nonnull align 8 dereferenceable(104) %516, ptr noundef nonnull align 8 dereferenceable(16) %23, i1 noundef zeroext false)
          to label %517 unwind label %548

517:                                              ; preds = %515
  call void @llvm.lifetime.start.p0(i64 16, ptr %53) #0
  %518 = load ptr, ptr %48, align 8, !tbaa !5
  store ptr %518, ptr %53, align 8, !tbaa !5
  %519 = getelementptr inbounds ptr, ptr %53, i64 1
  %520 = load ptr, ptr %49, align 8, !tbaa !5
  store ptr %520, ptr %519, align 8, !tbaa !5
  %521 = getelementptr inbounds %"class.std::initializer_list", ptr %52, i32 0, i32 0
  store ptr %53, ptr %521, align 8, !tbaa !41
  %522 = getelementptr inbounds %"class.std::initializer_list", ptr %52, i32 0, i32 1
  store i64 2, ptr %522, align 8, !tbaa !43
  call void @llvm.lifetime.start.p0(i64 1, ptr %54) #0
  call void @_ZNSaIP13IRInstructionEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %54) #0
  %523 = getelementptr inbounds { ptr, i64 }, ptr %52, i32 0, i32 0
  %524 = load ptr, ptr %523, align 8
  %525 = getelementptr inbounds { ptr, i64 }, ptr %52, i32 0, i32 1
  %526 = load i64, ptr %525, align 8
  invoke void @_ZNSt6vectorIP13IRInstructionSaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %51, ptr %524, i64 %526, ptr noundef nonnull align 1 dereferenceable(1) %54)
          to label %527 unwind label %552

527:                                              ; preds = %517
  invoke void @_ZN3cfg11CFGMutation13insert_beforeERKNS_23InstructionIteratorImplILb0EEESt6vectorIP13IRInstructionSaIS7_EE(ptr noundef nonnull align 8 dereferenceable(64) %11, ptr noundef nonnull align 8 dereferenceable(32) %50, ptr noundef %51)
          to label %528 unwind label %556

528:                                              ; preds = %527
  call void @_ZNSt6vectorIP13IRInstructionSaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %51) #0
  call void @_ZNSt15__new_allocatorIP13IRInstructionED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %54) #0
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #0
  call void @llvm.lifetime.end.p0(i64 16, ptr %53) #0
  call void @llvm.lifetime.end.p0(i64 32, ptr %50) #0
  br label %609

529:                                              ; preds = %492, %473, %469
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #0
  br label %530

530:                                              ; preds = %529, %465
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #0
  br label %531

531:                                              ; preds = %530, %442, %438
  call void @llvm.lifetime.end.p0(i64 32, ptr %42) #0
  br label %631

532:                                              ; preds = %502, %499
  %533 = landingpad { ptr, i32 }
          cleanup
  %534 = extractvalue { ptr, i32 } %533, 0
  store ptr %534, ptr %7, align 8
  %535 = extractvalue { ptr, i32 } %533, 1
  store i32 %535, ptr %8, align 4
  br label %630

536:                                              ; preds = %501
  %537 = landingpad { ptr, i32 }
          cleanup
  %538 = extractvalue { ptr, i32 } %537, 0
  store ptr %538, ptr %7, align 8
  %539 = extractvalue { ptr, i32 } %537, 1
  store i32 %539, ptr %8, align 4
  call void @_ZdlPvm(ptr noundef %500, i64 noundef 32) #12
  br label %630

540:                                              ; preds = %509, %506
  %541 = landingpad { ptr, i32 }
          cleanup
  %542 = extractvalue { ptr, i32 } %541, 0
  store ptr %542, ptr %7, align 8
  %543 = extractvalue { ptr, i32 } %541, 1
  store i32 %543, ptr %8, align 4
  br label %629

544:                                              ; preds = %508
  %545 = landingpad { ptr, i32 }
          cleanup
  %546 = extractvalue { ptr, i32 } %545, 0
  store ptr %546, ptr %7, align 8
  %547 = extractvalue { ptr, i32 } %545, 1
  store i32 %547, ptr %8, align 4
  call void @_ZdlPvm(ptr noundef %507, i64 noundef 32) #12
  br label %629

548:                                              ; preds = %515
  %549 = landingpad { ptr, i32 }
          cleanup
  %550 = extractvalue { ptr, i32 } %549, 0
  store ptr %550, ptr %7, align 8
  %551 = extractvalue { ptr, i32 } %549, 1
  store i32 %551, ptr %8, align 4
  br label %561

552:                                              ; preds = %517
  %553 = landingpad { ptr, i32 }
          cleanup
  %554 = extractvalue { ptr, i32 } %553, 0
  store ptr %554, ptr %7, align 8
  %555 = extractvalue { ptr, i32 } %553, 1
  store i32 %555, ptr %8, align 4
  br label %560

556:                                              ; preds = %527
  %557 = landingpad { ptr, i32 }
          cleanup
  %558 = extractvalue { ptr, i32 } %557, 0
  store ptr %558, ptr %7, align 8
  %559 = extractvalue { ptr, i32 } %557, 1
  store i32 %559, ptr %8, align 4
  call void @_ZNSt6vectorIP13IRInstructionSaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %51) #0
  br label %560

560:                                              ; preds = %556, %552
  call void @_ZNSt15__new_allocatorIP13IRInstructionED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %54) #0
  call void @llvm.lifetime.end.p0(i64 1, ptr %54) #0
  call void @llvm.lifetime.end.p0(i64 16, ptr %53) #0
  br label %561

561:                                              ; preds = %560, %548
  call void @llvm.lifetime.end.p0(i64 32, ptr %50) #0
  br label %629

562:                                              ; preds = %513
  call void @llvm.lifetime.start.p0(i64 24, ptr %55) #0
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %55) #0
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #0
  %563 = call noundef ptr @_ZNKSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EE3getEv(ptr noundef nonnull align 8 dereferenceable(8) %41) #0
  store ptr %563, ptr %56, align 8, !tbaa !5
  %564 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EE12emplace_backIJRS2_EEERSB_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %55, ptr noundef nonnull align 8 dereferenceable(8) %48)
          to label %565 unwind label %586

565:                                              ; preds = %562
  %566 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EE12emplace_backIJRS2_EEERSB_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %55, ptr noundef nonnull align 8 dereferenceable(8) %49)
          to label %567 unwind label %586

567:                                              ; preds = %565
  %568 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EE12emplace_backIJS7_EEERSB_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %55, ptr noundef nonnull align 8 dereferenceable(8) %41)
          to label %569 unwind label %586

569:                                              ; preds = %567
  call void @llvm.lifetime.start.p0(i64 32, ptr %57) #0
  %570 = load ptr, ptr %20, align 8, !tbaa !5
  invoke void @_ZN3cfg5Block27to_cfg_instruction_iteratorERKN7ir_list23InstructionIteratorImplILb0EEEb(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %57, ptr noundef nonnull align 8 dereferenceable(104) %570, ptr noundef nonnull align 8 dereferenceable(16) %23, i1 noundef zeroext false)
          to label %571 unwind label %590

571:                                              ; preds = %569
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EEC2EOSD_(ptr noundef nonnull align 8 dereferenceable(24) %58, ptr noundef nonnull align 8 dereferenceable(24) %55) #0
  invoke void @_ZN3cfg11CFGMutation17insert_before_varERKNS_23InstructionIteratorImplILb0EEESt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteISA_EES9_I11DexPositionSB_ISE_EEEESaISH_EE(ptr noundef nonnull align 8 dereferenceable(64) %11, ptr noundef nonnull align 8 dereferenceable(32) %57, ptr noundef %58)
          to label %572 unwind label %594

572:                                              ; preds = %571
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %58) #0
  call void @llvm.lifetime.end.p0(i64 32, ptr %57) #0
  call void @llvm.lifetime.start.p0(i64 8, ptr %59) #0
  call void @llvm.lifetime.start.p0(i64 16, ptr %60) #0
  %573 = getelementptr inbounds %class.anon.455, ptr %60, i32 0, i32 0
  store ptr %20, ptr %573, align 8, !tbaa !5
  %574 = getelementptr inbounds %class.anon.455, ptr %60, i32 0, i32 1
  store ptr %23, ptr %574, align 8, !tbaa !5
  %575 = invoke noundef ptr @"_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEENK3$_1clEv"(ptr noundef nonnull align 8 dereferenceable(16) %60)
          to label %576 unwind label %599

576:                                              ; preds = %572
  call void @llvm.lifetime.end.p0(i64 16, ptr %60) #0
  store ptr %575, ptr %59, align 8, !tbaa !5
  %577 = load ptr, ptr %59, align 8, !tbaa !5
  %578 = load ptr, ptr %56, align 8, !tbaa !5
  %579 = load ptr, ptr %20, align 8, !tbaa !5
  %580 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZNK3cfg5Block3cfgEv(ptr noundef nonnull align 8 dereferenceable(104) %579)
          to label %581 unwind label %603

581:                                              ; preds = %576
  %582 = load ptr, ptr %59, align 8, !tbaa !5
  %583 = invoke noundef i64 @_ZN13source_blocks9normalize16num_interactionsERKN3cfg16ControlFlowGraphEPK11SourceBlock(ptr noundef nonnull align 8 dereferenceable(160) %580, ptr noundef %582)
          to label %584 unwind label %603

584:                                              ; preds = %581
  invoke void @_ZN13source_blocks9normalize9normalizeEP11SourceBlockS2_m(ptr noundef %577, ptr noundef %578, i64 noundef %583)
          to label %585 unwind label %603

585:                                              ; preds = %584
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #0
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %55) #0
  call void @llvm.lifetime.end.p0(i64 24, ptr %55) #0
  br label %609

586:                                              ; preds = %567, %565, %562
  %587 = landingpad { ptr, i32 }
          cleanup
  %588 = extractvalue { ptr, i32 } %587, 0
  store ptr %588, ptr %7, align 8
  %589 = extractvalue { ptr, i32 } %587, 1
  store i32 %589, ptr %8, align 4
  br label %608

590:                                              ; preds = %569
  %591 = landingpad { ptr, i32 }
          cleanup
  %592 = extractvalue { ptr, i32 } %591, 0
  store ptr %592, ptr %7, align 8
  %593 = extractvalue { ptr, i32 } %591, 1
  store i32 %593, ptr %8, align 4
  br label %598

594:                                              ; preds = %571
  %595 = landingpad { ptr, i32 }
          cleanup
  %596 = extractvalue { ptr, i32 } %595, 0
  store ptr %596, ptr %7, align 8
  %597 = extractvalue { ptr, i32 } %595, 1
  store i32 %597, ptr %8, align 4
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %58) #0
  br label %598

598:                                              ; preds = %594, %590
  call void @llvm.lifetime.end.p0(i64 32, ptr %57) #0
  br label %608

599:                                              ; preds = %572
  %600 = landingpad { ptr, i32 }
          cleanup
  %601 = extractvalue { ptr, i32 } %600, 0
  store ptr %601, ptr %7, align 8
  %602 = extractvalue { ptr, i32 } %600, 1
  store i32 %602, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %60) #0
  br label %607

603:                                              ; preds = %584, %581, %576
  %604 = landingpad { ptr, i32 }
          cleanup
  %605 = extractvalue { ptr, i32 } %604, 0
  store ptr %605, ptr %7, align 8
  %606 = extractvalue { ptr, i32 } %604, 1
  store i32 %606, ptr %8, align 4
  br label %607

607:                                              ; preds = %603, %599
  call void @llvm.lifetime.end.p0(i64 8, ptr %59) #0
  br label %608

608:                                              ; preds = %607, %598, %586
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #0
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %55) #0
  call void @llvm.lifetime.end.p0(i64 24, ptr %55) #0
  br label %629

609:                                              ; preds = %585, %528
  %610 = getelementptr inbounds %class.LocalDce, ptr %62, i32 0, i32 6
  %611 = getelementptr inbounds %"struct.LocalDce::Stats", ptr %610, i32 0, i32 5
  %612 = load i64, ptr %611, align 8, !tbaa !44
  %613 = add i64 %612, 1
  store i64 %613, ptr %611, align 8, !tbaa !44
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #0
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %41) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #0
  store i32 0, ptr %10, align 4
  br label %614

614:                                              ; preds = %609, %421
  call void @llvm.lifetime.end.p0(i64 1, ptr %35) #0
  br label %615

615:                                              ; preds = %614, %329
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #0
  br label %616

616:                                              ; preds = %615, %245
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #0
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #0
  br label %617

617:                                              ; preds = %616, %198
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #0
  %618 = load i32, ptr %10, align 4
  switch i32 %618, label %677 [
    i32 0, label %619
    i32 6, label %620
  ]

619:                                              ; preds = %617
  br label %620

620:                                              ; preds = %619, %617
  %621 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN7ir_list23InstructionIteratorImplILb0EEaSERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %25, ptr noundef nonnull align 8 dereferenceable(16) %23)
          to label %622 unwind label %178

622:                                              ; preds = %620
  %623 = invoke noundef ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(16) %23)
          to label %624 unwind label %178

624:                                              ; preds = %622
  %625 = getelementptr inbounds %struct.MethodItemEntry, ptr %623, i32 0, i32 2
  %626 = load ptr, ptr %625, align 8, !tbaa !16
  invoke void @_ZNK13reaching_defs25MoveAwareFixpointIterator19analyze_instructionEPK13IRInstructionPN6sparta19AbstractEnvironmentINS4_15PatriciaTreeMapIjNS4_17SetAbstractDomainINS4_15PatriciaTreeSetIPS1_EEEENS4_17TopValueInterfaceISB_EEEEEE(ptr noundef nonnull align 8 dereferenceable(288) %12, ptr noundef %626, ptr noundef %21)
          to label %627 unwind label %178

627:                                              ; preds = %624
  call void @llvm.lifetime.start.p0(i64 16, ptr %61) #0
  invoke void @_ZN7ir_list23InstructionIteratorImplILb0EEppEi(ptr dead_on_unwind writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %61, ptr noundef nonnull align 8 dereferenceable(16) %23, i32 noundef 0)
          to label %628 unwind label %639

628:                                              ; preds = %627
  call void @llvm.lifetime.end.p0(i64 16, ptr %61) #0
  br label %162, !llvm.loop !45

629:                                              ; preds = %608, %561, %544, %540
  call void @llvm.lifetime.end.p0(i64 8, ptr %49) #0
  br label %630

630:                                              ; preds = %629, %536, %532
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #0
  br label %631

631:                                              ; preds = %630, %531
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %41) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #0
  br label %632

632:                                              ; preds = %631, %417
  call void @llvm.lifetime.end.p0(i64 1, ptr %35) #0
  br label %633

633:                                              ; preds = %632, %332, %282
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #0
  br label %634

634:                                              ; preds = %633, %281
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #0
  br label %635

635:                                              ; preds = %634, %228
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #0
  br label %636

636:                                              ; preds = %635, %224
  call void @llvm.lifetime.end.p0(i64 4, ptr %28) #0
  br label %637

637:                                              ; preds = %636, %220
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #0
  br label %638

638:                                              ; preds = %637, %199
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #0
  br label %643

639:                                              ; preds = %627
  %640 = landingpad { ptr, i32 }
          cleanup
  %641 = extractvalue { ptr, i32 } %640, 0
  store ptr %641, ptr %7, align 8
  %642 = extractvalue { ptr, i32 } %640, 1
  store i32 %642, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %61) #0
  br label %643

643:                                              ; preds = %639, %638, %178
  call void @llvm.lifetime.end.p0(i64 16, ptr %25) #0
  br label %644

644:                                              ; preds = %643, %174
  call void @llvm.lifetime.end.p0(i64 16, ptr %24) #0
  br label %645

645:                                              ; preds = %644, %170
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #0
  br label %655

646:                                              ; preds = %165
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #0
  store i32 0, ptr %10, align 4
  br label %647

647:                                              ; preds = %646, %147
  call void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %21) #0
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #0
  %648 = load i32, ptr %10, align 4
  switch i32 %648, label %650 [
    i32 0, label %649
  ]

649:                                              ; preds = %647
  store i32 0, ptr %10, align 4
  br label %650

650:                                              ; preds = %649, %647
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #0
  %651 = load i32, ptr %10, align 4
  switch i32 %651, label %677 [
    i32 0, label %652
    i32 3, label %653
  ]

652:                                              ; preds = %650
  br label %653

653:                                              ; preds = %652, %650
  %654 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %18) #0
  br label %115

655:                                              ; preds = %645, %166
  call void @llvm.lifetime.end.p0(i64 16, ptr %22) #0
  br label %656

656:                                              ; preds = %655, %152
  call void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %21) #0
  br label %657

657:                                              ; preds = %656, %148
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #0
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #0
  call void @_ZNSt6vectorIPN3cfg5BlockESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %17) #0
  call void @llvm.lifetime.end.p0(i64 24, ptr %17) #0
  br label %658

658:                                              ; preds = %657, %135
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #0
  br label %668

659:                                              ; preds = %117
  invoke void @_ZN3cfg11CFGMutation5flushEv(ptr noundef nonnull align 8 dereferenceable(64) %11)
          to label %660 unwind label %664

660:                                              ; preds = %659
  call void @_ZN13reaching_defs25MoveAwareFixpointIteratorD2Ev(ptr noundef nonnull align 8 dereferenceable(288) %12) #0
  call void @llvm.lifetime.end.p0(i64 288, ptr %12) #0
  call void @_ZN3cfg11CFGMutationD2Ev(ptr noundef nonnull align 8 dereferenceable(64) %11) #0
  call void @llvm.lifetime.end.p0(i64 64, ptr %11) #0
  store i32 0, ptr %10, align 4
  br label %661

661:                                              ; preds = %660, %99, %94, %76
  call void @_ZN17AccumulatingTimer22AccumulatingTimerScopeD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %9) #0
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #0
  %662 = load i32, ptr %10, align 4
  switch i32 %662, label %677 [
    i32 0, label %663
    i32 1, label %663
  ]

663:                                              ; preds = %661, %661
  ret void

664:                                              ; preds = %659
  %665 = landingpad { ptr, i32 }
          cleanup
  %666 = extractvalue { ptr, i32 } %665, 0
  store ptr %666, ptr %7, align 8
  %667 = extractvalue { ptr, i32 } %665, 1
  store i32 %667, ptr %8, align 4
  br label %668

668:                                              ; preds = %664, %658, %134
  call void @_ZN13reaching_defs25MoveAwareFixpointIteratorD2Ev(ptr noundef nonnull align 8 dereferenceable(288) %12) #0
  br label %669

669:                                              ; preds = %668, %122
  call void @llvm.lifetime.end.p0(i64 288, ptr %12) #0
  call void @_ZN3cfg11CFGMutationD2Ev(ptr noundef nonnull align 8 dereferenceable(64) %11) #0
  br label %670

670:                                              ; preds = %669, %118
  call void @llvm.lifetime.end.p0(i64 64, ptr %11) #0
  br label %671

671:                                              ; preds = %670, %86
  call void @_ZN17AccumulatingTimer22AccumulatingTimerScopeD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %9) #0
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #0
  br label %672

672:                                              ; preds = %671, %85
  %673 = load ptr, ptr %7, align 8
  %674 = load i32, ptr %8, align 4
  %675 = insertvalue { ptr, i32 } poison, ptr %673, 0
  %676 = insertvalue { ptr, i32 } %675, i32 %674, 1
  resume { ptr, i32 } %676

677:                                              ; preds = %661, %650, %617
  unreachable
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3cfg11CFGMutationC2ERNS_16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(160)) unnamed_addr #6 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)) #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32)) #3 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: mustprogress nounwind uwtable
declare dso_local void @_ZNSaIP13IRInstructionEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

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

declare void @_ZN3cfg11CFGMutation5flushEv(ptr noundef nonnull align 8 dereferenceable(64)) #4

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

declare noundef zeroext i1 @_ZN6method7is_initEPK12DexMethodRef(ptr noundef) #4

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

; 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 void @_ZN17AccumulatingTimer5scopeEv(ptr dead_on_unwind noalias writable sret(%"class.AccumulatingTimer::AccumulatingTimerScope") align 8, ptr noundef nonnull align 8 dereferenceable(16)) #3 align 2

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZN12_GLOBAL__N_129has_normalizable_new_instanceERN3cfg16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(160)) #3

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFbPK13IRInstructionEEC2IZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

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

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

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

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

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

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

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

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

; 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) #6

; 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 void @_ZN7ir_list23InstructionIteratorImplILb0EEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #3 align 2

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

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

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

declare noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32), i16 noundef zeroext) #4

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_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_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16)) #2 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK6sparta15PatriciaTreeSetIP13IRInstructionE5beginEv(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 nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIP13IRInstructionNS0_10EmptyValueEEdeEv(ptr noundef nonnull align 8 dereferenceable(96)) #3 align 2

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

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

declare noundef zeroext i1 @_ZN4type11is_subclassEPK7DexTypeS2_(ptr noundef, ptr noundef) #4

declare void @_ZN3cfg16ControlFlowGraph34primary_instruction_of_move_resultERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(160), ptr noundef nonnull align 8 dereferenceable(32)) #4

declare void @_ZN3cfg5Block27to_cfg_instruction_iteratorERKN7ir_list23InstructionIteratorImplILb0EEEb(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(104), ptr noundef nonnull align 8 dereferenceable(16), i1 noundef zeroext) #4

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEneERKSA_(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(24) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(96)) #3 align 2

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

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

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

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

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

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

declare void @_ZN3cfg16ControlFlowGraph14move_result_ofERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(160), ptr noundef nonnull align 8 dereferenceable(32)) #4

declare void @_ZN3cfg16ControlFlowGraph9find_insnEP13IRInstructionPNS_5BlockE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(160), ptr noundef, ptr noundef) #4

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3cfg23InstructionIteratorImplILb0EE6unwrapEv(ptr dead_on_unwind noalias writable sret(%"class.boost::intrusive::list_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(32)) #3 align 2

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt11make_uniqueI11SourceBlockJRS0_EENSt8__detail9_MakeUniqIT_E15__single_objectEDpOT0_(ptr dead_on_unwind noalias writable sret(%"class.std::unique_ptr.65") align 8, ptr noundef nonnull align 8 dereferenceable(32)) #6

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEdeEv(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 @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEaSEOS3_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

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

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

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

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znwm(i64 noundef) #8

declare void @_ZN13IRInstructionC1E8IROpcode(ptr noundef nonnull align 8 dereferenceable(32), i16 noundef zeroext) unnamed_addr #4

; Function Attrs: nobuiltin nounwind
declare void @_ZdlPvm(ptr noundef, i64 noundef) #9

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3cfg11CFGMutation13insert_beforeERKNS_23InstructionIteratorImplILb0EEESt6vectorIP13IRInstructionSaIS7_EE(ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) #6 align 2

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3cfg11CFGMutation17insert_before_varERKNS_23InstructionIteratorImplILb0EEESt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteISA_EES9_I11DexPositionSB_ISE_EEEESaISH_EE(ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) #6 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef ptr @"_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEENK3$_1clEv"(ptr noundef nonnull align 8 dereferenceable(16)) #6 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN13source_blocks9normalize9normalizeEP11SourceBlockS2_m(ptr noundef, ptr noundef, i64 noundef) #6

declare noundef i64 @_ZN13source_blocks9normalize16num_interactionsERKN3cfg16ControlFlowGraphEPK11SourceBlock(ptr noundef nonnull align 8 dereferenceable(160), ptr noundef) #4

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

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

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

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!"branch_weights", i32 1, i32 1048575}
!10 = !{!11, !6, i64 0}
!11 = !{!"_ZTS8LocalDce", !6, i64 0, !6, i64 8, !6, i64 16, !12, i64 24, !12, i64 25, !12, i64 26, !13, i64 32}
!12 = !{!"bool", !7, i64 0}
!13 = !{!"_ZTSN8LocalDce5StatsE", !14, i64 0, !14, i64 8, !14, i64 16, !14, i64 24, !14, i64 32, !14, i64 40, !15, i64 48}
!14 = !{!"long", !7, i64 0}
!15 = !{!"_ZTSN12init_classes5StatsE", !14, i64 0, !14, i64 8, !14, i64 16}
!16 = !{!7, !7, i64 0}
!17 = !{!18, !18, i64 0}
!18 = !{!"int", !7, i64 0}
!19 = !{!12, !12, i64 0}
!20 = !{!21, !18, i64 0}
!21 = !{!"_ZTSSt4pairIjN6sparta17SetAbstractDomainINS0_15PatriciaTreeSetIP13IRInstructionEEEEE", !18, i64 0, !22, i64 8}
!22 = !{!"_ZTSN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEE", !23, i64 0}
!23 = !{!"_ZTSN6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEEE", !24, i64 0}
!24 = !{!"_ZTSN6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEEE", !25, i64 0, !26, i64 8}
!25 = !{!"_ZTSN6sparta17AbstractValueKindE", !7, i64 0}
!26 = !{!"_ZTSN6sparta8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEE", !27, i64 0}
!27 = !{!"_ZTSN6sparta15PatriciaTreeSetIP13IRInstructionEE", !28, i64 0}
!28 = !{!"_ZTSN6sparta7pt_core16PatriciaTreeCoreIP13IRInstructionNS0_10EmptyValueEEE", !29, i64 0}
!29 = !{!"_ZTSN5boost13intrusive_ptrIN6sparta7pt_core16PatriciaTreeNodeImNS2_10EmptyValueEEEEE", !6, i64 0}
!30 = !{i8 0, i8 2}
!31 = !{}
!32 = !{!11, !14, i64 64}
!33 = !{!34, !38, i64 16}
!34 = !{!"_ZTS15MethodItemEntry", !35, i64 0, !38, i64 16, !7, i64 24}
!35 = !{!"_ZTSN5boost9intrusive16list_member_hookIJEEE", !36, i64 0}
!36 = !{!"_ZTSN5boost9intrusive12generic_hookILNS0_10algo_typesE0ENS0_16list_node_traitsIPvEENS0_10member_tagELNS0_14link_mode_typeE1ELNS0_14base_hook_typeE0EEE", !37, i64 0}
!37 = !{!"_ZTSN5boost9intrusive9list_nodeIPvEE", !6, i64 0, !6, i64 8}
!38 = !{!"_ZTS14MethodItemType", !7, i64 0}
!39 = distinct !{!39, !40}
!40 = !{!"llvm.loop.mustprogress"}
!41 = !{!42, !6, i64 0}
!42 = !{!"_ZTSSt16initializer_listIP13IRInstructionE", !6, i64 0, !14, i64 8}
!43 = !{!42, !14, i64 8}
!44 = !{!11, !14, i64 72}
!45 = distinct !{!45, !40}


; 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.AccumulatingTimer = type { %"class.std::shared_ptr" }
%"class.std::shared_ptr" = type { %"class.std::__shared_ptr" }
%"class.std::__shared_ptr" = type { ptr, %"class.std::__shared_count" }
%"class.std::__shared_count" = type { ptr }
%"class.std::vector.36" = type { %"struct.std::_Vector_base.37" }
%"struct.std::_Vector_base.37" = 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.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::allocator" = type { i8 }
%"class.AccumulatingTimer::AccumulatingTimerScope" = type { ptr, %"class.std::chrono::time_point" }
%"class.std::chrono::time_point" = type { %"class.std::chrono::duration" }
%"class.std::chrono::duration" = type { i64 }
%"class.cfg::CFGMutation" = type { ptr, %class.UnorderedMap }
%class.UnorderedMap = type { %"class.std::unordered_map.78" }
%"class.std::unordered_map.78" = type { %"class.std::_Hashtable.79" }
%"class.std::_Hashtable.79" = 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.reaching_defs::MoveAwareFixpointIterator" = type { %"class.ir_analyzer::BaseIRAnalyzer", %"class.std::function" }
%"class.ir_analyzer::BaseIRAnalyzer" = 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.sparta::AbstractEnvironment", %"class.std::unordered_map.369", %"class.std::unordered_map.369" }
%"class.sparta::FixpointIterator" = type { ptr }
%"class.sparta::AbstractEnvironment" = type { %"class.sparta::AbstractDomainScaffolding" }
%"class.sparta::AbstractDomainScaffolding" = 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" }
%"class.sparta::pt_core::PatriciaTreeCore" = type { %"class.boost::intrusive_ptr" }
%"class.boost::intrusive_ptr" = type { ptr }
%"class.std::unordered_map.369" = type { %"class.std::_Hashtable.370" }
%"class.std::_Hashtable.370" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.sparta::WeakPartialOrdering" = type <{ %"class.std::vector.383", %"class.std::vector.388", %"class.std::unordered_map.393", i8, [7 x i8] }>
%"class.std::vector.383" = type { %"struct.std::_Vector_base.384" }
%"struct.std::_Vector_base.384" = 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.388" = type { %"struct.std::_Vector_base.389" }
%"struct.std::_Vector_base.389" = 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.393" = type { %"class.std::_Hashtable.394" }
%"class.std::_Hashtable.394" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.407 = type { i8 }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.ir_list::InstructionIterableImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.boost::intrusive::list_iterator" = type { %"struct.boost::intrusive::iiterator_members" }
%"struct.boost::intrusive::iiterator_members" = type { ptr }
%"class.ir_list::InstructionIteratorImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.sparta::pt_core::PatriciaTreeIterator" = type { %"class.sparta::pt_core::PatriciaTreePostOrder" }
%"class.sparta::pt_core::PatriciaTreePostOrder" = type { %"class.boost::intrusive_ptr.416", %"class.std::stack", ptr }
%"class.boost::intrusive_ptr.416" = type { ptr }
%"class.std::stack" = type { %"class.std::deque.417" }
%"class.std::deque.417" = type { %"class.std::_Deque_base.418" }
%"class.std::_Deque_base.418" = 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.422", %"struct.std::_Deque_iterator.422" }
%"struct.std::_Deque_iterator.422" = type { ptr, ptr, ptr, ptr }
%"class.cfg::InstructionIteratorImpl" = type { ptr, %"struct.std::_Rb_tree_const_iterator", %"class.ir_list::InstructionIteratorImpl" }
%"struct.std::_Rb_tree_const_iterator" = type { ptr }
%"class.sparta::pt_core::PatriciaTreeIterator.423" = type { %"class.sparta::pt_core::PatriciaTreePostOrder.424" }
%"class.sparta::pt_core::PatriciaTreePostOrder.424" = type { %"class.boost::intrusive_ptr", %"class.std::stack.425", ptr }
%"class.std::stack.425" = type { %"class.std::deque.426" }
%"class.std::deque.426" = type { %"class.std::_Deque_base.427" }
%"class.std::_Deque_base.427" = type { %"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *>>::_Deque_impl" }
%"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *>>::_Deque_impl" = type { %"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *>>::_Deque_impl_data" }
%"struct.std::_Deque_base<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *, std::allocator<const sparta::pt_core::PatriciaTreeBranch<unsigned int, sparta::TopValueInterface<sparta::SetAbstractDomain<sparta::PatriciaTreeSet<IRInstruction *>>>> *>>::_Deque_impl_data" = type { ptr, i64, %"struct.std::_Deque_iterator.431", %"struct.std::_Deque_iterator.431" }
%"struct.std::_Deque_iterator.431" = type { ptr, ptr, ptr, ptr }
%"class.sparta::SetAbstractDomain" = type { %"class.sparta::PowersetAbstractDomain" }
%"class.sparta::PowersetAbstractDomain" = type { %"class.sparta::AbstractDomainScaffolding.408" }
%"class.sparta::AbstractDomainScaffolding.408" = 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.415" }
%"class.sparta::pt_core::PatriciaTreeCore.415" = type { %"class.boost::intrusive_ptr.416" }
%"class.std::unique_ptr.65" = type { %"struct.std::__uniq_ptr_data.66" }
%"struct.std::__uniq_ptr_data.66" = type { %"class.std::__uniq_ptr_impl.67" }
%"class.std::__uniq_ptr_impl.67" = type { %"class.std::tuple.68" }
%"class.std::tuple.68" = type { %"struct.std::_Tuple_impl.69" }
%"struct.std::_Tuple_impl.69" = type { %"struct.std::_Head_base.72" }
%"struct.std::_Head_base.72" = type { ptr }
%"class.std::vector.12" = type { %"struct.std::_Vector_base.13" }
%"struct.std::_Vector_base.13" = 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.std::allocator.14" = type { i8 }
%"class.std::vector.442" = type { %"struct.std::_Vector_base.443" }
%"struct.std::_Vector_base.443" = type { %"struct.std::_Vector_base<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>, std::allocator<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>, std::allocator<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>, std::allocator<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>, std::allocator<std::variant<IRInstruction *, std::unique_ptr<SourceBlock>, std::unique_ptr<DexPosition>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.anon.455 = type { ptr, ptr }

@__dso_handle = external hidden global i8
@.str.16 = external hidden unnamed_addr constant [79 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [2 x i8], align 1
@_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer = external hidden global %class.AccumulatingTimer, align 8
@_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer = external hidden global i64, align 8
@.str.19 = external hidden unnamed_addr constant [34 x i8], align 1
@g_redex = external local_unnamed_addr global ptr, align 8
@.str.20 = external hidden unnamed_addr constant [15 x i8], align 1
@__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE = external hidden unnamed_addr constant [64 x i8], align 1
@.str.21 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [17 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [45 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [24 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [43 x i8], align 1

; Function Attrs: nofree nounwind
declare i32 @__cxa_guard_acquire(ptr) local_unnamed_addr #0

declare i32 @__gxx_personality_v0(...)

; Function Attrs: nofree nounwind
declare void @__cxa_guard_abort(ptr) local_unnamed_addr #0

; Function Attrs: nofree nounwind
declare void @__cxa_guard_release(ptr) local_unnamed_addr #0

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

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

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

declare void @_ZN17AccumulatingTimerC1ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #4

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

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

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

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

; Function Attrs: nofree nounwind
declare i32 @__cxa_atexit(ptr, ptr, ptr) local_unnamed_addr #0

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

; 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 #5

; 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 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: 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 uwtable
define dso_local void @_ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE(ptr nocapture noundef nonnull align 8 dereferenceable(104) %0, ptr noundef nonnull align 8 dereferenceable(160) %1) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca %"class.std::__cxx11::basic_string", align 8
  %4 = alloca %"class.std::allocator", align 1
  %5 = alloca %"class.AccumulatingTimer::AccumulatingTimerScope", align 8
  %6 = alloca %"class.cfg::CFGMutation", align 8
  %7 = alloca %"class.reaching_defs::MoveAwareFixpointIterator", align 8
  %8 = alloca %"class.std::function", align 8
  %9 = alloca %class.anon.407, align 1
  %10 = alloca %"class.sparta::AbstractEnvironment", align 8
  %11 = alloca %"class.std::vector.36", align 8
  %12 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %13 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %14 = alloca ptr, align 8
  %15 = alloca %"class.sparta::AbstractEnvironment", align 8
  %16 = alloca %"class.ir_list::InstructionIterableImpl", align 8
  %17 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %18 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %19 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %22 = alloca %"class.sparta::pt_core::PatriciaTreeIterator", align 8
  %23 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %24 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %25 = alloca %"class.sparta::pt_core::PatriciaTreeIterator.423", align 8
  %26 = alloca %"class.sparta::pt_core::PatriciaTreeIterator.423", align 8
  %27 = alloca %"class.sparta::SetAbstractDomain", align 8
  %28 = alloca %"class.std::unique_ptr.65", align 8
  %29 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %30 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %31 = alloca %"class.boost::intrusive::list_iterator", align 8
  %32 = alloca %"class.boost::intrusive::list_iterator", align 8
  %33 = alloca %"class.std::unique_ptr.65", align 8
  %34 = alloca ptr, align 8
  %35 = alloca ptr, align 8
  %36 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %37 = alloca %"class.std::vector.12", align 8
  %38 = alloca [2 x ptr], align 8
  %39 = alloca %"class.std::allocator.14", align 1
  %40 = alloca %"class.std::vector.442", align 8
  %41 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %42 = alloca %"class.std::vector.442", align 8
  %43 = alloca %class.anon.455, align 8
  %44 = alloca %"class.ir_list::InstructionIteratorImpl", align 8
  %45 = load atomic i8, ptr @_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer acquire, align 8
  %46 = icmp eq i8 %45, 0
  br i1 %46, label %47, label %53, !prof !5

47:                                               ; preds = %2
  %48 = tail call i32 @__cxa_guard_acquire(ptr nonnull @_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer) #10
  %.not = icmp eq i32 %48, 0
  br i1 %.not, label %53, label %49

49:                                               ; preds = %47
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %4) #10
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #10
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IS3_EEPKcRKS3_(ptr noundef nonnull align 8 dereferenceable(32) %3, ptr noundef nonnull @.str.19, ptr noundef nonnull align 1 dereferenceable(1) %4)
          to label %50 unwind label %57

50:                                               ; preds = %49
  invoke void @_ZN17AccumulatingTimerC1ENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr noundef nonnull align 8 dereferenceable(16) @_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer, ptr noundef nonnull %3)
          to label %51 unwind label %59

51:                                               ; preds = %50
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #10
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %4) #10
  %52 = call i32 @__cxa_atexit(ptr nonnull @_ZN17AccumulatingTimerD2Ev, ptr nonnull @_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer, ptr nonnull @__dso_handle) #10
  call void @__cxa_guard_release(ptr nonnull @_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer) #10
  br label %53

53:                                               ; preds = %51, %47, %2
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %5) #10
  call void @_ZN17AccumulatingTimer5scopeEv(ptr dead_on_unwind nonnull writable sret(%"class.AccumulatingTimer::AccumulatingTimerScope") align 8 %5, ptr noundef nonnull align 8 dereferenceable(16) @_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer)
  %54 = load ptr, ptr @g_redex, align 8, !tbaa !6
  %55 = call noundef zeroext i1 @_ZNK12RedexContext24ordering_changes_allowedEv(ptr noundef nonnull align 8 dereferenceable(389504) %54)
  %56 = load ptr, ptr %0, align 8
  %.not86 = icmp ne ptr %56, null
  %or.cond.not = select i1 %55, i1 %.not86, i1 false
  br i1 %or.cond.not, label %64, label %385

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

59:                                               ; preds = %50
  %60 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %3) #10
  br label %61

61:                                               ; preds = %59, %57
  %.pn = phi { ptr, i32 } [ %60, %59 ], [ %58, %57 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %4) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %4) #10
  call void @__cxa_guard_abort(ptr nonnull @_ZGVZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE7s_timer) #10
  br label %392

62:                                               ; preds = %64
  %63 = landingpad { ptr, i32 }
          cleanup
  br label %391

64:                                               ; preds = %53
  %65 = invoke noundef zeroext i1 @_ZN12_GLOBAL__N_129has_normalizable_new_instanceERN3cfg16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(160) %1)
          to label %66 unwind label %62

66:                                               ; preds = %64
  br i1 %65, label %67, label %385

67:                                               ; preds = %66
  call void @llvm.lifetime.start.p0(i64 64, ptr nonnull %6) #10
  invoke void @_ZN3cfg11CFGMutationC2ERNS_16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(64) %6, ptr noundef nonnull align 8 dereferenceable(160) %1)
          to label %68 unwind label %80

68:                                               ; preds = %67
  call void @llvm.lifetime.start.p0(i64 288, ptr nonnull %7) #10
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %9) #10
  call void @"_ZNSt8functionIFbPK13IRInstructionEEC2IZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %8, ptr noundef nonnull align 1 dereferenceable(1) %9) #10
  invoke void @_ZN13reaching_defs25MoveAwareFixpointIteratorC2ERKN3cfg16ControlFlowGraphESt8functionIFbPK13IRInstructionEE(ptr noundef nonnull align 8 dereferenceable(288) %7, ptr noundef nonnull align 8 dereferenceable(160) %1, ptr noundef nonnull %8)
          to label %69 unwind label %82

69:                                               ; preds = %68
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %9) #10
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #10
  invoke void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEEC2Ev(ptr noundef nonnull align 8 dereferenceable(16) %10)
          to label %70 unwind label %84

70:                                               ; preds = %69
  invoke void @_ZN6sparta25MonotonicFixpointIteratorIN3cfg14GraphInterfaceENS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceISA_EEEEEESt4hashIPNS1_5BlockEEE3runERKSE_(ptr noundef nonnull align 8 dereferenceable(256) %7, ptr noundef nonnull align 8 dereferenceable(16) %10)
          to label %71 unwind label %86

71:                                               ; preds = %70
  call void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %10) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #10
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %11) #10
  invoke void @_ZNK3cfg16ControlFlowGraph6blocksEv(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.36") align 8 %11, ptr noundef nonnull align 8 dereferenceable(160) %1)
          to label %72 unwind label %89

72:                                               ; preds = %71
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #10
  %73 = call ptr @_ZNSt6vectorIPN3cfg5BlockESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %11) #10
  store ptr %73, ptr %12, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #10
  %74 = call ptr @_ZNSt6vectorIPN3cfg5BlockESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %11) #10
  store ptr %74, ptr %13, align 8
  %75 = 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) #10
  br i1 %75, label %.lr.ph196, label %._crit_edge197

.lr.ph196:                                        ; preds = %72
  %76 = getelementptr inbounds i8, ptr %43, i64 8
  %77 = getelementptr inbounds i8, ptr %38, i64 8
  %78 = getelementptr inbounds i8, ptr %0, i64 72
  %79 = getelementptr inbounds i8, ptr %0, i64 64
  br label %91

._crit_edge197:                                   ; preds = %379, %72
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #10
  call void @_ZNSt6vectorIPN3cfg5BlockESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %11) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %11) #10
  invoke void @_ZN3cfg11CFGMutation5flushEv(ptr noundef nonnull align 8 dereferenceable(64) %6)
          to label %384 unwind label %386

80:                                               ; preds = %67
  %81 = landingpad { ptr, i32 }
          cleanup
  br label %390

82:                                               ; preds = %68
  %83 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %9) #10
  br label %389

84:                                               ; preds = %69
  %85 = landingpad { ptr, i32 }
          cleanup
  br label %88

86:                                               ; preds = %70
  %87 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %10) #10
  br label %88

88:                                               ; preds = %86, %84
  %.pn87 = phi { ptr, i32 } [ %87, %86 ], [ %85, %84 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #10
  br label %388

89:                                               ; preds = %71
  %90 = landingpad { ptr, i32 }
          cleanup
  br label %388

91:                                               ; preds = %.lr.ph196, %379
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #10
  %92 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #10
  %93 = load ptr, ptr %92, align 8, !tbaa !6
  store ptr %93, ptr %14, align 8, !tbaa !6
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %15) #10
  %94 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK6sparta7fp_impl29MonotonicFixpointIteratorBaseIN3cfg14GraphInterfaceENS_19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceISB_EEEEEESt4hashIPNS2_5BlockEEE18get_entry_state_atERKSI_(ptr noundef nonnull align 8 dereferenceable(144) %7, ptr noundef nonnull align 8 dereferenceable(8) %14)
          to label %95 unwind label %98

95:                                               ; preds = %91
  invoke void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEEC2ERKSB_(ptr noundef nonnull align 8 dereferenceable(16) %15, ptr noundef nonnull align 8 dereferenceable(16) %94)
          to label %96 unwind label %98

96:                                               ; preds = %95
  %97 = call noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_16environment_impl8MapValueINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS9_EEEEEENS_19AbstractEnvironmentISC_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16) %15)
  br i1 %97, label %379, label %100

98:                                               ; preds = %95, %91
  %99 = landingpad { ptr, i32 }
          cleanup
  br label %383

100:                                              ; preds = %96
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %16) #10
  %101 = load ptr, ptr %14, align 8, !tbaa !6
  invoke void @_Z19InstructionIterableIN3cfg5BlockEEN7ir_list23InstructionIterableImplILb0EEEPT_(ptr dead_on_unwind nonnull writable sret(%"class.ir_list::InstructionIterableImpl") align 8 %16, ptr noundef %101)
          to label %102 unwind label %106

102:                                              ; preds = %100
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %17) #10
  invoke void @_ZNK7ir_list23InstructionIterableImplILb0EE5beginEv(ptr dead_on_unwind nonnull writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %17, ptr noundef nonnull align 8 dereferenceable(16) %16)
          to label %103 unwind label %108

103:                                              ; preds = %102
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %18) #10
  invoke void @_ZNK7ir_list23InstructionIterableImplILb0EE3endEv(ptr dead_on_unwind nonnull writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %18, ptr noundef nonnull align 8 dereferenceable(16) %16)
          to label %104 unwind label %110

104:                                              ; preds = %103
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %19) #10
  invoke void @_ZN7ir_list23InstructionIteratorImplILb0EEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull align 8 dereferenceable(16) %18)
          to label %.preheader149 unwind label %.loopexit.split-lp166

.preheader149:                                    ; preds = %104
  %105 = call noundef zeroext i1 @_ZNK7ir_list23InstructionIteratorImplILb0EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef nonnull align 8 dereferenceable(16) %18)
  br i1 %105, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %367, %.preheader149
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %16) #10
  br label %379

106:                                              ; preds = %100
  %107 = landingpad { ptr, i32 }
          cleanup
  br label %382

108:                                              ; preds = %102
  %109 = landingpad { ptr, i32 }
          cleanup
  br label %378

110:                                              ; preds = %103
  %111 = landingpad { ptr, i32 }
          cleanup
  br label %377

.loopexit165:                                     ; preds = %359, %361, %363
  %lpad.loopexit167 = landingpad { ptr, i32 }
          cleanup
  br label %376

.loopexit.split-lp166:                            ; preds = %104
  %lpad.loopexit.split-lp168 = landingpad { ptr, i32 }
          cleanup
  br label %376

.lr.ph:                                           ; preds = %.preheader149, %367
  %112 = invoke noundef ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(16) %17)
          to label %113 unwind label %122

113:                                              ; preds = %.lr.ph
  %114 = getelementptr inbounds i8, ptr %112, i64 24
  %115 = load ptr, ptr %114, align 8, !tbaa !10
  %116 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %115)
  %.not89 = icmp eq i16 %116, 89
  br i1 %.not89, label %117, label %359

117:                                              ; preds = %113
  %118 = invoke noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32) %115)
          to label %119 unwind label %122

119:                                              ; preds = %117
  %120 = invoke noundef zeroext i1 @_ZN6method7is_initEPK12DexMethodRef(ptr noundef %118)
          to label %121 unwind label %122

121:                                              ; preds = %119
  br i1 %120, label %124, label %359

122:                                              ; preds = %119, %117, %.lr.ph
  %123 = landingpad { ptr, i32 }
          cleanup
  br label %376

124:                                              ; preds = %121
  %125 = invoke noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32) %115)
          to label %126 unwind label %135

126:                                              ; preds = %124
  %127 = call noundef ptr @_ZNK12DexMethodRef9get_classEv(ptr noundef nonnull align 8 dereferenceable(26) %125)
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %20) #10
  %128 = invoke noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %115, i16 noundef zeroext 0)
          to label %129 unwind label %137

129:                                              ; preds = %126
  store i32 %128, ptr %20, align 4, !tbaa !11
  %130 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZNK6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEE3getERKj(ptr noundef nonnull align 8 dereferenceable(16) %15, ptr noundef nonnull align 4 dereferenceable(4) %20)
          to label %131 unwind label %.loopexit150

131:                                              ; preds = %129
  %132 = call noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE6is_topEv(ptr noundef nonnull align 8 dereferenceable(16) %130)
  br i1 %132, label %.invoke, label %139

.invoke:                                          ; preds = %131, %146, %139
  %133 = phi ptr [ @.str.21, %139 ], [ @.str.22, %146 ], [ @.str.20, %131 ]
  %134 = phi i32 [ 362, %139 ], [ 367, %146 ], [ 361, %131 ]
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull %133, ptr noundef nonnull @.str.16, i32 noundef %134, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef nonnull @.str.17) #11
          to label %.cont unwind label %.loopexit.split-lp151

.cont:                                            ; preds = %.invoke
  unreachable

135:                                              ; preds = %124
  %136 = landingpad { ptr, i32 }
          cleanup
  br label %376

137:                                              ; preds = %126
  %138 = landingpad { ptr, i32 }
          cleanup
  br label %373

.loopexit150:                                     ; preds = %129, %141, %144
  %lpad.loopexit152 = landingpad { ptr, i32 }
          cleanup
  br label %373

.loopexit.split-lp151:                            ; preds = %.invoke
  %lpad.loopexit.split-lp153 = landingpad { ptr, i32 }
          cleanup
  br label %373

139:                                              ; preds = %131
  %140 = call noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16) %130)
  br i1 %140, label %.invoke, label %141

141:                                              ; preds = %139
  %142 = invoke noundef zeroext i1 @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE5emptyEv(ptr noundef nonnull align 8 dereferenceable(16) %130)
          to label %143 unwind label %.loopexit150

143:                                              ; preds = %141
  br i1 %142, label %358, label %144

144:                                              ; preds = %143
  %145 = invoke noundef i64 @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(16) %130)
          to label %146 unwind label %.loopexit150

146:                                              ; preds = %144
  %147 = icmp eq i64 %145, 1
  br i1 %147, label %148, label %.invoke

148:                                              ; preds = %146
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #10
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %22) #10
  %149 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE8elementsEv(ptr noundef nonnull align 8 dereferenceable(16) %130)
          to label %150 unwind label %161

150:                                              ; preds = %148
  invoke void @_ZNK6sparta15PatriciaTreeSetIP13IRInstructionE5beginEv(ptr dead_on_unwind nonnull writable sret(%"class.sparta::pt_core::PatriciaTreeIterator") align 8 %22, ptr noundef nonnull align 8 dereferenceable(8) %149)
          to label %151 unwind label %161

151:                                              ; preds = %150
  %152 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIP13IRInstructionNS0_10EmptyValueEEdeEv(ptr noundef nonnull align 8 dereferenceable(96) %22)
          to label %153 unwind label %163

153:                                              ; preds = %151
  %154 = load ptr, ptr %152, align 8, !tbaa !6
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIP13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %22) #10
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %22) #10
  store ptr %154, ptr %21, align 8, !tbaa !6
  %155 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %154)
          to label %156 unwind label %.loopexit155

156:                                              ; preds = %153
  %157 = invoke noundef zeroext i1 @_ZN4type11is_subclassEPK7DexTypeS2_(ptr noundef %127, ptr noundef %155)
          to label %158 unwind label %.loopexit155

158:                                              ; preds = %156
  br i1 %157, label %166, label %159

159:                                              ; preds = %158
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.23, ptr noundef nonnull @.str.16, i32 noundef 370, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef nonnull @.str.17) #11
          to label %160 unwind label %.loopexit.split-lp156

160:                                              ; preds = %159
  unreachable

161:                                              ; preds = %150, %148
  %162 = landingpad { ptr, i32 }
          cleanup
  br label %165

163:                                              ; preds = %151
  %164 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIP13IRInstructionNS0_10EmptyValueEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %22) #10
  br label %165

165:                                              ; preds = %163, %161
  %.pn90 = phi { ptr, i32 } [ %164, %163 ], [ %162, %161 ]
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %22) #10
  br label %372

.loopexit155:                                     ; preds = %153, %156, %168, %175, %177
  %lpad.loopexit157 = landingpad { ptr, i32 }
          cleanup
  br label %372

.loopexit.split-lp156:                            ; preds = %159
  %lpad.loopexit.split-lp158 = landingpad { ptr, i32 }
          cleanup
  br label %372

166:                                              ; preds = %158
  %167 = call noundef zeroext i1 @_ZNK7ir_list23InstructionIteratorImplILb0EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull align 8 dereferenceable(16) %18)
  br i1 %167, label %168, label %198

168:                                              ; preds = %166
  %169 = invoke noundef ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(16) %19)
          to label %170 unwind label %.loopexit155

170:                                              ; preds = %168
  %171 = getelementptr inbounds i8, ptr %169, i64 24
  %172 = load ptr, ptr %171, align 8, !tbaa !10
  %173 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %172)
  %174 = icmp eq i16 %173, 164
  br i1 %174, label %175, label %198

175:                                              ; preds = %170
  %176 = invoke noundef ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(16) %19)
          to label %177 unwind label %.loopexit155

177:                                              ; preds = %175
  %178 = getelementptr inbounds i8, ptr %176, i64 24
  %179 = load ptr, ptr %178, align 8, !tbaa !10
  %180 = invoke noundef i32 @_ZNK13IRInstruction4destEv(ptr noundef nonnull align 8 dereferenceable(32) %179)
          to label %181 unwind label %.loopexit155

181:                                              ; preds = %177
  %182 = load i32, ptr %20, align 4, !tbaa !11
  %183 = icmp eq i32 %180, %182
  br i1 %183, label %184, label %198

184:                                              ; preds = %181
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %23) #10
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %24) #10
  %185 = load ptr, ptr %14, align 8, !tbaa !6
  invoke void @_ZN3cfg5Block27to_cfg_instruction_iteratorERKN7ir_list23InstructionIteratorImplILb0EEEb(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %24, ptr noundef nonnull align 8 dereferenceable(104) %185, ptr noundef nonnull align 8 dereferenceable(16) %19, i1 noundef zeroext false)
          to label %186 unwind label %193

186:                                              ; preds = %184
  invoke void @_ZN3cfg16ControlFlowGraph34primary_instruction_of_move_resultERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %23, ptr noundef nonnull align 8 dereferenceable(160) %1, ptr noundef nonnull align 8 dereferenceable(32) %24)
          to label %187 unwind label %193

187:                                              ; preds = %186
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #10
  %188 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(32) %23)
          to label %189 unwind label %195

189:                                              ; preds = %187
  %190 = getelementptr inbounds i8, ptr %188, i64 24
  %191 = load ptr, ptr %190, align 8, !tbaa !10
  %192 = load ptr, ptr %21, align 8, !tbaa !6
  %.not94 = icmp eq ptr %191, %192
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #10
  br i1 %.not94, label %357, label %198

193:                                              ; preds = %186, %184
  %194 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #10
  br label %197

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

197:                                              ; preds = %195, %193
  %.pn92 = phi { ptr, i32 } [ %196, %195 ], [ %194, %193 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #10
  br label %372

198:                                              ; preds = %189, %181, %170, %166
  %199 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEE8bindingsEv(ptr noundef nonnull align 8 dereferenceable(16) %15)
          to label %200 unwind label %204

200:                                              ; preds = %198
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %25) #10
  invoke void @_ZNK6sparta15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS6_EEE5beginEv(ptr dead_on_unwind nonnull writable sret(%"class.sparta::pt_core::PatriciaTreeIterator.423") align 8 %25, ptr noundef nonnull align 8 dereferenceable(8) %199)
          to label %201 unwind label %206

201:                                              ; preds = %200
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %26) #10
  invoke void @_ZNK6sparta15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS6_EEE3endEv(ptr dead_on_unwind nonnull writable sret(%"class.sparta::pt_core::PatriciaTreeIterator.423") align 8 %26, ptr noundef nonnull align 8 dereferenceable(8) %199)
          to label %.preheader unwind label %208

.preheader:                                       ; preds = %201, %233
  %202 = invoke noundef zeroext i1 @_ZNK6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEneERKSA_(ptr noundef nonnull align 8 dereferenceable(96) %25, ptr noundef nonnull align 8 dereferenceable(96) %26)
          to label %203 unwind label %210

203:                                              ; preds = %.preheader
  br i1 %202, label %212, label %242

204:                                              ; preds = %198
  %205 = landingpad { ptr, i32 }
          cleanup
  br label %372

206:                                              ; preds = %200
  %207 = landingpad { ptr, i32 }
          cleanup
  br label %238

208:                                              ; preds = %201
  %209 = landingpad { ptr, i32 }
          cleanup
  br label %237

210:                                              ; preds = %233, %.preheader
  %211 = landingpad { ptr, i32 }
          cleanup
  br label %236

212:                                              ; preds = %203
  %213 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(96) %25)
          to label %214 unwind label %220

214:                                              ; preds = %212
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %27) #10
  %215 = getelementptr inbounds i8, ptr %213, i64 8
  invoke void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEC2ERKS5_(ptr noundef nonnull align 8 dereferenceable(16) %27, ptr noundef nonnull align 8 dereferenceable(16) %215)
          to label %216 unwind label %222

216:                                              ; preds = %214
  %217 = call noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE6is_topEv(ptr noundef nonnull align 8 dereferenceable(16) %27)
  br i1 %217, label %.invoke243, label %225

.invoke243:                                       ; preds = %216, %225
  %218 = phi ptr [ @.str.25, %225 ], [ @.str.24, %216 ]
  %219 = phi i32 [ 388, %225 ], [ 387, %216 ]
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull %218, ptr noundef nonnull @.str.16, i32 noundef %219, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef nonnull @.str.17) #11
          to label %.cont244 unwind label %.loopexit.split-lp145

.cont244:                                         ; preds = %.invoke243
  unreachable

220:                                              ; preds = %212
  %221 = landingpad { ptr, i32 }
          cleanup
  br label %236

222:                                              ; preds = %214
  %223 = landingpad { ptr, i32 }
          cleanup
  br label %235

.loopexit144:                                     ; preds = %227
  %lpad.loopexit146 = landingpad { ptr, i32 }
          cleanup
  br label %224

.loopexit.split-lp145:                            ; preds = %.invoke243
  %lpad.loopexit.split-lp147 = landingpad { ptr, i32 }
          cleanup
  br label %224

224:                                              ; preds = %.loopexit.split-lp145, %.loopexit144
  %lpad.phi148 = phi { ptr, i32 } [ %lpad.loopexit146, %.loopexit144 ], [ %lpad.loopexit.split-lp147, %.loopexit.split-lp145 ]
  call void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %27) #10
  br label %235

225:                                              ; preds = %216
  %226 = call noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16) %27)
  br i1 %226, label %.invoke243, label %227

227:                                              ; preds = %225
  %228 = invoke noundef zeroext i1 @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE8containsERKS2_(ptr noundef nonnull align 8 dereferenceable(16) %27, ptr noundef nonnull align 8 dereferenceable(8) %21)
          to label %229 unwind label %.loopexit144

229:                                              ; preds = %227
  br i1 %228, label %230, label %233

230:                                              ; preds = %229
  %231 = load i32, ptr %213, align 8, !tbaa !13
  %232 = load i32, ptr %20, align 4, !tbaa !11
  %.not95 = icmp eq i32 %231, %232
  br i1 %.not95, label %233, label %239

233:                                              ; preds = %229, %230
  call void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %27) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #10
  %234 = invoke noundef nonnull align 8 dereferenceable(96) ptr @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEppEv(ptr noundef nonnull align 8 dereferenceable(96) %25)
          to label %.preheader unwind label %210

235:                                              ; preds = %224, %222
  %.pn112 = phi { ptr, i32 } [ %lpad.phi148, %224 ], [ %223, %222 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #10
  br label %236

236:                                              ; preds = %220, %235, %210
  %.pn112.pn.pn = phi { ptr, i32 } [ %211, %210 ], [ %.pn112, %235 ], [ %221, %220 ]
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26) #10
  br label %237

237:                                              ; preds = %236, %208
  %.pn112.pn.pn.pn = phi { ptr, i32 } [ %.pn112.pn.pn, %236 ], [ %209, %208 ]
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %26) #10
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %25) #10
  br label %238

238:                                              ; preds = %237, %206
  %.pn112.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn112.pn.pn.pn, %237 ], [ %207, %206 ]
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %25) #10
  br label %372

239:                                              ; preds = %230
  call void @_ZN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %27) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %27) #10
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26) #10
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %26) #10
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %25) #10
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %25) #10
  %240 = load i64, ptr %79, align 8, !tbaa !23
  %241 = add i64 %240, 1
  store i64 %241, ptr %79, align 8, !tbaa !23
  br label %357

242:                                              ; preds = %203
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %26) #10
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %26) #10
  call void @_ZN6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(96) %25) #10
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %25) #10
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %28) #10
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEC2IS2_vEEv(ptr noundef nonnull align 8 dereferenceable(8) %28) #10
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %29) #10
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %30) #10
  %243 = load ptr, ptr %21, align 8, !tbaa !6
  %244 = load ptr, ptr %14, align 8, !tbaa !6
  invoke void @_ZN3cfg16ControlFlowGraph9find_insnEP13IRInstructionPNS_5BlockE(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %30, ptr noundef nonnull align 8 dereferenceable(160) %1, ptr noundef %243, ptr noundef %244)
          to label %245 unwind label %251

245:                                              ; preds = %242
  invoke void @_ZN3cfg16ControlFlowGraph14move_result_ofERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %29, ptr noundef nonnull align 8 dereferenceable(160) %1, ptr noundef nonnull align 8 dereferenceable(32) %30)
          to label %246 unwind label %251

246:                                              ; preds = %245
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #10
  %247 = invoke noundef zeroext i1 @_ZNK3cfg23InstructionIteratorImplILb0EE6is_endEv(ptr noundef nonnull align 8 dereferenceable(32) %29)
          to label %248 unwind label %.loopexit160

248:                                              ; preds = %246
  br i1 %247, label %249, label %253

249:                                              ; preds = %248
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.26, ptr noundef nonnull @.str.16, i32 noundef 406, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphE, i32 noundef 2, ptr noundef nonnull @.str.17) #11
          to label %250 unwind label %.loopexit.split-lp161

250:                                              ; preds = %249
  unreachable

251:                                              ; preds = %245, %242
  %252 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %30) #10
  br label %306

.loopexit160:                                     ; preds = %246
  %lpad.loopexit162 = landingpad { ptr, i32 }
          cleanup
  br label %306

.loopexit.split-lp161:                            ; preds = %249
  %lpad.loopexit.split-lp163 = landingpad { ptr, i32 }
          cleanup
  br label %306

253:                                              ; preds = %248
  %254 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EE5blockEv(ptr noundef nonnull align 8 dereferenceable(32) %29)
          to label %255 unwind label %265

255:                                              ; preds = %253
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %31) #10
  invoke void @_ZNK3cfg23InstructionIteratorImplILb0EE6unwrapEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::intrusive::list_iterator") align 8 %31, ptr noundef nonnull align 8 dereferenceable(32) %29)
          to label %.preheader245 unwind label %.loopexit.split-lp

.preheader245:                                    ; preds = %255, %271
  %256 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEppEv(ptr noundef nonnull align 8 dereferenceable(8) %31)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %32) #10
  invoke void @_ZN3cfg5Block3endEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::intrusive::list_iterator") align 8 %32, ptr noundef nonnull align 8 dereferenceable(104) %254)
          to label %257 unwind label %267

257:                                              ; preds = %.preheader245
  %258 = call noundef zeroext i1 @_ZN5boost9intrusiveneERKNS0_13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEES9_(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %32)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #10
  br i1 %258, label %259, label %.loopexit

259:                                              ; preds = %257
  %260 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %31)
          to label %261 unwind label %.loopexit143

261:                                              ; preds = %259
  %262 = getelementptr inbounds i8, ptr %260, i64 16
  %263 = load i32, ptr %262, align 8, !tbaa !29
  %264 = icmp eq i32 %263, 2
  br i1 %264, label %.loopexit, label %269

265:                                              ; preds = %253
  %266 = landingpad { ptr, i32 }
          cleanup
  br label %306

.loopexit143:                                     ; preds = %259, %269
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %305

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

267:                                              ; preds = %.preheader245
  %268 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #10
  br label %305

269:                                              ; preds = %261
  %270 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %31)
          to label %271 unwind label %.loopexit143

271:                                              ; preds = %269
  %272 = getelementptr inbounds i8, ptr %270, i64 16
  %273 = load i32, ptr %272, align 8, !tbaa !29
  %274 = icmp eq i32 %273, 7
  br i1 %274, label %275, label %.preheader245, !llvm.loop !35

275:                                              ; preds = %271
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %33) #10
  %276 = invoke noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %31)
          to label %277 unwind label %284

277:                                              ; preds = %275
  %278 = getelementptr inbounds i8, ptr %276, i64 24
  %279 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %278) #10
  invoke void @_ZSt11make_uniqueI11SourceBlockJRS0_EENSt8__detail9_MakeUniqIT_E15__single_objectEDpOT0_(ptr dead_on_unwind nonnull writable sret(%"class.std::unique_ptr.65") align 8 %33, ptr noundef nonnull align 8 dereferenceable(32) %279)
          to label %280 unwind label %284

280:                                              ; preds = %277
  %281 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEaSEOS3_(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %33) #10
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %33) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #10
  %282 = call noundef ptr @_ZNKSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %28) #10
  %283 = getelementptr inbounds i8, ptr %282, i64 8
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EE5resetEPS0_(ptr noundef nonnull align 8 dereferenceable(8) %283, ptr noundef null) #10
  br label %.loopexit

284:                                              ; preds = %277, %275
  %285 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #10
  br label %305

.loopexit:                                        ; preds = %261, %257, %280
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %29) #10
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %34) #10
  %286 = invoke noalias noundef nonnull dereferenceable(32) ptr @_Znwm(i64 noundef 32) #12
          to label %287 unwind label %307

287:                                              ; preds = %.loopexit
  invoke void @_ZN13IRInstructionC1E8IROpcode(ptr noundef nonnull align 8 dereferenceable(32) %286, i16 noundef zeroext 21)
          to label %288 unwind label %309

288:                                              ; preds = %287
  store ptr %286, ptr %34, align 8, !tbaa !6
  %289 = invoke noundef ptr @_ZN13IRInstruction8set_typeEP7DexType(ptr noundef nonnull align 8 dereferenceable(32) %286, ptr noundef %155)
          to label %290 unwind label %307

290:                                              ; preds = %288
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %35) #10
  %291 = invoke noalias noundef nonnull dereferenceable(32) ptr @_Znwm(i64 noundef 32) #12
          to label %292 unwind label %311

292:                                              ; preds = %290
  invoke void @_ZN13IRInstructionC1E8IROpcode(ptr noundef nonnull align 8 dereferenceable(32) %291, i16 noundef zeroext 164)
          to label %293 unwind label %313

293:                                              ; preds = %292
  store ptr %291, ptr %35, align 8, !tbaa !6
  %294 = load i32, ptr %20, align 4, !tbaa !11
  %295 = invoke noundef ptr @_ZN13IRInstruction8set_destEj(ptr noundef nonnull align 8 dereferenceable(32) %291, i32 noundef %294)
          to label %296 unwind label %311

296:                                              ; preds = %293
  %297 = call noundef zeroext i1 @_ZSteqI11SourceBlockSt14default_deleteIS0_EEbRKSt10unique_ptrIT_T0_EDn(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr null) #10
  br i1 %297, label %298, label %323

298:                                              ; preds = %296
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %36) #10
  %299 = load ptr, ptr %14, align 8, !tbaa !6
  invoke void @_ZN3cfg5Block27to_cfg_instruction_iteratorERKN7ir_list23InstructionIteratorImplILb0EEEb(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %36, ptr noundef nonnull align 8 dereferenceable(104) %299, ptr noundef nonnull align 8 dereferenceable(16) %17, i1 noundef zeroext false)
          to label %300 unwind label %315

300:                                              ; preds = %298
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %38) #10
  %301 = load ptr, ptr %34, align 8, !tbaa !6
  store ptr %301, ptr %38, align 8, !tbaa !6
  %302 = load ptr, ptr %35, align 8, !tbaa !6
  store ptr %302, ptr %77, align 8, !tbaa !6
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %39) #10
  call void @_ZNSaIP13IRInstructionEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %39) #10
  invoke void @_ZNSt6vectorIP13IRInstructionSaIS1_EEC2ESt16initializer_listIS1_ERKS2_(ptr noundef nonnull align 8 dereferenceable(24) %37, ptr nonnull %38, i64 2, ptr noundef nonnull align 1 dereferenceable(1) %39)
          to label %303 unwind label %317

303:                                              ; preds = %300
  invoke void @_ZN3cfg11CFGMutation13insert_beforeERKNS_23InstructionIteratorImplILb0EEESt6vectorIP13IRInstructionSaIS7_EE(ptr noundef nonnull align 8 dereferenceable(64) %6, ptr noundef nonnull align 8 dereferenceable(32) %36, ptr noundef nonnull %37)
          to label %304 unwind label %319

304:                                              ; preds = %303
  call void @_ZNSt6vectorIP13IRInstructionSaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %37) #10
  call void @_ZNSt15__new_allocatorIP13IRInstructionED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %39) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %39) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %38) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #10
  br label %354

305:                                              ; preds = %.loopexit143, %.loopexit.split-lp, %284, %267
  %.pn96 = phi { ptr, i32 } [ %285, %284 ], [ %268, %267 ], [ %lpad.loopexit, %.loopexit143 ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #10
  br label %306

306:                                              ; preds = %.loopexit160, %.loopexit.split-lp161, %265, %305, %251
  %.pn109 = phi { ptr, i32 } [ %252, %251 ], [ %.pn96, %305 ], [ %266, %265 ], [ %lpad.loopexit162, %.loopexit160 ], [ %lpad.loopexit.split-lp163, %.loopexit.split-lp161 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %29) #10
  br label %371

307:                                              ; preds = %288, %.loopexit
  %308 = landingpad { ptr, i32 }
          cleanup
  br label %370

309:                                              ; preds = %287
  %310 = landingpad { ptr, i32 }
          cleanup
  call void @_ZdlPvm(ptr noundef nonnull %286, i64 noundef 32) #13
  br label %370

311:                                              ; preds = %293, %290
  %312 = landingpad { ptr, i32 }
          cleanup
  br label %369

313:                                              ; preds = %292
  %314 = landingpad { ptr, i32 }
          cleanup
  call void @_ZdlPvm(ptr noundef nonnull %291, i64 noundef 32) #13
  br label %369

315:                                              ; preds = %298
  %316 = landingpad { ptr, i32 }
          cleanup
  br label %322

317:                                              ; preds = %300
  %318 = landingpad { ptr, i32 }
          cleanup
  br label %321

319:                                              ; preds = %303
  %320 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt6vectorIP13IRInstructionSaIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %37) #10
  br label %321

321:                                              ; preds = %319, %317
  %.pn104 = phi { ptr, i32 } [ %320, %319 ], [ %318, %317 ]
  call void @_ZNSt15__new_allocatorIP13IRInstructionED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %39) #10
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %39) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %38) #10
  br label %322

322:                                              ; preds = %321, %315
  %.pn104.pn = phi { ptr, i32 } [ %.pn104, %321 ], [ %316, %315 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %36) #10
  br label %369

323:                                              ; preds = %296
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %40) #10
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %40) #10
  %324 = call noundef ptr @_ZNKSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EE3getEv(ptr noundef nonnull align 8 dereferenceable(8) %28) #10
  %325 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EE12emplace_backIJRS2_EEERSB_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %40, ptr noundef nonnull align 8 dereferenceable(8) %34)
          to label %326 unwind label %342

326:                                              ; preds = %323
  %327 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EE12emplace_backIJRS2_EEERSB_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %40, ptr noundef nonnull align 8 dereferenceable(8) %35)
          to label %328 unwind label %342

328:                                              ; preds = %326
  %329 = invoke noundef nonnull align 8 dereferenceable(9) ptr @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EE12emplace_backIJS7_EEERSB_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %40, ptr noundef nonnull align 8 dereferenceable(8) %28)
          to label %330 unwind label %342

330:                                              ; preds = %328
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %41) #10
  %331 = load ptr, ptr %14, align 8, !tbaa !6
  invoke void @_ZN3cfg5Block27to_cfg_instruction_iteratorERKN7ir_list23InstructionIteratorImplILb0EEEb(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %41, ptr noundef nonnull align 8 dereferenceable(104) %331, ptr noundef nonnull align 8 dereferenceable(16) %17, i1 noundef zeroext false)
          to label %332 unwind label %344

332:                                              ; preds = %330
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EEC2EOSD_(ptr noundef nonnull align 8 dereferenceable(24) %42, ptr noundef nonnull align 8 dereferenceable(24) %40) #10
  invoke void @_ZN3cfg11CFGMutation17insert_before_varERKNS_23InstructionIteratorImplILb0EEESt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteISA_EES9_I11DexPositionSB_ISE_EEEESaISH_EE(ptr noundef nonnull align 8 dereferenceable(64) %6, ptr noundef nonnull align 8 dereferenceable(32) %41, ptr noundef nonnull %42)
          to label %333 unwind label %346

333:                                              ; preds = %332
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %42) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %41) #10
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %43) #10
  store ptr %14, ptr %43, align 8, !tbaa !6
  store ptr %17, ptr %76, align 8, !tbaa !6
  %334 = invoke noundef ptr @"_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEENK3$_1clEv"(ptr noundef nonnull align 8 dereferenceable(16) %43)
          to label %335 unwind label %349

335:                                              ; preds = %333
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %43) #10
  %336 = load ptr, ptr %14, align 8, !tbaa !6
  %337 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZNK3cfg5Block3cfgEv(ptr noundef nonnull align 8 dereferenceable(104) %336)
          to label %338 unwind label %351

338:                                              ; preds = %335
  %339 = invoke noundef i64 @_ZN13source_blocks9normalize16num_interactionsERKN3cfg16ControlFlowGraphEPK11SourceBlock(ptr noundef nonnull align 8 dereferenceable(160) %337, ptr noundef %334)
          to label %340 unwind label %351

340:                                              ; preds = %338
  invoke void @_ZN13source_blocks9normalize9normalizeEP11SourceBlockS2_m(ptr noundef %334, ptr noundef %324, i64 noundef %339)
          to label %341 unwind label %351

341:                                              ; preds = %340
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %40) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %40) #10
  br label %354

342:                                              ; preds = %328, %326, %323
  %343 = landingpad { ptr, i32 }
          cleanup
  br label %353

344:                                              ; preds = %330
  %345 = landingpad { ptr, i32 }
          cleanup
  br label %348

346:                                              ; preds = %332
  %347 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %42) #10
  br label %348

348:                                              ; preds = %346, %344
  %.pn99 = phi { ptr, i32 } [ %347, %346 ], [ %345, %344 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %41) #10
  br label %353

349:                                              ; preds = %333
  %350 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %43) #10
  br label %353

351:                                              ; preds = %340, %338, %335
  %352 = landingpad { ptr, i32 }
          cleanup
  br label %353

353:                                              ; preds = %349, %351, %348, %342
  %.pn101.pn = phi { ptr, i32 } [ %.pn99, %348 ], [ %343, %342 ], [ %352, %351 ], [ %350, %349 ]
  call void @_ZNSt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteIS4_EES3_I11DexPositionS5_IS8_EEEESaISB_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %40) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %40) #10
  br label %369

354:                                              ; preds = %341, %304
  %355 = load i64, ptr %78, align 8, !tbaa !37
  %356 = add i64 %355, 1
  store i64 %356, ptr %78, align 8, !tbaa !37
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %35) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %34) #10
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #10
  br label %357

357:                                              ; preds = %239, %354, %189
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #10
  br label %358

358:                                              ; preds = %143, %357
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %20) #10
  br label %359

359:                                              ; preds = %113, %121, %358
  %360 = invoke noundef nonnull align 8 dereferenceable(16) ptr @_ZN7ir_list23InstructionIteratorImplILb0EEaSERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %19, ptr noundef nonnull align 8 dereferenceable(16) %17)
          to label %361 unwind label %.loopexit165

361:                                              ; preds = %359
  %362 = invoke noundef ptr @_ZNK7ir_list23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(16) %17)
          to label %363 unwind label %.loopexit165

363:                                              ; preds = %361
  %364 = getelementptr inbounds i8, ptr %362, i64 24
  %365 = load ptr, ptr %364, align 8, !tbaa !10
  invoke void @_ZNK13reaching_defs25MoveAwareFixpointIterator19analyze_instructionEPK13IRInstructionPN6sparta19AbstractEnvironmentINS4_15PatriciaTreeMapIjNS4_17SetAbstractDomainINS4_15PatriciaTreeSetIPS1_EEEENS4_17TopValueInterfaceISB_EEEEEE(ptr noundef nonnull align 8 dereferenceable(288) %7, ptr noundef %365, ptr noundef nonnull %15)
          to label %366 unwind label %.loopexit165

366:                                              ; preds = %363
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %44) #10
  invoke void @_ZN7ir_list23InstructionIteratorImplILb0EEppEi(ptr dead_on_unwind nonnull writable sret(%"class.ir_list::InstructionIteratorImpl") align 8 %44, ptr noundef nonnull align 8 dereferenceable(16) %17, i32 noundef 0)
          to label %367 unwind label %374

367:                                              ; preds = %366
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %44) #10
  %368 = call noundef zeroext i1 @_ZNK7ir_list23InstructionIteratorImplILb0EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %17, ptr noundef nonnull align 8 dereferenceable(16) %18)
  br i1 %368, label %.lr.ph, label %._crit_edge, !llvm.loop !38

369:                                              ; preds = %353, %322, %313, %311
  %.pn104.pn.pn = phi { ptr, i32 } [ %.pn104.pn, %322 ], [ %.pn101.pn, %353 ], [ %312, %311 ], [ %314, %313 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %35) #10
  br label %370

370:                                              ; preds = %369, %309, %307
  %.pn104.pn.pn.pn = phi { ptr, i32 } [ %.pn104.pn.pn, %369 ], [ %308, %307 ], [ %310, %309 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %34) #10
  br label %371

371:                                              ; preds = %370, %306
  %.pn109.pn = phi { ptr, i32 } [ %.pn109, %306 ], [ %.pn104.pn.pn.pn, %370 ]
  call void @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #10
  br label %372

372:                                              ; preds = %.loopexit155, %.loopexit.split-lp156, %197, %204, %238, %371, %165
  %.pn112.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn90, %165 ], [ %.pn92, %197 ], [ %.pn109.pn, %371 ], [ %.pn112.pn.pn.pn.pn, %238 ], [ %205, %204 ], [ %lpad.loopexit157, %.loopexit155 ], [ %lpad.loopexit.split-lp158, %.loopexit.split-lp156 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #10
  br label %373

373:                                              ; preds = %.loopexit150, %.loopexit.split-lp151, %372, %137
  %.pn122.pn = phi { ptr, i32 } [ %138, %137 ], [ %.pn112.pn.pn.pn.pn.pn.pn.pn.pn, %372 ], [ %lpad.loopexit152, %.loopexit150 ], [ %lpad.loopexit.split-lp153, %.loopexit.split-lp151 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %20) #10
  br label %376

374:                                              ; preds = %366
  %375 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %44) #10
  br label %376

376:                                              ; preds = %.loopexit165, %.loopexit.split-lp166, %122, %373, %135, %374
  %.pn127 = phi { ptr, i32 } [ %375, %374 ], [ %123, %122 ], [ %.pn122.pn, %373 ], [ %136, %135 ], [ %lpad.loopexit167, %.loopexit165 ], [ %lpad.loopexit.split-lp168, %.loopexit.split-lp166 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %19) #10
  br label %377

377:                                              ; preds = %376, %110
  %.pn127.pn = phi { ptr, i32 } [ %.pn127, %376 ], [ %111, %110 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %18) #10
  br label %378

378:                                              ; preds = %377, %108
  %.pn127.pn.pn = phi { ptr, i32 } [ %.pn127.pn, %377 ], [ %109, %108 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %17) #10
  br label %382

379:                                              ; preds = %96, %._crit_edge
  call void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #10
  %380 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPPN3cfg5BlockESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #10
  %381 = 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) #10
  br i1 %381, label %91, label %._crit_edge197

382:                                              ; preds = %378, %106
  %.pn127.pn.pn.pn = phi { ptr, i32 } [ %.pn127.pn.pn, %378 ], [ %107, %106 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %16) #10
  call void @_ZN6sparta19AbstractEnvironmentINS_15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS7_EEEEED2Ev(ptr noundef nonnull align 8 dereferenceable(16) %15) #10
  br label %383

383:                                              ; preds = %382, %98
  %.pn127.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn127.pn.pn.pn, %382 ], [ %99, %98 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %15) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #10
  call void @_ZNSt6vectorIPN3cfg5BlockESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %11) #10
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %11) #10
  br label %388

384:                                              ; preds = %._crit_edge197
  call void @_ZN13reaching_defs25MoveAwareFixpointIteratorD2Ev(ptr noundef nonnull align 8 dereferenceable(288) %7) #10
  call void @llvm.lifetime.end.p0(i64 288, ptr nonnull %7) #10
  call void @_ZN3cfg11CFGMutationD2Ev(ptr noundef nonnull align 8 dereferenceable(64) %6) #10
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %6) #10
  br label %385

385:                                              ; preds = %66, %53, %384
  call void @_ZN17AccumulatingTimer22AccumulatingTimerScopeD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %5) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #10
  ret void

386:                                              ; preds = %._crit_edge197
  %387 = landingpad { ptr, i32 }
          cleanup
  br label %388

388:                                              ; preds = %89, %383, %386, %88
  %.pn127.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %387, %386 ], [ %.pn87, %88 ], [ %.pn127.pn.pn.pn.pn, %383 ], [ %90, %89 ]
  call void @_ZN13reaching_defs25MoveAwareFixpointIteratorD2Ev(ptr noundef nonnull align 8 dereferenceable(288) %7) #10
  br label %389

389:                                              ; preds = %388, %82
  %.pn127.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn127.pn.pn.pn.pn.pn.pn, %388 ], [ %83, %82 ]
  call void @llvm.lifetime.end.p0(i64 288, ptr nonnull %7) #10
  call void @_ZN3cfg11CFGMutationD2Ev(ptr noundef nonnull align 8 dereferenceable(64) %6) #10
  br label %390

390:                                              ; preds = %389, %80
  %.pn127.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn127.pn.pn.pn.pn.pn.pn.pn, %389 ], [ %81, %80 ]
  call void @llvm.lifetime.end.p0(i64 64, ptr nonnull %6) #10
  br label %391

391:                                              ; preds = %390, %62
  %.pn127.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn127.pn.pn.pn.pn.pn.pn.pn.pn, %390 ], [ %63, %62 ]
  call void @_ZN17AccumulatingTimer22AccumulatingTimerScopeD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %5) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %5) #10
  br label %392

392:                                              ; preds = %391, %61
  %.pn127.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn127.pn.pn.pn.pn.pn.pn.pn.pn.pn, %391 ], [ %.pn, %61 ]
  resume { ptr, i32 } %.pn127.pn.pn.pn.pn.pn.pn.pn.pn.pn.pn
}

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3cfg11CFGMutationC2ERNS_16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(160)) unnamed_addr #6 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 #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #3 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: mustprogress nounwind uwtable
declare dso_local void @_ZNSaIP13IRInstructionEC2Ev(ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

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

declare void @_ZN3cfg11CFGMutation5flushEv(ptr noundef nonnull align 8 dereferenceable(64)) local_unnamed_addr #4

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

declare noundef zeroext i1 @_ZN6method7is_initEPK12DexMethodRef(ptr noundef) local_unnamed_addr #4

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

; 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 void @_ZN17AccumulatingTimer5scopeEv(ptr dead_on_unwind noalias writable sret(%"class.AccumulatingTimer::AccumulatingTimerScope") align 8, ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #3 align 2

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZN12_GLOBAL__N_129has_normalizable_new_instanceERN3cfg16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(160)) local_unnamed_addr #3

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFbPK13IRInstructionEEC2IZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #2 align 2

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

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

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

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

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

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

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

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

; 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 #6

; 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 void @_ZN7ir_list23InstructionIteratorImplILb0EEC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind 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 #2 align 2

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

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

declare noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32), i16 noundef zeroext) local_unnamed_addr #4

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_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_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEE9is_bottomEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i64 @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE4sizeEv(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(8) ptr @_ZNK6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEE8elementsEv(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK6sparta15PatriciaTreeSetIP13IRInstructionE5beginEv(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 nonnull align 8 dereferenceable(8) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIP13IRInstructionNS0_10EmptyValueEEdeEv(ptr noundef nonnull align 8 dereferenceable(96)) local_unnamed_addr #3 align 2

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

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

declare noundef zeroext i1 @_ZN4type11is_subclassEPK7DexTypeS2_(ptr noundef, ptr noundef) local_unnamed_addr #4

declare void @_ZN3cfg16ControlFlowGraph34primary_instruction_of_move_resultERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(160), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4

declare void @_ZN3cfg5Block27to_cfg_instruction_iteratorERKN7ir_list23InstructionIteratorImplILb0EEEb(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(104), ptr noundef nonnull align 8 dereferenceable(16), i1 noundef zeroext) local_unnamed_addr #4

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK6sparta15PatriciaTreeMapIjNS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17TopValueInterfaceIS6_EEE3endEv(ptr dead_on_unwind noalias writable sret(%"class.sparta::pt_core::PatriciaTreeIterator.423") 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_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEneERKSA_(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(24) ptr @_ZNK6sparta7pt_core20PatriciaTreeIteratorIjNS_17TopValueInterfaceINS_17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(96)) local_unnamed_addr #3 align 2

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

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

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

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

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

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

declare void @_ZN3cfg16ControlFlowGraph14move_result_ofERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(160), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4

declare void @_ZN3cfg16ControlFlowGraph9find_insnEP13IRInstructionPNS_5BlockE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8, ptr noundef nonnull align 8 dereferenceable(160), ptr noundef, ptr noundef) local_unnamed_addr #4

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3cfg23InstructionIteratorImplILb0EE6unwrapEv(ptr dead_on_unwind noalias writable sret(%"class.boost::intrusive::list_iterator") align 8, ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #3 align 2

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN5boost9intrusiveneERKNS0_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 #5

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 #4

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNKSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEdeEv(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 @_ZNSt10unique_ptrI11SourceBlockSt14default_deleteIS0_EEaSEOS3_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

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

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

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

; Function Attrs: nobuiltin allocsize(0)
declare noundef nonnull ptr @_Znwm(i64 noundef) local_unnamed_addr #8

declare void @_ZN13IRInstructionC1E8IROpcode(ptr noundef nonnull align 8 dereferenceable(32), i16 noundef zeroext) unnamed_addr #4

; Function Attrs: nobuiltin nounwind
declare void @_ZdlPvm(ptr noundef, i64 noundef) local_unnamed_addr #9

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3cfg11CFGMutation13insert_beforeERKNS_23InstructionIteratorImplILb0EEESt6vectorIP13IRInstructionSaIS7_EE(ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) local_unnamed_addr #6 align 2

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN3cfg11CFGMutation17insert_before_varERKNS_23InstructionIteratorImplILb0EEESt6vectorISt7variantIJP13IRInstructionSt10unique_ptrI11SourceBlockSt14default_deleteISA_EES9_I11DexPositionSB_ISE_EEEESaISH_EE(ptr noundef nonnull align 8 dereferenceable(64), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) local_unnamed_addr #6 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef ptr @"_ZZN8LocalDce23normalize_new_instancesERN3cfg16ControlFlowGraphEENK3$_1clEv"(ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #6 align 2

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZN13source_blocks9normalize9normalizeEP11SourceBlockS2_m(ptr noundef, ptr noundef, i64 noundef) local_unnamed_addr #6

declare noundef i64 @_ZN13source_blocks9normalize16num_interactionsERKN3cfg16ControlFlowGraphEPK11SourceBlock(ptr noundef nonnull align 8 dereferenceable(160), ptr noundef) local_unnamed_addr #4

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(16) ptr @_ZN7ir_list23InstructionIteratorImplILb0EEaSERKS1_(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 void @_ZNK13reaching_defs25MoveAwareFixpointIterator19analyze_instructionEPK13IRInstructionPN6sparta19AbstractEnvironmentINS4_15PatriciaTreeMapIjNS4_17SetAbstractDomainINS4_15PatriciaTreeSetIPS1_EEEENS4_17TopValueInterfaceISB_EEEEEE(ptr noundef nonnull align 8 dereferenceable(288), ptr noundef, ptr noundef) unnamed_addr #3 align 2

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!"branch_weights", i32 1, i32 1048575}
!6 = !{!7, !7, i64 0}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!8, !8, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !8, i64 0}
!13 = !{!14, !12, i64 0}
!14 = !{!"_ZTSSt4pairIjN6sparta17SetAbstractDomainINS0_15PatriciaTreeSetIP13IRInstructionEEEEE", !12, i64 0, !15, i64 8}
!15 = !{!"_ZTSN6sparta17SetAbstractDomainINS_15PatriciaTreeSetIP13IRInstructionEEEE", !16, i64 0}
!16 = !{!"_ZTSN6sparta22PowersetAbstractDomainIP13IRInstructionNS_8set_impl8SetValueINS_15PatriciaTreeSetIS2_EEEERKS6_NS_17SetAbstractDomainIS6_EEEE", !17, i64 0}
!17 = !{!"_ZTSN6sparta25AbstractDomainScaffoldingINS_8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEENS_17SetAbstractDomainIS6_EEEE", !18, i64 0, !19, i64 8}
!18 = !{!"_ZTSN6sparta17AbstractValueKindE", !8, i64 0}
!19 = !{!"_ZTSN6sparta8set_impl8SetValueINS_15PatriciaTreeSetIP13IRInstructionEEEE", !20, i64 0}
!20 = !{!"_ZTSN6sparta15PatriciaTreeSetIP13IRInstructionEE", !21, i64 0}
!21 = !{!"_ZTSN6sparta7pt_core16PatriciaTreeCoreIP13IRInstructionNS0_10EmptyValueEEE", !22, i64 0}
!22 = !{!"_ZTSN5boost13intrusive_ptrIN6sparta7pt_core16PatriciaTreeNodeImNS2_10EmptyValueEEEEE", !7, i64 0}
!23 = !{!24, !27, i64 64}
!24 = !{!"_ZTS8LocalDce", !7, i64 0, !7, i64 8, !7, i64 16, !25, i64 24, !25, i64 25, !25, i64 26, !26, i64 32}
!25 = !{!"bool", !8, i64 0}
!26 = !{!"_ZTSN8LocalDce5StatsE", !27, i64 0, !27, i64 8, !27, i64 16, !27, i64 24, !27, i64 32, !27, i64 40, !28, i64 48}
!27 = !{!"long", !8, i64 0}
!28 = !{!"_ZTSN12init_classes5StatsE", !27, i64 0, !27, i64 8, !27, i64 16}
!29 = !{!30, !34, i64 16}
!30 = !{!"_ZTS15MethodItemEntry", !31, i64 0, !34, i64 16, !8, i64 24}
!31 = !{!"_ZTSN5boost9intrusive16list_member_hookIJEEE", !32, i64 0}
!32 = !{!"_ZTSN5boost9intrusive12generic_hookILNS0_10algo_typesE0ENS0_16list_node_traitsIPvEENS0_10member_tagELNS0_14link_mode_typeE1ELNS0_14base_hook_typeE0EEE", !33, i64 0}
!33 = !{!"_ZTSN5boost9intrusive9list_nodeIPvEE", !7, i64 0, !7, i64 8}
!34 = !{!"_ZTS14MethodItemType", !8, i64 0}
!35 = distinct !{!35, !36}
!36 = !{!"llvm.loop.mustprogress"}
!37 = !{!24, !27, i64 72}
!38 = distinct !{!38, !36}


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