; LLVM IR from facebook/redex :: libredex/ControlFlow.ll (ZNK3cfg16ControlFlowGraph12sanity_checkEv)

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

%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.boost::intrusive::list_iterator" = type { %"struct.boost::intrusive::iiterator_members" }
%"struct.boost::intrusive::iiterator_members" = type { ptr }
%"class.std::vector.11" = type { %"struct.std::_Vector_base.12" }
%"struct.std::_Vector_base.12" = type { %"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl" }
%"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl" = type { %"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::_Rb_tree_const_iterator" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%class.anon.409 = type { i8 }
%class.UnorderedSet.411 = type { %"class.std::unordered_set.413" }
%"class.std::unordered_set.413" = type { %"class.std::_Hashtable.414" }
%"class.std::_Hashtable.414" = 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.cfg::InstructionIterableImpl" = type { ptr }
%"class.cfg::InstructionIteratorImpl.433" = type { ptr, %"struct.std::_Rb_tree_const_iterator", %"class.ir_list::InstructionIteratorImpl.62" }
%"class.ir_list::InstructionIteratorImpl.62" = type { %"class.boost::intrusive::list_iterator.38", %"class.boost::intrusive::list_iterator.38" }
%"class.boost::intrusive::list_iterator.38" = type { %"struct.boost::intrusive::iiterator_members" }
%"struct.std::pair.434" = type <{ %"class.UnorderedSet<IRInstruction *>::FixedIterator", i8, [7 x i8] }>
%"class.UnorderedSet<IRInstruction *>::FixedIterator" = type { %"struct.std::__detail::_Node_iterator.436" }
%"struct.std::__detail::_Node_iterator.436" = type { %"struct.std::__detail::_Node_iterator_base.437" }
%"struct.std::__detail::_Node_iterator_base.437" = type { ptr }
%"class.std::reverse_iterator.439" = type { %"class.__gnu_cxx::__normal_iterator" }
%"class.cfg::ControlFlowGraph" = type { %"class.std::map", %class.UnorderedSet, ptr, ptr, ptr, i32, i8, i8, i8, %"class.std::vector" }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, cfg::Block *>, std::_Select1st<std::pair<const unsigned long, cfg::Block *>>, std::less<unsigned long>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<unsigned long, std::pair<const unsigned long, cfg::Block *>, std::_Select1st<std::pair<const unsigned long, cfg::Block *>>, std::less<unsigned long>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%class.UnorderedSet = type { %"class.std::unordered_set" }
%"class.std::unordered_set" = type { %"class.std::_Hashtable" }
%"class.std::_Hashtable" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = 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 }
%"struct.std::pair.178" = type { i64, ptr }
%struct.MethodItemEntry = type { %"class.boost::intrusive::list_member_hook", i32, %union.anon.16 }
%"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.16 = type { ptr }
%"struct.cfg::ThrowInfo" = type <{ ptr, i32, [4 x i8] }>

@.str.8 = external hidden unnamed_addr constant [73 x i8], align 1
@_ZN3cfg16ControlFlowGraph5DEBUGE = external dso_local global i8, align 1
@.str.51 = external hidden unnamed_addr constant [25 x i8], align 1
@__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv = external hidden unnamed_addr constant [49 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.63 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [109 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [37 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

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

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

declare void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(160), i1 noundef zeroext) #2

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

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

; Function Attrs: inlinehint mustprogress 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)) #4

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #4 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: noreturn
declare void @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef, ptr noundef, ...) #6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3cfg5Block28get_outgoing_throws_in_orderEv(ptr dead_on_unwind noalias writable sret(%"class.std::vector.11") align 8, ptr noundef nonnull align 8 dereferenceable(104)) #3 align 2

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK3cfg16ControlFlowGraph12sanity_checkEv(ptr noundef nonnull align 8 dereferenceable(160) %0) #3 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %5 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %6 = alloca i32, align 4
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca %"class.boost::intrusive::list_iterator", align 8
  %11 = alloca %"class.boost::intrusive::list_iterator", align 8
  %12 = alloca ptr, align 8
  %13 = alloca %"class.std::__cxx11::basic_string", align 8
  %14 = alloca i1, align 1
  %15 = alloca i1, align 1
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca %"class.std::__cxx11::basic_string", align 8
  %19 = alloca i1, align 1
  %20 = alloca i1, align 1
  %21 = alloca i32, align 4
  %22 = alloca i32, align 4
  %23 = alloca ptr, align 8
  %24 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %25 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %26 = alloca ptr, align 8
  %27 = alloca %"class.boost::intrusive::list_iterator", align 8
  %28 = alloca i64, align 8
  %29 = alloca %"class.boost::intrusive::list_iterator", align 8
  %30 = alloca i16, align 2
  %31 = alloca %"class.std::__cxx11::basic_string", align 8
  %32 = alloca i1, align 1
  %33 = alloca i1, align 1
  %34 = alloca %"class.std::__cxx11::basic_string", align 8
  %35 = alloca i1, align 1
  %36 = alloca i1, align 1
  %37 = alloca %"class.std::__cxx11::basic_string", align 8
  %38 = alloca i1, align 1
  %39 = alloca i1, align 1
  %40 = alloca ptr, align 8
  %41 = alloca %class.anon.409, align 1
  %42 = alloca %"class.std::__cxx11::basic_string", align 8
  %43 = alloca i1, align 1
  %44 = alloca i1, align 1
  %45 = alloca %"class.std::__cxx11::basic_string", align 8
  %46 = alloca i1, align 1
  %47 = alloca i1, align 1
  %48 = alloca %"class.std::__cxx11::basic_string", align 8
  %49 = alloca i1, align 1
  %50 = alloca i1, align 1
  %51 = alloca %"class.std::__cxx11::basic_string", align 8
  %52 = alloca i1, align 1
  %53 = alloca i1, align 1
  %54 = alloca %"class.std::__cxx11::basic_string", align 8
  %55 = alloca i1, align 1
  %56 = alloca i1, align 1
  %57 = alloca %"class.std::__cxx11::basic_string", align 8
  %58 = alloca i1, align 1
  %59 = alloca i1, align 1
  %60 = alloca %class.UnorderedSet.411, align 8
  %61 = alloca ptr, align 8
  %62 = alloca %"class.cfg::InstructionIterableImpl", align 8
  %63 = alloca %"class.cfg::InstructionIteratorImpl.433", align 8
  %64 = alloca %"class.cfg::InstructionIteratorImpl.433", align 8
  %65 = alloca ptr, align 8
  %66 = alloca ptr, align 8
  %67 = alloca %"class.std::__cxx11::basic_string", align 8
  %68 = alloca i1, align 1
  %69 = alloca i1, align 1
  %70 = alloca %"struct.std::pair.434", align 8
  %71 = alloca ptr, align 8
  %72 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %73 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %74 = alloca ptr, align 8
  %75 = alloca ptr, align 8
  %76 = alloca ptr, align 8
  %77 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %78 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %79 = alloca ptr, align 8
  %80 = alloca ptr, align 8
  %81 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %82 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %83 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %84 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %85 = alloca %"class.std::__cxx11::basic_string", align 8
  %86 = alloca i1, align 1
  %87 = alloca i1, align 1
  %88 = alloca ptr, align 8
  %89 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %90 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %91 = alloca ptr, align 8
  %92 = alloca ptr, align 8
  %93 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %94 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %95 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %96 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %97 = alloca %"class.std::__cxx11::basic_string", align 8
  %98 = alloca i1, align 1
  %99 = alloca i1, align 1
  %100 = alloca ptr, align 8
  %101 = alloca %"class.std::vector.11", align 8
  %102 = alloca i8, align 1
  %103 = alloca %"class.std::reverse_iterator.439", align 8
  %104 = alloca %"class.std::reverse_iterator.439", align 8
  %105 = alloca ptr, align 8
  %106 = alloca %"class.std::__cxx11::basic_string", align 8
  %107 = alloca i1, align 1
  %108 = alloca i1, align 1
  %109 = alloca i32, align 4
  %110 = alloca %"class.std::__cxx11::basic_string", align 8
  %111 = alloca i1, align 1
  %112 = alloca i1, align 1
  store ptr %0, ptr %2, align 8, !tbaa !5
  %113 = load ptr, ptr %2, align 8
  %114 = getelementptr inbounds %"class.cfg::ControlFlowGraph", ptr %113, i32 0, i32 6
  %115 = load i8, ptr %114, align 4, !tbaa !9, !range !32, !noundef !33
  %116 = trunc i8 %115 to i1
  br i1 %116, label %117, label %619

117:                                              ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #7
  %118 = getelementptr inbounds %"class.cfg::ControlFlowGraph", ptr %113, i32 0, i32 0
  store ptr %118, ptr %3, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %4) #7
  %119 = load ptr, ptr %3, align 8, !tbaa !5
  %120 = call ptr @_ZNKSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %119) #7
  %121 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %4, i32 0, i32 0
  store ptr %120, ptr %121, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %5) #7
  %122 = load ptr, ptr %3, align 8, !tbaa !5
  %123 = call ptr @_ZNKSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %122) #7
  %124 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %5, i32 0, i32 0
  store ptr %123, ptr %124, align 8
  br label %125

125:                                              ; preds = %527, %117
  %126 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEES8_(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %5) #7
  br i1 %126, label %128, label %127

127:                                              ; preds = %125
  store i32 2, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #7
  br label %536

128:                                              ; preds = %125
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #7
  %129 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %4) #7
  store ptr %129, ptr %7, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #7
  %130 = load ptr, ptr %7, align 8, !tbaa !5
  %131 = getelementptr inbounds %"struct.std::pair.178", ptr %130, i32 0, i32 1
  %132 = load ptr, ptr %131, align 8, !tbaa !34
  store ptr %132, ptr %8, align 8, !tbaa !5
  %133 = load i8, ptr @_ZN3cfg16ControlFlowGraph5DEBUGE, align 1, !tbaa !36, !range !32, !noundef !33
  %134 = trunc i8 %133 to i1
  br i1 %134, label %135, label %211

135:                                              ; preds = %128
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #7
  %136 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %136, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  %137 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN3cfg5Block5beginEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8 %10, ptr noundef nonnull align 8 dereferenceable(104) %137)
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #7
  %138 = load ptr, ptr %9, align 8, !tbaa !5
  call void @_ZN3cfg5Block3endEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8 %11, ptr noundef nonnull align 8 dereferenceable(104) %138)
  br label %139

139:                                              ; preds = %207, %135
  %140 = call noundef zeroext i1 @_ZN5boost9intrusiveneERKNS0_13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEES9_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11)
  br i1 %140, label %142, label %141

141:                                              ; preds = %139
  store i32 4, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  br label %210

142:                                              ; preds = %139
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #7
  %143 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %10)
  store ptr %143, ptr %12, align 8, !tbaa !5
  %144 = load ptr, ptr %12, align 8, !tbaa !5
  %145 = getelementptr inbounds %struct.MethodItemEntry, ptr %144, i32 0, i32 1
  %146 = load i32, ptr %145, align 8, !tbaa !37
  %147 = icmp ne i32 %146, 4
  store i1 false, ptr %14, align 1
  store i1 false, ptr %15, align 1
  br i1 %147, label %148, label %149

148:                                              ; preds = %142
  br label %160

149:                                              ; preds = %142
  %150 = load ptr, ptr %8, align 8, !tbaa !5
  %151 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %150)
  call void @llvm.lifetime.start.p0(i64 32, ptr %13) #7
  store i1 true, ptr %14, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %13, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %15, align 1
  %152 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.51, ptr noundef @.str.8, i32 noundef 1331, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.52, i64 noundef %151, ptr noundef %152) #8
          to label %153 unwind label %154

153:                                              ; preds = %149
  unreachable

154:                                              ; preds = %149
  %155 = landingpad { ptr, i32 }
          cleanup
  %156 = extractvalue { ptr, i32 } %155, 0
  store ptr %156, ptr %16, align 8
  %157 = extractvalue { ptr, i32 } %155, 1
  store i32 %157, ptr %17, align 4
  %158 = load i1, ptr %15, align 1
  br i1 %158, label %183, label %184

159:                                              ; No predecessors!
  br label %160

160:                                              ; preds = %159, %148
  %161 = load i1, ptr %15, align 1
  br i1 %161, label %162, label %163

162:                                              ; preds = %160
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  br label %163

163:                                              ; preds = %162, %160
  %164 = load i1, ptr %14, align 1
  br i1 %164, label %165, label %166

165:                                              ; preds = %163
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #7
  br label %166

166:                                              ; preds = %165, %163
  %167 = load ptr, ptr %12, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct.MethodItemEntry, ptr %167, i32 0, i32 1
  %169 = load i32, ptr %168, align 8, !tbaa !37
  %170 = icmp eq i32 %169, 2
  br i1 %170, label %171, label %206

171:                                              ; preds = %166
  %172 = load ptr, ptr %12, align 8, !tbaa !5
  %173 = getelementptr inbounds %struct.MethodItemEntry, ptr %172, i32 0, i32 2
  %174 = load ptr, ptr %173, align 8, !tbaa !43
  %175 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %174)
  %176 = call noundef zeroext i1 @_ZN6opcode7is_gotoE8IROpcode(i16 noundef zeroext %175)
  store i1 false, ptr %19, align 1
  store i1 false, ptr %20, align 1
  br i1 %176, label %178, label %177

177:                                              ; preds = %171
  br label %194

178:                                              ; preds = %171
  %179 = load ptr, ptr %8, align 8, !tbaa !5
  %180 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %179)
  call void @llvm.lifetime.start.p0(i64 32, ptr %18) #7
  store i1 true, ptr %19, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %18, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %20, align 1
  %181 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.53, ptr noundef @.str.8, i32 noundef 1335, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.54, i64 noundef %180, ptr noundef %181) #8
          to label %182 unwind label %188

182:                                              ; preds = %178
  unreachable

183:                                              ; preds = %154
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  br label %184

184:                                              ; preds = %183, %154
  %185 = load i1, ptr %14, align 1
  br i1 %185, label %186, label %187

186:                                              ; preds = %184
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #7
  br label %187

187:                                              ; preds = %186, %184
  br label %209

188:                                              ; preds = %178
  %189 = landingpad { ptr, i32 }
          cleanup
  %190 = extractvalue { ptr, i32 } %189, 0
  store ptr %190, ptr %16, align 8
  %191 = extractvalue { ptr, i32 } %189, 1
  store i32 %191, ptr %17, align 4
  %192 = load i1, ptr %20, align 1
  br i1 %192, label %201, label %202

193:                                              ; No predecessors!
  br label %194

194:                                              ; preds = %193, %177
  %195 = load i1, ptr %20, align 1
  br i1 %195, label %196, label %197

196:                                              ; preds = %194
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  br label %197

197:                                              ; preds = %196, %194
  %198 = load i1, ptr %19, align 1
  br i1 %198, label %199, label %200

199:                                              ; preds = %197
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #7
  br label %200

200:                                              ; preds = %199, %197
  br label %206

201:                                              ; preds = %188
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  br label %202

202:                                              ; preds = %201, %188
  %203 = load i1, ptr %19, align 1
  br i1 %203, label %204, label %205

