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

%"class.std::basic_string_view" = type { i64, ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.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 }

@.str.8 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [107 x i8], align 1
@__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm = external hidden unnamed_addr constant [94 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [30 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 uwtable
define dso_local noundef ptr @_ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm(ptr noundef nonnull align 8 dereferenceable(104) %0, ptr noundef %1, i64 noundef %2) #2 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i64, align 8
  %8 = alloca %"class.std::basic_string_view", align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i64, align 8
  %12 = alloca i32, align 4
  %13 = alloca %"class.std::__cxx11::basic_string", align 8
  %14 = alloca ptr, align 8
  %15 = alloca i32, align 4
  store ptr %0, ptr %5, align 8, !tbaa !5
  store ptr %1, ptr %6, align 8, !tbaa !5
  store i64 %2, ptr %7, align 8, !tbaa !9
  %16 = load ptr, ptr %5, align 8
  %17 = load i64, ptr %7, align 8, !tbaa !9
  %18 = load ptr, ptr %6, align 8, !tbaa !5
  %19 = call noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %18)
  %20 = icmp ult i64 %17, %19
  br i1 %20, label %21, label %22

21:                                               ; preds = %3
  br label %24

22:                                               ; preds = %3
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.8, ptr noundef @.str.9, i32 noundef 27, ptr noundef @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.10) #5
  unreachable

23:                                               ; No predecessors!
  br label %24

24:                                               ; preds = %23, %21
  %25 = load ptr, ptr %6, align 8, !tbaa !5
  %26 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %25)
  %27 = zext i16 %26 to i32
  switch i32 %27, label %140 [
    i32 26, label %28
    i32 160, label %28
    i32 161, label %28
    i32 162, label %28
    i32 0, label %28
    i32 163, label %28
    i32 4, label %28
    i32 164, label %28
    i32 6, label %28
    i32 165, label %28
    i32 5, label %28
    i32 7, label %28
    i32 8, label %28
    i32 12, label %28
    i32 13, label %28
    i32 14, label %28
    i32 15, label %28
    i32 21, label %28
    i32 73, label %28
    i32 76, label %28
    i32 77, label %28
    i32 78, label %28
    i32 79, label %28
    i32 74, label %28
    i32 75, label %28
    i32 9, label %28
    i32 10, label %28
    i32 1, label %28
    i32 2, label %28
    i32 22, label %28
    i32 27, label %28
    i32 94, label %28
    i32 95, label %28
    i32 112, label %28
    i32 113, label %28
    i32 114, label %28
    i32 100, label %28
    i32 101, label %28
    i32 102, label %28
    i32 115, label %28
    i32 116, label %28
    i32 117, label %28
    i32 120, label %28
    i32 121, label %28
    i32 122, label %28
    i32 123, label %28
    i32 124, label %28
    i32 125, label %28
    i32 118, label %28
    i32 119, label %28
    i32 147, label %28
    i32 148, label %28
    i32 149, label %28
    i32 152, label %28
    i32 153, label %28
    i32 154, label %28
    i32 155, label %28
    i32 156, label %28
    i32 157, label %28
    i32 150, label %28
    i32 151, label %28
    i32 28, label %28
    i32 29, label %28
    i32 98, label %28
    i32 106, label %28
    i32 107, label %28
    i32 108, label %28
    i32 137, label %28
    i32 138, label %28
    i32 139, label %28
    i32 140, label %28
    i32 141, label %28
    i32 30, label %28
    i32 31, label %28
    i32 99, label %28
    i32 109, label %28
    i32 110, label %28
    i32 111, label %28
    i32 142, label %28
    i32 143, label %28
    i32 144, label %28
    i32 145, label %28
    i32 146, label %28
    i32 32, label %28
    i32 96, label %28
    i32 97, label %28
    i32 103, label %28
    i32 104, label %28
    i32 105, label %28
    i32 126, label %28
    i32 127, label %28
    i32 128, label %28
    i32 131, label %28
    i32 132, label %28
    i32 133, label %28
    i32 129, label %28
    i32 130, label %28
    i32 134, label %28
    i32 135, label %28
    i32 136, label %28
    i32 41, label %28
    i32 42, label %28
    i32 43, label %28
    i32 44, label %28
    i32 35, label %28
    i32 36, label %28
    i32 37, label %28
    i32 38, label %28
    i32 80, label %28
    i32 83, label %28
    i32 84, label %28
    i32 85, label %28
    i32 86, label %28
    i32 81, label %28
    i32 166, label %28
    i32 167, label %28
    i32 168, label %28
    i32 169, label %28
    i32 23, label %32
    i32 11, label %36
    i32 3, label %39
    i32 16, label %39
    i32 17, label %39
    i32 20, label %41
    i32 24, label %41
    i32 45, label %41
    i32 48, label %41
    i32 49, label %41
    i32 50, label %41
    i32 51, label %41
    i32 46, label %41
    i32 47, label %41
    i32 25, label %42
    i32 59, label %44
    i32 62, label %44
    i32 63, label %44
    i32 64, label %44
    i32 65, label %44
    i32 60, label %44
    i32 61, label %44
    i32 19, label %48
    i32 18, label %48
    i32 33, label %50
    i32 34, label %50
    i32 39, label %50
    i32 40, label %50
    i32 54, label %52
    i32 52, label %67
    i32 55, label %67
    i32 56, label %67
    i32 57, label %67
    i32 58, label %67
    i32 53, label %67
    i32 68, label %68
    i32 66, label %76
    i32 69, label %76
    i32 70, label %76
    i32 71, label %76
    i32 72, label %76
    i32 67, label %76
    i32 82, label %84
    i32 87, label %88
    i32 88, label %88
    i32 89, label %88
    i32 90, label %88
    i32 91, label %88
    i32 93, label %129
    i32 92, label %129
    i32 158, label %129
    i32 159, label %129
  ]

