; LLVM IR from facebook/redex :: service/dataflow (ConstantUses)

; 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.sparta::FiniteAbstractDomain" = type { %"class.boost::multiprecision::number" }
%"class.boost::multiprecision::number" = type { %"struct.boost::multiprecision::backends::cpp_int_backend" }
%"struct.boost::multiprecision::backends::cpp_int_backend" = type { %"struct.boost::multiprecision::backends::cpp_int_base" }
%"struct.boost::multiprecision::backends::cpp_int_base" = type { i16 }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.boost::optional" = type { %"class.boost::optional_detail::tc_optional_base" }
%"class.boost::optional_detail::tc_optional_base" = type { i8, ptr }
%"class.constant_uses::ConstantUses" = type { %"class.std::unique_ptr", %class.UnorderedMap, %"class.std::vector", 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.1" }
%"struct.std::_Head_base.1" = type { ptr }
%class.UnorderedMap = type { %"class.std::unordered_map" }
%"class.std::unordered_map" = type { %"class.std::_Hashtable" }
%"class.std::_Hashtable" = type { ptr, i64, %"struct.std::__detail::_Hash_node_base", i64, %"struct.std::__detail::_Prime_rehash_policy", ptr }
%"struct.std::__detail::_Hash_node_base" = type { ptr }
%"struct.std::__detail::_Prime_rehash_policy" = type { float, i64 }
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::pair<IRInstruction *, unsigned long>, std::allocator<std::pair<IRInstruction *, unsigned long>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<IRInstruction *, unsigned long>, std::allocator<std::pair<IRInstruction *, unsigned long>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<IRInstruction *, unsigned long>, std::allocator<std::pair<IRInstruction *, unsigned long>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<IRInstruction *, unsigned long>, std::allocator<std::pair<IRInstruction *, unsigned long>>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@.str.10 = external hidden unnamed_addr constant [82 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [30 x i8], align 1
@__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm = external hidden unnamed_addr constant [87 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [84 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [86 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [138 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [145 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [81 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [63 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local 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: noreturn
declare void @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef, ptr noundef, ...) #2

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i8 @_ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm(ptr noundef nonnull align 8 dereferenceable(96) %0, ptr noundef %1, i64 noundef %2) #4 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca i8, align 1
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca i64, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %12 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  %16 = alloca %"class.std::__cxx11::basic_string", align 8
  %17 = alloca ptr, align 8
  %18 = alloca ptr, align 8
  %19 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %20 = alloca %"class.std::__cxx11::basic_string", align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca %"class.boost::optional", align 8
  %24 = alloca %"class.std::__cxx11::basic_string", align 8
  %25 = alloca i1, align 1
  %26 = alloca i1, align 1
  %27 = alloca i8, align 1
  %28 = alloca %"class.std::__cxx11::basic_string", align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca i64, align 8
  %32 = alloca %"class.std::__cxx11::basic_string", align 8
  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
  %33 = load ptr, ptr %5, align 8
  %34 = load i64, ptr %7, align 8, !tbaa !9
  %35 = load ptr, ptr %6, align 8, !tbaa !5
  %36 = call noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %35)
  %37 = icmp ult i64 %34, %36
  br i1 %37, label %38, label %39

38:                                               ; preds = %3
  br label %41

39:                                               ; preds = %3
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.23, ptr noundef @.str.10, i32 noundef 215, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

40:                                               ; No predecessors!
  br label %41

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

45:                                               ; preds = %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41
  br label %46

46:                                               ; preds = %47, %45
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.22, ptr noundef @.str.10, i32 noundef 246, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

47:                                               ; No predecessors!
  br i1 true, label %46, label %48, !llvm.loop !11

48:                                               ; preds = %47
  br label %49

49:                                               ; preds = %48, %41, %41
  %50 = getelementptr inbounds %"class.constant_uses::ConstantUses", ptr %33, i32 0, i32 3
  %51 = load ptr, ptr %50, align 8, !tbaa !13
  %52 = icmp ne ptr %51, null
  br i1 %52, label %53, label %57

53:                                               ; preds = %49
  %54 = getelementptr inbounds %"class.constant_uses::ConstantUses", ptr %33, i32 0, i32 3
  %55 = load ptr, ptr %54, align 8, !tbaa !13
  %56 = call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %55)
  br label %58

57:                                               ; preds = %49
  br label %58

58:                                               ; preds = %57, %53
  %59 = phi i8 [ %56, %53 ], [ 0, %57 ]
  store i8 %59, ptr %4, align 1
  br label %439

60:                                               ; preds = %41
  store i8 3, ptr %4, align 1
  br label %439

61:                                               ; preds = %41
  store i8 12, ptr %4, align 1
  br label %439

62:                                               ; preds = %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41
  store i8 16, ptr %4, align 1
  br label %439

63:                                               ; preds = %41
  store i8 0, ptr %4, align 1
  br label %439

64:                                               ; preds = %41
  store i8 0, ptr %4, align 1
  br label %439

65:                                               ; preds = %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41
  store i8 1, ptr %4, align 1
  br label %439

66:                                               ; preds = %41
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #7
  %67 = load ptr, ptr %6, align 8, !tbaa !5
  %68 = call noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %67)
  %69 = call noundef ptr @_ZN4type24get_array_component_typeEPK7DexType(ptr noundef %68)
  store ptr %69, ptr %8, align 8, !tbaa !5
  %70 = load ptr, ptr %8, align 8, !tbaa !5
  %71 = call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %70)
  store i8 %71, ptr %4, align 1
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #7
  br label %439

72:                                               ; preds = %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41
  store i8 2, ptr %4, align 1
  br label %439

73:                                               ; preds = %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41
  store i8 8, ptr %4, align 1
  br label %439

74:                                               ; preds = %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41, %41
  store i8 4, ptr %4, align 1
  br label %439

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

78:                                               ; preds = %75
  store i8 4, ptr %4, align 1
  br label %439

79:                                               ; preds = %75
  %80 = load i64, ptr %7, align 8, !tbaa !9
  %81 = icmp eq i64 %80, 1
  br i1 %81, label %82, label %83

82:                                               ; preds = %79
  br label %85

83:                                               ; preds = %79
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.24, ptr noundef @.str.10, i32 noundef 373, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

84:                                               ; No predecessors!
  br label %85

85:                                               ; preds = %84, %82
  store i8 1, ptr %4, align 1
  br label %439

86:                                               ; preds = %41, %41
  %87 = getelementptr inbounds %"class.constant_uses::ConstantUses", ptr %33, i32 0, i32 0
  %88 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %87) #7
  br i1 %88, label %89, label %148

89:                                               ; preds = %86
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #7
  %90 = getelementptr inbounds %"class.constant_uses::ConstantUses", ptr %33, i32 0, i32 0
  %91 = call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %90) #7
  %92 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZN14type_inference13TypeInference21get_type_environmentsEv(ptr noundef nonnull align 8 dereferenceable(432) %91)
  store ptr %92, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  %93 = load ptr, ptr %9, align 8, !tbaa !5
  %94 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE2atERKS2_(ptr noundef nonnull align 8 dereferenceable(56) %93, ptr noundef nonnull align 8 dereferenceable(8) %6)
  store ptr %94, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr %11) #7
  %95 = load ptr, ptr %10, align 8, !tbaa !5
  %96 = load ptr, ptr %6, align 8, !tbaa !5
  %97 = call noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %96, i16 noundef zeroext 0)
  call void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %11, ptr noundef nonnull align 8 dereferenceable(48) %95, i32 noundef %97)
  call void @llvm.lifetime.start.p0(i64 2, ptr %12) #7
  %98 = load ptr, ptr %10, align 8, !tbaa !5
  %99 = load ptr, ptr %6, align 8, !tbaa !5
  %100 = invoke noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %99, i16 noundef zeroext 1)
          to label %101 unwind label %123

101:                                              ; preds = %89
  invoke void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %12, ptr noundef nonnull align 8 dereferenceable(48) %98, i32 noundef %100)
          to label %102 unwind label %123

102:                                              ; preds = %101
  %103 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE6is_topEv(ptr noundef nonnull align 2 dereferenceable(2) %11)
          to label %104 unwind label %127

104:                                              ; preds = %102
  br i1 %103, label %143, label %105

105:                                              ; preds = %104
  %106 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE9is_bottomEv(ptr noundef nonnull align 2 dereferenceable(2) %11)
          to label %107 unwind label %127

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

108:                                              ; preds = %107
  %109 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE6is_topEv(ptr noundef nonnull align 2 dereferenceable(2) %12)
          to label %110 unwind label %127

