; LLVM IR from thepowersgang/mrustc :: src/hir_conv (constant_evaluation)

; 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.HIR::TypeRef" = type { ptr }
%"class.MIR::eval::AllocationPtr" = type { %"class.MIR::eval::RefCountPtr" }
%"class.MIR::eval::RefCountPtr" = type { ptr }
%struct.EncodedLiteral = type { %"class.std::vector.97", %"class.std::vector.235" }
%"class.std::vector.97" = type { %"struct.std::_Vector_base.98" }
%"struct.std::_Vector_base.98" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.235" = type { %"struct.std::_Vector_base.236" }
%"struct.std::_Vector_base.236" = type { %"struct.std::_Vector_base<Reloc, std::allocator<Reloc>>::_Vector_impl" }
%"struct.std::_Vector_base<Reloc, std::allocator<Reloc>>::_Vector_impl" = type { %"struct.std::_Vector_base<Reloc, std::allocator<Reloc>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Reloc, std::allocator<Reloc>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.TraceLog = type { ptr, %"class.std::function" }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.504 = type { ptr }
%struct.Span = type { ptr }
%class.anon.505 = type { i8 }
%"struct.HIR::PathParams" = type { %class.ThinVector.20, %class.ThinVector.21, %class.ThinVector.22 }
%class.ThinVector.20 = type { ptr }
%class.ThinVector.21 = type { ptr }
%class.ThinVector.22 = type { ptr }
%struct.FmtLambda = type { %"class.std::function" }
%class.anon.512 = type { ptr }
%struct.MonomorphState = type { %class.MonomorphiserPP, %"class.HIR::TypeRef", ptr, ptr, %"struct.HIR::PathParams" }
%class.MonomorphiserPP = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.31" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.31" = type { %"struct.std::_Vector_base.32" }
%"struct.std::_Vector_base.32" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.26" = type { %"struct.std::_Vector_base.27" }
%"struct.std::_Vector_base.27" = type { %"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.36" = type { %"struct.std::_Vector_base.37" }
%"struct.std::_Vector_base.37" = type { %"struct.std::_Vector_base<MIR::eval::AllocationPtr, std::allocator<MIR::eval::AllocationPtr>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::eval::AllocationPtr, std::allocator<MIR::eval::AllocationPtr>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::eval::AllocationPtr, std::allocator<MIR::eval::AllocationPtr>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::eval::AllocationPtr, std::allocator<MIR::eval::AllocationPtr>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.anon.513 = type { i8 }
%"class.MIR::eval::ValueRef" = type { %"class.MIR::eval::RelocPtr", i32, i32 }
%"class.MIR::eval::RelocPtr" = type { i64 }
%class.anon.515 = type { i8 }
%"struct.HIR::Evaluator" = type { %struct.Span, %class.StaticTraitResolve, ptr, i32, i32, %"class.std::vector.46" }
%class.StaticTraitResolve = type { ptr, %struct.TraitResolveCommon, i32, %"class.std::map.4", %"class.std::map.4", %"class.std::map.4", %"class.std::map.9" }
%struct.TraitResolveCommon = type { ptr, ptr, ptr, %"class.std::map", %class.RangeVecMap, %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath", %"struct.HIR::SimplePath" }
%"class.std::map" = type { %"class.std::_Rb_tree" }
%"class.std::_Rb_tree" = type { %"struct.std::_Rb_tree<HIR::TypeRef, std::pair<const HIR::TypeRef, TraitResolveCommon::CachedEquality>, std::_Select1st<std::pair<const HIR::TypeRef, TraitResolveCommon::CachedEquality>>, std::less<HIR::TypeRef>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<HIR::TypeRef, std::pair<const HIR::TypeRef, TraitResolveCommon::CachedEquality>, std::_Select1st<std::pair<const HIR::TypeRef, TraitResolveCommon::CachedEquality>>, std::less<HIR::TypeRef>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::_Rb_tree_header" = type { %"struct.std::_Rb_tree_node_base", i64 }
%"struct.std::_Rb_tree_node_base" = type { i32, ptr, ptr, ptr }
%class.RangeVecMap = type <{ %"class.std::vector", [8 x i8] }>
%"class.std::vector" = type { %"struct.std::_Vector_base" }
%"struct.std::_Vector_base" = type { %"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"class.std::map.4" = type { %"class.std::_Rb_tree.5" }
%"class.std::_Rb_tree.5" = type { %"struct.std::_Rb_tree<HIR::TypeRef, std::pair<const HIR::TypeRef, bool>, std::_Select1st<std::pair<const HIR::TypeRef, bool>>, std::less<HIR::TypeRef>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<HIR::TypeRef, std::pair<const HIR::TypeRef, bool>, std::_Select1st<std::pair<const HIR::TypeRef, bool>>, std::less<HIR::TypeRef>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::map.9" = type { %"class.std::_Rb_tree.10" }
%"class.std::_Rb_tree.10" = type { %"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::pair<const std::__cxx11::basic_string<char>, HIR::TypeRef>, std::_Select1st<std::pair<const std::__cxx11::basic_string<char>, HIR::TypeRef>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<std::__cxx11::basic_string<char>, std::pair<const std::__cxx11::basic_string<char>, HIR::TypeRef>, std::_Select1st<std::pair<const std::__cxx11::basic_string<char>, HIR::TypeRef>>, std::less<std::__cxx11::basic_string<char>>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::vector.46" = type { %"struct.std::_Vector_base.47" }
%"struct.std::_Vector_base.47" = type { %"struct.std::_Vector_base<HIR::Evaluator::CsePtr, std::allocator<HIR::Evaluator::CsePtr>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::Evaluator::CsePtr, std::allocator<HIR::Evaluator::CsePtr>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::Evaluator::CsePtr, std::allocator<HIR::Evaluator::CsePtr>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::Evaluator::CsePtr, std::allocator<HIR::Evaluator::CsePtr>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.HIR::ExprPtr" = type { %"class.HIR::ExprPtrInner", %"class.std::vector.41", %"class.std::vector.41", %"class.MIR::FunctionPointer", %"class.HIR::ExprStatePtr" }
%"class.HIR::ExprPtrInner" = type { ptr }
%"class.std::vector.41" = type { %"struct.std::_Vector_base.42" }
%"struct.std::_Vector_base.42" = type { %"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::FunctionPointer" = type { ptr }
%"class.HIR::ExprStatePtr" = type { ptr }
%"class.HIR::ExprState" = type <{ %"struct.HIR::SimplePath", ptr, ptr, ptr, %"class.std::vector.507", i32, [4 x i8] }>
%"class.std::vector.507" = type { %"struct.std::_Vector_base.508" }
%"struct.std::_Vector_base.508" = type { %"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@_ZN12_GLOBAL__N_17ty_SelfE = external hidden global %"class.HIR::TypeRef", align 8
@.str.8 = external hidden unnamed_addr constant [91 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@g_debug_indent_level = external global i32, align 4
@.str.22 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [17 x i8], align 1
@__func__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState = external hidden unnamed_addr constant [18 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [25 x i8], align 1
@__PRETTY_FUNCTION__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState = external hidden unnamed_addr constant [130 x i8], align 1

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

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

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

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

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

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

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

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #0 align 2

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

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

; Function Attrs: nounwind
declare void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #5

declare ptr @__cxa_allocate_exception(i64)

declare void @__cxa_throw(ptr, ptr, ptr)

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) #6

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3HIR9Evaluator16push_stack_entryE9FmtLambdaRKN3MIR8FunctionE14MonomorphStateNS_7TypeRefESt6vectorISt4pairINS_7PatternES7_ESaISB_EES8_INS2_4eval13AllocationPtrESaISF_EEPKNS_13GenericParamsESK_(ptr noundef nonnull align 8 dereferenceable(472), ptr noundef, ptr noundef nonnull align 8 dereferenceable(96), ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) #3 align 2

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN14MonomorphStateD2Ev(ptr noundef nonnull align 8 dereferenceable(144)) unnamed_addr #0 align 2

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN9FmtLambdaD2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3HIR9Evaluator21run_until_stack_emptyEv(ptr dead_on_unwind noalias writable sret(%"class.MIR::eval::AllocationPtr") align 8, ptr noundef nonnull align 8 dereferenceable(472)) #3 align 2

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

declare void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #7

declare void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #7

declare void @__cxa_free_exception(ptr)

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

declare noundef zeroext i1 @_Z13debug_enabledv() #7

declare noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef, ptr noundef) #7

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

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

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

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

declare void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8, ptr noundef nonnull align 8 dereferenceable(8)) #7

declare void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #7

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

declare void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #7

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

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

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #8

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3HIR9Evaluator21allocation_to_encodedERKNS_7TypeRefERKN3MIR4eval10AllocationE(ptr dead_on_unwind noalias writable sret(%struct.EncodedLiteral) align 8, ptr noundef nonnull align 8 dereferenceable(472), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(64)) #3 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState(ptr dead_on_unwind noalias writable sret(%struct.EncodedLiteral) align 8 %0, ptr noundef nonnull align 8 dereferenceable(472) %1, ptr noundef nonnull align 8 dereferenceable(56) %2, ptr noundef nonnull align 8 dereferenceable(72) %3, ptr noundef %4, ptr noundef %5) #3 align 2 personality ptr @__gxx_personality_v0 {
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca ptr, align 8
  %13 = alloca %class.TraceLog, align 8
  %14 = alloca %"class.std::function", align 8
  %15 = alloca %class.anon.504, align 8
  %16 = alloca ptr, align 8
  %17 = alloca i32, align 4
  %18 = alloca ptr, align 8
  %19 = alloca %struct.Span, align 8
  %20 = alloca %"class.std::function", align 8
  %21 = alloca %class.anon.505, align 1
  %22 = alloca %"struct.HIR::PathParams", align 8
  %23 = alloca %"struct.HIR::PathParams", align 8
  %24 = alloca %"struct.HIR::PathParams", align 8
  %25 = alloca %"struct.HIR::PathParams", align 8
  %26 = alloca ptr, align 8
  %27 = alloca %"class.HIR::TypeRef", align 8
  %28 = alloca %struct.FmtLambda, align 8
  %29 = alloca %"class.std::function", align 8
  %30 = alloca %class.anon.512, align 8
  %31 = alloca %struct.MonomorphState, align 8
  %32 = alloca %"class.HIR::TypeRef", align 8
  %33 = alloca %"class.std::vector.26", align 8
  %34 = alloca %"class.std::vector.36", align 8
  %35 = alloca %"class.MIR::eval::AllocationPtr", align 8
  %36 = alloca %struct.Span, align 8
  %37 = alloca %"class.std::function", align 8
  %38 = alloca %class.anon.513, align 1
  %39 = alloca %"class.MIR::eval::ValueRef", align 8
  %40 = alloca %"class.MIR::eval::RelocPtr", align 8
  %41 = alloca %"class.MIR::eval::AllocationPtr", align 8
  %42 = alloca %struct.Span, align 8
  %43 = alloca %"class.std::function", align 8
  %44 = alloca %class.anon.515, align 1
  store ptr %0, ptr %7, align 8
  store ptr %1, ptr %8, align 8, !tbaa !5
  store ptr %2, ptr %9, align 8, !tbaa !5
  store ptr %3, ptr %10, align 8, !tbaa !5
  store ptr %4, ptr %11, align 8, !tbaa !5
  store ptr %5, ptr %12, align 8, !tbaa !5
  %45 = load ptr, ptr %8, align 8
  call void @llvm.lifetime.start.p0(i64 40, ptr %13) #9
  %46 = call noundef zeroext i1 @_Z13debug_enabledv()
  %47 = zext i1 %46 to i64
  %48 = select i1 %46, ptr @__func__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState, ptr null
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #9
  %49 = getelementptr inbounds %class.anon.504, ptr %15, i32 0, i32 0
  %50 = load ptr, ptr %9, align 8, !tbaa !5
  store ptr %50, ptr %49, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %14, ptr noundef nonnull align 8 dereferenceable(8) %15) #9
  invoke void @_ZN8TraceLogC1EPKcSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(40) %13, ptr noundef %48, ptr noundef %14)
          to label %51 unwind label %67

51:                                               ; preds = %6
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  br label %52

52:                                               ; preds = %51
  %53 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %54 unwind label %71

54:                                               ; preds = %52
  br i1 %53, label %55, label %75

55:                                               ; preds = %54
  %56 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %57 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %56, ptr noundef @__func__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState)
          to label %58 unwind label %71

58:                                               ; preds = %55
  %59 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %57, ptr noundef @.str.72)
          to label %60 unwind label %71

60:                                               ; preds = %58
  %61 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK14MonomorphState(ptr noundef nonnull align 8 dereferenceable(8) %59, ptr noundef nonnull align 8 dereferenceable(144) %5)
          to label %62 unwind label %71

62:                                               ; preds = %60
  %63 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %61, ptr noundef @_ZSt3decRSt8ios_base)
          to label %64 unwind label %71

64:                                               ; preds = %62
  %65 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %63, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %66 unwind label %71

66:                                               ; preds = %64
  br label %75

67:                                               ; preds = %6
  %68 = landingpad { ptr, i32 }
          cleanup
  %69 = extractvalue { ptr, i32 } %68, 0
  store ptr %69, ptr %16, align 8
  %70 = extractvalue { ptr, i32 } %68, 1
  store i32 %70, ptr %17, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %14) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  br label %404

71:                                               ; preds = %64, %62, %60, %58, %55, %52
  %72 = landingpad { ptr, i32 }
          cleanup
  %73 = extractvalue { ptr, i32 } %72, 0
  store ptr %73, ptr %16, align 8
  %74 = extractvalue { ptr, i32 } %72, 1
  store i32 %74, ptr %17, align 4
  br label %403

75:                                               ; preds = %66, %54
  br label %76

76:                                               ; preds = %75
  br label %77

77:                                               ; preds = %76
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #9
  %78 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %79 = getelementptr inbounds i8, ptr %78, i64 8
  %80 = getelementptr inbounds %struct.TraitResolveCommon, ptr %79, i32 0, i32 0
  %81 = load ptr, ptr %80, align 8, !tbaa !11
  %82 = load ptr, ptr %9, align 8, !tbaa !5
  %83 = load ptr, ptr %10, align 8, !tbaa !5
  %84 = invoke noundef ptr @_ZNK3HIR5Crate14get_or_gen_mirERKNS_8ItemPathERKNS_7ExprPtrERNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(944) %81, ptr noundef nonnull align 8 dereferenceable(56) %82, ptr noundef nonnull align 8 dereferenceable(72) %83, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %85 unwind label %99

85:                                               ; preds = %77
  store ptr %84, ptr %18, align 8, !tbaa !5
  %86 = load ptr, ptr %18, align 8, !tbaa !5
  %87 = icmp ne ptr %86, null
  br i1 %87, label %88, label %146

88:                                               ; preds = %85
  br label %89

89:                                               ; preds = %88
  %90 = load ptr, ptr %10, align 8, !tbaa !5
  %91 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %90, i32 0, i32 4
  %92 = invoke noundef zeroext i1 @_ZNK3HIR12ExprStatePtrcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %91)
          to label %93 unwind label %99

93:                                               ; preds = %89
  br i1 %92, label %116, label %94

94:                                               ; preds = %93
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #9
  invoke void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %19)
          to label %95 unwind label %103

95:                                               ; preds = %94
  call void @llvm.lifetime.start.p0(i64 1, ptr %21) #9
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %20, ptr noundef nonnull align 1 dereferenceable(1) %21) #9
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef %20)
          to label %96 unwind label %107