28:                                               ; preds = %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24, %24
  br label %29

29:                                               ; preds = %30, %28
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.11, ptr noundef @.str.9, i32 noundef 147, ptr noundef @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.10) #5
  unreachable

30:                                               ; No predecessors!
  br i1 true, label %29, label %31, !llvm.loop !11

31:                                               ; preds = %30
  br label %32

32:                                               ; preds = %31, %24
  %33 = load ptr, ptr %6, align 8, !tbaa !5
  %34 = call noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %33)
  %35 = call noundef ptr @_ZN4type24get_array_component_typeEPK7DexType(ptr noundef %34)
  store ptr %35, ptr %4, align 8
  br label %141

36:                                               ; preds = %24
  %37 = getelementptr inbounds %"class.check_casts::impl::CheckCastAnalysis", ptr %16, i32 0, i32 5
  %38 = load ptr, ptr %37, align 8, !tbaa !13
  store ptr %38, ptr %4, align 8
  br label %141

39:                                               ; preds = %24, %24, %24
  %40 = call noundef ptr @_ZN4type16java_lang_ObjectEv()
  store ptr %40, ptr %4, align 8
  br label %141

41:                                               ; preds = %24, %24, %24, %24, %24, %24, %24, %24, %24
  store ptr null, ptr %4, align 8
  br label %141

42:                                               ; preds = %24
  %43 = call noundef ptr @_ZN4type19java_lang_ThrowableEv()
  store ptr %43, ptr %4, align 8
  br label %141

44:                                               ; preds = %24, %24, %24, %24, %24, %24, %24
  %45 = load ptr, ptr %6, align 8, !tbaa !5
  %46 = call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %45)
  %47 = call noundef ptr @_ZNK11DexFieldRef9get_classEv(ptr noundef nonnull align 8 dereferenceable(26) %46)
  store ptr %47, ptr %4, align 8
  br label %141

48:                                               ; preds = %24, %24
  %49 = call noundef ptr @_ZN4type16java_lang_ObjectEv()
  store ptr %49, ptr %4, align 8
  br label %141

50:                                               ; preds = %24, %24, %24, %24
  %51 = call noundef ptr @_ZN4type16java_lang_ObjectEv()
  store ptr %51, ptr %4, align 8
  br label %141