110:                                              ; preds = %108
  br i1 %109, label %143, label %111

111:                                              ; preds = %110
  %112 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE9is_bottomEv(ptr noundef nonnull align 2 dereferenceable(2) %12)
          to label %113 unwind label %127

113:                                              ; preds = %111
  br i1 %112, label %143, label %114

114:                                              ; preds = %113
  %115 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %11)
          to label %116 unwind label %127

116:                                              ; preds = %114
  %117 = icmp eq i32 %115, 5
  br i1 %117, label %122, label %118

118:                                              ; preds = %116
  %119 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %12)
          to label %120 unwind label %127

120:                                              ; preds = %118
  %121 = icmp eq i32 %119, 5
  br i1 %121, label %122, label %131

122:                                              ; preds = %120, %116
  store i8 16, ptr %4, align 1
  store i32 1, ptr %15, align 4
  br label %144

123:                                              ; preds = %101, %89
  %124 = landingpad { ptr, i32 }
          cleanup
  %125 = extractvalue { ptr, i32 } %124, 0
  store ptr %125, ptr %13, align 8
  %126 = extractvalue { ptr, i32 } %124, 1
  store i32 %126, ptr %14, align 4
  br label %147

127:                                              ; preds = %138, %136, %133, %131, %118, %114, %111, %108, %105, %102
  %128 = landingpad { ptr, i32 }
          cleanup
  %129 = extractvalue { ptr, i32 } %128, 0
  store ptr %129, ptr %13, align 8
  %130 = extractvalue { ptr, i32 } %128, 1
  store i32 %130, ptr %14, align 4
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %12) #7
  br label %147

131:                                              ; preds = %120
  %132 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %11)
          to label %133 unwind label %127

133:                                              ; preds = %131
  %134 = invoke noundef zeroext i1 @_ZN13constant_usesL15is_non_zero_intE6IRType(i32 noundef %132)
          to label %135 unwind label %127

135:                                              ; preds = %133
  br i1 %134, label %141, label %136

136:                                              ; preds = %135
  %137 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %12)
          to label %138 unwind label %127

138:                                              ; preds = %136
  %139 = invoke noundef zeroext i1 @_ZN13constant_usesL15is_non_zero_intE6IRType(i32 noundef %137)
          to label %140 unwind label %127

140:                                              ; preds = %138
  br i1 %139, label %141, label %142

141:                                              ; preds = %140, %135
  store i8 1, ptr %4, align 1
  store i32 1, ptr %15, align 4
  br label %144

142:                                              ; preds = %140
  store i8 17, ptr %4, align 1
  store i32 1, ptr %15, align 4
  br label %144

143:                                              ; preds = %113, %110, %107, %104
  store i32 0, ptr %15, align 4
  br label %144

144:                                              ; preds = %143, %142, %141, %122
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %12) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr %12) #7
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %11) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  %145 = load i32, ptr %15, align 4
  switch i32 %145, label %446 [
    i32 0, label %146
    i32 1, label %439
  ]

146:                                              ; preds = %144
  br label %161

147:                                              ; preds = %127, %123
  call void @llvm.lifetime.end.p0(i64 2, ptr %12) #7
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %11) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  br label %441

148:                                              ; preds = %86
  br label %149

149:                                              ; preds = %148
  %150 = call noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 30, i32 noundef 3)
  br i1 %150, label %151, label %159

151:                                              ; preds = %149
  call void @llvm.lifetime.start.p0(i64 32, ptr %16) #7
  %152 = 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 %16, ptr noundef %152)
  %153 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 30, i32 noundef 3, i1 noundef zeroext false, ptr noundef @.str.25, ptr noundef %153)
          to label %154 unwind label %155

154:                                              ; preds = %151
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #7
  br label %159

155:                                              ; preds = %151
  %156 = landingpad { ptr, i32 }
          cleanup
  %157 = extractvalue { ptr, i32 } %156, 0
  store ptr %157, ptr %13, align 8
  %158 = extractvalue { ptr, i32 } %156, 1
  store i32 %158, ptr %14, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %16) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %16) #7
  br label %441

159:                                              ; preds = %154, %149
  br label %160

160:                                              ; preds = %159
  br label %161

161:                                              ; preds = %160, %146
  store i8 0, ptr %4, align 1
  br label %439

162:                                              ; preds = %41, %41
  %163 = getelementptr inbounds %"class.constant_uses::ConstantUses", ptr %33, i32 0, i32 0
  %164 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %163) #7
  br i1 %164, label %165, label %199

165:                                              ; preds = %162
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #7
  %166 = getelementptr inbounds %"class.constant_uses::ConstantUses", ptr %33, i32 0, i32 0
  %167 = call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %166) #7
  %168 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZN14type_inference13TypeInference21get_type_environmentsEv(ptr noundef nonnull align 8 dereferenceable(432) %167)
  store ptr %168, ptr %17, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #7
  %169 = load ptr, ptr %17, align 8, !tbaa !5
  %170 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE2atERKS2_(ptr noundef nonnull align 8 dereferenceable(56) %169, ptr noundef nonnull align 8 dereferenceable(8) %6)
  store ptr %170, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 2, ptr %19) #7
  %171 = load ptr, ptr %18, align 8, !tbaa !5
  %172 = load ptr, ptr %6, align 8, !tbaa !5
  %173 = call noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %172, i16 noundef zeroext 0)
  call void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %19, ptr noundef nonnull align 8 dereferenceable(48) %171, i32 noundef %173)
  %174 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE6is_topEv(ptr noundef nonnull align 2 dereferenceable(2) %19)
          to label %175 unwind label %184

175:                                              ; preds = %165
  br i1 %174, label %195, label %176

176:                                              ; preds = %175
  %177 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE9is_bottomEv(ptr noundef nonnull align 2 dereferenceable(2) %19)
          to label %178 unwind label %184

178:                                              ; preds = %176
  br i1 %177, label %195, label %179

179:                                              ; preds = %178
  %180 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %19)
          to label %181 unwind label %184

181:                                              ; preds = %179
  %182 = icmp eq i32 %180, 5
  br i1 %182, label %183, label %188

183:                                              ; preds = %181
  store i8 16, ptr %4, align 1
  store i32 1, ptr %15, align 4
  br label %196

184:                                              ; preds = %190, %188, %179, %176, %165
  %185 = landingpad { ptr, i32 }
          cleanup
  %186 = extractvalue { ptr, i32 } %185, 0
  store ptr %186, ptr %13, align 8
  %187 = extractvalue { ptr, i32 } %185, 1
  store i32 %187, ptr %14, align 4
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %19) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  br label %441

188:                                              ; preds = %181
  %189 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %19)
          to label %190 unwind label %184

190:                                              ; preds = %188
  %191 = invoke noundef zeroext i1 @_ZN13constant_usesL15is_non_zero_intE6IRType(i32 noundef %189)
          to label %192 unwind label %184

192:                                              ; preds = %190
  br i1 %191, label %193, label %194

193:                                              ; preds = %192
  store i8 1, ptr %4, align 1
  store i32 1, ptr %15, align 4
  br label %196

194:                                              ; preds = %192
  store i8 17, ptr %4, align 1
  store i32 1, ptr %15, align 4
  br label %196

195:                                              ; preds = %178, %175
  store i32 0, ptr %15, align 4
  br label %196

196:                                              ; preds = %195, %194, %193, %183
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %19) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  %197 = load i32, ptr %15, align 4
  switch i32 %197, label %446 [
    i32 0, label %198
    i32 1, label %439
  ]

198:                                              ; preds = %196
  br label %212

199:                                              ; preds = %162
  br label %200

200:                                              ; preds = %199
  %201 = call noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 30, i32 noundef 3)
  br i1 %201, label %202, label %210

202:                                              ; preds = %200
  call void @llvm.lifetime.start.p0(i64 32, ptr %20) #7
  %203 = 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 %20, ptr noundef %203)
  %204 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %20) #7
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 30, i32 noundef 3, i1 noundef zeroext false, ptr noundef @.str.26, ptr noundef %204)
          to label %205 unwind label %206

205:                                              ; preds = %202
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %20) #7
  br label %210

206:                                              ; preds = %202
  %207 = landingpad { ptr, i32 }
          cleanup
  %208 = extractvalue { ptr, i32 } %207, 0
  store ptr %208, ptr %13, align 8
  %209 = extractvalue { ptr, i32 } %207, 1
  store i32 %209, ptr %14, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %20) #7
  br label %441

210:                                              ; preds = %205, %200
  br label %211

211:                                              ; preds = %210
  br label %212

212:                                              ; preds = %211, %198
  store i8 0, ptr %4, align 1
  br label %439

