; LLVM IR from facebook/redex :: libredex/IRTypeChecker.ll (ZN13IRTypeChecker3runEv)

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

%"class.(anonymous namespace)::Result" = type { i8, %"class.std::__cxx11::basic_string" }
%"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.cfg::ScopedCFG" = type <{ ptr, i8, [7 x i8] }>
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.1" }
%"struct.std::_Head_base.1" = type { ptr }
%"class.cfg::InstructionIterableImpl" = type { ptr }
%"class.cfg::InstructionIteratorImpl" = type { ptr, %"struct.std::_Rb_tree_const_iterator", %"class.ir_list::InstructionIteratorImpl" }
%"struct.std::_Rb_tree_const_iterator" = type { ptr }
%"class.ir_list::InstructionIteratorImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.boost::intrusive::list_iterator" = type { %"struct.boost::intrusive::iiterator_members" }
%"struct.boost::intrusive::iiterator_members" = type { ptr }
%"class.UnorderedMap<const IRInstruction *, type_inference::TypeEnvironment>::FixedIterator" = type { %"struct.std::__detail::_Node_iterator" }
%"struct.std::__detail::_Node_iterator" = type { %"struct.std::__detail::_Node_iterator_base" }
%"struct.std::__detail::_Node_iterator_base" = type { ptr }
%"class.std::__cxx11::basic_ostringstream" = type { %"class.std::basic_ostream.base", %"class.std::__cxx11::basic_stringbuf", %"class.std::basic_ios" }
%"class.std::basic_ostream.base" = type { ptr }
%"class.std::__cxx11::basic_stringbuf" = type { %"class.std::basic_streambuf", i32, %"class.std::__cxx11::basic_string" }
%"class.std::basic_streambuf" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::locale" }
%"class.std::locale" = type { ptr }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }
%"class.std::basic_string_view" = type { i64, ptr }
%class.IRTypeChecker = type { ptr, i8, i8, i8, i8, i8, i8, i8, %"class.std::__cxx11::basic_string", %"class.std::unique_ptr" }
%struct.MethodItemEntry = type { %"class.boost::intrusive::list_member_hook", i32, %union.anon.179 }
%"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.179 = type { ptr }
%"struct.std::pair" = type { ptr, %"class.type_inference::TypeEnvironment" }
%"class.type_inference::TypeEnvironment" = type { %"class.sparta::ReducedProductAbstractDomain" }
%"class.sparta::ReducedProductAbstractDomain" = type { %"class.sparta::DirectProductAbstractDomain" }
%"class.sparta::DirectProductAbstractDomain" = type { %"class.std::tuple.48" }
%"class.std::tuple.48" = type { %"struct.std::_Tuple_impl.49" }
%"struct.std::_Tuple_impl.49" = type { %"struct.std::_Tuple_impl.50", %"struct.std::_Head_base.74" }
%"struct.std::_Tuple_impl.50" = type { %"struct.std::_Tuple_impl.51", %"struct.std::_Head_base.55" }
%"struct.std::_Tuple_impl.51" = type { %"struct.std::_Head_base.52" }
%"struct.std::_Head_base.52" = type { %"class.sparta::AbstractEnvironment" }
%"class.sparta::AbstractEnvironment" = type { %"class.sparta::AbstractDomainScaffolding" }
%"class.sparta::AbstractDomainScaffolding" = type { i32, %"class.sparta::environment_impl::MapValue" }
%"class.sparta::environment_impl::MapValue" = type { %"class.sparta::PatriciaTreeMap" }
%"class.sparta::PatriciaTreeMap" = type { %"class.sparta::pt_core::PatriciaTreeCore" }
%"class.sparta::pt_core::PatriciaTreeCore" = type { %"class.boost::intrusive_ptr" }
%"class.boost::intrusive_ptr" = type { ptr }
%"struct.std::_Head_base.55" = type { %"class.sparta::AbstractEnvironment.56" }
%"class.sparta::AbstractEnvironment.56" = type { %"class.sparta::AbstractDomainScaffolding.57" }
%"class.sparta::AbstractDomainScaffolding.57" = type { i32, %"class.sparta::environment_impl::MapValue.62" }
%"class.sparta::environment_impl::MapValue.62" = type { %"class.sparta::PatriciaTreeMap.65" }
%"class.sparta::PatriciaTreeMap.65" = type { %"class.sparta::pt_core::PatriciaTreeCore.70" }
%"class.sparta::pt_core::PatriciaTreeCore.70" = type { %"class.boost::intrusive_ptr.71" }
%"class.boost::intrusive_ptr.71" = type { ptr }
%"struct.std::_Head_base.74" = type { %"class.sparta::AbstractEnvironment.75" }
%"class.sparta::AbstractEnvironment.75" = type { %"class.sparta::AbstractDomainScaffolding.76" }
%"class.sparta::AbstractDomainScaffolding.76" = type { i32, %"class.sparta::environment_impl::MapValue.81" }
%"class.sparta::environment_impl::MapValue.81" = type { %"class.sparta::PatriciaTreeMap.84" }
%"class.sparta::PatriciaTreeMap.84" = type { %"class.sparta::pt_core::PatriciaTreeCore.89" }
%"class.sparta::pt_core::PatriciaTreeCore.89" = type { %"class.boost::intrusive_ptr.90" }
%"class.boost::intrusive_ptr.90" = type { ptr }

@_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE = external hidden constant { ptr, ptr, ptr }, align 8
@.str.9 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [75 x i8], align 1
@__PRETTY_FUNCTION__._ZN13IRTypeChecker3runEv = external hidden unnamed_addr constant [26 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [3 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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN13IRTypeChecker3runEv(ptr noundef nonnull align 8 dereferenceable(56) %0) #2 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca ptr, align 8
  %3 = alloca ptr, align 8
  %4 = alloca i32, align 4
  %5 = alloca %"class.(anonymous namespace)::Result", align 8
  %6 = alloca %"class.(anonymous namespace)::Result", align 8
  %7 = alloca ptr, align 8
  %8 = alloca i32, align 4
  %9 = alloca %"class.cfg::ScopedCFG", align 8
  %10 = alloca %"class.(anonymous namespace)::Result", align 8
  %11 = alloca %"class.(anonymous namespace)::Result", align 8
  %12 = alloca %"class.(anonymous namespace)::Result", align 8
  %13 = alloca %"class.(anonymous namespace)::Result", align 8
  %14 = alloca %"class.std::unique_ptr", align 8
  %15 = alloca ptr, align 8
  %16 = alloca ptr, align 8
  %17 = alloca %"class.cfg::InstructionIterableImpl", align 8
  %18 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %19 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca %"class.UnorderedMap<const IRInstruction *, type_inference::TypeEnvironment>::FixedIterator", align 8
  %23 = alloca %"class.UnorderedMap<const IRInstruction *, type_inference::TypeEnvironment>::FixedIterator", align 8
  %24 = alloca %"class.std::__cxx11::basic_string", align 8
  %25 = alloca i1, align 1
  %26 = alloca i1, align 1
  %27 = alloca %"class.std::__cxx11::basic_string", align 8
  %28 = alloca i1, align 1
  %29 = alloca i1, align 1
  %30 = alloca ptr, align 8
  %31 = alloca %"class.std::__cxx11::basic_ostringstream", align 8
  %32 = alloca %"class.std::basic_string_view", align 8
  %33 = alloca %"class.std::__cxx11::basic_string", align 8
  %34 = alloca %"class.std::__cxx11::basic_string", align 8
  %35 = alloca %"class.(anonymous namespace)::Result", align 8
  %36 = alloca %"class.(anonymous namespace)::Result", align 8
  %37 = alloca %"class.(anonymous namespace)::Result", align 8
  %38 = alloca %"class.(anonymous namespace)::Result", align 8
  %39 = alloca %"class.std::__cxx11::basic_ostringstream", align 8
  %40 = alloca %"class.std::__cxx11::basic_string", align 8
  store ptr %0, ptr %2, align 8, !tbaa !5
  %41 = load ptr, ptr %2, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %3) #10
  %42 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 0
  %43 = load ptr, ptr %42, align 8, !tbaa !9
  %44 = call noundef ptr @_ZN9DexMethod8get_codeEv(ptr noundef nonnull align 8 dereferenceable(88) %43)
  store ptr %44, ptr %3, align 8, !tbaa !5
  %45 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 3
  %46 = load i8, ptr %45, align 2, !tbaa !21, !range !22, !noundef !23
  %47 = trunc i8 %46 to i1
  br i1 %47, label %48, label %49

48:                                               ; preds = %1
  store i32 1, ptr %4, align 4
  br label %499

49:                                               ; preds = %1
  %50 = load ptr, ptr %3, align 8, !tbaa !5
  %51 = icmp eq ptr %50, null
  br i1 %51, label %52, label %54

52:                                               ; preds = %49
  %53 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 3
  store i8 1, ptr %53, align 2, !tbaa !21
  store i32 1, ptr %4, align 4
  br label %499

54:                                               ; preds = %49
  call void @llvm.lifetime.start.p0(i64 40, ptr %5) #10
  %55 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 0
  %56 = load ptr, ptr %55, align 8, !tbaa !9
  call void @_ZN12_GLOBAL__N_134validate_no_private_virtual_methodEPK12DexMethodRef(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %5, ptr noundef %56)
  call void @llvm.lifetime.start.p0(i64 40, ptr %6) #10
  invoke void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %6)
          to label %57 unwind label %68

57:                                               ; preds = %54
  %58 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %5, ptr noundef nonnull align 8 dereferenceable(40) %6)
          to label %59 unwind label %72

59:                                               ; preds = %57
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %6) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %6) #10
  br i1 %58, label %60, label %81

60:                                               ; preds = %59
  %61 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 3
  store i8 1, ptr %61, align 2, !tbaa !21
  %62 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 7
  store i8 0, ptr %62, align 2, !tbaa !24
  %63 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %5)
          to label %64 unwind label %77

64:                                               ; preds = %60
  %65 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 8
  %66 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %65, ptr noundef nonnull align 8 dereferenceable(32) %63)
          to label %67 unwind label %77

67:                                               ; preds = %64
  store i32 1, ptr %4, align 4
  br label %82

68:                                               ; preds = %54
  %69 = landingpad { ptr, i32 }
          cleanup
  %70 = extractvalue { ptr, i32 } %69, 0
  store ptr %70, ptr %7, align 8
  %71 = extractvalue { ptr, i32 } %69, 1
  store i32 %71, ptr %8, align 4
  br label %76

72:                                               ; preds = %57
  %73 = landingpad { ptr, i32 }
          cleanup
  %74 = extractvalue { ptr, i32 } %73, 0
  store ptr %74, ptr %7, align 8
  %75 = extractvalue { ptr, i32 } %73, 1
  store i32 %75, ptr %8, align 4
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %6) #10
  br label %76

76:                                               ; preds = %72, %68
  call void @llvm.lifetime.end.p0(i64 40, ptr %6) #10
  br label %108

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

81:                                               ; preds = %59
  store i32 0, ptr %4, align 4
  br label %82

82:                                               ; preds = %81, %67
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %5) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %5) #10
  %83 = load i32, ptr %4, align 4
  switch i32 %83, label %499 [
    i32 0, label %84
  ]