204:                                              ; preds = %202
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #7
  br label %205

205:                                              ; preds = %204, %202
  br label %209

206:                                              ; preds = %200, %166
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  br label %207

207:                                              ; preds = %206
  %208 = 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) %10)
  br label %139

209:                                              ; preds = %205, %187
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  br label %535

210:                                              ; preds = %141
  br label %211

211:                                              ; preds = %210, %128
  call void @llvm.lifetime.start.p0(i64 4, ptr %21) #7
  store i32 0, ptr %21, align 4, !tbaa !44
  call void @llvm.lifetime.start.p0(i64 4, ptr %22) #7
  store i32 0, ptr %22, align 4, !tbaa !44
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #7
  %212 = load ptr, ptr %8, align 8, !tbaa !5
  %213 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5succsEv(ptr noundef nonnull align 8 dereferenceable(104) %212)
  store ptr %213, ptr %23, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #7
  %214 = load ptr, ptr %23, align 8, !tbaa !5
  %215 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %214) #7
  %216 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %24, i32 0, i32 0
  store ptr %215, ptr %216, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #7
  %217 = load ptr, ptr %23, align 8, !tbaa !5
  %218 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %217) #7
  %219 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %25, i32 0, i32 0
  store ptr %218, ptr %219, align 8
  br label %220

220:                                              ; preds = %242, %211
  %221 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 8 dereferenceable(8) %25) #7
  br i1 %221, label %223, label %222

222:                                              ; preds = %220
  store i32 6, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  br label %244

223:                                              ; preds = %220
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #7
  %224 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  %225 = load ptr, ptr %224, align 8, !tbaa !5
  store ptr %225, ptr %26, align 8, !tbaa !5
  %226 = load ptr, ptr %26, align 8, !tbaa !5
  %227 = call noundef zeroext i8 @_ZNK3cfg4Edge4typeEv(ptr noundef nonnull align 8 dereferenceable(32) %226)
  %228 = zext i8 %227 to i32
  %229 = icmp eq i32 %228, 0
  br i1 %229, label %230, label %233

230:                                              ; preds = %223
  %231 = load i32, ptr %21, align 4, !tbaa !44
  %232 = add i32 %231, 1
  store i32 %232, ptr %21, align 4, !tbaa !44
  br label %233

233:                                              ; preds = %230, %223
  %234 = load ptr, ptr %26, align 8, !tbaa !5
  %235 = call noundef zeroext i8 @_ZNK3cfg4Edge4typeEv(ptr noundef nonnull align 8 dereferenceable(32) %234)
  %236 = zext i8 %235 to i32
  %237 = icmp ne i32 %236, 3
  br i1 %237, label %238, label %241

238:                                              ; preds = %233
  %239 = load i32, ptr %22, align 4, !tbaa !44
  %240 = add i32 %239, 1
  store i32 %240, ptr %22, align 4, !tbaa !44
  br label %241

241:                                              ; preds = %238, %233
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #7
  br label %242

242:                                              ; preds = %241
  %243 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #7
  br label %220

244:                                              ; preds = %222
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #7
  %245 = load ptr, ptr %8, align 8, !tbaa !5
  call void @_ZN3cfg5Block13get_last_insnEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8 %27, ptr noundef nonnull align 8 dereferenceable(104) %245)
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #7
  %246 = load ptr, ptr %8, align 8, !tbaa !5
  %247 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5predsEv(ptr noundef nonnull align 8 dereferenceable(104) %246)
  %248 = call noundef i64 @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %247) #7
  store i64 %248, ptr %28, align 8, !tbaa !45
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #7
  %249 = load ptr, ptr %8, align 8, !tbaa !5
  call void @_ZN3cfg5Block3endEv(ptr dead_on_unwind writable sret(%"class.boost::intrusive::list_iterator") align 8 %29, ptr noundef nonnull align 8 dereferenceable(104) %249)
  %250 = call noundef zeroext i1 @_ZN5boost9intrusiveneERKNS0_13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEES9_(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %29)
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  br i1 %250, label %251, label %444

251:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 2, ptr %30) #7
  %252 = call noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %27)
  %253 = getelementptr inbounds %struct.MethodItemEntry, ptr %252, i32 0, i32 2
  %254 = load ptr, ptr %253, align 8, !tbaa !43
  %255 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %254)
  store i16 %255, ptr %30, align 2, !tbaa !46
  %256 = load i16, ptr %30, align 2, !tbaa !46
  %257 = call noundef zeroext i1 @_ZN6opcode23is_a_conditional_branchE8IROpcode(i16 noundef zeroext %256)
  br i1 %257, label %258, label %285

258:                                              ; preds = %251
  %259 = load i32, ptr %22, align 4, !tbaa !44
  %260 = icmp eq i32 %259, 2
  store i1 false, ptr %32, align 1
  store i1 false, ptr %33, align 1
  br i1 %260, label %261, label %262

261:                                              ; preds = %258
  br label %273

262:                                              ; preds = %258
  %263 = load ptr, ptr %8, align 8, !tbaa !5
  %264 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %263)
  call void @llvm.lifetime.start.p0(i64 32, ptr %31) #7
  store i1 true, ptr %32, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %31, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %33, align 1
  %265 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.55, ptr noundef @.str.8, i32 noundef 1358, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.56, i64 noundef %264, ptr noundef %265) #8
          to label %266 unwind label %267

266:                                              ; preds = %262
  unreachable

267:                                              ; preds = %262
  %268 = landingpad { ptr, i32 }
          cleanup
  %269 = extractvalue { ptr, i32 } %268, 0
  store ptr %269, ptr %16, align 8
  %270 = extractvalue { ptr, i32 } %268, 1
  store i32 %270, ptr %17, align 4
  %271 = load i1, ptr %33, align 1
  br i1 %271, label %280, label %281

272:                                              ; No predecessors!
  br label %273

273:                                              ; preds = %272, %261
  %274 = load i1, ptr %33, align 1
  br i1 %274, label %275, label %276

275:                                              ; preds = %273
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  br label %276

276:                                              ; preds = %275, %273
  %277 = load i1, ptr %32, align 1
  br i1 %277, label %278, label %279

278:                                              ; preds = %276
  call void @llvm.lifetime.end.p0(i64 32, ptr %31) #7
  br label %279

279:                                              ; preds = %278, %276
  br label %380

280:                                              ; preds = %267
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %31) #7
  br label %281

281:                                              ; preds = %280, %267
  %282 = load i1, ptr %32, align 1
  br i1 %282, label %283, label %284

283:                                              ; preds = %281
  call void @llvm.lifetime.end.p0(i64 32, ptr %31) #7
  br label %284

284:                                              ; preds = %283, %281
  br label %443

285:                                              ; preds = %251
  %286 = load i16, ptr %30, align 2, !tbaa !46
  %287 = call noundef zeroext i1 @_ZN6opcode9is_switchE8IROpcode(i16 noundef zeroext %286)
  br i1 %287, label %288, label %315

288:                                              ; preds = %285
  %289 = load i32, ptr %22, align 4, !tbaa !44
  %290 = icmp ugt i32 %289, 1
  store i1 false, ptr %35, align 1
  store i1 false, ptr %36, align 1
  br i1 %290, label %291, label %292

291:                                              ; preds = %288
  br label %303

292:                                              ; preds = %288
  %293 = load ptr, ptr %8, align 8, !tbaa !5
  %294 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %293)
  call void @llvm.lifetime.start.p0(i64 32, ptr %34) #7
  store i1 true, ptr %35, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %34, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %36, align 1
  %295 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %34) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.57, ptr noundef @.str.8, i32 noundef 1361, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.56, i64 noundef %294, ptr noundef %295) #8
          to label %296 unwind label %297

296:                                              ; preds = %292
  unreachable

297:                                              ; preds = %292
  %298 = landingpad { ptr, i32 }
          cleanup
  %299 = extractvalue { ptr, i32 } %298, 0
  store ptr %299, ptr %16, align 8
  %300 = extractvalue { ptr, i32 } %298, 1
  store i32 %300, ptr %17, align 4
  %301 = load i1, ptr %36, align 1
  br i1 %301, label %310, label %311

302:                                              ; No predecessors!
  br label %303

303:                                              ; preds = %302, %291
  %304 = load i1, ptr %36, align 1
  br i1 %304, label %305, label %306

305:                                              ; preds = %303
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #7
  br label %306

306:                                              ; preds = %305, %303
  %307 = load i1, ptr %35, align 1
  br i1 %307, label %308, label %309

308:                                              ; preds = %306
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #7
  br label %309

309:                                              ; preds = %308, %306
  br label %379

310:                                              ; preds = %297
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #7
  br label %311

311:                                              ; preds = %310, %297
  %312 = load i1, ptr %35, align 1
  br i1 %312, label %313, label %314

313:                                              ; preds = %311
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #7
  br label %314

314:                                              ; preds = %313, %311
  br label %443

315:                                              ; preds = %285
  %316 = load i16, ptr %30, align 2, !tbaa !46
  %317 = call noundef zeroext i1 @_ZN6opcode11is_a_returnE8IROpcode(i16 noundef zeroext %316)
  br i1 %317, label %318, label %345

318:                                              ; preds = %315
  %319 = load i32, ptr %22, align 4, !tbaa !44
  %320 = icmp eq i32 %319, 0
  store i1 false, ptr %38, align 1
  store i1 false, ptr %39, align 1
  br i1 %320, label %321, label %322

321:                                              ; preds = %318
  br label %333

322:                                              ; preds = %318
  %323 = load ptr, ptr %8, align 8, !tbaa !5
  %324 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %323)
  call void @llvm.lifetime.start.p0(i64 32, ptr %37) #7
  store i1 true, ptr %38, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %37, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %39, align 1
  %325 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %37) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.58, ptr noundef @.str.8, i32 noundef 1365, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.56, i64 noundef %324, ptr noundef %325) #8
          to label %326 unwind label %327

326:                                              ; preds = %322
  unreachable

327:                                              ; preds = %322
  %328 = landingpad { ptr, i32 }
          cleanup
  %329 = extractvalue { ptr, i32 } %328, 0
  store ptr %329, ptr %16, align 8
  %330 = extractvalue { ptr, i32 } %328, 1
  store i32 %330, ptr %17, align 4
  %331 = load i1, ptr %39, align 1
  br i1 %331, label %340, label %341

332:                                              ; No predecessors!
  br label %333

333:                                              ; preds = %332, %321
  %334 = load i1, ptr %39, align 1
  br i1 %334, label %335, label %336

335:                                              ; preds = %333
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #7
  br label %336

336:                                              ; preds = %335, %333
  %337 = load i1, ptr %38, align 1
  br i1 %337, label %338, label %339

338:                                              ; preds = %336
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #7
  br label %339

339:                                              ; preds = %338, %336
  br label %378

340:                                              ; preds = %327
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #7
  br label %341

341:                                              ; preds = %340, %327
  %342 = load i1, ptr %38, align 1
  br i1 %342, label %343, label %344

343:                                              ; preds = %341
  call void @llvm.lifetime.end.p0(i64 32, ptr %37) #7
  br label %344

344:                                              ; preds = %343, %341
  br label %443

345:                                              ; preds = %315
  %346 = load i16, ptr %30, align 2, !tbaa !46
  %347 = call noundef zeroext i1 @_ZN6opcode8is_throwE8IROpcode(i16 noundef zeroext %346)
  br i1 %347, label %348, label %377

348:                                              ; preds = %345
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #7
  %349 = load ptr, ptr %8, align 8, !tbaa !5
  %350 = call noundef ptr @"_ZNK3cfg16ControlFlowGraph16get_succ_edge_ifIZNKS0_12sanity_checkEvE3$_0EEPNS_4EdgeEPKNS_5BlockET_"(ptr noundef nonnull align 8 dereferenceable(160) %113, ptr noundef %349)
  store ptr %350, ptr %40, align 8, !tbaa !5
  %351 = load ptr, ptr %40, align 8, !tbaa !5
  %352 = icmp eq ptr %351, null
  store i1 false, ptr %43, align 1
  store i1 false, ptr %44, align 1
  br i1 %352, label %353, label %354

353:                                              ; preds = %348
  br label %365

354:                                              ; preds = %348
  %355 = load ptr, ptr %8, align 8, !tbaa !5
  %356 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %355)
  call void @llvm.lifetime.start.p0(i64 32, ptr %42) #7
  store i1 true, ptr %43, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %42, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %44, align 1
  %357 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %42) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.59, ptr noundef @.str.8, i32 noundef 1373, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.56, i64 noundef %356, ptr noundef %357) #8
          to label %358 unwind label %359

358:                                              ; preds = %354
  unreachable

359:                                              ; preds = %354
  %360 = landingpad { ptr, i32 }
          cleanup
  %361 = extractvalue { ptr, i32 } %360, 0
  store ptr %361, ptr %16, align 8
  %362 = extractvalue { ptr, i32 } %360, 1
  store i32 %362, ptr %17, align 4
  %363 = load i1, ptr %44, align 1
  br i1 %363, label %372, label %373

364:                                              ; No predecessors!
  br label %365

365:                                              ; preds = %364, %353
  %366 = load i1, ptr %44, align 1
  br i1 %366, label %367, label %368

367:                                              ; preds = %365
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %42) #7
  br label %368

368:                                              ; preds = %367, %365
  %369 = load i1, ptr %43, align 1
  br i1 %369, label %370, label %371

370:                                              ; preds = %368
  call void @llvm.lifetime.end.p0(i64 32, ptr %42) #7
  br label %371

371:                                              ; preds = %370, %368
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  br label %377

372:                                              ; preds = %359
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %42) #7
  br label %373

373:                                              ; preds = %372, %359
  %374 = load i1, ptr %43, align 1
  br i1 %374, label %375, label %376

375:                                              ; preds = %373
  call void @llvm.lifetime.end.p0(i64 32, ptr %42) #7
  br label %376

376:                                              ; preds = %375, %373
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  br label %443

377:                                              ; preds = %371, %345
  br label %378

378:                                              ; preds = %377, %339
  br label %379

379:                                              ; preds = %378, %309
  br label %380

380:                                              ; preds = %379, %279
  %381 = load i64, ptr %28, align 8, !tbaa !45
  %382 = icmp ugt i64 %381, 0
  br i1 %382, label %383, label %442

383:                                              ; preds = %380
  %384 = load i16, ptr %30, align 2, !tbaa !46
  %385 = call noundef zeroext i1 @_ZN6opcode11is_a_returnE8IROpcode(i16 noundef zeroext %384)
  br i1 %385, label %442, label %386

386:                                              ; preds = %383
  %387 = load i16, ptr %30, align 2, !tbaa !46
  %388 = call noundef zeroext i1 @_ZN6opcode8is_throwE8IROpcode(i16 noundef zeroext %387)
  br i1 %388, label %442, label %389

389:                                              ; preds = %386
  %390 = load i32, ptr %22, align 4, !tbaa !44
  %391 = icmp ugt i32 %390, 0
  store i1 false, ptr %46, align 1
  store i1 false, ptr %47, align 1
  br i1 %391, label %392, label %393