213:                                              ; preds = %41, %41, %41, %41
  store i8 17, ptr %4, align 1
  br label %439

214:                                              ; preds = %41, %41, %41, %41
  store i8 1, ptr %4, align 1
  br label %439

215:                                              ; preds = %41, %41, %41, %41, %41, %41, %41
  %216 = load i64, ptr %7, align 8, !tbaa !9
  %217 = icmp eq i64 %216, 0
  br i1 %217, label %218, label %219

218:                                              ; preds = %215
  store i8 16, ptr %4, align 1
  br label %439

219:                                              ; preds = %215
  %220 = load i64, ptr %7, align 8, !tbaa !9
  %221 = icmp eq i64 %220, 1
  br i1 %221, label %222, label %223

222:                                              ; preds = %219
  br label %225

223:                                              ; preds = %219
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.24, ptr noundef @.str.10, i32 noundef 444, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

224:                                              ; No predecessors!
  br label %225

225:                                              ; preds = %224, %222
  store i8 1, ptr %4, align 1
  br label %439

226:                                              ; preds = %41, %41, %41, %41, %41, %41, %41
  %227 = load i64, ptr %7, align 8, !tbaa !9
  %228 = icmp eq i64 %227, 1
  br i1 %228, label %229, label %230

229:                                              ; preds = %226
  store i8 16, ptr %4, align 1
  br label %439

230:                                              ; preds = %226
  %231 = load i64, ptr %7, align 8, !tbaa !9
  %232 = icmp eq i64 %231, 2
  br i1 %232, label %233, label %234

233:                                              ; preds = %230
  store i8 1, ptr %4, align 1
  br label %439

234:                                              ; preds = %230
  %235 = load i64, ptr %7, align 8, !tbaa !9
  %236 = icmp eq i64 %235, 0
  br i1 %236, label %237, label %238

237:                                              ; preds = %234
  br label %240

238:                                              ; preds = %234
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.27, ptr noundef @.str.10, i32 noundef 456, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

239:                                              ; No predecessors!
  br label %240

240:                                              ; preds = %239, %237
  %241 = load ptr, ptr %6, align 8, !tbaa !5
  %242 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %241)
  %243 = zext i16 %242 to i32
  switch i32 %243, label %362 [
    i32 52, label %244
    i32 53, label %244
    i32 55, label %360
    i32 56, label %360
    i32 57, label %360
    i32 58, label %360
    i32 54, label %361
  ]

244:                                              ; preds = %240, %240
  %245 = getelementptr inbounds %"class.constant_uses::ConstantUses", ptr %33, i32 0, i32 0
  %246 = call noundef zeroext i1 @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %245) #7
  br i1 %246, label %247, label %346

247:                                              ; preds = %244
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #7
  %248 = getelementptr inbounds %"class.constant_uses::ConstantUses", ptr %33, i32 0, i32 0
  %249 = call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %248) #7
  %250 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZN14type_inference13TypeInference21get_type_environmentsEv(ptr noundef nonnull align 8 dereferenceable(432) %249)
  store ptr %250, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #7
  %251 = load ptr, ptr %21, align 8, !tbaa !5
  %252 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE2atERKS2_(ptr noundef nonnull align 8 dereferenceable(56) %251, ptr noundef nonnull align 8 dereferenceable(8) %6)
  store ptr %252, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #7
  %253 = load ptr, ptr %22, align 8, !tbaa !5
  %254 = load ptr, ptr %6, align 8, !tbaa !5
  %255 = call noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %254, i16 noundef zeroext 1)
  %256 = call { i8, ptr } @_ZNK14type_inference15TypeEnvironment12get_dex_typeEj(ptr noundef nonnull align 8 dereferenceable(48) %253, i32 noundef %255)
  %257 = getelementptr inbounds %"class.boost::optional", ptr %23, i32 0, i32 0
  %258 = getelementptr inbounds { i8, ptr }, ptr %257, i32 0, i32 0
  %259 = extractvalue { i8, ptr } %256, 0
  store i8 %259, ptr %258, align 8
  %260 = getelementptr inbounds { i8, ptr }, ptr %257, i32 0, i32 1
  %261 = extractvalue { i8, ptr } %256, 1
  store ptr %261, ptr %260, align 8
  br label %262

262:                                              ; preds = %247
  %263 = call noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 30, i32 noundef 3)
  br i1 %263, label %264, label %288

264:                                              ; preds = %262
  %265 = call noundef zeroext i1 @_ZNK5boost8optionalIPK7DexTypeEcvbEv(ptr noundef nonnull align 8 dereferenceable(16) %23) #7
  store i1 false, ptr %25, align 1
  store i1 false, ptr %26, align 1
  br i1 %265, label %266, label %268

266:                                              ; preds = %264
  call void @llvm.lifetime.start.p0(i64 32, ptr %24) #7
  store i1 true, ptr %25, align 1
  call void @_Z4showIRN5boost8optionalIPK7DexTypeEERSovENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEOT_(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %24, ptr noundef nonnull align 8 dereferenceable(16) %23)
  store i1 true, ptr %26, align 1
  %267 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %24) #7
  br label %269

268:                                              ; preds = %264
  br label %269

269:                                              ; preds = %268, %266
  %270 = phi ptr [ %267, %266 ], [ @.str.29, %268 ]
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 30, i32 noundef 3, i1 noundef zeroext false, ptr noundef @.str.28, ptr noundef %270)
          to label %271 unwind label %278

271:                                              ; preds = %269
  %272 = load i1, ptr %26, align 1
  br i1 %272, label %273, label %274

273:                                              ; preds = %271
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #7
  br label %274

274:                                              ; preds = %273, %271
  %275 = load i1, ptr %25, align 1
  br i1 %275, label %276, label %277

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

277:                                              ; preds = %276, %274
  br label %288

278:                                              ; preds = %269
  %279 = landingpad { ptr, i32 }
          cleanup
  %280 = extractvalue { ptr, i32 } %279, 0
  store ptr %280, ptr %13, align 8
  %281 = extractvalue { ptr, i32 } %279, 1
  store i32 %281, ptr %14, align 4
  %282 = load i1, ptr %26, align 1
  br i1 %282, label %283, label %284

283:                                              ; preds = %278
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #7
  br label %284

284:                                              ; preds = %283, %278
  %285 = load i1, ptr %25, align 1
  br i1 %285, label %286, label %287

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

287:                                              ; preds = %286, %284
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  br label %441

288:                                              ; preds = %277, %262
  br label %289

289:                                              ; preds = %288
  br label %290

290:                                              ; preds = %289
  %291 = call noundef zeroext i1 @_ZNK5boost8optionalIPK7DexTypeEcvbEv(ptr noundef nonnull align 8 dereferenceable(16) %23) #7
  br i1 %291, label %292, label %342

292:                                              ; preds = %290
  %293 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNR5boost8optionalIPK7DexTypeEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %23)
  %294 = load ptr, ptr %293, align 8, !tbaa !5
  %295 = call noundef zeroext i1 @_ZN4type8is_arrayEPK7DexType(ptr noundef %294)
  br i1 %295, label %296, label %342

296:                                              ; preds = %292
  call void @llvm.lifetime.start.p0(i64 1, ptr %27) #7
  %297 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNR5boost8optionalIPK7DexTypeEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %23)
  %298 = load ptr, ptr %297, align 8, !tbaa !5
  %299 = call noundef ptr @_ZN4type24get_array_component_typeEPK7DexType(ptr noundef %298)
  %300 = call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %299)
  store i8 %300, ptr %27, align 1, !tbaa !31
  %301 = load ptr, ptr %6, align 8, !tbaa !5
  %302 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %301)
  %303 = zext i16 %302 to i32
  %304 = icmp ne i32 %303, 52
  br i1 %304, label %317, label %305

305:                                              ; preds = %296
  %306 = load i8, ptr %27, align 1, !tbaa !31
  %307 = zext i8 %306 to i32
  %308 = icmp eq i32 %307, 0
  br i1 %308, label %317, label %309

309:                                              ; preds = %305
  %310 = load i8, ptr %27, align 1, !tbaa !31
  %311 = zext i8 %310 to i32
  %312 = icmp eq i32 %311, 1
  br i1 %312, label %317, label %313

313:                                              ; preds = %309
  %314 = load i8, ptr %27, align 1, !tbaa !31
  %315 = zext i8 %314 to i32
  %316 = icmp eq i32 %315, 2
  br i1 %316, label %317, label %318

317:                                              ; preds = %313, %309, %305, %296
  br label %320

318:                                              ; preds = %313
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.30, ptr noundef @.str.10, i32 noundef 472, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