84:                                               ; preds = %82
  call void @llvm.lifetime.start.p0(i64 16, ptr %9) #10
  %85 = load ptr, ptr %3, align 8, !tbaa !5
  call void @_ZN3cfg9ScopedCFGC2EP6IRCode(ptr noundef nonnull align 8 dereferenceable(9) %9, ptr noundef %85)
  call void @llvm.lifetime.start.p0(i64 40, ptr %10) #10
  %86 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 0
  %87 = load ptr, ptr %86, align 8, !tbaa !9
  %88 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %9)
          to label %89 unwind label %109

89:                                               ; preds = %84
  %90 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 5
  %91 = load i8, ptr %90, align 4, !tbaa !25, !range !22, !noundef !23
  %92 = trunc i8 %91 to i1
  %93 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 6
  %94 = load i8, ptr %93, align 1, !tbaa !26, !range !22, !noundef !23
  %95 = trunc i8 %94 to i1
  invoke void @_ZN12_GLOBAL__N_115check_structureEPK9DexMethodRN3cfg16ControlFlowGraphEbb(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %10, ptr noundef %87, ptr noundef nonnull align 8 dereferenceable(160) %88, i1 noundef zeroext %92, i1 noundef zeroext %95)
          to label %96 unwind label %109

96:                                               ; preds = %89
  call void @llvm.lifetime.start.p0(i64 40, ptr %11) #10
  invoke void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %11)
          to label %97 unwind label %113

97:                                               ; preds = %96
  %98 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %10, ptr noundef nonnull align 8 dereferenceable(40) %11)
          to label %99 unwind label %117

99:                                               ; preds = %97
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %11) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %11) #10
  br i1 %98, label %100, label %126

100:                                              ; preds = %99
  %101 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 3
  store i8 1, ptr %101, align 2, !tbaa !21
  %102 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 7
  store i8 0, ptr %102, align 2, !tbaa !24
  %103 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %10)
          to label %104 unwind label %122

104:                                              ; preds = %100
  %105 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 8
  %106 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %105, ptr noundef nonnull align 8 dereferenceable(32) %103)
          to label %107 unwind label %122

107:                                              ; preds = %104
  store i32 1, ptr %4, align 4
  br label %498

108:                                              ; preds = %77, %76
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %5) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %5) #10
  br label %511

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

113:                                              ; preds = %96
  %114 = landingpad { ptr, i32 }
          cleanup
  %115 = extractvalue { ptr, i32 } %114, 0
  store ptr %115, ptr %7, align 8
  %116 = extractvalue { ptr, i32 } %114, 1
  store i32 %116, ptr %8, align 4
  br label %121

117:                                              ; preds = %97
  %118 = landingpad { ptr, i32 }
          cleanup
  %119 = extractvalue { ptr, i32 } %118, 0
  store ptr %119, ptr %7, align 8
  %120 = extractvalue { ptr, i32 } %118, 1
  store i32 %120, ptr %8, align 4
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %11) #10
  br label %121

121:                                              ; preds = %117, %113
  call void @llvm.lifetime.end.p0(i64 40, ptr %11) #10
  br label %509

122:                                              ; preds = %104, %100
  %123 = landingpad { ptr, i32 }
          cleanup
  %124 = extractvalue { ptr, i32 } %123, 0
  store ptr %124, ptr %7, align 8
  %125 = extractvalue { ptr, i32 } %123, 1
  store i32 %125, ptr %8, align 4
  br label %509

126:                                              ; preds = %99
  call void @llvm.lifetime.start.p0(i64 40, ptr %12) #10
  %127 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 0
  %128 = load ptr, ptr %127, align 8, !tbaa !9
  invoke void @_ZN12_GLOBAL__N_117check_load_paramsEPK9DexMethod(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %12, ptr noundef %128)
          to label %129 unwind label %141

129:                                              ; preds = %126
  call void @llvm.lifetime.start.p0(i64 40, ptr %13) #10
  invoke void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %13)
          to label %130 unwind label %145

130:                                              ; preds = %129
  %131 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %12, ptr noundef nonnull align 8 dereferenceable(40) %13)
          to label %132 unwind label %149

132:                                              ; preds = %130
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %13) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %13) #10
  br i1 %131, label %133, label %158

133:                                              ; preds = %132
  %134 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 3
  store i8 1, ptr %134, align 2, !tbaa !21
  %135 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 7
  store i8 0, ptr %135, align 2, !tbaa !24
  %136 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %12)
          to label %137 unwind label %154

137:                                              ; preds = %133
  %138 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 8
  %139 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %138, ptr noundef nonnull align 8 dereferenceable(32) %136)
          to label %140 unwind label %154

140:                                              ; preds = %137
  store i32 1, ptr %4, align 4
  br label %497

141:                                              ; preds = %126
  %142 = landingpad { ptr, i32 }
          cleanup
  %143 = extractvalue { ptr, i32 } %142, 0
  store ptr %143, ptr %7, align 8
  %144 = extractvalue { ptr, i32 } %142, 1
  store i32 %144, ptr %8, align 4
  br label %508

145:                                              ; preds = %129
  %146 = landingpad { ptr, i32 }
          cleanup
  %147 = extractvalue { ptr, i32 } %146, 0
  store ptr %147, ptr %7, align 8
  %148 = extractvalue { ptr, i32 } %146, 1
  store i32 %148, ptr %8, align 4
  br label %153

149:                                              ; preds = %130
  %150 = landingpad { ptr, i32 }
          cleanup
  %151 = extractvalue { ptr, i32 } %150, 0
  store ptr %151, ptr %7, align 8
  %152 = extractvalue { ptr, i32 } %150, 1
  store i32 %152, ptr %8, align 4
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %13) #10
  br label %153

153:                                              ; preds = %149, %145
  call void @llvm.lifetime.end.p0(i64 40, ptr %13) #10
  br label %507

154:                                              ; preds = %161, %137, %133
  %155 = landingpad { ptr, i32 }
          cleanup
  %156 = extractvalue { ptr, i32 } %155, 0
  store ptr %156, ptr %7, align 8
  %157 = extractvalue { ptr, i32 } %155, 1
  store i32 %157, ptr %8, align 4
  br label %507

158:                                              ; preds = %132
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #10
  %159 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %9)
          to label %160 unwind label %186

160:                                              ; preds = %158
  invoke void @_ZSt11make_uniqueIN14type_inference13TypeInferenceEJRN3cfg16ControlFlowGraphEEENSt8__detail9_MakeUniqIT_E15__single_objectEDpOT0_(ptr dead_on_unwind writable sret(%"class.std::unique_ptr") align 8 %14, ptr noundef nonnull align 8 dereferenceable(160) %159)
          to label %161 unwind label %186

161:                                              ; preds = %160
  %162 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 9
  %163 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(8) %162, ptr noundef nonnull align 8 dereferenceable(8) %14) #10
  call void @_ZNSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #10
  %164 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 9
  %165 = call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %164) #10
  %166 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 0
  %167 = load ptr, ptr %166, align 8, !tbaa !9
  invoke void @_ZN14type_inference13TypeInference3runEPK9DexMethod(ptr noundef nonnull align 8 dereferenceable(432) %165, ptr noundef %167)
          to label %168 unwind label %154

168:                                              ; preds = %161
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #10
  %169 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 9
  %170 = call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %169) #10
  %171 = invoke noundef nonnull align 8 dereferenceable(56) ptr @_ZN14type_inference13TypeInference21get_type_environmentsEv(ptr noundef nonnull align 8 dereferenceable(432) %170)
          to label %172 unwind label %190

172:                                              ; preds = %168
  store ptr %171, ptr %15, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #10
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #10
  %173 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %9)
          to label %174 unwind label %194

174:                                              ; preds = %172
  %175 = invoke ptr @_Z19InstructionIterableRN3cfg16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(160) %173)
          to label %176 unwind label %194

176:                                              ; preds = %174
  %177 = getelementptr inbounds %"class.cfg::InstructionIterableImpl", ptr %17, i32 0, i32 0
  store ptr %175, ptr %177, align 8
  store ptr %17, ptr %16, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %18) #10
  %178 = load ptr, ptr %16, align 8, !tbaa !5
  invoke void @_ZN3cfg23InstructionIterableImplILb0EE5beginEv(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %18, ptr noundef nonnull align 8 dereferenceable(8) %178)
          to label %179 unwind label %198

179:                                              ; preds = %176
  call void @llvm.lifetime.start.p0(i64 32, ptr %19) #10
  %180 = load ptr, ptr %16, align 8, !tbaa !5
  invoke void @_ZN3cfg23InstructionIterableImplILb0EE3endEv(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %19, ptr noundef nonnull align 8 dereferenceable(8) %180)
          to label %181 unwind label %202

181:                                              ; preds = %179
  br label %182

182:                                              ; preds = %383, %181
  %183 = invoke noundef zeroext i1 @_ZNK3cfg23InstructionIteratorImplILb0EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(32) %18, ptr noundef nonnull align 8 dereferenceable(32) %19)
          to label %184 unwind label %202

184:                                              ; preds = %182
  br i1 %183, label %206, label %185

185:                                              ; preds = %184
  store i32 2, ptr %4, align 4
  br label %386

186:                                              ; preds = %160, %158
  %187 = landingpad { ptr, i32 }
          cleanup
  %188 = extractvalue { ptr, i32 } %187, 0
  store ptr %188, ptr %7, align 8
  %189 = extractvalue { ptr, i32 } %187, 1
  store i32 %189, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #10
  br label %507

190:                                              ; preds = %168
  %191 = landingpad { ptr, i32 }
          cleanup
  %192 = extractvalue { ptr, i32 } %191, 0
  store ptr %192, ptr %7, align 8
  %193 = extractvalue { ptr, i32 } %191, 1
  store i32 %193, ptr %8, align 4
  br label %506

194:                                              ; preds = %174, %172
  %195 = landingpad { ptr, i32 }
          cleanup
  %196 = extractvalue { ptr, i32 } %195, 0
  store ptr %196, ptr %7, align 8
  %197 = extractvalue { ptr, i32 } %195, 1
  store i32 %197, ptr %8, align 4
  br label %390

198:                                              ; preds = %176
  %199 = landingpad { ptr, i32 }
          cleanup
  %200 = extractvalue { ptr, i32 } %199, 0
  store ptr %200, ptr %7, align 8
  %201 = extractvalue { ptr, i32 } %199, 1
  store i32 %201, ptr %8, align 4
  br label %389

202:                                              ; preds = %381, %182, %179
  %203 = landingpad { ptr, i32 }
          cleanup
  %204 = extractvalue { ptr, i32 } %203, 0
  store ptr %204, ptr %7, align 8
  %205 = extractvalue { ptr, i32 } %203, 1
  store i32 %205, ptr %8, align 4
  br label %388

206:                                              ; preds = %184
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #10
  %207 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3cfg23InstructionIteratorImplILb0EEdeEv(ptr noundef nonnull align 8 dereferenceable(32) %18)
          to label %208 unwind label %236