392:                                              ; preds = %389
  br label %404

393:                                              ; preds = %389
  %394 = load ptr, ptr %8, align 8, !tbaa !5
  %395 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %394)
  call void @llvm.lifetime.start.p0(i64 32, ptr %45) #7
  store i1 true, ptr %46, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %45, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %47, align 1
  %396 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %45) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.60, ptr noundef @.str.8, i32 noundef 1381, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.56, i64 noundef %395, ptr noundef %396) #8
          to label %397 unwind label %398

397:                                              ; preds = %393
  unreachable

398:                                              ; preds = %393
  %399 = landingpad { ptr, i32 }
          cleanup
  %400 = extractvalue { ptr, i32 } %399, 0
  store ptr %400, ptr %16, align 8
  %401 = extractvalue { ptr, i32 } %399, 1
  store i32 %401, ptr %17, align 4
  %402 = load i1, ptr %47, align 1
  br i1 %402, label %419, label %420

403:                                              ; No predecessors!
  br label %404

404:                                              ; preds = %403, %392
  %405 = load i1, ptr %47, align 1
  br i1 %405, label %406, label %407

406:                                              ; preds = %404
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #7
  br label %407

407:                                              ; preds = %406, %404
  %408 = load i1, ptr %46, align 1
  br i1 %408, label %409, label %410

409:                                              ; preds = %407
  call void @llvm.lifetime.end.p0(i64 32, ptr %45) #7
  br label %410

410:                                              ; preds = %409, %407
  %411 = load i32, ptr %21, align 4, !tbaa !44
  %412 = icmp eq i32 %411, 1
  store i1 false, ptr %49, align 1
  store i1 false, ptr %50, align 1
  br i1 %412, label %413, label %414

413:                                              ; preds = %410
  br label %430

414:                                              ; preds = %410
  %415 = load ptr, ptr %8, align 8, !tbaa !5
  %416 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %415)
  call void @llvm.lifetime.start.p0(i64 32, ptr %48) #7
  store i1 true, ptr %49, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %48, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %50, align 1
  %417 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %48) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.61, ptr noundef @.str.8, i32 noundef 1383, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.56, i64 noundef %416, ptr noundef %417) #8
          to label %418 unwind label %424

418:                                              ; preds = %414
  unreachable

419:                                              ; preds = %398
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #7
  br label %420

420:                                              ; preds = %419, %398
  %421 = load i1, ptr %46, align 1
  br i1 %421, label %422, label %423

422:                                              ; preds = %420
  call void @llvm.lifetime.end.p0(i64 32, ptr %45) #7
  br label %423

423:                                              ; preds = %422, %420
  br label %443

424:                                              ; preds = %414
  %425 = landingpad { ptr, i32 }
          cleanup
  %426 = extractvalue { ptr, i32 } %425, 0
  store ptr %426, ptr %16, align 8
  %427 = extractvalue { ptr, i32 } %425, 1
  store i32 %427, ptr %17, align 4
  %428 = load i1, ptr %50, align 1
  br i1 %428, label %437, label %438

429:                                              ; No predecessors!
  br label %430

430:                                              ; preds = %429, %413
  %431 = load i1, ptr %50, align 1
  br i1 %431, label %432, label %433

432:                                              ; preds = %430
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #7
  br label %433

433:                                              ; preds = %432, %430
  %434 = load i1, ptr %49, align 1
  br i1 %434, label %435, label %436

435:                                              ; preds = %433
  call void @llvm.lifetime.end.p0(i64 32, ptr %48) #7
  br label %436

436:                                              ; preds = %435, %433
  br label %442

437:                                              ; preds = %424
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %48) #7
  br label %438

438:                                              ; preds = %437, %424
  %439 = load i1, ptr %49, align 1
  br i1 %439, label %440, label %441

440:                                              ; preds = %438
  call void @llvm.lifetime.end.p0(i64 32, ptr %48) #7
  br label %441

441:                                              ; preds = %440, %438
  br label %443

442:                                              ; preds = %436, %386, %383, %380
  call void @llvm.lifetime.end.p0(i64 2, ptr %30) #7
  br label %505

443:                                              ; preds = %441, %423, %376, %344, %314, %284
  call void @llvm.lifetime.end.p0(i64 2, ptr %30) #7
  br label %534

444:                                              ; preds = %244
  %445 = load i64, ptr %28, align 8, !tbaa !45
  %446 = icmp ugt i64 %445, 0
  br i1 %446, label %447, label %504

447:                                              ; preds = %444
  %448 = load ptr, ptr %8, align 8, !tbaa !5
  %449 = call noundef ptr @_ZNK3cfg16ControlFlowGraph10exit_blockEv(ptr noundef nonnull align 8 dereferenceable(160) %113)
  %450 = icmp ne ptr %448, %449
  br i1 %450, label %451, label %504

451:                                              ; preds = %447
  %452 = load i32, ptr %22, align 4, !tbaa !44
  %453 = icmp ugt i32 %452, 0
  store i1 false, ptr %52, align 1
  store i1 false, ptr %53, align 1
  br i1 %453, label %454, label %455

454:                                              ; preds = %451
  br label %466

455:                                              ; preds = %451
  %456 = load ptr, ptr %8, align 8, !tbaa !5
  %457 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %456)
  call void @llvm.lifetime.start.p0(i64 32, ptr %51) #7
  store i1 true, ptr %52, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %51, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %53, align 1
  %458 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %51) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.60, ptr noundef @.str.8, i32 noundef 1388, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.56, i64 noundef %457, ptr noundef %458) #8
          to label %459 unwind label %460

459:                                              ; preds = %455
  unreachable

460:                                              ; preds = %455
  %461 = landingpad { ptr, i32 }
          cleanup
  %462 = extractvalue { ptr, i32 } %461, 0
  store ptr %462, ptr %16, align 8
  %463 = extractvalue { ptr, i32 } %461, 1
  store i32 %463, ptr %17, align 4
  %464 = load i1, ptr %53, align 1
  br i1 %464, label %481, label %482

465:                                              ; No predecessors!
  br label %466

466:                                              ; preds = %465, %454
  %467 = load i1, ptr %53, align 1
  br i1 %467, label %468, label %469

468:                                              ; preds = %466
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %51) #7
  br label %469

469:                                              ; preds = %468, %466
  %470 = load i1, ptr %52, align 1
  br i1 %470, label %471, label %472

471:                                              ; preds = %469
  call void @llvm.lifetime.end.p0(i64 32, ptr %51) #7
  br label %472

472:                                              ; preds = %471, %469
  %473 = load i32, ptr %21, align 4, !tbaa !44
  %474 = icmp eq i32 %473, 1
  store i1 false, ptr %55, align 1
  store i1 false, ptr %56, align 1
  br i1 %474, label %475, label %476

475:                                              ; preds = %472
  br label %492

476:                                              ; preds = %472
  %477 = load ptr, ptr %8, align 8, !tbaa !5
  %478 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %477)
  call void @llvm.lifetime.start.p0(i64 32, ptr %54) #7
  store i1 true, ptr %55, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %54, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %56, align 1
  %479 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %54) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.61, ptr noundef @.str.8, i32 noundef 1390, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.56, i64 noundef %478, ptr noundef %479) #8
          to label %480 unwind label %486

480:                                              ; preds = %476
  unreachable

481:                                              ; preds = %460
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %51) #7
  br label %482

482:                                              ; preds = %481, %460
  %483 = load i1, ptr %52, align 1
  br i1 %483, label %484, label %485

484:                                              ; preds = %482
  call void @llvm.lifetime.end.p0(i64 32, ptr %51) #7
  br label %485

485:                                              ; preds = %484, %482
  br label %534

486:                                              ; preds = %476
  %487 = landingpad { ptr, i32 }
          cleanup
  %488 = extractvalue { ptr, i32 } %487, 0
  store ptr %488, ptr %16, align 8
  %489 = extractvalue { ptr, i32 } %487, 1
  store i32 %489, ptr %17, align 4
  %490 = load i1, ptr %56, align 1
  br i1 %490, label %499, label %500

491:                                              ; No predecessors!
  br label %492

492:                                              ; preds = %491, %475
  %493 = load i1, ptr %56, align 1
  br i1 %493, label %494, label %495

494:                                              ; preds = %492
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #7
  br label %495

495:                                              ; preds = %494, %492
  %496 = load i1, ptr %55, align 1
  br i1 %496, label %497, label %498

497:                                              ; preds = %495
  call void @llvm.lifetime.end.p0(i64 32, ptr %54) #7
  br label %498

498:                                              ; preds = %497, %495
  br label %504

499:                                              ; preds = %486
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #7
  br label %500

500:                                              ; preds = %499, %486
  %501 = load i1, ptr %55, align 1
  br i1 %501, label %502, label %503

502:                                              ; preds = %500
  call void @llvm.lifetime.end.p0(i64 32, ptr %54) #7
  br label %503

503:                                              ; preds = %502, %500
  br label %534

504:                                              ; preds = %498, %447, %444
  br label %505

505:                                              ; preds = %504, %442
  %506 = load i32, ptr %21, align 4, !tbaa !44
  %507 = icmp ult i32 %506, 2
  store i1 false, ptr %58, align 1
  store i1 false, ptr %59, align 1
  br i1 %507, label %508, label %509

508:                                              ; preds = %505
  br label %520

509:                                              ; preds = %505
  %510 = load ptr, ptr %8, align 8, !tbaa !5
  %511 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %510)
  call void @llvm.lifetime.start.p0(i64 32, ptr %57) #7
  store i1 true, ptr %58, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %57, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %59, align 1
  %512 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %57) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.62, ptr noundef @.str.8, i32 noundef 1394, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.56, i64 noundef %511, ptr noundef %512) #8
          to label %513 unwind label %514

513:                                              ; preds = %509
  unreachable

514:                                              ; preds = %509
  %515 = landingpad { ptr, i32 }
          cleanup
  %516 = extractvalue { ptr, i32 } %515, 0
  store ptr %516, ptr %16, align 8
  %517 = extractvalue { ptr, i32 } %515, 1
  store i32 %517, ptr %17, align 4
  %518 = load i1, ptr %59, align 1
  br i1 %518, label %529, label %530

519:                                              ; No predecessors!
  br label %520

520:                                              ; preds = %519, %508
  %521 = load i1, ptr %59, align 1
  br i1 %521, label %522, label %523

522:                                              ; preds = %520
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #7
  br label %523

523:                                              ; preds = %522, %520
  %524 = load i1, ptr %58, align 1
  br i1 %524, label %525, label %526

525:                                              ; preds = %523
  call void @llvm.lifetime.end.p0(i64 32, ptr %57) #7
  br label %526

526:                                              ; preds = %525, %523
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #7
  br label %527

527:                                              ; preds = %526
  %528 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %4) #7
  br label %125

529:                                              ; preds = %514
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #7
  br label %530

530:                                              ; preds = %529, %514
  %531 = load i1, ptr %58, align 1
  br i1 %531, label %532, label %533

532:                                              ; preds = %530
  call void @llvm.lifetime.end.p0(i64 32, ptr %57) #7
  br label %533

533:                                              ; preds = %532, %530
  br label %534

534:                                              ; preds = %533, %503, %485, %443
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 4, ptr %21) #7
  br label %535

535:                                              ; preds = %534, %209
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %4) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #7
  br label %881

536:                                              ; preds = %127
  call void @llvm.lifetime.start.p0(i64 56, ptr %60) #7
  call void @_ZN12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(56) %60)
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #7
  invoke void @_ZN3cfg23InstructionIterableImplILb1EEC2ERKNS_16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(8) %62, ptr noundef nonnull align 8 dereferenceable(160) %113)
          to label %537 unwind label %546

537:                                              ; preds = %536
  store ptr %62, ptr %61, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %63) #7
  %538 = load ptr, ptr %61, align 8, !tbaa !5
  invoke void @_ZN3cfg23InstructionIterableImplILb1EE5beginEv(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl.433") align 8 %63, ptr noundef nonnull align 8 dereferenceable(8) %538)
          to label %539 unwind label %550

539:                                              ; preds = %537
  call void @llvm.lifetime.start.p0(i64 32, ptr %64) #7
  %540 = load ptr, ptr %61, align 8, !tbaa !5
  invoke void @_ZN3cfg23InstructionIterableImplILb1EE3endEv(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl.433") align 8 %64, ptr noundef nonnull align 8 dereferenceable(8) %540)
          to label %541 unwind label %554

541:                                              ; preds = %539
  br label %542

542:                                              ; preds = %606, %541
  %543 = invoke noundef zeroext i1 @_ZNK3cfg23InstructionIteratorImplILb1EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(32) %63, ptr noundef nonnull align 8 dereferenceable(32) %64)
          to label %544 unwind label %554

544:                                              ; preds = %542
  br i1 %543, label %558, label %545

545:                                              ; preds = %544
  store i32 8, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %64) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %63) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #7
  br label %618

546:                                              ; preds = %536
  %547 = landingpad { ptr, i32 }
          cleanup
  %548 = extractvalue { ptr, i32 } %547, 0
  store ptr %548, ptr %16, align 8
  %549 = extractvalue { ptr, i32 } %547, 1
  store i32 %549, ptr %17, align 4
  br label %617

550:                                              ; preds = %537
  %551 = landingpad { ptr, i32 }
          cleanup
  %552 = extractvalue { ptr, i32 } %551, 0
  store ptr %552, ptr %16, align 8
  %553 = extractvalue { ptr, i32 } %551, 1
  store i32 %553, ptr %17, align 4
  br label %616

554:                                              ; preds = %604, %542, %539
  %555 = landingpad { ptr, i32 }
          cleanup
  %556 = extractvalue { ptr, i32 } %555, 0
  store ptr %556, ptr %16, align 8
  %557 = extractvalue { ptr, i32 } %555, 1
  store i32 %557, ptr %17, align 4
  br label %615

558:                                              ; preds = %544
  call void @llvm.lifetime.start.p0(i64 8, ptr %65) #7
  %559 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3cfg23InstructionIteratorImplILb1EEdeEv(ptr noundef nonnull align 8 dereferenceable(32) %63)
          to label %560 unwind label %573

560:                                              ; preds = %558
  store ptr %559, ptr %65, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %66) #7
  %561 = load ptr, ptr %65, align 8, !tbaa !5
  %562 = getelementptr inbounds %struct.MethodItemEntry, ptr %561, i32 0, i32 2
  %563 = load ptr, ptr %562, align 8, !tbaa !43
  store ptr %563, ptr %66, align 8, !tbaa !5
  store i1 false, ptr %68, align 1
  store i1 false, ptr %69, align 1
  %564 = invoke noundef i64 @_ZNK12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EE5countERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %60, ptr noundef nonnull align 8 dereferenceable(8) %66)
          to label %565 unwind label %577

565:                                              ; preds = %560
  %566 = icmp eq i64 %564, 0
  br i1 %566, label %567, label %568

567:                                              ; preds = %565
  br label %591

568:                                              ; preds = %565
  call void @llvm.lifetime.start.p0(i64 32, ptr %67) #7
  store i1 true, ptr %68, align 1
  %569 = load ptr, ptr %66, align 8, !tbaa !5
  invoke void @_Z4showIR13IRInstructionRSovENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEOT_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %67, ptr noundef nonnull align 8 dereferenceable(32) %569)
          to label %570 unwind label %581