319:                                              ; No predecessors!
  br label %320

320:                                              ; preds = %319, %317
  %321 = load ptr, ptr %6, align 8, !tbaa !5
  %322 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %321)
  %323 = zext i16 %322 to i32
  %324 = icmp ne i32 %323, 53
  br i1 %324, label %337, label %325

325:                                              ; preds = %320
  %326 = load i8, ptr %27, align 1, !tbaa !31
  %327 = zext i8 %326 to i32
  %328 = icmp eq i32 %327, 0
  br i1 %328, label %337, label %329

329:                                              ; preds = %325
  %330 = load i8, ptr %27, align 1, !tbaa !31
  %331 = zext i8 %330 to i32
  %332 = icmp eq i32 %331, 4
  br i1 %332, label %337, label %333

333:                                              ; preds = %329
  %334 = load i8, ptr %27, align 1, !tbaa !31
  %335 = zext i8 %334 to i32
  %336 = icmp eq i32 %335, 8
  br i1 %336, label %337, label %338

337:                                              ; preds = %333, %329, %325, %320
  br label %340

338:                                              ; preds = %333
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.31, ptr noundef @.str.10, i32 noundef 476, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

339:                                              ; No predecessors!
  br label %340

340:                                              ; preds = %339, %337
  %341 = load i8, ptr %27, align 1, !tbaa !31
  store i8 %341, ptr %4, align 1
  store i32 1, ptr %15, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %27) #7
  br label %343

342:                                              ; preds = %292, %290
  store i32 0, ptr %15, align 4
  br label %343

343:                                              ; preds = %342, %340
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  %344 = load i32, ptr %15, align 4
  switch i32 %344, label %446 [
    i32 0, label %345
    i32 1, label %439
  ]

345:                                              ; preds = %343
  br label %359

346:                                              ; preds = %244
  br label %347

347:                                              ; preds = %346
  %348 = call noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 30, i32 noundef 3)
  br i1 %348, label %349, label %357

349:                                              ; preds = %347
  call void @llvm.lifetime.start.p0(i64 32, ptr %28) #7
  %350 = 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 %28, ptr noundef %350)
  %351 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %28) #7
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 30, i32 noundef 3, i1 noundef zeroext false, ptr noundef @.str.32, ptr noundef %351)
          to label %352 unwind label %353

352:                                              ; preds = %349
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %28) #7
  br label %357

353:                                              ; preds = %349
  %354 = landingpad { ptr, i32 }
          cleanup
  %355 = extractvalue { ptr, i32 } %354, 0
  store ptr %355, ptr %13, align 8
  %356 = extractvalue { ptr, i32 } %354, 1
  store i32 %356, ptr %14, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %28) #7
  br label %441

357:                                              ; preds = %352, %347
  br label %358

358:                                              ; preds = %357
  br label %359

359:                                              ; preds = %358, %345
  store i8 0, ptr %4, align 1
  br label %439

360:                                              ; preds = %240, %240, %240, %240
  store i8 1, ptr %4, align 1
  br label %439

361:                                              ; preds = %240
  store i8 16, ptr %4, align 1
  br label %439

362:                                              ; preds = %240
  br label %363

363:                                              ; preds = %364, %362
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.22, ptr noundef @.str.10, i32 noundef 495, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

364:                                              ; No predecessors!
  br i1 true, label %363, label %365, !llvm.loop !33

365:                                              ; preds = %364
  br label %366

366:                                              ; preds = %365
  br label %367

367:                                              ; preds = %366, %41, %41, %41, %41, %41, %41, %41
  %368 = load i64, ptr %7, align 8, !tbaa !9
  %369 = icmp eq i64 %368, 1
  br i1 %369, label %370, label %371

370:                                              ; preds = %367
  store i8 16, ptr %4, align 1
  br label %439

371:                                              ; preds = %367
  %372 = load i64, ptr %7, align 8, !tbaa !9
  %373 = icmp eq i64 %372, 0
  br i1 %373, label %374, label %375

374:                                              ; preds = %371
  br label %377

375:                                              ; preds = %371
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.27, ptr noundef @.str.10, i32 noundef 506, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

376:                                              ; No predecessors!
  br label %377

377:                                              ; preds = %376, %374
  %378 = load ptr, ptr %6, align 8, !tbaa !5
  %379 = call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %378)
  %380 = call noundef ptr @_ZNK11DexFieldRef8get_typeEv(ptr noundef nonnull align 8 dereferenceable(26) %379)
  %381 = call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %380)
  store i8 %381, ptr %4, align 1
  br label %439

382:                                              ; preds = %41, %41, %41, %41, %41, %41, %41
  %383 = load ptr, ptr %6, align 8, !tbaa !5
  %384 = call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %383)
  %385 = call noundef ptr @_ZNK11DexFieldRef8get_typeEv(ptr noundef nonnull align 8 dereferenceable(26) %384)
  %386 = call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %385)
  store i8 %386, ptr %4, align 1
  br label %439

387:                                              ; preds = %41, %41, %41, %41, %41
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #7
  %388 = load ptr, ptr %6, align 8, !tbaa !5
  %389 = call noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32) %388)
  store ptr %389, ptr %29, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #7
  %390 = load ptr, ptr %29, align 8, !tbaa !5
  %391 = call noundef ptr @_ZNK12DexMethodRef9get_protoEv(ptr noundef nonnull align 8 dereferenceable(26) %390)
  %392 = call noundef ptr @_ZNK8DexProto8get_argsEv(ptr noundef nonnull align 8 dereferenceable(24) %391)
  store ptr %392, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #7
  %393 = load ptr, ptr %6, align 8, !tbaa !5
  %394 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %393)
  %395 = zext i16 %394 to i32
  %396 = icmp ne i32 %395, 90
  %397 = zext i1 %396 to i64
  %398 = select i1 %396, i32 1, i32 0
  %399 = sext i32 %398 to i64
  %400 = load ptr, ptr %30, align 8, !tbaa !5
  %401 = call noundef i64 @_ZNK11DexTypeList4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %400)
  %402 = add i64 %399, %401
  store i64 %402, ptr %31, align 8, !tbaa !9
  %403 = load ptr, ptr %6, align 8, !tbaa !5
  %404 = call noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %403)
  %405 = load i64, ptr %31, align 8, !tbaa !9
  %406 = icmp eq i64 %404, %405
  br i1 %406, label %407, label %408

407:                                              ; preds = %387
  br label %410

408:                                              ; preds = %387
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.33, ptr noundef @.str.10, i32 noundef 527, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.11) #6
  unreachable

409:                                              ; No predecessors!
  br label %410

410:                                              ; preds = %409, %407
  %411 = load ptr, ptr %6, align 8, !tbaa !5
  %412 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %411)
  %413 = zext i16 %412 to i32
  %414 = icmp ne i32 %413, 90
  br i1 %414, label %415, label %421

415:                                              ; preds = %410
  %416 = load i64, ptr %7, align 8, !tbaa !9
  %417 = add i64 %416, -1
  store i64 %417, ptr %7, align 8, !tbaa !9
  %418 = icmp eq i64 %416, 0
  br i1 %418, label %419, label %420

419:                                              ; preds = %415
  store i8 16, ptr %4, align 1
  store i32 1, ptr %15, align 4
  br label %426

420:                                              ; preds = %415
  br label %421

421:                                              ; preds = %420, %410
  %422 = load ptr, ptr %30, align 8, !tbaa !5
  %423 = load i64, ptr %7, align 8, !tbaa !9
  %424 = call noundef ptr @_ZNK11DexTypeList2atEm(ptr noundef nonnull align 8 dereferenceable(24) %422, i64 noundef %423)
  %425 = call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %424)
  store i8 %425, ptr %4, align 1
  store i32 1, ptr %15, align 4
  br label %426

426:                                              ; preds = %421, %419
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  br label %439

427:                                              ; preds = %41, %41, %41, %41
  br label %428

428:                                              ; preds = %436, %427
  call void @llvm.lifetime.start.p0(i64 32, ptr %32) #7
  %429 = 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 %32, ptr noundef %429)
  %430 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %32) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef @.str.34, ptr noundef @.str.10, i32 noundef 542, ptr noundef @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef @.str.35, ptr noundef %430) #6
          to label %431 unwind label %432

431:                                              ; preds = %428
  unreachable

432:                                              ; preds = %428
  %433 = landingpad { ptr, i32 }
          cleanup
  %434 = extractvalue { ptr, i32 } %433, 0
  store ptr %434, ptr %13, align 8
  %435 = extractvalue { ptr, i32 } %433, 1
  store i32 %435, ptr %14, align 4
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %32) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr %32) #7
  br label %441