208:                                              ; preds = %206
  store ptr %207, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #10
  %209 = load ptr, ptr %20, align 8, !tbaa !5
  %210 = getelementptr inbounds %struct.MethodItemEntry, ptr %209, i32 0, i32 2
  %211 = load ptr, ptr %210, align 8, !tbaa !27
  store ptr %211, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #10
  %212 = load ptr, ptr %15, align 8, !tbaa !5
  %213 = invoke ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE4findERKS2_(ptr noundef nonnull align 8 dereferenceable(56) %212, ptr noundef nonnull align 8 dereferenceable(8) %21)
          to label %214 unwind label %240

214:                                              ; preds = %208
  %215 = getelementptr inbounds %"class.UnorderedMap<const IRInstruction *, type_inference::TypeEnvironment>::FixedIterator", ptr %22, i32 0, i32 0
  %216 = getelementptr inbounds %"struct.std::__detail::_Node_iterator", ptr %215, i32 0, i32 0
  %217 = getelementptr inbounds %"struct.std::__detail::_Node_iterator_base", ptr %216, i32 0, i32 0
  store ptr %213, ptr %217, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #10
  %218 = load ptr, ptr %15, align 8, !tbaa !5
  store i1 false, ptr %25, align 1
  store i1 false, ptr %26, align 1
  store i1 false, ptr %28, align 1
  store i1 false, ptr %29, align 1
  %219 = invoke ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(56) %218)
          to label %220 unwind label %244

220:                                              ; preds = %214
  %221 = getelementptr inbounds %"class.UnorderedMap<const IRInstruction *, type_inference::TypeEnvironment>::FixedIterator", ptr %23, i32 0, i32 0
  %222 = getelementptr inbounds %"struct.std::__detail::_Node_iterator", ptr %221, i32 0, i32 0
  %223 = getelementptr inbounds %"struct.std::__detail::_Node_iterator_base", ptr %222, i32 0, i32 0
  store ptr %219, ptr %223, align 8
  %224 = invoke noundef zeroext i1 @_ZNK12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE13FixedIteratorneERKSA_(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 8 dereferenceable(8) %23)
          to label %225 unwind label %244

225:                                              ; preds = %220
  br i1 %224, label %226, label %227

226:                                              ; preds = %225
  br label %262

227:                                              ; preds = %225
  call void @llvm.lifetime.start.p0(i64 32, ptr %24) #10
  store i1 true, ptr %25, align 1
  %228 = load ptr, ptr %20, align 8, !tbaa !5
  invoke void @_Z4showIRK15MethodItemEntryRSovENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEOT_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %24, ptr noundef nonnull align 8 dereferenceable(32) %228)
          to label %229 unwind label %248

229:                                              ; preds = %227
  store i1 true, ptr %26, align 1
  %230 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %24) #10
  call void @llvm.lifetime.start.p0(i64 32, ptr %27) #10
  store i1 true, ptr %28, align 1
  %231 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %9)
          to label %232 unwind label %252

232:                                              ; preds = %229
  invoke void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %27, ptr noundef nonnull align 8 dereferenceable(160) %231, i1 noundef zeroext false)
          to label %233 unwind label %252

233:                                              ; preds = %232
  store i1 true, ptr %29, align 1
  %234 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %27) #10
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.9, ptr noundef @.str.10, i32 noundef 1066, ptr noundef @__PRETTY_FUNCTION__._ZN13IRTypeChecker3runEv, i32 noundef 2, ptr noundef @.str.11, ptr noundef %230, ptr noundef %234) #11
          to label %235 unwind label %256

235:                                              ; preds = %233
  unreachable

236:                                              ; preds = %206
  %237 = landingpad { ptr, i32 }
          cleanup
  %238 = extractvalue { ptr, i32 } %237, 0
  store ptr %238, ptr %7, align 8
  %239 = extractvalue { ptr, i32 } %237, 1
  store i32 %239, ptr %8, align 4
  br label %385

240:                                              ; preds = %277, %274, %208
  %241 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  %242 = extractvalue { ptr, i32 } %241, 0
  store ptr %242, ptr %7, align 8
  %243 = extractvalue { ptr, i32 } %241, 1
  store i32 %243, ptr %8, align 4
  br label %294

244:                                              ; preds = %220, %214
  %245 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  %246 = extractvalue { ptr, i32 } %245, 0
  store ptr %246, ptr %7, align 8
  %247 = extractvalue { ptr, i32 } %245, 1
  store i32 %247, ptr %8, align 4
  br label %293

248:                                              ; preds = %227
  %249 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  %250 = extractvalue { ptr, i32 } %249, 0
  store ptr %250, ptr %7, align 8
  %251 = extractvalue { ptr, i32 } %249, 1
  store i32 %251, ptr %8, align 4
  br label %289

252:                                              ; preds = %232, %229
  %253 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  %254 = extractvalue { ptr, i32 } %253, 0
  store ptr %254, ptr %7, align 8
  %255 = extractvalue { ptr, i32 } %253, 1
  store i32 %255, ptr %8, align 4
  br label %282

256:                                              ; preds = %233
  %257 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  %258 = extractvalue { ptr, i32 } %257, 0
  store ptr %258, ptr %7, align 8
  %259 = extractvalue { ptr, i32 } %257, 1
  store i32 %259, ptr %8, align 4
  %260 = load i1, ptr %29, align 1
  br i1 %260, label %280, label %281

261:                                              ; No predecessors!
  br label %262

262:                                              ; preds = %261, %226
  %263 = load i1, ptr %29, align 1
  br i1 %263, label %264, label %265

264:                                              ; preds = %262
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #10
  br label %265

265:                                              ; preds = %264, %262
  %266 = load i1, ptr %28, align 1
  br i1 %266, label %267, label %268

267:                                              ; preds = %265
  call void @llvm.lifetime.end.p0(i64 32, ptr %27) #10
  br label %268

268:                                              ; preds = %267, %265
  %269 = load i1, ptr %26, align 1
  br i1 %269, label %270, label %271

270:                                              ; preds = %268
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #10
  br label %271

271:                                              ; preds = %270, %268
  %272 = load i1, ptr %25, align 1
  br i1 %272, label %273, label %274

273:                                              ; preds = %271
  call void @llvm.lifetime.end.p0(i64 32, ptr %24) #10
  br label %274

274:                                              ; preds = %273, %271
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #10
  %275 = load ptr, ptr %21, align 8, !tbaa !5
  %276 = invoke noundef ptr @_ZNK12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE13FixedIteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %22)
          to label %277 unwind label %240

277:                                              ; preds = %274
  %278 = getelementptr inbounds %"struct.std::pair", ptr %276, i32 0, i32 1
  invoke void @_ZNK13IRTypeChecker17check_instructionEP13IRInstructionPN14type_inference15TypeEnvironmentE(ptr noundef nonnull align 8 dereferenceable(56) %41, ptr noundef %275, ptr noundef %278)
          to label %279 unwind label %240

279:                                              ; preds = %277
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #10
  br label %374

280:                                              ; preds = %256
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #10
  br label %281

281:                                              ; preds = %280, %256
  br label %282

282:                                              ; preds = %281, %252
  %283 = load i1, ptr %28, align 1
  br i1 %283, label %284, label %285

284:                                              ; preds = %282
  call void @llvm.lifetime.end.p0(i64 32, ptr %27) #10
  br label %285

285:                                              ; preds = %284, %282
  %286 = load i1, ptr %26, align 1
  br i1 %286, label %287, label %288

287:                                              ; preds = %285
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #10
  br label %288

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

289:                                              ; preds = %288, %248
  %290 = load i1, ptr %25, align 1
  br i1 %290, label %291, label %292

291:                                              ; preds = %289
  call void @llvm.lifetime.end.p0(i64 32, ptr %24) #10
  br label %292

292:                                              ; preds = %291, %289
  br label %293

293:                                              ; preds = %292, %244
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #10
  br label %294

294:                                              ; preds = %293, %240
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #10
  br label %295

295:                                              ; preds = %294
  %296 = load i32, ptr %8, align 4
  %297 = call i32 @llvm.eh.typeid.for.p0(ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE) #10
  %298 = icmp eq i32 %296, %297
  br i1 %298, label %299, label %384

299:                                              ; preds = %295
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #10
  %300 = load ptr, ptr %7, align 8
  %301 = call ptr @__cxa_begin_catch(ptr %300) #10
  store ptr %301, ptr %30, align 8
  %302 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 7
  store i8 0, ptr %302, align 2, !tbaa !24
  call void @llvm.lifetime.start.p0(i64 376, ptr %31) #10
  invoke void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEC1Ev(ptr noundef nonnull align 8 dereferenceable(112) %31)
          to label %303 unwind label %344

303:                                              ; preds = %299
  %304 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef @.str.12)
          to label %305 unwind label %348

305:                                              ; preds = %303
  %306 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 0
  %307 = load ptr, ptr %306, align 8, !tbaa !9
  %308 = invoke { i64, ptr } @_ZNK9DexMethod30get_deobfuscated_name_or_emptyEv(ptr noundef nonnull align 8 dereferenceable(88) %307)
          to label %309 unwind label %348

309:                                              ; preds = %305
  %310 = getelementptr inbounds { i64, ptr }, ptr %32, i32 0, i32 0
  %311 = extractvalue { i64, ptr } %308, 0
  store i64 %311, ptr %310, align 8
  %312 = getelementptr inbounds { i64, ptr }, ptr %32, i32 0, i32 1
  %313 = extractvalue { i64, ptr } %308, 1
  store ptr %313, ptr %312, align 8
  %314 = getelementptr inbounds { i64, ptr }, ptr %32, i32 0, i32 0
  %315 = load i64, ptr %314, align 8
  %316 = getelementptr inbounds { i64, ptr }, ptr %32, i32 0, i32 1
  %317 = load ptr, ptr %316, align 8
  %318 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_St17basic_string_viewIS3_S4_E(ptr noundef nonnull align 8 dereferenceable(8) %304, i64 %315, ptr %317)
          to label %319 unwind label %348

319:                                              ; preds = %309
  %320 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %318, ptr noundef @.str.13)
          to label %321 unwind label %348

321:                                              ; preds = %319
  call void @llvm.lifetime.start.p0(i64 32, ptr %33) #10
  %322 = load ptr, ptr %21, align 8, !tbaa !5
  invoke void @_Z4showI13IRInstructionRSoENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPT_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %33, ptr noundef %322)
          to label %323 unwind label %352

323:                                              ; preds = %321
  %324 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %33) #10
  %325 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %320, ptr noundef %324)
          to label %326 unwind label %356

326:                                              ; preds = %323
  %327 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %325, ptr noundef @.str.14)
          to label %328 unwind label %356

328:                                              ; preds = %326
  %329 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %327, ptr noundef @_ZSt3hexRSt8ios_base)
          to label %330 unwind label %356

330:                                              ; preds = %328
  %331 = load ptr, ptr %20, align 8, !tbaa !5
  %332 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPKv(ptr noundef nonnull align 8 dereferenceable(8) %329, ptr noundef %331)
          to label %333 unwind label %356

333:                                              ; preds = %330
  %334 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %332, ptr noundef @.str.15)
          to label %335 unwind label %356

335:                                              ; preds = %333
  %336 = load ptr, ptr %30, align 8, !tbaa !5
  %337 = call noundef ptr @_ZNKSt13runtime_error4whatEv(ptr noundef nonnull align 8 dereferenceable(16) %336) #10
  %338 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %334, ptr noundef %337)
          to label %339 unwind label %356

