; LLVM IR from facebook/redex :: service/remove_redundant_check_casts (CheckCastAnalysis)

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

%"struct.boost::none_t" = type { i8 }
%"class.std::vector.245" = type { %"struct.std::_Vector_base.246" }
%"struct.std::_Vector_base.246" = type { %"struct.std::_Vector_base<check_casts::impl::CheckCastReplacementItem, std::allocator<check_casts::impl::CheckCastReplacementItem>>::_Vector_impl" }
%"struct.std::_Vector_base<check_casts::impl::CheckCastReplacementItem, std::allocator<check_casts::impl::CheckCastReplacementItem>>::_Vector_impl" = type { %"struct.std::_Vector_base<check_casts::impl::CheckCastReplacementItem, std::allocator<check_casts::impl::CheckCastReplacementItem>>::_Vector_impl_data" }
%"struct.std::_Vector_base<check_casts::impl::CheckCastReplacementItem, std::allocator<check_casts::impl::CheckCastReplacementItem>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.250" = 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.boost::optional" = type { %"class.boost::optional_detail::tc_optional_base" }
%"class.boost::optional_detail::tc_optional_base" = type { i8, ptr }
%"class.boost::optional.251" = type { %"class.boost::optional_detail::tc_optional_base.252" }
%"class.boost::optional_detail::tc_optional_base.252" = type { i8, ptr }
%"class.check_casts::impl::CheckCastAnalysis" = type { ptr, ptr, i8, ptr, ptr, ptr, ptr, %"class.std::unique_ptr", %"class.std::vector", %"class.std::unique_ptr.7", ptr }
%"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.3" }
%"struct.std::_Head_base.3" = type { ptr }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<cfg::InstructionIteratorImpl<false>, std::allocator<cfg::InstructionIteratorImpl<false>>>::_Vector_impl" }
%"struct.std::_Vector_base<cfg::InstructionIteratorImpl<false>, std::allocator<cfg::InstructionIteratorImpl<false>>>::_Vector_impl" = type { %"struct.std::_Vector_base<cfg::InstructionIteratorImpl<false>, std::allocator<cfg::InstructionIteratorImpl<false>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<cfg::InstructionIteratorImpl<false>, std::allocator<cfg::InstructionIteratorImpl<false>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::unique_ptr.7" = type { %"struct.std::__uniq_ptr_data.8" }
%"struct.std::__uniq_ptr_data.8" = type { %"class.std::__uniq_ptr_impl.9" }
%"class.std::__uniq_ptr_impl.9" = type { %"class.std::tuple.10" }
%"class.std::tuple.10" = type { %"struct.std::_Tuple_impl.11" }
%"struct.std::_Tuple_impl.11" = type { %"struct.std::_Head_base.14" }
%"struct.std::_Head_base.14" = type { ptr }
%struct.MethodItemEntry = type { %"class.boost::intrusive::list_member_hook", i32, %union.anon.100 }
%"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.100 = type { ptr }

@_ZN5boost4noneE = external dso_local global %"struct.boost::none_t", align 1
@.str.9 = external hidden unnamed_addr constant [107 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [36 x i8], align 1
@__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis36collect_redundant_checks_replacementEv = external hidden unnamed_addr constant [105 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZN11check_casts4implL16is_not_interfacyEP7DexType(ptr noundef) #3

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK11check_casts4impl17CheckCastAnalysis36collect_redundant_checks_replacementEv(ptr dead_on_unwind noalias writable sret(%"class.std::vector.245") align 8 %0, ptr noundef nonnull align 8 dereferenceable(104) %1) #3 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i1, align 1
  %6 = alloca ptr, align 8
  %7 = alloca %"class.__gnu_cxx::__normal_iterator.250", align 8
  %8 = alloca %"class.__gnu_cxx::__normal_iterator.250", align 8
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca ptr, align 8
  %15 = alloca ptr, align 8
  %16 = alloca i32, align 4
  %17 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %18 = alloca i32, align 4
  %19 = alloca ptr, align 8
  %20 = alloca %"class.boost::optional", align 8
  %21 = alloca %"class.boost::optional.251", align 8
  store ptr %0, ptr %3, align 8
  store ptr %1, ptr %4, align 8, !tbaa !5
  %22 = load ptr, ptr %4, align 8
  store i1 false, ptr %5, align 1
  call void @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %6) #8
  %23 = getelementptr inbounds %"class.check_casts::impl::CheckCastAnalysis", ptr %22, i32 0, i32 8
  store ptr %23, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #8
  %24 = load ptr, ptr %6, align 8, !tbaa !5
  %25 = call ptr @_ZNKSt6vectorIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %24) #8
  %26 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.250", ptr %7, i32 0, i32 0
  store ptr %25, ptr %26, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #8
  %27 = load ptr, ptr %6, align 8, !tbaa !5
  %28 = call ptr @_ZNKSt6vectorIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %27) #8
  %29 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.250", ptr %8, i32 0, i32 0
  store ptr %28, ptr %29, align 8
  br label %30

30:                                               ; preds = %198, %2
  %31 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3cfg23InstructionIteratorImplILb0EEESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(8) %8) #8
  br i1 %31, label %33, label %32

32:                                               ; preds = %30
  store i32 2, ptr %9, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  br label %203