436:                                              ; No predecessors!
  br i1 true, label %428, label %437, !llvm.loop !34

437:                                              ; preds = %436
  br label %438

438:                                              ; preds = %437, %41
  unreachable

439:                                              ; preds = %426, %382, %377, %370, %361, %360, %359, %343, %233, %229, %225, %218, %214, %213, %212, %196, %161, %144, %85, %78, %74, %73, %72, %66, %65, %64, %63, %62, %61, %60, %58
  %440 = load i8, ptr %4, align 1
  ret i8 %440

441:                                              ; preds = %432, %353, %287, %206, %184, %155, %147
  %442 = load ptr, ptr %13, align 8
  %443 = load i32, ptr %14, align 4
  %444 = insertvalue { ptr, i32 } poison, ptr %442, 0
  %445 = insertvalue { ptr, i32 } %444, i32 %443, 1
  resume { ptr, i32 } %445

446:                                              ; preds = %343, %196, %144
  unreachable
}

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef) #4 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)) #4 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind noalias writable sret(%"class.sparta::FiniteAbstractDomain") align 2, ptr noundef nonnull align 8 dereferenceable(48), i32 noundef) #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE6is_topEv(ptr noundef nonnull align 2 dereferenceable(2)) #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE9is_bottomEv(ptr noundef nonnull align 2 dereferenceable(2)) #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2)) #4 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef zeroext i1 @_ZN13constant_usesL15is_non_zero_intE6IRType(i32 noundef) #1

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

; Function Attrs: mustprogress uwtable
declare dso_local { i8, ptr } @_ZNK14type_inference15TypeEnvironment12get_dex_typeEj(ptr noundef nonnull align 8 dereferenceable(48), i32 noundef) #4 align 2

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

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

declare noundef zeroext i1 @_ZN4type8is_arrayEPK7DexType(ptr noundef) #3

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32)) #4 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)) #4 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 uwtable
declare dso_local noundef ptr @_ZNK11DexTypeList2atEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) #4 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 = { 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 #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 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { alwaysinline mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { noreturn }
attributes #7 = { 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 88}
!14 = !{!"_ZTSN13constant_uses12ConstantUsesE", !15, i64 0, !21, i64 8, !27, i64 64, !6, i64 88}
!15 = !{!"_ZTSSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !16, i64 0}
!16 = !{!"_ZTSSt15__uniq_ptr_dataIN14type_inference13TypeInferenceESt14default_deleteIS1_ELb1ELb1EE", !17, i64 0}
!17 = !{!"_ZTSSt15__uniq_ptr_implIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !18, i64 0}
!18 = !{!"_ZTSSt5tupleIJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !19, i64 0}
!19 = !{!"_ZTSSt11_Tuple_implILm0EJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !20, i64 0}
!20 = !{!"_ZTSSt10_Head_baseILm0EPN14type_inference13TypeInferenceELb0EE", !6, i64 0}
!21 = !{!"_ZTS12UnorderedMapIP13IRInstructionSt6vectorISt4pairIS1_mESaIS4_EESt4hashIS1_ESt8equal_toIS1_EE", !22, i64 0}
!22 = !{!"_ZTSSt13unordered_mapIP13IRInstructionSt6vectorISt4pairIS1_mESaIS4_EESt4hashIS1_ESt8equal_toIS1_ESaIS3_IKS1_S6_EEE", !23, i64 0}
!23 = !{!"_ZTSSt10_HashtableIP13IRInstructionSt4pairIKS1_St6vectorIS2_IS1_mESaIS5_EEESaIS8_ENSt8__detail10_Select1stESt8equal_toIS1_ESt4hashIS1_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb0ELb0ELb1EEEE", !6, i64 0, !10, i64 8, !24, i64 16, !10, i64 24, !25, i64 32, !6, i64 48}
!24 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !6, i64 0}
!25 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !26, i64 0, !10, i64 8}
!26 = !{!"float", !7, i64 0}
!27 = !{!"_ZTSSt6vectorISt4pairIP13IRInstructionmESaIS3_EE", !28, i64 0}
!28 = !{!"_ZTSSt12_Vector_baseISt4pairIP13IRInstructionmESaIS3_EE", !29, i64 0}
!29 = !{!"_ZTSNSt12_Vector_baseISt4pairIP13IRInstructionmESaIS3_EE12_Vector_implE", !30, i64 0}
!30 = !{!"_ZTSNSt12_Vector_baseISt4pairIP13IRInstructionmESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!31 = !{!32, !32, i64 0}
!32 = !{!"_ZTSN13constant_uses10TypeDemandE", !7, i64 0}
!33 = distinct !{!33, !12}
!34 = distinct !{!34, !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.sparta::FiniteAbstractDomain" = type { %"class.boost::multiprecision::number" }
%"class.boost::multiprecision::number" = type { %"struct.boost::multiprecision::backends::cpp_int_backend" }
%"struct.boost::multiprecision::backends::cpp_int_backend" = type { %"struct.boost::multiprecision::backends::cpp_int_base" }
%"struct.boost::multiprecision::backends::cpp_int_base" = type { i16 }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.boost::optional" = type { %"class.boost::optional_detail::tc_optional_base" }
%"class.boost::optional_detail::tc_optional_base" = type { i8, ptr }

@.str.10 = external hidden unnamed_addr constant [82 x i8], align 1
@.str.11 = external hidden unnamed_addr constant [2 x i8], align 1
@.str.22 = external hidden unnamed_addr constant [18 x i8], align 1
@.str.23 = external hidden unnamed_addr constant [30 x i8], align 1
@__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm = external hidden unnamed_addr constant [87 x i8], align 1
@.str.24 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.25 = external hidden unnamed_addr constant [84 x i8], align 1
@.str.26 = external hidden unnamed_addr constant [86 x i8], align 1
@.str.27 = external hidden unnamed_addr constant [15 x i8], align 1
@.str.28 = external hidden unnamed_addr constant [44 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [19 x i8], align 1
@.str.30 = external hidden unnamed_addr constant [138 x i8], align 1
@.str.31 = external hidden unnamed_addr constant [145 x i8], align 1
@.str.32 = external hidden unnamed_addr constant [81 x i8], align 1
@.str.33 = external hidden unnamed_addr constant [35 x i8], align 1
@.str.34 = external hidden unnamed_addr constant [16 x i8], align 1
@.str.35 = external hidden unnamed_addr constant [63 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local 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: noreturn
declare void @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef, ptr noundef, i32 noundef, ptr noundef, i32 noundef, ptr noundef, ...) local_unnamed_addr #2

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

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

; 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 zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef, i32 noundef) local_unnamed_addr #3

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

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

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i8 @_ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm(ptr noundef nonnull align 8 dereferenceable(96) %0, ptr noundef nonnull %1, i64 noundef %2) local_unnamed_addr #4 align 2 personality ptr @__gxx_personality_v0 {
  %4 = alloca ptr, align 8
  %5 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %6 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %7 = alloca %"class.std::__cxx11::basic_string", align 8
  %8 = alloca %"class.sparta::FiniteAbstractDomain", align 2
  %9 = alloca %"class.std::__cxx11::basic_string", align 8
  %10 = alloca %"class.boost::optional", align 8
  %11 = alloca %"class.std::__cxx11::basic_string", align 8
  %12 = alloca %"class.std::__cxx11::basic_string", align 8
  %13 = alloca %"class.std::__cxx11::basic_string", align 8
  store ptr %1, ptr %4, align 8, !tbaa !5
  %14 = tail call noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %15 = icmp ugt i64 %14, %2
  br i1 %15, label %17, label %16

16:                                               ; preds = %3
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.23, ptr noundef nonnull @.str.10, i32 noundef 215, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

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

19:                                               ; preds = %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.10, i32 noundef 246, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

20:                                               ; preds = %17, %17
  %21 = getelementptr inbounds i8, ptr %0, i64 88
  %22 = load ptr, ptr %21, align 8, !tbaa !9
  %.not74 = icmp eq ptr %22, null
  br i1 %.not74, label %222, label %23

23:                                               ; preds = %20
  %24 = tail call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef nonnull %22)
  br label %222

25:                                               ; preds = %17
  br label %222

26:                                               ; preds = %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17
  br label %222

27:                                               ; preds = %17
  br label %222

28:                                               ; preds = %17
  br label %222

29:                                               ; preds = %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17
  br label %222

30:                                               ; preds = %17
  %31 = tail call noundef ptr @_ZNK13IRInstruction8get_typeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %32 = tail call noundef ptr @_ZN4type24get_array_component_typeEPK7DexType(ptr noundef %31)
  %33 = tail call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %32)
  br label %222

34:                                               ; preds = %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17
  br label %222

35:                                               ; preds = %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17
  br label %222

36:                                               ; preds = %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17, %17
  br label %222

37:                                               ; preds = %17, %17, %17
  switch i64 %2, label %38 [
    i64 0, label %222
    i64 1, label %39
  ]

38:                                               ; preds = %37
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.24, ptr noundef nonnull @.str.10, i32 noundef 373, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

39:                                               ; preds = %37
  br label %222

40:                                               ; preds = %17, %17
  %41 = tail call noundef zeroext i1 @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  br i1 %41, label %42, label %85

42:                                               ; preds = %40
  %43 = tail call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  %44 = tail call noundef nonnull align 8 dereferenceable(56) ptr @_ZN14type_inference13TypeInference21get_type_environmentsEv(ptr noundef nonnull align 8 dereferenceable(432) %43)
  %45 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE2atERKS2_(ptr noundef nonnull align 8 dereferenceable(56) %44, ptr noundef nonnull align 8 dereferenceable(8) %4)
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %5) #7
  %46 = load ptr, ptr %4, align 8, !tbaa !5
  %47 = call noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %46, i16 noundef zeroext 0)
  call void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind nonnull writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %5, ptr noundef nonnull align 8 dereferenceable(48) %45, i32 noundef %47)
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %6) #7
  %48 = load ptr, ptr %4, align 8, !tbaa !5
  %49 = invoke noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %48, i16 noundef zeroext 1)
          to label %50 unwind label %71