96:                                               ; preds = %95
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  %97 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %97, ptr noundef @.str.29)
          to label %98 unwind label %112

98:                                               ; preds = %96
  invoke void @__cxa_throw(ptr %97, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
          to label %410 unwind label %99

99:                                               ; preds = %141, %135, %130, %98, %89, %77
  %100 = landingpad { ptr, i32 }
          cleanup
  %101 = extractvalue { ptr, i32 } %100, 0
  store ptr %101, ptr %16, align 8
  %102 = extractvalue { ptr, i32 } %100, 1
  store i32 %102, ptr %17, align 4
  br label %402

103:                                              ; preds = %94
  %104 = landingpad { ptr, i32 }
          cleanup
  %105 = extractvalue { ptr, i32 } %104, 0
  store ptr %105, ptr %16, align 8
  %106 = extractvalue { ptr, i32 } %104, 1
  store i32 %106, ptr %17, align 4
  br label %111

107:                                              ; preds = %95
  %108 = landingpad { ptr, i32 }
          cleanup
  %109 = extractvalue { ptr, i32 } %108, 0
  store ptr %109, ptr %16, align 8
  %110 = extractvalue { ptr, i32 } %108, 1
  store i32 %110, ptr %17, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %21) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  br label %111

111:                                              ; preds = %107, %103
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  br label %402

112:                                              ; preds = %96
  %113 = landingpad { ptr, i32 }
          cleanup
  %114 = extractvalue { ptr, i32 } %113, 0
  store ptr %114, ptr %16, align 8
  %115 = extractvalue { ptr, i32 } %113, 1
  store i32 %115, ptr %17, align 4
  call void @__cxa_free_exception(ptr %97) #9
  br label %402

116:                                              ; preds = %93
  br label %117

117:                                              ; preds = %116
  br label %118

118:                                              ; preds = %117
  %119 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %120 = getelementptr inbounds i8, ptr %119, i64 8
  %121 = getelementptr inbounds %struct.TraitResolveCommon, ptr %120, i32 0, i32 2
  %122 = load ptr, ptr %121, align 8, !tbaa !30
  %123 = icmp ne ptr %122, null
  br i1 %123, label %145, label %124

124:                                              ; preds = %118
  %125 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %126 = getelementptr inbounds i8, ptr %125, i64 8
  %127 = getelementptr inbounds %struct.TraitResolveCommon, ptr %126, i32 0, i32 1
  %128 = load ptr, ptr %127, align 8, !tbaa !31
  %129 = icmp ne ptr %128, null
  br i1 %129, label %145, label %130

130:                                              ; preds = %124
  %131 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %132 = load ptr, ptr %10, align 8, !tbaa !5
  %133 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %132, i32 0, i32 4
  %134 = invoke noundef ptr @_ZNK3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %133)
          to label %135 unwind label %99

135:                                              ; preds = %130
  %136 = getelementptr inbounds %"class.HIR::ExprState", ptr %134, i32 0, i32 2
  %137 = load ptr, ptr %136, align 8, !tbaa !32
  %138 = load ptr, ptr %10, align 8, !tbaa !5
  %139 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %138, i32 0, i32 4
  %140 = invoke noundef ptr @_ZNK3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %139)
          to label %141 unwind label %99

141:                                              ; preds = %135
  %142 = getelementptr inbounds %"class.HIR::ExprState", ptr %140, i32 0, i32 3
  %143 = load ptr, ptr %142, align 8, !tbaa !39
  invoke void @_ZN18StaticTraitResolve21set_both_generics_rawEPKN3HIR13GenericParamsES3_(ptr noundef nonnull align 8 dereferenceable(424) %131, ptr noundef %137, ptr noundef %143)
          to label %144 unwind label %99

144:                                              ; preds = %141
  br label %145

145:                                              ; preds = %144, %124, %118
  br label %146

146:                                              ; preds = %145, %85
  call void @llvm.lifetime.start.p0(i64 24, ptr %22) #9
  invoke void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %22)
          to label %147 unwind label %171

147:                                              ; preds = %146
  call void @llvm.lifetime.start.p0(i64 24, ptr %23) #9
  invoke void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %23)
          to label %148 unwind label %175

148:                                              ; preds = %147
  %149 = getelementptr inbounds %struct.MonomorphState, ptr %5, i32 0, i32 2
  %150 = load ptr, ptr %149, align 8, !tbaa !40
  %151 = icmp ne ptr %150, null
  br i1 %151, label %213, label %152

152:                                              ; preds = %148
  %153 = getelementptr inbounds %struct.MonomorphState, ptr %5, i32 0, i32 3
  %154 = load ptr, ptr %153, align 8, !tbaa !54
  %155 = icmp ne ptr %154, null
  br i1 %155, label %213, label %156

156:                                              ; preds = %152
  %157 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %158 = getelementptr inbounds i8, ptr %157, i64 8
  %159 = getelementptr inbounds %struct.TraitResolveCommon, ptr %158, i32 0, i32 2
  %160 = load ptr, ptr %159, align 8, !tbaa !30
  %161 = icmp ne ptr %160, null
  br i1 %161, label %162, label %188

162:                                              ; preds = %156
  call void @llvm.lifetime.start.p0(i64 24, ptr %24) #9
  %163 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %164 = getelementptr inbounds i8, ptr %163, i64 8
  %165 = getelementptr inbounds %struct.TraitResolveCommon, ptr %164, i32 0, i32 2
  %166 = load ptr, ptr %165, align 8, !tbaa !30
  invoke void @_ZNK3HIR13GenericParams15make_nop_paramsEjb(ptr dead_on_unwind writable sret(%"struct.HIR::PathParams") align 8 %24, ptr noundef nonnull align 8 dereferenceable(96) %166, i32 noundef 1, i1 noundef zeroext false)
          to label %167 unwind label %179