33:                                               ; preds = %30
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #8
  %34 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3cfg23InstructionIteratorImplILb0EEESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %7) #8
  store ptr %34, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #8
  %35 = load ptr, ptr %10, align 8, !tbaa !5
  %36 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EE5blockEv(ptr noundef nonnull align 8 dereferenceable(32) %35)
          to label %37 unwind label %51

37:                                               ; preds = %33
  store ptr %36, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #8
  %38 = load ptr, ptr %10, align 8, !tbaa !5
  %39 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(32) %38)
          to label %40 unwind label %55

40:                                               ; preds = %37
  %41 = getelementptr inbounds %struct.MethodItemEntry, ptr %39, i32 0, i32 2
  %42 = load ptr, ptr %41, align 8, !tbaa !9
  store ptr %42, ptr %14, align 8, !tbaa !5
  %43 = load ptr, ptr %14, align 8, !tbaa !5
  %44 = invoke noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %43)
          to label %45 unwind label %55

45:                                               ; preds = %40
  %46 = zext i16 %44 to i32
  %47 = icmp eq i32 %46, 18
  br i1 %47, label %48, label %49

48:                                               ; preds = %45
  br label %60

49:                                               ; preds = %45
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.25, ptr noundef @.str.9, i32 noundef 476, ptr noundef @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis36collect_redundant_checks_replacementEv, i32 noundef 2, ptr noundef @.str.10) #9
          to label %50 unwind label %55

50:                                               ; preds = %49
  unreachable

51:                                               ; preds = %33
  %52 = landingpad { ptr, i32 }
          cleanup
  %53 = extractvalue { ptr, i32 } %52, 0
  store ptr %53, ptr %12, align 8
  %54 = extractvalue { ptr, i32 } %52, 1
  store i32 %54, ptr %13, align 4
  br label %202

55:                                               ; preds = %49, %40, %37
  %56 = landingpad { ptr, i32 }
          cleanup
  %57 = extractvalue { ptr, i32 } %56, 0
  store ptr %57, ptr %12, align 8
  %58 = extractvalue { ptr, i32 } %56, 1
  store i32 %58, ptr %13, align 4
  br label %201

59:                                               ; No predecessors!
  br label %60

60:                                               ; preds = %59, %48
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #8
  %61 = load ptr, ptr %14, align 8, !tbaa !5
  %62 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %61)
          to label %63 unwind label %72

63:                                               ; preds = %60
  store ptr %62, ptr %15, align 8, !tbaa !5
  %64 = load ptr, ptr %11, align 8, !tbaa !5
  %65 = invoke noundef zeroext i1 @_ZNK11check_casts4impl17CheckCastAnalysis30can_catch_class_cast_exceptionEPN3cfg5BlockE(ptr noundef nonnull align 8 dereferenceable(104) %22, ptr noundef %64)
          to label %66 unwind label %72

66:                                               ; preds = %63
  br i1 %65, label %76, label %67

67:                                               ; preds = %66
  %68 = load ptr, ptr %14, align 8, !tbaa !5
  %69 = load ptr, ptr %15, align 8, !tbaa !5
  %70 = invoke noundef ptr @_ZNK11check_casts4impl17CheckCastAnalysis16weaken_to_demandEP13IRInstructionP7DexTypeb(ptr noundef nonnull align 8 dereferenceable(104) %22, ptr noundef %68, ptr noundef %69, i1 noundef zeroext false)
          to label %71 unwind label %72

71:                                               ; preds = %67
  store ptr %70, ptr %15, align 8, !tbaa !5
  br label %76

72:                                               ; preds = %175, %172, %168, %164, %161, %158, %152, %76, %67, %63, %60
  %73 = landingpad { ptr, i32 }
          cleanup
  %74 = extractvalue { ptr, i32 } %73, 0
  store ptr %74, ptr %12, align 8
  %75 = extractvalue { ptr, i32 } %73, 1
  store i32 %75, ptr %13, align 4
  br label %200

76:                                               ; preds = %71, %66
  %77 = load ptr, ptr %14, align 8, !tbaa !5
  %78 = load ptr, ptr %15, align 8, !tbaa !5
  %79 = invoke noundef zeroext i1 @_ZNK11check_casts4impl17CheckCastAnalysis23is_check_cast_redundantEP13IRInstructionP7DexType(ptr noundef nonnull align 8 dereferenceable(104) %22, ptr noundef %77, ptr noundef %78)
          to label %80 unwind label %72

80:                                               ; preds = %76
  br i1 %79, label %81, label %152

81:                                               ; preds = %80
  call void @llvm.lifetime.start.p0(i64 4, ptr %16) #8
  %82 = load ptr, ptr %14, align 8, !tbaa !5
  %83 = invoke noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %82, i16 noundef zeroext 0)
          to label %84 unwind label %92

84:                                               ; preds = %81
  store i32 %83, ptr %16, align 4, !tbaa !10
  call void @llvm.lifetime.start.p0(i64 32, ptr %17) #8
  %85 = getelementptr inbounds %"class.check_casts::impl::CheckCastAnalysis", ptr %22, i32 0, i32 1
  %86 = load ptr, ptr %85, align 8, !tbaa !12
  %87 = load ptr, ptr %10, align 8, !tbaa !5
  invoke void @_ZN3cfg16ControlFlowGraph14move_result_ofERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %17, ptr noundef nonnull align 8 dereferenceable(160) %86, ptr noundef nonnull align 8 dereferenceable(32) %87)
          to label %88 unwind label %96