570:                                              ; preds = %568
  store i1 true, ptr %69, align 1
  %571 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %67) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.63, ptr noundef @.str.8, i32 noundef 1405, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.64, ptr noundef %571) #8
          to label %572 unwind label %585

572:                                              ; preds = %570
  unreachable

573:                                              ; preds = %558
  %574 = landingpad { ptr, i32 }
          cleanup
  %575 = extractvalue { ptr, i32 } %574, 0
  store ptr %575, ptr %16, align 8
  %576 = extractvalue { ptr, i32 } %574, 1
  store i32 %576, ptr %17, align 4
  br label %614

577:                                              ; preds = %597, %560
  %578 = landingpad { ptr, i32 }
          cleanup
  %579 = extractvalue { ptr, i32 } %578, 0
  store ptr %579, ptr %16, align 8
  %580 = extractvalue { ptr, i32 } %578, 1
  store i32 %580, ptr %17, align 4
  br label %613

581:                                              ; preds = %568
  %582 = landingpad { ptr, i32 }
          cleanup
  %583 = extractvalue { ptr, i32 } %582, 0
  store ptr %583, ptr %16, align 8
  %584 = extractvalue { ptr, i32 } %582, 1
  store i32 %584, ptr %17, align 4
  br label %609

585:                                              ; preds = %570
  %586 = landingpad { ptr, i32 }
          cleanup
  %587 = extractvalue { ptr, i32 } %586, 0
  store ptr %587, ptr %16, align 8
  %588 = extractvalue { ptr, i32 } %586, 1
  store i32 %588, ptr %17, align 4
  %589 = load i1, ptr %69, align 1
  br i1 %589, label %607, label %608

590:                                              ; No predecessors!
  br label %591

591:                                              ; preds = %590, %567
  %592 = load i1, ptr %69, align 1
  br i1 %592, label %593, label %594

593:                                              ; preds = %591
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %67) #7
  br label %594

594:                                              ; preds = %593, %591
  %595 = load i1, ptr %68, align 1
  br i1 %595, label %596, label %597

596:                                              ; preds = %594
  call void @llvm.lifetime.end.p0(i64 32, ptr %67) #7
  br label %597

597:                                              ; preds = %596, %594
  %598 = invoke { ptr, i8 } @_ZN12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EE6insertERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %60, ptr noundef nonnull align 8 dereferenceable(8) %66)
          to label %599 unwind label %577

599:                                              ; preds = %597
  %600 = getelementptr inbounds { ptr, i8 }, ptr %70, i32 0, i32 0
  %601 = extractvalue { ptr, i8 } %598, 0
  store ptr %601, ptr %600, align 8
  %602 = getelementptr inbounds { ptr, i8 }, ptr %70, i32 0, i32 1
  %603 = extractvalue { ptr, i8 } %598, 1
  store i8 %603, ptr %602, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #7
  br label %604

604:                                              ; preds = %599
  %605 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZN3cfg23InstructionIteratorImplILb1EEppEv(ptr noundef nonnull align 8 dereferenceable(32) %63)
          to label %606 unwind label %554

606:                                              ; preds = %604
  br label %542

607:                                              ; preds = %585
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %67) #7
  br label %608

608:                                              ; preds = %607, %585
  br label %609

609:                                              ; preds = %608, %581
  %610 = load i1, ptr %68, align 1
  br i1 %610, label %611, label %612

611:                                              ; preds = %609
  call void @llvm.lifetime.end.p0(i64 32, ptr %67) #7
  br label %612

612:                                              ; preds = %611, %609
  br label %613

613:                                              ; preds = %612, %577
  call void @llvm.lifetime.end.p0(i64 8, ptr %66) #7
  br label %614

614:                                              ; preds = %613, %573
  call void @llvm.lifetime.end.p0(i64 8, ptr %65) #7
  br label %615

615:                                              ; preds = %614, %554
  call void @llvm.lifetime.end.p0(i64 32, ptr %64) #7
  br label %616

616:                                              ; preds = %615, %550
  call void @llvm.lifetime.end.p0(i64 32, ptr %63) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #7
  br label %617

617:                                              ; preds = %616, %546
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #7
  call void @_ZN12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %60) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr %60) #7
  br label %881

618:                                              ; preds = %545
  call void @_ZN12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %60) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr %60) #7
  br label %619

619:                                              ; preds = %618, %1
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #7
  %620 = getelementptr inbounds %"class.cfg::ControlFlowGraph", ptr %113, i32 0, i32 0
  store ptr %620, ptr %71, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %72) #7
  %621 = load ptr, ptr %71, align 8, !tbaa !5
  %622 = call ptr @_ZNKSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %621) #7
  %623 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %72, i32 0, i32 0
  store ptr %622, ptr %623, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #7
  %624 = load ptr, ptr %71, align 8, !tbaa !5
  %625 = call ptr @_ZNKSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %624) #7
  %626 = getelementptr inbounds %"struct.std::_Rb_tree_const_iterator", ptr %73, i32 0, i32 0
  store ptr %625, ptr %626, align 8
  br label %627

627:                                              ; preds = %838, %619
  %628 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEES8_(ptr noundef nonnull align 8 dereferenceable(8) %72, ptr noundef nonnull align 8 dereferenceable(8) %73) #7
  br i1 %628, label %630, label %629

629:                                              ; preds = %627
  store i32 10, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #7
  br label %841

630:                                              ; preds = %627
  call void @llvm.lifetime.start.p0(i64 8, ptr %74) #7
  %631 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %72) #7
  store ptr %631, ptr %74, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %75) #7
  %632 = load ptr, ptr %74, align 8, !tbaa !5
  %633 = getelementptr inbounds %"struct.std::pair.178", ptr %632, i32 0, i32 1
  %634 = load ptr, ptr %633, align 8, !tbaa !34
  store ptr %634, ptr %75, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %76) #7
  %635 = load ptr, ptr %75, align 8, !tbaa !5
  %636 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5succsEv(ptr noundef nonnull align 8 dereferenceable(104) %635)
  store ptr %636, ptr %76, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %77) #7
  %637 = load ptr, ptr %76, align 8, !tbaa !5
  %638 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %637) #7
  %639 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %77, i32 0, i32 0
  store ptr %638, ptr %639, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %78) #7
  %640 = load ptr, ptr %76, align 8, !tbaa !5
  %641 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %640) #7
  %642 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %78, i32 0, i32 0
  store ptr %641, ptr %642, align 8
  br label %643

643:                                              ; preds = %690, %630
  %644 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %77, ptr noundef nonnull align 8 dereferenceable(8) %78) #7
  br i1 %644, label %646, label %645

645:                                              ; preds = %643
  store i32 12, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %78) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %77) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %76) #7
  br label %697

646:                                              ; preds = %643
  call void @llvm.lifetime.start.p0(i64 8, ptr %79) #7
  %647 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %77) #7
  %648 = load ptr, ptr %647, align 8, !tbaa !5
  store ptr %648, ptr %79, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %80) #7
  %649 = load ptr, ptr %79, align 8, !tbaa !5
  %650 = call noundef ptr @_ZNK3cfg4Edge6targetEv(ptr noundef nonnull align 8 dereferenceable(32) %649)
  %651 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5predsEv(ptr noundef nonnull align 8 dereferenceable(104) %650)
  store ptr %651, ptr %80, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %81) #7
  %652 = load ptr, ptr %80, align 8, !tbaa !5
  %653 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %652) #7
  %654 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %82, i32 0, i32 0
  store ptr %653, ptr %654, align 8
  %655 = load ptr, ptr %80, align 8, !tbaa !5
  %656 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %655) #7
  %657 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %83, i32 0, i32 0
  store ptr %656, ptr %657, align 8
  %658 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %82, i32 0, i32 0
  %659 = load ptr, ptr %658, align 8
  %660 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %83, i32 0, i32 0
  %661 = load ptr, ptr %660, align 8
  %662 = call ptr @_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEES4_ET_SB_SB_RKT0_(ptr %659, ptr %661, ptr noundef nonnull align 8 dereferenceable(8) %79)
  %663 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %81, i32 0, i32 0
  store ptr %662, ptr %663, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %84) #7
  %664 = load ptr, ptr %80, align 8, !tbaa !5
  %665 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %664) #7
  %666 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %84, i32 0, i32 0
  store ptr %665, ptr %666, align 8
  %667 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %81, ptr noundef nonnull align 8 dereferenceable(8) %84) #7
  store i1 false, ptr %86, align 1
  store i1 false, ptr %87, align 1
  br i1 %667, label %668, label %669

668:                                              ; preds = %646
  br label %683

669:                                              ; preds = %646
  %670 = load ptr, ptr %75, align 8, !tbaa !5
  %671 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %670)
  %672 = load ptr, ptr %79, align 8, !tbaa !5
  %673 = call noundef ptr @_ZNK3cfg4Edge6targetEv(ptr noundef nonnull align 8 dereferenceable(32) %672)
  %674 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %673)
  call void @llvm.lifetime.start.p0(i64 32, ptr %85) #7
  store i1 true, ptr %86, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %85, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %87, align 1
  %675 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %85) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.65, ptr noundef @.str.8, i32 noundef 1418, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.66, i64 noundef %671, i64 noundef %674, ptr noundef %675) #8
          to label %676 unwind label %677

676:                                              ; preds = %669
  unreachable

677:                                              ; preds = %669
  %678 = landingpad { ptr, i32 }
          cleanup
  %679 = extractvalue { ptr, i32 } %678, 0
  store ptr %679, ptr %16, align 8
  %680 = extractvalue { ptr, i32 } %678, 1
  store i32 %680, ptr %17, align 4
  %681 = load i1, ptr %87, align 1
  br i1 %681, label %692, label %693

682:                                              ; No predecessors!
  br label %683

683:                                              ; preds = %682, %668
  %684 = load i1, ptr %87, align 1
  br i1 %684, label %685, label %686

685:                                              ; preds = %683
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %85) #7
  br label %686

686:                                              ; preds = %685, %683
  %687 = load i1, ptr %86, align 1
  br i1 %687, label %688, label %689

688:                                              ; preds = %686
  call void @llvm.lifetime.end.p0(i64 32, ptr %85) #7
  br label %689

689:                                              ; preds = %688, %686
  call void @llvm.lifetime.end.p0(i64 8, ptr %84) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %81) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %80) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %79) #7
  br label %690

690:                                              ; preds = %689
  %691 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %77) #7
  br label %643

692:                                              ; preds = %677
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %85) #7
  br label %693

693:                                              ; preds = %692, %677
  %694 = load i1, ptr %86, align 1
  br i1 %694, label %695, label %696

695:                                              ; preds = %693
  call void @llvm.lifetime.end.p0(i64 32, ptr %85) #7
  br label %696

696:                                              ; preds = %695, %693
  call void @llvm.lifetime.end.p0(i64 8, ptr %84) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %81) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %80) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %79) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %78) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %77) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %76) #7
  br label %840

697:                                              ; preds = %645
  call void @llvm.lifetime.start.p0(i64 8, ptr %88) #7
  %698 = load ptr, ptr %75, align 8, !tbaa !5
  %699 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5predsEv(ptr noundef nonnull align 8 dereferenceable(104) %698)
  store ptr %699, ptr %88, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %89) #7
  %700 = load ptr, ptr %88, align 8, !tbaa !5
  %701 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %700) #7
  %702 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %89, i32 0, i32 0
  store ptr %701, ptr %702, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %90) #7
  %703 = load ptr, ptr %88, align 8, !tbaa !5
  %704 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %703) #7
  %705 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %90, i32 0, i32 0
  store ptr %704, ptr %705, align 8
  br label %706

706:                                              ; preds = %753, %697
  %707 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %89, ptr noundef nonnull align 8 dereferenceable(8) %90) #7
  br i1 %707, label %709, label %708

708:                                              ; preds = %706
  store i32 14, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %90) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %89) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %88) #7
  br label %760

709:                                              ; preds = %706
  call void @llvm.lifetime.start.p0(i64 8, ptr %91) #7
  %710 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %89) #7
  %711 = load ptr, ptr %710, align 8, !tbaa !5
  store ptr %711, ptr %91, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %92) #7
  %712 = load ptr, ptr %91, align 8, !tbaa !5
  %713 = call noundef ptr @_ZNK3cfg4Edge3srcEv(ptr noundef nonnull align 8 dereferenceable(32) %712)
  %714 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5succsEv(ptr noundef nonnull align 8 dereferenceable(104) %713)
  store ptr %714, ptr %92, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %93) #7
  %715 = load ptr, ptr %92, align 8, !tbaa !5
  %716 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %715) #7
  %717 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %94, i32 0, i32 0
  store ptr %716, ptr %717, align 8
  %718 = load ptr, ptr %92, align 8, !tbaa !5
  %719 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %718) #7
  %720 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %95, i32 0, i32 0
  store ptr %719, ptr %720, align 8
  %721 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %94, i32 0, i32 0
  %722 = load ptr, ptr %721, align 8
  %723 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %95, i32 0, i32 0
  %724 = load ptr, ptr %723, align 8
  %725 = call ptr @_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEES4_ET_SB_SB_RKT0_(ptr %722, ptr %724, ptr noundef nonnull align 8 dereferenceable(8) %91)
  %726 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %93, i32 0, i32 0
  store ptr %725, ptr %726, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %96) #7
  %727 = load ptr, ptr %92, align 8, !tbaa !5
  %728 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %727) #7
  %729 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %96, i32 0, i32 0
  store ptr %728, ptr %729, align 8
  %730 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %93, ptr noundef nonnull align 8 dereferenceable(8) %96) #7
  store i1 false, ptr %98, align 1
  store i1 false, ptr %99, align 1
  br i1 %730, label %731, label %732

731:                                              ; preds = %709
  br label %746

732:                                              ; preds = %709
  %733 = load ptr, ptr %91, align 8, !tbaa !5
  %734 = call noundef ptr @_ZNK3cfg4Edge3srcEv(ptr noundef nonnull align 8 dereferenceable(32) %733)
  %735 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %734)
  %736 = load ptr, ptr %75, align 8, !tbaa !5
  %737 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %736)
  call void @llvm.lifetime.start.p0(i64 32, ptr %97) #7
  store i1 true, ptr %98, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %97, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %99, align 1
  %738 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %97) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.67, ptr noundef @.str.8, i32 noundef 1425, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.66, i64 noundef %735, i64 noundef %737, ptr noundef %738) #8
          to label %739 unwind label %740

739:                                              ; preds = %732
  unreachable

740:                                              ; preds = %732
  %741 = landingpad { ptr, i32 }
          cleanup
  %742 = extractvalue { ptr, i32 } %741, 0
  store ptr %742, ptr %16, align 8
  %743 = extractvalue { ptr, i32 } %741, 1
  store i32 %743, ptr %17, align 4
  %744 = load i1, ptr %99, align 1
  br i1 %744, label %755, label %756

745:                                              ; No predecessors!
  br label %746