50:                                               ; preds = %42
  invoke void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind nonnull writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %6, ptr noundef nonnull align 8 dereferenceable(48) %45, i32 noundef %49)
          to label %51 unwind label %71

51:                                               ; preds = %50
  %52 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE6is_topEv(ptr noundef nonnull align 2 dereferenceable(2) %5)
          to label %53 unwind label %73

53:                                               ; preds = %51
  br i1 %52, label %83, label %54

54:                                               ; preds = %53
  %55 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE9is_bottomEv(ptr noundef nonnull align 2 dereferenceable(2) %5)
          to label %56 unwind label %73

56:                                               ; preds = %54
  br i1 %55, label %83, label %57

57:                                               ; preds = %56
  %58 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE6is_topEv(ptr noundef nonnull align 2 dereferenceable(2) %6)
          to label %59 unwind label %73

59:                                               ; preds = %57
  br i1 %58, label %83, label %60

60:                                               ; preds = %59
  %61 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE9is_bottomEv(ptr noundef nonnull align 2 dereferenceable(2) %6)
          to label %62 unwind label %73

62:                                               ; preds = %60
  br i1 %61, label %83, label %63

63:                                               ; preds = %62
  %64 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %5)
          to label %65 unwind label %73

65:                                               ; preds = %63
  %66 = icmp eq i32 %64, 5
  br i1 %66, label %83, label %67

67:                                               ; preds = %65
  %68 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %6)
          to label %69 unwind label %73

69:                                               ; preds = %67
  %70 = icmp eq i32 %68, 5
  br i1 %70, label %83, label %75

71:                                               ; preds = %50, %42
  %72 = landingpad { ptr, i32 }
          cleanup
  br label %84

73:                                               ; preds = %79, %75, %67, %63, %60, %57, %54, %51
  %74 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %6) #7
  br label %84

75:                                               ; preds = %69
  %76 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %5)
          to label %77 unwind label %73

77:                                               ; preds = %75
  %78 = call noundef zeroext i1 @_ZN13constant_usesL15is_non_zero_intE6IRType(i32 noundef %76)
  br i1 %78, label %83, label %79

79:                                               ; preds = %77
  %80 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %6)
          to label %81 unwind label %73

81:                                               ; preds = %79
  %82 = call noundef zeroext i1 @_ZN13constant_usesL15is_non_zero_intE6IRType(i32 noundef %80)
  %spec.select = select i1 %82, i8 1, i8 17
  br label %83

83:                                               ; preds = %81, %53, %56, %59, %62, %77, %65, %69
  %switch = phi i1 [ false, %69 ], [ false, %65 ], [ false, %77 ], [ true, %62 ], [ true, %59 ], [ true, %56 ], [ true, %53 ], [ false, %81 ]
  %.0 = phi i8 [ 16, %69 ], [ 16, %65 ], [ 1, %77 ], [ undef, %62 ], [ undef, %59 ], [ undef, %56 ], [ undef, %53 ], [ %spec.select, %81 ]
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %6) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %6) #7
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %5) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %5) #7
  br i1 %switch, label %92, label %222

84:                                               ; preds = %73, %71
  %.pn = phi { ptr, i32 } [ %74, %73 ], [ %72, %71 ]
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %6) #7
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %5) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %5) #7
  br label %223

85:                                               ; preds = %40
  %86 = tail call noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 30, i32 noundef 3)
  br i1 %86, label %87, label %92

87:                                               ; preds = %85
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %7) #7
  call void @_Z4showI13IRInstructionRSoENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %7, ptr noundef nonnull %1)
  %88 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %7) #7
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 30, i32 noundef 3, i1 noundef zeroext false, ptr noundef nonnull @.str.25, ptr noundef %88)
          to label %89 unwind label %90

89:                                               ; preds = %87
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %7) #7
  br label %92

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

92:                                               ; preds = %83, %89, %85
  br label %222

93:                                               ; preds = %17, %17
  %94 = tail call noundef zeroext i1 @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  br i1 %94, label %95, label %117

95:                                               ; preds = %93
  %96 = tail call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  %97 = tail call noundef nonnull align 8 dereferenceable(56) ptr @_ZN14type_inference13TypeInference21get_type_environmentsEv(ptr noundef nonnull align 8 dereferenceable(432) %96)
  %98 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE2atERKS2_(ptr noundef nonnull align 8 dereferenceable(56) %97, ptr noundef nonnull align 8 dereferenceable(8) %4)
  call void @llvm.lifetime.start.p0(i64 2, ptr nonnull %8) #7
  %99 = load ptr, ptr %4, align 8, !tbaa !5
  %100 = call noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %99, i16 noundef zeroext 0)
  call void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind nonnull writable sret(%"class.sparta::FiniteAbstractDomain") align 2 %8, ptr noundef nonnull align 8 dereferenceable(48) %98, i32 noundef %100)
  %101 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE6is_topEv(ptr noundef nonnull align 2 dereferenceable(2) %8)
          to label %102 unwind label %110

102:                                              ; preds = %95
  br i1 %101, label %.thread, label %103

103:                                              ; preds = %102
  %104 = invoke noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE9is_bottomEv(ptr noundef nonnull align 2 dereferenceable(2) %8)
          to label %105 unwind label %110

105:                                              ; preds = %103
  br i1 %104, label %.thread, label %106

106:                                              ; preds = %105
  %107 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %8)
          to label %108 unwind label %110

108:                                              ; preds = %106
  %109 = icmp eq i32 %107, 5
  br i1 %109, label %116, label %112

110:                                              ; preds = %112, %106, %103, %95
  %111 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %8) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %8) #7
  br label %223

112:                                              ; preds = %108
  %113 = invoke noundef i32 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE7elementEv(ptr noundef nonnull align 2 dereferenceable(2) %8)
          to label %114 unwind label %110

114:                                              ; preds = %112
  %115 = call noundef zeroext i1 @_ZN13constant_usesL15is_non_zero_intE6IRType(i32 noundef %113)
  %. = select i1 %115, i8 1, i8 17
  br label %116

.thread:                                          ; preds = %105, %102
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %8) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %8) #7
  br label %222

116:                                              ; preds = %114, %108
  %.1 = phi i8 [ 16, %108 ], [ %., %114 ]
  call void @_ZN6sparta14AbstractDomainINS_20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS2_Lm16EvvEEN5boost14multiprecision6numberINS6_8backends15cpp_int_backendILj16ELj16ELNS6_16cpp_integer_typeE0ELNS6_18cpp_int_check_typeE0EvEELNS6_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEEEED2Ev(ptr noundef nonnull align 2 dereferenceable(2) %8) #7
  call void @llvm.lifetime.end.p0(i64 2, ptr nonnull %8) #7
  br label %222

117:                                              ; preds = %93
  %118 = tail call noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 30, i32 noundef 3)
  br i1 %118, label %119, label %222

119:                                              ; preds = %117
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %9) #7
  call void @_Z4showI13IRInstructionRSoENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %9, ptr noundef nonnull %1)
  %120 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 30, i32 noundef 3, i1 noundef zeroext false, ptr noundef nonnull @.str.26, ptr noundef %120)
          to label %121 unwind label %122