52:                                               ; preds = %24
  %53 = load i64, ptr %7, align 8, !tbaa !9
  %54 = icmp eq i64 %53, 0
  br i1 %54, label %55, label %57

55:                                               ; preds = %52
  %56 = call noundef ptr @_ZN4type16java_lang_ObjectEv()
  store ptr %56, ptr %4, align 8
  br label %141

57:                                               ; preds = %52
  %58 = load i64, ptr %7, align 8, !tbaa !9
  %59 = icmp eq i64 %58, 1
  br i1 %59, label %60, label %66

60:                                               ; preds = %57
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef @.str.12) #6
  %61 = getelementptr inbounds { i64, ptr }, ptr %8, i32 0, i32 0
  %62 = load i64, ptr %61, align 8
  %63 = getelementptr inbounds { i64, ptr }, ptr %8, i32 0, i32 1
  %64 = load ptr, ptr %63, align 8
  %65 = call noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64 %62, ptr %64)
  store ptr %65, ptr %4, align 8
  br label %141

66:                                               ; preds = %57
  br label %67

67:                                               ; preds = %66, %24, %24, %24, %24, %24, %24
  store ptr null, ptr %4, align 8
  br label %141

68:                                               ; preds = %24
  %69 = load i64, ptr %7, align 8, !tbaa !9
  %70 = icmp eq i64 %69, 0
  br i1 %70, label %71, label %75

71:                                               ; preds = %68
  %72 = load ptr, ptr %6, align 8, !tbaa !5
  %73 = call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %72)
  %74 = call noundef ptr @_ZNK11DexFieldRef8get_typeEv(ptr noundef nonnull align 8 dereferenceable(26) %73)
  store ptr %74, ptr %4, align 8
  br label %141

75:                                               ; preds = %68
  br label %76

76:                                               ; preds = %75, %24, %24, %24, %24, %24, %24
  %77 = load i64, ptr %7, align 8, !tbaa !9
  %78 = icmp eq i64 %77, 1
  br i1 %78, label %79, label %83

79:                                               ; preds = %76
  %80 = load ptr, ptr %6, align 8, !tbaa !5
  %81 = call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %80)
  %82 = call noundef ptr @_ZNK11DexFieldRef9get_classEv(ptr noundef nonnull align 8 dereferenceable(26) %81)
  store ptr %82, ptr %4, align 8
  br label %141

83:                                               ; preds = %76
  store ptr null, ptr %4, align 8
  br label %141

84:                                               ; preds = %24
  %85 = load ptr, ptr %6, align 8, !tbaa !5
  %86 = call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %85)
  %87 = call noundef ptr @_ZNK11DexFieldRef8get_typeEv(ptr noundef nonnull align 8 dereferenceable(26) %86)
  store ptr %87, ptr %4, align 8
  br label %141

88:                                               ; preds = %24, %24, %24, %24, %24
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #6
  %89 = load ptr, ptr %6, align 8, !tbaa !5
  %90 = call noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32) %89)
  store ptr %90, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #6
  %91 = load ptr, ptr %9, align 8, !tbaa !5
  %92 = call noundef ptr @_ZNK12DexMethodRef9get_protoEv(ptr noundef nonnull align 8 dereferenceable(26) %91)
  %93 = call noundef ptr @_ZNK8DexProto8get_argsEv(ptr noundef nonnull align 8 dereferenceable(24) %92)
  store ptr %93, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #6
  %94 = load ptr, ptr %6, align 8, !tbaa !5
  %95 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %94)
  %96 = zext i16 %95 to i32
  %97 = icmp ne i32 %96, 90
  %98 = zext i1 %97 to i64
  %99 = select i1 %97, i32 1, i32 0
  %100 = sext i32 %99 to i64
  %101 = load ptr, ptr %10, align 8, !tbaa !5
  %102 = call noundef i64 @_ZNK11DexTypeList4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %101)
  %103 = add i64 %100, %102
  store i64 %103, ptr %11, align 8, !tbaa !9
  %104 = load ptr, ptr %6, align 8, !tbaa !5
  %105 = call noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %104)
  %106 = load i64, ptr %11, align 8, !tbaa !9
  %107 = icmp eq i64 %105, %106
  br i1 %107, label %108, label %109