746:                                              ; preds = %745, %731
  %747 = load i1, ptr %99, align 1
  br i1 %747, label %748, label %749

748:                                              ; preds = %746
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %97) #7
  br label %749

749:                                              ; preds = %748, %746
  %750 = load i1, ptr %98, align 1
  br i1 %750, label %751, label %752

751:                                              ; preds = %749
  call void @llvm.lifetime.end.p0(i64 32, ptr %97) #7
  br label %752

752:                                              ; preds = %751, %749
  call void @llvm.lifetime.end.p0(i64 8, ptr %96) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %93) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %92) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %91) #7
  br label %753

753:                                              ; preds = %752
  %754 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %89) #7
  br label %706

755:                                              ; preds = %740
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %97) #7
  br label %756

756:                                              ; preds = %755, %740
  %757 = load i1, ptr %98, align 1
  br i1 %757, label %758, label %759

758:                                              ; preds = %756
  call void @llvm.lifetime.end.p0(i64 32, ptr %97) #7
  br label %759

759:                                              ; preds = %758, %756
  call void @llvm.lifetime.end.p0(i64 8, ptr %96) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %93) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %92) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %91) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %90) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %89) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %88) #7
  br label %840

760:                                              ; preds = %708
  call void @llvm.lifetime.start.p0(i64 8, ptr %100) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr %101) #7
  %761 = load ptr, ptr %75, align 8, !tbaa !5
  call void @_ZNK3cfg5Block28get_outgoing_throws_in_orderEv(ptr dead_on_unwind writable sret(%"class.std::vector.11") align 8 %101, ptr noundef nonnull align 8 dereferenceable(104) %761)
  store ptr %101, ptr %100, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %102) #7
  store i8 1, ptr %102, align 1, !tbaa !36
  call void @llvm.lifetime.start.p0(i64 8, ptr %103) #7
  %762 = load ptr, ptr %100, align 8, !tbaa !5
  call void @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE6rbeginEv(ptr dead_on_unwind writable sret(%"class.std::reverse_iterator.439") align 8 %103, ptr noundef nonnull align 8 dereferenceable(24) %762) #7
  br label %763

763:                                              ; preds = %830, %760
  call void @llvm.lifetime.start.p0(i64 8, ptr %104) #7
  %764 = load ptr, ptr %100, align 8, !tbaa !5
  call void @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE4rendEv(ptr dead_on_unwind writable sret(%"class.std::reverse_iterator.439") align 8 %104, ptr noundef nonnull align 8 dereferenceable(24) %764) #7
  %765 = invoke noundef zeroext i1 @_ZStneIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEEEbRKSt16reverse_iteratorIT_ESF_(ptr noundef nonnull align 8 dereferenceable(8) %103, ptr noundef nonnull align 8 dereferenceable(8) %104)
          to label %766 unwind label %768

766:                                              ; preds = %763
  call void @llvm.lifetime.end.p0(i64 8, ptr %104) #7
  br i1 %765, label %772, label %767

767:                                              ; preds = %766
  store i32 16, ptr %6, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %103) #7
  br label %837

768:                                              ; preds = %763
  %769 = landingpad { ptr, i32 }
          cleanup
  %770 = extractvalue { ptr, i32 } %769, 0
  store ptr %770, ptr %16, align 8
  %771 = extractvalue { ptr, i32 } %769, 1
  store i32 %771, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %104) #7
  br label %836

772:                                              ; preds = %766
  call void @llvm.lifetime.start.p0(i64 8, ptr %105) #7
  %773 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt16reverse_iteratorIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %103)
          to label %774 unwind label %800

774:                                              ; preds = %772
  %775 = load ptr, ptr %773, align 8, !tbaa !5
  store ptr %775, ptr %105, align 8, !tbaa !5
  %776 = load i8, ptr %102, align 1, !tbaa !36, !range !32, !noundef !33
  %777 = trunc i8 %776 to i1
  br i1 %777, label %827, label %778

778:                                              ; preds = %774
  %779 = load ptr, ptr %105, align 8, !tbaa !5
  store i1 false, ptr %107, align 1
  store i1 false, ptr %108, align 1
  %780 = invoke noundef ptr @_ZNK3cfg4Edge10throw_infoEv(ptr noundef nonnull align 8 dereferenceable(32) %779)
          to label %781 unwind label %800

781:                                              ; preds = %778
  %782 = getelementptr inbounds %"struct.cfg::ThrowInfo", ptr %780, i32 0, i32 0
  %783 = load ptr, ptr %782, align 8, !tbaa !48
  %784 = icmp ne ptr %783, null
  br i1 %784, label %785, label %786

785:                                              ; preds = %781
  br label %814

786:                                              ; preds = %781
  %787 = load ptr, ptr %105, align 8, !tbaa !5
  %788 = invoke noundef ptr @_ZNK3cfg4Edge3srcEv(ptr noundef nonnull align 8 dereferenceable(32) %787)
          to label %789 unwind label %800

789:                                              ; preds = %786
  %790 = invoke noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %788)
          to label %791 unwind label %800

791:                                              ; preds = %789
  %792 = load ptr, ptr %105, align 8, !tbaa !5
  %793 = invoke noundef ptr @_ZNK3cfg4Edge6targetEv(ptr noundef nonnull align 8 dereferenceable(32) %792)
          to label %794 unwind label %800

794:                                              ; preds = %791
  %795 = invoke noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %793)
          to label %796 unwind label %800

796:                                              ; preds = %794
  call void @llvm.lifetime.start.p0(i64 32, ptr %106) #7
  store i1 true, ptr %107, align 1
  invoke void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %106, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
          to label %797 unwind label %804

797:                                              ; preds = %796
  store i1 true, ptr %108, align 1
  %798 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %106) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.68, ptr noundef @.str.8, i32 noundef 1437, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.69, i64 noundef %790, i64 noundef %795, ptr noundef %798) #8
          to label %799 unwind label %808

799:                                              ; preds = %797
  unreachable

800:                                              ; preds = %794, %791, %789, %786, %778, %772
  %801 = landingpad { ptr, i32 }
          cleanup
  %802 = extractvalue { ptr, i32 } %801, 0
  store ptr %802, ptr %16, align 8
  %803 = extractvalue { ptr, i32 } %801, 1
  store i32 %803, ptr %17, align 4
  br label %831

804:                                              ; preds = %796
  %805 = landingpad { ptr, i32 }
          cleanup
  %806 = extractvalue { ptr, i32 } %805, 0
  store ptr %806, ptr %16, align 8
  %807 = extractvalue { ptr, i32 } %805, 1
  store i32 %807, ptr %17, align 4
  br label %823

808:                                              ; preds = %797
  %809 = landingpad { ptr, i32 }
          cleanup
  %810 = extractvalue { ptr, i32 } %809, 0
  store ptr %810, ptr %16, align 8
  %811 = extractvalue { ptr, i32 } %809, 1
  store i32 %811, ptr %17, align 4
  %812 = load i1, ptr %108, align 1
  br i1 %812, label %821, label %822

813:                                              ; No predecessors!
  br label %814

814:                                              ; preds = %813, %785
  %815 = load i1, ptr %108, align 1
  br i1 %815, label %816, label %817

816:                                              ; preds = %814
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %106) #7
  br label %817

817:                                              ; preds = %816, %814
  %818 = load i1, ptr %107, align 1
  br i1 %818, label %819, label %820

819:                                              ; preds = %817
  call void @llvm.lifetime.end.p0(i64 32, ptr %106) #7
  br label %820

820:                                              ; preds = %819, %817
  br label %827

821:                                              ; preds = %808
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %106) #7
  br label %822

822:                                              ; preds = %821, %808
  br label %823

823:                                              ; preds = %822, %804
  %824 = load i1, ptr %107, align 1
  br i1 %824, label %825, label %826

825:                                              ; preds = %823
  call void @llvm.lifetime.end.p0(i64 32, ptr %106) #7
  br label %826

826:                                              ; preds = %825, %823
  br label %831

827:                                              ; preds = %820, %774
  store i8 0, ptr %102, align 1, !tbaa !36
  call void @llvm.lifetime.end.p0(i64 8, ptr %105) #7
  br label %828

828:                                              ; preds = %827
  %829 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt16reverse_iteratorIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %103)
          to label %830 unwind label %832

830:                                              ; preds = %828
  br label %763, !llvm.loop !50

831:                                              ; preds = %826, %800
  call void @llvm.lifetime.end.p0(i64 8, ptr %105) #7
  br label %836

832:                                              ; preds = %828
  %833 = landingpad { ptr, i32 }
          cleanup
  %834 = extractvalue { ptr, i32 } %833, 0
  store ptr %834, ptr %16, align 8
  %835 = extractvalue { ptr, i32 } %833, 1
  store i32 %835, ptr %17, align 4
  br label %836

836:                                              ; preds = %832, %831, %768
  call void @llvm.lifetime.end.p0(i64 8, ptr %103) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %102) #7
  call void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %101) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %101) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %100) #7
  br label %840

837:                                              ; preds = %767
  call void @llvm.lifetime.end.p0(i64 1, ptr %102) #7
  call void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %101) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr %101) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %100) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #7
  br label %838

838:                                              ; preds = %837
  %839 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %72) #7
  br label %627

840:                                              ; preds = %836, %759, %696
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #7
  br label %881

841:                                              ; preds = %629
  %842 = getelementptr inbounds %"class.cfg::ControlFlowGraph", ptr %113, i32 0, i32 6
  %843 = load i8, ptr %842, align 4, !tbaa !9, !range !32, !noundef !33
  %844 = trunc i8 %843 to i1
  br i1 %844, label %845, label %876

845:                                              ; preds = %841
  call void @llvm.lifetime.start.p0(i64 4, ptr %109) #7
  %846 = call noundef i32 @_ZNK3cfg16ControlFlowGraph22compute_registers_sizeEv(ptr noundef nonnull align 8 dereferenceable(160) %113)
  store i32 %846, ptr %109, align 4, !tbaa !44
  %847 = load i32, ptr %109, align 4, !tbaa !44
  %848 = getelementptr inbounds %"class.cfg::ControlFlowGraph", ptr %113, i32 0, i32 5
  %849 = load i32, ptr %848, align 8, !tbaa !52
  %850 = icmp ule i32 %847, %849
  store i1 false, ptr %111, align 1
  store i1 false, ptr %112, align 1
  br i1 %850, label %851, label %852

851:                                              ; preds = %845
  br label %864

852:                                              ; preds = %845
  %853 = load i32, ptr %109, align 4, !tbaa !44
  %854 = getelementptr inbounds %"class.cfg::ControlFlowGraph", ptr %113, i32 0, i32 5
  %855 = load i32, ptr %854, align 8, !tbaa !52
  call void @llvm.lifetime.start.p0(i64 32, ptr %110) #7
  store i1 true, ptr %111, align 1
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %110, ptr noundef nonnull align 8 dereferenceable(160) %113, i1 noundef zeroext false)
  store i1 true, ptr %112, align 1
  %856 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %110) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.70, ptr noundef @.str.8, i32 noundef 1447, ptr noundef @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef @.str.71, i32 noundef %853, i32 noundef %855, ptr noundef %856) #8
          to label %857 unwind label %858

857:                                              ; preds = %852
  unreachable

858:                                              ; preds = %852
  %859 = landingpad { ptr, i32 }
          cleanup
  %860 = extractvalue { ptr, i32 } %859, 0
  store ptr %860, ptr %16, align 8
  %861 = extractvalue { ptr, i32 } %859, 1
  store i32 %861, ptr %17, align 4
  %862 = load i1, ptr %112, align 1
  br i1 %862, label %871, label %872

863:                                              ; No predecessors!
  br label %864

864:                                              ; preds = %863, %851
  %865 = load i1, ptr %112, align 1
  br i1 %865, label %866, label %867

866:                                              ; preds = %864
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %110) #7
  br label %867

867:                                              ; preds = %866, %864
  %868 = load i1, ptr %111, align 1
  br i1 %868, label %869, label %870

869:                                              ; preds = %867
  call void @llvm.lifetime.end.p0(i64 32, ptr %110) #7
  br label %870

870:                                              ; preds = %869, %867
  call void @llvm.lifetime.end.p0(i64 4, ptr %109) #7
  br label %876

871:                                              ; preds = %858
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %110) #7
  br label %872

872:                                              ; preds = %871, %858
  %873 = load i1, ptr %111, align 1
  br i1 %873, label %874, label %875

874:                                              ; preds = %872
  call void @llvm.lifetime.end.p0(i64 32, ptr %110) #7
  br label %875

875:                                              ; preds = %874, %872
  call void @llvm.lifetime.end.p0(i64 4, ptr %109) #7
  br label %881

876:                                              ; preds = %870, %841
  call void @_ZNK3cfg16ControlFlowGraph25no_dangling_dex_positionsEv(ptr noundef nonnull align 8 dereferenceable(160) %113)
  %877 = load i8, ptr @_ZN3cfg16ControlFlowGraph5DEBUGE, align 1, !tbaa !36, !range !32, !noundef !33
  %878 = trunc i8 %877 to i1
  br i1 %878, label %879, label %880

879:                                              ; preds = %876
  call void @_ZNK3cfg16ControlFlowGraph21no_unreferenced_edgesEv(ptr noundef nonnull align 8 dereferenceable(160) %113)
  br label %880

880:                                              ; preds = %879, %876
  ret void

881:                                              ; preds = %875, %840, %617, %535
  %882 = load ptr, ptr %16, align 8
  %883 = load i32, ptr %17, align 4
  %884 = insertvalue { ptr, i32 } poison, ptr %882, 0
  %885 = insertvalue { ptr, i32 } %884, i32 %883, 1
  resume { ptr, i32 } %885
}

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