339:                                              ; preds = %335
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #10
  call void @llvm.lifetime.start.p0(i64 32, ptr %34) #10
  invoke void @_ZNKSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEE3strEv(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %34, ptr noundef nonnull align 8 dereferenceable(112) %31)
          to label %340 unwind label %361

340:                                              ; preds = %339
  %341 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 8
  %342 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(32) %341, ptr noundef nonnull align 8 dereferenceable(32) %34) #10
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %34) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #10
  %343 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 3
  store i8 1, ptr %343, align 2, !tbaa !21
  store i32 1, ptr %4, align 4
  call void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(112) %31) #10
  call void @llvm.lifetime.end.p0(i64 376, ptr %31) #10
  invoke void @__cxa_end_catch()
          to label %367 unwind label %368

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

348:                                              ; preds = %319, %309, %305, %303
  %349 = landingpad { ptr, i32 }
          cleanup
  %350 = extractvalue { ptr, i32 } %349, 0
  store ptr %350, ptr %7, align 8
  %351 = extractvalue { ptr, i32 } %349, 1
  store i32 %351, ptr %8, align 4
  br label %365

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

356:                                              ; preds = %335, %333, %330, %328, %326, %323
  %357 = landingpad { ptr, i32 }
          cleanup
  %358 = extractvalue { ptr, i32 } %357, 0
  store ptr %358, ptr %7, align 8
  %359 = extractvalue { ptr, i32 } %357, 1
  store i32 %359, ptr %8, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #10
  br label %360

360:                                              ; preds = %356, %352
  call void @llvm.lifetime.end.p0(i64 32, ptr %33) #10
  br label %365

361:                                              ; preds = %339
  %362 = landingpad { ptr, i32 }
          cleanup
  %363 = extractvalue { ptr, i32 } %362, 0
  store ptr %363, ptr %7, align 8
  %364 = extractvalue { ptr, i32 } %362, 1
  store i32 %364, ptr %8, align 4
  call void @llvm.lifetime.end.p0(i64 32, ptr %34) #10
  br label %365

365:                                              ; preds = %361, %360, %348
  call void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(112) %31) #10
  br label %366

366:                                              ; preds = %365, %344
  call void @llvm.lifetime.end.p0(i64 376, ptr %31) #10
  invoke void @__cxa_end_catch()
          to label %372 unwind label %517

367:                                              ; preds = %340
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #10
  br label %375

368:                                              ; preds = %340
  %369 = landingpad { ptr, i32 }
          cleanup
  %370 = extractvalue { ptr, i32 } %369, 0
  store ptr %370, ptr %7, align 8
  %371 = extractvalue { ptr, i32 } %369, 1
  store i32 %371, ptr %8, align 4
  br label %373

372:                                              ; preds = %366
  br label %373

373:                                              ; preds = %372, %368
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #10
  br label %384

374:                                              ; preds = %279
  store i32 0, ptr %4, align 4
  br label %375

375:                                              ; preds = %374, %367
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #10
  %376 = load i32, ptr %4, align 4
  switch i32 %376, label %378 [
    i32 0, label %377
  ]

377:                                              ; preds = %375
  store i32 0, ptr %4, align 4
  br label %378

378:                                              ; preds = %377, %375
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #10
  %379 = load i32, ptr %4, align 4
  switch i32 %379, label %386 [
    i32 0, label %380
  ]

380:                                              ; preds = %378
  br label %381

381:                                              ; preds = %380
  %382 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZN3cfg23InstructionIteratorImplILb0EEppEv(ptr noundef nonnull align 8 dereferenceable(32) %18)
          to label %383 unwind label %202

383:                                              ; preds = %381
  br label %182

384:                                              ; preds = %373, %295
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #10
  br label %385

385:                                              ; preds = %384, %236
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #10
  br label %388

386:                                              ; preds = %378, %185
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #10
  %387 = load i32, ptr %4, align 4
  switch i32 %387, label %496 [
    i32 2, label %391
  ]

388:                                              ; preds = %385, %202
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #10
  br label %389

389:                                              ; preds = %388, %198
  call void @llvm.lifetime.end.p0(i64 32, ptr %18) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #10
  br label %390

390:                                              ; preds = %389, %194
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #10
  br label %506

391:                                              ; preds = %386
  call void @llvm.lifetime.start.p0(i64 40, ptr %35) #10
  %392 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %9)
          to label %393 unwind label %406

393:                                              ; preds = %391
  invoke void @_ZN12_GLOBAL__N_119check_positions_cfgERN3cfg16ControlFlowGraphE(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %35, ptr noundef nonnull align 8 dereferenceable(160) %392)
          to label %394 unwind label %406

394:                                              ; preds = %393
  call void @llvm.lifetime.start.p0(i64 40, ptr %36) #10
  invoke void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %36)
          to label %395 unwind label %410

395:                                              ; preds = %394
  %396 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %35, ptr noundef nonnull align 8 dereferenceable(40) %36)
          to label %397 unwind label %414

397:                                              ; preds = %395
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %36) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %36) #10
  br i1 %396, label %398, label %423

398:                                              ; preds = %397
  %399 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 3
  store i8 1, ptr %399, align 2, !tbaa !21
  %400 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 7
  store i8 0, ptr %400, align 2, !tbaa !24
  %401 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %35)
          to label %402 unwind label %419

402:                                              ; preds = %398
  %403 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 8
  %404 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %403, ptr noundef nonnull align 8 dereferenceable(32) %401)
          to label %405 unwind label %419

405:                                              ; preds = %402
  store i32 1, ptr %4, align 4
  br label %495

406:                                              ; preds = %393, %391
  %407 = landingpad { ptr, i32 }
          cleanup
  %408 = extractvalue { ptr, i32 } %407, 0
  store ptr %408, ptr %7, align 8
  %409 = extractvalue { ptr, i32 } %407, 1
  store i32 %409, ptr %8, align 4
  br label %505

410:                                              ; preds = %394
  %411 = landingpad { ptr, i32 }
          cleanup
  %412 = extractvalue { ptr, i32 } %411, 0
  store ptr %412, ptr %7, align 8
  %413 = extractvalue { ptr, i32 } %411, 1
  store i32 %413, ptr %8, align 4
  br label %418

414:                                              ; preds = %395
  %415 = landingpad { ptr, i32 }
          cleanup
  %416 = extractvalue { ptr, i32 } %415, 0
  store ptr %416, ptr %7, align 8
  %417 = extractvalue { ptr, i32 } %415, 1
  store i32 %417, ptr %8, align 4
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %36) #10
  br label %418

418:                                              ; preds = %414, %410
  call void @llvm.lifetime.end.p0(i64 40, ptr %36) #10
  br label %504

419:                                              ; preds = %402, %398
  %420 = landingpad { ptr, i32 }
          cleanup
  %421 = extractvalue { ptr, i32 } %420, 0
  store ptr %421, ptr %7, align 8
  %422 = extractvalue { ptr, i32 } %420, 1
  store i32 %422, ptr %8, align 4
  br label %504

423:                                              ; preds = %397
  call void @llvm.lifetime.start.p0(i64 40, ptr %37) #10
  %424 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 0
  %425 = load ptr, ptr %424, align 8, !tbaa !9
  invoke void @_ZN12_GLOBAL__N_114check_monitorsEPK9DexMethod(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %37, ptr noundef %425)
          to label %426 unwind label %438

426:                                              ; preds = %423
  call void @llvm.lifetime.start.p0(i64 40, ptr %38) #10
  invoke void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind writable sret(%"class.(anonymous namespace)::Result") align 8 %38)
          to label %427 unwind label %442

427:                                              ; preds = %426
  %428 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %37, ptr noundef nonnull align 8 dereferenceable(40) %38)
          to label %429 unwind label %446

429:                                              ; preds = %427
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %38) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %38) #10
  br i1 %428, label %430, label %455

430:                                              ; preds = %429
  %431 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 3
  store i8 1, ptr %431, align 2, !tbaa !21
  %432 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 7
  store i8 0, ptr %432, align 2, !tbaa !24
  %433 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %37)
          to label %434 unwind label %451

434:                                              ; preds = %430
  %435 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 8
  %436 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %435, ptr noundef nonnull align 8 dereferenceable(32) %433)
          to label %437 unwind label %451

437:                                              ; preds = %434
  store i32 1, ptr %4, align 4
  br label %494

438:                                              ; preds = %423
  %439 = landingpad { ptr, i32 }
          cleanup
  %440 = extractvalue { ptr, i32 } %439, 0
  store ptr %440, ptr %7, align 8
  %441 = extractvalue { ptr, i32 } %439, 1
  store i32 %441, ptr %8, align 4
  br label %503

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

446:                                              ; preds = %427
  %447 = landingpad { ptr, i32 }
          cleanup
  %448 = extractvalue { ptr, i32 } %447, 0
  store ptr %448, ptr %7, align 8
  %449 = extractvalue { ptr, i32 } %447, 1
  store i32 %449, ptr %8, align 4
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %38) #10
  br label %450

450:                                              ; preds = %446, %442
  call void @llvm.lifetime.end.p0(i64 40, ptr %38) #10
  br label %502

451:                                              ; preds = %455, %434, %430
  %452 = landingpad { ptr, i32 }
          cleanup
  %453 = extractvalue { ptr, i32 } %452, 0
  store ptr %453, ptr %7, align 8
  %454 = extractvalue { ptr, i32 } %452, 1
  store i32 %454, ptr %8, align 4
  br label %502

455:                                              ; preds = %429
  %456 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 3
  store i8 1, ptr %456, align 2, !tbaa !21
  %457 = invoke noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 147, i32 noundef 9)
          to label %458 unwind label %451

458:                                              ; preds = %455
  br i1 %457, label %459, label %493

459:                                              ; preds = %458
  call void @llvm.lifetime.start.p0(i64 376, ptr %39) #10
  invoke void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEC1Ev(ptr noundef nonnull align 8 dereferenceable(112) %39)
          to label %460 unwind label %471

460:                                              ; preds = %459
  %461 = getelementptr inbounds %class.IRTypeChecker, ptr %41, i32 0, i32 9
  %462 = call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %461) #10
  invoke void @_ZNK14type_inference13TypeInference5printERSo(ptr noundef nonnull align 8 dereferenceable(432) %462, ptr noundef nonnull align 8 dereferenceable(8) %39)
          to label %463 unwind label %475

463:                                              ; preds = %460
  br label %464

464:                                              ; preds = %463
  %465 = invoke noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 147, i32 noundef 9)
          to label %466 unwind label %475

466:                                              ; preds = %464
  br i1 %465, label %467, label %488

467:                                              ; preds = %466
  call void @llvm.lifetime.start.p0(i64 32, ptr %40) #10
  invoke void @_ZNKSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEE3strEv(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %40, ptr noundef nonnull align 8 dereferenceable(112) %39)
          to label %468 unwind label %479

468:                                              ; preds = %467
  %469 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %40) #10
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 147, i32 noundef 9, i1 noundef zeroext false, ptr noundef @.str.16, ptr noundef %469)
          to label %470 unwind label %483

470:                                              ; preds = %468
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %40) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr %40) #10
  br label %488