167:                                              ; preds = %162
  %168 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZN3HIR10PathParamsaSEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %23, ptr noundef nonnull align 8 dereferenceable(24) %24)
          to label %169 unwind label %183

169:                                              ; preds = %167
  %170 = getelementptr inbounds %struct.MonomorphState, ptr %5, i32 0, i32 3
  store ptr %168, ptr %170, align 8, !tbaa !54
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #9
  br label %188

171:                                              ; preds = %146
  %172 = landingpad { ptr, i32 }
          cleanup
  %173 = extractvalue { ptr, i32 } %172, 0
  store ptr %173, ptr %16, align 8
  %174 = extractvalue { ptr, i32 } %172, 1
  store i32 %174, ptr %17, align 4
  br label %401

175:                                              ; preds = %147
  %176 = landingpad { ptr, i32 }
          cleanup
  %177 = extractvalue { ptr, i32 } %176, 0
  store ptr %177, ptr %16, align 8
  %178 = extractvalue { ptr, i32 } %176, 1
  store i32 %178, ptr %17, align 4
  br label %400

179:                                              ; preds = %162
  %180 = landingpad { ptr, i32 }
          cleanup
  %181 = extractvalue { ptr, i32 } %180, 0
  store ptr %181, ptr %16, align 8
  %182 = extractvalue { ptr, i32 } %180, 1
  store i32 %182, ptr %17, align 4
  br label %187

183:                                              ; preds = %167
  %184 = landingpad { ptr, i32 }
          cleanup
  %185 = extractvalue { ptr, i32 } %184, 0
  store ptr %185, ptr %16, align 8
  %186 = extractvalue { ptr, i32 } %184, 1
  store i32 %186, ptr %17, align 4
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #9
  br label %187

187:                                              ; preds = %183, %179
  call void @llvm.lifetime.end.p0(i64 24, ptr %24) #9
  br label %399

188:                                              ; preds = %169, %156
  %189 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %190 = getelementptr inbounds i8, ptr %189, i64 8
  %191 = getelementptr inbounds %struct.TraitResolveCommon, ptr %190, i32 0, i32 1
  %192 = load ptr, ptr %191, align 8, !tbaa !31
  %193 = icmp ne ptr %192, null
  br i1 %193, label %194, label %212

194:                                              ; preds = %188
  call void @llvm.lifetime.start.p0(i64 24, ptr %25) #9
  %195 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %196 = getelementptr inbounds i8, ptr %195, i64 8
  %197 = getelementptr inbounds %struct.TraitResolveCommon, ptr %196, i32 0, i32 1
  %198 = load ptr, ptr %197, align 8, !tbaa !31
  invoke void @_ZNK3HIR13GenericParams15make_nop_paramsEjb(ptr dead_on_unwind writable sret(%"struct.HIR::PathParams") align 8 %25, ptr noundef nonnull align 8 dereferenceable(96) %198, i32 noundef 0, i1 noundef zeroext false)
          to label %199 unwind label %203

199:                                              ; preds = %194
  %200 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZN3HIR10PathParamsaSEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %22, ptr noundef nonnull align 8 dereferenceable(24) %25)
          to label %201 unwind label %207

201:                                              ; preds = %199
  %202 = getelementptr inbounds %struct.MonomorphState, ptr %5, i32 0, i32 2
  store ptr %200, ptr %202, align 8, !tbaa !40
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %25) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %25) #9
  br label %212

203:                                              ; preds = %194
  %204 = landingpad { ptr, i32 }
          cleanup
  %205 = extractvalue { ptr, i32 } %204, 0
  store ptr %205, ptr %16, align 8
  %206 = extractvalue { ptr, i32 } %204, 1
  store i32 %206, ptr %17, align 4
  br label %211

207:                                              ; preds = %199
  %208 = landingpad { ptr, i32 }
          cleanup
  %209 = extractvalue { ptr, i32 } %208, 0
  store ptr %209, ptr %16, align 8
  %210 = extractvalue { ptr, i32 } %208, 1
  store i32 %210, ptr %17, align 4
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %25) #9
  br label %211

211:                                              ; preds = %207, %203
  call void @llvm.lifetime.end.p0(i64 24, ptr %25) #9
  br label %399

212:                                              ; preds = %201, %188
  br label %213

213:                                              ; preds = %212, %152, %148
  %214 = load ptr, ptr %18, align 8, !tbaa !5
  %215 = icmp ne ptr %214, null
  br i1 %215, label %216, label %372

216:                                              ; preds = %213
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #9
  %217 = load ptr, ptr %9, align 8, !tbaa !5
  %218 = invoke noundef nonnull align 8 dereferenceable(56) ptr @_ZNK3HIR8ItemPath10get_top_ipEv(ptr noundef nonnull align 8 dereferenceable(56) %217)
          to label %219 unwind label %234

219:                                              ; preds = %216
  store ptr %218, ptr %26, align 8, !tbaa !5
  %220 = load ptr, ptr %26, align 8, !tbaa !5
  %221 = getelementptr inbounds %"class.HIR::ItemPath", ptr %220, i32 0, i32 2
  %222 = load ptr, ptr %221, align 8, !tbaa !55
  %223 = icmp ne ptr %222, null
  br i1 %223, label %224, label %247

224:                                              ; preds = %219
  %225 = load ptr, ptr %26, align 8, !tbaa !5
  %226 = getelementptr inbounds %"class.HIR::ItemPath", ptr %225, i32 0, i32 1
  %227 = load ptr, ptr %226, align 8, !tbaa !56
  %228 = icmp ne ptr %227, null
  br i1 %228, label %247, label %229

229:                                              ; preds = %224
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8 %27, ptr noundef nonnull align 8 dereferenceable(8) @_ZN12_GLOBAL__N_17ty_SelfE)
          to label %230 unwind label %238

230:                                              ; preds = %229
  %231 = getelementptr inbounds %struct.MonomorphState, ptr %5, i32 0, i32 1
  %232 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR7TypeRefaSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %231, ptr noundef nonnull align 8 dereferenceable(8) %27)
          to label %233 unwind label %242

233:                                              ; preds = %230
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %27) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  br label %247

234:                                              ; preds = %216
  %235 = landingpad { ptr, i32 }
          cleanup
  %236 = extractvalue { ptr, i32 } %235, 0
  store ptr %236, ptr %16, align 8
  %237 = extractvalue { ptr, i32 } %235, 1
  store i32 %237, ptr %17, align 4
  br label %371

238:                                              ; preds = %229
  %239 = landingpad { ptr, i32 }
          cleanup
  %240 = extractvalue { ptr, i32 } %239, 0
  store ptr %240, ptr %16, align 8
  %241 = extractvalue { ptr, i32 } %239, 1
  store i32 %241, ptr %17, align 4
  br label %246

242:                                              ; preds = %230
  %243 = landingpad { ptr, i32 }
          cleanup
  %244 = extractvalue { ptr, i32 } %243, 0
  store ptr %244, ptr %16, align 8
  %245 = extractvalue { ptr, i32 } %243, 1
  store i32 %245, ptr %17, align 4
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %27) #9
  br label %246

246:                                              ; preds = %242, %238
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  br label %371

247:                                              ; preds = %233, %224, %219
  %248 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 5
  %249 = call noundef zeroext i1 @_ZNKSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %248) #9
  br i1 %249, label %250, label %251

250:                                              ; preds = %247
  br label %253

251:                                              ; preds = %247
  call void @__assert_fail(ptr noundef @.str.73, ptr noundef @.str.8, i32 noundef 3059, ptr noundef @__PRETTY_FUNCTION__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState) #11
  unreachable

252:                                              ; No predecessors!
  br label %253

253:                                              ; preds = %252, %250
  %254 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 4
  store i32 0, ptr %254, align 4, !tbaa !57
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #9
  %255 = getelementptr inbounds %class.anon.512, ptr %30, i32 0, i32 0
  %256 = load ptr, ptr %9, align 8, !tbaa !5
  store ptr %256, ptr %255, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %29, ptr noundef nonnull align 8 dereferenceable(8) %30) #9
  invoke void @_ZN9FmtLambdaC2ESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(32) %28, ptr noundef %29)
          to label %257 unwind label %280

257:                                              ; preds = %253
  %258 = load ptr, ptr %18, align 8, !tbaa !5
  invoke void @_ZN14MonomorphStateC2EOS_(ptr noundef nonnull align 8 dereferenceable(144) %31, ptr noundef nonnull align 8 dereferenceable(144) %5)
          to label %259 unwind label %284

259:                                              ; preds = %257
  invoke void @_ZN3HIR7TypeRefC2EOS0_(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %260 unwind label %288

260:                                              ; preds = %259
  call void @llvm.memset.p0.i64(ptr align 8 %33, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %33) #9
  call void @llvm.memset.p0.i64(ptr align 8 %34, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN3MIR4eval13AllocationPtrESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #9
  %261 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %262 = getelementptr inbounds i8, ptr %261, i64 8
  %263 = getelementptr inbounds %struct.TraitResolveCommon, ptr %262, i32 0, i32 2
  %264 = load ptr, ptr %263, align 8, !tbaa !30
  %265 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 1
  %266 = getelementptr inbounds i8, ptr %265, i64 8
  %267 = getelementptr inbounds %struct.TraitResolveCommon, ptr %266, i32 0, i32 1
  %268 = load ptr, ptr %267, align 8, !tbaa !31
  invoke void @_ZN3HIR9Evaluator16push_stack_entryE9FmtLambdaRKN3MIR8FunctionE14MonomorphStateNS_7TypeRefESt6vectorISt4pairINS_7PatternES7_ESaISB_EES8_INS2_4eval13AllocationPtrESaISF_EEPKNS_13GenericParamsESK_(ptr noundef nonnull align 8 dereferenceable(472) %45, ptr noundef %28, ptr noundef nonnull align 8 dereferenceable(96) %258, ptr noundef %31, ptr noundef %32, ptr noundef %33, ptr noundef %34, ptr noundef %264, ptr noundef %268)
          to label %269 unwind label %292

269:                                              ; preds = %260
  call void @_ZNSt6vectorIN3MIR4eval13AllocationPtrESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #9
  call void @_ZNSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %33) #9
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #9
  call void @_ZN14MonomorphStateD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %31) #9
  call void @_ZN9FmtLambdaD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #9
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #9
  invoke void @_ZN3HIR9Evaluator21run_until_stack_emptyEv(ptr dead_on_unwind writable sret(%"class.MIR::eval::AllocationPtr") align 8 %35, ptr noundef nonnull align 8 dereferenceable(472) %45)
          to label %270 unwind label %299