88:                                               ; preds = %84
  %89 = invoke noundef zeroext i1 @_ZNK3cfg23InstructionIteratorImplILb0EE6is_endEv(ptr noundef nonnull align 8 dereferenceable(32) %17)
          to label %90 unwind label %96

90:                                               ; preds = %88
  br i1 %89, label %91, label %100

91:                                               ; preds = %90
  store i32 3, ptr %9, align 4
  br label %146

92:                                               ; preds = %81
  %93 = landingpad { ptr, i32 }
          cleanup
  %94 = extractvalue { ptr, i32 } %93, 0
  store ptr %94, ptr %12, align 8
  %95 = extractvalue { ptr, i32 } %93, 1
  store i32 %95, ptr %13, align 4
  br label %151

96:                                               ; preds = %88, %84
  %97 = landingpad { ptr, i32 }
          cleanup
  %98 = extractvalue { ptr, i32 } %97, 0
  store ptr %98, ptr %12, align 8
  %99 = extractvalue { ptr, i32 } %97, 1
  store i32 %99, ptr %13, align 4
  br label %150

100:                                              ; preds = %90
  call void @llvm.lifetime.start.p0(i64 4, ptr %18) #8
  %101 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(32) %17)
          to label %102 unwind label %113

102:                                              ; preds = %100
  %103 = getelementptr inbounds %struct.MethodItemEntry, ptr %101, i32 0, i32 2
  %104 = load ptr, ptr %103, align 8, !tbaa !9
  %105 = invoke noundef i32 @_ZNK13IRInstruction4destEv(ptr noundef nonnull align 8 dereferenceable(32) %104)
          to label %106 unwind label %113

106:                                              ; preds = %102
  store i32 %105, ptr %18, align 4, !tbaa !10
  %107 = load i32, ptr %16, align 4, !tbaa !10
  %108 = load i32, ptr %18, align 4, !tbaa !10
  %109 = icmp eq i32 %107, %108
  br i1 %109, label %110, label %117

110:                                              ; preds = %106
  %111 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EE12emplace_backIJRPN3cfg5BlockERP13IRInstructionRKN5boost6none_tESG_EEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 1 dereferenceable(1) @_ZN5boost4noneE, ptr noundef nonnull align 1 dereferenceable(1) @_ZN5boost4noneE)
          to label %112 unwind label %113

112:                                              ; preds = %110
  br label %145

113:                                              ; preds = %110, %102, %100
  %114 = landingpad { ptr, i32 }
          cleanup
  %115 = extractvalue { ptr, i32 } %114, 0
  store ptr %115, ptr %12, align 8
  %116 = extractvalue { ptr, i32 } %114, 1
  store i32 %116, ptr %13, align 4
  br label %149

117:                                              ; preds = %106
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  %118 = invoke noalias noundef nonnull ptr @_Znwm(i64 noundef 32) #10
          to label %119 unwind label %132

119:                                              ; preds = %117
  invoke void @_ZN13IRInstructionC1E8IROpcode(ptr noundef nonnull align 8 dereferenceable(32) %118, i16 noundef zeroext 3)
          to label %120 unwind label %136

120:                                              ; preds = %119
  store ptr %118, ptr %19, align 8, !tbaa !5
  %121 = load ptr, ptr %19, align 8, !tbaa !5
  %122 = load i32, ptr %16, align 4, !tbaa !10
  %123 = invoke noundef ptr @_ZN13IRInstruction7set_srcEtj(ptr noundef nonnull align 8 dereferenceable(32) %121, i16 noundef zeroext 0, i32 noundef %122)
          to label %124 unwind label %132

124:                                              ; preds = %120
  %125 = load ptr, ptr %19, align 8, !tbaa !5
  %126 = load i32, ptr %18, align 4, !tbaa !10
  %127 = invoke noundef ptr @_ZN13IRInstruction8set_destEj(ptr noundef nonnull align 8 dereferenceable(32) %125, i32 noundef %126)
          to label %128 unwind label %132

128:                                              ; preds = %124
  call void @llvm.lifetime.start.p0(i64 16, ptr %20) #8
  invoke void @_ZN5boost8optionalIP13IRInstructionEC2ERKS2_(ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef nonnull align 8 dereferenceable(8) %19)
          to label %129 unwind label %140

129:                                              ; preds = %128
  %130 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EE12emplace_backIJRPN3cfg5BlockERP13IRInstructionN5boost8optionalISB_EERKNSD_6none_tEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(16) %20, ptr noundef nonnull align 1 dereferenceable(1) @_ZN5boost4noneE)
          to label %131 unwind label %140