; Function Attrs: mustprogress uwtable
declare hidden noundef ptr @"_ZNK3cfg16ControlFlowGraph16get_succ_edge_ifIZNKS0_12sanity_checkEvE3$_0EEPNS_4EdgeEPKNS_5BlockET_"(ptr noundef nonnull align 8 dereferenceable(160), ptr noundef) #3 align 2

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE6rbeginEv(ptr dead_on_unwind noalias writable sret(%"class.std::reverse_iterator.439") align 8, ptr noundef nonnull align 8 dereferenceable(24)) #1 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE4rendEv(ptr dead_on_unwind noalias writable sret(%"class.std::reverse_iterator.439") align 8, ptr noundef nonnull align 8 dereferenceable(24)) #1 align 2

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !27, i64 132}
!10 = !{!"_ZTSN3cfg16ControlFlowGraphE", !11, i64 0, !20, i64 48, !6, i64 104, !6, i64 112, !6, i64 120, !26, i64 128, !27, i64 132, !27, i64 133, !27, i64 134, !28, i64 136}
!11 = !{!"_ZTSSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE", !12, i64 0}
!12 = !{!"_ZTSSt8_Rb_treeImSt4pairIKmPN3cfg5BlockEESt10_Select1stIS5_ESt4lessImESaIS5_EE", !13, i64 0}
!13 = !{!"_ZTSNSt8_Rb_treeImSt4pairIKmPN3cfg5BlockEESt10_Select1stIS5_ESt4lessImESaIS5_EE13_Rb_tree_implIS9_Lb1EEE", !14, i64 0, !16, i64 8}
!14 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessImEE", !15, i64 0}
!15 = !{!"_ZTSSt4lessImE"}
!16 = !{!"_ZTSSt15_Rb_tree_header", !17, i64 0, !19, i64 32}
!17 = !{!"_ZTSSt18_Rb_tree_node_base", !18, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!18 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!19 = !{!"long", !7, i64 0}
!20 = !{!"_ZTS12UnorderedSetIPN3cfg4EdgeESt4hashIS2_ESt8equal_toIS2_EE", !21, i64 0}
!21 = !{!"_ZTSSt13unordered_setIPN3cfg4EdgeESt4hashIS2_ESt8equal_toIS2_ESaIS2_EE", !22, i64 0}
!22 = !{!"_ZTSSt10_HashtableIPN3cfg4EdgeES2_SaIS2_ENSt8__detail9_IdentityESt8equal_toIS2_ESt4hashIS2_ENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb1ELb1EEEE", !6, i64 0, !19, i64 8, !23, i64 16, !19, i64 24, !24, i64 32, !6, i64 48}
!23 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !6, i64 0}
!24 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !25, i64 0, !19, i64 8}
!25 = !{!"float", !7, i64 0}
!26 = !{!"int", !7, i64 0}
!27 = !{!"bool", !7, i64 0}
!28 = !{!"_ZTSSt6vectorIP13IRInstructionSaIS1_EE", !29, i64 0}
!29 = !{!"_ZTSSt12_Vector_baseIP13IRInstructionSaIS1_EE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIP13IRInstructionSaIS1_EE12_Vector_implE", !31, i64 0}
!31 = !{!"_ZTSNSt12_Vector_baseIP13IRInstructionSaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!32 = !{i8 0, i8 2}
!33 = !{}
!34 = !{!35, !6, i64 8}
!35 = !{!"_ZTSSt4pairIKmPN3cfg5BlockEE", !19, i64 0, !6, i64 8}
!36 = !{!27, !27, i64 0}
!37 = !{!38, !42, i64 16}
!38 = !{!"_ZTS15MethodItemEntry", !39, i64 0, !42, i64 16, !7, i64 24}
!39 = !{!"_ZTSN5boost9intrusive16list_member_hookIJEEE", !40, i64 0}
!40 = !{!"_ZTSN5boost9intrusive12generic_hookILNS0_10algo_typesE0ENS0_16list_node_traitsIPvEENS0_10member_tagELNS0_14link_mode_typeE1ELNS0_14base_hook_typeE0EEE", !41, i64 0}
!41 = !{!"_ZTSN5boost9intrusive9list_nodeIPvEE", !6, i64 0, !6, i64 8}
!42 = !{!"_ZTS14MethodItemType", !7, i64 0}
!43 = !{!7, !7, i64 0}
!44 = !{!26, !26, i64 0}
!45 = !{!19, !19, i64 0}
!46 = !{!47, !47, i64 0}
!47 = !{!"_ZTS8IROpcode", !7, i64 0}
!48 = !{!49, !6, i64 0}
!49 = !{!"_ZTSN3cfg9ThrowInfoE", !6, i64 0, !26, i64 8}
!50 = distinct !{!50, !51}
!51 = !{!"llvm.loop.mustprogress"}
!52 = !{!10, !26, i64 128}


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

%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.boost::intrusive::list_iterator" = type { %"struct.boost::intrusive::iiterator_members" }
%"struct.boost::intrusive::iiterator_members" = type { ptr }
%"class.std::vector.11" = type { %"struct.std::_Vector_base.12" }
%"struct.std::_Vector_base.12" = type { %"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl" }
%"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl" = type { %"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<cfg::Edge *, std::allocator<cfg::Edge *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.std::_Rb_tree_const_iterator" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%class.UnorderedSet.411 = type { %"class.std::unordered_set.413" }
%"class.std::unordered_set.413" = type { %"class.std::_Hashtable.414" }
%"class.std::_Hashtable.414" = 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.cfg::InstructionIterableImpl" = type { ptr }
%"class.cfg::InstructionIteratorImpl.433" = type { ptr, %"struct.std::_Rb_tree_const_iterator", %"class.ir_list::InstructionIteratorImpl.62" }
%"class.ir_list::InstructionIteratorImpl.62" = type { %"class.boost::intrusive::list_iterator.38", %"class.boost::intrusive::list_iterator.38" }
%"class.boost::intrusive::list_iterator.38" = type { %"struct.boost::intrusive::iiterator_members" }
%"class.std::reverse_iterator.439" = type { %"class.__gnu_cxx::__normal_iterator" }

@.str.8 = external hidden unnamed_addr constant [73 x i8], align 1
@_ZN3cfg16ControlFlowGraph5DEBUGE = external dso_local local_unnamed_addr global i8, align 1
@.str.51 = external hidden unnamed_addr constant [25 x i8], align 1
@__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv = external hidden unnamed_addr constant [49 x i8], align 1
@.str.52 = external hidden unnamed_addr constant [46 x i8], align 1
@.str.53 = external hidden unnamed_addr constant [37 x i8], align 1
@.str.54 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.55 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.56 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.57 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.58 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.59 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.60 = external hidden unnamed_addr constant [14 x i8], align 1
@.str.61 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.62 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.63 = external hidden unnamed_addr constant [31 x i8], align 1
@.str.64 = external hidden unnamed_addr constant [109 x i8], align 1
@.str.65 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.66 = external hidden unnamed_addr constant [21 x i8], align 1
@.str.67 = external hidden unnamed_addr constant [80 x i8], align 1
@.str.68 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.69 = external hidden unnamed_addr constant [55 x i8], align 1
@.str.70 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.71 = external hidden unnamed_addr constant [37 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

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

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

declare void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(160), i1 noundef zeroext) local_unnamed_addr #2

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

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

; Function Attrs: inlinehint mustprogress 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 #4

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(32) ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4 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: noreturn
declare void @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef, ptr noundef, ...) local_unnamed_addr #6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3cfg5Block28get_outgoing_throws_in_orderEv(ptr dead_on_unwind noalias writable sret(%"class.std::vector.11") align 8, ptr noundef nonnull align 8 dereferenceable(104)) local_unnamed_addr #3 align 2

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK3cfg16ControlFlowGraph12sanity_checkEv(ptr noundef nonnull align 8 dereferenceable(160) %0) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %3 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %4 = alloca %"class.boost::intrusive::list_iterator", align 8
  %5 = alloca %"class.boost::intrusive::list_iterator", align 8
  %6 = alloca %"class.std::__cxx11::basic_string", align 8
  %7 = alloca %"class.std::__cxx11::basic_string", align 8
  %8 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %9 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %10 = alloca %"class.boost::intrusive::list_iterator", align 8
  %11 = alloca %"class.boost::intrusive::list_iterator", align 8
  %12 = alloca %"class.std::__cxx11::basic_string", align 8
  %13 = alloca %"class.std::__cxx11::basic_string", align 8
  %14 = alloca %"class.std::__cxx11::basic_string", align 8
  %15 = alloca %"class.std::__cxx11::basic_string", align 8
  %16 = alloca %"class.std::__cxx11::basic_string", align 8
  %17 = alloca %"class.std::__cxx11::basic_string", align 8
  %18 = alloca %"class.std::__cxx11::basic_string", align 8
  %19 = alloca %"class.std::__cxx11::basic_string", align 8
  %20 = alloca %"class.std::__cxx11::basic_string", align 8
  %21 = alloca %class.UnorderedSet.411, align 8
  %22 = alloca %"class.cfg::InstructionIterableImpl", align 8
  %23 = alloca %"class.cfg::InstructionIteratorImpl.433", align 8
  %24 = alloca %"class.cfg::InstructionIteratorImpl.433", align 8
  %25 = alloca ptr, align 8
  %26 = alloca %"class.std::__cxx11::basic_string", align 8
  %27 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %28 = alloca %"struct.std::_Rb_tree_const_iterator", align 8
  %29 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %30 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %31 = alloca ptr, align 8
  %32 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %33 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %34 = alloca %"class.std::__cxx11::basic_string", align 8
  %35 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %36 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %37 = alloca ptr, align 8
  %38 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %39 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %40 = alloca %"class.std::__cxx11::basic_string", align 8
  %41 = alloca %"class.std::vector.11", align 8
  %42 = alloca %"class.std::reverse_iterator.439", align 8
  %43 = alloca %"class.std::reverse_iterator.439", align 8
  %44 = alloca %"class.std::__cxx11::basic_string", align 8
  %45 = alloca %"class.std::__cxx11::basic_string", align 8
  %46 = getelementptr inbounds i8, ptr %0, i64 132
  %47 = load i8, ptr %46, align 4, !tbaa !5, !range !31, !noundef !32
  %48 = trunc nuw i8 %47 to i1
  br i1 %48, label %49, label %231

49:                                               ; preds = %1
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %2) #7
  %50 = tail call ptr @_ZNKSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %0) #7
  store ptr %50, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #7
  %51 = tail call ptr @_ZNKSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %0) #7
  store ptr %51, ptr %3, align 8
  %52 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEES8_(ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %3) #7
  br i1 %52, label %.lr.ph221, label %._crit_edge222

._crit_edge222:                                   ; preds = %.thread, %49
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #7
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %21) #7
  call void @_ZN12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(56) %21)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #7
  call void @_ZN3cfg23InstructionIterableImplILb1EEC2ERKNS_16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 8 dereferenceable(160) %0)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %23) #7
  invoke void @_ZN3cfg23InstructionIterableImplILb1EE5beginEv(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl.433") align 8 %23, ptr noundef nonnull align 8 dereferenceable(8) %22)
          to label %196 unwind label %200

.lr.ph221:                                        ; preds = %49, %.thread
  %53 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %2) #7
  %54 = getelementptr inbounds i8, ptr %53, i64 8
  %55 = load ptr, ptr %54, align 8, !tbaa !33
  %56 = load i8, ptr @_ZN3cfg16ControlFlowGraph5DEBUGE, align 1, !tbaa !35, !range !31, !noundef !32
  %57 = trunc nuw i8 %56 to i1
  br i1 %57, label %58, label %84

58:                                               ; preds = %.lr.ph221
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #7
  call void @_ZN3cfg5Block5beginEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::intrusive::list_iterator") align 8 %4, ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #7
  call void @_ZN3cfg5Block3endEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::intrusive::list_iterator") align 8 %5, ptr noundef nonnull align 8 dereferenceable(104) %55)
  %59 = call noundef zeroext i1 @_ZN5boost9intrusiveneERKNS0_13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEES9_(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %5)
  br i1 %59, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %80, %58
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #7
  br label %84

.lr.ph:                                           ; preds = %58, %80
  %60 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %4)
  %61 = getelementptr inbounds i8, ptr %60, i64 16
  %62 = load i32, ptr %61, align 8, !tbaa !36
  switch i32 %62, label %80 [
    i32 4, label %63
    i32 2, label %69
  ]

63:                                               ; preds = %.lr.ph
  %64 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %6) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %6, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %65 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.51, ptr noundef nonnull @.str.8, i32 noundef 1331, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.52, i64 noundef %64, ptr noundef %65) #8
          to label %66 unwind label %67

66:                                               ; preds = %63
  unreachable

67:                                               ; preds = %63
  %68 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %6) #7
  br label %83

69:                                               ; preds = %.lr.ph
  %70 = getelementptr inbounds i8, ptr %60, i64 24
  %71 = load ptr, ptr %70, align 8, !tbaa !42
  %72 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %71)
  %73 = call noundef zeroext i1 @_ZN6opcode7is_gotoE8IROpcode(i16 noundef zeroext %72)
  br i1 %73, label %74, label %80

74:                                               ; preds = %69
  %75 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %7) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %7, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %76 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %7) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.53, ptr noundef nonnull @.str.8, i32 noundef 1335, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.54, i64 noundef %75, ptr noundef %76) #8
          to label %77 unwind label %78

77:                                               ; preds = %74
  unreachable

78:                                               ; preds = %74
  %79 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #7
  br label %83

80:                                               ; preds = %.lr.ph, %69
  %81 = 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) %4)
  %82 = call noundef zeroext i1 @_ZN5boost9intrusiveneERKNS0_13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEES9_(ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(8) %5)
  br i1 %82, label %.lr.ph, label %._crit_edge

83:                                               ; preds = %78, %67
  %.pn195 = phi { ptr, i32 } [ %79, %78 ], [ %68, %67 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #7
  br label %195

84:                                               ; preds = %._crit_edge, %.lr.ph221
  %85 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5succsEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #7
  %86 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %85) #7
  store ptr %86, ptr %8, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #7
  %87 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %85) #7
  store ptr %87, ptr %9, align 8
  %88 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  br i1 %88, label %.lr.ph217, label %._crit_edge218

._crit_edge218:                                   ; preds = %.lr.ph217, %84
  %.0165.lcssa = phi i32 [ 0, %84 ], [ %.1166, %.lr.ph217 ]
  %.0163.lcssa = phi i32 [ 0, %84 ], [ %spec.select, %.lr.ph217 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #7
  call void @_ZN3cfg5Block13get_last_insnEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::intrusive::list_iterator") align 8 %10, ptr noundef nonnull align 8 dereferenceable(104) %55)
  %89 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5predsEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  %90 = call noundef i64 @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %89) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #7
  call void @_ZN3cfg5Block3endEv(ptr dead_on_unwind nonnull writable sret(%"class.boost::intrusive::list_iterator") align 8 %11, ptr noundef nonnull align 8 dereferenceable(104) %55)
  %91 = call noundef zeroext i1 @_ZN5boost9intrusiveneERKNS0_13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEES9_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #7
  br i1 %91, label %101, label %166

.lr.ph217:                                        ; preds = %84, %.lr.ph217
  %.0163215 = phi i32 [ %spec.select, %.lr.ph217 ], [ 0, %84 ]
  %.0165214 = phi i32 [ %.1166, %.lr.ph217 ], [ 0, %84 ]
  %92 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %8) #7
  %93 = load ptr, ptr %92, align 8, !tbaa !43
  %94 = call noundef zeroext i8 @_ZNK3cfg4Edge4typeEv(ptr noundef nonnull align 8 dereferenceable(32) %93)
  %95 = icmp eq i8 %94, 0
  %96 = zext i1 %95 to i32
  %spec.select = add i32 %.0163215, %96
  %97 = call noundef zeroext i8 @_ZNK3cfg4Edge4typeEv(ptr noundef nonnull align 8 dereferenceable(32) %93)
  %.not193 = icmp ne i8 %97, 3
  %98 = zext i1 %.not193 to i32
  %.1166 = add i32 %.0165214, %98
  %99 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %8) #7
  %100 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  br i1 %100, label %.lr.ph217, label %._crit_edge218

101:                                              ; preds = %._crit_edge218
  %102 = call noundef ptr @_ZNK5boost9intrusive13list_iteratorINS0_8mhtraitsI15MethodItemEntryNS0_16list_member_hookIJEEEXadL_ZNS3_10list_hook_EEEEELb0EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %10)
  %103 = getelementptr inbounds i8, ptr %102, i64 24
  %104 = load ptr, ptr %103, align 8, !tbaa !42
  %105 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %104)
  %106 = call noundef zeroext i1 @_ZN6opcode23is_a_conditional_branchE8IROpcode(i16 noundef zeroext %105)
  br i1 %106, label %107, label %115