270:                                              ; preds = %269
  br label %271

271:                                              ; preds = %270
  %272 = invoke noundef zeroext i1 @_ZNK3MIR4eval11RefCountPtrINS0_10AllocationEEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %35)
          to label %273 unwind label %303

273:                                              ; preds = %271
  br i1 %272, label %320, label %274

274:                                              ; preds = %273
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #9
  %275 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 0
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %36, ptr noundef nonnull align 8 dereferenceable(8) %275)
          to label %276 unwind label %307

276:                                              ; preds = %274
  call void @llvm.lifetime.start.p0(i64 1, ptr %38) #9
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %37, ptr noundef nonnull align 1 dereferenceable(1) %38) #9
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %36, ptr noundef %37)
          to label %277 unwind label %311

277:                                              ; preds = %276
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %36) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  %278 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %278, ptr noundef @.str.29)
          to label %279 unwind label %316

279:                                              ; preds = %277
  invoke void @__cxa_throw(ptr %278, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
          to label %410 unwind label %303

280:                                              ; preds = %253
  %281 = landingpad { ptr, i32 }
          cleanup
  %282 = extractvalue { ptr, i32 } %281, 0
  store ptr %282, ptr %16, align 8
  %283 = extractvalue { ptr, i32 } %281, 1
  store i32 %283, ptr %17, align 4
  br label %298

284:                                              ; preds = %257
  %285 = landingpad { ptr, i32 }
          cleanup
  %286 = extractvalue { ptr, i32 } %285, 0
  store ptr %286, ptr %16, align 8
  %287 = extractvalue { ptr, i32 } %285, 1
  store i32 %287, ptr %17, align 4
  br label %297

288:                                              ; preds = %259
  %289 = landingpad { ptr, i32 }
          cleanup
  %290 = extractvalue { ptr, i32 } %289, 0
  store ptr %290, ptr %16, align 8
  %291 = extractvalue { ptr, i32 } %289, 1
  store i32 %291, ptr %17, align 4
  br label %296

292:                                              ; preds = %260
  %293 = landingpad { ptr, i32 }
          cleanup
  %294 = extractvalue { ptr, i32 } %293, 0
  store ptr %294, ptr %16, align 8
  %295 = extractvalue { ptr, i32 } %293, 1
  store i32 %295, ptr %17, align 4
  call void @_ZNSt6vectorIN3MIR4eval13AllocationPtrESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %34) #9
  call void @_ZNSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %33) #9
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #9
  br label %296

296:                                              ; preds = %292, %288
  call void @_ZN14MonomorphStateD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %31) #9
  br label %297

297:                                              ; preds = %296, %284
  call void @_ZN9FmtLambdaD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #9
  br label %298

298:                                              ; preds = %297, %280
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #9
  br label %371

299:                                              ; preds = %269
  %300 = landingpad { ptr, i32 }
          cleanup
  %301 = extractvalue { ptr, i32 } %300, 0
  store ptr %301, ptr %16, align 8
  %302 = extractvalue { ptr, i32 } %300, 1
  store i32 %302, ptr %17, align 4
  br label %370

303:                                              ; preds = %367, %365, %332, %329, %326, %323, %279, %271
  %304 = landingpad { ptr, i32 }
          cleanup
  %305 = extractvalue { ptr, i32 } %304, 0
  store ptr %305, ptr %16, align 8
  %306 = extractvalue { ptr, i32 } %304, 1
  store i32 %306, ptr %17, align 4
  br label %369

307:                                              ; preds = %274
  %308 = landingpad { ptr, i32 }
          cleanup
  %309 = extractvalue { ptr, i32 } %308, 0
  store ptr %309, ptr %16, align 8
  %310 = extractvalue { ptr, i32 } %308, 1
  store i32 %310, ptr %17, align 4
  br label %315

311:                                              ; preds = %276
  %312 = landingpad { ptr, i32 }
          cleanup
  %313 = extractvalue { ptr, i32 } %312, 0
  store ptr %313, ptr %16, align 8
  %314 = extractvalue { ptr, i32 } %312, 1
  store i32 %314, ptr %17, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %38) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %36) #9
  br label %315

315:                                              ; preds = %311, %307
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  br label %369

316:                                              ; preds = %277
  %317 = landingpad { ptr, i32 }
          cleanup
  %318 = extractvalue { ptr, i32 } %317, 0
  store ptr %318, ptr %16, align 8
  %319 = extractvalue { ptr, i32 } %317, 1
  store i32 %319, ptr %17, align 4
  call void @__cxa_free_exception(ptr %278) #9
  br label %369

320:                                              ; preds = %273
  br label %321

321:                                              ; preds = %320
  br label %322

322:                                              ; preds = %321
  br label %323

323:                                              ; preds = %322
  %324 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %325 unwind label %303

325:                                              ; preds = %323
  br i1 %324, label %326, label %363

326:                                              ; preds = %325
  %327 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %328 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %327, ptr noundef @__func__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState)
          to label %329 unwind label %303

329:                                              ; preds = %326
  %330 = load ptr, ptr %9, align 8, !tbaa !5
  %331 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_8ItemPathE(ptr noundef nonnull align 8 dereferenceable(8) %328, ptr noundef nonnull align 8 dereferenceable(56) %330)
          to label %332 unwind label %303

332:                                              ; preds = %329
  %333 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %331, ptr noundef @.str.22)
          to label %334 unwind label %303

334:                                              ; preds = %332
  call void @llvm.lifetime.start.p0(i64 16, ptr %39) #9
  invoke void @_ZN3MIR4eval13AllocationPtrC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(8) %41, ptr noundef nonnull align 8 dereferenceable(8) %35)
          to label %335 unwind label %344

335:                                              ; preds = %334
  invoke void @_ZN3MIR4eval8RelocPtrC2ENS0_13AllocationPtrE(ptr noundef nonnull align 8 dereferenceable(8) %40, ptr noundef %41)
          to label %336 unwind label %348

336:                                              ; preds = %335
  invoke void @_ZN3MIR4eval8ValueRefC2ENS0_8RelocPtrEm(ptr noundef nonnull align 8 dereferenceable(16) %39, ptr noundef %40, i64 noundef 0)
          to label %337 unwind label %352

337:                                              ; preds = %336
  %338 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIR4evallsERSoRKNS0_8ValueRefE(ptr noundef nonnull align 8 dereferenceable(8) %333, ptr noundef nonnull align 8 dereferenceable(16) %39)
          to label %339 unwind label %356

339:                                              ; preds = %337
  %340 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %338, ptr noundef @_ZSt3decRSt8ios_base)
          to label %341 unwind label %356

341:                                              ; preds = %339
  %342 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %340, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %343 unwind label %356

343:                                              ; preds = %341
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %39) #9
  call void @_ZN3MIR4eval8RelocPtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %41) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #9
  br label %363

344:                                              ; preds = %334
  %345 = landingpad { ptr, i32 }
          cleanup
  %346 = extractvalue { ptr, i32 } %345, 0
  store ptr %346, ptr %16, align 8
  %347 = extractvalue { ptr, i32 } %345, 1
  store i32 %347, ptr %17, align 4
  br label %362

348:                                              ; preds = %335
  %349 = landingpad { ptr, i32 }
          cleanup
  %350 = extractvalue { ptr, i32 } %349, 0
  store ptr %350, ptr %16, align 8
  %351 = extractvalue { ptr, i32 } %349, 1
  store i32 %351, ptr %17, align 4
  br label %361

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

356:                                              ; preds = %341, %339, %337
  %357 = landingpad { ptr, i32 }
          cleanup
  %358 = extractvalue { ptr, i32 } %357, 0
  store ptr %358, ptr %16, align 8
  %359 = extractvalue { ptr, i32 } %357, 1
  store i32 %359, ptr %17, align 4
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %39) #9
  br label %360

360:                                              ; preds = %356, %352
  call void @_ZN3MIR4eval8RelocPtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  br label %361

361:                                              ; preds = %360, %348
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %41) #9
  br label %362

362:                                              ; preds = %361, %344
  call void @llvm.lifetime.end.p0(i64 16, ptr %39) #9
  br label %369

363:                                              ; preds = %343, %325
  br label %364

364:                                              ; preds = %363
  br label %365

365:                                              ; preds = %364
  %366 = invoke noundef nonnull align 8 dereferenceable(64) ptr @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %35)
          to label %367 unwind label %303

367:                                              ; preds = %365
  invoke void @_ZN3HIR9Evaluator21allocation_to_encodedERKNS_7TypeRefERKN3MIR4eval10AllocationE(ptr dead_on_unwind writable sret(%struct.EncodedLiteral) align 8 %0, ptr noundef nonnull align 8 dereferenceable(472) %45, ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(64) %366)
          to label %368 unwind label %303

368:                                              ; preds = %367
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %35) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %23) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %23) #9
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %22) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #9
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %13) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr %13) #9
  ret void

369:                                              ; preds = %362, %316, %315, %303
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %35) #9
  br label %370

370:                                              ; preds = %369, %299
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  br label %371

371:                                              ; preds = %370, %298, %246, %234
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  br label %399

372:                                              ; preds = %213
  br label %373

373:                                              ; preds = %372
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #9
  %374 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %45, i32 0, i32 0
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull align 8 dereferenceable(8) %374)
          to label %375 unwind label %379

375:                                              ; preds = %373
  call void @llvm.lifetime.start.p0(i64 1, ptr %44) #9
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_4vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %43, ptr noundef nonnull align 1 dereferenceable(1) %44) #9
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef %43)
          to label %376 unwind label %383

376:                                              ; preds = %375
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %43) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %42) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #9
  %377 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %377, ptr noundef @.str.29)
          to label %378 unwind label %388

378:                                              ; preds = %376
  invoke void @__cxa_throw(ptr %377, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
          to label %410 unwind label %392

379:                                              ; preds = %373
  %380 = landingpad { ptr, i32 }
          cleanup
  %381 = extractvalue { ptr, i32 } %380, 0
  store ptr %381, ptr %16, align 8
  %382 = extractvalue { ptr, i32 } %380, 1
  store i32 %382, ptr %17, align 4
  br label %387

383:                                              ; preds = %375
  %384 = landingpad { ptr, i32 }
          cleanup
  %385 = extractvalue { ptr, i32 } %384, 0
  store ptr %385, ptr %16, align 8
  %386 = extractvalue { ptr, i32 } %384, 1
  store i32 %386, ptr %17, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %43) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %42) #9
  br label %387