131:                                              ; preds = %129
  call void @llvm.lifetime.end.p0(i64 16, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  br label %145

132:                                              ; preds = %124, %120, %117
  %133 = landingpad { ptr, i32 }
          cleanup
  %134 = extractvalue { ptr, i32 } %133, 0
  store ptr %134, ptr %12, align 8
  %135 = extractvalue { ptr, i32 } %133, 1
  store i32 %135, ptr %13, align 4
  br label %144

136:                                              ; preds = %119
  %137 = landingpad { ptr, i32 }
          cleanup
  %138 = extractvalue { ptr, i32 } %137, 0
  store ptr %138, ptr %12, align 8
  %139 = extractvalue { ptr, i32 } %137, 1
  store i32 %139, ptr %13, align 4
  call void @_ZdlPvm(ptr noundef %118, i64 noundef 32) #11
  br label %144

140:                                              ; preds = %129, %128
  %141 = landingpad { ptr, i32 }
          cleanup
  %142 = extractvalue { ptr, i32 } %141, 0
  store ptr %142, ptr %12, align 8
  %143 = extractvalue { ptr, i32 } %141, 1
  store i32 %143, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %20) #8
  br label %144

144:                                              ; preds = %140, %136, %132
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  br label %149

145:                                              ; preds = %131, %112
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #8
  store i32 0, ptr %9, align 4
  br label %146

146:                                              ; preds = %145, %91
  call void @llvm.lifetime.end.p0(i64 32, ptr %17) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  %147 = load i32, ptr %9, align 4
  switch i32 %147, label %192 [
    i32 0, label %148
  ]

148:                                              ; preds = %146
  br label %191

149:                                              ; preds = %144, %113
  call void @llvm.lifetime.end.p0(i64 4, ptr %18) #8
  br label %150

150:                                              ; preds = %149, %96
  call void @llvm.lifetime.end.p0(i64 32, ptr %17) #8
  br label %151

151:                                              ; preds = %150, %92
  call void @llvm.lifetime.end.p0(i64 4, ptr %16) #8
  br label %200

152:                                              ; preds = %80
  %153 = load ptr, ptr %15, align 8, !tbaa !5
  %154 = load ptr, ptr %14, align 8, !tbaa !5
  %155 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %154)
          to label %156 unwind label %72

156:                                              ; preds = %152
  %157 = icmp ne ptr %153, %155
  br i1 %157, label %158, label %190

158:                                              ; preds = %156
  %159 = load ptr, ptr %14, align 8, !tbaa !5
  %160 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %159)
          to label %161 unwind label %72

161:                                              ; preds = %158
  %162 = invoke noundef zeroext i1 @_ZN11check_casts4implL16is_not_interfacyEP7DexType(ptr noundef %160)
          to label %163 unwind label %72

163:                                              ; preds = %161
  br i1 %162, label %164, label %175

164:                                              ; preds = %163
  %165 = load ptr, ptr %15, align 8, !tbaa !5
  %166 = invoke noundef zeroext i1 @_ZN11check_casts4implL16is_not_interfacyEP7DexType(ptr noundef %165)
          to label %167 unwind label %72

167:                                              ; preds = %164
  br i1 %166, label %175, label %168

168:                                              ; preds = %167
  %169 = load ptr, ptr %14, align 8, !tbaa !5
  %170 = load ptr, ptr %14, align 8, !tbaa !5
  %171 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %170)
          to label %172 unwind label %72

172:                                              ; preds = %168
  %173 = invoke noundef ptr @_ZNK11check_casts4impl17CheckCastAnalysis16weaken_to_demandEP13IRInstructionP7DexTypeb(ptr noundef nonnull align 8 dereferenceable(104) %22, ptr noundef %169, ptr noundef %171, i1 noundef zeroext true)
          to label %174 unwind label %72

174:                                              ; preds = %172
  store ptr %173, ptr %15, align 8, !tbaa !5
  br label %175

175:                                              ; preds = %174, %167, %163
  %176 = load ptr, ptr %15, align 8, !tbaa !5
  %177 = load ptr, ptr %14, align 8, !tbaa !5
  %178 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %177)
          to label %179 unwind label %72

179:                                              ; preds = %175
  %180 = icmp ne ptr %176, %178
  br i1 %180, label %181, label %189

181:                                              ; preds = %179
  call void @llvm.lifetime.start.p0(i64 16, ptr %21) #8
  invoke void @_ZN5boost8optionalIP7DexTypeEC2ERKS2_(ptr noundef nonnull align 8 dereferenceable(16) %21, ptr noundef nonnull align 8 dereferenceable(8) %15)
          to label %182 unwind label %185

182:                                              ; preds = %181
  %183 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EE12emplace_backIJRPN3cfg5BlockERP13IRInstructionRKN5boost6none_tENSD_8optionalIP7DexTypeEEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 1 dereferenceable(1) @_ZN5boost4noneE, ptr noundef nonnull align 8 dereferenceable(16) %21)
          to label %184 unwind label %185

184:                                              ; preds = %182
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #8
  br label %189

185:                                              ; preds = %182, %181
  %186 = landingpad { ptr, i32 }
          cleanup
  %187 = extractvalue { ptr, i32 } %186, 0
  store ptr %187, ptr %12, align 8
  %188 = extractvalue { ptr, i32 } %186, 1
  store i32 %188, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %21) #8
  br label %200

189:                                              ; preds = %184, %179
  br label %190

190:                                              ; preds = %189, %156
  br label %191

191:                                              ; preds = %190, %148
  store i32 0, ptr %9, align 4
  br label %192

192:                                              ; preds = %191, %146
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #8
  %193 = load i32, ptr %9, align 4
  switch i32 %193, label %195 [
    i32 0, label %194
  ]

194:                                              ; preds = %192
  store i32 0, ptr %9, align 4
  br label %195

