; 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.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" }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%class.RcString = type { 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::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 }
%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 }
%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.498 = type { ptr }
%"class.__gnu_cxx::__normal_iterator.500" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.499" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.501" = type { ptr }
%struct.Reloc = type { i64, i64, %"class.std::unique_ptr.105", %"class.std::__cxx11::basic_string" }
%"class.std::unique_ptr.105" = type { %"struct.std::__uniq_ptr_data.106" }
%"struct.std::__uniq_ptr_data.106" = type { %"class.std::__uniq_ptr_impl.107" }
%"class.std::__uniq_ptr_impl.107" = type { %"class.std::tuple.108" }
%"class.std::tuple.108" = type { %"struct.std::_Tuple_impl.109" }
%"struct.std::_Tuple_impl.109" = type { %"struct.std::_Head_base.112" }
%"struct.std::_Head_base.112" = type { ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::allocator.102" = type { i8 }
%class.anon.502 = 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 }
%"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 }
%"struct.MIR::eval::Allocation::Reloc" = type { i64, %"class.MIR::eval::RelocPtr" }
%"class.MIR::eval::RelocPtr" = type { i64 }

@_ZTISt13runtime_error = external constant ptr
@.str.29 = external hidden unnamed_addr constant [17 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: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

declare i32 @__gxx_personality_v0(...)

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

declare ptr @__cxa_allocate_exception(i64)

declare void @__cxa_throw(ptr, ptr, ptr)

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

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

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

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

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

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

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

declare void @__cxa_free_exception(ptr)

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef i32 @_ZL21Target_GetPointerBitsv() #5

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

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

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

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

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

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

declare void @_ZNK3HIR4Path5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::Path") align 8, ptr noundef nonnull align 8 dereferenceable(88)) #4

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3HIR9Evaluator21allocation_to_encodedERKNS_7TypeRefERKN3MIR4eval10AllocationE(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(8) %2, ptr noundef nonnull align 8 dereferenceable(64) %3) #6 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca ptr, align 8
  %10 = alloca %struct.Span, align 8
  %11 = alloca %"class.std::function", align 8
  %12 = alloca %class.anon.498, align 8
  %13 = alloca ptr, align 8
  %14 = alloca i32, align 4
  %15 = alloca i1, align 1
  %16 = alloca %"class.__gnu_cxx::__normal_iterator.500", align 8
  %17 = alloca %"class.__gnu_cxx::__normal_iterator.499", align 8
  %18 = alloca %"class.__gnu_cxx::__normal_iterator.499", align 8
  %19 = alloca ptr, align 8
  %20 = alloca %"class.__gnu_cxx::__normal_iterator.501", align 8
  %21 = alloca %"class.__gnu_cxx::__normal_iterator.501", align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca %struct.EncodedLiteral, align 8
  %25 = alloca %"class.HIR::Path", align 8
  %26 = alloca %"class.HIR::TypeRef", align 8
  %27 = alloca %struct.EncodedLiteral, align 8
  %28 = alloca %struct.Reloc, align 8
  %29 = alloca %"class.HIR::Path", align 8
  %30 = alloca i64, align 8
  %31 = alloca ptr, align 8
  %32 = alloca %struct.Reloc, align 8
  %33 = alloca %"class.std::__cxx11::basic_string", align 8
  %34 = alloca %"class.std::allocator.102", align 1
  %35 = alloca ptr, align 8
  %36 = alloca %struct.Reloc, align 8
  %37 = alloca %"class.HIR::Path", align 8
  %38 = alloca ptr, align 8
  %39 = alloca i64, align 8
  %40 = alloca ptr, align 8
  %41 = alloca %struct.Reloc, align 8
  %42 = alloca %"class.std::__cxx11::basic_string", align 8
  %43 = alloca %"class.std::allocator.102", align 1
  %44 = alloca %struct.Span, align 8
  %45 = alloca %"class.std::function", align 8
  %46 = alloca %class.anon.502, align 1
  store ptr %0, ptr %5, align 8
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  store ptr %3, ptr %8, align 8, !tbaa !5
  %47 = load ptr, ptr %6, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %9) #7
  %48 = load ptr, ptr %8, align 8, !tbaa !5
  %49 = load ptr, ptr %8, align 8, !tbaa !5
  %50 = call noundef i64 @_ZNK3MIR4eval10Allocation4sizeEv(ptr noundef nonnull align 8 dereferenceable(64) %49)
  %51 = call noundef ptr @_ZNK3MIR4eval10Allocation9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(64) %48, i64 noundef 0, i64 noundef %50, i1 noundef zeroext false)
  store ptr %51, ptr %9, align 8, !tbaa !5
  br label %52

52:                                               ; preds = %4
  %53 = load ptr, ptr %9, align 8, !tbaa !5
  %54 = icmp ne ptr %53, null
  br i1 %54, label %70, label %55

55:                                               ; preds = %52
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #7
  %56 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %47, i32 0, i32 0
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %56)
  call void @llvm.lifetime.start.p0(i64 8, ptr %12) #7
  %57 = getelementptr inbounds %class.anon.498, ptr %12, i32 0, i32 0
  %58 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %58, ptr %57, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator21allocation_to_encodedERKNS4_7TypeRefERKN3MIR4eval10AllocationEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull align 8 dereferenceable(8) %12) #7
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef %11)
          to label %59 unwind label %62

59:                                               ; preds = %55
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  %60 = call ptr @__cxa_allocate_exception(i64 16) #7
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %60, ptr noundef @.str.29)
          to label %61 unwind label %66

61:                                               ; preds = %59
  call void @__cxa_throw(ptr %60, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #8
  unreachable

62:                                               ; preds = %55
  %63 = landingpad { ptr, i32 }
          cleanup
  %64 = extractvalue { ptr, i32 } %63, 0
  store ptr %64, ptr %13, align 8
  %65 = extractvalue { ptr, i32 } %63, 1
  store i32 %65, ptr %14, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %12) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #7
  br label %370

66:                                               ; preds = %59
  %67 = landingpad { ptr, i32 }
          cleanup
  %68 = extractvalue { ptr, i32 } %67, 0
  store ptr %68, ptr %13, align 8
  %69 = extractvalue { ptr, i32 } %67, 1
  store i32 %69, ptr %14, align 4
  call void @__cxa_free_exception(ptr %60) #7
  br label %370

70:                                               ; preds = %52
  br label %71

71:                                               ; preds = %70
  br label %72

72:                                               ; preds = %71
  store i1 false, ptr %15, align 1
  call void @_ZN14EncodedLiteralC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %0) #7
  %73 = getelementptr inbounds %struct.EncodedLiteral, ptr %0, i32 0, i32 0
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #7
  %74 = getelementptr inbounds %struct.EncodedLiteral, ptr %0, i32 0, i32 0
  %75 = call ptr @_ZNSt6vectorIhSaIhEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %74) #7
  %76 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.499", ptr %17, i32 0, i32 0
  store ptr %75, ptr %76, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKhSt6vectorIhSaIhEEEC2IPhvEERKNS0_IT_S5_EE(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %17) #7
  %77 = load ptr, ptr %9, align 8, !tbaa !5
  %78 = load ptr, ptr %9, align 8, !tbaa !5
  %79 = load ptr, ptr %8, align 8, !tbaa !5
  %80 = invoke noundef i64 @_ZNK3MIR4eval10Allocation4sizeEv(ptr noundef nonnull align 8 dereferenceable(64) %79)
          to label %81 unwind label %100

81:                                               ; preds = %72
  %82 = getelementptr inbounds i8, ptr %78, i64 %80
  %83 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.500", ptr %16, i32 0, i32 0
  %84 = load ptr, ptr %83, align 8
  %85 = invoke ptr @_ZNSt6vectorIhSaIhEE6insertIPKhvEEN9__gnu_cxx17__normal_iteratorIPhS1_EENS6_IS4_S1_EET_SA_(ptr noundef nonnull align 8 dereferenceable(24) %73, ptr %84, ptr noundef %77, ptr noundef %82)
          to label %86 unwind label %100

86:                                               ; preds = %81
  %87 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.499", ptr %18, i32 0, i32 0
  store ptr %85, ptr %87, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #7
  %88 = load ptr, ptr %8, align 8, !tbaa !5
  %89 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3MIR4eval10Allocation15get_relocationsEv(ptr noundef nonnull align 8 dereferenceable(64) %88)
          to label %90 unwind label %104