121:                                              ; preds = %119
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %9) #7
  br label %222

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

124:                                              ; preds = %17, %17, %17, %17
  br label %222

125:                                              ; preds = %17, %17, %17, %17
  br label %222

126:                                              ; preds = %17, %17, %17, %17, %17, %17, %17
  switch i64 %2, label %127 [
    i64 0, label %222
    i64 1, label %128
  ]

127:                                              ; preds = %126
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.24, ptr noundef nonnull @.str.10, i32 noundef 444, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

128:                                              ; preds = %126
  br label %222

129:                                              ; preds = %17, %17, %17, %17, %17, %17, %17
  switch i64 %2, label %131 [
    i64 1, label %222
    i64 2, label %130
    i64 0, label %132
  ]

130:                                              ; preds = %129
  br label %222

131:                                              ; preds = %129
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.27, ptr noundef nonnull @.str.10, i32 noundef 456, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

132:                                              ; preds = %129
  %133 = tail call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  switch i16 %133, label %186 [
    i16 52, label %134
    i16 53, label %134
    i16 55, label %222
    i16 56, label %222
    i16 57, label %222
    i16 58, label %222
    i16 54, label %185
  ]

134:                                              ; preds = %132, %132
  %135 = tail call noundef zeroext i1 @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  br i1 %135, label %136, label %178

136:                                              ; preds = %134
  %137 = tail call noundef ptr @_ZNKSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EEptEv(ptr noundef nonnull align 8 dereferenceable(8) %0) #7
  %138 = tail call noundef nonnull align 8 dereferenceable(56) ptr @_ZN14type_inference13TypeInference21get_type_environmentsEv(ptr noundef nonnull align 8 dereferenceable(432) %137)
  %139 = call noundef nonnull align 8 dereferenceable(48) ptr @_ZN12UnorderedMapIPK13IRInstructionN14type_inference15TypeEnvironmentESt4hashIS2_ESt8equal_toIS2_EE2atERKS2_(ptr noundef nonnull align 8 dereferenceable(56) %138, ptr noundef nonnull align 8 dereferenceable(8) %4)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %10) #7
  %140 = load ptr, ptr %4, align 8, !tbaa !5
  %141 = call noundef i32 @_ZNK13IRInstruction3srcEt(ptr noundef nonnull align 8 dereferenceable(32) %140, i16 noundef zeroext 1)
  %142 = call { i8, ptr } @_ZNK14type_inference15TypeEnvironment12get_dex_typeEj(ptr noundef nonnull align 8 dereferenceable(48) %139, i32 noundef %141)
  %143 = extractvalue { i8, ptr } %142, 0
  store i8 %143, ptr %10, align 8
  %144 = getelementptr inbounds i8, ptr %10, i64 8
  %145 = extractvalue { i8, ptr } %142, 1
  store ptr %145, ptr %144, align 8
  %146 = call noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 30, i32 noundef 3)
  br i1 %146, label %147, label %.critedge

147:                                              ; preds = %136
  %148 = call noundef zeroext i1 @_ZNK5boost8optionalIPK7DexTypeEcvbEv(ptr noundef nonnull align 8 dereferenceable(16) %10) #7
  br i1 %148, label %149, label %151

149:                                              ; preds = %147
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %11) #7
  call void @_Z4showIRN5boost8optionalIPK7DexTypeEERSovENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEOT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %11, ptr noundef nonnull align 8 dereferenceable(16) %10)
  %150 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  br label %151

151:                                              ; preds = %147, %149
  %152 = phi ptr [ %150, %149 ], [ @.str.29, %147 ]
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 30, i32 noundef 3, i1 noundef zeroext false, ptr noundef nonnull @.str.28, ptr noundef %152)
          to label %153 unwind label %155

153:                                              ; preds = %151
  br i1 %148, label %154, label %.critedge

154:                                              ; preds = %153
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #7
  br label %.critedge

155:                                              ; preds = %151
  %156 = landingpad { ptr, i32 }
          cleanup
  br i1 %148, label %157, label %.critedge78

157:                                              ; preds = %155
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %11) #7
  br label %.critedge78

.critedge78:                                      ; preds = %155, %157
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #7
  br label %223

.critedge:                                        ; preds = %153, %154, %136
  %158 = call noundef zeroext i1 @_ZNK5boost8optionalIPK7DexTypeEcvbEv(ptr noundef nonnull align 8 dereferenceable(16) %10) #7
  br i1 %158, label %159, label %.thread85

159:                                              ; preds = %.critedge
  %160 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNR5boost8optionalIPK7DexTypeEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %10)
  %161 = load ptr, ptr %160, align 8, !tbaa !5
  %162 = call noundef zeroext i1 @_ZN4type8is_arrayEPK7DexType(ptr noundef %161)
  br i1 %162, label %163, label %.thread85

163:                                              ; preds = %159
  %164 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNR5boost8optionalIPK7DexTypeEdeEv(ptr noundef nonnull align 8 dereferenceable(16) %10)
  %165 = load ptr, ptr %164, align 8, !tbaa !5
  %166 = call noundef ptr @_ZN4type24get_array_component_typeEPK7DexType(ptr noundef %165)
  %167 = call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %166)
  %168 = load ptr, ptr %4, align 8, !tbaa !5
  %169 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %168)
  %170 = icmp ne i16 %169, 52
  %171 = icmp ult i8 %167, 3
  %or.cond8 = or i1 %171, %170
  br i1 %or.cond8, label %173, label %172

172:                                              ; preds = %163
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.30, ptr noundef nonnull @.str.10, i32 noundef 472, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

173:                                              ; preds = %163
  %174 = load ptr, ptr %4, align 8, !tbaa !5
  %175 = call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %174)
  %.not89 = icmp eq i16 %175, 53
  br i1 %.not89, label %switch.early.test, label %177

switch.early.test:                                ; preds = %173
  switch i8 %167, label %176 [
    i8 8, label %177
    i8 4, label %177
    i8 0, label %177
  ]

176:                                              ; preds = %switch.early.test
  call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.31, ptr noundef nonnull @.str.10, i32 noundef 476, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

.thread85:                                        ; preds = %159, %.critedge
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #7
  br label %222

177:                                              ; preds = %173, %switch.early.test, %switch.early.test, %switch.early.test
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %10) #7
  br label %222

178:                                              ; preds = %134
  %179 = tail call noundef zeroext i1 @_Z12traceEnabled11TraceModulei(i32 noundef 30, i32 noundef 3)
  br i1 %179, label %180, label %222

180:                                              ; preds = %178
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #7
  call void @_Z4showI13IRInstructionRSoENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %12, ptr noundef nonnull %1)
  %181 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %12) #7
  invoke void (i32, i32, i1, ptr, ...) @_Z5trace11TraceModuleibPKcz(i32 noundef 30, i32 noundef 3, i1 noundef zeroext false, ptr noundef nonnull @.str.32, ptr noundef %181)
          to label %182 unwind label %183

182:                                              ; preds = %180
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #7
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #7
  br label %222

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

185:                                              ; preds = %132
  br label %222

186:                                              ; preds = %132
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.22, ptr noundef nonnull @.str.10, i32 noundef 495, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

187:                                              ; preds = %17, %17, %17, %17, %17, %17, %17
  switch i64 %2, label %188 [
    i64 1, label %222
    i64 0, label %189
  ]

188:                                              ; preds = %187
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.27, ptr noundef nonnull @.str.10, i32 noundef 506, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

189:                                              ; preds = %187
  %190 = tail call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %191 = tail call noundef ptr @_ZNK11DexFieldRef8get_typeEv(ptr noundef nonnull align 8 dereferenceable(26) %190)
  %192 = tail call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %191)
  br label %222

193:                                              ; preds = %17, %17, %17, %17, %17, %17, %17
  %194 = tail call noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %195 = tail call noundef ptr @_ZNK11DexFieldRef8get_typeEv(ptr noundef nonnull align 8 dereferenceable(26) %194)
  %196 = tail call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %195)
  br label %222

197:                                              ; preds = %17, %17, %17, %17, %17
  %198 = tail call noundef ptr @_ZNK13IRInstruction10get_methodEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %199 = tail call noundef ptr @_ZNK12DexMethodRef9get_protoEv(ptr noundef nonnull align 8 dereferenceable(26) %198)
  %200 = tail call noundef ptr @_ZNK8DexProto8get_argsEv(ptr noundef nonnull align 8 dereferenceable(24) %199)
  %201 = tail call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %.not = icmp ne i16 %201, 90
  %202 = zext i1 %.not to i64
  %203 = tail call noundef i64 @_ZNK11DexTypeList4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %200)
  %204 = add i64 %203, %202
  %205 = tail call noundef i64 @_ZNK13IRInstruction9srcs_sizeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %206 = icmp eq i64 %205, %204
  br i1 %206, label %208, label %207