471:                                              ; preds = %459
  %472 = landingpad { ptr, i32 }
          cleanup
  %473 = extractvalue { ptr, i32 } %472, 0
  store ptr %473, ptr %7, align 8
  %474 = extractvalue { ptr, i32 } %472, 1
  store i32 %474, ptr %8, align 4
  br label %492

475:                                              ; preds = %464, %460
  %476 = landingpad { ptr, i32 }
          cleanup
  %477 = extractvalue { ptr, i32 } %476, 0
  store ptr %477, ptr %7, align 8
  %478 = extractvalue { ptr, i32 } %476, 1
  store i32 %478, ptr %8, align 4
  br label %491

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

483:                                              ; preds = %468
  %484 = landingpad { ptr, i32 }
          cleanup
  %485 = extractvalue { ptr, i32 } %484, 0
  store ptr %485, ptr %7, align 8
  %486 = extractvalue { ptr, i32 } %484, 1
  store i32 %486, ptr %8, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %40) #10
  br label %487

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

488:                                              ; preds = %470, %466
  br label %489

489:                                              ; preds = %488
  br label %490

490:                                              ; preds = %489
  call void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(112) %39) #10
  call void @llvm.lifetime.end.p0(i64 376, ptr %39) #10
  br label %493

491:                                              ; preds = %487, %475
  call void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(112) %39) #10
  br label %492

492:                                              ; preds = %491, %471
  call void @llvm.lifetime.end.p0(i64 376, ptr %39) #10
  br label %502

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

494:                                              ; preds = %493, %437
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %37) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %37) #10
  br label %495

495:                                              ; preds = %494, %405
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %35) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %35) #10
  br label %496

496:                                              ; preds = %495, %386
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #10
  br label %497

497:                                              ; preds = %496, %140
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %12) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %12) #10
  br label %498

498:                                              ; preds = %497, %107
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %10) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr %10) #10
  call void @_ZN3cfg9ScopedCFGD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %9) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #10
  br label %499

499:                                              ; preds = %498, %82, %52, %48
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #10
  %500 = load i32, ptr %4, align 4
  switch i32 %500, label %520 [
    i32 0, label %501
    i32 1, label %501
  ]

501:                                              ; preds = %499, %499
  ret void

502:                                              ; preds = %492, %451, %450
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %37) #10
  br label %503

503:                                              ; preds = %502, %438
  call void @llvm.lifetime.end.p0(i64 40, ptr %37) #10
  br label %504

504:                                              ; preds = %503, %419, %418
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %35) #10
  br label %505

505:                                              ; preds = %504, %406
  call void @llvm.lifetime.end.p0(i64 40, ptr %35) #10
  br label %506

506:                                              ; preds = %505, %390, %190
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #10
  br label %507

507:                                              ; preds = %506, %186, %154, %153
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %12) #10
  br label %508

508:                                              ; preds = %507, %141
  call void @llvm.lifetime.end.p0(i64 40, ptr %12) #10
  br label %509

509:                                              ; preds = %508, %122, %121
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %10) #10
  br label %510

510:                                              ; preds = %509, %109
  call void @llvm.lifetime.end.p0(i64 40, ptr %10) #10
  call void @_ZN3cfg9ScopedCFGD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %9) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr %9) #10
  br label %511

511:                                              ; preds = %510, %108
  call void @llvm.lifetime.end.p0(i64 8, ptr %3) #10
  br label %512

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

517:                                              ; preds = %366
  %518 = landingpad { ptr, i32 }
          catch ptr null
  %519 = extractvalue { ptr, i32 } %518, 0
  call void @__clang_call_terminate(ptr %519) #12
  unreachable

520:                                              ; preds = %499
  unreachable
}

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_134validate_no_private_virtual_methodEPK12DexMethodRef(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef) #2

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef nonnull align 8 dereferenceable(40)) #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8) #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare hidden noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40)) #2 align 2

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_115check_structureEPK9DexMethodRN3cfg16ControlFlowGraphEbb(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef, ptr noundef nonnull align 8 dereferenceable(160), i1 noundef zeroext, i1 noundef zeroext) #2

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_117check_load_paramsEPK9DexMethod(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef) #2

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

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

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

declare void @_ZN14type_inference13TypeInference3runEPK9DexMethod(ptr noundef nonnull align 8 dereferenceable(432), ptr noundef) #5

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(56)) #2 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: mustprogress uwtable
declare dso_local void @_Z4showIRK15MethodItemEntryRSovENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEOT_(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(32)) #2

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

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

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

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

; Function Attrs: nounwind memory(none)
declare i32 @llvm.eh.typeid.for.p0(ptr) #7

declare ptr @__cxa_begin_catch(ptr)

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { i64, ptr } @_ZNK9DexMethod30get_deobfuscated_name_or_emptyEv(ptr noundef nonnull align 8 dereferenceable(88)) #2 align 2

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

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

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

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

; Function Attrs: nounwind
declare noundef ptr @_ZNKSt13runtime_error4whatEv(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #8

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

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

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

declare void @__cxa_end_catch()

; Function Attrs: noinline noreturn nounwind uwtable
declare hidden void @__clang_call_terminate(ptr noundef) #9

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_119check_positions_cfgERN3cfg16ControlFlowGraphE(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef nonnull align 8 dereferenceable(160)) #2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_114check_monitorsEPK9DexMethod(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef) #2

declare noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef, i32 noundef) #5

declare void @_ZNK14type_inference13TypeInference5printERSo(ptr noundef nonnull align 8 dereferenceable(432), ptr noundef nonnull align 8 dereferenceable(8)) #5

declare void @_Z5trace11TraceModuleibPKcz(i32 noundef, i32 noundef, i1 noundef zeroext, ptr noundef, ...) #5

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3cfg9ScopedCFGD2Ev(ptr noundef nonnull align 8 dereferenceable(9)) unnamed_addr #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 = { 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 #3 = { 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 #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { 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 memory(none) }
attributes #8 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { noinline noreturn nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #10 = { nounwind }
attributes #11 = { noreturn }
attributes #12 = { noreturn nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 0}
!10 = !{!"_ZTS13IRTypeChecker", !6, i64 0, !11, i64 8, !11, i64 9, !11, i64 10, !11, i64 11, !11, i64 12, !11, i64 13, !11, i64 14, !12, i64 16, !15, i64 48}
!11 = !{!"bool", !7, i64 0}
!12 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !13, i64 0, !14, i64 8, !7, i64 16}
!13 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !6, i64 0}
!14 = !{!"long", !7, i64 0}
!15 = !{!"_ZTSSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !16, i64 0}
!16 = !{!"_ZTSSt15__uniq_ptr_dataIN14type_inference13TypeInferenceESt14default_deleteIS1_ELb1ELb1EE", !17, i64 0}
!17 = !{!"_ZTSSt15__uniq_ptr_implIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !18, i64 0}
!18 = !{!"_ZTSSt5tupleIJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !19, i64 0}
!19 = !{!"_ZTSSt11_Tuple_implILm0EJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !20, i64 0}
!20 = !{!"_ZTSSt10_Head_baseILm0EPN14type_inference13TypeInferenceELb0EE", !6, i64 0}
!21 = !{!10, !11, i64 10}
!22 = !{i8 0, i8 2}
!23 = !{}
!24 = !{!10, !11, i64 14}
!25 = !{!10, !11, i64 12}
!26 = !{!10, !11, i64 13}
!27 = !{!7, !7, i64 0}


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

%"class.(anonymous namespace)::Result" = type { i8, %"class.std::__cxx11::basic_string" }
%"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.cfg::ScopedCFG" = type <{ ptr, i8, [7 x i8] }>
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.1" }
%"struct.std::_Head_base.1" = type { ptr }
%"class.cfg::InstructionIterableImpl" = type { ptr }
%"class.cfg::InstructionIteratorImpl" = type { ptr, %"struct.std::_Rb_tree_const_iterator", %"class.ir_list::InstructionIteratorImpl" }
%"struct.std::_Rb_tree_const_iterator" = type { ptr }
%"class.ir_list::InstructionIteratorImpl" = type { %"class.boost::intrusive::list_iterator", %"class.boost::intrusive::list_iterator" }
%"class.boost::intrusive::list_iterator" = type { %"struct.boost::intrusive::iiterator_members" }
%"struct.boost::intrusive::iiterator_members" = type { ptr }
%"class.UnorderedMap<const IRInstruction *, type_inference::TypeEnvironment>::FixedIterator" = type { %"struct.std::__detail::_Node_iterator" }
%"struct.std::__detail::_Node_iterator" = type { %"struct.std::__detail::_Node_iterator_base" }
%"struct.std::__detail::_Node_iterator_base" = type { ptr }
%"class.std::__cxx11::basic_ostringstream" = type { %"class.std::basic_ostream.base", %"class.std::__cxx11::basic_stringbuf", %"class.std::basic_ios" }
%"class.std::basic_ostream.base" = type { ptr }
%"class.std::__cxx11::basic_stringbuf" = type { %"class.std::basic_streambuf", i32, %"class.std::__cxx11::basic_string" }
%"class.std::basic_streambuf" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::locale" }
%"class.std::locale" = type { ptr }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }

@_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE = external hidden constant { ptr, ptr, ptr }, align 8
@.str.9 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [75 x i8], align 1
@__PRETTY_FUNCTION__._ZN13IRTypeChecker3runEv = external hidden unnamed_addr constant [26 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [10 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [22 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [5 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [3 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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN13IRTypeChecker3runEv(ptr noundef nonnull align 8 dereferenceable(56) %0) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %2 = alloca %"class.(anonymous namespace)::Result", align 8
  %3 = alloca %"class.(anonymous namespace)::Result", align 8
  %4 = alloca %"class.cfg::ScopedCFG", align 8
  %5 = alloca %"class.(anonymous namespace)::Result", align 8
  %6 = alloca %"class.(anonymous namespace)::Result", align 8
  %7 = alloca %"class.(anonymous namespace)::Result", align 8
  %8 = alloca %"class.(anonymous namespace)::Result", align 8
  %9 = alloca %"class.std::unique_ptr", align 8
  %10 = alloca %"class.cfg::InstructionIterableImpl", align 8
  %11 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %12 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %13 = alloca ptr, align 8
  %14 = alloca %"class.UnorderedMap<const IRInstruction *, type_inference::TypeEnvironment>::FixedIterator", align 8
  %15 = alloca %"class.UnorderedMap<const IRInstruction *, type_inference::TypeEnvironment>::FixedIterator", 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_ostringstream", align 8
  %19 = alloca %"class.std::__cxx11::basic_string", align 8
  %20 = alloca %"class.std::__cxx11::basic_string", align 8
  %21 = alloca %"class.(anonymous namespace)::Result", align 8
  %22 = alloca %"class.(anonymous namespace)::Result", align 8
  %23 = alloca %"class.(anonymous namespace)::Result", align 8
  %24 = alloca %"class.(anonymous namespace)::Result", align 8
  %25 = alloca %"class.std::__cxx11::basic_ostringstream", align 8
  %26 = alloca %"class.std::__cxx11::basic_string", align 8
  %27 = load ptr, ptr %0, align 8, !tbaa !5
  %28 = tail call noundef ptr @_ZN9DexMethod8get_codeEv(ptr noundef nonnull align 8 dereferenceable(88) %27)
  %29 = getelementptr inbounds i8, ptr %0, i64 10
  %30 = load i8, ptr %29, align 2, !tbaa !20, !range !21, !noundef !22
  %31 = trunc nuw i8 %30 to i1
  br i1 %31, label %299, label %32

32:                                               ; preds = %1
  %33 = icmp eq ptr %28, null
  br i1 %33, label %34, label %35

34:                                               ; preds = %32
  store i8 1, ptr %29, align 2, !tbaa !20
  br label %299

35:                                               ; preds = %32
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %2) #10
  %36 = load ptr, ptr %0, align 8, !tbaa !5
  call void @_ZN12_GLOBAL__N_134validate_no_private_virtual_methodEPK12DexMethodRef(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %2, ptr noundef %36)
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %3) #10
  call void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %3)
  %37 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %2, ptr noundef nonnull align 8 dereferenceable(40) %3)
          to label %38 unwind label %45

38:                                               ; preds = %35
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %3) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %3) #10
  br i1 %37, label %39, label %50

39:                                               ; preds = %38
  store i8 1, ptr %29, align 2, !tbaa !20
  %40 = getelementptr inbounds i8, ptr %0, i64 14
  store i8 0, ptr %40, align 2, !tbaa !23
  %41 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %2)
          to label %42 unwind label %47

42:                                               ; preds = %39
  %43 = getelementptr inbounds i8, ptr %0, i64 16
  %44 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %43, ptr noundef nonnull align 8 dereferenceable(32) %41)
          to label %49 unwind label %47