90:                                               ; preds = %86
  store ptr %89, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #7
  %91 = load ptr, ptr %19, align 8, !tbaa !5
  %92 = call ptr @_ZNKSt6vectorIN3MIR4eval10Allocation5RelocESaIS3_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %91) #7
  %93 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.501", ptr %20, i32 0, i32 0
  store ptr %92, ptr %93, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #7
  %94 = load ptr, ptr %19, align 8, !tbaa !5
  %95 = call ptr @_ZNKSt6vectorIN3MIR4eval10Allocation5RelocESaIS3_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %94) #7
  %96 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.501", ptr %21, i32 0, i32 0
  store ptr %95, ptr %96, align 8
  br label %97

97:                                               ; preds = %361, %90
  %98 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3MIR4eval10Allocation5RelocESt6vectorIS4_SaIS4_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %21) #7
  br i1 %98, label %108, label %99

99:                                               ; preds = %97
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #7
  br label %365

100:                                              ; preds = %81, %72
  %101 = landingpad { ptr, i32 }
          cleanup
  %102 = extractvalue { ptr, i32 } %101, 0
  store ptr %102, ptr %13, align 8
  %103 = extractvalue { ptr, i32 } %101, 1
  store i32 %103, ptr %14, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  br label %369

104:                                              ; preds = %86
  %105 = landingpad { ptr, i32 }
          cleanup
  %106 = extractvalue { ptr, i32 } %105, 0
  store ptr %106, ptr %13, align 8
  %107 = extractvalue { ptr, i32 } %105, 1
  store i32 %107, ptr %14, align 4
  br label %364

108:                                              ; preds = %97
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #7
  %109 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3MIR4eval10Allocation5RelocESt6vectorIS4_SaIS4_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #7
  store ptr %109, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #7
  %110 = load ptr, ptr %22, align 8, !tbaa !5
  %111 = getelementptr inbounds %"struct.MIR::eval::Allocation::Reloc", ptr %110, i32 0, i32 1
  %112 = invoke noundef ptr @_ZNK3MIR4eval8RelocPtr13as_allocationEv(ptr noundef nonnull align 8 dereferenceable(8) %111)
          to label %113 unwind label %146

113:                                              ; preds = %108
  store ptr %112, ptr %23, align 8, !tbaa !5
  %114 = load ptr, ptr %23, align 8, !tbaa !5
  %115 = icmp ne ptr %114, null
  br i1 %115, label %116, label %231

116:                                              ; preds = %113
  %117 = load ptr, ptr %23, align 8, !tbaa !5
  %118 = invoke noundef zeroext i1 @_ZNK3MIR4eval10Allocation11is_writableEv(ptr noundef nonnull align 8 dereferenceable(64) %117)
          to label %119 unwind label %146

119:                                              ; preds = %116
  br i1 %118, label %120, label %178

120:                                              ; preds = %119
  call void @llvm.lifetime.start.p0(i64 48, ptr %24) #7
  %121 = load ptr, ptr %23, align 8, !tbaa !5
  %122 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR4eval10Allocation8get_typeEv(ptr noundef nonnull align 8 dereferenceable(64) %121)
          to label %123 unwind label %150

123:                                              ; preds = %120
  %124 = load ptr, ptr %23, align 8, !tbaa !5
  invoke void @_ZN3HIR9Evaluator21allocation_to_encodedERKNS_7TypeRefERKN3MIR4eval10AllocationE(ptr dead_on_unwind writable sret(%struct.EncodedLiteral) align 8 %24, ptr noundef nonnull align 8 dereferenceable(472) %47, ptr noundef nonnull align 8 dereferenceable(8) %122, ptr noundef nonnull align 8 dereferenceable(64) %124)
          to label %125 unwind label %150

125:                                              ; preds = %123
  call void @llvm.lifetime.start.p0(i64 88, ptr %25) #7
  %126 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %47, i32 0, i32 2
  %127 = load ptr, ptr %126, align 8, !tbaa !9
  %128 = load ptr, ptr %23, align 8, !tbaa !5
  %129 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR4eval10Allocation8get_typeEv(ptr noundef nonnull align 8 dereferenceable(64) %128)
          to label %130 unwind label %154

130:                                              ; preds = %125
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::TypeRef") align 8 %26, ptr noundef nonnull align 8 dereferenceable(8) %129)
          to label %131 unwind label %154

131:                                              ; preds = %130
  call void @_ZN14EncodedLiteralC2EOS_(ptr noundef nonnull align 8 dereferenceable(48) %27, ptr noundef nonnull align 8 dereferenceable(48) %24) #7
  %132 = load ptr, ptr %127, align 8, !tbaa !45
  %133 = getelementptr inbounds ptr, ptr %132, i64 0
  %134 = load ptr, ptr %133, align 8
  invoke void %134(ptr dead_on_unwind writable sret(%"class.HIR::Path") align 8 %25, ptr noundef nonnull align 8 dereferenceable(8) %127, ptr noundef %26, ptr noundef %27)
          to label %135 unwind label %158

135:                                              ; preds = %131
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %27) #7
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #7
  %136 = getelementptr inbounds %struct.EncodedLiteral, ptr %0, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 56, ptr %28) #7
  %137 = load ptr, ptr %22, align 8, !tbaa !5
  %138 = getelementptr inbounds %"struct.MIR::eval::Allocation::Reloc", ptr %137, i32 0, i32 0
  %139 = load i64, ptr %138, align 8, !tbaa !47
  %140 = invoke noundef i32 @_ZL21Target_GetPointerBitsv()
          to label %141 unwind label %162

141:                                              ; preds = %135
  %142 = udiv i32 %140, 8
  %143 = zext i32 %142 to i64
  call void @_ZN3HIR4PathC2EOS0_(ptr noundef nonnull align 8 dereferenceable(88) %29, ptr noundef nonnull align 8 dereferenceable(88) %25) #7
  invoke void @_ZN5Reloc9new_namedEmmN3HIR4PathE(ptr dead_on_unwind writable sret(%struct.Reloc) align 8 %28, i64 noundef %139, i64 noundef %143, ptr noundef %29)
          to label %144 unwind label %166

144:                                              ; preds = %141
  invoke void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %136, ptr noundef nonnull align 8 dereferenceable(56) %28)
          to label %145 unwind label %170

145:                                              ; preds = %144
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %28) #7
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %29) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr %28) #7
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %25) #7
  call void @llvm.lifetime.end.p0(i64 88, ptr %25) #7
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %24) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr %24) #7
  br label %230

146:                                              ; preds = %116, %108
  %147 = landingpad { ptr, i32 }
          cleanup
  %148 = extractvalue { ptr, i32 } %147, 0
  store ptr %148, ptr %13, align 8
  %149 = extractvalue { ptr, i32 } %147, 1
  store i32 %149, ptr %14, align 4
  br label %363

150:                                              ; preds = %123, %120
  %151 = landingpad { ptr, i32 }
          cleanup
  %152 = extractvalue { ptr, i32 } %151, 0
  store ptr %152, ptr %13, align 8
  %153 = extractvalue { ptr, i32 } %151, 1
  store i32 %153, ptr %14, align 4
  br label %177

154:                                              ; preds = %130, %125
  %155 = landingpad { ptr, i32 }
          cleanup
  %156 = extractvalue { ptr, i32 } %155, 0
  store ptr %156, ptr %13, align 8
  %157 = extractvalue { ptr, i32 } %155, 1
  store i32 %157, ptr %14, align 4
  br label %176

158:                                              ; preds = %131
  %159 = landingpad { ptr, i32 }
          cleanup
  %160 = extractvalue { ptr, i32 } %159, 0
  store ptr %160, ptr %13, align 8
  %161 = extractvalue { ptr, i32 } %159, 1
  store i32 %161, ptr %14, align 4
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %27) #7
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #7
  br label %176

162:                                              ; preds = %135
  %163 = landingpad { ptr, i32 }
          cleanup
  %164 = extractvalue { ptr, i32 } %163, 0
  store ptr %164, ptr %13, align 8
  %165 = extractvalue { ptr, i32 } %163, 1
  store i32 %165, ptr %14, align 4
  br label %175

166:                                              ; preds = %141
  %167 = landingpad { ptr, i32 }
          cleanup
  %168 = extractvalue { ptr, i32 } %167, 0
  store ptr %168, ptr %13, align 8
  %169 = extractvalue { ptr, i32 } %167, 1
  store i32 %169, ptr %14, align 4
  br label %174