195:                                              ; preds = %194, %192
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  %196 = load i32, ptr %9, align 4
  switch i32 %196, label %212 [
    i32 0, label %197
    i32 3, label %198
  ]

197:                                              ; preds = %195
  br label %198

198:                                              ; preds = %197, %195
  %199 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3cfg23InstructionIteratorImplILb0EEESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %7) #8
  br label %30

200:                                              ; preds = %185, %151, %72
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  br label %201

201:                                              ; preds = %200, %55
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  br label %202

202:                                              ; preds = %201, %51
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %6) #8
  call void @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  br label %207

203:                                              ; preds = %32
  store i1 true, ptr %5, align 1
  store i32 1, ptr %9, align 4
  %204 = load i1, ptr %5, align 1
  br i1 %204, label %206, label %205

205:                                              ; preds = %203
  call void @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  br label %206

206:                                              ; preds = %205, %203
  ret void

207:                                              ; preds = %202
  %208 = load ptr, ptr %12, align 8
  %209 = load i32, ptr %13, align 4
  %210 = insertvalue { ptr, i32 } poison, ptr %208, 0
  %211 = insertvalue { ptr, i32 } %210, i32 %209, 1
  resume { ptr, i32 } %211

212:                                              ; preds = %195
  unreachable
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = !{!11, !11, i64 0}
!11 = !{!"int", !7, i64 0}
!12 = !{!13, !6, i64 8}
!13 = !{!"_ZTSN11check_casts4impl17CheckCastAnalysisE", !6, i64 0, !6, i64 8, !14, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !15, i64 56, !21, i64 64, !25, i64 88, !6, i64 96}
!14 = !{!"bool", !7, i64 0}
!15 = !{!"_ZTSSt10unique_ptrI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EE", !16, i64 0}
!16 = !{!"_ZTSSt15__uniq_ptr_dataI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_ELb1ELb1EE", !17, i64 0}
!17 = !{!"_ZTSSt15__uniq_ptr_implI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EE", !18, i64 0}
!18 = !{!"_ZTSSt5tupleIJP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EEE", !19, i64 0}
!19 = !{!"_ZTSSt11_Tuple_implILm0EJP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EEE", !20, i64 0}
!20 = !{!"_ZTSSt10_Head_baseILm0EP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EELb0EE", !6, i64 0}
!21 = !{!"_ZTSSt6vectorIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE", !22, i64 0}
!22 = !{!"_ZTSSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE", !23, i64 0}
!23 = !{!"_ZTSNSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE12_Vector_implE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!25 = !{!"_ZTSSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !26, i64 0}
!26 = !{!"_ZTSSt15__uniq_ptr_dataIN14type_inference13TypeInferenceESt14default_deleteIS1_ELb1ELb1EE", !27, i64 0}
!27 = !{!"_ZTSSt15__uniq_ptr_implIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !28, i64 0}
!28 = !{!"_ZTSSt5tupleIJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !29, i64 0}
!29 = !{!"_ZTSSt11_Tuple_implILm0EJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !30, i64 0}
!30 = !{!"_ZTSSt10_Head_baseILm0EPN14type_inference13TypeInferenceELb0EE", !6, 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"

%"struct.boost::none_t" = type { i8 }
%"class.std::vector.245" = type { %"struct.std::_Vector_base.246" }
%"struct.std::_Vector_base.246" = type { %"struct.std::_Vector_base<check_casts::impl::CheckCastReplacementItem, std::allocator<check_casts::impl::CheckCastReplacementItem>>::_Vector_impl" }
%"struct.std::_Vector_base<check_casts::impl::CheckCastReplacementItem, std::allocator<check_casts::impl::CheckCastReplacementItem>>::_Vector_impl" = type { %"struct.std::_Vector_base<check_casts::impl::CheckCastReplacementItem, std::allocator<check_casts::impl::CheckCastReplacementItem>>::_Vector_impl_data" }
%"struct.std::_Vector_base<check_casts::impl::CheckCastReplacementItem, std::allocator<check_casts::impl::CheckCastReplacementItem>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.250" = 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.boost::optional" = type { %"class.boost::optional_detail::tc_optional_base" }
%"class.boost::optional_detail::tc_optional_base" = type { i8, ptr }
%"class.boost::optional.251" = type { %"class.boost::optional_detail::tc_optional_base.252" }
%"class.boost::optional_detail::tc_optional_base.252" = type { i8, ptr }

@_ZN5boost4noneE = external dso_local global %"struct.boost::none_t", align 1
@.str.9 = external hidden unnamed_addr constant [107 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [36 x i8], align 1
@__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis36collect_redundant_checks_replacementEv = external hidden unnamed_addr constant [105 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZN11check_casts4implL16is_not_interfacyEP7DexType(ptr noundef) local_unnamed_addr #3

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

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK11check_casts4impl17CheckCastAnalysis36collect_redundant_checks_replacementEv(ptr dead_on_unwind noalias nonnull writable sret(%"class.std::vector.245") align 8 %0, ptr noundef nonnull align 8 dereferenceable(104) %1) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca %"class.__gnu_cxx::__normal_iterator.250", align 8
  %4 = alloca %"class.__gnu_cxx::__normal_iterator.250", align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca %"class.cfg::InstructionIteratorImpl", align 8
  %9 = alloca ptr, align 8
  %10 = alloca %"class.boost::optional", align 8
  %11 = alloca %"class.boost::optional.251", align 8
  tail call void @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  %12 = getelementptr inbounds i8, ptr %1, i64 64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %3) #8
  %13 = tail call ptr @_ZNKSt6vectorIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #8
  store ptr %13, ptr %3, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #8
  %14 = tail call ptr @_ZNKSt6vectorIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %12) #8
  store ptr %14, ptr %4, align 8
  %15 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3cfg23InstructionIteratorImplILb0EEESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %3, ptr noundef nonnull align 8 dereferenceable(8) %4) #8
  br i1 %15, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %2
  %16 = getelementptr inbounds i8, ptr %1, i64 8
  br label %17

._crit_edge:                                      ; preds = %125, %2
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #8
  ret void

17:                                               ; preds = %.lr.ph, %125
  %18 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3cfg23InstructionIteratorImplILb0EEESt6vectorIS3_SaIS3_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %3) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #8
  %19 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EE5blockEv(ptr noundef nonnull align 8 dereferenceable(32) %18)
          to label %20 unwind label %29

20:                                               ; preds = %17
  store ptr %19, ptr %5, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #8
  %21 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(32) %18)
          to label %22 unwind label %.loopexit

22:                                               ; preds = %20
  %23 = getelementptr inbounds i8, ptr %21, i64 24
  %24 = load ptr, ptr %23, align 8, !tbaa !9
  store ptr %24, ptr %6, align 8, !tbaa !5
  %25 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %24)
  %26 = icmp eq i16 %25, 18
  br i1 %26, label %31, label %27