387:                                              ; preds = %383, %379
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #9
  br label %399

388:                                              ; preds = %376
  %389 = landingpad { ptr, i32 }
          cleanup
  %390 = extractvalue { ptr, i32 } %389, 0
  store ptr %390, ptr %16, align 8
  %391 = extractvalue { ptr, i32 } %389, 1
  store i32 %391, ptr %17, align 4
  call void @__cxa_free_exception(ptr %377) #9
  br label %399

392:                                              ; preds = %378
  %393 = landingpad { ptr, i32 }
          cleanup
  %394 = extractvalue { ptr, i32 } %393, 0
  store ptr %394, ptr %16, align 8
  %395 = extractvalue { ptr, i32 } %393, 1
  store i32 %395, ptr %17, align 4
  br label %399

396:                                              ; No predecessors!
  br label %397

397:                                              ; preds = %396
  br label %398

398:                                              ; preds = %397
  unreachable

399:                                              ; preds = %392, %388, %387, %371, %211, %187
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %23) #9
  br label %400

400:                                              ; preds = %399, %175
  call void @llvm.lifetime.end.p0(i64 24, ptr %23) #9
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %22) #9
  br label %401

401:                                              ; preds = %400, %171
  call void @llvm.lifetime.end.p0(i64 24, ptr %22) #9
  br label %402

402:                                              ; preds = %401, %112, %111, %99
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #9
  br label %403

403:                                              ; preds = %402, %71
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %13) #9
  br label %404

404:                                              ; preds = %403, %67
  call void @llvm.lifetime.end.p0(i64 40, ptr %13) #9
  br label %405

405:                                              ; preds = %404
  %406 = load ptr, ptr %16, align 8
  %407 = load i32, ptr %17, align 4
  %408 = insertvalue { ptr, i32 } poison, ptr %406, 0
  %409 = insertvalue { ptr, i32 } %408, i32 %407, 1
  resume { ptr, i32 } %409

410:                                              ; preds = %378, %279, %98
  unreachable
}

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #4 align 2

declare void @_ZN8TraceLogC1EPKcSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef, ptr noundef) unnamed_addr #7

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK14MonomorphState(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(144)) #7

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 align 2

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

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

declare void @_ZNK3HIR13GenericParams15make_nop_paramsEjb(ptr dead_on_unwind writable sret(%"struct.HIR::PathParams") align 8, ptr noundef nonnull align 8 dereferenceable(96), i32 noundef, i1 noundef zeroext) #7

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #4 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 align 2

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_4vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 align 2

; Function Attrs: nounwind
declare void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #5

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

declare void @_ZN3MIR4eval8RelocPtrD1Ev(ptr)

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !6, i64 0}
!12 = !{!"_ZTS18TraitResolveCommon", !6, i64 0, !6, i64 8, !6, i64 16, !13, i64 24, !22, i64 72, !28, i64 104, !28, i64 112, !28, i64 120, !28, i64 128, !28, i64 136, !28, i64 144, !28, i64 152, !28, i64 160, !28, i64 168, !28, i64 176, !28, i64 184, !28, i64 192, !28, i64 200, !28, i64 208}
!13 = !{!"_ZTSSt3mapIN3HIR7TypeRefEN18TraitResolveCommon14CachedEqualityESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !14, i64 0}
!14 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !15, i64 0}
!15 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !16, i64 0, !18, i64 8}
!16 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR7TypeRefEEE", !17, i64 0}
!17 = !{!"_ZTSSt4lessIN3HIR7TypeRefEE"}
!18 = !{!"_ZTSSt15_Rb_tree_header", !19, i64 0, !21, i64 32}
!19 = !{!"_ZTSSt18_Rb_tree_node_base", !20, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!20 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!21 = !{!"long", !7, i64 0}
!22 = !{!"_ZTS11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE", !23, i64 0, !27, i64 24}
!23 = !{!"_ZTSSt6vectorISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !24, i64 0}
!24 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE12_Vector_implE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!27 = !{!"_ZTSN18TraitResolveCommon14CachedBoundCmpE"}
!28 = !{!"_ZTSN3HIR10SimplePathE", !29, i64 0}
!29 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!30 = !{!12, !6, i64 16}
!31 = !{!12, !6, i64 8}
!32 = !{!33, !6, i64 16}
!33 = !{!"_ZTSN3HIR9ExprStateE", !28, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !34, i64 32, !38, i64 56}
!34 = !{!"_ZTSSt6vectorISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE", !35, i64 0}
!35 = !{!"_ZTSSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE", !36, i64 0}
!36 = !{!"_ZTSNSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE12_Vector_implE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!38 = !{!"_ZTSN3HIR9ExprState5StageE", !7, i64 0}
!39 = !{!33, !6, i64 24}
!40 = !{!41, !6, i64 104}
!41 = !{!"_ZTS14MonomorphState", !42, i64 0, !49, i64 96, !6, i64 104, !6, i64 112, !50, i64 120}
!42 = !{!"_ZTS15MonomorphiserPP", !43, i64 0}
!43 = !{!"_ZTS13Monomorphiser", !6, i64 8, !44, i64 16, !45, i64 72}
!44 = !{!"_ZTSN3HIR8ItemPathE", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!45 = !{!"_ZTSSt6vectorIPKN3HIR13GenericParamsESaIS3_EE", !46, i64 0}
!46 = !{!"_ZTSSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE", !47, i64 0}
!47 = !{!"_ZTSNSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE12_Vector_implE", !48, i64 0}
!48 = !{!"_ZTSNSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!49 = !{!"_ZTSN3HIR7TypeRefE", !6, i64 0}
!50 = !{!"_ZTSN3HIR10PathParamsE", !51, i64 0, !52, i64 8, !53, i64 16}
!51 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !6, i64 0}
!52 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !6, i64 0}
!53 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !6, i64 0}
!54 = !{!41, !6, i64 112}
!55 = !{!44, !6, i64 16}
!56 = !{!44, !6, i64 8}
!57 = !{!58, !10, i64 444}
!58 = !{!"_ZTSN3HIR9EvaluatorE", !59, i64 0, !60, i64 8, !6, i64 432, !10, i64 440, !10, i64 444, !70, i64 448}
!59 = !{!"_ZTS4Span", !6, i64 0}
!60 = !{!"_ZTS18StaticTraitResolve", !12, i64 8, !61, i64 224, !62, i64 232, !62, i64 280, !62, i64 328, !65, i64 376}
!61 = !{!"_ZTS12MetadataType", !7, i64 0}
!62 = !{!"_ZTSSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE", !63, i64 0}
!63 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE", !64, i64 0}
!64 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE13_Rb_tree_implIS8_Lb1EEE", !16, i64 0, !18, i64 8}
!65 = !{!"_ZTSSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3HIR7TypeRefESt4lessIS5_ESaISt4pairIKS5_S7_EEE", !66, i64 0}
!66 = !{!"_ZTSSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE", !67, i64 0}
!67 = !{!"_ZTSNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE13_Rb_tree_implISE_Lb1EEE", !68, i64 0, !18, i64 8}
!68 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE", !69, i64 0}
!69 = !{!"_ZTSSt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE"}
!70 = !{!"_ZTSSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE", !71, i64 0}
!71 = !{!"_ZTSSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE", !72, i64 0}
!72 = !{!"_ZTSNSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE12_Vector_implE", !73, i64 0}
!73 = !{!"_ZTSNSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}


; 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.HIR::TypeRef" = type { ptr }
%"class.MIR::eval::AllocationPtr" = type { %"class.MIR::eval::RefCountPtr" }
%"class.MIR::eval::RefCountPtr" = type { ptr }
%struct.EncodedLiteral = type { %"class.std::vector.97", %"class.std::vector.235" }
%"class.std::vector.97" = type { %"struct.std::_Vector_base.98" }
%"struct.std::_Vector_base.98" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned char, std::allocator<unsigned char>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.235" = type { %"struct.std::_Vector_base.236" }
%"struct.std::_Vector_base.236" = type { %"struct.std::_Vector_base<Reloc, std::allocator<Reloc>>::_Vector_impl" }
%"struct.std::_Vector_base<Reloc, std::allocator<Reloc>>::_Vector_impl" = type { %"struct.std::_Vector_base<Reloc, std::allocator<Reloc>>::_Vector_impl_data" }
%"struct.std::_Vector_base<Reloc, std::allocator<Reloc>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.TraceLog = type { ptr, %"class.std::function" }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.anon.504 = type { ptr }
%struct.Span = type { ptr }
%class.anon.505 = type { i8 }
%"struct.HIR::PathParams" = type { %class.ThinVector.20, %class.ThinVector.21, %class.ThinVector.22 }
%class.ThinVector.20 = type { ptr }
%class.ThinVector.21 = type { ptr }
%class.ThinVector.22 = type { ptr }
%struct.FmtLambda = type { %"class.std::function" }
%class.anon.512 = type { ptr }
%struct.MonomorphState = type { %class.MonomorphiserPP, %"class.HIR::TypeRef", ptr, ptr, %"struct.HIR::PathParams" }
%class.MonomorphiserPP = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.31" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.31" = type { %"struct.std::_Vector_base.32" }
%"struct.std::_Vector_base.32" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.26" = type { %"struct.std::_Vector_base.27" }
%"struct.std::_Vector_base.27" = type { %"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.36" = type { %"struct.std::_Vector_base.37" }
%"struct.std::_Vector_base.37" = type { %"struct.std::_Vector_base<MIR::eval::AllocationPtr, std::allocator<MIR::eval::AllocationPtr>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::eval::AllocationPtr, std::allocator<MIR::eval::AllocationPtr>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::eval::AllocationPtr, std::allocator<MIR::eval::AllocationPtr>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::eval::AllocationPtr, std::allocator<MIR::eval::AllocationPtr>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%class.anon.513 = type { i8 }
%"class.MIR::eval::ValueRef" = type { %"class.MIR::eval::RelocPtr", i32, i32 }
%"class.MIR::eval::RelocPtr" = type { i64 }
%class.anon.515 = type { i8 }

@_ZN12_GLOBAL__N_17ty_SelfE = external hidden global %"class.HIR::TypeRef", align 8
@.str.8 = external hidden unnamed_addr constant [91 x i8], align 1
@_ZTISt13runtime_error = external constant ptr
@g_debug_indent_level = external local_unnamed_addr global i32, align 4
@.str.22 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.29 = external hidden unnamed_addr constant [17 x i8], align 1
@__func__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState = external hidden unnamed_addr constant [18 x i8], align 1
@.str.72 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.73 = external hidden unnamed_addr constant [25 x i8], align 1
@__PRETTY_FUNCTION__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState = external hidden unnamed_addr constant [130 x i8], align 1

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIR4evallsERSoRKNS0_8ValueRefE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(16)) local_unnamed_addr #3

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

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

declare i32 @__gxx_personality_v0(...)

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #0 align 2

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

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

; Function Attrs: nounwind
declare void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #5

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

declare void @__cxa_throw(ptr, ptr, ptr) local_unnamed_addr

; Function Attrs: noreturn nounwind
declare void @__assert_fail(ptr noundef, ptr noundef, i32 noundef, ptr noundef) local_unnamed_addr #6

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3HIR9Evaluator16push_stack_entryE9FmtLambdaRKN3MIR8FunctionE14MonomorphStateNS_7TypeRefESt6vectorISt4pairINS_7PatternES7_ESaISB_EES8_INS2_4eval13AllocationPtrESaISF_EEPKNS_13GenericParamsESK_(ptr noundef nonnull align 8 dereferenceable(472), ptr noundef, ptr noundef nonnull align 8 dereferenceable(96), ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef, ptr noundef) local_unnamed_addr #3 align 2

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN14MonomorphStateD2Ev(ptr noundef nonnull align 8 dereferenceable(144)) unnamed_addr #0 align 2

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN9FmtLambdaD2Ev(ptr noundef nonnull align 8 dereferenceable(32)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3HIR9Evaluator21run_until_stack_emptyEv(ptr dead_on_unwind noalias writable sret(%"class.MIR::eval::AllocationPtr") align 8, ptr noundef nonnull align 8 dereferenceable(472)) local_unnamed_addr #3 align 2

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

declare void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #7

declare void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16), ptr noundef) unnamed_addr #7

declare void @__cxa_free_exception(ptr) local_unnamed_addr

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

declare noundef zeroext i1 @_Z13debug_enabledv() local_unnamed_addr #7

declare noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef, ptr noundef) local_unnamed_addr #7

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

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

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

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

declare void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8, ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #7

declare void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #7

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

declare void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #7

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

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

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

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #8

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3HIR9Evaluator21allocation_to_encodedERKNS_7TypeRefERKN3MIR4eval10AllocationE(ptr dead_on_unwind noalias writable sret(%struct.EncodedLiteral) align 8, ptr noundef nonnull align 8 dereferenceable(472), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(64)) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState(ptr dead_on_unwind noalias writable sret(%struct.EncodedLiteral) align 8 %0, ptr noundef nonnull align 8 dereferenceable(472) %1, ptr noundef nonnull align 8 dereferenceable(56) %2, ptr noundef nonnull align 8 dereferenceable(72) %3, ptr noundef %4, ptr noundef %5) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %7 = alloca %class.TraceLog, align 8
  %8 = alloca %"class.std::function", align 8
  %9 = alloca %class.anon.504, align 8
  %10 = alloca %struct.Span, align 8
  %11 = alloca %"class.std::function", align 8
  %12 = alloca %class.anon.505, align 1
  %13 = alloca %"struct.HIR::PathParams", align 8
  %14 = alloca %"struct.HIR::PathParams", align 8
  %15 = alloca %"struct.HIR::PathParams", align 8
  %16 = alloca %"struct.HIR::PathParams", align 8
  %17 = alloca %"class.HIR::TypeRef", align 8
  %18 = alloca %struct.FmtLambda, align 8
  %19 = alloca %"class.std::function", align 8
  %20 = alloca %class.anon.512, align 8
  %21 = alloca %struct.MonomorphState, align 8
  %22 = alloca %"class.HIR::TypeRef", align 8
  %23 = alloca %"class.std::vector.26", align 8
  %24 = alloca %"class.std::vector.36", align 8
  %25 = alloca %"class.MIR::eval::AllocationPtr", align 8
  %26 = alloca %struct.Span, align 8
  %27 = alloca %"class.std::function", align 8
  %28 = alloca %class.anon.513, align 1
  %29 = alloca %"class.MIR::eval::ValueRef", align 8
  %30 = alloca %"class.MIR::eval::RelocPtr", align 8
  %31 = alloca %"class.MIR::eval::AllocationPtr", align 8
  %32 = alloca %struct.Span, align 8
  %33 = alloca %"class.std::function", align 8
  %34 = alloca %class.anon.515, align 1
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %7) #9
  %35 = tail call noundef zeroext i1 @_Z13debug_enabledv()
  %36 = select i1 %35, ptr @__func__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState, ptr null
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #9
  store ptr %2, ptr %9, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %8, ptr noundef nonnull align 8 dereferenceable(8) %9) #9
  invoke void @_ZN8TraceLogC1EPKcSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(40) %7, ptr noundef %36, ptr noundef nonnull %8)
          to label %37 unwind label %51