170:                                              ; preds = %144
  %171 = landingpad { ptr, i32 }
          cleanup
  %172 = extractvalue { ptr, i32 } %171, 0
  store ptr %172, ptr %13, align 8
  %173 = extractvalue { ptr, i32 } %171, 1
  store i32 %173, ptr %14, align 4
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %28) #7
  br label %174

174:                                              ; preds = %170, %166
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %29) #7
  br label %175

175:                                              ; preds = %174, %162
  call void @llvm.lifetime.end.p0(i64 56, ptr %28) #7
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %25) #7
  br label %176

176:                                              ; preds = %175, %158, %154
  call void @llvm.lifetime.end.p0(i64 88, ptr %25) #7
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %24) #7
  br label %177

177:                                              ; preds = %176, %150
  call void @llvm.lifetime.end.p0(i64 48, ptr %24) #7
  br label %363

178:                                              ; preds = %119
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #7
  %179 = load ptr, ptr %23, align 8, !tbaa !5
  %180 = invoke noundef i64 @_ZNK3MIR4eval10Allocation4sizeEv(ptr noundef nonnull align 8 dereferenceable(64) %179)
          to label %181 unwind label %201

181:                                              ; preds = %178
  store i64 %180, ptr %30, align 8, !tbaa !50
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #7
  %182 = load ptr, ptr %23, align 8, !tbaa !5
  %183 = load i64, ptr %30, align 8, !tbaa !50
  %184 = invoke noundef ptr @_ZNK3MIR4eval10Allocation9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(64) %182, i64 noundef 0, i64 noundef %183, i1 noundef zeroext true)
          to label %185 unwind label %205

185:                                              ; preds = %181
  store ptr %184, ptr %31, align 8, !tbaa !5
  %186 = getelementptr inbounds %struct.EncodedLiteral, ptr %0, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 56, ptr %32) #7
  %187 = load ptr, ptr %22, align 8, !tbaa !5
  %188 = getelementptr inbounds %"struct.MIR::eval::Allocation::Reloc", ptr %187, i32 0, i32 0
  %189 = load i64, ptr %188, align 8, !tbaa !47
  %190 = invoke noundef i32 @_ZL21Target_GetPointerBitsv()
          to label %191 unwind label %209

191:                                              ; preds = %185
  %192 = udiv i32 %190, 8
  %193 = zext i32 %192 to i64
  %194 = load ptr, ptr %31, align 8, !tbaa !5
  %195 = load ptr, ptr %31, align 8, !tbaa !5
  %196 = load i64, ptr %30, align 8, !tbaa !50
  %197 = getelementptr inbounds i8, ptr %195, i64 %196
  call void @llvm.lifetime.start.p0(i64 1, ptr %34) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IPKhvEET_S8_RKS3_(ptr noundef nonnull align 8 dereferenceable(32) %33, ptr noundef %194, ptr noundef %197, ptr noundef nonnull align 1 dereferenceable(1) %34)
          to label %198 unwind label %213

198:                                              ; preds = %191
  invoke void @_ZN5Reloc9new_bytesEmmNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind writable sret(%struct.Reloc) align 8 %32, i64 noundef %189, i64 noundef %193, ptr noundef %33)
          to label %199 unwind label %217

199:                                              ; preds = %198
  invoke void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %186, ptr noundef nonnull align 8 dereferenceable(56) %32)
          to label %200 unwind label %221

200:                                              ; preds = %199
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %32) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  br label %230

201:                                              ; preds = %178
  %202 = landingpad { ptr, i32 }
          cleanup
  %203 = extractvalue { ptr, i32 } %202, 0
  store ptr %203, ptr %13, align 8
  %204 = extractvalue { ptr, i32 } %202, 1
  store i32 %204, ptr %14, align 4
  br label %229

205:                                              ; preds = %181
  %206 = landingpad { ptr, i32 }
          cleanup
  %207 = extractvalue { ptr, i32 } %206, 0
  store ptr %207, ptr %13, align 8
  %208 = extractvalue { ptr, i32 } %206, 1
  store i32 %208, ptr %14, align 4
  br label %228

209:                                              ; preds = %185
  %210 = landingpad { ptr, i32 }
          cleanup
  %211 = extractvalue { ptr, i32 } %210, 0
  store ptr %211, ptr %13, align 8
  %212 = extractvalue { ptr, i32 } %210, 1
  store i32 %212, ptr %14, align 4
  br label %227

213:                                              ; preds = %191
  %214 = landingpad { ptr, i32 }
          cleanup
  %215 = extractvalue { ptr, i32 } %214, 0
  store ptr %215, ptr %13, align 8
  %216 = extractvalue { ptr, i32 } %214, 1
  store i32 %216, ptr %14, align 4
  br label %226

217:                                              ; preds = %198
  %218 = landingpad { ptr, i32 }
          cleanup
  %219 = extractvalue { ptr, i32 } %218, 0
  store ptr %219, ptr %13, align 8
  %220 = extractvalue { ptr, i32 } %218, 1
  store i32 %220, ptr %14, align 4
  br label %225

221:                                              ; preds = %199
  %222 = landingpad { ptr, i32 }
          cleanup
  %223 = extractvalue { ptr, i32 } %222, 0
  store ptr %223, ptr %13, align 8
  %224 = extractvalue { ptr, i32 } %222, 1
  store i32 %224, ptr %14, align 4
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %32) #7
  br label %225

225:                                              ; preds = %221, %217
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #7
  br label %226

226:                                              ; preds = %225, %213
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %34) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #7
  br label %227

227:                                              ; preds = %226, %209
  call void @llvm.lifetime.end.p0(i64 56, ptr %32) #7
  br label %228

228:                                              ; preds = %227, %205
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  br label %229

229:                                              ; preds = %228, %201
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  br label %363

230:                                              ; preds = %200, %145
  br label %360

231:                                              ; preds = %113
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #7
  %232 = load ptr, ptr %22, align 8, !tbaa !5
  %233 = getelementptr inbounds %"struct.MIR::eval::Allocation::Reloc", ptr %232, i32 0, i32 1
  %234 = invoke noundef ptr @_ZNK3MIR4eval8RelocPtr12as_staticrefEv(ptr noundef nonnull align 8 dereferenceable(8) %233)
          to label %235 unwind label %253

235:                                              ; preds = %231
  store ptr %234, ptr %35, align 8, !tbaa !5
  %236 = load ptr, ptr %35, align 8, !tbaa !5
  %237 = icmp ne ptr %236, null
  br i1 %237, label %238, label %271

238:                                              ; preds = %235
  %239 = getelementptr inbounds %struct.EncodedLiteral, ptr %0, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 56, ptr %36) #7
  %240 = load ptr, ptr %22, align 8, !tbaa !5
  %241 = getelementptr inbounds %"struct.MIR::eval::Allocation::Reloc", ptr %240, i32 0, i32 0
  %242 = load i64, ptr %241, align 8, !tbaa !47
  %243 = invoke noundef i32 @_ZL21Target_GetPointerBitsv()
          to label %244 unwind label %257

244:                                              ; preds = %238
  %245 = udiv i32 %243, 8
  %246 = zext i32 %245 to i64
  %247 = load ptr, ptr %35, align 8, !tbaa !5
  %248 = invoke noundef nonnull align 8 dereferenceable(88) ptr @_ZNK3MIR4eval9StaticRef4pathEv(ptr noundef nonnull align 8 dereferenceable(112) %247)
          to label %249 unwind label %257

249:                                              ; preds = %244
  invoke void @_ZNK3HIR4Path5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::Path") align 8 %37, ptr noundef nonnull align 8 dereferenceable(88) %248)
          to label %250 unwind label %257

250:                                              ; preds = %249
  invoke void @_ZN5Reloc9new_namedEmmN3HIR4PathE(ptr dead_on_unwind writable sret(%struct.Reloc) align 8 %36, i64 noundef %242, i64 noundef %246, ptr noundef %37)
          to label %251 unwind label %261

251:                                              ; preds = %250
  invoke void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %239, ptr noundef nonnull align 8 dereferenceable(56) %36)
          to label %252 unwind label %265

252:                                              ; preds = %251
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %36) #7
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %37) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr %36) #7
  br label %358

253:                                              ; preds = %231
  %254 = landingpad { ptr, i32 }
          cleanup
  %255 = extractvalue { ptr, i32 } %254, 0
  store ptr %255, ptr %13, align 8
  %256 = extractvalue { ptr, i32 } %254, 1
  store i32 %256, ptr %14, align 4
  br label %359