108:                                              ; preds = %88
  br label %111

109:                                              ; preds = %88
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.13, ptr noundef @.str.9, i32 noundef 241, ptr noundef @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.10) #5
  unreachable

110:                                              ; No predecessors!
  br label %111

111:                                              ; preds = %110, %108
  %112 = load ptr, ptr %6, align 8, !tbaa !5
  %113 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %112)
  %114 = zext i16 %113 to i32
  %115 = icmp ne i32 %114, 90
  br i1 %115, label %116, label %124

116:                                              ; preds = %111
  %117 = load i64, ptr %7, align 8, !tbaa !9
  %118 = add i64 %117, -1
  store i64 %118, ptr %7, align 8, !tbaa !9
  %119 = icmp eq i64 %117, 0
  br i1 %119, label %120, label %123

120:                                              ; preds = %116
  %121 = load ptr, ptr %9, align 8, !tbaa !5
  %122 = call noundef ptr @_ZNK12DexMethodRef9get_classEv(ptr noundef nonnull align 8 dereferenceable(26) %121)
  store ptr %122, ptr %4, align 8
  store i32 1, ptr %12, align 4
  br label %128

123:                                              ; preds = %116
  br label %124

124:                                              ; preds = %123, %111
  %125 = load ptr, ptr %10, align 8, !tbaa !5
  %126 = load i64, ptr %7, align 8, !tbaa !9
  %127 = call noundef ptr @_ZNK11DexTypeList2atEm(ptr noundef nonnull align 8 dereferenceable(24) %125, i64 noundef %126)
  store ptr %127, ptr %4, align 8
  store i32 1, ptr %12, align 4
  br label %128

128:                                              ; preds = %124, %120
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #6
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #6
  br label %141

129:                                              ; preds = %24, %24, %24, %24
  br label %130

130:                                              ; preds = %138, %129
  call void @llvm.lifetime.start.p0(i64 32, ptr %13) #6
  %131 = load ptr, ptr %6, align 8, !tbaa !5
  call void @_Z4showI13IRInstructionRSoENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPT_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %13, ptr noundef %131)
  %132 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %13) #6
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.14, ptr noundef @.str.9, i32 noundef 254, ptr noundef @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.15, ptr noundef %132) #5
          to label %133 unwind label %134

133:                                              ; preds = %130
  unreachable

134:                                              ; preds = %130
  %135 = landingpad { ptr, i32 }
          cleanup
  %136 = extractvalue { ptr, i32 } %135, 0
  store ptr %136, ptr %14, align 8
  %137 = extractvalue { ptr, i32 } %135, 1
  store i32 %137, ptr %15, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %13) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr %13) #6
  br label %143

138:                                              ; No predecessors!
  br i1 true, label %130, label %139, !llvm.loop !32

139:                                              ; preds = %138
  br label %140

140:                                              ; preds = %139, %24
  unreachable

141:                                              ; preds = %128, %84, %83, %79, %71, %67, %60, %55, %50, %48, %44, %42, %41, %39, %36, %32
  %142 = load ptr, ptr %4, align 8
  ret ptr %142

143:                                              ; preds = %134
  %144 = load ptr, ptr %14, align 8
  %145 = load i32, ptr %15, align 4
  %146 = insertvalue { ptr, i32 } poison, ptr %144, 0
  %147 = insertvalue { ptr, i32 } %146, i32 %145, 1
  resume { ptr, i32 } %147
}

declare noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32)) #3

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

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

declare noundef ptr @_ZN4type24get_array_component_typeEPK7DexType(ptr noundef) #3

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

declare noundef ptr @_ZN4type16java_lang_ObjectEv() #3