37:                                               ; preds = %6
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  %38 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %39 unwind label %53

39:                                               ; preds = %37
  br i1 %38, label %40, label %55

40:                                               ; preds = %39
  %41 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %42 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %41, ptr noundef nonnull @__func__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState)
          to label %43 unwind label %53

43:                                               ; preds = %40
  %44 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull @.str.72)
          to label %45 unwind label %53

45:                                               ; preds = %43
  %46 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK14MonomorphState(ptr noundef nonnull align 8 dereferenceable(8) %44, ptr noundef nonnull align 8 dereferenceable(144) %5)
          to label %47 unwind label %53

47:                                               ; preds = %45
  %48 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %46, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %49 unwind label %53

49:                                               ; preds = %47
  %50 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %48, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %55 unwind label %53

51:                                               ; preds = %6
  %52 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %8) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #9
  br label %231

53:                                               ; preds = %49, %47, %45, %43, %40, %37
  %54 = landingpad { ptr, i32 }
          cleanup
  br label %230

55:                                               ; preds = %49, %39
  %56 = getelementptr inbounds i8, ptr %1, i64 8
  %57 = getelementptr inbounds i8, ptr %1, i64 16
  %58 = load ptr, ptr %57, align 8, !tbaa !11
  %59 = invoke noundef ptr @_ZNK3HIR5Crate14get_or_gen_mirERKNS_8ItemPathERKNS_7ExprPtrERNS_7TypeRefE(ptr noundef nonnull align 8 dereferenceable(944) %58, ptr noundef nonnull align 8 dereferenceable(56) %2, ptr noundef nonnull align 8 dereferenceable(72) %3, ptr noundef nonnull align 8 dereferenceable(8) %4)
          to label %60 unwind label %68

60:                                               ; preds = %55
  %.not = icmp eq ptr %59, null
  br i1 %.not, label %86, label %61

61:                                               ; preds = %60
  %62 = getelementptr inbounds i8, ptr %3, i64 64
  %63 = call noundef zeroext i1 @_ZNK3HIR12ExprStatePtrcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %62)
  br i1 %63, label %74, label %64

64:                                               ; preds = %61
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #9
  call void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %10)
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %12) #9
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull align 1 dereferenceable(1) %12) #9
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull %11)
          to label %65 unwind label %70

65:                                               ; preds = %64
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %12) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #9
  %66 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %66, ptr noundef nonnull @.str.29)
          to label %67 unwind label %72

67:                                               ; preds = %65
  invoke void @__cxa_throw(ptr nonnull %66, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %232 unwind label %68

68:                                               ; preds = %79, %67, %55
  %69 = landingpad { ptr, i32 }
          cleanup
  br label %230

70:                                               ; preds = %64
  %71 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %12) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #9
  br label %230

72:                                               ; preds = %65
  %73 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %66) #9
  br label %230

74:                                               ; preds = %61
  %75 = getelementptr inbounds i8, ptr %1, i64 32
  %76 = load ptr, ptr %75, align 8, !tbaa !30
  %.not35 = icmp eq ptr %76, null
  %77 = getelementptr inbounds i8, ptr %1, i64 24
  %78 = load ptr, ptr %77, align 8
  %.not36 = icmp eq ptr %78, null
  %or.cond = select i1 %.not35, i1 %.not36, i1 false
  br i1 %or.cond, label %79, label %86

79:                                               ; preds = %74
  %80 = call noundef ptr @_ZNK3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %62)
  %81 = getelementptr inbounds i8, ptr %80, i64 16
  %82 = load ptr, ptr %81, align 8, !tbaa !31
  %83 = call noundef ptr @_ZNK3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %62)
  %84 = getelementptr inbounds i8, ptr %83, i64 24
  %85 = load ptr, ptr %84, align 8, !tbaa !38
  invoke void @_ZN18StaticTraitResolve21set_both_generics_rawEPKN3HIR13GenericParamsES3_(ptr noundef nonnull align 8 dereferenceable(424) %56, ptr noundef %82, ptr noundef %85)
          to label %86 unwind label %68

86:                                               ; preds = %74, %79, %60
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %13) #9
  invoke void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %13)
          to label %87 unwind label %101

87:                                               ; preds = %86
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %14) #9
  invoke void @_ZN3HIR10PathParamsC1Ev(ptr noundef nonnull align 8 dereferenceable(24) %14)
          to label %88 unwind label %103

88:                                               ; preds = %87
  %89 = getelementptr inbounds i8, ptr %5, i64 104
  %90 = load ptr, ptr %89, align 8, !tbaa !39
  %.not37 = icmp eq ptr %90, null
  br i1 %.not37, label %91, label %122

91:                                               ; preds = %88
  %92 = getelementptr inbounds i8, ptr %5, i64 112
  %93 = load ptr, ptr %92, align 8, !tbaa !53
  %.not38 = icmp eq ptr %93, null
  br i1 %.not38, label %94, label %122

94:                                               ; preds = %91
  %95 = getelementptr inbounds i8, ptr %1, i64 32
  %96 = load ptr, ptr %95, align 8, !tbaa !30
  %.not39 = icmp eq ptr %96, null
  br i1 %.not39, label %110, label %97

97:                                               ; preds = %94
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %15) #9
  invoke void @_ZNK3HIR13GenericParams15make_nop_paramsEjb(ptr dead_on_unwind nonnull writable sret(%"struct.HIR::PathParams") align 8 %15, ptr noundef nonnull align 8 dereferenceable(96) %96, i32 noundef 1, i1 noundef zeroext false)
          to label %98 unwind label %105

98:                                               ; preds = %97
  %99 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZN3HIR10PathParamsaSEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %14, ptr noundef nonnull align 8 dereferenceable(24) %15)
          to label %100 unwind label %107

100:                                              ; preds = %98
  store ptr %99, ptr %92, align 8, !tbaa !53
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %15) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %15) #9
  br label %110