27:                                               ; preds = %22
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.25, ptr noundef nonnull @.str.9, i32 noundef 476, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis36collect_redundant_checks_replacementEv, i32 noundef 2, ptr noundef nonnull @.str.10) #9
          to label %28 unwind label %.loopexit.split-lp

28:                                               ; preds = %27
  unreachable

29:                                               ; preds = %17
  %30 = landingpad { ptr, i32 }
          cleanup
  br label %130

.loopexit:                                        ; preds = %20
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %129

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

31:                                               ; preds = %22
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #8
  %32 = load ptr, ptr %6, align 8, !tbaa !5
  %33 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %32)
          to label %34 unwind label %42

34:                                               ; preds = %31
  store ptr %33, ptr %7, align 8, !tbaa !5
  %35 = load ptr, ptr %5, align 8, !tbaa !5
  %36 = invoke noundef zeroext i1 @_ZNK11check_casts4impl17CheckCastAnalysis30can_catch_class_cast_exceptionEPN3cfg5BlockE(ptr noundef nonnull align 8 dereferenceable(104) %1, ptr noundef %35)
          to label %37 unwind label %42

37:                                               ; preds = %34
  %.pre = load ptr, ptr %7, align 8, !tbaa !5
  br i1 %36, label %44, label %38

38:                                               ; preds = %37
  %39 = load ptr, ptr %6, align 8, !tbaa !5
  %40 = invoke noundef ptr @_ZNK11check_casts4impl17CheckCastAnalysis16weaken_to_demandEP13IRInstructionP7DexTypeb(ptr noundef nonnull align 8 dereferenceable(104) %1, ptr noundef %39, ptr noundef %.pre, i1 noundef zeroext false)
          to label %41 unwind label %42

41:                                               ; preds = %38
  store ptr %40, ptr %7, align 8, !tbaa !5
  br label %44

42:                                               ; preds = %114, %111, %108, %105, %102, %99, %94, %44, %38, %34, %31
  %43 = landingpad { ptr, i32 }
          cleanup
  br label %128

44:                                               ; preds = %41, %37
  %45 = phi ptr [ %40, %41 ], [ %.pre, %37 ]
  %46 = load ptr, ptr %6, align 8, !tbaa !5
  %47 = invoke noundef zeroext i1 @_ZNK11check_casts4impl17CheckCastAnalysis23is_check_cast_redundantEP13IRInstructionP7DexType(ptr noundef nonnull align 8 dereferenceable(104) %1, ptr noundef %46, ptr noundef %45)
          to label %48 unwind label %42

48:                                               ; preds = %44
  br i1 %47, label %49, label %94

49:                                               ; preds = %48
  %50 = load ptr, ptr %6, align 8, !tbaa !5
  %51 = invoke noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %50, i16 noundef zeroext 0)
          to label %52 unwind label %57

52:                                               ; preds = %49
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %8) #8
  %53 = load ptr, ptr %16, align 8, !tbaa !10
  invoke void @_ZN3cfg16ControlFlowGraph14move_result_ofERKNS_23InstructionIteratorImplILb0EEE(ptr dead_on_unwind nonnull writable sret(%"class.cfg::InstructionIteratorImpl") align 8 %8, ptr noundef nonnull align 8 dereferenceable(160) %53, ptr noundef nonnull align 8 dereferenceable(32) %18)
          to label %54 unwind label %59

54:                                               ; preds = %52
  %55 = invoke noundef zeroext i1 @_ZNK3cfg23InstructionIteratorImplILb0EE6is_endEv(ptr noundef nonnull align 8 dereferenceable(32) %8)
          to label %56 unwind label %59

56:                                               ; preds = %54
  br i1 %55, label %.critedge, label %61

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