107:                                              ; preds = %101
  %108 = icmp eq i32 %.0165.lcssa, 2
  br i1 %108, label %146, label %109

109:                                              ; preds = %107
  %110 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %12, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %111 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %12) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.55, ptr noundef nonnull @.str.8, i32 noundef 1358, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.56, i64 noundef %110, ptr noundef %111) #8
          to label %112 unwind label %113

112:                                              ; preds = %109
  unreachable

113:                                              ; preds = %109
  %114 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #7
  br label %194

115:                                              ; preds = %101
  %116 = call noundef zeroext i1 @_ZN6opcode9is_switchE8IROpcode(i16 noundef zeroext %105)
  br i1 %116, label %117, label %125

117:                                              ; preds = %115
  %118 = icmp ugt i32 %.0165.lcssa, 1
  br i1 %118, label %146, label %119

119:                                              ; preds = %117
  %120 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %13) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %13, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %121 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.57, ptr noundef nonnull @.str.8, i32 noundef 1361, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.56, i64 noundef %120, ptr noundef %121) #8
          to label %122 unwind label %123

122:                                              ; preds = %119
  unreachable

123:                                              ; preds = %119
  %124 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %13) #7
  br label %194

125:                                              ; preds = %115
  %126 = call noundef zeroext i1 @_ZN6opcode11is_a_returnE8IROpcode(i16 noundef zeroext %105)
  br i1 %126, label %127, label %135

127:                                              ; preds = %125
  %128 = icmp eq i32 %.0165.lcssa, 0
  br i1 %128, label %146, label %129

129:                                              ; preds = %127
  %130 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %14) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %14, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %131 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.58, ptr noundef nonnull @.str.8, i32 noundef 1365, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.56, i64 noundef %130, ptr noundef %131) #8
          to label %132 unwind label %133

132:                                              ; preds = %129
  unreachable

133:                                              ; preds = %129
  %134 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %14) #7
  br label %194

135:                                              ; preds = %125
  %136 = call noundef zeroext i1 @_ZN6opcode8is_throwE8IROpcode(i16 noundef zeroext %105)
  br i1 %136, label %137, label %146

137:                                              ; preds = %135
  %138 = call noundef ptr @"_ZNK3cfg16ControlFlowGraph16get_succ_edge_ifIZNKS0_12sanity_checkEvE3$_0EEPNS_4EdgeEPKNS_5BlockET_"(ptr noundef nonnull align 8 dereferenceable(160) %0, ptr noundef nonnull %55)
  %139 = icmp eq ptr %138, null
  br i1 %139, label %146, label %140

140:                                              ; preds = %137
  %141 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %15) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %15, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %142 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.59, ptr noundef nonnull @.str.8, i32 noundef 1373, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.56, i64 noundef %141, ptr noundef %142) #8
          to label %143 unwind label %144

143:                                              ; preds = %140
  unreachable

144:                                              ; preds = %140
  %145 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #7
  br label %194

146:                                              ; preds = %137, %127, %117, %107, %135
  %.not187 = icmp eq i64 %90, 0
  br i1 %.not187, label %184, label %147

147:                                              ; preds = %146
  %148 = call noundef zeroext i1 @_ZN6opcode11is_a_returnE8IROpcode(i16 noundef zeroext %105)
  br i1 %148, label %184, label %149

149:                                              ; preds = %147
  %150 = call noundef zeroext i1 @_ZN6opcode8is_throwE8IROpcode(i16 noundef zeroext %105)
  br i1 %150, label %184, label %151

151:                                              ; preds = %149
  %.not188 = icmp eq i32 %.0165.lcssa, 0
  br i1 %.not188, label %152, label %158

152:                                              ; preds = %151
  %153 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %16) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %16, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %154 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.60, ptr noundef nonnull @.str.8, i32 noundef 1381, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.56, i64 noundef %153, ptr noundef %154) #8
          to label %155 unwind label %156

155:                                              ; preds = %152
  unreachable

156:                                              ; preds = %152
  %157 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #7
  br label %194

158:                                              ; preds = %151
  %159 = icmp eq i32 %.0163.lcssa, 1
  br i1 %159, label %.thread, label %160

160:                                              ; preds = %158
  %161 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %17) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %17, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %162 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %17) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.61, ptr noundef nonnull @.str.8, i32 noundef 1383, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.56, i64 noundef %161, ptr noundef %162) #8
          to label %163 unwind label %164

163:                                              ; preds = %160
  unreachable

164:                                              ; preds = %160
  %165 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %17) #7
  br label %194

166:                                              ; preds = %._crit_edge218
  %.not184 = icmp eq i64 %90, 0
  br i1 %.not184, label %184, label %167

167:                                              ; preds = %166
  %168 = call noundef ptr @_ZNK3cfg16ControlFlowGraph10exit_blockEv(ptr noundef nonnull align 8 dereferenceable(160) %0)
  %.not185 = icmp eq ptr %55, %168
  br i1 %.not185, label %184, label %169

169:                                              ; preds = %167
  %.not186 = icmp eq i32 %.0165.lcssa, 0
  br i1 %.not186, label %170, label %176

170:                                              ; preds = %169
  %171 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %18) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %18, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %172 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.60, ptr noundef nonnull @.str.8, i32 noundef 1388, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.56, i64 noundef %171, ptr noundef %172) #8
          to label %173 unwind label %174

173:                                              ; preds = %170
  unreachable

174:                                              ; preds = %170
  %175 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %18) #7
  br label %194

176:                                              ; preds = %169
  %177 = icmp eq i32 %.0163.lcssa, 1
  br i1 %177, label %.thread, label %178

178:                                              ; preds = %176
  %179 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %19) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %19, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %180 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.61, ptr noundef nonnull @.str.8, i32 noundef 1390, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.56, i64 noundef %179, ptr noundef %180) #8
          to label %181 unwind label %182

181:                                              ; preds = %178
  unreachable

182:                                              ; preds = %178
  %183 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #7
  br label %194

184:                                              ; preds = %146, %147, %149, %166, %167
  %185 = icmp ult i32 %.0163.lcssa, 2
  br i1 %185, label %.thread, label %186

186:                                              ; preds = %184
  %187 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %55)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %20) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %20, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %188 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.62, ptr noundef nonnull @.str.8, i32 noundef 1394, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.56, i64 noundef %187, ptr noundef %188) #8
          to label %189 unwind label %190

189:                                              ; preds = %186
  unreachable

190:                                              ; preds = %186
  %191 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %20) #7
  br label %194

.thread:                                          ; preds = %158, %176, %184
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #7
  %192 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %2) #7
  %193 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEES8_(ptr noundef nonnull align 8 dereferenceable(8) %2, ptr noundef nonnull align 8 dereferenceable(8) %3) #7
  br i1 %193, label %.lr.ph221, label %._crit_edge222

194:                                              ; preds = %144, %113, %123, %133, %156, %164, %190, %182, %174
  %.pn191 = phi { ptr, i32 } [ %191, %190 ], [ %183, %182 ], [ %175, %174 ], [ %165, %164 ], [ %157, %156 ], [ %114, %113 ], [ %124, %123 ], [ %134, %133 ], [ %145, %144 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #7
  br label %195

195:                                              ; preds = %194, %83
  %.pn195.pn = phi { ptr, i32 } [ %.pn195, %83 ], [ %.pn191, %194 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %2) #7
  br label %335

196:                                              ; preds = %._crit_edge222
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %24) #7
  invoke void @_ZN3cfg23InstructionIterableImplILb1EE3endEv(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl.433") align 8 %24, ptr noundef nonnull align 8 dereferenceable(8) %22)
          to label %.preheader unwind label %.loopexit.split-lp

.preheader:                                       ; preds = %196, %225
  %197 = invoke noundef zeroext i1 @_ZNK3cfg23InstructionIteratorImplILb1EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(32) %23, ptr noundef nonnull align 8 dereferenceable(32) %24)
          to label %198 unwind label %.loopexit

198:                                              ; preds = %.preheader
  br i1 %197, label %202, label %199

199:                                              ; preds = %198
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #7
  call void @_ZN12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %21) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %21) #7
  br label %231

200:                                              ; preds = %._crit_edge222
  %201 = landingpad { ptr, i32 }
          cleanup
  br label %230

.loopexit:                                        ; preds = %.preheader, %225
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %229

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

202:                                              ; preds = %198
  %203 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3cfg23InstructionIteratorImplILb1EEdeEv(ptr noundef nonnull align 8 dereferenceable(32) %23)
          to label %204 unwind label %215

204:                                              ; preds = %202
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #7
  %205 = getelementptr inbounds i8, ptr %203, i64 24
  %206 = load ptr, ptr %205, align 8, !tbaa !42
  store ptr %206, ptr %25, align 8, !tbaa !43
  %207 = invoke noundef i64 @_ZNK12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EE5countERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %21, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %208 unwind label %217

208:                                              ; preds = %204
  %209 = icmp eq i64 %207, 0
  br i1 %209, label %223, label %210

210:                                              ; preds = %208
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %26) #7
  %211 = load ptr, ptr %25, align 8, !tbaa !43
  invoke void @_Z4showIR13IRInstructionRSovENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEOT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %26, ptr noundef nonnull align 8 dereferenceable(32) %211)
          to label %212 unwind label %219

212:                                              ; preds = %210
  %213 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %26) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.63, ptr noundef nonnull @.str.8, i32 noundef 1405, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.64, ptr noundef %213) #8
          to label %214 unwind label %221

214:                                              ; preds = %212
  unreachable

215:                                              ; preds = %202
  %216 = landingpad { ptr, i32 }
          cleanup
  br label %229

217:                                              ; preds = %223, %204
  %218 = landingpad { ptr, i32 }
          cleanup
  br label %228

219:                                              ; preds = %210
  %220 = landingpad { ptr, i32 }
          cleanup
  br label %227

221:                                              ; preds = %212
  %222 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #7
  br label %227

223:                                              ; preds = %208
  %224 = invoke { ptr, i8 } @_ZN12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EE6insertERKS1_(ptr noundef nonnull align 8 dereferenceable(56) %21, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %225 unwind label %217

225:                                              ; preds = %223
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #7
  %226 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZN3cfg23InstructionIteratorImplILb1EEppEv(ptr noundef nonnull align 8 dereferenceable(32) %23)
          to label %.preheader unwind label %.loopexit

227:                                              ; preds = %219, %221
  %.pn176 = phi { ptr, i32 } [ %222, %221 ], [ %220, %219 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %26) #7
  br label %228

228:                                              ; preds = %227, %217
  %.pn178 = phi { ptr, i32 } [ %218, %217 ], [ %.pn176, %227 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #7
  br label %229

229:                                              ; preds = %.loopexit, %.loopexit.split-lp, %215, %228
  %.pn181 = phi { ptr, i32 } [ %.pn178, %228 ], [ %216, %215 ], [ %lpad.loopexit, %.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %24) #7
  br label %230

230:                                              ; preds = %229, %200
  %.pn181.pn = phi { ptr, i32 } [ %.pn181, %229 ], [ %201, %200 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #7
  call void @_ZN12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(56) %21) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %21) #7
  br label %335

231:                                              ; preds = %199, %1
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %27) #7
  %232 = call ptr @_ZNKSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %0) #7
  store ptr %232, ptr %27, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %28) #7
  %233 = call ptr @_ZNKSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %0) #7
  store ptr %233, ptr %28, align 8
  %234 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEES8_(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %28) #7
  br i1 %234, label %.lr.ph230, label %._crit_edge231

._crit_edge231:                                   ; preds = %.loopexit255, %231
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #7
  %235 = load i8, ptr %46, align 4, !tbaa !5, !range !31, !noundef !32
  %236 = trunc nuw i8 %235 to i1
  br i1 %236, label %321, label %330

.lr.ph230:                                        ; preds = %231, %.loopexit255
  %237 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %27) #7
  %238 = getelementptr inbounds i8, ptr %237, i64 8
  %239 = load ptr, ptr %238, align 8, !tbaa !33
  %240 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5succsEv(ptr noundef nonnull align 8 dereferenceable(104) %239)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %29) #7
  %241 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %240) #7
  store ptr %241, ptr %29, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %30) #7
  %242 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %240) #7
  store ptr %242, ptr %30, align 8
  %243 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull align 8 dereferenceable(8) %30) #7
  br i1 %243, label %.lr.ph224, label %._crit_edge225

._crit_edge225:                                   ; preds = %266, %.lr.ph230
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #7
  %244 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5predsEv(ptr noundef nonnull align 8 dereferenceable(104) %239)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %35) #7
  %245 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %244) #7
  store ptr %245, ptr %35, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %36) #7
  %246 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %244) #7
  store ptr %246, ptr %36, align 8
  %247 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %35, ptr noundef nonnull align 8 dereferenceable(8) %36) #7
  br i1 %247, label %.lr.ph227, label %._crit_edge228

.lr.ph224:                                        ; preds = %.lr.ph230, %266
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %31) #7
  %248 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %29) #7
  %249 = load ptr, ptr %248, align 8, !tbaa !43
  store ptr %249, ptr %31, align 8, !tbaa !43
  %250 = call noundef ptr @_ZNK3cfg4Edge6targetEv(ptr noundef nonnull align 8 dereferenceable(32) %249)
  %251 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5predsEv(ptr noundef nonnull align 8 dereferenceable(104) %250)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %32) #7
  %252 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %251) #7
  %253 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %251) #7
  %254 = call ptr @_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEES4_ET_SB_SB_RKT0_(ptr %252, ptr %253, ptr noundef nonnull align 8 dereferenceable(8) %31)
  store ptr %254, ptr %32, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %33) #7
  %255 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %251) #7
  store ptr %255, ptr %33, align 8
  %256 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(8) %33) #7
  br i1 %256, label %266, label %257

257:                                              ; preds = %.lr.ph224
  %258 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %239)
  %259 = load ptr, ptr %31, align 8, !tbaa !43
  %260 = call noundef ptr @_ZNK3cfg4Edge6targetEv(ptr noundef nonnull align 8 dereferenceable(32) %259)
  %261 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %260)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %34) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %34, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %262 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %34) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.65, ptr noundef nonnull @.str.8, i32 noundef 1418, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.66, i64 noundef %258, i64 noundef %261, ptr noundef %262) #8
          to label %263 unwind label %264

263:                                              ; preds = %257
  unreachable

264:                                              ; preds = %257
  %265 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %34) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %30) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %29) #7
  br label %320

266:                                              ; preds = %.lr.ph224
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %33) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %31) #7
  %267 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %29) #7
  %268 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %29, ptr noundef nonnull align 8 dereferenceable(8) %30) #7
  br i1 %268, label %.lr.ph224, label %._crit_edge225