45:                                               ; preds = %35
  %46 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %3) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %3) #10
  br label %69

47:                                               ; preds = %42, %39
  %48 = landingpad { ptr, i32 }
          cleanup
  br label %69

49:                                               ; preds = %42
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %2) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %2) #10
  br label %299

50:                                               ; preds = %38
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %2) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %2) #10
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %4) #10
  call void @_ZN3cfg9ScopedCFGC2EP6IRCode(ptr noundef nonnull align 8 dereferenceable(9) %4, ptr noundef nonnull %28)
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %5) #10
  %51 = load ptr, ptr %0, align 8, !tbaa !5
  %52 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %4)
          to label %53 unwind label %70

53:                                               ; preds = %50
  %54 = getelementptr inbounds i8, ptr %0, i64 12
  %55 = load i8, ptr %54, align 4, !tbaa !24, !range !21, !noundef !22
  %56 = trunc nuw i8 %55 to i1
  %57 = getelementptr inbounds i8, ptr %0, i64 13
  %58 = load i8, ptr %57, align 1, !tbaa !25, !range !21, !noundef !22
  %59 = trunc nuw i8 %58 to i1
  invoke void @_ZN12_GLOBAL__N_115check_structureEPK9DexMethodRN3cfg16ControlFlowGraphEbb(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %5, ptr noundef %51, ptr noundef nonnull align 8 dereferenceable(160) %52, i1 noundef zeroext %56, i1 noundef zeroext %59)
          to label %60 unwind label %70

60:                                               ; preds = %53
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %6) #10
  call void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %6)
  %61 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %5, ptr noundef nonnull align 8 dereferenceable(40) %6)
          to label %62 unwind label %74

62:                                               ; preds = %60
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %6) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %6) #10
  br i1 %61, label %63, label %82

63:                                               ; preds = %62
  store i8 1, ptr %29, align 2, !tbaa !20
  %64 = getelementptr inbounds i8, ptr %0, i64 14
  store i8 0, ptr %64, align 2, !tbaa !23
  %65 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %5)
          to label %66 unwind label %78

66:                                               ; preds = %63
  %67 = getelementptr inbounds i8, ptr %0, i64 16
  %68 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %67, ptr noundef nonnull align 8 dereferenceable(32) %65)
          to label %298 unwind label %78

69:                                               ; preds = %47, %45
  %.pn = phi { ptr, i32 } [ %48, %47 ], [ %46, %45 ]
  %.029 = extractvalue { ptr, i32 } %.pn, 0
  %.032 = extractvalue { ptr, i32 } %.pn, 1
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %2) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %2) #10
  br label %308

70:                                               ; preds = %53, %50
  %71 = landingpad { ptr, i32 }
          cleanup
  %72 = extractvalue { ptr, i32 } %71, 0
  %73 = extractvalue { ptr, i32 } %71, 1
  br label %307

74:                                               ; preds = %60
  %75 = landingpad { ptr, i32 }
          cleanup
  %76 = extractvalue { ptr, i32 } %75, 0
  %77 = extractvalue { ptr, i32 } %75, 1
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %6) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %6) #10
  br label %306

78:                                               ; preds = %66, %63
  %79 = landingpad { ptr, i32 }
          cleanup
  %80 = extractvalue { ptr, i32 } %79, 0
  %81 = extractvalue { ptr, i32 } %79, 1
  br label %306

82:                                               ; preds = %62
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %7) #10
  %83 = load ptr, ptr %0, align 8, !tbaa !5
  invoke void @_ZN12_GLOBAL__N_117check_load_paramsEPK9DexMethod(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %7, ptr noundef %83)
          to label %84 unwind label %93

84:                                               ; preds = %82
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %8) #10
  call void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %8)
  %85 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %7, ptr noundef nonnull align 8 dereferenceable(40) %8)
          to label %86 unwind label %97

86:                                               ; preds = %84
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %8) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %8) #10
  br i1 %85, label %87, label %105

87:                                               ; preds = %86
  store i8 1, ptr %29, align 2, !tbaa !20
  %88 = getelementptr inbounds i8, ptr %0, i64 14
  store i8 0, ptr %88, align 2, !tbaa !23
  %89 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %7)
          to label %90 unwind label %101

90:                                               ; preds = %87
  %91 = getelementptr inbounds i8, ptr %0, i64 16
  %92 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %91, ptr noundef nonnull align 8 dereferenceable(32) %89)
          to label %297 unwind label %101

93:                                               ; preds = %82
  %94 = landingpad { ptr, i32 }
          cleanup
  %95 = extractvalue { ptr, i32 } %94, 0
  %96 = extractvalue { ptr, i32 } %94, 1
  br label %305

97:                                               ; preds = %84
  %98 = landingpad { ptr, i32 }
          cleanup
  %99 = extractvalue { ptr, i32 } %98, 0
  %100 = extractvalue { ptr, i32 } %98, 1
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %8) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %8) #10
  br label %304

101:                                              ; preds = %108, %90, %87
  %102 = landingpad { ptr, i32 }
          cleanup
  %103 = extractvalue { ptr, i32 } %102, 0
  %104 = extractvalue { ptr, i32 } %102, 1
  br label %304

105:                                              ; preds = %86
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #10
  %106 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %4)
          to label %107 unwind label %123

107:                                              ; preds = %105
  invoke void @_ZSt11make_uniqueIN14type_inference13TypeInferenceEJRN3cfg16ControlFlowGraphEEENSt8__detail9_MakeUniqIT_E15__single_objectEDpOT0_(ptr dead_on_unwind nonnull writable sret(%"class.std::unique_ptr") align 8 %9, ptr noundef nonnull align 8 dereferenceable(160) %106)
          to label %108 unwind label %123

108:                                              ; preds = %107
  %109 = getelementptr inbounds i8, ptr %0, i64 48
  %110 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(8) %109, ptr noundef nonnull align 8 dereferenceable(8) %9) #10
  call void @_ZNSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #10
  %111 = call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %109) #10
  %112 = load ptr, ptr %0, align 8, !tbaa !5
  invoke void @_ZN14type_inference13TypeInference3runEPK9DexMethod(ptr noundef nonnull align 8 dereferenceable(432) %111, ptr noundef %112)
          to label %113 unwind label %101

113:                                              ; preds = %108
  %114 = call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %109) #10
  %115 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZN14type_inference13TypeInference21get_type_environmentsEv(ptr noundef nonnull align 8 dereferenceable(432) %114)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #10
  %116 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %4)
          to label %117 unwind label %127

117:                                              ; preds = %113
  %118 = invoke ptr @_Z19InstructionIterableRN3cfg16ControlFlowGraphE(ptr noundef nonnull align 8 dereferenceable(160) %116)
          to label %119 unwind label %127

119:                                              ; preds = %117
  store ptr %118, ptr %10, align 8
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #10
  invoke void @_ZN3cfg23InstructionIterableImplILb0EE5beginEv(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %11, ptr noundef nonnull align 8 dereferenceable(8) %10)
          to label %120 unwind label %131

120:                                              ; preds = %119
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #10
  invoke void @_ZN3cfg23InstructionIterableImplILb0EE3endEv(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %12, ptr noundef nonnull align 8 dereferenceable(8) %10)
          to label %.preheader unwind label %.loopexit.split-lp

.preheader:                                       ; preds = %120, %.critedge85
  %121 = invoke noundef zeroext i1 @_ZNK3cfg23InstructionIteratorImplILb0EEneERKS1_(ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull align 8 dereferenceable(32) %12)
          to label %122 unwind label %.loopexit

122:                                              ; preds = %.preheader
  br i1 %121, label %138, label %235

123:                                              ; preds = %107, %105
  %124 = landingpad { ptr, i32 }
          cleanup
  %125 = extractvalue { ptr, i32 } %124, 0
  %126 = extractvalue { ptr, i32 } %124, 1
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #10
  br label %304

127:                                              ; preds = %117, %113
  %128 = landingpad { ptr, i32 }
          cleanup
  %129 = extractvalue { ptr, i32 } %128, 0
  %130 = extractvalue { ptr, i32 } %128, 1
  br label %304

131:                                              ; preds = %119
  %132 = landingpad { ptr, i32 }
          cleanup
  %133 = extractvalue { ptr, i32 } %132, 0
  %134 = extractvalue { ptr, i32 } %132, 1
  br label %234

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

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

135:                                              ; preds = %.loopexit.split-lp, %.loopexit
  %lpad.phi = phi { ptr, i32 } [ %lpad.loopexit, %.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  %136 = extractvalue { ptr, i32 } %lpad.phi, 0
  %137 = extractvalue { ptr, i32 } %lpad.phi, 1
  br label %233

138:                                              ; preds = %122
  %139 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK3cfg23InstructionIteratorImplILb0EEdeEv(ptr noundef nonnull align 8 dereferenceable(32) %11)
          to label %140 unwind label %156

140:                                              ; preds = %138
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #10
  %141 = getelementptr inbounds i8, ptr %139, i64 24
  %142 = load ptr, ptr %141, align 8, !tbaa !26
  store ptr %142, ptr %13, align 8, !tbaa !27
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #10
  %143 = invoke ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE4findERKS2_(ptr noundef nonnull align 8 dereferenceable(56) %115, ptr noundef nonnull align 8 dereferenceable(8) %13)
          to label %144 unwind label %160

144:                                              ; preds = %140
  store ptr %143, ptr %14, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #10
  %145 = invoke ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(56) %115)
          to label %146 unwind label %162

146:                                              ; preds = %144
  store ptr %145, ptr %15, align 8
  %147 = call noundef zeroext i1 @_ZNK12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE13FixedIteratorneERKSA_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %15)
  br i1 %147, label %170, label %148