207:                                              ; preds = %197
  tail call void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.33, ptr noundef nonnull @.str.10, i32 noundef 527, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.11) #6
  unreachable

208:                                              ; preds = %197
  %209 = tail call noundef zeroext i16 @_ZNK13IRInstruction6opcodeEv(ptr noundef nonnull align 8 dereferenceable(32) %1)
  %.not70 = icmp eq i16 %209, 90
  br i1 %.not70, label %213, label %210

210:                                              ; preds = %208
  %211 = add i64 %2, -1
  %212 = icmp eq i64 %2, 0
  br i1 %212, label %222, label %213

213:                                              ; preds = %210, %208
  %.058 = phi i64 [ %211, %210 ], [ %2, %208 ]
  %214 = tail call noundef ptr @_ZNK11DexTypeList2atEm(ptr noundef nonnull align 8 dereferenceable(24) %200, i64 noundef %.058)
  %215 = tail call noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef %214)
  br label %222

216:                                              ; preds = %17, %17, %17, %17
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %13) #7
  call void @_Z4showI13IRInstructionRSoENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEPT_(ptr dead_on_unwind nonnull writable sret(%"class.std::__cxx11::basic_string") align 8 %13, ptr noundef nonnull %1)
  %217 = call noundef ptr @_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv(ptr noundef nonnull align 8 dereferenceable(32) %13) #7
  invoke void (ptr, ptr, i32, ptr, i32, ptr, ...) @_Z11assert_failPKcS0_jS0_10RedexErrorS0_z(ptr noundef nonnull @.str.34, ptr noundef nonnull @.str.10, i32 noundef 542, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK13constant_uses12ConstantUses15get_type_demandEP13IRInstructionm, i32 noundef 2, ptr noundef nonnull @.str.35, ptr noundef %217) #6
          to label %218 unwind label %219

218:                                              ; preds = %216
  unreachable

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

221:                                              ; preds = %17
  unreachable

222:                                              ; preds = %178, %182, %.thread85, %177, %117, %121, %.thread, %116, %213, %210, %187, %132, %132, %132, %132, %129, %126, %83, %37, %17, %23, %20, %193, %189, %185, %130, %128, %125, %124, %92, %39, %36, %35, %34, %30, %29, %28, %27, %26, %25
  %.4 = phi i8 [ %196, %193 ], [ %192, %189 ], [ 1, %130 ], [ 16, %185 ], [ %167, %177 ], [ 1, %128 ], [ 1, %125 ], [ 17, %124 ], [ %.1, %116 ], [ %.0, %83 ], [ 0, %92 ], [ 1, %39 ], [ 4, %36 ], [ 8, %35 ], [ 2, %34 ], [ %33, %30 ], [ 1, %29 ], [ 0, %28 ], [ 0, %27 ], [ 16, %26 ], [ 12, %25 ], [ %24, %23 ], [ 0, %20 ], [ 3, %17 ], [ 4, %37 ], [ 16, %126 ], [ 16, %129 ], [ 1, %132 ], [ 1, %132 ], [ 1, %132 ], [ 1, %132 ], [ 16, %187 ], [ %215, %213 ], [ 16, %210 ], [ 0, %.thread ], [ 0, %121 ], [ 0, %117 ], [ 0, %.thread85 ], [ 0, %182 ], [ 0, %178 ]
  ret i8 %.4

223:                                              ; preds = %219, %183, %.critedge78, %122, %110, %90, %84
  %.pn72 = phi { ptr, i32 } [ %220, %219 ], [ %156, %.critedge78 ], [ %184, %183 ], [ %111, %110 ], [ %123, %122 ], [ %.pn, %84 ], [ %91, %90 ]
  resume { ptr, i32 } %.pn72
}

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i8 @_ZN13constant_uses12ConstantUses15get_type_demandEP7DexType(ptr noundef) local_unnamed_addr #4 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 #4 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK14type_inference15TypeEnvironment8get_typeEj(ptr dead_on_unwind noalias writable sret(%"class.sparta::FiniteAbstractDomain") align 2, ptr noundef nonnull align 8 dereferenceable(48), i32 noundef) local_unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE6is_topEv(ptr noundef nonnull align 2 dereferenceable(2)) local_unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK6sparta20FiniteAbstractDomainI6IRTypeNS_16BitVectorLatticeIS1_Lm16EvvEEN5boost14multiprecision6numberINS5_8backends15cpp_int_backendILj16ELj16ELNS5_16cpp_integer_typeE0ELNS5_18cpp_int_check_typeE0EvEELNS5_26expression_template_optionE0EEEXadL_ZN14type_inference12type_latticeEEEE9is_bottomEv(ptr noundef nonnull align 2 dereferenceable(2)) local_unnamed_addr #4 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef zeroext i1 @_ZN13constant_usesL15is_non_zero_intE6IRType(i32 noundef) local_unnamed_addr #1

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

; Function Attrs: mustprogress uwtable
declare dso_local { i8, ptr } @_ZNK14type_inference15TypeEnvironment12get_dex_typeEj(ptr noundef nonnull align 8 dereferenceable(48), i32 noundef) local_unnamed_addr #4 align 2

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

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

declare noundef zeroext i1 @_ZN4type8is_arrayEPK7DexType(ptr noundef) local_unnamed_addr #3

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef ptr @_ZNK13IRInstruction9get_fieldEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4 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 #4 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 uwtable
declare dso_local noundef ptr @_ZNK11DexTypeList2atEm(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef) local_unnamed_addr #4 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 = { 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 #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 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { alwaysinline mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { noreturn }
attributes #7 = { nounwind }

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 88}
!10 = !{!"_ZTSN13constant_uses12ConstantUsesE", !11, i64 0, !17, i64 8, !24, i64 64, !6, i64 88}
!11 = !{!"_ZTSSt10unique_ptrIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !12, i64 0}
!12 = !{!"_ZTSSt15__uniq_ptr_dataIN14type_inference13TypeInferenceESt14default_deleteIS1_ELb1ELb1EE", !13, i64 0}
!13 = !{!"_ZTSSt15__uniq_ptr_implIN14type_inference13TypeInferenceESt14default_deleteIS1_EE", !14, i64 0}
!14 = !{!"_ZTSSt5tupleIJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !15, i64 0}
!15 = !{!"_ZTSSt11_Tuple_implILm0EJPN14type_inference13TypeInferenceESt14default_deleteIS1_EEE", !16, i64 0}
!16 = !{!"_ZTSSt10_Head_baseILm0EPN14type_inference13TypeInferenceELb0EE", !6, i64 0}
!17 = !{!"_ZTS12UnorderedMapIP13IRInstructionSt6vectorISt4pairIS1_mESaIS4_EESt4hashIS1_ESt8equal_toIS1_EE", !18, i64 0}
!18 = !{!"_ZTSSt13unordered_mapIP13IRInstructionSt6vectorISt4pairIS1_mESaIS4_EESt4hashIS1_ESt8equal_toIS1_ESaIS3_IKS1_S6_EEE", !19, i64 0}
!19 = !{!"_ZTSSt10_HashtableIP13IRInstructionSt4pairIKS1_St6vectorIS2_IS1_mESaIS5_EEESaIS8_ENSt8__detail10_Select1stESt8equal_toIS1_ESt4hashIS1_ENSA_18_Mod_range_hashingENSA_20_Default_ranged_hashENSA_20_Prime_rehash_policyENSA_17_Hashtable_traitsILb0ELb0ELb1EEEE", !6, i64 0, !20, i64 8, !21, i64 16, !20, i64 24, !22, i64 32, !6, i64 48}
!20 = !{!"long", !7, i64 0}
!21 = !{!"_ZTSNSt8__detail15_Hash_node_baseE", !6, i64 0}
!22 = !{!"_ZTSNSt8__detail20_Prime_rehash_policyE", !23, i64 0, !20, i64 8}
!23 = !{!"float", !7, i64 0}
!24 = !{!"_ZTSSt6vectorISt4pairIP13IRInstructionmESaIS3_EE", !25, i64 0}
!25 = !{!"_ZTSSt12_Vector_baseISt4pairIP13IRInstructionmESaIS3_EE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseISt4pairIP13IRInstructionmESaIS3_EE12_Vector_implE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseISt4pairIP13IRInstructionmESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}


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