257:                                              ; preds = %249, %244, %238
  %258 = landingpad { ptr, i32 }
          cleanup
  %259 = extractvalue { ptr, i32 } %258, 0
  store ptr %259, ptr %13, align 8
  %260 = extractvalue { ptr, i32 } %258, 1
  store i32 %260, ptr %14, align 4
  br label %270

261:                                              ; preds = %250
  %262 = landingpad { ptr, i32 }
          cleanup
  %263 = extractvalue { ptr, i32 } %262, 0
  store ptr %263, ptr %13, align 8
  %264 = extractvalue { ptr, i32 } %262, 1
  store i32 %264, ptr %14, align 4
  br label %269

265:                                              ; preds = %251
  %266 = landingpad { ptr, i32 }
          cleanup
  %267 = extractvalue { ptr, i32 } %266, 0
  store ptr %267, ptr %13, align 8
  %268 = extractvalue { ptr, i32 } %266, 1
  store i32 %268, ptr %14, align 4
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %36) #7
  br label %269

269:                                              ; preds = %265, %261
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %37) #7
  br label %270

270:                                              ; preds = %269, %257
  call void @llvm.lifetime.end.p0(i64 56, ptr %36) #7
  br label %359

271:                                              ; preds = %235
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #7
  %272 = load ptr, ptr %22, align 8, !tbaa !5
  %273 = getelementptr inbounds %"struct.MIR::eval::Allocation::Reloc", ptr %272, i32 0, i32 1
  %274 = invoke noundef ptr @_ZNK3MIR4eval8RelocPtr11as_constantEv(ptr noundef nonnull align 8 dereferenceable(8) %273)
          to label %275 unwind label %301

275:                                              ; preds = %271
  store ptr %274, ptr %38, align 8, !tbaa !5
  %276 = load ptr, ptr %38, align 8, !tbaa !5
  %277 = icmp ne ptr %276, null
  br i1 %277, label %278, label %334

278:                                              ; preds = %275
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #7
  %279 = load ptr, ptr %38, align 8, !tbaa !5
  %280 = invoke noundef i64 @_ZNK3MIR4eval8Constant4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %279)
          to label %281 unwind label %305

281:                                              ; preds = %278
  store i64 %280, ptr %39, align 8, !tbaa !50
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #7
  %282 = load ptr, ptr %38, align 8, !tbaa !5
  %283 = load i64, ptr %39, align 8, !tbaa !50
  %284 = invoke noundef ptr @_ZNK3MIR4eval8Constant9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(24) %282, i64 noundef 0, i64 noundef %283, i1 noundef zeroext true)
          to label %285 unwind label %309

285:                                              ; preds = %281
  store ptr %284, ptr %40, align 8, !tbaa !5
  %286 = getelementptr inbounds %struct.EncodedLiteral, ptr %0, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 56, ptr %41) #7
  %287 = load ptr, ptr %22, align 8, !tbaa !5
  %288 = getelementptr inbounds %"struct.MIR::eval::Allocation::Reloc", ptr %287, i32 0, i32 0
  %289 = load i64, ptr %288, align 8, !tbaa !47
  %290 = invoke noundef i32 @_ZL21Target_GetPointerBitsv()
          to label %291 unwind label %313

291:                                              ; preds = %285
  %292 = udiv i32 %290, 8
  %293 = zext i32 %292 to i64
  %294 = load ptr, ptr %40, align 8, !tbaa !5
  %295 = load ptr, ptr %40, align 8, !tbaa !5
  %296 = load i64, ptr %39, align 8, !tbaa !50
  %297 = getelementptr inbounds i8, ptr %295, i64 %296
  call void @llvm.lifetime.start.p0(i64 1, ptr %43) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %43) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IPKhvEET_S8_RKS3_(ptr noundef nonnull align 8 dereferenceable(32) %42, ptr noundef %294, ptr noundef %297, ptr noundef nonnull align 1 dereferenceable(1) %43)
          to label %298 unwind label %317

298:                                              ; preds = %291
  invoke void @_ZN5Reloc9new_bytesEmmNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind writable sret(%struct.Reloc) align 8 %41, i64 noundef %289, i64 noundef %293, ptr noundef %42)
          to label %299 unwind label %321

299:                                              ; preds = %298
  invoke void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %286, ptr noundef nonnull align 8 dereferenceable(56) %41)
          to label %300 unwind label %325

300:                                              ; preds = %299
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %41) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %42) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %43) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr %41) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #7
  br label %356

301:                                              ; preds = %340, %271
  %302 = landingpad { ptr, i32 }
          cleanup
  %303 = extractvalue { ptr, i32 } %302, 0
  store ptr %303, ptr %13, align 8
  %304 = extractvalue { ptr, i32 } %302, 1
  store i32 %304, ptr %14, align 4
  br label %357

305:                                              ; preds = %278
  %306 = landingpad { ptr, i32 }
          cleanup
  %307 = extractvalue { ptr, i32 } %306, 0
  store ptr %307, ptr %13, align 8
  %308 = extractvalue { ptr, i32 } %306, 1
  store i32 %308, ptr %14, align 4
  br label %333

309:                                              ; preds = %281
  %310 = landingpad { ptr, i32 }
          cleanup
  %311 = extractvalue { ptr, i32 } %310, 0
  store ptr %311, ptr %13, align 8
  %312 = extractvalue { ptr, i32 } %310, 1
  store i32 %312, ptr %14, align 4
  br label %332

313:                                              ; preds = %285
  %314 = landingpad { ptr, i32 }
          cleanup
  %315 = extractvalue { ptr, i32 } %314, 0
  store ptr %315, ptr %13, align 8
  %316 = extractvalue { ptr, i32 } %314, 1
  store i32 %316, ptr %14, align 4
  br label %331

317:                                              ; preds = %291
  %318 = landingpad { ptr, i32 }
          cleanup
  %319 = extractvalue { ptr, i32 } %318, 0
  store ptr %319, ptr %13, align 8
  %320 = extractvalue { ptr, i32 } %318, 1
  store i32 %320, ptr %14, align 4
  br label %330

321:                                              ; preds = %298
  %322 = landingpad { ptr, i32 }
          cleanup
  %323 = extractvalue { ptr, i32 } %322, 0
  store ptr %323, ptr %13, align 8
  %324 = extractvalue { ptr, i32 } %322, 1
  store i32 %324, ptr %14, align 4
  br label %329

325:                                              ; preds = %299
  %326 = landingpad { ptr, i32 }
          cleanup
  %327 = extractvalue { ptr, i32 } %326, 0
  store ptr %327, ptr %13, align 8
  %328 = extractvalue { ptr, i32 } %326, 1
  store i32 %328, ptr %14, align 4
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %41) #7
  br label %329

329:                                              ; preds = %325, %321
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %42) #7
  br label %330

330:                                              ; preds = %329, %317
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %43) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %43) #7
  br label %331

331:                                              ; preds = %330, %313
  call void @llvm.lifetime.end.p0(i64 56, ptr %41) #7
  br label %332

332:                                              ; preds = %331, %309
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  br label %333

333:                                              ; preds = %332, %305
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #7
  br label %357

334:                                              ; preds = %275
  br label %335

335:                                              ; preds = %334
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #7
  %336 = getelementptr inbounds %"struct.HIR::Evaluator", ptr %47, i32 0, i32 0
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %44, ptr noundef nonnull align 8 dereferenceable(8) %336)
          to label %337 unwind label %341

337:                                              ; preds = %335
  call void @llvm.lifetime.start.p0(i64 1, ptr %46) #7
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator21allocation_to_encodedERKNS4_7TypeRefERKN3MIR4eval10AllocationEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %45, ptr noundef nonnull align 1 dereferenceable(1) %46) #7
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %44, ptr noundef %45)
          to label %338 unwind label %345

338:                                              ; preds = %337
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %46) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %44) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #7
  %339 = call ptr @__cxa_allocate_exception(i64 16) #7
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %339, ptr noundef @.str.29)
          to label %340 unwind label %350

340:                                              ; preds = %338
  invoke void @__cxa_throw(ptr %339, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #8
          to label %376 unwind label %301

341:                                              ; preds = %335
  %342 = landingpad { ptr, i32 }
          cleanup
  %343 = extractvalue { ptr, i32 } %342, 0
  store ptr %343, ptr %13, align 8
  %344 = extractvalue { ptr, i32 } %342, 1
  store i32 %344, ptr %14, align 4
  br label %349

345:                                              ; preds = %337
  %346 = landingpad { ptr, i32 }
          cleanup
  %347 = extractvalue { ptr, i32 } %346, 0
  store ptr %347, ptr %13, align 8
  %348 = extractvalue { ptr, i32 } %346, 1
  store i32 %348, ptr %14, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %45) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %46) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %44) #7
  br label %349

349:                                              ; preds = %345, %341
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #7
  br label %357

350:                                              ; preds = %338
  %351 = landingpad { ptr, i32 }
          cleanup
  %352 = extractvalue { ptr, i32 } %351, 0
  store ptr %352, ptr %13, align 8
  %353 = extractvalue { ptr, i32 } %351, 1
  store i32 %353, ptr %14, align 4
  call void @__cxa_free_exception(ptr %339) #7
  br label %357

354:                                              ; No predecessors!
  br label %355

355:                                              ; preds = %354
  br label %356

356:                                              ; preds = %355, %300
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  br label %358

357:                                              ; preds = %350, %349, %333, %301
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  br label %359

358:                                              ; preds = %356, %252
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  br label %360

359:                                              ; preds = %357, %270, %253
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  br label %363

360:                                              ; preds = %358, %230
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  br label %361

361:                                              ; preds = %360
  %362 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR4eval10Allocation5RelocESt6vectorIS4_SaIS4_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #7
  br label %97

363:                                              ; preds = %359, %229, %177, %146
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #7
  br label %364

364:                                              ; preds = %363, %104
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #7
  br label %369

365:                                              ; preds = %99
  store i1 true, ptr %15, align 1
  %366 = load i1, ptr %15, align 1
  br i1 %366, label %368, label %367

367:                                              ; preds = %365
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %0) #7
  br label %368

368:                                              ; preds = %367, %365
  call void @llvm.lifetime.end.p0(i64 8, ptr %9) #7
  ret void

369:                                              ; preds = %364, %100
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %0) #7
  br label %370

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

371:                                              ; preds = %370
  %372 = load ptr, ptr %13, align 8
  %373 = load i32, ptr %14, align 4
  %374 = insertvalue { ptr, i32 } poison, ptr %372, 0
  %375 = insertvalue { ptr, i32 } %374, i32 %373, 1
  resume { ptr, i32 } %375

376:                                              ; preds = %340
  unreachable
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNK3MIR4eval10Allocation9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(64), i64 noundef, i64 noundef, i1 noundef zeroext) unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK3MIR4eval10Allocation4sizeEv(ptr noundef nonnull align 8 dereferenceable(64)) unnamed_addr #3 align 2

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK3MIR4eval10Allocation11is_writableEv(ptr noundef nonnull align 8 dereferenceable(64)) unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(56)) #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5Reloc9new_namedEmmN3HIR4PathE(ptr dead_on_unwind noalias writable sret(%struct.Reloc) align 8, i64 noundef, i64 noundef, ptr noundef) #6 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN5Reloc9new_bytesEmmNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind noalias writable sret(%struct.Reloc) align 8, i64 noundef, i64 noundef, ptr noundef) #3 align 2

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNK3MIR4eval8Constant9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef, i64 noundef, i1 noundef zeroext) unnamed_addr #3 align 2

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

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

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

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 = { 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 #3 = { 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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { 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 #7 = { nounwind }
attributes #8 = { 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, !6, i64 432}
!10 = !{!"_ZTSN3HIR9EvaluatorE", !11, i64 0, !12, i64 8, !6, i64 432, !40, i64 440, !40, i64 444, !41, i64 448}
!11 = !{!"_ZTS4Span", !6, i64 0}
!12 = !{!"_ZTS18StaticTraitResolve", !13, i64 8, !31, i64 224, !32, i64 232, !32, i64 280, !32, i64 328, !35, i64 376}
!13 = !{!"_ZTS18TraitResolveCommon", !6, i64 0, !6, i64 8, !6, i64 16, !14, i64 24, !23, i64 72, !29, i64 104, !29, i64 112, !29, i64 120, !29, i64 128, !29, i64 136, !29, i64 144, !29, i64 152, !29, i64 160, !29, i64 168, !29, i64 176, !29, i64 184, !29, i64 192, !29, i64 200, !29, i64 208}
!14 = !{!"_ZTSSt3mapIN3HIR7TypeRefEN18TraitResolveCommon14CachedEqualityESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !15, i64 0}
!15 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !16, i64 0}
!16 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !17, i64 0, !19, i64 8}
!17 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR7TypeRefEEE", !18, i64 0}
!18 = !{!"_ZTSSt4lessIN3HIR7TypeRefEE"}
!19 = !{!"_ZTSSt15_Rb_tree_header", !20, i64 0, !22, i64 32}
!20 = !{!"_ZTSSt18_Rb_tree_node_base", !21, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!21 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!22 = !{!"long", !7, i64 0}
!23 = !{!"_ZTS11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE", !24, i64 0, !28, i64 24}
!24 = !{!"_ZTSSt6vectorISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !25, i64 0}
!25 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE12_Vector_implE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!28 = !{!"_ZTSN18TraitResolveCommon14CachedBoundCmpE"}
!29 = !{!"_ZTSN3HIR10SimplePathE", !30, i64 0}
!30 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!31 = !{!"_ZTS12MetadataType", !7, i64 0}
!32 = !{!"_ZTSSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE", !33, i64 0}
!33 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE", !34, i64 0}
!34 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE13_Rb_tree_implIS8_Lb1EEE", !17, i64 0, !19, i64 8}
!35 = !{!"_ZTSSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3HIR7TypeRefESt4lessIS5_ESaISt4pairIKS5_S7_EEE", !36, i64 0}
!36 = !{!"_ZTSSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE", !37, i64 0}
!37 = !{!"_ZTSNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE13_Rb_tree_implISE_Lb1EEE", !38, i64 0, !19, i64 8}
!38 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE", !39, i64 0}
!39 = !{!"_ZTSSt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE"}
!40 = !{!"int", !7, i64 0}
!41 = !{!"_ZTSSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE", !42, i64 0}
!42 = !{!"_ZTSSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE12_Vector_implE", !44, i64 0}
!44 = !{!"_ZTSNSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!45 = !{!46, !46, i64 0}
!46 = !{!"vtable pointer", !8, i64 0}
!47 = !{!48, !22, i64 0}
!48 = !{!"_ZTSN3MIR4eval10Allocation5RelocE", !22, i64 0, !49, i64 8}
!49 = !{!"_ZTSN3MIR4eval8RelocPtrE", !22, i64 0}
!50 = !{!22, !22, i64 0}


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

%"class.HIR::TypeRef" = type { ptr }
%"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" }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%class.RcString = type { 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::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 }
%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 }
%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.498 = type { ptr }
%"class.__gnu_cxx::__normal_iterator.500" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.499" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.501" = type { ptr }
%struct.Reloc = type { i64, i64, %"class.std::unique_ptr.105", %"class.std::__cxx11::basic_string" }
%"class.std::unique_ptr.105" = type { %"struct.std::__uniq_ptr_data.106" }
%"struct.std::__uniq_ptr_data.106" = type { %"class.std::__uniq_ptr_impl.107" }
%"class.std::__uniq_ptr_impl.107" = type { %"class.std::tuple.108" }
%"class.std::tuple.108" = type { %"struct.std::_Tuple_impl.109" }
%"struct.std::_Tuple_impl.109" = type { %"struct.std::_Head_base.112" }
%"struct.std::_Head_base.112" = type { ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::allocator.102" = type { i8 }
%class.anon.502 = type { i8 }

@_ZTISt13runtime_error = external constant ptr
@.str.29 = external hidden unnamed_addr constant [17 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: mustprogress nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

declare i32 @__gxx_personality_v0(...)

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

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

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

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

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

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

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

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

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

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

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 #2

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef i32 @_ZL21Target_GetPointerBitsv() local_unnamed_addr #5

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

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

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

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

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

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

declare void @_ZNK3HIR4Path5cloneEv(ptr dead_on_unwind writable sret(%"class.HIR::Path") align 8, ptr noundef nonnull align 8 dereferenceable(88)) local_unnamed_addr #4

; Function Attrs: mustprogress uwtable
define dso_local void @_ZN3HIR9Evaluator21allocation_to_encodedERKNS_7TypeRefERKN3MIR4eval10AllocationE(ptr dead_on_unwind noalias writable sret(%struct.EncodedLiteral) align 8 %0, ptr noundef nonnull align 8 dereferenceable(472) %1, ptr nocapture nonnull readnone align 8 %2, ptr noundef nonnull align 8 dereferenceable(64) %3) local_unnamed_addr #6 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca %struct.Span, align 8
  %6 = alloca %"class.std::function", align 8
  %7 = alloca %class.anon.498, align 8
  %8 = alloca %"class.__gnu_cxx::__normal_iterator.500", align 8
  %9 = alloca %"class.__gnu_cxx::__normal_iterator.499", align 8
  %10 = alloca %"class.__gnu_cxx::__normal_iterator.501", align 8
  %11 = alloca %"class.__gnu_cxx::__normal_iterator.501", align 8
  %12 = alloca %struct.EncodedLiteral, align 8
  %13 = alloca %"class.HIR::Path", align 8
  %14 = alloca %"class.HIR::TypeRef", align 8
  %15 = alloca %struct.EncodedLiteral, align 8
  %16 = alloca %struct.Reloc, align 8
  %17 = alloca %"class.HIR::Path", align 8
  %18 = alloca %struct.Reloc, align 8
  %19 = alloca %"class.std::__cxx11::basic_string", align 8
  %20 = alloca %"class.std::allocator.102", align 1
  %21 = alloca %struct.Reloc, align 8
  %22 = alloca %"class.HIR::Path", align 8
  %23 = alloca %struct.Reloc, align 8
  %24 = alloca %"class.std::__cxx11::basic_string", align 8
  %25 = alloca %"class.std::allocator.102", align 1
  %26 = alloca %struct.Span, align 8
  %27 = alloca %"class.std::function", align 8
  %28 = alloca %class.anon.502, align 1
  %29 = tail call noundef i64 @_ZNK3MIR4eval10Allocation4sizeEv(ptr noundef nonnull align 8 dereferenceable(64) %3)
  %30 = tail call noundef ptr @_ZNK3MIR4eval10Allocation9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(64) %3, i64 noundef 0, i64 noundef %29, i1 noundef zeroext false)
  %.not = icmp eq ptr %30, null
  br i1 %.not, label %31, label %39

31:                                               ; preds = %4
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %5) #7
  call void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull align 8 dereferenceable(8) %1)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #7
  store ptr %3, ptr %7, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator21allocation_to_encodedERKNS4_7TypeRefERKN3MIR4eval10AllocationEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %6, ptr noundef nonnull align 8 dereferenceable(8) %7) #7
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %5, ptr noundef nonnull %6)
          to label %32 unwind label %35

32:                                               ; preds = %31
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #7
  %33 = call ptr @__cxa_allocate_exception(i64 16) #7
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %33, ptr noundef nonnull @.str.29)
          to label %34 unwind label %37

34:                                               ; preds = %32
  call void @__cxa_throw(ptr nonnull %33, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #8
  unreachable

35:                                               ; preds = %31
  %36 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %5) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %5) #7
  br label %171

37:                                               ; preds = %32
  %38 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %33) #7
  br label %171

39:                                               ; preds = %4
  tail call void @_ZN14EncodedLiteralC2Ev(ptr noundef nonnull align 8 dereferenceable(48) %0) #7
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #7
  %40 = tail call ptr @_ZNSt6vectorIhSaIhEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %0) #7
  store ptr %40, ptr %9, align 8
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKhSt6vectorIhSaIhEEEC2IPhvEERKNS0_IT_S5_EE(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %9) #7
  %41 = call noundef i64 @_ZNK3MIR4eval10Allocation4sizeEv(ptr noundef nonnull align 8 dereferenceable(64) %3)
  %42 = getelementptr inbounds i8, ptr %30, i64 %41
  %43 = load ptr, ptr %8, align 8
  %44 = invoke ptr @_ZNSt6vectorIhSaIhEE6insertIPKhvEEN9__gnu_cxx17__normal_iteratorIPhS1_EENS6_IS4_S1_EET_SA_(ptr noundef nonnull align 8 dereferenceable(24) %0, ptr %43, ptr noundef nonnull %30, ptr noundef nonnull %42)
          to label %45 unwind label %52

45:                                               ; preds = %39
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #7
  %46 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZNK3MIR4eval10Allocation15get_relocationsEv(ptr noundef nonnull align 8 dereferenceable(64) %3)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #7
  %47 = call ptr @_ZNKSt6vectorIN3MIR4eval10Allocation5RelocESaIS3_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %46) #7
  store ptr %47, ptr %10, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #7
  %48 = call ptr @_ZNKSt6vectorIN3MIR4eval10Allocation5RelocESaIS3_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %46) #7
  store ptr %48, ptr %11, align 8
  %49 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3MIR4eval10Allocation5RelocESt6vectorIS4_SaIS4_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #7
  br i1 %49, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %45
  %50 = getelementptr inbounds i8, ptr %0, i64 24
  %51 = getelementptr inbounds i8, ptr %1, i64 432
  br label %54

._crit_edge:                                      ; preds = %166, %45
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #7
  ret void

52:                                               ; preds = %39
  %53 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #7
  br label %170

54:                                               ; preds = %.lr.ph, %166
  %55 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKN3MIR4eval10Allocation5RelocESt6vectorIS4_SaIS4_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %10) #7
  %56 = getelementptr inbounds i8, ptr %55, i64 8
  %57 = call noundef ptr @_ZNK3MIR4eval8RelocPtr13as_allocationEv(ptr noundef nonnull align 8 dereferenceable(8) %56)
  %.not60 = icmp eq ptr %57, null
  br i1 %.not60, label %111, label %58

58:                                               ; preds = %54
  %59 = call noundef zeroext i1 @_ZNK3MIR4eval10Allocation11is_writableEv(ptr noundef nonnull align 8 dereferenceable(64) %57)
  br i1 %59, label %60, label %92

60:                                               ; preds = %58
  call void @llvm.lifetime.start.p0(i64 48, ptr nonnull %12) #7
  %61 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR4eval10Allocation8get_typeEv(ptr noundef nonnull align 8 dereferenceable(64) %57)
  invoke void @_ZN3HIR9Evaluator21allocation_to_encodedERKNS_7TypeRefERKN3MIR4eval10AllocationE(ptr dead_on_unwind nonnull writable sret(%struct.EncodedLiteral) align 8 %12, ptr noundef nonnull align 8 dereferenceable(472) %1, ptr nonnull align 8 poison, ptr noundef nonnull align 8 dereferenceable(64) %57)
          to label %62 unwind label %76

62:                                               ; preds = %60
  call void @llvm.lifetime.start.p0(i64 88, ptr nonnull %13) #7
  %63 = load ptr, ptr %51, align 8, !tbaa !9
  %64 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR4eval10Allocation8get_typeEv(ptr noundef nonnull align 8 dereferenceable(64) %57)
  invoke void @_ZNK3HIR7TypeRef5cloneEv(ptr dead_on_unwind nonnull writable sret(%"class.HIR::TypeRef") align 8 %14, ptr noundef nonnull align 8 dereferenceable(8) %64)
          to label %65 unwind label %78

65:                                               ; preds = %62
  call void @_ZN14EncodedLiteralC2EOS_(ptr noundef nonnull align 8 dereferenceable(48) %15, ptr noundef nonnull align 8 dereferenceable(48) %12) #7
  %66 = load ptr, ptr %63, align 8, !tbaa !45
  %67 = load ptr, ptr %66, align 8
  invoke void %67(ptr dead_on_unwind nonnull writable sret(%"class.HIR::Path") align 8 %13, ptr noundef nonnull align 8 dereferenceable(8) %63, ptr noundef nonnull %14, ptr noundef nonnull %15)
          to label %68 unwind label %80

68:                                               ; preds = %65
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %15) #7
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #7
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %16) #7
  %69 = load i64, ptr %55, align 8, !tbaa !47
  %70 = invoke noundef i32 @_ZL21Target_GetPointerBitsv()
          to label %71 unwind label %82

71:                                               ; preds = %68
  %72 = lshr i32 %70, 3
  %73 = zext nneg i32 %72 to i64
  call void @_ZN3HIR4PathC2EOS0_(ptr noundef nonnull align 8 dereferenceable(88) %17, ptr noundef nonnull align 8 dereferenceable(88) %13) #7
  invoke void @_ZN5Reloc9new_namedEmmN3HIR4PathE(ptr dead_on_unwind nonnull writable sret(%struct.Reloc) align 8 %16, i64 noundef %69, i64 noundef %73, ptr noundef nonnull %17)
          to label %74 unwind label %84

74:                                               ; preds = %71
  invoke void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %50, ptr noundef nonnull align 8 dereferenceable(56) %16)
          to label %75 unwind label %86

75:                                               ; preds = %74
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %16) #7
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %17) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %16) #7
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %13) #7
  call void @llvm.lifetime.end.p0(i64 88, ptr nonnull %13) #7
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %12) #7
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %12) #7
  br label %166

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

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

80:                                               ; preds = %65
  %81 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %15) #7
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %14) #7
  br label %90

82:                                               ; preds = %68
  %83 = landingpad { ptr, i32 }
          cleanup
  br label %89

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

86:                                               ; preds = %74
  %87 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %16) #7
  br label %88

88:                                               ; preds = %86, %84
  %.pn75 = phi { ptr, i32 } [ %87, %86 ], [ %85, %84 ]
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %17) #7
  br label %89

89:                                               ; preds = %88, %82
  %.pn75.pn = phi { ptr, i32 } [ %.pn75, %88 ], [ %83, %82 ]
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %16) #7
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %13) #7
  br label %90

90:                                               ; preds = %89, %80, %78
  %.pn75.pn.pn = phi { ptr, i32 } [ %.pn75.pn, %89 ], [ %81, %80 ], [ %79, %78 ]
  call void @llvm.lifetime.end.p0(i64 88, ptr nonnull %13) #7
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %12) #7
  br label %91

91:                                               ; preds = %90, %76
  %.pn75.pn.pn.pn = phi { ptr, i32 } [ %.pn75.pn.pn, %90 ], [ %77, %76 ]
  call void @llvm.lifetime.end.p0(i64 48, ptr nonnull %12) #7
  br label %169

92:                                               ; preds = %58
  %93 = call noundef i64 @_ZNK3MIR4eval10Allocation4sizeEv(ptr noundef nonnull align 8 dereferenceable(64) %57)
  %94 = call noundef ptr @_ZNK3MIR4eval10Allocation9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(64) %57, i64 noundef 0, i64 noundef %93, i1 noundef zeroext true)
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %18) #7
  %95 = load i64, ptr %55, align 8, !tbaa !47
  %96 = invoke noundef i32 @_ZL21Target_GetPointerBitsv()
          to label %97 unwind label %103

97:                                               ; preds = %92
  %98 = getelementptr inbounds i8, ptr %94, i64 %93
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %20) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IPKhvEET_S8_RKS3_(ptr noundef nonnull align 8 dereferenceable(32) %19, ptr noundef %94, ptr noundef %98, ptr noundef nonnull align 1 dereferenceable(1) %20)
          to label %99 unwind label %105

99:                                               ; preds = %97
  %100 = lshr i32 %96, 3
  %101 = zext nneg i32 %100 to i64
  call void @_ZN5Reloc9new_bytesEmmNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind nonnull writable sret(%struct.Reloc) align 8 %18, i64 noundef %95, i64 noundef %101, ptr noundef nonnull %19)
  invoke void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %50, ptr noundef nonnull align 8 dereferenceable(56) %18)
          to label %102 unwind label %107

102:                                              ; preds = %99
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %18) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %18) #7
  br label %166

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

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

107:                                              ; preds = %99
  %108 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %18) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %19) #7
  br label %109

109:                                              ; preds = %107, %105
  %.pn72 = phi { ptr, i32 } [ %108, %107 ], [ %106, %105 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %20) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %20) #7
  br label %110

110:                                              ; preds = %109, %103
  %.pn72.pn = phi { ptr, i32 } [ %.pn72, %109 ], [ %104, %103 ]
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %18) #7
  br label %169

111:                                              ; preds = %54
  %112 = call noundef ptr @_ZNK3MIR4eval8RelocPtr12as_staticrefEv(ptr noundef nonnull align 8 dereferenceable(8) %56)
  %.not61 = icmp eq ptr %112, null
  br i1 %.not61, label %131, label %113

113:                                              ; preds = %111
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %21) #7
  %114 = load i64, ptr %55, align 8, !tbaa !47
  %115 = invoke noundef i32 @_ZL21Target_GetPointerBitsv()
          to label %116 unwind label %123

116:                                              ; preds = %113
  %117 = call noundef nonnull align 8 dereferenceable(88) ptr @_ZNK3MIR4eval9StaticRef4pathEv(ptr noundef nonnull align 8 dereferenceable(112) %112)
  invoke void @_ZNK3HIR4Path5cloneEv(ptr dead_on_unwind nonnull writable sret(%"class.HIR::Path") align 8 %22, ptr noundef nonnull align 8 dereferenceable(88) %117)
          to label %118 unwind label %123

118:                                              ; preds = %116
  %119 = lshr i32 %115, 3
  %120 = zext nneg i32 %119 to i64
  invoke void @_ZN5Reloc9new_namedEmmN3HIR4PathE(ptr dead_on_unwind nonnull writable sret(%struct.Reloc) align 8 %21, i64 noundef %114, i64 noundef %120, ptr noundef nonnull %22)
          to label %121 unwind label %125

121:                                              ; preds = %118
  invoke void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %50, ptr noundef nonnull align 8 dereferenceable(56) %21)
          to label %122 unwind label %127

122:                                              ; preds = %121
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %21) #7
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %22) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %21) #7
  br label %166

123:                                              ; preds = %116, %113
  %124 = landingpad { ptr, i32 }
          cleanup
  br label %130

125:                                              ; preds = %118
  %126 = landingpad { ptr, i32 }
          cleanup
  br label %129

127:                                              ; preds = %121
  %128 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %21) #7
  br label %129

129:                                              ; preds = %127, %125
  %.pn68 = phi { ptr, i32 } [ %128, %127 ], [ %126, %125 ]
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %22) #7
  br label %130

130:                                              ; preds = %129, %123
  %.pn68.pn = phi { ptr, i32 } [ %.pn68, %129 ], [ %124, %123 ]
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %21) #7
  br label %169

131:                                              ; preds = %111
  %132 = call noundef ptr @_ZNK3MIR4eval8RelocPtr11as_constantEv(ptr noundef nonnull align 8 dereferenceable(8) %56)
  %.not62 = icmp eq ptr %132, null
  br i1 %.not62, label %154, label %133

133:                                              ; preds = %131
  %134 = call noundef i64 @_ZNK3MIR4eval8Constant4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %132)
  %135 = call noundef ptr @_ZNK3MIR4eval8Constant9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(24) %132, i64 noundef 0, i64 noundef %134, i1 noundef zeroext true)
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %23) #7
  %136 = load i64, ptr %55, align 8, !tbaa !47
  %137 = invoke noundef i32 @_ZL21Target_GetPointerBitsv()
          to label %138 unwind label %146

138:                                              ; preds = %133
  %139 = getelementptr inbounds i8, ptr %135, i64 %134
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %25) #7
  call void @_ZNSaIcEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  invoke void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2IPKhvEET_S8_RKS3_(ptr noundef nonnull align 8 dereferenceable(32) %24, ptr noundef %135, ptr noundef %139, ptr noundef nonnull align 1 dereferenceable(1) %25)
          to label %140 unwind label %148

140:                                              ; preds = %138
  %141 = lshr i32 %137, 3
  %142 = zext nneg i32 %141 to i64
  call void @_ZN5Reloc9new_bytesEmmNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind nonnull writable sret(%struct.Reloc) align 8 %23, i64 noundef %136, i64 noundef %142, ptr noundef nonnull %24)
  invoke void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24) %50, ptr noundef nonnull align 8 dereferenceable(56) %23)
          to label %143 unwind label %150

143:                                              ; preds = %140
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %23) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #7
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %25) #7
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %23) #7
  br label %166

144:                                              ; preds = %158
  %145 = landingpad { ptr, i32 }
          cleanup
  br label %169

146:                                              ; preds = %133
  %147 = landingpad { ptr, i32 }
          cleanup
  br label %153

148:                                              ; preds = %138
  %149 = landingpad { ptr, i32 }
          cleanup
  br label %152

150:                                              ; preds = %140
  %151 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN5RelocD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %23) #7
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEED2Ev(ptr noundef nonnull align 8 dereferenceable(32) %24) #7
  br label %152

152:                                              ; preds = %150, %148
  %.pn64 = phi { ptr, i32 } [ %151, %150 ], [ %149, %148 ]
  call void @_ZNSt15__new_allocatorIcED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %25) #7
  br label %153

153:                                              ; preds = %152, %146
  %.pn64.pn = phi { ptr, i32 } [ %.pn64, %152 ], [ %147, %146 ]
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %23) #7
  br label %169

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

155:                                              ; preds = %154
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %28) #7
  call void @"_ZNSt8functionIFvRSoEEC2IZN3HIR9Evaluator21allocation_to_encodedERKNS4_7TypeRefERKN3MIR4eval10AllocationEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %27, ptr noundef nonnull align 1 dereferenceable(1) %28) #7
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull %27)
          to label %156 unwind label %161

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

158:                                              ; preds = %156
  invoke void @__cxa_throw(ptr nonnull %157, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #8
          to label %172 unwind label %144

159:                                              ; preds = %154
  %160 = landingpad { ptr, i32 }
          cleanup
  br label %163

161:                                              ; preds = %155
  %162 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %27) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %28) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %26) #7
  br label %163

163:                                              ; preds = %161, %159
  %.pn = phi { ptr, i32 } [ %162, %161 ], [ %160, %159 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #7
  br label %169

164:                                              ; preds = %156
  %165 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %157) #7
  br label %169

166:                                              ; preds = %122, %143, %75, %102
  %167 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR4eval10Allocation5RelocESt6vectorIS4_SaIS4_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %10) #7
  %168 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKN3MIR4eval10Allocation5RelocESt6vectorIS4_SaIS4_EEEEbRKNS_17__normal_iteratorIT_T0_EESF_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #7
  br i1 %168, label %54, label %._crit_edge

169:                                              ; preds = %130, %164, %163, %153, %144, %110, %91
  %.pn75.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn75.pn.pn.pn, %91 ], [ %.pn72.pn, %110 ], [ %.pn68.pn, %130 ], [ %.pn64.pn, %153 ], [ %145, %144 ], [ %165, %164 ], [ %.pn, %163 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #7
  br label %170

170:                                              ; preds = %169, %52
  %.pn75.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn75.pn.pn.pn.pn, %169 ], [ %53, %52 ]
  call void @_ZN14EncodedLiteralD2Ev(ptr noundef nonnull align 8 dereferenceable(48) %0) #7
  br label %171

171:                                              ; preds = %170, %37, %35
  %.pn75.pn.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn75.pn.pn.pn.pn.pn, %170 ], [ %38, %37 ], [ %36, %35 ]
  resume { ptr, i32 } %.pn75.pn.pn.pn.pn.pn.pn

172:                                              ; preds = %158
  unreachable
}

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNK3MIR4eval10Allocation9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(64), i64 noundef, i64 noundef, i1 noundef zeroext) unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i64 @_ZNK3MIR4eval10Allocation4sizeEv(ptr noundef nonnull align 8 dereferenceable(64)) unnamed_addr #3 align 2

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZNK3MIR4eval10Allocation11is_writableEv(ptr noundef nonnull align 8 dereferenceable(64)) unnamed_addr #3 align 2

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNSt6vectorI5RelocSaIS0_EE9push_backEOS0_(ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(56)) local_unnamed_addr #6 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN5Reloc9new_namedEmmN3HIR4PathE(ptr dead_on_unwind noalias writable sret(%struct.Reloc) align 8, i64 noundef, i64 noundef, ptr noundef) local_unnamed_addr #6 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZN5Reloc9new_bytesEmmNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE(ptr dead_on_unwind noalias writable sret(%struct.Reloc) align 8, i64 noundef, i64 noundef, ptr noundef) local_unnamed_addr #3 align 2

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

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef ptr @_ZNK3MIR4eval8Constant9get_bytesEmmb(ptr noundef nonnull align 8 dereferenceable(24), i64 noundef, i64 noundef, i1 noundef zeroext) unnamed_addr #3 align 2

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

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

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

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 = { 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 #3 = { 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 = { "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { inlinehint mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #6 = { 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 #7 = { nounwind }
attributes #8 = { 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, !6, i64 432}
!10 = !{!"_ZTSN3HIR9EvaluatorE", !11, i64 0, !12, i64 8, !6, i64 432, !40, i64 440, !40, i64 444, !41, i64 448}
!11 = !{!"_ZTS4Span", !6, i64 0}
!12 = !{!"_ZTS18StaticTraitResolve", !13, i64 8, !31, i64 224, !32, i64 232, !32, i64 280, !32, i64 328, !35, i64 376}
!13 = !{!"_ZTS18TraitResolveCommon", !6, i64 0, !6, i64 8, !6, i64 16, !14, i64 24, !23, i64 72, !29, i64 104, !29, i64 112, !29, i64 120, !29, i64 128, !29, i64 136, !29, i64 144, !29, i64 152, !29, i64 160, !29, i64 168, !29, i64 176, !29, i64 184, !29, i64 192, !29, i64 200, !29, i64 208}
!14 = !{!"_ZTSSt3mapIN3HIR7TypeRefEN18TraitResolveCommon14CachedEqualityESt4lessIS1_ESaISt4pairIKS1_S3_EEE", !15, i64 0}
!15 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE", !16, i64 0}
!16 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_N18TraitResolveCommon14CachedEqualityEESt10_Select1stIS6_ESt4lessIS1_ESaIS6_EE13_Rb_tree_implISA_Lb1EEE", !17, i64 0, !19, i64 8}
!17 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessIN3HIR7TypeRefEEE", !18, i64 0}
!18 = !{!"_ZTSSt4lessIN3HIR7TypeRefEE"}
!19 = !{!"_ZTSSt15_Rb_tree_header", !20, i64 0, !22, i64 32}
!20 = !{!"_ZTSSt18_Rb_tree_node_base", !21, i64 0, !6, i64 8, !6, i64 16, !6, i64 24}
!21 = !{!"_ZTSSt14_Rb_tree_color", !7, i64 0}
!22 = !{!"long", !7, i64 0}
!23 = !{!"_ZTS11RangeVecMapISt4pairIN3HIR7TypeRefENS1_11GenericPathEEN18TraitResolveCommon11CachedBoundENS5_14CachedBoundCmpEE", !24, i64 0, !28, i64 24}
!24 = !{!"_ZTSSt6vectorISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !25, i64 0}
!25 = !{!"_ZTSSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE", !26, i64 0}
!26 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE12_Vector_implE", !27, i64 0}
!27 = !{!"_ZTSNSt12_Vector_baseISt10unique_ptrISt4pairIS1_IN3HIR7TypeRefENS2_11GenericPathEEN18TraitResolveCommon11CachedBoundEESt14default_deleteIS8_EESaISB_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!28 = !{!"_ZTSN18TraitResolveCommon14CachedBoundCmpE"}
!29 = !{!"_ZTSN3HIR10SimplePathE", !30, i64 0}
!30 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!31 = !{!"_ZTS12MetadataType", !7, i64 0}
!32 = !{!"_ZTSSt3mapIN3HIR7TypeRefEbSt4lessIS1_ESaISt4pairIKS1_bEEE", !33, i64 0}
!33 = !{!"_ZTSSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE", !34, i64 0}
!34 = !{!"_ZTSNSt8_Rb_treeIN3HIR7TypeRefESt4pairIKS1_bESt10_Select1stIS4_ESt4lessIS1_ESaIS4_EE13_Rb_tree_implIS8_Lb1EEE", !17, i64 0, !19, i64 8}
!35 = !{!"_ZTSSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3HIR7TypeRefESt4lessIS5_ESaISt4pairIKS5_S7_EEE", !36, i64 0}
!36 = !{!"_ZTSSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE", !37, i64 0}
!37 = !{!"_ZTSNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N3HIR7TypeRefEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE13_Rb_tree_implISE_Lb1EEE", !38, i64 0, !19, i64 8}
!38 = !{!"_ZTSSt20_Rb_tree_key_compareISt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE", !39, i64 0}
!39 = !{!"_ZTSSt4lessINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE"}
!40 = !{!"int", !7, i64 0}
!41 = !{!"_ZTSSt6vectorIN3HIR9Evaluator6CsePtrESaIS2_EE", !42, i64 0}
!42 = !{!"_ZTSSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE", !43, i64 0}
!43 = !{!"_ZTSNSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE12_Vector_implE", !44, i64 0}
!44 = !{!"_ZTSNSt12_Vector_baseIN3HIR9Evaluator6CsePtrESaIS2_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!45 = !{!46, !46, i64 0}
!46 = !{!"vtable pointer", !8, i64 0}
!47 = !{!48, !22, i64 0}
!48 = !{!"_ZTSN3MIR4eval10Allocation5RelocE", !22, i64 0, !49, i64 8}
!49 = !{!"_ZTSN3MIR4eval8RelocPtrE", !22, i64 0}


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