148:                                              ; preds = %146
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %16) #10
  invoke void @_Z4showIRK15MethodItemEntryRSovENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEOT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %16, ptr noundef nonnull align 8 dereferenceable(32) %139)
          to label %149 unwind label %164

149:                                              ; preds = %148
  %150 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %16) #10
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %17) #10
  %151 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %4)
          to label %152 unwind label %166

152:                                              ; preds = %149
  invoke void @_Z4showB5cxx11RKN3cfg16ControlFlowGraphEb(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %17, ptr noundef nonnull align 8 dereferenceable(160) %151, i1 noundef zeroext false)
          to label %153 unwind label %166

153:                                              ; preds = %152
  %154 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %17) #10
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.9, ptr noundef nonnull @.str.10, i32 noundef 1066, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN13IRTypeChecker3runEv, i32 noundef 2, ptr noundef nonnull @.str.11, ptr noundef %150, ptr noundef %154) #11
          to label %155 unwind label %168

155:                                              ; preds = %153
  unreachable

156:                                              ; preds = %138
  %157 = landingpad { ptr, i32 }
          cleanup
  %158 = extractvalue { ptr, i32 } %157, 0
  %159 = extractvalue { ptr, i32 } %157, 1
  br label %233

160:                                              ; preds = %170, %140
  %161 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  br label %178

162:                                              ; preds = %144
  %163 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  br label %177

164:                                              ; preds = %148
  %165 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  br label %176

166:                                              ; preds = %152, %149
  %167 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  br label %175

168:                                              ; preds = %153
  %169 = landingpad { ptr, i32 }
          cleanup
          catch ptr @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %17) #10
  br label %175

170:                                              ; preds = %146
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #10
  %171 = load ptr, ptr %13, align 8, !tbaa !27
  %172 = call noundef ptr @_ZNK12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE13FixedIteratorptEv(ptr noundef nonnull align 8 dereferenceable(8) %14)
  %173 = getelementptr inbounds i8, ptr %172, i64 8
  invoke void @_ZNK13IRTypeChecker17check_instructionEP13IRInstructionPN14type_inference15TypeEnvironmentE(ptr noundef nonnull align 8 dereferenceable(56) %0, ptr noundef %171, ptr noundef nonnull %173)
          to label %.critedge85 unwind label %160

.critedge85:                                      ; preds = %170
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #10
  %174 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZN3cfg23InstructionIteratorImplILb0EEppEv(ptr noundef nonnull align 8 dereferenceable(32) %11)
          to label %.preheader unwind label %.loopexit

175:                                              ; preds = %166, %168
  %.pn61 = phi { ptr, i32 } [ %169, %168 ], [ %167, %166 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %17) #10
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #10
  br label %176

176:                                              ; preds = %164, %175
  %.pn61.pn = phi { ptr, i32 } [ %.pn61, %175 ], [ %165, %164 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %16) #10
  br label %177

177:                                              ; preds = %176, %162
  %.pn61.pn.pn = phi { ptr, i32 } [ %.pn61.pn, %176 ], [ %163, %162 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #10
  br label %178

178:                                              ; preds = %177, %160
  %.pn65 = phi { ptr, i32 } [ %161, %160 ], [ %.pn61.pn.pn, %177 ]
  %.4 = extractvalue { ptr, i32 } %.pn65, 0
  %.436 = extractvalue { ptr, i32 } %.pn65, 1
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #10
  %179 = call i32 @llvm.eh.typeid.for.p0(ptr nonnull @_ZTIN12_GLOBAL__N_121TypeCheckingExceptionE) #10
  %180 = icmp eq i32 %.436, %179
  br i1 %180, label %181, label %232

181:                                              ; preds = %178
  %182 = call ptr @__cxa_begin_catch(ptr %.4) #10
  %183 = getelementptr inbounds i8, ptr %0, i64 14
  store i8 0, ptr %183, align 2, !tbaa !23
  call void @llvm.lifetime.start.p0(i64 376, ptr nonnull %18) #10
  invoke void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEC1Ev(ptr noundef nonnull align 8 dereferenceable(112) %18)
          to label %184 unwind label %215

184:                                              ; preds = %181
  %185 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull @.str.12)
          to label %186 unwind label %217

186:                                              ; preds = %184
  %187 = load ptr, ptr %0, align 8, !tbaa !5
  %188 = invoke { i64, ptr } @_ZNK9DexMethod30get_deobfuscated_name_or_emptyEv(ptr noundef nonnull align 8 dereferenceable(88) %187)
          to label %189 unwind label %217

189:                                              ; preds = %186
  %190 = extractvalue { i64, ptr } %188, 0
  %191 = extractvalue { i64, ptr } %188, 1
  %192 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_St17basic_string_viewIS3_S4_E(ptr noundef nonnull align 8 dereferenceable(8) %185, i64 %190, ptr %191)
          to label %193 unwind label %217

193:                                              ; preds = %189
  %194 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %192, ptr noundef nonnull @.str.13)
          to label %195 unwind label %217

195:                                              ; preds = %193
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %19) #10
  %196 = load ptr, ptr %13, align 8, !tbaa !27
  invoke void @_Z4showI13IRInstructionRSoENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %19, ptr noundef %196)
          to label %197 unwind label %219

197:                                              ; preds = %195
  %198 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %19) #10
  %199 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %194, ptr noundef %198)
          to label %200 unwind label %221

200:                                              ; preds = %197
  %201 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %199, ptr noundef nonnull @.str.14)
          to label %202 unwind label %221

202:                                              ; preds = %200
  %203 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %201, ptr noundef nonnull @_ZSt3hexRSt8ios_base)
          to label %204 unwind label %221

204:                                              ; preds = %202
  %205 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPKv(ptr noundef nonnull align 8 dereferenceable(8) %203, ptr noundef nonnull %139)
          to label %206 unwind label %221

206:                                              ; preds = %204
  %207 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %205, ptr noundef nonnull @.str.15)
          to label %208 unwind label %221

208:                                              ; preds = %206
  %209 = call noundef ptr @_ZNKSt13runtime_error4whatEv(ptr noundef nonnull align 8 dereferenceable(16) %182) #10
  %210 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %207, ptr noundef %209)
          to label %211 unwind label %221

211:                                              ; preds = %208
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #10
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %20) #10
  invoke void @_ZNKSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEE3strEv(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %20, ptr noundef nonnull align 8 dereferenceable(112) %18)
          to label %212 unwind label %224

212:                                              ; preds = %211
  %213 = getelementptr inbounds i8, ptr %0, i64 16
  %214 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSEOS4_(ptr noundef nonnull align 8 dereferenceable(32) %213, ptr noundef nonnull align 8 dereferenceable(32) %20) #10
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %20) #10
  store i8 1, ptr %29, align 2, !tbaa !20
  call void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(112) %18) #10
  call void @llvm.lifetime.end.p0(i64 376, ptr nonnull %18) #10
  invoke void @__cxa_end_catch()
          to label %231 unwind label %228

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

217:                                              ; preds = %193, %189, %186, %184
  %218 = landingpad { ptr, i32 }
          cleanup
  br label %226

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

221:                                              ; preds = %208, %206, %204, %202, %200, %197
  %222 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #10
  br label %223

223:                                              ; preds = %221, %219
  %.pn67 = phi { ptr, i32 } [ %222, %221 ], [ %220, %219 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %19) #10
  br label %226

224:                                              ; preds = %211
  %225 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %20) #10
  br label %226

226:                                              ; preds = %224, %223, %217
  %.pn69 = phi { ptr, i32 } [ %225, %224 ], [ %.pn67, %223 ], [ %218, %217 ]
  call void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(112) %18) #10
  br label %227

227:                                              ; preds = %226, %215
  %.pn69.pn = phi { ptr, i32 } [ %.pn69, %226 ], [ %216, %215 ]
  call void @llvm.lifetime.end.p0(i64 376, ptr nonnull %18) #10
  invoke void @__cxa_end_catch()
          to label %230 unwind label %311

228:                                              ; preds = %212
  %229 = landingpad { ptr, i32 }
          cleanup
  br label %230

230:                                              ; preds = %227, %228
  %.pn72 = phi { ptr, i32 } [ %229, %228 ], [ %.pn69.pn, %227 ]
  %.8 = extractvalue { ptr, i32 } %.pn72, 0
  %.840 = extractvalue { ptr, i32 } %.pn72, 1
  br label %232

231:                                              ; preds = %212
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #10
  br label %297

232:                                              ; preds = %230, %178
  %.941 = phi i32 [ %.840, %230 ], [ %.436, %178 ]
  %.9 = phi ptr [ %.8, %230 ], [ %.4, %178 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #10
  br label %233

233:                                              ; preds = %156, %232, %135
  %.1143 = phi i32 [ %137, %135 ], [ %.941, %232 ], [ %159, %156 ]
  %.11 = phi ptr [ %136, %135 ], [ %.9, %232 ], [ %158, %156 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #10
  br label %234

234:                                              ; preds = %233, %131
  %.1244 = phi i32 [ %.1143, %233 ], [ %134, %131 ]
  %.12 = phi ptr [ %.11, %233 ], [ %133, %131 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #10
  br label %304

235:                                              ; preds = %122
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #10
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #10
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %21) #10
  %236 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZN3cfg9ScopedCFGdeEv(ptr noundef nonnull align 8 dereferenceable(9) %4)
          to label %237 unwind label %247

237:                                              ; preds = %235
  invoke void @_ZN12_GLOBAL__N_119check_positions_cfgERN3cfg16ControlFlowGraphE(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %21, ptr noundef nonnull align 8 dereferenceable(160) %236)
          to label %238 unwind label %247

238:                                              ; preds = %237
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %22) #10
  call void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %22)
  %239 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %21, ptr noundef nonnull align 8 dereferenceable(40) %22)
          to label %240 unwind label %249

240:                                              ; preds = %238
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %22) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %22) #10
  br i1 %239, label %241, label %253

241:                                              ; preds = %240
  store i8 1, ptr %29, align 2, !tbaa !20
  %242 = getelementptr inbounds i8, ptr %0, i64 14
  store i8 0, ptr %242, align 2, !tbaa !23
  %243 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %21)
          to label %244 unwind label %251

244:                                              ; preds = %241
  %245 = getelementptr inbounds i8, ptr %0, i64 16
  %246 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %245, ptr noundef nonnull align 8 dereferenceable(32) %243)
          to label %296 unwind label %251

247:                                              ; preds = %237, %235
  %248 = landingpad { ptr, i32 }
          cleanup
  br label %303

249:                                              ; preds = %238
  %250 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %22) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %22) #10
  br label %302

251:                                              ; preds = %244, %241
  %252 = landingpad { ptr, i32 }
          cleanup
  br label %302

253:                                              ; preds = %240
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %23) #10
  %254 = load ptr, ptr %0, align 8, !tbaa !5
  invoke void @_ZN12_GLOBAL__N_114check_monitorsEPK9DexMethod(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %23, ptr noundef %254)
          to label %255 unwind label %264

255:                                              ; preds = %253
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %24) #10
  call void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind nonnull writable sret(%"class.(anonymous namespace)::Result") align 8 %24)
  %256 = invoke noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40) %23, ptr noundef nonnull align 8 dereferenceable(40) %24)
          to label %257 unwind label %266