declare noundef ptr @_ZN4type19java_lang_ThrowableEv() #3

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64, ptr) #2 align 2

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZNK11DexTypeList2atEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #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 nounwind uwtable
declare noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32)) #1 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 = { "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 = { 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 #5 = { noreturn }
attributes #6 = { 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, !10, i64 0}
!10 = !{!"long", !7, i64 0}
!11 = distinct !{!11, !12}
!12 = !{!"llvm.loop.mustprogress"}
!13 = !{!14, !6, i64 40}
!14 = !{!"_ZTSN11check_casts4impl17CheckCastAnalysisE", !6, i64 0, !6, i64 8, !15, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48, !16, i64 56, !22, i64 64, !26, i64 88, !6, i64 96}
!15 = !{!"bool", !7, i64 0}
!16 = !{!"_ZTSSt10unique_ptrI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EE", !17, i64 0}
!17 = !{!"_ZTSSt15__uniq_ptr_dataI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_ELb1ELb1EE", !18, i64 0}
!18 = !{!"_ZTSSt15__uniq_ptr_implI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EE", !19, i64 0}
!19 = !{!"_ZTSSt5tupleIJP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EEE", !20, i64 0}
!20 = !{!"_ZTSSt11_Tuple_implILm0EJP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EEE", !21, i64 0}
!21 = !{!"_ZTSSt10_Head_baseILm0EP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EELb0EE", !6, i64 0}
!22 = !{!"_ZTSSt6vectorIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE", !23, i64 0}
!23 = !{!"_ZTSSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE", !24, i64 0}
!24 = !{!"_ZTSNSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE12_Vector_implE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!26 = !{!"_ZTSSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !27, i64 0}
!27 = !{!"_ZTSSt15__uniq_ptr_dataIN14type_inference13TypeInferenceESt14default_deleteIS1_ELb1ELb1EE", !28, i64 0}
!28 = !{!"_ZTSSt15__uniq_ptr_implIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !29, i64 0}
!29 = !{!"_ZTSSt5tupleIJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !30, i64 0}
!30 = !{!"_ZTSSt11_Tuple_implILm0EJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !31, i64 0}
!31 = !{!"_ZTSSt10_Head_baseILm0EPN14type_inference13TypeInferenceELb0EE", !6, i64 0}
!32 = distinct !{!32, !12}


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

%"class.std::basic_string_view" = type { i64, ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }

@.str.8 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [107 x i8], align 1
@__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm = external hidden unnamed_addr constant [94 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.12 = external hidden unnamed_addr constant [20 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.15 = external hidden unnamed_addr constant [30 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 uwtable
define dso_local noundef ptr @_ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm(ptr nocapture noundef nonnull readonly align 8 dereferenceable(104) %0, ptr noundef nonnull %1, i64 noundef %2) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca %"class.std::basic_string_view", align 8
  %5 = alloca %"class.std::__cxx11::basic_string", align 8
  %6 = tail call noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %7 = icmp ugt i64 %6, %2
  br i1 %7, label %9, label %8

8:                                                ; preds = %3
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.8, ptr noundef nonnull @.str.9, i32 noundef 27, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.10) #5
  unreachable

9:                                                ; preds = %3
  %10 = tail call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  switch i16 %10, label %74 [
    i16 26, label %11
    i16 160, label %11
    i16 161, label %11
    i16 162, label %11
    i16 0, label %11
    i16 163, label %11
    i16 4, label %11
    i16 164, label %11
    i16 6, label %11
    i16 165, label %11
    i16 5, label %11
    i16 7, label %11
    i16 8, label %11
    i16 12, label %11
    i16 13, label %11
    i16 14, label %11
    i16 15, label %11
    i16 21, label %11
    i16 73, label %11
    i16 76, label %11
    i16 77, label %11
    i16 78, label %11
    i16 79, label %11
    i16 74, label %11
    i16 75, label %11
    i16 9, label %11
    i16 10, label %11
    i16 1, label %11
    i16 2, label %11
    i16 22, label %11
    i16 27, label %11
    i16 94, label %11
    i16 95, label %11
    i16 112, label %11
    i16 113, label %11
    i16 114, label %11
    i16 100, label %11
    i16 101, label %11
    i16 102, label %11
    i16 115, label %11
    i16 116, label %11
    i16 117, label %11
    i16 120, label %11
    i16 121, label %11
    i16 122, label %11
    i16 123, label %11
    i16 124, label %11
    i16 125, label %11
    i16 118, label %11
    i16 119, label %11
    i16 147, label %11
    i16 148, label %11
    i16 149, label %11
    i16 152, label %11
    i16 153, label %11
    i16 154, label %11
    i16 155, label %11
    i16 156, label %11
    i16 157, label %11
    i16 150, label %11
    i16 151, label %11
    i16 28, label %11
    i16 29, label %11
    i16 98, label %11
    i16 106, label %11
    i16 107, label %11
    i16 108, label %11
    i16 137, label %11
    i16 138, label %11
    i16 139, label %11
    i16 140, label %11
    i16 141, label %11
    i16 30, label %11
    i16 31, label %11
    i16 99, label %11
    i16 109, label %11
    i16 110, label %11
    i16 111, label %11
    i16 142, label %11
    i16 143, label %11
    i16 144, label %11
    i16 145, label %11
    i16 146, label %11
    i16 32, label %11
    i16 96, label %11
    i16 97, label %11
    i16 103, label %11
    i16 104, label %11
    i16 105, label %11
    i16 126, label %11
    i16 127, label %11
    i16 128, label %11
    i16 131, label %11
    i16 132, label %11
    i16 133, label %11
    i16 129, label %11
    i16 130, label %11
    i16 134, label %11
    i16 135, label %11
    i16 136, label %11
    i16 41, label %11
    i16 42, label %11
    i16 43, label %11
    i16 44, label %11
    i16 35, label %11
    i16 36, label %11
    i16 37, label %11
    i16 38, label %11
    i16 80, label %11
    i16 83, label %11
    i16 84, label %11
    i16 85, label %11
    i16 86, label %11
    i16 81, label %11
    i16 166, label %11
    i16 167, label %11
    i16 168, label %11
    i16 169, label %11
    i16 23, label %12
    i16 11, label %15
    i16 3, label %18
    i16 16, label %18
    i16 17, label %18
    i16 20, label %75
    i16 24, label %75
    i16 45, label %75
    i16 48, label %75
    i16 49, label %75
    i16 50, label %75
    i16 51, label %75
    i16 46, label %75
    i16 47, label %75
    i16 25, label %20
    i16 59, label %22
    i16 62, label %22
    i16 63, label %22
    i16 64, label %22
    i16 65, label %22
    i16 60, label %22
    i16 61, label %22
    i16 19, label %25
    i16 18, label %25
    i16 33, label %27
    i16 34, label %27
    i16 39, label %27
    i16 40, label %27
    i16 54, label %29
    i16 52, label %75
    i16 55, label %75
    i16 56, label %75
    i16 57, label %75
    i16 58, label %75
    i16 53, label %75
    i16 68, label %37
    i16 66, label %41
    i16 69, label %41
    i16 70, label %41
    i16 71, label %41
    i16 72, label %41
    i16 67, label %41
    i16 82, label %46
    i16 87, label %49
    i16 88, label %49
    i16 89, label %49
    i16 90, label %49
    i16 91, label %49
    i16 93, label %69
    i16 92, label %69
    i16 158, label %69
    i16 159, label %69
  ]

11:                                               ; preds = %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9, %9
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.11, ptr noundef nonnull @.str.9, i32 noundef 147, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.10) #5
  unreachable

12:                                               ; preds = %9
  %13 = tail call noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %14 = tail call noundef ptr @_ZN4type24get_array_component_typeEPK7DexType(ptr noundef %13)
  br label %75

15:                                               ; preds = %9
  %16 = getelementptr inbounds i8, ptr %0, i64 40
  %17 = load ptr, ptr %16, align 8, !tbaa !5
  br label %75

18:                                               ; preds = %9, %9, %9
  %19 = tail call noundef ptr @_ZN4type16java_lang_ObjectEv()
  br label %75

20:                                               ; preds = %9
  %21 = tail call noundef ptr @_ZN4type19java_lang_ThrowableEv()
  br label %75

22:                                               ; preds = %9, %9, %9, %9, %9, %9, %9
  %23 = tail call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %24 = tail call noundef ptr @_ZNK11DexFieldRef9get_classEv(ptr noundef nonnull align 8 dereferenceable(26) %23)
  br label %75

25:                                               ; preds = %9, %9
  %26 = tail call noundef ptr @_ZN4type16java_lang_ObjectEv()
  br label %75

27:                                               ; preds = %9, %9, %9, %9
  %28 = tail call noundef ptr @_ZN4type16java_lang_ObjectEv()
  br label %75

29:                                               ; preds = %9
  switch i64 %2, label %75 [
    i64 0, label %30
    i64 1, label %32
  ]

30:                                               ; preds = %29
  %31 = tail call noundef ptr @_ZN4type16java_lang_ObjectEv()
  br label %75

32:                                               ; preds = %29
  call void @_ZNSt17basic_string_viewIcSt11char_traitsIcEEC2EPKc(ptr noundef nonnull align 8 dereferenceable(16) %4, ptr noundef @.str.12) #6
  %33 = load i64, ptr %4, align 8
  %34 = getelementptr inbounds i8, ptr %4, i64 8
  %35 = load ptr, ptr %34, align 8
  %36 = call noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64 %33, ptr %35)
  br label %75

37:                                               ; preds = %9
  switch i64 %2, label %75 [
    i64 0, label %38
    i64 1, label %43
  ]

38:                                               ; preds = %37
  %39 = tail call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %40 = tail call noundef ptr @_ZNK11DexFieldRef8get_typeEv(ptr noundef nonnull align 8 dereferenceable(26) %39)
  br label %75

41:                                               ; preds = %9, %9, %9, %9, %9, %9
  %42 = icmp eq i64 %2, 1
  br i1 %42, label %43, label %75

43:                                               ; preds = %37, %41
  %44 = tail call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %45 = tail call noundef ptr @_ZNK11DexFieldRef9get_classEv(ptr noundef nonnull align 8 dereferenceable(26) %44)
  br label %75

46:                                               ; preds = %9
  %47 = tail call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %48 = tail call noundef ptr @_ZNK11DexFieldRef8get_typeEv(ptr noundef nonnull align 8 dereferenceable(26) %47)
  br label %75

49:                                               ; preds = %9, %9, %9, %9, %9
  %50 = tail call noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %51 = tail call noundef ptr @_ZNK12DexMethodRef9get_protoEv(ptr noundef nonnull align 8 dereferenceable(26) %50)
  %52 = tail call noundef ptr @_ZNK8DexProto8get_argsEv(ptr noundef nonnull align 8 dereferenceable(24) %51)
  %53 = tail call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %.not = icmp ne i16 %53, 90
  %54 = zext i1 %.not to i64
  %55 = tail call noundef i64 @_ZNK11DexTypeList4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %52)
  %56 = add i64 %55, %54
  %57 = tail call noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %58 = icmp eq i64 %57, %56
  br i1 %58, label %60, label %59

59:                                               ; preds = %49
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.9, i32 noundef 241, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.10) #5
  unreachable

60:                                               ; preds = %49
  %61 = tail call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %.not29 = icmp eq i16 %61, 90
  br i1 %.not29, label %67, label %62

62:                                               ; preds = %60
  %63 = add i64 %2, -1
  %64 = icmp eq i64 %2, 0
  br i1 %64, label %65, label %67

65:                                               ; preds = %62
  %66 = tail call noundef ptr @_ZNK12DexMethodRef9get_classEv(ptr noundef nonnull align 8 dereferenceable(26) %50)
  br label %75

67:                                               ; preds = %62, %60
  %.027 = phi i64 [ %63, %62 ], [ %2, %60 ]
  %68 = tail call noundef ptr @_ZNK11DexTypeList2atEm(ptr noundef nonnull align 8 dereferenceable(24) %52, i64 noundef %.027)
  br label %75

69:                                               ; preds = %9, %9, %9, %9
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %5) #6
  call void @_Z4showI13IRInstructionRSoENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %5, ptr noundef nonnull %1)
  %70 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %5) #6
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.14, ptr noundef nonnull @.str.9, i32 noundef 254, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK11check_casts4impl17CheckCastAnalysis15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.15, ptr noundef %70) #5
          to label %71 unwind label %72