101:                                              ; preds = %86
  %102 = landingpad { ptr, i32 }
          cleanup
  br label %229

103:                                              ; preds = %87
  %104 = landingpad { ptr, i32 }
          cleanup
  br label %228

105:                                              ; preds = %97
  %106 = landingpad { ptr, i32 }
          cleanup
  br label %109

107:                                              ; preds = %98
  %108 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %15) #9
  br label %109

109:                                              ; preds = %107, %105
  %.pn = phi { ptr, i32 } [ %108, %107 ], [ %106, %105 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %15) #9
  br label %227

110:                                              ; preds = %100, %94
  %111 = getelementptr inbounds i8, ptr %1, i64 24
  %112 = load ptr, ptr %111, align 8, !tbaa !54
  %.not41 = icmp eq ptr %112, null
  br i1 %.not41, label %122, label %113

113:                                              ; preds = %110
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %16) #9
  invoke void @_ZNK3HIR13GenericParams15make_nop_paramsEjb(ptr dead_on_unwind nonnull writable sret(%"struct.HIR::PathParams") align 8 %16, ptr noundef nonnull align 8 dereferenceable(96) %112, i32 noundef 0, i1 noundef zeroext false)
          to label %114 unwind label %117

114:                                              ; preds = %113
  %115 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZN3HIR10PathParamsaSEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %13, ptr noundef nonnull align 8 dereferenceable(24) %16)
          to label %116 unwind label %119

116:                                              ; preds = %114
  store ptr %115, ptr %89, align 8, !tbaa !39
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %16) #9
  br label %122

117:                                              ; preds = %113
  %118 = landingpad { ptr, i32 }
          cleanup
  br label %121

119:                                              ; preds = %114
  %120 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %16) #9
  br label %121

121:                                              ; preds = %119, %117
  %.pn42 = phi { ptr, i32 } [ %120, %119 ], [ %118, %117 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %16) #9
  br label %227

122:                                              ; preds = %110, %116, %91, %88
  br i1 %.not, label %213, label %123

123:                                              ; preds = %122
  %124 = invoke noundef nonnull align 8 dereferenceable(56) ptr @_ZNK3HIR8ItemPath10get_top_ipEv(ptr noundef nonnull align 8 dereferenceable(56) %2)
          to label %125 unwind label %134

125:                                              ; preds = %123
  %126 = getelementptr inbounds i8, ptr %124, i64 16
  %127 = load ptr, ptr %126, align 8, !tbaa !55
  %.not46 = icmp ne ptr %127, null
  %128 = getelementptr inbounds i8, ptr %124, i64 8
  %129 = load ptr, ptr %128, align 8
  %.not47 = icmp eq ptr %129, null
  %or.cond69 = select i1 %.not46, i1 %.not47, i1 false
  br i1 %or.cond69, label %130, label %138

130:                                              ; preds = %125
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #9
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TypeRef") align 8 %17, ptr noundef nonnull align 8 dereferenceable(8) @_ZN12_GLOBAL__N_17ty_SelfE)
          to label %131 unwind label %136

131:                                              ; preds = %130
  %132 = getelementptr inbounds i8, ptr %5, i64 96
  %133 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR7TypeRefaSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %132, ptr noundef nonnull align 8 dereferenceable(8) %17)
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %17) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #9
  br label %138

134:                                              ; preds = %123
  %135 = landingpad { ptr, i32 }
          cleanup
  br label %227

136:                                              ; preds = %130
  %137 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #9
  br label %227

138:                                              ; preds = %131, %125
  %139 = getelementptr inbounds i8, ptr %1, i64 448
  %140 = call noundef zeroext i1 @_ZNKSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %139) #9
  br i1 %140, label %142, label %141

141:                                              ; preds = %138
  call void @__assert_fail(ptr noundef nonnull @.str.73, ptr noundef nonnull @.str.8, i32 noundef 3059, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState) #11
  unreachable

142:                                              ; preds = %138
  %143 = getelementptr inbounds i8, ptr %1, i64 444
  store i32 0, ptr %143, align 4, !tbaa !56
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #9
  store ptr %2, ptr %20, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef nonnull align 8 dereferenceable(8) %20) #9
  invoke void @_ZN9FmtLambdaC2ESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(32) %18, ptr noundef nonnull %19)
          to label %144 unwind label %158

144:                                              ; preds = %142
  invoke void @_ZN14MonomorphStateC2EOS_(ptr noundef nonnull align 8 dereferenceable(144) %21, ptr noundef nonnull align 8 dereferenceable(144) %5)
          to label %145 unwind label %160

145:                                              ; preds = %144
  call void @_ZN3HIR7TypeRefC2EOS0_(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 8 dereferenceable(8) %4)
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %23, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %23) #9
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %24, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorIN3MIR4eval13AllocationPtrESaIS2_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #9
  %146 = getelementptr inbounds i8, ptr %1, i64 32
  %147 = load ptr, ptr %146, align 8, !tbaa !30
  %148 = getelementptr inbounds i8, ptr %1, i64 24
  %149 = load ptr, ptr %148, align 8, !tbaa !54
  invoke void @_ZN3HIR9Evaluator16push_stack_entryE9FmtLambdaRKN3MIR8FunctionE14MonomorphStateNS_7TypeRefESt6vectorISt4pairINS_7PatternES7_ESaISB_EES8_INS2_4eval13AllocationPtrESaISF_EEPKNS_13GenericParamsESK_(ptr noundef nonnull align 8 dereferenceable(472) %1, ptr noundef nonnull %18, ptr noundef nonnull align 8 dereferenceable(96) %59, ptr noundef nonnull %21, ptr noundef nonnull %22, ptr noundef nonnull %23, ptr noundef nonnull %24, ptr noundef %147, ptr noundef %149)
          to label %150 unwind label %162

150:                                              ; preds = %145
  call void @_ZNSt6vectorIN3MIR4eval13AllocationPtrESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #9
  call void @_ZNSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %23) #9
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #9
  call void @_ZN14MonomorphStateD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %21) #9
  call void @_ZN9FmtLambdaD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #9
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #9
  invoke void @_ZN3HIR9Evaluator21run_until_stack_emptyEv(ptr dead_on_unwind nonnull writable sret(%"class.MIR::eval::AllocationPtr") align 8 %25, ptr noundef nonnull align 8 dereferenceable(472) %1)
          to label %151 unwind label %166

151:                                              ; preds = %150
  %152 = call noundef zeroext i1 @_ZNK3MIR4eval11RefCountPtrINS0_10AllocationEEcvbEv(ptr noundef nonnull align 8 dereferenceable(8) %25)
  br i1 %152, label %177, label %153

153:                                              ; preds = %151
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %26) #9
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %1)
          to label %154 unwind label %170

154:                                              ; preds = %153
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %28) #9
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %27, ptr noundef nonnull align 1 dereferenceable(1) %28) #9
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull %27)
          to label %155 unwind label %172

155:                                              ; preds = %154
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %28) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #9
  %156 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %156, ptr noundef nonnull @.str.29)
          to label %157 unwind label %175

157:                                              ; preds = %155
  invoke void @__cxa_throw(ptr nonnull %156, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %232 unwind label %168

158:                                              ; preds = %142
  %159 = landingpad { ptr, i32 }
          cleanup
  br label %165

160:                                              ; preds = %144
  %161 = landingpad { ptr, i32 }
          cleanup
  br label %164

162:                                              ; preds = %145
  %163 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt6vectorIN3MIR4eval13AllocationPtrESaIS2_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %24) #9
  call void @_ZNSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %23) #9
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #9
  call void @_ZN14MonomorphStateD2Ev(ptr noundef nonnull align 8 dereferenceable(144) %21) #9
  br label %164

164:                                              ; preds = %162, %160
  %.pn48 = phi { ptr, i32 } [ %163, %162 ], [ %161, %160 ]
  call void @_ZN9FmtLambdaD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #9
  br label %165

165:                                              ; preds = %164, %158
  %.pn48.pn = phi { ptr, i32 } [ %.pn48, %164 ], [ %159, %158 ]
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #9
  br label %227

166:                                              ; preds = %150
  %167 = landingpad { ptr, i32 }
          cleanup
  br label %212

168:                                              ; preds = %208, %185, %183, %180, %177, %157
  %169 = landingpad { ptr, i32 }
          cleanup
  br label %211

170:                                              ; preds = %153
  %171 = landingpad { ptr, i32 }
          cleanup
  br label %174

172:                                              ; preds = %154
  %173 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %28) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #9
  br label %174

174:                                              ; preds = %172, %170
  %.pn51 = phi { ptr, i32 } [ %173, %172 ], [ %171, %170 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #9
  br label %211

175:                                              ; preds = %155
  %176 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %156) #9
  br label %211

177:                                              ; preds = %151
  %178 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %179 unwind label %168

179:                                              ; preds = %177
  br i1 %178, label %180, label %208

180:                                              ; preds = %179
  %181 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !9
  %182 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %181, ptr noundef nonnull @__func__._ZN3HIR9Evaluator17evaluate_constantERKNS_8ItemPathERKNS_7ExprPtrENS_7TypeRefE14MonomorphState)
          to label %183 unwind label %168

183:                                              ; preds = %180
  %184 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIRlsERSoRKNS_8ItemPathE(ptr noundef nonnull align 8 dereferenceable(8) %182, ptr noundef nonnull align 8 dereferenceable(56) %2)
          to label %185 unwind label %168

185:                                              ; preds = %183
  %186 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %184, ptr noundef nonnull @.str.22)
          to label %187 unwind label %168

187:                                              ; preds = %185
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %29) #9
  invoke void @_ZN3MIR4eval13AllocationPtrC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %188 unwind label %197

188:                                              ; preds = %187
  invoke void @_ZN3MIR4eval8RelocPtrC2ENS0_13AllocationPtrE(ptr noundef nonnull align 8 dereferenceable(8) %30, ptr noundef nonnull %31)
          to label %189 unwind label %199

189:                                              ; preds = %188
  invoke void @_ZN3MIR4eval8ValueRefC2ENS0_8RelocPtrEm(ptr noundef nonnull align 8 dereferenceable(16) %29, ptr noundef nonnull %30, i64 noundef 0)
          to label %190 unwind label %201

190:                                              ; preds = %189
  %191 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIR4evallsERSoRKNS0_8ValueRefE(ptr noundef nonnull align 8 dereferenceable(8) %186, ptr noundef nonnull align 8 dereferenceable(16) %29)
          to label %192 unwind label %203

192:                                              ; preds = %190
  %193 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %191, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %194 unwind label %203

194:                                              ; preds = %192
  %195 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %193, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %196 unwind label %203

196:                                              ; preds = %194
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %29) #9
  call void @_ZN3MIR4eval8RelocPtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %30) #9
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %31) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %29) #9
  br label %208

197:                                              ; preds = %187
  %198 = landingpad { ptr, i32 }
          cleanup
  br label %207

199:                                              ; preds = %188
  %200 = landingpad { ptr, i32 }
          cleanup
  br label %206

201:                                              ; preds = %189
  %202 = landingpad { ptr, i32 }
          cleanup
  br label %205

203:                                              ; preds = %194, %192, %190
  %204 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %29) #9
  br label %205

205:                                              ; preds = %203, %201
  %.pn53 = phi { ptr, i32 } [ %204, %203 ], [ %202, %201 ]
  call void @_ZN3MIR4eval8RelocPtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %30) #9
  br label %206

206:                                              ; preds = %205, %199
  %.pn53.pn = phi { ptr, i32 } [ %.pn53, %205 ], [ %200, %199 ]
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %31) #9
  br label %207

207:                                              ; preds = %206, %197
  %.pn53.pn.pn = phi { ptr, i32 } [ %.pn53.pn, %206 ], [ %198, %197 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %29) #9
  br label %211

208:                                              ; preds = %196, %179
  %209 = call noundef nonnull align 8 dereferenceable(64) ptr @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %25)
  invoke void @_ZN3HIR9Evaluator21allocation_to_encodedERKNS_7TypeRefERKN3MIR4eval10AllocationE(ptr dead_on_unwind writable sret(%struct.EncodedLiteral) align 8 %0, ptr noundef nonnull align 8 dereferenceable(472) %1, ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(64) %209)
          to label %210 unwind label %168

210:                                              ; preds = %208
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #9
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #9
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #9
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %7) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %7) #9
  ret void

211:                                              ; preds = %207, %175, %174, %168
  %.pn57 = phi { ptr, i32 } [ %169, %168 ], [ %.pn53.pn.pn, %207 ], [ %176, %175 ], [ %.pn51, %174 ]
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #9
  br label %212

212:                                              ; preds = %211, %166
  %.pn57.pn = phi { ptr, i32 } [ %.pn57, %211 ], [ %167, %166 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #9
  br label %227

213:                                              ; preds = %122
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %32) #9
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(8) %1)
          to label %214 unwind label %218

214:                                              ; preds = %213
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %34) #9
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_4vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %33, ptr noundef nonnull align 1 dereferenceable(1) %34) #9
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull %33)
          to label %215 unwind label %220

215:                                              ; preds = %214
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %34) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %32) #9
  %216 = call ptr @__cxa_allocate_exception(i64 16) #9
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %216, ptr noundef nonnull @.str.29)
          to label %217 unwind label %223

217:                                              ; preds = %215
  invoke void @__cxa_throw(ptr nonnull %216, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
          to label %232 unwind label %225

218:                                              ; preds = %213
  %219 = landingpad { ptr, i32 }
          cleanup
  br label %222

220:                                              ; preds = %214
  %221 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %34) #9
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %32) #9
  br label %222

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

223:                                              ; preds = %215
  %224 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %216) #9
  br label %227

225:                                              ; preds = %217
  %226 = landingpad { ptr, i32 }
          cleanup
  br label %227

227:                                              ; preds = %134, %136, %165, %212, %225, %223, %222, %121, %109
  %.pn57.pn.pn.pn = phi { ptr, i32 } [ %226, %225 ], [ %224, %223 ], [ %.pn44, %222 ], [ %.pn42, %121 ], [ %.pn, %109 ], [ %.pn57.pn, %212 ], [ %.pn48.pn, %165 ], [ %137, %136 ], [ %135, %134 ]
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %14) #9
  br label %228

228:                                              ; preds = %227, %103
  %.pn57.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn57.pn.pn.pn, %227 ], [ %104, %103 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %14) #9
  call void @_ZN3HIR10PathParamsD2Ev(ptr noundef nonnull align 8 dereferenceable(24) %13) #9
  br label %229

229:                                              ; preds = %228, %101
  %.pn57.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn57.pn.pn.pn.pn, %228 ], [ %102, %101 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %13) #9
  br label %230

230:                                              ; preds = %68, %70, %72, %229, %53
  %.pn57.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %54, %53 ], [ %.pn57.pn.pn.pn.pn.pn, %229 ], [ %69, %68 ], [ %73, %72 ], [ %71, %70 ]
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %7) #9
  br label %231

231:                                              ; preds = %230, %51
  %.pn57.pn.pn.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn57.pn.pn.pn.pn.pn.pn.pn, %230 ], [ %52, %51 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %7) #9
  resume { ptr, i32 } %.pn57.pn.pn.pn.pn.pn.pn.pn.pn

232:                                              ; preds = %217, %157, %67
  unreachable
}

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #4 align 2

declare void @_ZN8TraceLogC1EPKcSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef, ptr noundef) unnamed_addr #7

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZlsRSoRK14MonomorphState(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(144)) local_unnamed_addr #7

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 align 2

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

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

declare void @_ZNK3HIR13GenericParams15make_nop_paramsEjb(ptr dead_on_unwind writable sret(%"struct.HIR::PathParams") align 8, ptr noundef nonnull align 8 dereferenceable(96), i32 noundef, i1 noundef zeroext) local_unnamed_addr #7

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #4 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 align 2

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator17evaluate_constantERKNS4_8ItemPathERKNS4_7ExprPtrENS4_7TypeRefE14MonomorphStateE3$_4vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 1 dereferenceable(1)) unnamed_addr #4 align 2

; Function Attrs: nounwind
declare void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #5

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

declare void @_ZN3MIR4eval8RelocPtrD1Ev(ptr) local_unnamed_addr

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !6, i64 0}
!12 = !{!"_ZTS18TraitResolveCommon", !6, i64 0, !6, i64 8, !6, i64 16, !13, i64 24, !22, i64 72, !28, i64 104, !28, i64 112, !28, i64 120, !28, i64 128, !28, i64 136, !28, i64 144, !28, i64 152, !28, i64 160, !28, i64 168, !28, i64 176, !28, i64 184, !28, i64 192, !28, i64 200, !28, i64 208}
!13 = !{!"_ZTSSt3mapIN3HIR7TypeRefEN18TraitResolveCommon14CachedEqualityESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !14, i64 0}
!14 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !15, i64 0}
!15 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !16, i64 0, !18, i64 8}
!16 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR7TypeRefEEE", !17, i64 0}
!17 = !{!"_ZTSSt4lessIN3HIR7TypeRefEE"}
!18 = !{!"_ZTSSt15_Rb_tree_header", !19, i64 0, !21, i64 32}
!19 = !{!"_ZTSSt18_Rb_tree_node_base", !20, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!20 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!21 = !{!"long", !7, i64 0}
!22 = !{!"_ZTS11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE", !23, i64 0, !27, i64 24}
!23 = !{!"_ZTSSt6vectorISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !24, i64 0}
!24 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !25, i64 0}
!25 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE12_Vector_implE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!27 = !{!"_ZTSN18TraitResolveCommon14CachedBoundCmpE"}
!28 = !{!"_ZTSN3HIR10SimplePathE", !29, i64 0}
!29 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!30 = !{!12, !6, i64 16}
!31 = !{!32, !6, i64 16}
!32 = !{!"_ZTSN3HIR9ExprStateE", !28, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !33, i64 32, !37, i64 56}
!33 = !{!"_ZTSSt6vectorISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE", !34, i64 0}
!34 = !{!"_ZTSSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE", !35, i64 0}
!35 = !{!"_ZTSNSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE12_Vector_implE", !36, i64 0}
!36 = !{!"_ZTSNSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!37 = !{!"_ZTSN3HIR9ExprState5StageE", !7, i64 0}
!38 = !{!32, !6, i64 24}
!39 = !{!40, !6, i64 104}
!40 = !{!"_ZTS14MonomorphState", !41, i64 0, !48, i64 96, !6, i64 104, !6, i64 112, !49, i64 120}
!41 = !{!"_ZTS15MonomorphiserPP", !42, i64 0}
!42 = !{!"_ZTS13Monomorphiser", !6, i64 8, !43, i64 16, !44, i64 72}
!43 = !{!"_ZTSN3HIR8ItemPathE", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!44 = !{!"_ZTSSt6vectorIPKN3HIR13GenericParamsESaIS3_EE", !45, i64 0}
!45 = !{!"_ZTSSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE", !46, i64 0}
!46 = !{!"_ZTSNSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE12_Vector_implE", !47, i64 0}
!47 = !{!"_ZTSNSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!48 = !{!"_ZTSN3HIR7TypeRefE", !6, i64 0}
!49 = !{!"_ZTSN3HIR10PathParamsE", !50, i64 0, !51, i64 8, !52, i64 16}
!50 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !6, i64 0}
!51 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !6, i64 0}
!52 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !6, i64 0}
!53 = !{!40, !6, i64 112}
!54 = !{!12, !6, i64 8}
!55 = !{!43, !6, i64 16}
!56 = !{!57, !10, i64 444}
!57 = !{!"_ZTSN3HIR9EvaluatorE", !58, i64 0, !59, i64 8, !6, i64 432, !10, i64 440, !10, i64 444, !69, i64 448}
!58 = !{!"_ZTS4Span", !6, i64 0}
!59 = !{!"_ZTS18StaticTraitResolve", !12, i64 8, !60, i64 224, !61, i64 232, !61, i64 280, !61, i64 328, !64, i64 376}
!60 = !{!"_ZTS12MetadataType", !7, i64 0}
!61 = !{!"_ZTSSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE", !62, i64 0}
!62 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE", !63, i64 0}
!63 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE13_Rb_tree_implIS8_Lb1EEE", !16, i64 0, !18, i64 8}
!64 = !{!"_ZTSSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3HIR7TypeRefESt4lessIS5_ESaISt4pairIKS5_S7_EEE", !65, i64 0}
!65 = !{!"_ZTSSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE", !66, i64 0}
!66 = !{!"_ZTSNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE13_Rb_tree_implISE_Lb1EEE", !67, i64 0, !18, i64 8}
!67 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE", !68, i64 0}
!68 = !{!"_ZTSSt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE"}
!69 = !{!"_ZTSSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE", !70, i64 0}
!70 = !{!"_ZTSSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE", !71, i64 0}
!71 = !{!"_ZTSNSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE12_Vector_implE", !72, i64 0}
!72 = !{!"_ZTSNSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}


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