59:                                               ; preds = %54, %52
  %60 = landingpad { ptr, i32 }
          cleanup
  br label %93

61:                                               ; preds = %56
  %62 = invoke noundef ptr @_ZNK3cfg23InstructionIteratorImplILb0EEptEv(ptr noundef nonnull align 8 dereferenceable(32) %8)
          to label %63 unwind label %71

63:                                               ; preds = %61
  %64 = getelementptr inbounds i8, ptr %62, i64 24
  %65 = load ptr, ptr %64, align 8, !tbaa !9
  %66 = invoke noundef i32 @_ZNK13IRInstruction4destEv(ptr noundef nonnull align 8 dereferenceable(32) %65)
          to label %67 unwind label %71

67:                                               ; preds = %63
  %68 = icmp eq i32 %51, %66
  br i1 %68, label %69, label %73

69:                                               ; preds = %67
  %70 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EE12emplace_backIJRPN3cfg5BlockERP13IRInstructionRKN5boost6none_tESG_EEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull align 1 dereferenceable(1) @_ZN5boost4noneE, ptr noundef nonnull align 1 dereferenceable(1) @_ZN5boost4noneE)
          to label %92 unwind label %71

71:                                               ; preds = %69, %63, %61
  %72 = landingpad { ptr, i32 }
          cleanup
  br label %93

73:                                               ; preds = %67
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #8
  %74 = invoke noalias noundef nonnull dereferenceable(32) ptr @_Znwm(i64 noundef 32) #10
          to label %75 unwind label %85

75:                                               ; preds = %73
  invoke void @_ZN13IRInstructionC1E8IROpcode(ptr noundef nonnull align 8 dereferenceable(32) %74, i16 noundef zeroext 3)
          to label %76 unwind label %87

76:                                               ; preds = %75
  store ptr %74, ptr %9, align 8, !tbaa !5
  %77 = invoke noundef ptr @_ZN13IRInstruction7set_srcEtj(ptr noundef nonnull align 8 dereferenceable(32) %74, i16 noundef zeroext 0, i32 noundef %51)
          to label %78 unwind label %85

78:                                               ; preds = %76
  %79 = load ptr, ptr %9, align 8, !tbaa !5
  %80 = invoke noundef ptr @_ZN13IRInstruction8set_destEj(ptr noundef nonnull align 8 dereferenceable(32) %79, i32 noundef %66)
          to label %81 unwind label %85

81:                                               ; preds = %78
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #8
  invoke void @_ZN5boost8optionalIP13IRInstructionEC2ERKS2_(ptr noundef nonnull align 8 dereferenceable(16) %10, ptr noundef nonnull align 8 dereferenceable(8) %9)
          to label %82 unwind label %89

82:                                               ; preds = %81
  %83 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EE12emplace_backIJRPN3cfg5BlockERP13IRInstructionN5boost8optionalISB_EERKNSD_6none_tEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull align 8 dereferenceable(16) %10, ptr noundef nonnull align 1 dereferenceable(1) @_ZN5boost4noneE)
          to label %84 unwind label %89

84:                                               ; preds = %82
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  br label %92

85:                                               ; preds = %78, %76, %73
  %86 = landingpad { ptr, i32 }
          cleanup
  br label %91

87:                                               ; preds = %75
  %88 = landingpad { ptr, i32 }
          cleanup
  call void @_ZdlPvm(ptr noundef nonnull %74, i64 noundef 32) #11
  br label %91

89:                                               ; preds = %82, %81
  %90 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #8
  br label %91

91:                                               ; preds = %89, %87, %85
  %.pn = phi { ptr, i32 } [ %90, %89 ], [ %86, %85 ], [ %88, %87 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  br label %93

92:                                               ; preds = %84, %69
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #8
  br label %125

93:                                               ; preds = %71, %91, %59
  %.pn28.pn = phi { ptr, i32 } [ %60, %59 ], [ %72, %71 ], [ %.pn, %91 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #8
  br label %128

94:                                               ; preds = %48
  %95 = load ptr, ptr %7, align 8, !tbaa !5
  %96 = load ptr, ptr %6, align 8, !tbaa !5
  %97 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %96)
          to label %98 unwind label %42

98:                                               ; preds = %94
  %.not = icmp eq ptr %95, %97
  br i1 %.not, label %125, label %99

99:                                               ; preds = %98
  %100 = load ptr, ptr %6, align 8, !tbaa !5
  %101 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %100)
          to label %102 unwind label %42

102:                                              ; preds = %99
  %103 = invoke noundef zeroext i1 @_ZN11check_casts4implL16is_not_interfacyEP7DexType(ptr noundef %101)
          to label %104 unwind label %42

104:                                              ; preds = %102
  %.pre39 = load ptr, ptr %7, align 8, !tbaa !5
  br i1 %103, label %105, label %114

105:                                              ; preds = %104
  %106 = invoke noundef zeroext i1 @_ZN11check_casts4implL16is_not_interfacyEP7DexType(ptr noundef %.pre39)
          to label %107 unwind label %42

107:                                              ; preds = %105
  br i1 %106, label %._crit_edge37, label %108

._crit_edge37:                                    ; preds = %107
  %.pre38 = load ptr, ptr %7, align 8, !tbaa !5
  br label %114

108:                                              ; preds = %107
  %109 = load ptr, ptr %6, align 8, !tbaa !5
  %110 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %109)
          to label %111 unwind label %42

111:                                              ; preds = %108
  %112 = invoke noundef ptr @_ZNK11check_casts4impl17CheckCastAnalysis16weaken_to_demandEP13IRInstructionP7DexTypeb(ptr noundef nonnull align 8 dereferenceable(104) %1, ptr noundef nonnull %109, ptr noundef %110, i1 noundef zeroext true)
          to label %113 unwind label %42

113:                                              ; preds = %111
  store ptr %112, ptr %7, align 8, !tbaa !5
  br label %114

114:                                              ; preds = %._crit_edge37, %113, %104
  %115 = phi ptr [ %.pre38, %._crit_edge37 ], [ %112, %113 ], [ %.pre39, %104 ]
  %116 = load ptr, ptr %6, align 8, !tbaa !5
  %117 = invoke noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %116)
          to label %118 unwind label %42

118:                                              ; preds = %114
  %.not26 = icmp eq ptr %115, %117
  br i1 %.not26, label %125, label %119

119:                                              ; preds = %118
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %11) #8
  invoke void @_ZN5boost8optionalIP7DexTypeEC2ERKS2_(ptr noundef nonnull align 8 dereferenceable(16) %11, ptr noundef nonnull align 8 dereferenceable(8) %7)
          to label %120 unwind label %123

120:                                              ; preds = %119
  %121 = invoke noundef nonnull align 8 dereferenceable(48) ptr @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EE12emplace_backIJRPN3cfg5BlockERP13IRInstructionRKN5boost6none_tENSD_8optionalIP7DexTypeEEEEERS2_DpOT_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %6, ptr noundef nonnull align 1 dereferenceable(1) @_ZN5boost4noneE, ptr noundef nonnull align 8 dereferenceable(16) %11)
          to label %122 unwind label %123

122:                                              ; preds = %120
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #8
  br label %125

123:                                              ; preds = %120, %119
  %124 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %11) #8
  br label %128

.critedge:                                        ; preds = %56
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %8) #8
  br label %125

125:                                              ; preds = %92, %118, %122, %98, %.critedge
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #8
  %126 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3cfg23InstructionIteratorImplILb0EEESt6vectorIS3_SaIS3_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %3) #8
  %127 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3cfg23InstructionIteratorImplILb0EEESt6vectorIS3_SaIS3_EEEEbRKNS_17__normal_iteratorIT_T0_EESE_(ptr noundef nonnull align 8 dereferenceable(8) %3, ptr noundef nonnull align 8 dereferenceable(8) %4) #8
  br i1 %127, label %17, label %._crit_edge

128:                                              ; preds = %57, %93, %123, %42
  %.pn28.pn.pn.pn = phi { ptr, i32 } [ %124, %123 ], [ %43, %42 ], [ %.pn28.pn, %93 ], [ %58, %57 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #8
  br label %129

129:                                              ; preds = %.loopexit, %.loopexit.split-lp, %128
  %.pn28.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn28.pn.pn.pn, %128 ], [ %lpad.loopexit, %.loopexit ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #8
  br label %130

130:                                              ; preds = %129, %29
  %.pn28.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn28.pn.pn.pn.pn, %129 ], [ %30, %29 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %3) #8
  call void @_ZNSt6vectorIN11check_casts4impl24CheckCastReplacementItemESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %0) #8
  resume { ptr, i32 } %.pn28.pn.pn.pn.pn.pn
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!7, !7, i64 0}
!10 = !{!11, !6, i64 8}
!11 = !{!"_ZTSN11check_casts4impl17CheckCastAnalysisE", !6, i64 0, !6, i64 8, !12, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !13, i64 56, !19, i64 64, !23, i64 88, !6, i64 96}
!12 = !{!"bool", !7, i64 0}
!13 = !{!"_ZTSSt10unique_ptrI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EE", !14, i64 0}
!14 = !{!"_ZTSSt15__uniq_ptr_dataI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_ELb1ELb1EE", !15, i64 0}
!15 = !{!"_ZTSSt15__uniq_ptr_implI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EE", !16, i64 0}
!16 = !{!"_ZTSSt5tupleIJP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EEE", !17, i64 0}
!17 = !{!"_ZTSSt11_Tuple_implILm0EJP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EEE", !18, i64 0}
!18 = !{!"_ZTSSt10_Head_baseILm0EP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EELb0EE", !6, i64 0}
!19 = !{!"_ZTSSt6vectorIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE", !20, i64 0}
!20 = !{!"_ZTSSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE12_Vector_implE", !22, i64 0}
!22 = !{!"_ZTSNSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!23 = !{!"_ZTSSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !24, i64 0}
!24 = !{!"_ZTSSt15__uniq_ptr_dataIN14type_inference13TypeInferenceESt14default_deleteIS1_ELb1ELb1EE", !25, i64 0}
!25 = !{!"_ZTSSt15__uniq_ptr_implIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !26, i64 0}
!26 = !{!"_ZTSSt5tupleIJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !27, i64 0}
!27 = !{!"_ZTSSt11_Tuple_implILm0EJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !28, i64 0}
!28 = !{!"_ZTSSt10_Head_baseILm0EPN14type_inference13TypeInferenceELb0EE", !6, i64 0}


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