71:                                               ; preds = %69
  unreachable

72:                                               ; preds = %69
  %73 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #6
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %5) #6
  resume { ptr, i32 } %73

74:                                               ; preds = %9
  unreachable

75:                                               ; preds = %65, %67, %41, %37, %9, %9, %9, %9, %9, %9, %29, %9, %9, %9, %9, %9, %9, %9, %9, %9, %46, %43, %38, %32, %30, %27, %25, %22, %20, %18, %15, %12
  %.1 = phi ptr [ %48, %46 ], [ %45, %43 ], [ %40, %38 ], [ %31, %30 ], [ %36, %32 ], [ %28, %27 ], [ %26, %25 ], [ %24, %22 ], [ %21, %20 ], [ %19, %18 ], [ %17, %15 ], [ %14, %12 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %29 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %9 ], [ null, %37 ], [ null, %41 ], [ %66, %65 ], [ %68, %67 ]
  ret ptr %.1
}

declare noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #3

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

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

declare noundef ptr @_ZN4type24get_array_component_typeEPK7DexType(ptr noundef) local_unnamed_addr #3

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

declare noundef ptr @_ZN4type16java_lang_ObjectEv() local_unnamed_addr #3

declare noundef ptr @_ZN4type19java_lang_ThrowableEv() local_unnamed_addr #3

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZN7DexType9make_typeESt17basic_string_viewIcSt11char_traitsIcEE(i64, ptr) local_unnamed_addr #2 align 2

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZNK11DexTypeList2atEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) 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 nounwind uwtable
declare noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1 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 = { "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 = { 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 #5 = { noreturn }
attributes #6 = { 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 40}
!6 = !{!"_ZTSN11check_casts4impl17CheckCastAnalysisE", !7, i64 0, !7, i64 8, !10, i64 16, !7, i64 24, !7, i64 32, !7, i64 40, !7, i64 48, !11, i64 56, !17, i64 64, !21, i64 88, !7, i64 96}
!7 = !{!"any pointer", !8, i64 0}
!8 = !{!"omnipotent char", !9, i64 0}
!9 = !{!"Simple C++ TBAA"}
!10 = !{!"bool", !8, i64 0}
!11 = !{!"_ZTSSt10unique_ptrI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EE", !12, i64 0}
!12 = !{!"_ZTSSt15__uniq_ptr_dataI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_ELb1ELb1EE", !13, i64 0}
!13 = !{!"_ZTSSt15__uniq_ptr_implI12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EE", !14, i64 0}
!14 = !{!"_ZTSSt5tupleIJP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EEE", !15, i64 0}
!15 = !{!"_ZTSSt11_Tuple_implILm0EJP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EESt14default_deleteISD_EEE", !16, i64 0}
!16 = !{!"_ZTSSt10_Head_baseILm0EP12UnorderedMapIP13IRInstruction12UnorderedSetIP7DexTypeSt4hashIS5_ESt8equal_toIS5_EES6_IS2_ES8_IS2_EELb0EE", !7, i64 0}
!17 = !{!"_ZTSSt6vectorIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseIN3cfg23InstructionIteratorImplILb0EEESaIS2_EE17_Vector_impl_dataE", !7, i64 0, !7, i64 8, !7, i64 16}
!21 = !{!"_ZTSSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !22, i64 0}
!22 = !{!"_ZTSSt15__uniq_ptr_dataIN14type_inference13TypeInferenceESt14default_deleteIS1_ELb1ELb1EE", !23, i64 0}
!23 = !{!"_ZTSSt15__uniq_ptr_implIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !24, i64 0}
!24 = !{!"_ZTSSt5tupleIJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !25, i64 0}
!25 = !{!"_ZTSSt11_Tuple_implILm0EJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !26, i64 0}
!26 = !{!"_ZTSSt10_Head_baseILm0EPN14type_inference13TypeInferenceELb0EE", !7, i64 0}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,IPSCCPPass,InferFunctionAttrsPass,InstCombinePass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass