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

; 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.MIR::eval::AllocationPtr" = type { %"class.MIR::eval::RefCountPtr" }
%"class.MIR::eval::RefCountPtr" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.MIR::eval::ValueRef" = type { %"class.MIR::eval::RelocPtr", i32, i32 }
%"class.MIR::eval::RelocPtr" = type { i64 }
%struct.Span = type { ptr }
%"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 = type { ptr, ptr }
%"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.MIR::eval::CallStackEntry" = type { i32, %"class.std::vector.26", %"class.HIR::TypeRef", ptr, %class.StaticTraitResolve, %"class.MIR::TypeResolve", %struct.MonomorphState, %"class.MIR::eval::AllocationPtr", %"class.std::vector.36", %"class.std::vector.41", %"class.std::vector.36" }
%"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.HIR::TypeRef" = type { ptr }
%"class.MIR::TypeResolve" = type { i32, ptr, ptr, ptr, %struct.FmtLambda, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32 }
%struct.FmtLambda = type { %"class.std::function" }
%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 }
%"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 }
%"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.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.MIR::Function" = type { %"class.std::vector.41", %"class.std::vector.51", %"class.std::vector.55", %"class.MIR::EnumCachePtr" }
%"class.std::vector.51" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%"class.std::vector.55" = type { %"struct.std::_Vector_base.56" }
%"struct.std::_Vector_base.56" = type { %"struct.std::_Vector_base<MIR::BasicBlock, std::allocator<MIR::BasicBlock>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::BasicBlock, std::allocator<MIR::BasicBlock>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::BasicBlock, std::allocator<MIR::BasicBlock>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::BasicBlock, std::allocator<MIR::BasicBlock>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::EnumCachePtr" = type { ptr }
%"struct.MIR::BasicBlock" = type { %"class.std::vector.60", %"class.MIR::Terminator" }
%"class.std::vector.60" = type { %"struct.std::_Vector_base.61" }
%"struct.std::_Vector_base.61" = type { %"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::Terminator" = type { i32, %"union.MIR::Terminator::DataUnion" }
%"union.MIR::Terminator::DataUnion" = type { %"struct.MIR::Terminator::Data_Call" }
%"struct.MIR::Terminator::Data_Call" = type { i32, i32, %"struct.MIR::LValue", %"class.MIR::CallTarget", %"class.std::vector.92" }
%"struct.MIR::LValue" = type { %"class.MIR::LValue::Storage", %"class.std::vector.65" }
%"class.MIR::LValue::Storage" = type { i64 }
%"class.std::vector.65" = type { %"struct.std::_Vector_base.66" }
%"struct.std::_Vector_base.66" = type { %"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::CallTarget" = type { i32, %"union.MIR::CallTarget::DataUnion" }
%"union.MIR::CallTarget::DataUnion" = type { %"class.HIR::Path" }
%"class.HIR::Path" = type { %"class.HIR::Path::Data" }
%"class.HIR::Path::Data" = type { i32, %"union.HIR::Path::Data::DataUnion" }
%"union.HIR::Path::Data::DataUnion" = type { %"struct.HIR::Path::Data::Data_UfcsKnown" }
%"struct.HIR::Path::Data::Data_UfcsKnown" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath", %class.RcString, %"struct.HIR::PathParams", %"class.std::unique_ptr" }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%class.RcString = type { ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.24" }
%"struct.std::_Head_base.24" = type { ptr }
%"class.std::vector.92" = type { %"struct.std::_Vector_base.93" }
%"struct.std::_Vector_base.93" = type { %"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@.str.8 = external hidden unnamed_addr constant [91 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [26 x i8], align 1
@__PRETTY_FUNCTION__._ZN3HIR9Evaluator21run_until_stack_emptyEv = external hidden unnamed_addr constant [54 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [24 x i8], align 1
@_ZTISt13runtime_error = external constant ptr

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #3 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: 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
define dso_local void @_ZN3HIR9Evaluator21run_until_stack_emptyEv(ptr dead_on_unwind noalias writable sret(%"class.MIR::eval::AllocationPtr") align 8 %0, ptr noundef nonnull align 8 dereferenceable(472) %1) #2 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i32, align 4
  %6 = alloca i32, align 4
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca ptr, align 8
  %10 = alloca ptr, align 8
  %11 = alloca ptr, align 8
  %12 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %13 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %14 = alloca ptr, align 8
  %15 = alloca i32, align 4
  %16 = alloca i32, align 4
  %17 = alloca i1, align 1
  %18 = alloca ptr, align 8
  %19 = alloca ptr, align 8
  %20 = alloca i32, align 4
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca %"class.MIR::eval::ValueRef", align 8
  %24 = alloca %"class.MIR::eval::ValueRef", align 8
  %25 = alloca %"class.MIR::eval::RelocPtr", align 8
  %26 = alloca %"class.MIR::eval::AllocationPtr", align 8
  %27 = alloca %struct.Span, align 8
  %28 = alloca %"class.std::function", align 8
  %29 = alloca %class.anon, align 8
  store ptr %0, ptr %3, align 8
  store ptr %1, ptr %4, align 8, !tbaa !5
  %30 = load ptr, ptr %4, align 8
  call void @llvm.lifetime.start.p0(i64 4, ptr %5) #8
  store i32 1000000, ptr %5, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %6) #8
  store i32 4000000, ptr %6, align 4, !tbaa !9
  %31 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %30, i32 0, i32 5
  %32 = call noundef zeroext i1 @_ZNKSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  %33 = xor i1 %32, true
  br i1 %33, label %34, label %35

34:                                               ; preds = %2
  br label %37

35:                                               ; preds = %2
  call void @__assert_fail(ptr noundef @.str.13, ptr noundef @.str.8, i32 noundef 1958, ptr noundef @__PRETTY_FUNCTION__._ZN3HIR9Evaluator21run_until_stack_emptyEv) #9
  unreachable

36:                                               ; No predecessors!
  br label %37

37:                                               ; preds = %36, %34
  call void @llvm.lifetime.start.p0(i64 4, ptr %7) #8
  store i32 0, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 4, ptr %8) #8
  store i32 0, ptr %8, align 4, !tbaa !9
  br label %38

38:                                               ; preds = %209, %37
  %39 = load i32, ptr %8, align 4, !tbaa !9
  %40 = icmp ult i32 %39, 1000000
  br i1 %40, label %41, label %212

41:                                               ; preds = %38
  %42 = load i32, ptr %7, align 4, !tbaa !9
  %43 = icmp ugt i32 %42, 4000000
  br i1 %43, label %44, label %45

44:                                               ; preds = %41
  br label %212

45:                                               ; preds = %41
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #8
  %46 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %30, i32 0, i32 5
  %47 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %46) #8
  %48 = call noundef ptr @_ZN3HIR9Evaluator6CsePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %47)
  %49 = getelementptr inbounds %"class.MIR::eval::CallStackEntry", ptr %48, i32 0, i32 5
  store ptr %49, ptr %9, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #8
  %50 = load ptr, ptr %9, align 8, !tbaa !5
  %51 = getelementptr inbounds %"class.MIR::TypeResolve", ptr %50, i32 0, i32 7
  %52 = load ptr, ptr %51, align 8, !tbaa !11
  %53 = getelementptr inbounds %"class.MIR::Function", ptr %52, i32 0, i32 2
  %54 = load ptr, ptr %9, align 8, !tbaa !5
  %55 = call noundef i32 @_ZNK3MIR11TypeResolve13get_cur_blockEv(ptr noundef nonnull align 8 dereferenceable(120) %54)
  %56 = zext i32 %55 to i64
  %57 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNKSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %53, i64 noundef %56) #8
  store ptr %57, ptr %10, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #8
  %58 = load ptr, ptr %10, align 8, !tbaa !5
  %59 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %58, i32 0, i32 0
  store ptr %59, ptr %11, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #8
  %60 = load ptr, ptr %11, align 8, !tbaa !5
  %61 = call ptr @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %60) #8
  %62 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %12, i32 0, i32 0
  store ptr %61, ptr %62, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #8
  %63 = load ptr, ptr %11, align 8, !tbaa !5
  %64 = call ptr @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %63) #8
  %65 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %13, i32 0, i32 0
  store ptr %64, ptr %65, align 8
  br label %66

66:                                               ; preds = %89, %45
  %67 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  br i1 %67, label %69, label %68

68:                                               ; preds = %66
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #8
  br label %91

69:                                               ; preds = %66
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #8
  %70 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  store ptr %70, ptr %14, align 8, !tbaa !5
  %71 = load ptr, ptr %9, align 8, !tbaa !5
  %72 = load ptr, ptr %9, align 8, !tbaa !5
  %73 = call noundef i32 @_ZNK3MIR11TypeResolve13get_cur_blockEv(ptr noundef nonnull align 8 dereferenceable(120) %72)
  %74 = load ptr, ptr %14, align 8, !tbaa !5
  %75 = load ptr, ptr %10, align 8, !tbaa !5
  %76 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %75, i32 0, i32 0
  %77 = call noundef ptr @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %76) #8
  %78 = ptrtoint ptr %74 to i64
  %79 = ptrtoint ptr %77 to i64
  %80 = sub i64 %78, %79
  %81 = sdiv exact i64 %80, 152
  %82 = trunc i64 %81 to i32
  call void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %71, i32 noundef %73, i32 noundef %82)
  %83 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %30, i32 0, i32 5
  %84 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %83) #8
  %85 = call noundef nonnull align 8 dereferenceable(816) ptr @_ZN3HIR9Evaluator6CsePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %84)
  %86 = load ptr, ptr %14, align 8, !tbaa !5
  call void @_ZN3HIR9Evaluator13run_statementERN3MIR4eval14CallStackEntryERKNS1_9StatementE(ptr noundef nonnull align 8 dereferenceable(472) %30, ptr noundef nonnull align 8 dereferenceable(816) %85, ptr noundef nonnull align 8 dereferenceable(152) %86)
  %87 = load i32, ptr %7, align 4, !tbaa !9
  %88 = add i32 %87, 1
  store i32 %88, ptr %7, align 4, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #8
  br label %89

89:                                               ; preds = %69
  %90 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  br label %66

91:                                               ; preds = %68
  %92 = load ptr, ptr %9, align 8, !tbaa !5
  %93 = load ptr, ptr %9, align 8, !tbaa !5
  %94 = call noundef i32 @_ZNK3MIR11TypeResolve13get_cur_blockEv(ptr noundef nonnull align 8 dereferenceable(120) %93)
  call void @_ZN3MIR11TypeResolve17set_cur_stmt_termEj(ptr noundef nonnull align 8 dereferenceable(120) %92, i32 noundef %94)
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #8
  %95 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %30, i32 0, i32 5
  %96 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %95) #8
  %97 = call noundef nonnull align 8 dereferenceable(816) ptr @_ZN3HIR9Evaluator6CsePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %96)
  %98 = load ptr, ptr %10, align 8, !tbaa !5
  %99 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %98, i32 0, i32 1
  %100 = call noundef i32 @_ZN3HIR9Evaluator14run_terminatorERN3MIR4eval14CallStackEntryERKNS1_10TerminatorE(ptr noundef nonnull align 8 dereferenceable(472) %30, ptr noundef nonnull align 8 dereferenceable(816) %97, ptr noundef nonnull align 8 dereferenceable(168) %99)
  store i32 %100, ptr %15, align 4, !tbaa !9
  %101 = load i32, ptr %7, align 4, !tbaa !9
  %102 = add i32 %101, 1
  store i32 %102, ptr %7, align 4, !tbaa !9
  %103 = load i32, ptr %15, align 4, !tbaa !9
  switch i32 %103, label %202 [
    i32 -2, label %104
    i32 -1, label %105
  ]

104:                                              ; preds = %91
  store i32 4, ptr %16, align 4
  br label %206

105:                                              ; preds = %91
  store i1 false, ptr %17, align 1
  %106 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %30, i32 0, i32 5
  %107 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %106) #8
  %108 = call noundef ptr @_ZN3HIR9Evaluator6CsePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %107)
  %109 = getelementptr inbounds %"class.MIR::eval::CallStackEntry", ptr %108, i32 0, i32 7
  call void @_ZN3MIR4eval13AllocationPtrC2EOS1_(ptr noundef nonnull align 8 dereferenceable(8) %0, ptr noundef nonnull align 8 dereferenceable(8) %109)
  %110 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %30, i32 0, i32 5
  call void @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %110) #8
  %111 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %30, i32 0, i32 5
  %112 = call noundef zeroext i1 @_ZNKSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %111) #8
  %113 = zext i1 %112 to i32
  %114 = icmp eq i32 %113, 1
  br i1 %114, label %115, label %116

115:                                              ; preds = %105
  store i1 true, ptr %17, align 1
  store i32 1, ptr %16, align 4
  br label %197

116:                                              ; preds = %105
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #8
  %117 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %30, i32 0, i32 5
  %118 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %117) #8
  %119 = invoke noundef nonnull align 8 dereferenceable(816) ptr @_ZN3HIR9Evaluator6CsePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %118)
          to label %120 unwind label %152

120:                                              ; preds = %116
  store ptr %119, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  %121 = load ptr, ptr %18, align 8, !tbaa !5
  %122 = getelementptr inbounds %"class.MIR::eval::CallStackEntry", ptr %121, i32 0, i32 5
  %123 = getelementptr inbounds %"class.MIR::TypeResolve", ptr %122, i32 0, i32 7
  %124 = load ptr, ptr %123, align 8, !tbaa !16
  %125 = getelementptr inbounds %"class.MIR::Function", ptr %124, i32 0, i32 2
  %126 = load ptr, ptr %18, align 8, !tbaa !5
  %127 = getelementptr inbounds %"class.MIR::eval::CallStackEntry", ptr %126, i32 0, i32 5
  %128 = invoke noundef i32 @_ZNK3MIR11TypeResolve13get_cur_blockEv(ptr noundef nonnull align 8 dereferenceable(120) %127)
          to label %129 unwind label %156

129:                                              ; preds = %120
  %130 = zext i32 %128 to i64
  %131 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNKSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %125, i64 noundef %130) #8
  %132 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %131, i32 0, i32 1
  store ptr %132, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #8
  %133 = load ptr, ptr %21, align 8, !tbaa !5
  %134 = invoke noundef nonnull align 8 dereferenceable(160) ptr @_ZNK3MIR10Terminator7as_CallEv(ptr noundef nonnull align 8 dereferenceable(168) %133)
          to label %135 unwind label %160

135:                                              ; preds = %129
  store ptr %134, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %23) #8
  %136 = load ptr, ptr %18, align 8, !tbaa !5
  %137 = load ptr, ptr %22, align 8, !tbaa !5
  %138 = getelementptr inbounds %"struct.MIR::Terminator::Data_Call", ptr %137, i32 0, i32 2
  invoke void @_ZN3MIR4eval14CallStackEntry8get_lvalERKNS_6LValueEPNS0_8ValueRefE(ptr dead_on_unwind writable sret(%"class.MIR::eval::ValueRef") align 8 %23, ptr noundef nonnull align 8 dereferenceable(816) %136, ptr noundef nonnull align 8 dereferenceable(32) %138, ptr noundef null)
          to label %139 unwind label %164

139:                                              ; preds = %135
  %140 = load ptr, ptr %18, align 8, !tbaa !5
  %141 = getelementptr inbounds %"class.MIR::eval::CallStackEntry", ptr %140, i32 0, i32 5
  call void @llvm.lifetime.start.p0(i64 16, ptr %24) #8
  invoke void @_ZN3MIR4eval13AllocationPtrC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %0)
          to label %142 unwind label %168

142:                                              ; preds = %139
  invoke void @_ZN3MIR4eval8RelocPtrC2ENS0_13AllocationPtrE(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef %26)
          to label %143 unwind label %172

143:                                              ; preds = %142
  invoke void @_ZN3MIR4eval8ValueRefC2ENS0_8RelocPtrEm(ptr noundef nonnull align 8 dereferenceable(16) %24, ptr noundef %25, i64 noundef 0)
          to label %144 unwind label %176

144:                                              ; preds = %143
  invoke void @_ZN3MIR4eval8ValueRef9copy_fromERKNS_11TypeResolveERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %23, ptr noundef nonnull align 8 dereferenceable(120) %141, ptr noundef nonnull align 8 dereferenceable(16) %24)
          to label %145 unwind label %180

145:                                              ; preds = %144
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #8
  call void @_ZN3MIR4eval8RelocPtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %24) #8
  %146 = load ptr, ptr %18, align 8, !tbaa !5
  %147 = getelementptr inbounds %"class.MIR::eval::CallStackEntry", ptr %146, i32 0, i32 5
  %148 = load ptr, ptr %22, align 8, !tbaa !5
  %149 = getelementptr inbounds %"struct.MIR::Terminator::Data_Call", ptr %148, i32 0, i32 0
  %150 = load i32, ptr %149, align 8, !tbaa !73
  invoke void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %147, i32 noundef %150, i32 noundef 0)
          to label %151 unwind label %187

151:                                              ; preds = %145
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %23) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  br label %196

152:                                              ; preds = %116
  %153 = landingpad { ptr, i32 }
          cleanup
  %154 = extractvalue { ptr, i32 } %153, 0
  store ptr %154, ptr %19, align 8
  %155 = extractvalue { ptr, i32 } %153, 1
  store i32 %155, ptr %20, align 4
  br label %195

156:                                              ; preds = %120
  %157 = landingpad { ptr, i32 }
          cleanup
  %158 = extractvalue { ptr, i32 } %157, 0
  store ptr %158, ptr %19, align 8
  %159 = extractvalue { ptr, i32 } %157, 1
  store i32 %159, ptr %20, align 4
  br label %194

160:                                              ; preds = %129
  %161 = landingpad { ptr, i32 }
          cleanup
  %162 = extractvalue { ptr, i32 } %161, 0
  store ptr %162, ptr %19, align 8
  %163 = extractvalue { ptr, i32 } %161, 1
  store i32 %163, ptr %20, align 4
  br label %193

164:                                              ; preds = %135
  %165 = landingpad { ptr, i32 }
          cleanup
  %166 = extractvalue { ptr, i32 } %165, 0
  store ptr %166, ptr %19, align 8
  %167 = extractvalue { ptr, i32 } %165, 1
  store i32 %167, ptr %20, align 4
  br label %192

168:                                              ; preds = %139
  %169 = landingpad { ptr, i32 }
          cleanup
  %170 = extractvalue { ptr, i32 } %169, 0
  store ptr %170, ptr %19, align 8
  %171 = extractvalue { ptr, i32 } %169, 1
  store i32 %171, ptr %20, align 4
  br label %186

172:                                              ; preds = %142
  %173 = landingpad { ptr, i32 }
          cleanup
  %174 = extractvalue { ptr, i32 } %173, 0
  store ptr %174, ptr %19, align 8
  %175 = extractvalue { ptr, i32 } %173, 1
  store i32 %175, ptr %20, align 4
  br label %185

176:                                              ; preds = %143
  %177 = landingpad { ptr, i32 }
          cleanup
  %178 = extractvalue { ptr, i32 } %177, 0
  store ptr %178, ptr %19, align 8
  %179 = extractvalue { ptr, i32 } %177, 1
  store i32 %179, ptr %20, align 4
  br label %184

180:                                              ; preds = %144
  %181 = landingpad { ptr, i32 }
          cleanup
  %182 = extractvalue { ptr, i32 } %181, 0
  store ptr %182, ptr %19, align 8
  %183 = extractvalue { ptr, i32 } %181, 1
  store i32 %183, ptr %20, align 4
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %24) #8
  br label %184

184:                                              ; preds = %180, %176
  call void @_ZN3MIR4eval8RelocPtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  br label %185

185:                                              ; preds = %184, %172
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  br label %186

186:                                              ; preds = %185, %168
  call void @llvm.lifetime.end.p0(i64 16, ptr %24) #8
  br label %191

187:                                              ; preds = %145
  %188 = landingpad { ptr, i32 }
          cleanup
  %189 = extractvalue { ptr, i32 } %188, 0
  store ptr %189, ptr %19, align 8
  %190 = extractvalue { ptr, i32 } %188, 1
  store i32 %190, ptr %20, align 4
  br label %191

191:                                              ; preds = %187, %186
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %23) #8
  br label %192

192:                                              ; preds = %191, %164
  call void @llvm.lifetime.end.p0(i64 16, ptr %23) #8
  br label %193

193:                                              ; preds = %192, %160
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #8
  br label %194

194:                                              ; preds = %193, %156
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  br label %195

195:                                              ; preds = %194, %152
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #8
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %0) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #8
  br label %231

196:                                              ; preds = %151
  store i32 7, ptr %16, align 4
  br label %197

197:                                              ; preds = %196, %115
  %198 = load i1, ptr %17, align 1
  br i1 %198, label %200, label %199

199:                                              ; preds = %197
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %0) #8
  br label %200

200:                                              ; preds = %199, %197
  %201 = load i32, ptr %16, align 4
  switch i32 %201, label %206 [
    i32 7, label %205
  ]

202:                                              ; preds = %91
  %203 = load ptr, ptr %9, align 8, !tbaa !5
  %204 = load i32, ptr %15, align 4, !tbaa !9
  call void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %203, i32 noundef %204, i32 noundef 0)
  br label %205

205:                                              ; preds = %202, %200
  store i32 0, ptr %16, align 4
  br label %206

206:                                              ; preds = %205, %200, %104
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #8
  %207 = load i32, ptr %16, align 4
  switch i32 %207, label %230 [
    i32 0, label %208
    i32 4, label %209
  ]

208:                                              ; preds = %206
  br label %209

209:                                              ; preds = %208, %206
  %210 = load i32, ptr %8, align 4, !tbaa !9
  %211 = add i32 %210, 1
  store i32 %211, ptr %8, align 4, !tbaa !9
  br label %38, !llvm.loop !87

212:                                              ; preds = %44, %38
  br label %213

213:                                              ; preds = %212
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #8
  %214 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %30, i32 0, i32 0
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(8) %214)
  call void @llvm.lifetime.start.p0(i64 16, ptr %29) #8
  %215 = getelementptr inbounds %class.anon, ptr %29, i32 0, i32 0
  store ptr %7, ptr %215, align 8, !tbaa !5
  %216 = getelementptr inbounds %class.anon, ptr %29, i32 0, i32 1
  store ptr %8, ptr %216, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator21run_until_stack_emptyEvE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %28, ptr noundef nonnull align 8 dereferenceable(16) %29) #8
  invoke void @_ZNK4Span5errorE9ErrorTypeSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %27, i32 noundef 0, ptr noundef %28)
          to label %217 unwind label %220

217:                                              ; preds = %213
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %29) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  %218 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %218, ptr noundef @.str.14)
          to label %219 unwind label %224

219:                                              ; preds = %217
  call void @__cxa_throw(ptr %218, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #10
  unreachable

220:                                              ; preds = %213
  %221 = landingpad { ptr, i32 }
          cleanup
  %222 = extractvalue { ptr, i32 } %221, 0
  store ptr %222, ptr %19, align 8
  %223 = extractvalue { ptr, i32 } %221, 1
  store i32 %223, ptr %20, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %28) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr %29) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  br label %231

224:                                              ; preds = %217
  %225 = landingpad { ptr, i32 }
          cleanup
  %226 = extractvalue { ptr, i32 } %225, 0
  store ptr %226, ptr %19, align 8
  %227 = extractvalue { ptr, i32 } %225, 1
  store i32 %227, ptr %20, align 4
  call void @__cxa_free_exception(ptr %218) #8
  br label %231

228:                                              ; No predecessors!
  br label %229

229:                                              ; preds = %228
  unreachable

230:                                              ; preds = %206
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #8
  ret void

231:                                              ; preds = %224, %220, %195
  call void @llvm.lifetime.end.p0(i64 4, ptr %8) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %7) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %6) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr %5) #8
  br label %232

232:                                              ; preds = %231
  %233 = load ptr, ptr %19, align 8
  %234 = load i32, ptr %20, align 4
  %235 = insertvalue { ptr, i32 } poison, ptr %233, 0
  %236 = insertvalue { ptr, i32 } %235, i32 %234, 1
  resume { ptr, i32 } %236
}

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3HIR9Evaluator13run_statementERN3MIR4eval14CallStackEntryERKNS1_9StatementE(ptr noundef nonnull align 8 dereferenceable(472), ptr noundef nonnull align 8 dereferenceable(816), ptr noundef nonnull align 8 dereferenceable(152)) #2 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN3HIR9Evaluator14run_terminatorERN3MIR4eval14CallStackEntryERKNS1_10TerminatorE(ptr noundef nonnull align 8 dereferenceable(472), ptr noundef nonnull align 8 dereferenceable(816), ptr noundef nonnull align 8 dereferenceable(168)) #2 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR4eval14CallStackEntry8get_lvalERKNS_6LValueEPNS0_8ValueRefE(ptr dead_on_unwind noalias writable sret(%"class.MIR::eval::ValueRef") align 8, ptr noundef nonnull align 8 dereferenceable(816), ptr noundef nonnull align 8 dereferenceable(32), ptr noundef) #2 align 2

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

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

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

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

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

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

!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 80}
!12 = !{!"_ZTSN3MIR11TypeResolveE", !10, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !13, i64 32, !6, i64 64, !6, i64 72, !6, i64 80, !6, i64 88, !6, i64 96, !6, i64 104, !10, i64 112, !10, i64 116}
!13 = !{!"_ZTS9FmtLambda", !14, i64 0}
!14 = !{!"_ZTSSt8functionIFvRSoEE", !15, i64 0, !6, i64 24}
!15 = !{!"_ZTSSt14_Function_base", !7, i64 0, !6, i64 16}
!16 = !{!17, !6, i64 552}
!17 = !{!"_ZTSN3MIR4eval14CallStackEntryE", !10, i64 0, !18, i64 8, !22, i64 32, !6, i64 40, !23, i64 48, !12, i64 472, !51, i64 592, !63, i64 736, !65, i64 744, !69, i64 768, !65, i64 792}
!18 = !{!"_ZTSSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE", !19, i64 0}
!19 = !{!"_ZTSSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE12_Vector_implE", !21, i64 0}
!21 = !{!"_ZTSNSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!22 = !{!"_ZTSN3HIR7TypeRefE", !6, i64 0}
!23 = !{!"_ZTS18StaticTraitResolve", !24, i64 8, !42, i64 224, !43, i64 232, !43, i64 280, !43, i64 328, !46, i64 376}
!24 = !{!"_ZTS18TraitResolveCommon", !6, i64 0, !6, i64 8, !6, i64 16, !25, i64 24, !34, i64 72, !40, i64 104, !40, i64 112, !40, i64 120, !40, i64 128, !40, i64 136, !40, i64 144, !40, i64 152, !40, i64 160, !40, i64 168, !40, i64 176, !40, i64 184, !40, i64 192, !40, i64 200, !40, i64 208}
!25 = !{!"_ZTSSt3mapIN3HIR7TypeRefEN18TraitResolveCommon14CachedEqualityESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !26, i64 0}
!26 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !27, i64 0}
!27 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !28, i64 0, !30, i64 8}
!28 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR7TypeRefEEE", !29, i64 0}
!29 = !{!"_ZTSSt4lessIN3HIR7TypeRefEE"}
!30 = !{!"_ZTSSt15_Rb_tree_header", !31, i64 0, !33, i64 32}
!31 = !{!"_ZTSSt18_Rb_tree_node_base", !32, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!32 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!33 = !{!"long", !7, i64 0}
!34 = !{!"_ZTS11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE", !35, i64 0, !39, i64 24}
!35 = !{!"_ZTSSt6vectorISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !36, i64 0}
!36 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE12_Vector_implE", !38, i64 0}
!38 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!39 = !{!"_ZTSN18TraitResolveCommon14CachedBoundCmpE"}
!40 = !{!"_ZTSN3HIR10SimplePathE", !41, i64 0}
!41 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!42 = !{!"_ZTS12MetadataType", !7, i64 0}
!43 = !{!"_ZTSSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE", !44, i64 0}
!44 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE", !45, i64 0}
!45 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE13_Rb_tree_implIS8_Lb1EEE", !28, i64 0, !30, i64 8}
!46 = !{!"_ZTSSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3HIR7TypeRefESt4lessIS5_ESaISt4pairIKS5_S7_EEE", !47, i64 0}
!47 = !{!"_ZTSSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE", !48, i64 0}
!48 = !{!"_ZTSNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE13_Rb_tree_implISE_Lb1EEE", !49, i64 0, !30, i64 8}
!49 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE", !50, i64 0}
!50 = !{!"_ZTSSt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE"}
!51 = !{!"_ZTS14MonomorphState", !52, i64 0, !22, i64 96, !6, i64 104, !6, i64 112, !59, i64 120}
!52 = !{!"_ZTS15MonomorphiserPP", !53, i64 0}
!53 = !{!"_ZTS13Monomorphiser", !6, i64 8, !54, i64 16, !55, i64 72}
!54 = !{!"_ZTSN3HIR8ItemPathE", !6, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !6, i64 32, !6, i64 40, !6, i64 48}
!55 = !{!"_ZTSSt6vectorIPKN3HIR13GenericParamsESaIS3_EE", !56, i64 0}
!56 = !{!"_ZTSSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE", !57, i64 0}
!57 = !{!"_ZTSNSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE12_Vector_implE", !58, i64 0}
!58 = !{!"_ZTSNSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!59 = !{!"_ZTSN3HIR10PathParamsE", !60, i64 0, !61, i64 8, !62, i64 16}
!60 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !6, i64 0}
!61 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !6, i64 0}
!62 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !6, i64 0}
!63 = !{!"_ZTSN3MIR4eval13AllocationPtrE", !64, i64 0}
!64 = !{!"_ZTSN3MIR4eval11RefCountPtrINS0_10AllocationEEE", !6, i64 0}
!65 = !{!"_ZTSSt6vectorIN3MIR4eval13AllocationPtrESaIS2_EE", !66, i64 0}
!66 = !{!"_ZTSSt12_Vector_baseIN3MIR4eval13AllocationPtrESaIS2_EE", !67, i64 0}
!67 = !{!"_ZTSNSt12_Vector_baseIN3MIR4eval13AllocationPtrESaIS2_EE12_Vector_implE", !68, i64 0}
!68 = !{!"_ZTSNSt12_Vector_baseIN3MIR4eval13AllocationPtrESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!69 = !{!"_ZTSSt6vectorIN3HIR7TypeRefESaIS1_EE", !70, i64 0}
!70 = !{!"_ZTSSt12_Vector_baseIN3HIR7TypeRefESaIS1_EE", !71, i64 0}
!71 = !{!"_ZTSNSt12_Vector_baseIN3HIR7TypeRefESaIS1_EE12_Vector_implE", !72, i64 0}
!72 = !{!"_ZTSNSt12_Vector_baseIN3HIR7TypeRefESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!73 = !{!74, !10, i64 0}
!74 = !{!"_ZTSN3MIR10Terminator9Data_CallE", !10, i64 0, !10, i64 4, !75, i64 8, !81, i64 40, !83, i64 136}
!75 = !{!"_ZTSN3MIR6LValueE", !76, i64 0, !77, i64 8}
!76 = !{!"_ZTSN3MIR6LValue7StorageE", !33, i64 0}
!77 = !{!"_ZTSSt6vectorIN3MIR6LValue7WrapperESaIS2_EE", !78, i64 0}
!78 = !{!"_ZTSSt12_Vector_baseIN3MIR6LValue7WrapperESaIS2_EE", !79, i64 0}
!79 = !{!"_ZTSNSt12_Vector_baseIN3MIR6LValue7WrapperESaIS2_EE12_Vector_implE", !80, i64 0}
!80 = !{!"_ZTSNSt12_Vector_baseIN3MIR6LValue7WrapperESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!81 = !{!"_ZTSN3MIR10CallTargetE", !82, i64 0, !7, i64 8}
!82 = !{!"_ZTSN3MIR10CallTarget3TagE", !7, i64 0}
!83 = !{!"_ZTSSt6vectorIN3MIR5ParamESaIS1_EE", !84, i64 0}
!84 = !{!"_ZTSSt12_Vector_baseIN3MIR5ParamESaIS1_EE", !85, i64 0}
!85 = !{!"_ZTSNSt12_Vector_baseIN3MIR5ParamESaIS1_EE12_Vector_implE", !86, i64 0}
!86 = !{!"_ZTSNSt12_Vector_baseIN3MIR5ParamESaIS1_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!87 = distinct !{!87, !88}
!88 = !{!"llvm.loop.mustprogress"}


; 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.MIR::eval::AllocationPtr" = type { %"class.MIR::eval::RefCountPtr" }
%"class.MIR::eval::RefCountPtr" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.MIR::eval::ValueRef" = type { %"class.MIR::eval::RelocPtr", i32, i32 }
%"class.MIR::eval::RelocPtr" = type { i64 }
%struct.Span = type { ptr }
%"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 = type { ptr, ptr }

@.str.8 = external hidden unnamed_addr constant [91 x i8], align 1
@.str.13 = external hidden unnamed_addr constant [26 x i8], align 1
@__PRETTY_FUNCTION__._ZN3HIR9Evaluator21run_until_stack_emptyEv = external hidden unnamed_addr constant [54 x i8], align 1
@.str.14 = external hidden unnamed_addr constant [24 x i8], align 1
@_ZTISt13runtime_error = external constant ptr

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16)) unnamed_addr #3 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: 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
define dso_local void @_ZN3HIR9Evaluator21run_until_stack_emptyEv(ptr dead_on_unwind noalias writable sret(%"class.MIR::eval::AllocationPtr") align 8 %0, ptr noundef nonnull align 8 dereferenceable(472) %1) local_unnamed_addr #2 align 2 personality ptr @__gxx_personality_v0 {
  %3 = alloca i32, align 4
  %4 = alloca i32, align 4
  %5 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %6 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %7 = alloca %"class.MIR::eval::ValueRef", align 8
  %8 = alloca %"class.MIR::eval::ValueRef", align 8
  %9 = alloca %"class.MIR::eval::RelocPtr", align 8
  %10 = alloca %"class.MIR::eval::AllocationPtr", align 8
  %11 = alloca %struct.Span, align 8
  %12 = alloca %"class.std::function", align 8
  %13 = alloca %class.anon, align 8
  %14 = getelementptr inbounds i8, ptr %1, i64 448
  %15 = tail call noundef zeroext i1 @_ZNKSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #8
  br i1 %15, label %16, label %.lr.ph47.preheader

16:                                               ; preds = %2
  tail call void @__assert_fail(ptr noundef nonnull @.str.13, ptr noundef nonnull @.str.8, i32 noundef 1958, ptr noundef nonnull @__PRETTY_FUNCTION__._ZN3HIR9Evaluator21run_until_stack_emptyEv) #9
  unreachable

.lr.ph47.preheader:                               ; preds = %2
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %3) #8
  store i32 0, ptr %3, align 4, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %4) #8
  store i32 0, ptr %4, align 4, !tbaa !5
  br label %.lr.ph47

.lr.ph47:                                         ; preds = %.lr.ph47.preheader, %91
  %17 = phi i32 [ 0, %.lr.ph47.preheader ], [ %92, %91 ]
  %18 = phi i32 [ 0, %.lr.ph47.preheader ], [ %37, %91 ]
  %19 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #8
  %20 = call noundef ptr @_ZN3HIR9Evaluator6CsePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %19)
  %21 = getelementptr inbounds i8, ptr %20, i64 472
  %22 = getelementptr inbounds i8, ptr %20, i64 552
  %23 = load ptr, ptr %22, align 8, !tbaa !9
  %24 = getelementptr inbounds i8, ptr %23, i64 64
  %25 = call noundef i32 @_ZNK3MIR11TypeResolve13get_cur_blockEv(ptr noundef nonnull align 8 dereferenceable(120) %21)
  %26 = zext i32 %25 to i64
  %27 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNKSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %24, i64 noundef %26) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #8
  %28 = call ptr @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %27) #8
  store ptr %28, ptr %5, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %6) #8
  %29 = call ptr @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %27) #8
  store ptr %29, ptr %6, align 8
  %30 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %6) #8
  br i1 %30, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %.lr.ph, %.lr.ph47
  %31 = phi i32 [ %18, %.lr.ph47 ], [ %49, %.lr.ph ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %6) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #8
  %32 = call noundef i32 @_ZNK3MIR11TypeResolve13get_cur_blockEv(ptr noundef nonnull align 8 dereferenceable(120) %21)
  call void @_ZN3MIR11TypeResolve17set_cur_stmt_termEj(ptr noundef nonnull align 8 dereferenceable(120) %21, i32 noundef %32)
  %33 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #8
  %34 = call noundef nonnull align 8 dereferenceable(816) ptr @_ZN3HIR9Evaluator6CsePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %33)
  %35 = getelementptr inbounds i8, ptr %27, i64 24
  %36 = call noundef i32 @_ZN3HIR9Evaluator14run_terminatorERN3MIR4eval14CallStackEntryERKNS1_10TerminatorE(ptr noundef nonnull align 8 dereferenceable(472) %1, ptr noundef nonnull align 8 dereferenceable(816) %34, ptr noundef nonnull align 8 dereferenceable(168) %35)
  %37 = add i32 %31, 1
  store i32 %37, ptr %3, align 4, !tbaa !5
  switch i32 %36, label %90 [
    i32 -2, label %91
    i32 -1, label %52
  ]

.lr.ph:                                           ; preds = %.lr.ph47, %.lr.ph
  %38 = phi i32 [ %49, %.lr.ph ], [ %18, %.lr.ph47 ]
  %39 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %5) #8
  %40 = call noundef i32 @_ZNK3MIR11TypeResolve13get_cur_blockEv(ptr noundef nonnull align 8 dereferenceable(120) %21)
  %41 = call noundef ptr @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %27) #8
  %42 = ptrtoint ptr %39 to i64
  %43 = ptrtoint ptr %41 to i64
  %44 = sub i64 %42, %43
  %45 = sdiv exact i64 %44, 152
  %46 = trunc i64 %45 to i32
  call void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %21, i32 noundef %40, i32 noundef %46)
  %47 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #8
  %48 = call noundef nonnull align 8 dereferenceable(816) ptr @_ZN3HIR9Evaluator6CsePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %47)
  call void @_ZN3HIR9Evaluator13run_statementERN3MIR4eval14CallStackEntryERKNS1_9StatementE(ptr noundef nonnull align 8 dereferenceable(472) %1, ptr noundef nonnull align 8 dereferenceable(816) %48, ptr noundef nonnull align 8 dereferenceable(152) %39)
  %49 = add i32 %38, 1
  %50 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %5) #8
  %51 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESD_(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %6) #8
  br i1 %51, label %.lr.ph, label %._crit_edge

52:                                               ; preds = %._crit_edge
  %53 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #8
  %54 = call noundef ptr @_ZN3HIR9Evaluator6CsePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %53)
  %55 = getelementptr inbounds i8, ptr %54, i64 736
  call void @_ZN3MIR4eval13AllocationPtrC2EOS1_(ptr noundef nonnull align 8 dereferenceable(8) %0, ptr noundef nonnull align 8 dereferenceable(8) %55)
  call void @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #8
  %56 = call noundef zeroext i1 @_ZNKSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #8
  br i1 %56, label %.critedge, label %57

57:                                               ; preds = %52
  %58 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %14) #8
  %59 = call noundef nonnull align 8 dereferenceable(816) ptr @_ZN3HIR9Evaluator6CsePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %58)
  %60 = getelementptr inbounds i8, ptr %59, i64 472
  %61 = getelementptr inbounds i8, ptr %59, i64 552
  %62 = load ptr, ptr %61, align 8, !tbaa !15
  %63 = getelementptr inbounds i8, ptr %62, i64 64
  %64 = call noundef i32 @_ZNK3MIR11TypeResolve13get_cur_blockEv(ptr noundef nonnull align 8 dereferenceable(120) %60)
  %65 = zext i32 %64 to i64
  %66 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNKSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %63, i64 noundef %65) #8
  %67 = getelementptr inbounds i8, ptr %66, i64 24
  %68 = call noundef nonnull align 8 dereferenceable(160) ptr @_ZNK3MIR10Terminator7as_CallEv(ptr noundef nonnull align 8 dereferenceable(168) %67)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %7) #8
  %69 = getelementptr inbounds i8, ptr %68, i64 8
  invoke void @_ZN3MIR4eval14CallStackEntry8get_lvalERKNS_6LValueEPNS0_8ValueRefE(ptr dead_on_unwind nonnull writable sret(%"class.MIR::eval::ValueRef") align 8 %7, ptr noundef nonnull align 8 dereferenceable(816) %59, ptr noundef nonnull align 8 dereferenceable(32) %69, ptr noundef null)
          to label %70 unwind label %74

70:                                               ; preds = %57
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %8) #8
  invoke void @_ZN3MIR4eval13AllocationPtrC2ERKS1_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %0)
          to label %71 unwind label %76

71:                                               ; preds = %70
  invoke void @_ZN3MIR4eval8RelocPtrC2ENS0_13AllocationPtrE(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull %10)
          to label %72 unwind label %78

72:                                               ; preds = %71
  invoke void @_ZN3MIR4eval8ValueRefC2ENS0_8RelocPtrEm(ptr noundef nonnull align 8 dereferenceable(16) %8, ptr noundef nonnull %9, i64 noundef 0)
          to label %73 unwind label %80

73:                                               ; preds = %72
  invoke void @_ZN3MIR4eval8ValueRef9copy_fromERKNS_11TypeResolveERKS1_(ptr noundef nonnull align 8 dereferenceable(16) %7, ptr noundef nonnull align 8 dereferenceable(120) %60, ptr noundef nonnull align 8 dereferenceable(16) %8)
          to label %88 unwind label %82

74:                                               ; preds = %57
  %75 = landingpad { ptr, i32 }
          cleanup
  br label %87

76:                                               ; preds = %70
  %77 = landingpad { ptr, i32 }
          cleanup
  br label %86

78:                                               ; preds = %71
  %79 = landingpad { ptr, i32 }
          cleanup
  br label %85

80:                                               ; preds = %72
  %81 = landingpad { ptr, i32 }
          cleanup
  br label %84

82:                                               ; preds = %73
  %83 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #8
  br label %84

84:                                               ; preds = %82, %80
  %.pn = phi { ptr, i32 } [ %83, %82 ], [ %81, %80 ]
  call void @_ZN3MIR4eval8RelocPtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  br label %85

85:                                               ; preds = %84, %78
  %.pn.pn = phi { ptr, i32 } [ %.pn, %84 ], [ %79, %78 ]
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  br label %86

86:                                               ; preds = %85, %76
  %.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn, %85 ], [ %77, %76 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #8
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %7) #8
  br label %87

87:                                               ; preds = %86, %74
  %.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn.pn.pn, %86 ], [ %75, %74 ]
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #8
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %0) #8
  br label %103

88:                                               ; preds = %73
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %8) #8
  call void @_ZN3MIR4eval8RelocPtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %8) #8
  %89 = load i32, ptr %68, align 8, !tbaa !72
  call void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %60, i32 noundef %89, i32 noundef 0)
  call void @_ZN3MIR4eval8ValueRefD2Ev(ptr noundef nonnull align 8 dereferenceable(16) %7) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %7) #8
  call void @_ZN3MIR4eval11RefCountPtrINS0_10AllocationEED2Ev(ptr noundef nonnull align 8 dereferenceable(8) %0) #8
  br label %91

90:                                               ; preds = %._crit_edge
  call void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %21, i32 noundef %36, i32 noundef 0)
  br label %91

91:                                               ; preds = %._crit_edge, %88, %90
  %92 = add i32 %17, 1
  store i32 %92, ptr %4, align 4, !tbaa !5
  %93 = icmp ugt i32 %92, 999999
  %94 = icmp ugt i32 %37, 4000000
  %or.cond = select i1 %93, i1 true, i1 %94
  br i1 %or.cond, label %._crit_edge48, label %.lr.ph47, !llvm.loop !86

._crit_edge48:                                    ; preds = %91
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #8
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %11, ptr noundef nonnull align 8 dereferenceable(8) %1)
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %13) #8
  store ptr %3, ptr %13, align 8, !tbaa !88
  %95 = getelementptr inbounds i8, ptr %13, i64 8
  store ptr %4, ptr %95, align 8, !tbaa !88
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator21run_until_stack_emptyEvE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %12, ptr noundef nonnull align 8 dereferenceable(16) %13) #8
  invoke void @_ZNK4Span5errorE9ErrorTypeSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %11, i32 noundef 0, ptr noundef nonnull %12)
          to label %96 unwind label %99

96:                                               ; preds = %._crit_edge48
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %11) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #8
  %97 = call ptr @__cxa_allocate_exception(i64 16) #8
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %97, ptr noundef nonnull @.str.14)
          to label %98 unwind label %101

98:                                               ; preds = %96
  call void @__cxa_throw(ptr nonnull %97, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #10
  unreachable

99:                                               ; preds = %._crit_edge48
  %100 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %12) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %13) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %11) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #8
  br label %103

101:                                              ; preds = %96
  %102 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %97) #8
  br label %103

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

103:                                              ; preds = %101, %99, %87
  %.pn42 = phi { ptr, i32 } [ %102, %101 ], [ %100, %99 ], [ %.pn.pn.pn.pn, %87 ]
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %4) #8
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %3) #8
  resume { ptr, i32 } %.pn42
}

; 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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3HIR9Evaluator13run_statementERN3MIR4eval14CallStackEntryERKNS1_9StatementE(ptr noundef nonnull align 8 dereferenceable(472), ptr noundef nonnull align 8 dereferenceable(816), ptr noundef nonnull align 8 dereferenceable(152)) local_unnamed_addr #2 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local noundef i32 @_ZN3HIR9Evaluator14run_terminatorERN3MIR4eval14CallStackEntryERKNS1_10TerminatorE(ptr noundef nonnull align 8 dereferenceable(472), ptr noundef nonnull align 8 dereferenceable(816), ptr noundef nonnull align 8 dereferenceable(168)) local_unnamed_addr #2 align 2

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

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

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

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

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

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

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

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

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

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

!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 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !11, i64 80}
!10 = !{!"_ZTSN3MIR11TypeResolveE", !6, i64 0, !11, i64 8, !11, i64 16, !11, i64 24, !12, i64 32, !11, i64 64, !11, i64 72, !11, i64 80, !11, i64 88, !11, i64 96, !11, i64 104, !6, i64 112, !6, i64 116}
!11 = !{!"any pointer", !7, i64 0}
!12 = !{!"_ZTS9FmtLambda", !13, i64 0}
!13 = !{!"_ZTSSt8functionIFvRSoEE", !14, i64 0, !11, i64 24}
!14 = !{!"_ZTSSt14_Function_base", !7, i64 0, !11, i64 16}
!15 = !{!16, !11, i64 552}
!16 = !{!"_ZTSN3MIR4eval14CallStackEntryE", !6, i64 0, !17, i64 8, !21, i64 32, !11, i64 40, !22, i64 48, !10, i64 472, !50, i64 592, !62, i64 736, !64, i64 744, !68, i64 768, !64, i64 792}
!17 = !{!"_ZTSSt6vectorISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE", !18, i64 0}
!18 = !{!"_ZTSSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE", !19, i64 0}
!19 = !{!"_ZTSNSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE12_Vector_implE", !20, i64 0}
!20 = !{!"_ZTSNSt12_Vector_baseISt4pairIN3HIR7PatternENS1_7TypeRefEESaIS4_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!21 = !{!"_ZTSN3HIR7TypeRefE", !11, i64 0}
!22 = !{!"_ZTS18StaticTraitResolve", !23, i64 8, !41, i64 224, !42, i64 232, !42, i64 280, !42, i64 328, !45, i64 376}
!23 = !{!"_ZTS18TraitResolveCommon", !11, i64 0, !11, i64 8, !11, i64 16, !24, i64 24, !33, i64 72, !39, i64 104, !39, i64 112, !39, i64 120, !39, i64 128, !39, i64 136, !39, i64 144, !39, i64 152, !39, i64 160, !39, i64 168, !39, i64 176, !39, i64 184, !39, i64 192, !39, i64 200, !39, i64 208}
!24 = !{!"_ZTSSt3mapIN3HIR7TypeRefEN18TraitResolveCommon14CachedEqualityESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !25, i64 0}
!25 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !26, i64 0}
!26 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !27, i64 0, !29, i64 8}
!27 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR7TypeRefEEE", !28, i64 0}
!28 = !{!"_ZTSSt4lessIN3HIR7TypeRefEE"}
!29 = !{!"_ZTSSt15_Rb_tree_header", !30, i64 0, !32, i64 32}
!30 = !{!"_ZTSSt18_Rb_tree_node_base", !31, i64 0, !11, i64 8, !11, i64 16, !11, i64 24}
!31 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!32 = !{!"long", !7, i64 0}
!33 = !{!"_ZTS11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE", !34, i64 0, !38, i64 24}
!34 = !{!"_ZTSSt6vectorISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !35, i64 0}
!35 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !36, i64 0}
!36 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE12_Vector_implE", !37, i64 0}
!37 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!38 = !{!"_ZTSN18TraitResolveCommon14CachedBoundCmpE"}
!39 = !{!"_ZTSN3HIR10SimplePathE", !40, i64 0}
!40 = !{!"_ZTS10ThinVectorI8RcStringE", !11, i64 0}
!41 = !{!"_ZTS12MetadataType", !7, i64 0}
!42 = !{!"_ZTSSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE", !43, i64 0}
!43 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE", !44, i64 0}
!44 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE13_Rb_tree_implIS8_Lb1EEE", !27, i64 0, !29, i64 8}
!45 = !{!"_ZTSSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3HIR7TypeRefESt4lessIS5_ESaISt4pairIKS5_S7_EEE", !46, i64 0}
!46 = !{!"_ZTSSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE", !47, i64 0}
!47 = !{!"_ZTSNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE13_Rb_tree_implISE_Lb1EEE", !48, i64 0, !29, i64 8}
!48 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE", !49, i64 0}
!49 = !{!"_ZTSSt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE"}
!50 = !{!"_ZTS14MonomorphState", !51, i64 0, !21, i64 96, !11, i64 104, !11, i64 112, !58, i64 120}
!51 = !{!"_ZTS15MonomorphiserPP", !52, i64 0}
!52 = !{!"_ZTS13Monomorphiser", !11, i64 8, !53, i64 16, !54, i64 72}
!53 = !{!"_ZTSN3HIR8ItemPathE", !11, i64 0, !11, i64 8, !11, i64 16, !11, i64 24, !11, i64 32, !11, i64 40, !11, i64 48}
!54 = !{!"_ZTSSt6vectorIPKN3HIR13GenericParamsESaIS3_EE", !55, i64 0}
!55 = !{!"_ZTSSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE", !56, i64 0}
!56 = !{!"_ZTSNSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE12_Vector_implE", !57, i64 0}
!57 = !{!"_ZTSNSt12_Vector_baseIPKN3HIR13GenericParamsESaIS3_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!58 = !{!"_ZTSN3HIR10PathParamsE", !59, i64 0, !60, i64 8, !61, i64 16}
!59 = !{!"_ZTS10ThinVectorIN3HIR11LifetimeRefEE", !11, i64 0}
!60 = !{!"_ZTS10ThinVectorIN3HIR7TypeRefEE", !11, i64 0}
!61 = !{!"_ZTS10ThinVectorIN3HIR12ConstGenericEE", !11, i64 0}
!62 = !{!"_ZTSN3MIR4eval13AllocationPtrE", !63, i64 0}
!63 = !{!"_ZTSN3MIR4eval11RefCountPtrINS0_10AllocationEEE", !11, i64 0}
!64 = !{!"_ZTSSt6vectorIN3MIR4eval13AllocationPtrESaIS2_EE", !65, i64 0}
!65 = !{!"_ZTSSt12_Vector_baseIN3MIR4eval13AllocationPtrESaIS2_EE", !66, i64 0}
!66 = !{!"_ZTSNSt12_Vector_baseIN3MIR4eval13AllocationPtrESaIS2_EE12_Vector_implE", !67, i64 0}
!67 = !{!"_ZTSNSt12_Vector_baseIN3MIR4eval13AllocationPtrESaIS2_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!68 = !{!"_ZTSSt6vectorIN3HIR7TypeRefESaIS1_EE", !69, i64 0}
!69 = !{!"_ZTSSt12_Vector_baseIN3HIR7TypeRefESaIS1_EE", !70, i64 0}
!70 = !{!"_ZTSNSt12_Vector_baseIN3HIR7TypeRefESaIS1_EE12_Vector_implE", !71, i64 0}
!71 = !{!"_ZTSNSt12_Vector_baseIN3HIR7TypeRefESaIS1_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!72 = !{!73, !6, i64 0}
!73 = !{!"_ZTSN3MIR10Terminator9Data_CallE", !6, i64 0, !6, i64 4, !74, i64 8, !80, i64 40, !82, i64 136}
!74 = !{!"_ZTSN3MIR6LValueE", !75, i64 0, !76, i64 8}
!75 = !{!"_ZTSN3MIR6LValue7StorageE", !32, i64 0}
!76 = !{!"_ZTSSt6vectorIN3MIR6LValue7WrapperESaIS2_EE", !77, i64 0}
!77 = !{!"_ZTSSt12_Vector_baseIN3MIR6LValue7WrapperESaIS2_EE", !78, i64 0}
!78 = !{!"_ZTSNSt12_Vector_baseIN3MIR6LValue7WrapperESaIS2_EE12_Vector_implE", !79, i64 0}
!79 = !{!"_ZTSNSt12_Vector_baseIN3MIR6LValue7WrapperESaIS2_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!80 = !{!"_ZTSN3MIR10CallTargetE", !81, i64 0, !7, i64 8}
!81 = !{!"_ZTSN3MIR10CallTarget3TagE", !7, i64 0}
!82 = !{!"_ZTSSt6vectorIN3MIR5ParamESaIS1_EE", !83, i64 0}
!83 = !{!"_ZTSSt12_Vector_baseIN3MIR5ParamESaIS1_EE", !84, i64 0}
!84 = !{!"_ZTSNSt12_Vector_baseIN3MIR5ParamESaIS1_EE12_Vector_implE", !85, i64 0}
!85 = !{!"_ZTSNSt12_Vector_baseIN3MIR5ParamESaIS1_EE17_Vector_impl_dataE", !11, i64 0, !11, i64 8, !11, i64 16}
!86 = distinct !{!86, !87}
!87 = !{!"llvm.loop.mustprogress"}
!88 = !{!11, !11, i64 0}


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