257:                                              ; preds = %255
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %24) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %24) #10
  store i8 1, ptr %29, align 2, !tbaa !20
  br i1 %256, label %258, label %270

258:                                              ; preds = %257
  %259 = getelementptr inbounds i8, ptr %0, i64 14
  store i8 0, ptr %259, align 2, !tbaa !23
  %260 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40) %23)
          to label %261 unwind label %268

261:                                              ; preds = %258
  %262 = getelementptr inbounds i8, ptr %0, i64 16
  %263 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEaSERKS4_(ptr noundef nonnull align 8 dereferenceable(32) %262, ptr noundef nonnull align 8 dereferenceable(32) %260)
          to label %295 unwind label %268

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

266:                                              ; preds = %255
  %267 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %24) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %24) #10
  br label %300

268:                                              ; preds = %270, %261, %258
  %269 = landingpad { ptr, i32 }
          cleanup
  br label %300

270:                                              ; preds = %257
  %271 = invoke noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 147, i32 noundef 9)
          to label %272 unwind label %268

272:                                              ; preds = %270
  br i1 %271, label %273, label %295

273:                                              ; preds = %272
  call void @llvm.lifetime.start.p0(i64 376, ptr nonnull %25) #10
  invoke void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEC1Ev(ptr noundef nonnull align 8 dereferenceable(112) %25)
          to label %274 unwind label %283

274:                                              ; preds = %273
  %275 = call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %109) #10
  invoke void @_ZNK14type_inference13TypeInference5printERSo(ptr noundef nonnull align 8 dereferenceable(432) %275, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %276 unwind label %285

276:                                              ; preds = %274
  %277 = invoke noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 147, i32 noundef 9)
          to label %278 unwind label %285

278:                                              ; preds = %276
  br i1 %277, label %279, label %292

279:                                              ; preds = %278
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %26) #10
  invoke void @_ZNKSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEE3strEv(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %26, ptr noundef nonnull align 8 dereferenceable(112) %25)
          to label %280 unwind label %287

280:                                              ; preds = %279
  %281 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %26) #10
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 147, i32 noundef 9, i1 noundef zeroext false, ptr noundef nonnull @.str.16, ptr noundef %281)
          to label %282 unwind label %289

282:                                              ; preds = %280
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #10
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %26) #10
  br label %292

283:                                              ; preds = %273
  %284 = landingpad { ptr, i32 }
          cleanup
  br label %294

285:                                              ; preds = %276, %274
  %286 = landingpad { ptr, i32 }
          cleanup
  br label %293

287:                                              ; preds = %279
  %288 = landingpad { ptr, i32 }
          cleanup
  br label %291

289:                                              ; preds = %280
  %290 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %26) #10
  br label %291

291:                                              ; preds = %289, %287
  %.pn74 = phi { ptr, i32 } [ %290, %289 ], [ %288, %287 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %26) #10
  br label %293

292:                                              ; preds = %282, %278
  call void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(112) %25) #10
  call void @llvm.lifetime.end.p0(i64 376, ptr nonnull %25) #10
  br label %295

293:                                              ; preds = %291, %285
  %.pn74.pn = phi { ptr, i32 } [ %.pn74, %291 ], [ %286, %285 ]
  call void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(112) %25) #10
  br label %294

294:                                              ; preds = %293, %283
  %.pn74.pn.pn = phi { ptr, i32 } [ %.pn74.pn, %293 ], [ %284, %283 ]
  call void @llvm.lifetime.end.p0(i64 376, ptr nonnull %25) #10
  br label %300

295:                                              ; preds = %272, %292, %261
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %23) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %23) #10
  br label %296

296:                                              ; preds = %244, %295
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %21) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %21) #10
  br label %297

297:                                              ; preds = %231, %296, %90
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %7) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %7) #10
  br label %298

298:                                              ; preds = %66, %297
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %5) #10
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %5) #10
  call void @_ZN3cfg9ScopedCFGD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %4) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #10
  br label %299

299:                                              ; preds = %49, %1, %298, %34
  ret void

300:                                              ; preds = %294, %268, %266
  %.pn78 = phi { ptr, i32 } [ %269, %268 ], [ %.pn74.pn.pn, %294 ], [ %267, %266 ]
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %23) #10
  br label %301

301:                                              ; preds = %300, %264
  %.pn78.pn = phi { ptr, i32 } [ %.pn78, %300 ], [ %265, %264 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %23) #10
  br label %302

302:                                              ; preds = %301, %251, %249
  %.pn81 = phi { ptr, i32 } [ %252, %251 ], [ %.pn78.pn, %301 ], [ %250, %249 ]
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %21) #10
  br label %303

303:                                              ; preds = %302, %247
  %.pn81.pn = phi { ptr, i32 } [ %.pn81, %302 ], [ %248, %247 ]
  %.20 = extractvalue { ptr, i32 } %.pn81.pn, 0
  %.2052 = extractvalue { ptr, i32 } %.pn81.pn, 1
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %21) #10
  br label %304

304:                                              ; preds = %303, %234, %127, %123, %101, %97
  %.2254 = phi i32 [ %104, %101 ], [ %126, %123 ], [ %100, %97 ], [ %.2052, %303 ], [ %.1244, %234 ], [ %130, %127 ]
  %.22 = phi ptr [ %103, %101 ], [ %125, %123 ], [ %99, %97 ], [ %.20, %303 ], [ %.12, %234 ], [ %129, %127 ]
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %7) #10
  br label %305

305:                                              ; preds = %304, %93
  %.2355 = phi i32 [ %.2254, %304 ], [ %96, %93 ]
  %.23 = phi ptr [ %.22, %304 ], [ %95, %93 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %7) #10
  br label %306

306:                                              ; preds = %305, %78, %74
  %.2456 = phi i32 [ %81, %78 ], [ %.2355, %305 ], [ %77, %74 ]
  %.24 = phi ptr [ %80, %78 ], [ %.23, %305 ], [ %76, %74 ]
  call void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40) %5) #10
  br label %307

307:                                              ; preds = %306, %70
  %.2557 = phi i32 [ %.2456, %306 ], [ %73, %70 ]
  %.25 = phi ptr [ %.24, %306 ], [ %72, %70 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %5) #10
  call void @_ZN3cfg9ScopedCFGD2Ev(ptr noundef nonnull align 8 dereferenceable(9) %4) #10
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %4) #10
  br label %308

308:                                              ; preds = %307, %69
  %.2658 = phi i32 [ %.2557, %307 ], [ %.032, %69 ]
  %.26 = phi ptr [ %.25, %307 ], [ %.029, %69 ]
  %309 = insertvalue { ptr, i32 } poison, ptr %.26, 0
  %310 = insertvalue { ptr, i32 } %309, i32 %.2658, 1
  resume { ptr, i32 } %310

311:                                              ; preds = %227
  %312 = landingpad { ptr, i32 }
          catch ptr null
  %313 = extractvalue { ptr, i32 } %312, 0
  call void @__clang_call_terminate(ptr %313) #12
  unreachable
}

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_134validate_no_private_virtual_methodEPK12DexMethodRef(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZNK12_GLOBAL__N_16ResultneERKS0_(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef nonnull align 8 dereferenceable(40)) local_unnamed_addr #2 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_16Result2OkEv(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8) local_unnamed_addr #1 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_16ResultD2Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
declare hidden noundef nonnull align 8 dereferenceable(32) ptr @_ZNK12_GLOBAL__N_16Result13error_messageB5cxx11Ev(ptr noundef nonnull align 8 dereferenceable(40)) local_unnamed_addr #2 align 2

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_115check_structureEPK9DexMethodRN3cfg16ControlFlowGraphEbb(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef, ptr noundef nonnull align 8 dereferenceable(160), i1 noundef zeroext, i1 noundef zeroext) local_unnamed_addr #2

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_117check_load_paramsEPK9DexMethod(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef) local_unnamed_addr #2

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

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

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

declare void @_ZN14type_inference13TypeInference3runEPK9DexMethod(ptr noundef nonnull align 8 dereferenceable(432), ptr noundef) local_unnamed_addr #5

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: nofree nosync nounwind memory(none)
declare i32 @llvm.eh.typeid.for.p0(ptr) #7

declare ptr @__cxa_begin_catch(ptr) local_unnamed_addr

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

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

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

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

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

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

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

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

; Function Attrs: nounwind
declare noundef ptr @_ZNKSt13runtime_error4whatEv(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #8

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

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

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

declare void @__cxa_end_catch() local_unnamed_addr

; Function Attrs: noinline noreturn nounwind uwtable
declare hidden void @__clang_call_terminate(ptr noundef) local_unnamed_addr #9

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_119check_positions_cfgERN3cfg16ControlFlowGraphE(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef nonnull align 8 dereferenceable(160)) local_unnamed_addr #2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_114check_monitorsEPK9DexMethod(ptr dead_on_unwind noalias writable sret(%"class.(anonymous namespace)::Result") align 8, ptr noundef) local_unnamed_addr #2

declare noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef, i32 noundef) local_unnamed_addr #5

declare void @_ZNK14type_inference13TypeInference5printERSo(ptr noundef nonnull align 8 dereferenceable(432), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #5

declare void @_Z5trace11TraceModuleibPKcz(i32 noundef, i32 noundef, i1 noundef zeroext, ptr noundef, ...) local_unnamed_addr #5

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3cfg9ScopedCFGD2Ev(ptr noundef nonnull align 8 dereferenceable(9)) 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 = { 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 #3 = { 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 #4 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { 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 = { nofree nosync nounwind memory(none) }
attributes #8 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #9 = { noinline noreturn nounwind uwtable "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #10 = { nounwind }
attributes #11 = { noreturn }
attributes #12 = { noreturn nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !7, i64 0}
!6 = !{!"_ZTS13IRTypeChecker", !7, i64 0, !10, i64 8, !10, i64 9, !10, i64 10, !10, i64 11, !10, i64 12, !10, i64 13, !10, i64 14, !11, i64 16, !14, i64 48}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"bool", !8, i64 0}
!11 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE", !12, i64 0, !13, i64 8, !8, i64 16}
!12 = !{!"_ZTSNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderE", !7, i64 0}
!13 = !{!"long", !8, i64 0}
!14 = !{!"_ZTSSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !15, i64 0}
!15 = !{!"_ZTSSt15__uniq_ptr_dataIN14type_inference13TypeInferenceESt14default_deleteIS1_ELb1ELb1EE", !16, i64 0}
!16 = !{!"_ZTSSt15__uniq_ptr_implIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !17, i64 0}
!17 = !{!"_ZTSSt5tupleIJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !18, i64 0}
!18 = !{!"_ZTSSt11_Tuple_implILm0EJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !19, i64 0}
!19 = !{!"_ZTSSt10_Head_baseILm0EPN14type_inference13TypeInferenceELb0EE", !7, i64 0}
!20 = !{!6, !10, i64 10}
!21 = !{i8 0, i8 2}
!22 = !{}
!23 = !{!6, !10, i64 14}
!24 = !{!6, !10, i64 12}
!25 = !{!6, !10, i64 13}
!26 = !{!8, !8, i64 0}
!27 = !{!7, !7, i64 0}


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