._crit_edge228:                                   ; preds = %290, %._crit_edge225
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %36) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %35) #7
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %41) #7
  call void @_ZNK3cfg5Block28get_outgoing_throws_in_orderEv(ptr dead_on_unwind nonnull writable sret(%"class.std::vector.11") align 8 %41, ptr noundef nonnull align 8 dereferenceable(104) %239)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %42) #7
  call void @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE6rbeginEv(ptr dead_on_unwind nonnull writable sret(%"class.std::reverse_iterator.439") align 8 %42, ptr noundef nonnull align 8 dereferenceable(24) %41) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %43) #7
  call void @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE4rendEv(ptr dead_on_unwind nonnull writable sret(%"class.std::reverse_iterator.439") align 8 %43, ptr noundef nonnull align 8 dereferenceable(24) %41) #7
  %269 = invoke noundef zeroext i1 @_ZStneIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEEEbRKSt16reverse_iteratorIT_ESF_(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull align 8 dereferenceable(8) %43)
          to label %270 unwind label %.loopexit.split-lp252

270:                                              ; preds = %._crit_edge228
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %43) #7
  br i1 %269, label %.peel.next, label %.loopexit255

.peel.next:                                       ; preds = %270
  %271 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt16reverse_iteratorIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %42)
  br label %293

.lr.ph227:                                        ; preds = %._crit_edge225, %290
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %37) #7
  %272 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %35) #7
  %273 = load ptr, ptr %272, align 8, !tbaa !43
  store ptr %273, ptr %37, align 8, !tbaa !43
  %274 = call noundef ptr @_ZNK3cfg4Edge3srcEv(ptr noundef nonnull align 8 dereferenceable(32) %273)
  %275 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3cfg5Block5succsEv(ptr noundef nonnull align 8 dereferenceable(104) %274)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %38) #7
  %276 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %275) #7
  %277 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %275) #7
  %278 = call ptr @_ZSt4findIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEES4_ET_SB_SB_RKT0_(ptr %276, ptr %277, ptr noundef nonnull align 8 dereferenceable(8) %37)
  store ptr %278, ptr %38, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %39) #7
  %279 = call ptr @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %275) #7
  store ptr %279, ptr %39, align 8
  %280 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %38, ptr noundef nonnull align 8 dereferenceable(8) %39) #7
  br i1 %280, label %290, label %281

281:                                              ; preds = %.lr.ph227
  %282 = load ptr, ptr %37, align 8, !tbaa !43
  %283 = call noundef ptr @_ZNK3cfg4Edge3srcEv(ptr noundef nonnull align 8 dereferenceable(32) %282)
  %284 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %283)
  %285 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %239)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %40) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %40, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %286 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %40) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.67, ptr noundef nonnull @.str.8, i32 noundef 1425, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.66, i64 noundef %284, i64 noundef %285, ptr noundef %286) #8
          to label %287 unwind label %288

287:                                              ; preds = %281
  unreachable

288:                                              ; preds = %281
  %289 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %40) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %40) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %39) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %38) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %37) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %36) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %35) #7
  br label %320

290:                                              ; preds = %.lr.ph227
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %39) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %38) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %37) #7
  %291 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %35) #7
  %292 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKPN3cfg4EdgeESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %35, ptr noundef nonnull align 8 dereferenceable(8) %36) #7
  br i1 %292, label %.lr.ph227, label %._crit_edge228

293:                                              ; preds = %304, %.peel.next
  %294 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt16reverse_iteratorIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %42)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %43) #7
  call void @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE4rendEv(ptr dead_on_unwind nonnull writable sret(%"class.std::reverse_iterator.439") align 8 %43, ptr noundef nonnull align 8 dereferenceable(24) %41) #7
  %295 = invoke noundef zeroext i1 @_ZStneIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEEEbRKSt16reverse_iteratorIT_ESF_(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull align 8 dereferenceable(8) %43)
          to label %296 unwind label %.loopexit251

296:                                              ; preds = %293
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %43) #7
  br i1 %295, label %300, label %.loopexit255

.loopexit255:                                     ; preds = %296, %270
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %42) #7
  call void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %41) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %41) #7
  %297 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %27) #7
  %298 = call noundef zeroext i1 @_ZStneRKSt23_Rb_tree_const_iteratorISt4pairIKmPN3cfg5BlockEEES8_(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %28) #7
  br i1 %298, label %.lr.ph230, label %._crit_edge231

.loopexit251:                                     ; preds = %293
  %lpad.loopexit253 = landingpad { ptr, i32 }
          cleanup
  br label %299

.loopexit.split-lp252:                            ; preds = %._crit_edge228
  %lpad.loopexit.split-lp254 = landingpad { ptr, i32 }
          cleanup
  br label %299

299:                                              ; preds = %.loopexit.split-lp252, %.loopexit251
  %lpad.phi = phi { ptr, i32 } [ %lpad.loopexit253, %.loopexit251 ], [ %lpad.loopexit.split-lp254, %.loopexit.split-lp252 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %43) #7
  br label %319

300:                                              ; preds = %296
  %301 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNKSt16reverse_iteratorIN9__gnu_cxx17__normal_iteratorIPKPN3cfg4EdgeESt6vectorIS4_SaIS4_EEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %42)
  %302 = load ptr, ptr %301, align 8, !tbaa !43
  %303 = invoke noundef ptr @_ZNK3cfg4Edge10throw_infoEv(ptr noundef nonnull align 8 dereferenceable(32) %302)
          to label %304 unwind label %313

304:                                              ; preds = %300
  %305 = load ptr, ptr %303, align 8, !tbaa !44
  %.not170 = icmp eq ptr %305, null
  br i1 %.not170, label %.loopexit261, label %293, !llvm.loop !46

.loopexit261:                                     ; preds = %304
  %306 = call noundef ptr @_ZNK3cfg4Edge3srcEv(ptr noundef nonnull align 8 dereferenceable(32) %302)
  %307 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %306)
  %308 = call noundef ptr @_ZNK3cfg4Edge6targetEv(ptr noundef nonnull align 8 dereferenceable(32) %302)
  %309 = call noundef i64 @_ZNK3cfg5Block2idEv(ptr noundef nonnull align 8 dereferenceable(104) %308)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %44) #7
  invoke void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %44, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
          to label %310 unwind label %314

310:                                              ; preds = %.loopexit261
  %311 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %44) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.68, ptr noundef nonnull @.str.8, i32 noundef 1437, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.69, i64 noundef %307, i64 noundef %309, ptr noundef %311) #8
          to label %312 unwind label %316

312:                                              ; preds = %310
  unreachable

313:                                              ; preds = %300
  %lpad.loopexit258 = landingpad { ptr, i32 }
          cleanup
  br label %319

314:                                              ; preds = %.loopexit261
  %315 = landingpad { ptr, i32 }
          cleanup
  br label %318

316:                                              ; preds = %310
  %317 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %44) #7
  br label %318

318:                                              ; preds = %314, %316
  %.pn = phi { ptr, i32 } [ %317, %316 ], [ %315, %314 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %44) #7
  br label %319

319:                                              ; preds = %313, %318, %299
  %.pn.pn.pn = phi { ptr, i32 } [ %lpad.phi, %299 ], [ %.pn, %318 ], [ %lpad.loopexit258, %313 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %42) #7
  call void @_ZNSt6vectorIPN3cfg4EdgeESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %41) #7
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %41) #7
  br label %320

320:                                              ; preds = %319, %288, %264
  %.pn174 = phi { ptr, i32 } [ %265, %264 ], [ %289, %288 ], [ %.pn.pn.pn, %319 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #7
  br label %335

321:                                              ; preds = %._crit_edge231
  %322 = call noundef i32 @_ZNK3cfg16ControlFlowGraph22compute_registers_sizeEv(ptr noundef nonnull align 8 dereferenceable(160) %0)
  %323 = getelementptr inbounds i8, ptr %0, i64 128
  %324 = load i32, ptr %323, align 8, !tbaa !49
  %.not = icmp ugt i32 %322, %324
  br i1 %.not, label %325, label %330

325:                                              ; preds = %321
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %45) #7
  call void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %45, ptr noundef nonnull align 8 dereferenceable(160) %0, i1 noundef zeroext false)
  %326 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %45) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.70, ptr noundef nonnull @.str.8, i32 noundef 1447, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK3cfg16ControlFlowGraph12sanity_checkEv, i32 noundef 2, ptr noundef nonnull @.str.71, i32 noundef %322, i32 noundef %324, ptr noundef %326) #8
          to label %327 unwind label %328

327:                                              ; preds = %325
  unreachable

328:                                              ; preds = %325
  %329 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %45) #7
  br label %335

330:                                              ; preds = %321, %._crit_edge231
  call void @_ZNK3cfg16ControlFlowGraph25no_dangling_dex_positionsEv(ptr noundef nonnull align 8 dereferenceable(160) %0)
  %331 = load i8, ptr @_ZN3cfg16ControlFlowGraph5DEBUGE, align 1, !tbaa !35, !range !31, !noundef !32
  %332 = trunc nuw i8 %331 to i1
  br i1 %332, label %333, label %334

333:                                              ; preds = %330
  call void @_ZNK3cfg16ControlFlowGraph21no_unreferenced_edgesEv(ptr noundef nonnull align 8 dereferenceable(160) %0)
  br label %334

334:                                              ; preds = %333, %330
  ret void

335:                                              ; preds = %328, %320, %230, %195
  %.pn195.pn.pn = phi { ptr, i32 } [ %.pn195.pn, %195 ], [ %.pn181.pn, %230 ], [ %.pn174, %320 ], [ %329, %328 ]
  resume { ptr, i32 } %.pn195.pn.pn
}

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3cfg23InstructionIterableImplILb1EE3endEv(ptr dead_on_unwind noalias writable sret(%"class.cfg::InstructionIteratorImpl.433") 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 @_ZNK3cfg23InstructionIteratorImplILb1EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(32), 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(32) ptr @_ZNK3cfg23InstructionIteratorImplILb1EEdeEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i8 } @_ZN12UnorderedSetIP13IRInstructionSt4hashIS1_ESt8equal_toIS1_EE6insertERKS1_(ptr noundef nonnull align 8 dereferenceable(56), 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(32) ptr @_ZN3cfg23InstructionIteratorImplILb1EEppEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #3 align 2

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE6rbeginEv(ptr dead_on_unwind noalias writable sret(%"class.std::reverse_iterator.439") align 8, ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #1 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNKSt6vectorIPN3cfg4EdgeESaIS2_EE4rendEv(ptr dead_on_unwind noalias writable sret(%"class.std::reverse_iterator.439") align 8, ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #1 align 2

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !26, i64 132}
!6 = !{!"_ZTSN3cfg16ControlFlowGraphE", !7, i64 0, !19, i64 48, !17, i64 104, !17, i64 112, !17, i64 120, !25, i64 128, !26, i64 132, !26, i64 133, !26, i64 134, !27, i64 136}
!7 = !{!"_ZTSSt3mapImPN3cfg5BlockESt4lessImESaISt4pairIKmS2_EEE", !8, i64 0}
!8 = !{!"_ZTSSt8_Rb_treeImSt4pairIKmPN3cfg5BlockEESt10_Select1stIS5_ESt4lessImESaIS5_EE", !9, i64 0}
!9 = !{!"_ZTSNSt8_Rb_treeImSt4pairIKmPN3cfg5BlockEESt10_Select1stIS5_ESt4lessImESaIS5_EE13_Rb_tree_implIS9_Lb1EEE", !10, i64 0, !12, i64 8}
!10 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessImEE", !11, i64 0}
!11 = !{!"_ZTSSt4lessImE"}
!12 = !{!"_ZTSSt15_Rb_tree_header", !13, i64 0, !18, i64 32}
!13 = !{!"_ZTSSt18_Rb_tree_node_base", !14, i64 0, !17, i64 8, !17, i64 16, !17, i64 24}
!14 = !{!"_ZTSSt14_Rb_tree_color", !15, i64 0}
!15 = !{!"omnipotent char", !16, i64 0}
!16 = !{!"Simple C++ TBAA"}
!17 = !{!"any pointer", !15, i64 0}
!18 = !{!"long", !15, i64 0}
!19 = !{!"_ZTS12UnorderedSetIPN3cfg4EdgeESt4hashIS2_ESt8equal_toIS2_EE", !20, i64 0}
!20 = !{!"_ZTSSt13unordered_setIPN3cfg4EdgeESt4hashIS2_ESt8equal_toIS2_ESaIS2_EE", !21, i64 0}
!21 = !{!"_ZTSSt10_HashtableIPN3cfg4EdgeES2_SaIS2_ENSt8__detail9_IdentityESt8equal_toIS2_ESt4hashIS2_ENS4_18_Mod_range_hashingENS4_20_Default_ranged_hashENS4_20_Prime_rehash_policyENS4_17_Hashtable_traitsILb0ELb1ELb1EEEE", !17, i64 0, !18, i64 8, !22, i64 16, !18, i64 24, !23, i64 32, !17, i64 48}
!22 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !17, i64 0}
!23 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !24, i64 0, !18, i64 8}
!24 = !{!"float", !15, i64 0}
!25 = !{!"int", !15, i64 0}
!26 = !{!"bool", !15, i64 0}
!27 = !{!"_ZTSSt6vectorIP13IRInstructionSaIS1_EE", !28, i64 0}
!28 = !{!"_ZTSSt12_Vector_baseIP13IRInstructionSaIS1_EE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseIP13IRInstructionSaIS1_EE12_Vector_implE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseIP13IRInstructionSaIS1_EE17_Vector_impl_dataE", !17, i64 0, !17, i64 8, !17, i64 16}
!31 = !{i8 0, i8 2}
!32 = !{}
!33 = !{!34, !17, i64 8}
!34 = !{!"_ZTSSt4pairIKmPN3cfg5BlockEE", !18, i64 0, !17, i64 8}
!35 = !{!26, !26, i64 0}
!36 = !{!37, !41, i64 16}
!37 = !{!"_ZTS15MethodItemEntry", !38, i64 0, !41, i64 16, !15, i64 24}
!38 = !{!"_ZTSN5boost9intrusive16list_member_hookIJEEE", !39, i64 0}
!39 = !{!"_ZTSN5boost9intrusive12generic_hookILNS0_10algo_typesE0ENS0_16list_node_traitsIPvEENS0_10member_tagELNS0_14link_mode_typeE1ELNS0_14base_hook_typeE0EEE", !40, i64 0}
!40 = !{!"_ZTSN5boost9intrusive9list_nodeIPvEE", !17, i64 0, !17, i64 8}
!41 = !{!"_ZTS14MethodItemType", !15, i64 0}
!42 = !{!15, !15, i64 0}
!43 = !{!17, !17, i64 0}
!44 = !{!45, !17, i64 0}
!45 = !{!"_ZTSN3cfg9ThrowInfoE", !17, i64 0, !25, i64 8}
!46 = distinct !{!46, !47, !48}
!47 = !{!"llvm.loop.mustprogress"}
!48 = !{!"llvm.loop.peeled.count", i32 1}
!49 = !{!6, !25, i64 128}


; Effective O3 passes: BDCEPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LoopFullUnrollPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,ReassociatePass,SCCPPass,SROAPass,SimplifyCFGPass,TailCallElimPass