; LLVM IR from thepowersgang/mrustc :: src/hir_expand (closures)

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

%struct.Span = type { ptr }
%class.TraceLog = type { ptr, %"class.std::function" }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.StaticTraitResolve = type { ptr, %struct.TraitResolveCommon, i32, %"class.std::map.157", %"class.std::map.157", %"class.std::map.157", %"class.std::map.162" }
%struct.TraitResolveCommon = type { ptr, ptr, ptr, %"class.std::map.146", %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.146" = type { %"class.std::_Rb_tree.147" }
%"class.std::_Rb_tree.147" = 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.152", [8 x i8] }>
%"class.std::vector.152" = type { %"struct.std::_Vector_base.153" }
%"struct.std::_Vector_base.153" = type { %"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"class.std::map.157" = type { %"class.std::_Rb_tree.158" }
%"class.std::_Rb_tree.158" = 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.162" = type { %"class.std::_Rb_tree.163" }
%"class.std::_Rb_tree.163" = 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" }
%"struct.(anonymous namespace)::OutState" = type { %"class.std::vector.178", %"class.std::vector.183", %"class.std::vector.183", %"class.std::function.188" }
%"class.std::vector.178" = type { %"struct.std::_Vector_base.179" }
%"struct.std::_Vector_base.179" = type { %"struct.std::_Vector_base<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>, std::allocator<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>, std::allocator<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>, std::allocator<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>, std::allocator<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.183" = type { %"struct.std::_Vector_base.184" }
%"struct.std::_Vector_base.184" = type { %"struct.std::_Vector_base<HIR::TraitImpl, std::allocator<HIR::TraitImpl>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TraitImpl, std::allocator<HIR::TraitImpl>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TraitImpl, std::allocator<HIR::TraitImpl>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TraitImpl, std::allocator<HIR::TraitImpl>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::function.188" = type { %"class.std::_Function_base", ptr }
%class.anon = type { ptr }
%"class.(anonymous namespace)::ExprVisitor_Extract" = type { %"class.HIR::ExprVisitorDef", ptr, ptr, ptr, ptr, ptr, ptr }
%"class.HIR::ExprVisitorDef" = type { %"class.HIR::ExprVisitor" }
%"class.HIR::ExprVisitor" = type { ptr }
%class.MonomorphiserNop = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.190" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.190" = type { %"struct.std::_Vector_base.191" }
%"struct.std::_Vector_base.191" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.(anonymous namespace)::ExprVisitor_Fixup" = type <{ %"class.HIR::ExprVisitorDef", ptr, %class.StaticTraitResolve, ptr, i8, [7 x i8] }>
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"struct.std::_Rb_tree_iterator" = type { ptr }
%"class.HIR::ExprStatePtr" = type { ptr }
%"class.HIR::ExprState" = type <{ %"struct.HIR::SimplePath", ptr, ptr, ptr, %"class.std::vector.173", i32, [4 x i8] }>
%"class.std::vector.173" = type { %"struct.std::_Vector_base.174" }
%"struct.std::_Vector_base.174" = type { %"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.253" = type { ptr }
%"class.HIR::ExprPtr" = type { %"class.HIR::ExprPtrInner", %"class.std::vector.168", %"class.std::vector.168", %"class.MIR::FunctionPointer", %"class.HIR::ExprStatePtr" }
%"class.HIR::ExprPtrInner" = type { ptr }
%"class.std::vector.168" = type { %"struct.std::_Vector_base.169" }
%"struct.std::_Vector_base.169" = type { %"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::FunctionPointer" = type { ptr }
%"struct.std::pair" = type { i32, %"class.HIR::TraitImpl" }
%"class.HIR::TraitImpl" = type { %"class.HIR::GenericParams", %"struct.HIR::PathParams", %"class.HIR::TypeRef", %"class.std::map.218", %"class.std::map.223", %"class.std::map.228", %"class.std::map.233", %"struct.HIR::SimplePath" }
%"class.HIR::GenericParams" = type { %"class.std::vector.195", %"class.std::vector.200", %"class.std::vector.205", %"class.std::vector.210" }
%"class.std::vector.195" = type { %"struct.std::_Vector_base.196" }
%"struct.std::_Vector_base.196" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeParamDef, std::allocator<HIR::TypeParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.200" = type { %"struct.std::_Vector_base.201" }
%"struct.std::_Vector_base.201" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::LifetimeDef, std::allocator<HIR::LifetimeDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.205" = type { %"struct.std::_Vector_base.206" }
%"struct.std::_Vector_base.206" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::ValueParamDef, std::allocator<HIR::ValueParamDef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.210" = type { %"struct.std::_Vector_base.211" }
%"struct.std::_Vector_base.211" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::GenericBound, std::allocator<HIR::GenericBound>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.215, %class.ThinVector.216, %class.ThinVector.217 }
%class.ThinVector.215 = type { ptr }
%class.ThinVector.216 = type { ptr }
%class.ThinVector.217 = type { ptr }
%"class.HIR::TypeRef" = type { ptr }
%"class.std::map.218" = type { %"class.std::_Rb_tree.219" }
%"class.std::_Rb_tree.219" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Function>>, std::_Select1st<std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Function>>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Function>>, std::_Select1st<std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Function>>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::map.223" = type { %"class.std::_Rb_tree.224" }
%"class.std::_Rb_tree.224" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Constant>>, std::_Select1st<std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Constant>>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Constant>>, std::_Select1st<std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Constant>>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::map.228" = type { %"class.std::_Rb_tree.229" }
%"class.std::_Rb_tree.229" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Static>>, std::_Select1st<std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Static>>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Static>>, std::_Select1st<std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::Static>>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"class.std::map.233" = type { %"class.std::_Rb_tree.234" }
%"class.std::_Rb_tree.234" = type { %"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::TypeRef>>, std::_Select1st<std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::TypeRef>>>, std::less<RcString>>::_Rb_tree_impl" }
%"struct.std::_Rb_tree<RcString, std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::TypeRef>>, std::_Select1st<std::pair<const RcString, HIR::TraitImpl::ImplEnt<HIR::TypeRef>>>, std::less<RcString>>::_Rb_tree_impl" = type { [8 x i8], %"struct.std::_Rb_tree_header" }
%"struct.std::pair.238" = type { %class.RcString, %"struct.HIR::TraitImpl::ImplEnt" }
%class.RcString = type { ptr }
%"struct.HIR::TraitImpl::ImplEnt" = type { i8, %"class.HIR::Function" }
%"class.HIR::Function" = type { i8, %"struct.HIR::Linkage", i32, %"class.HIR::TypeRef", %class.RcString, i8, i8, %"class.HIR::GenericParams", %"class.std::vector.243", i8, %"class.HIR::TypeRef", %"class.HIR::ExprPtr", %"struct.HIR::Function::Markings" }
%"struct.HIR::Linkage" = type { i32, %"class.std::__cxx11::basic_string", %"class.std::__cxx11::basic_string" }
%"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::vector.243" = type { %"struct.std::_Vector_base.244" }
%"struct.std::_Vector_base.244" = type { %"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<HIR::Pattern, HIR::TypeRef>, std::allocator<std::pair<HIR::Pattern, HIR::TypeRef>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::Function::Markings" = type { %"class.std::vector.248", i8, i32 }
%"class.std::vector.248" = type { %"struct.std::_Vector_base.249" }
%"struct.std::_Vector_base.249" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl" = type { %"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" }
%"struct.std::_Vector_base<unsigned int, std::allocator<unsigned int>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@__func__._Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE = external hidden unnamed_addr constant [25 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [82 x i8], align 1
@__PRETTY_FUNCTION__._Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE = external hidden unnamed_addr constant [88 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [1 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE(ptr noundef nonnull align 8 dereferenceable(944) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(72) %2) #0 personality ptr @__gxx_personality_v0 {
  %4 = alloca ptr, align 8
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca %struct.Span, align 8
  %8 = alloca ptr, align 8
  %9 = alloca %class.TraceLog, align 8
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca %class.StaticTraitResolve, align 8
  %13 = alloca ptr, align 8
  %14 = alloca %"struct.(anonymous namespace)::OutState", align 8
  %15 = alloca %class.anon, align 8
  %16 = alloca %"class.(anonymous namespace)::ExprVisitor_Extract", align 8
  %17 = alloca %class.MonomorphiserNop, align 8
  %18 = alloca %"class.(anonymous namespace)::ExprVisitor_Fixup", align 8
  %19 = alloca ptr, align 8
  %20 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %21 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %22 = alloca i32, align 4
  %23 = alloca ptr, align 8
  %24 = alloca ptr, align 8
  %25 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %26 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %27 = alloca ptr, align 8
  %28 = alloca %"class.HIR::ExprStatePtr", align 8
  %29 = alloca %"class.HIR::ExprState", align 8
  %30 = alloca ptr, align 8
  %31 = alloca %"class.__gnu_cxx::__normal_iterator.253", align 8
  %32 = alloca %"class.__gnu_cxx::__normal_iterator.253", align 8
  %33 = alloca ptr, align 8
  %34 = alloca ptr, align 8
  %35 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %36 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %37 = alloca ptr, align 8
  %38 = alloca %"class.HIR::ExprStatePtr", align 8
  %39 = alloca %"class.HIR::ExprState", align 8
  %40 = alloca ptr, align 8
  %41 = alloca %"class.__gnu_cxx::__normal_iterator.253", align 8
  %42 = alloca %"class.__gnu_cxx::__normal_iterator.253", align 8
  %43 = alloca ptr, align 8
  %44 = alloca ptr, align 8
  %45 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %46 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %47 = alloca ptr, align 8
  %48 = alloca %"class.HIR::ExprStatePtr", align 8
  %49 = alloca %"class.HIR::ExprState", align 8
  store ptr %0, ptr %4, align 8, !tbaa !5
  store ptr %1, ptr %5, align 8, !tbaa !5
  store ptr %2, ptr %6, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %7) #8
  call void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %7)
  call void @llvm.lifetime.start.p0(i64 8, ptr %8) #8
  %50 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %50, ptr %8, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 40, ptr %9) #8
  %51 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %52 unwind label %63

52:                                               ; preds = %3
  %53 = zext i1 %51 to i64
  %54 = select i1 %51, ptr @__func__._Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE, ptr null
  invoke void @_ZN8TraceLogC1EPKc(ptr noundef nonnull align 8 dereferenceable(40) %9, ptr noundef %54)
          to label %55 unwind label %63

55:                                               ; preds = %52
  call void @llvm.lifetime.start.p0(i64 424, ptr %12) #8
  %56 = load ptr, ptr %8, align 8, !tbaa !5
  invoke void @_ZN18StaticTraitResolveC2ERKN3HIR5CrateE(ptr noundef nonnull align 8 dereferenceable(424) %12, ptr noundef nonnull align 8 dereferenceable(944) %56)
          to label %57 unwind label %67

57:                                               ; preds = %55
  %58 = load ptr, ptr %6, align 8, !tbaa !5
  %59 = invoke noundef zeroext i1 @_ZNK3HIR7ExprPtrcvbEv(ptr noundef nonnull align 8 dereferenceable(72) %58)
          to label %60 unwind label %71

60:                                               ; preds = %57
  br i1 %59, label %61, label %62

61:                                               ; preds = %60
  br label %76

62:                                               ; preds = %60
  call void @__assert_fail(ptr noundef @.str.16, ptr noundef @.str.17, i32 noundef 1945, ptr noundef @__PRETTY_FUNCTION__._Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE) #9
  unreachable

63:                                               ; preds = %52, %3
  %64 = landingpad { ptr, i32 }
          cleanup
  %65 = extractvalue { ptr, i32 } %64, 0
  store ptr %65, ptr %10, align 8
  %66 = extractvalue { ptr, i32 } %64, 1
  store i32 %66, ptr %11, align 4
  br label %399

67:                                               ; preds = %55
  %68 = landingpad { ptr, i32 }
          cleanup
  %69 = extractvalue { ptr, i32 } %68, 0
  store ptr %69, ptr %10, align 8
  %70 = extractvalue { ptr, i32 } %68, 1
  store i32 %70, ptr %11, align 4
  br label %398

71:                                               ; preds = %86, %80, %76, %57
  %72 = landingpad { ptr, i32 }
          cleanup
  %73 = extractvalue { ptr, i32 } %72, 0
  store ptr %73, ptr %10, align 8
  %74 = extractvalue { ptr, i32 } %72, 1
  store i32 %74, ptr %11, align 4
  br label %397

75:                                               ; No predecessors!
  br label %76

76:                                               ; preds = %75, %61
  %77 = load ptr, ptr %6, align 8, !tbaa !5
  %78 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %77, i32 0, i32 4
  %79 = invoke noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %78)
          to label %80 unwind label %71

80:                                               ; preds = %76
  %81 = getelementptr inbounds %"class.HIR::ExprState", ptr %79, i32 0, i32 2
  %82 = load ptr, ptr %81, align 8, !tbaa !9
  %83 = load ptr, ptr %6, align 8, !tbaa !5
  %84 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %83, i32 0, i32 4
  %85 = invoke noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %84)
          to label %86 unwind label %71

86:                                               ; preds = %80
  %87 = getelementptr inbounds %"class.HIR::ExprState", ptr %85, i32 0, i32 3
  %88 = load ptr, ptr %87, align 8, !tbaa !18
  invoke void @_ZN18StaticTraitResolve21set_both_generics_rawEPKN3HIR13GenericParamsES3_(ptr noundef nonnull align 8 dereferenceable(424) %12, ptr noundef %82, ptr noundef %88)
          to label %89 unwind label %71

89:                                               ; preds = %86
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #8
  store ptr null, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 104, ptr %14) #8
  call void @_ZN12_GLOBAL__N_18OutStateC2Ev(ptr noundef nonnull align 8 dereferenceable(104) %14) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #8
  %90 = getelementptr inbounds %class.anon, ptr %15, i32 0, i32 0
  %91 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %91, ptr %90, align 8, !tbaa !5
  %92 = getelementptr inbounds %"struct.(anonymous namespace)::OutState", ptr %14, i32 0, i32 3
  %93 = call noundef nonnull align 8 dereferenceable(32) ptr @"_ZNSt8functionIFSt4pairIN3HIR10SimplePathEPKNS1_8TypeItemEEPKcS8_S3_EEaSIZ24HIR_Expand_Closures_ExprRKNS1_5CrateERNS1_7TypeRefERNS1_7ExprPtrEE3$_0EENSt9enable_ifIXsrNSA_9_CallableIT_NSK_IXntsr7is_sameINSt9remove_cvINSt16remove_referenceISM_E4typeEE4typeESA_EE5valueESt5decayISM_EE4type4typeESt15__invoke_resultIRSX_JS8_S8_S3_EEEE5valueERSA_E4typeEOSM_"(ptr noundef nonnull align 8 dereferenceable(32) %92, ptr noundef nonnull align 8 dereferenceable(8) %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #8
  call void @llvm.lifetime.start.p0(i64 56, ptr %16) #8
  %94 = load ptr, ptr %13, align 8, !tbaa !5
  %95 = load ptr, ptr %6, align 8, !tbaa !5
  %96 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %95, i32 0, i32 1
  %97 = load ptr, ptr %6, align 8, !tbaa !5
  invoke void @_ZN12_GLOBAL__N_119ExprVisitor_ExtractC2ERK18StaticTraitResolvePKN3HIR7TypeRefERKSt6vectorIS5_SaIS5_EERKNS4_7ExprPtrERNS_8OutStateEPKc(ptr noundef nonnull align 8 dereferenceable(56) %16, ptr noundef nonnull align 8 dereferenceable(424) %12, ptr noundef %94, ptr noundef nonnull align 8 dereferenceable(24) %96, ptr noundef nonnull align 8 dereferenceable(72) %97, ptr noundef nonnull align 8 dereferenceable(104) %14, ptr noundef @.str.18)
          to label %98 unwind label %120

98:                                               ; preds = %89
  %99 = load ptr, ptr %6, align 8, !tbaa !5
  %100 = invoke noundef nonnull align 8 dereferenceable(28) ptr @_ZN3HIR7ExprPtrdeEv(ptr noundef nonnull align 8 dereferenceable(72) %99)
          to label %101 unwind label %124

101:                                              ; preds = %98
  invoke void @_ZN12_GLOBAL__N_119ExprVisitor_Extract10visit_rootERN3HIR8ExprNodeE(ptr noundef nonnull align 8 dereferenceable(56) %16, ptr noundef nonnull align 8 dereferenceable(28) %100)
          to label %102 unwind label %124

102:                                              ; preds = %101
  call void @_ZN3HIR11ExprVisitorD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %16) #8
  call void @llvm.lifetime.end.p0(i64 56, ptr %16) #8
  call void @llvm.lifetime.start.p0(i64 96, ptr %17) #8
  invoke void @_ZN16MonomorphiserNopC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %17)
          to label %103 unwind label %129

103:                                              ; preds = %102
  call void @llvm.lifetime.start.p0(i64 456, ptr %18) #8
  %104 = load ptr, ptr %8, align 8, !tbaa !5
  invoke void @_ZN12_GLOBAL__N_117ExprVisitor_FixupC2ERKN3HIR5CrateEPKNS1_13GenericParamsERK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(449) %18, ptr noundef nonnull align 8 dereferenceable(944) %104, ptr noundef null, ptr noundef nonnull align 8 dereferenceable(96) %17)
          to label %105 unwind label %133

105:                                              ; preds = %103
  %106 = load ptr, ptr %6, align 8, !tbaa !5
  invoke void @_ZN12_GLOBAL__N_117ExprVisitor_Fixup10visit_rootERN3HIR7ExprPtrE(ptr noundef nonnull align 8 dereferenceable(449) %18, ptr noundef nonnull align 8 dereferenceable(72) %106)
          to label %107 unwind label %137

107:                                              ; preds = %105
  %108 = load ptr, ptr %5, align 8, !tbaa !5
  invoke void @_ZN12_GLOBAL__N_117ExprVisitor_Fixup10visit_typeERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(449) %18, ptr noundef nonnull align 8 dereferenceable(8) %108)
          to label %109 unwind label %137

109:                                              ; preds = %107
  call void @_ZN12_GLOBAL__N_117ExprVisitor_FixupD2Ev(ptr noundef nonnull align 8 dereferenceable(449) %18) #8
  call void @llvm.lifetime.end.p0(i64 456, ptr %18) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %17) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr %17) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #8
  %110 = getelementptr inbounds %"struct.(anonymous namespace)::OutState", ptr %14, i32 0, i32 0
  store ptr %110, ptr %19, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #8
  %111 = load ptr, ptr %19, align 8, !tbaa !5
  %112 = call ptr @_ZNSt6vectorISt4pairIN3HIR16ExprNode_Closure5ClassENS1_9TraitImplEESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %111) #8
  %113 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %20, i32 0, i32 0
  store ptr %112, ptr %113, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #8
  %114 = load ptr, ptr %19, align 8, !tbaa !5
  %115 = call ptr @_ZNSt6vectorISt4pairIN3HIR16ExprNode_Closure5ClassENS1_9TraitImplEESaIS5_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %114) #8
  %116 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %21, i32 0, i32 0
  store ptr %115, ptr %116, align 8
  br label %117

117:                                              ; preds = %212, %109
  %118 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt4pairIN3HIR16ExprNode_Closure5ClassENS2_9TraitImplEESt6vectorIS6_SaIS6_EEEEbRKNS_17__normal_iteratorIT_T0_EESG_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  br i1 %118, label %143, label %119

119:                                              ; preds = %117
  store i32 2, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  br label %219

120:                                              ; preds = %89
  %121 = landingpad { ptr, i32 }
          cleanup
  %122 = extractvalue { ptr, i32 } %121, 0
  store ptr %122, ptr %10, align 8
  %123 = extractvalue { ptr, i32 } %121, 1
  store i32 %123, ptr %11, align 4
  br label %128

124:                                              ; preds = %101, %98
  %125 = landingpad { ptr, i32 }
          cleanup
  %126 = extractvalue { ptr, i32 } %125, 0
  store ptr %126, ptr %10, align 8
  %127 = extractvalue { ptr, i32 } %125, 1
  store i32 %127, ptr %11, align 4
  call void @_ZN3HIR11ExprVisitorD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %16) #8
  br label %128

128:                                              ; preds = %124, %120
  call void @llvm.lifetime.end.p0(i64 56, ptr %16) #8
  br label %396

129:                                              ; preds = %102
  %130 = landingpad { ptr, i32 }
          cleanup
  %131 = extractvalue { ptr, i32 } %130, 0
  store ptr %131, ptr %10, align 8
  %132 = extractvalue { ptr, i32 } %130, 1
  store i32 %132, ptr %11, align 4
  br label %142

133:                                              ; preds = %103
  %134 = landingpad { ptr, i32 }
          cleanup
  %135 = extractvalue { ptr, i32 } %134, 0
  store ptr %135, ptr %10, align 8
  %136 = extractvalue { ptr, i32 } %134, 1
  store i32 %136, ptr %11, align 4
  br label %141

137:                                              ; preds = %107, %105
  %138 = landingpad { ptr, i32 }
          cleanup
  %139 = extractvalue { ptr, i32 } %138, 0
  store ptr %139, ptr %10, align 8
  %140 = extractvalue { ptr, i32 } %138, 1
  store i32 %140, ptr %11, align 4
  call void @_ZN12_GLOBAL__N_117ExprVisitor_FixupD2Ev(ptr noundef nonnull align 8 dereferenceable(449) %18) #8
  br label %141

141:                                              ; preds = %137, %133
  call void @llvm.lifetime.end.p0(i64 456, ptr %18) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %17) #8
  br label %142

142:                                              ; preds = %141, %129
  call void @llvm.lifetime.end.p0(i64 96, ptr %17) #8
  br label %396

143:                                              ; preds = %117
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #8
  %144 = call noundef nonnull align 8 dereferenceable(336) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPSt4pairIN3HIR16ExprNode_Closure5ClassENS2_9TraitImplEESt6vectorIS6_SaIS6_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  store ptr %144, ptr %23, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #8
  %145 = load ptr, ptr %23, align 8, !tbaa !5
  %146 = getelementptr inbounds %"struct.std::pair", ptr %145, i32 0, i32 1
  %147 = getelementptr inbounds %"class.HIR::TraitImpl", ptr %146, i32 0, i32 3
  store ptr %147, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #8
  %148 = load ptr, ptr %24, align 8, !tbaa !5
  %149 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %148) #8
  %150 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %25, i32 0, i32 0
  store ptr %149, ptr %150, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #8
  %151 = load ptr, ptr %24, align 8, !tbaa !5
  %152 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %151) #8
  %153 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %26, i32 0, i32 0
  store ptr %152, ptr %153, align 8
  br label %154

154:                                              ; preds = %180, %143
  %155 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEESB_(ptr noundef nonnull align 8 dereferenceable(8) %25, ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  br i1 %155, label %157, label %156

156:                                              ; preds = %154
  store i32 4, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  br label %201

157:                                              ; preds = %154
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #8
  %158 = call noundef nonnull align 8 dereferenceable(368) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  store ptr %158, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #8
  %159 = load ptr, ptr %6, align 8, !tbaa !5
  %160 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %159, i32 0, i32 4
  %161 = invoke noundef nonnull align 8 dereferenceable(60) ptr @_ZN3HIR12ExprStatePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %160)
          to label %162 unwind label %182

162:                                              ; preds = %157
  invoke void @_ZN3HIR9ExprStateC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(60) %29, ptr noundef nonnull align 8 dereferenceable(60) %161)
          to label %163 unwind label %182

163:                                              ; preds = %162
  invoke void @_ZN3HIR12ExprStatePtrC1ENS_9ExprStateE(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef %29)
          to label %164 unwind label %186

164:                                              ; preds = %163
  %165 = load ptr, ptr %27, align 8, !tbaa !5
  %166 = getelementptr inbounds %"struct.std::pair.238", ptr %165, i32 0, i32 1
  %167 = getelementptr inbounds %"struct.HIR::TraitImpl::ImplEnt", ptr %166, i32 0, i32 1
  %168 = getelementptr inbounds %"class.HIR::Function", ptr %167, i32 0, i32 11
  %169 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %168, i32 0, i32 4
  %170 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR12ExprStatePtraSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %169, ptr noundef nonnull align 8 dereferenceable(8) %28)
          to label %171 unwind label %190

171:                                              ; preds = %164
  call void @_ZN3HIR12ExprStatePtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #8
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #8
  %172 = load ptr, ptr %27, align 8, !tbaa !5
  %173 = getelementptr inbounds %"struct.std::pair.238", ptr %172, i32 0, i32 1
  %174 = getelementptr inbounds %"struct.HIR::TraitImpl::ImplEnt", ptr %173, i32 0, i32 1
  %175 = getelementptr inbounds %"class.HIR::Function", ptr %174, i32 0, i32 11
  %176 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %175, i32 0, i32 4
  %177 = invoke noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %176)
          to label %178 unwind label %196

178:                                              ; preds = %171
  %179 = getelementptr inbounds %"class.HIR::ExprState", ptr %177, i32 0, i32 5
  store i32 4, ptr %179, align 8, !tbaa !19
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  br label %180

180:                                              ; preds = %178
  %181 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  br label %154

182:                                              ; preds = %162, %157
  %183 = landingpad { ptr, i32 }
          cleanup
  %184 = extractvalue { ptr, i32 } %183, 0
  store ptr %184, ptr %10, align 8
  %185 = extractvalue { ptr, i32 } %183, 1
  store i32 %185, ptr %11, align 4
  br label %195

186:                                              ; preds = %163
  %187 = landingpad { ptr, i32 }
          cleanup
  %188 = extractvalue { ptr, i32 } %187, 0
  store ptr %188, ptr %10, align 8
  %189 = extractvalue { ptr, i32 } %187, 1
  store i32 %189, ptr %11, align 4
  br label %194

190:                                              ; preds = %164
  %191 = landingpad { ptr, i32 }
          cleanup
  %192 = extractvalue { ptr, i32 } %191, 0
  store ptr %192, ptr %10, align 8
  %193 = extractvalue { ptr, i32 } %191, 1
  store i32 %193, ptr %11, align 4
  call void @_ZN3HIR12ExprStatePtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #8
  br label %194

194:                                              ; preds = %190, %186
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %29) #8
  br label %195

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

196:                                              ; preds = %171
  %197 = landingpad { ptr, i32 }
          cleanup
  %198 = extractvalue { ptr, i32 } %197, 0
  store ptr %198, ptr %10, align 8
  %199 = extractvalue { ptr, i32 } %197, 1
  store i32 %199, ptr %11, align 4
  br label %200

200:                                              ; preds = %196, %195
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #8
  br label %218

201:                                              ; preds = %156
  %202 = load ptr, ptr %6, align 8, !tbaa !5
  %203 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %202, i32 0, i32 4
  %204 = invoke noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %203)
          to label %205 unwind label %214

205:                                              ; preds = %201
  %206 = getelementptr inbounds %"class.HIR::ExprState", ptr %204, i32 0, i32 0
  %207 = load ptr, ptr %23, align 8, !tbaa !5
  %208 = getelementptr inbounds %"struct.std::pair", ptr %207, i32 0, i32 1
  %209 = getelementptr inbounds %"class.HIR::TraitImpl", ptr %208, i32 0, i32 7
  %210 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR10SimplePathaSERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %209, ptr noundef nonnull align 8 dereferenceable(8) %206)
          to label %211 unwind label %214

211:                                              ; preds = %205
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  br label %212

212:                                              ; preds = %211
  %213 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPSt4pairIN3HIR16ExprNode_Closure5ClassENS2_9TraitImplEESt6vectorIS6_SaIS6_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  br label %117

214:                                              ; preds = %205, %201
  %215 = landingpad { ptr, i32 }
          cleanup
  %216 = extractvalue { ptr, i32 } %215, 0
  store ptr %216, ptr %10, align 8
  %217 = extractvalue { ptr, i32 } %215, 1
  store i32 %217, ptr %11, align 4
  br label %218

218:                                              ; preds = %214, %200
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #8
  br label %396

219:                                              ; preds = %119
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #8
  %220 = getelementptr inbounds %"struct.(anonymous namespace)::OutState", ptr %14, i32 0, i32 1
  store ptr %220, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #8
  %221 = load ptr, ptr %30, align 8, !tbaa !5
  %222 = call ptr @_ZNSt6vectorIN3HIR9TraitImplESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %221) #8
  %223 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.253", ptr %31, i32 0, i32 0
  store ptr %222, ptr %223, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #8
  %224 = load ptr, ptr %30, align 8, !tbaa !5
  %225 = call ptr @_ZNSt6vectorIN3HIR9TraitImplESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %224) #8
  %226 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.253", ptr %32, i32 0, i32 0
  store ptr %225, ptr %226, align 8
  br label %227

227:                                              ; preds = %297, %219
  %228 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %32) #8
  br i1 %228, label %230, label %229

229:                                              ; preds = %227
  store i32 6, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  br label %304

230:                                              ; preds = %227
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #8
  %231 = call noundef nonnull align 8 dereferenceable(328) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #8
  store ptr %231, ptr %33, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #8
  %232 = load ptr, ptr %33, align 8, !tbaa !5
  %233 = getelementptr inbounds %"class.HIR::TraitImpl", ptr %232, i32 0, i32 3
  store ptr %233, ptr %34, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #8
  %234 = load ptr, ptr %34, align 8, !tbaa !5
  %235 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %234) #8
  %236 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %35, i32 0, i32 0
  store ptr %235, ptr %236, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #8
  %237 = load ptr, ptr %34, align 8, !tbaa !5
  %238 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %237) #8
  %239 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %36, i32 0, i32 0
  store ptr %238, ptr %239, align 8
  br label %240

240:                                              ; preds = %266, %230
  %241 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEESB_(ptr noundef nonnull align 8 dereferenceable(8) %35, ptr noundef nonnull align 8 dereferenceable(8) %36) #8
  br i1 %241, label %243, label %242

242:                                              ; preds = %240
  store i32 8, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  br label %287

243:                                              ; preds = %240
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #8
  %244 = call noundef nonnull align 8 dereferenceable(368) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %35) #8
  store ptr %244, ptr %37, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #8
  %245 = load ptr, ptr %6, align 8, !tbaa !5
  %246 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %245, i32 0, i32 4
  %247 = invoke noundef nonnull align 8 dereferenceable(60) ptr @_ZN3HIR12ExprStatePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %246)
          to label %248 unwind label %268

248:                                              ; preds = %243
  invoke void @_ZN3HIR9ExprStateC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(60) %39, ptr noundef nonnull align 8 dereferenceable(60) %247)
          to label %249 unwind label %268

249:                                              ; preds = %248
  invoke void @_ZN3HIR12ExprStatePtrC1ENS_9ExprStateE(ptr noundef nonnull align 8 dereferenceable(8) %38, ptr noundef %39)
          to label %250 unwind label %272

250:                                              ; preds = %249
  %251 = load ptr, ptr %37, align 8, !tbaa !5
  %252 = getelementptr inbounds %"struct.std::pair.238", ptr %251, i32 0, i32 1
  %253 = getelementptr inbounds %"struct.HIR::TraitImpl::ImplEnt", ptr %252, i32 0, i32 1
  %254 = getelementptr inbounds %"class.HIR::Function", ptr %253, i32 0, i32 11
  %255 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %254, i32 0, i32 4
  %256 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR12ExprStatePtraSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %255, ptr noundef nonnull align 8 dereferenceable(8) %38)
          to label %257 unwind label %276

257:                                              ; preds = %250
  call void @_ZN3HIR12ExprStatePtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %38) #8
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %39) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #8
  %258 = load ptr, ptr %37, align 8, !tbaa !5
  %259 = getelementptr inbounds %"struct.std::pair.238", ptr %258, i32 0, i32 1
  %260 = getelementptr inbounds %"struct.HIR::TraitImpl::ImplEnt", ptr %259, i32 0, i32 1
  %261 = getelementptr inbounds %"class.HIR::Function", ptr %260, i32 0, i32 11
  %262 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %261, i32 0, i32 4
  %263 = invoke noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %262)
          to label %264 unwind label %282

264:                                              ; preds = %257
  %265 = getelementptr inbounds %"class.HIR::ExprState", ptr %263, i32 0, i32 5
  store i32 4, ptr %265, align 8, !tbaa !19
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  br label %266

266:                                              ; preds = %264
  %267 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %35) #8
  br label %240

268:                                              ; preds = %248, %243
  %269 = landingpad { ptr, i32 }
          cleanup
  %270 = extractvalue { ptr, i32 } %269, 0
  store ptr %270, ptr %10, align 8
  %271 = extractvalue { ptr, i32 } %269, 1
  store i32 %271, ptr %11, align 4
  br label %281

272:                                              ; preds = %249
  %273 = landingpad { ptr, i32 }
          cleanup
  %274 = extractvalue { ptr, i32 } %273, 0
  store ptr %274, ptr %10, align 8
  %275 = extractvalue { ptr, i32 } %273, 1
  store i32 %275, ptr %11, align 4
  br label %280

276:                                              ; preds = %250
  %277 = landingpad { ptr, i32 }
          cleanup
  %278 = extractvalue { ptr, i32 } %277, 0
  store ptr %278, ptr %10, align 8
  %279 = extractvalue { ptr, i32 } %277, 1
  store i32 %279, ptr %11, align 4
  call void @_ZN3HIR12ExprStatePtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %38) #8
  br label %280

280:                                              ; preds = %276, %272
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %39) #8
  br label %281

281:                                              ; preds = %280, %268
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #8
  br label %286

282:                                              ; preds = %257
  %283 = landingpad { ptr, i32 }
          cleanup
  %284 = extractvalue { ptr, i32 } %283, 0
  store ptr %284, ptr %10, align 8
  %285 = extractvalue { ptr, i32 } %283, 1
  store i32 %285, ptr %11, align 4
  br label %286

286:                                              ; preds = %282, %281
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #8
  br label %303

287:                                              ; preds = %242
  %288 = load ptr, ptr %6, align 8, !tbaa !5
  %289 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %288, i32 0, i32 4
  %290 = invoke noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %289)
          to label %291 unwind label %299

291:                                              ; preds = %287
  %292 = getelementptr inbounds %"class.HIR::ExprState", ptr %290, i32 0, i32 0
  %293 = load ptr, ptr %33, align 8, !tbaa !5
  %294 = getelementptr inbounds %"class.HIR::TraitImpl", ptr %293, i32 0, i32 7
  %295 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR10SimplePathaSERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %294, ptr noundef nonnull align 8 dereferenceable(8) %292)
          to label %296 unwind label %299

296:                                              ; preds = %291
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  br label %297

297:                                              ; preds = %296
  %298 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #8
  br label %227

299:                                              ; preds = %291, %287
  %300 = landingpad { ptr, i32 }
          cleanup
  %301 = extractvalue { ptr, i32 } %300, 0
  store ptr %301, ptr %10, align 8
  %302 = extractvalue { ptr, i32 } %300, 1
  store i32 %302, ptr %11, align 4
  br label %303

303:                                              ; preds = %299, %286
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #8
  br label %396

304:                                              ; preds = %229
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #8
  %305 = getelementptr inbounds %"struct.(anonymous namespace)::OutState", ptr %14, i32 0, i32 2
  store ptr %305, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #8
  %306 = load ptr, ptr %40, align 8, !tbaa !5
  %307 = call ptr @_ZNSt6vectorIN3HIR9TraitImplESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %306) #8
  %308 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.253", ptr %41, i32 0, i32 0
  store ptr %307, ptr %308, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #8
  %309 = load ptr, ptr %40, align 8, !tbaa !5
  %310 = call ptr @_ZNSt6vectorIN3HIR9TraitImplESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %309) #8
  %311 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.253", ptr %42, i32 0, i32 0
  store ptr %310, ptr %311, align 8
  br label %312

312:                                              ; preds = %382, %304
  %313 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %41, ptr noundef nonnull align 8 dereferenceable(8) %42) #8
  br i1 %313, label %315, label %314

314:                                              ; preds = %312
  store i32 10, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #8
  br label %389

315:                                              ; preds = %312
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #8
  %316 = call noundef nonnull align 8 dereferenceable(328) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %41) #8
  store ptr %316, ptr %43, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %44) #8
  %317 = load ptr, ptr %43, align 8, !tbaa !5
  %318 = getelementptr inbounds %"class.HIR::TraitImpl", ptr %317, i32 0, i32 3
  store ptr %318, ptr %44, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #8
  %319 = load ptr, ptr %44, align 8, !tbaa !5
  %320 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %319) #8
  %321 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %45, i32 0, i32 0
  store ptr %320, ptr %321, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #8
  %322 = load ptr, ptr %44, align 8, !tbaa !5
  %323 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %322) #8
  %324 = getelementptr inbounds %"struct.std::_Rb_tree_iterator", ptr %46, i32 0, i32 0
  store ptr %323, ptr %324, align 8
  br label %325

325:                                              ; preds = %351, %315
  %326 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEESB_(ptr noundef nonnull align 8 dereferenceable(8) %45, ptr noundef nonnull align 8 dereferenceable(8) %46) #8
  br i1 %326, label %328, label %327

327:                                              ; preds = %325
  store i32 12, ptr %22, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  br label %372

328:                                              ; preds = %325
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #8
  %329 = call noundef nonnull align 8 dereferenceable(368) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %45) #8
  store ptr %329, ptr %47, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %48) #8
  %330 = load ptr, ptr %6, align 8, !tbaa !5
  %331 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %330, i32 0, i32 4
  %332 = invoke noundef nonnull align 8 dereferenceable(60) ptr @_ZN3HIR12ExprStatePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %331)
          to label %333 unwind label %353

333:                                              ; preds = %328
  invoke void @_ZN3HIR9ExprStateC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(60) %49, ptr noundef nonnull align 8 dereferenceable(60) %332)
          to label %334 unwind label %353

334:                                              ; preds = %333
  invoke void @_ZN3HIR12ExprStatePtrC1ENS_9ExprStateE(ptr noundef nonnull align 8 dereferenceable(8) %48, ptr noundef %49)
          to label %335 unwind label %357

335:                                              ; preds = %334
  %336 = load ptr, ptr %47, align 8, !tbaa !5
  %337 = getelementptr inbounds %"struct.std::pair.238", ptr %336, i32 0, i32 1
  %338 = getelementptr inbounds %"struct.HIR::TraitImpl::ImplEnt", ptr %337, i32 0, i32 1
  %339 = getelementptr inbounds %"class.HIR::Function", ptr %338, i32 0, i32 11
  %340 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %339, i32 0, i32 4
  %341 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR12ExprStatePtraSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %340, ptr noundef nonnull align 8 dereferenceable(8) %48)
          to label %342 unwind label %361

342:                                              ; preds = %335
  call void @_ZN3HIR12ExprStatePtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %48) #8
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %49) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  %343 = load ptr, ptr %47, align 8, !tbaa !5
  %344 = getelementptr inbounds %"struct.std::pair.238", ptr %343, i32 0, i32 1
  %345 = getelementptr inbounds %"struct.HIR::TraitImpl::ImplEnt", ptr %344, i32 0, i32 1
  %346 = getelementptr inbounds %"class.HIR::Function", ptr %345, i32 0, i32 11
  %347 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %346, i32 0, i32 4
  %348 = invoke noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %347)
          to label %349 unwind label %367

349:                                              ; preds = %342
  %350 = getelementptr inbounds %"class.HIR::ExprState", ptr %348, i32 0, i32 5
  store i32 4, ptr %350, align 8, !tbaa !19
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #8
  br label %351

351:                                              ; preds = %349
  %352 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %45) #8
  br label %325

353:                                              ; preds = %333, %328
  %354 = landingpad { ptr, i32 }
          cleanup
  %355 = extractvalue { ptr, i32 } %354, 0
  store ptr %355, ptr %10, align 8
  %356 = extractvalue { ptr, i32 } %354, 1
  store i32 %356, ptr %11, align 4
  br label %366

357:                                              ; preds = %334
  %358 = landingpad { ptr, i32 }
          cleanup
  %359 = extractvalue { ptr, i32 } %358, 0
  store ptr %359, ptr %10, align 8
  %360 = extractvalue { ptr, i32 } %358, 1
  store i32 %360, ptr %11, align 4
  br label %365

361:                                              ; preds = %335
  %362 = landingpad { ptr, i32 }
          cleanup
  %363 = extractvalue { ptr, i32 } %362, 0
  store ptr %363, ptr %10, align 8
  %364 = extractvalue { ptr, i32 } %362, 1
  store i32 %364, ptr %11, align 4
  call void @_ZN3HIR12ExprStatePtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %48) #8
  br label %365

365:                                              ; preds = %361, %357
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %49) #8
  br label %366

366:                                              ; preds = %365, %353
  call void @llvm.lifetime.end.p0(i64 8, ptr %48) #8
  br label %371

367:                                              ; preds = %342
  %368 = landingpad { ptr, i32 }
          cleanup
  %369 = extractvalue { ptr, i32 } %368, 0
  store ptr %369, ptr %10, align 8
  %370 = extractvalue { ptr, i32 } %368, 1
  store i32 %370, ptr %11, align 4
  br label %371

371:                                              ; preds = %367, %366
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %44) #8
  br label %388

372:                                              ; preds = %327
  %373 = load ptr, ptr %6, align 8, !tbaa !5
  %374 = getelementptr inbounds %"class.HIR::ExprPtr", ptr %373, i32 0, i32 4
  %375 = invoke noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %374)
          to label %376 unwind label %384

376:                                              ; preds = %372
  %377 = getelementptr inbounds %"class.HIR::ExprState", ptr %375, i32 0, i32 0
  %378 = load ptr, ptr %43, align 8, !tbaa !5
  %379 = getelementptr inbounds %"class.HIR::TraitImpl", ptr %378, i32 0, i32 7
  %380 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR10SimplePathaSERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %379, ptr noundef nonnull align 8 dereferenceable(8) %377)
          to label %381 unwind label %384

381:                                              ; preds = %376
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  br label %382

382:                                              ; preds = %381
  %383 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %41) #8
  br label %312

384:                                              ; preds = %376, %372
  %385 = landingpad { ptr, i32 }
          cleanup
  %386 = extractvalue { ptr, i32 } %385, 0
  store ptr %386, ptr %10, align 8
  %387 = extractvalue { ptr, i32 } %385, 1
  store i32 %387, ptr %11, align 4
  br label %388

388:                                              ; preds = %384, %371
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #8
  br label %396

389:                                              ; preds = %314
  %390 = load ptr, ptr %8, align 8, !tbaa !5
  invoke void @_ZN12_GLOBAL__N_18OutState14push_new_implsERK4SpanRN3HIR5CrateE(ptr noundef nonnull align 8 dereferenceable(104) %14, ptr noundef nonnull align 8 dereferenceable(8) %7, ptr noundef nonnull align 8 dereferenceable(944) %390)
          to label %391 unwind label %392

391:                                              ; preds = %389
  call void @_ZN12_GLOBAL__N_18OutStateD2Ev(ptr noundef nonnull align 8 dereferenceable(104) %14) #8
  call void @llvm.lifetime.end.p0(i64 104, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  call void @_ZN18StaticTraitResolveD2Ev(ptr noundef nonnull align 8 dereferenceable(424) %12) #8
  call void @llvm.lifetime.end.p0(i64 424, ptr %12) #8
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %9) #8
  call void @llvm.lifetime.end.p0(i64 40, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  ret void

392:                                              ; preds = %389
  %393 = landingpad { ptr, i32 }
          cleanup
  %394 = extractvalue { ptr, i32 } %393, 0
  store ptr %394, ptr %10, align 8
  %395 = extractvalue { ptr, i32 } %393, 1
  store i32 %395, ptr %11, align 4
  br label %396

396:                                              ; preds = %392, %388, %303, %218, %142, %128
  call void @_ZN12_GLOBAL__N_18OutStateD2Ev(ptr noundef nonnull align 8 dereferenceable(104) %14) #8
  call void @llvm.lifetime.end.p0(i64 104, ptr %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #8
  br label %397

397:                                              ; preds = %396, %71
  call void @_ZN18StaticTraitResolveD2Ev(ptr noundef nonnull align 8 dereferenceable(424) %12) #8
  br label %398

398:                                              ; preds = %397, %67
  call void @llvm.lifetime.end.p0(i64 424, ptr %12) #8
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %9) #8
  br label %399

399:                                              ; preds = %398, %63
  call void @llvm.lifetime.end.p0(i64 40, ptr %9) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %8) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr %7) #8
  br label %400

400:                                              ; preds = %399
  %401 = load ptr, ptr %10, align 8
  %402 = load i32, ptr %11, align 4
  %403 = insertvalue { ptr, i32 } poison, ptr %401, 0
  %404 = insertvalue { ptr, i32 } %403, i32 %402, 1
  resume { ptr, i32 } %404
}

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

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

declare noundef zeroext i1 @_Z13debug_enabledv() #3

declare i32 @__gxx_personality_v0(...)

declare void @_ZN8TraceLogC1EPKc(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef) unnamed_addr #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN18StaticTraitResolveC2ERKN3HIR5CrateE(ptr noundef nonnull align 8 dereferenceable(424), ptr noundef nonnull align 8 dereferenceable(944)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK3HIR7ExprPtrcvbEv(ptr noundef nonnull align 8 dereferenceable(72)) #0 align 2

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_18OutStateC2Ev(ptr noundef nonnull align 8 dereferenceable(104)) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef nonnull align 8 dereferenceable(32) ptr @"_ZNSt8functionIFSt4pairIN3HIR10SimplePathEPKNS1_8TypeItemEEPKcS8_S3_EEaSIZ24HIR_Expand_Closures_ExprRKNS1_5CrateERNS1_7TypeRefERNS1_7ExprPtrEE3$_0EENSt9enable_ifIXsrNSA_9_CallableIT_NSK_IXntsr7is_sameINSt9remove_cvINSt16remove_referenceISM_E4typeEE4typeESA_EE5valueESt5decayISM_EE4type4typeESt15__invoke_resultIRSX_JS8_S8_S3_EEEE5valueERSA_E4typeEOSM_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(8)) #2 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_119ExprVisitor_ExtractC2ERK18StaticTraitResolvePKN3HIR7TypeRefERKSt6vectorIS5_SaIS5_EERKNS4_7ExprPtrERNS_8OutStateEPKc(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(424), ptr noundef, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(72), ptr noundef nonnull align 8 dereferenceable(104), ptr noundef) unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_119ExprVisitor_Extract10visit_rootERN3HIR8ExprNodeE(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(28)) #0 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_117ExprVisitor_FixupC2ERKN3HIR5CrateEPKNS1_13GenericParamsERK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(449), ptr noundef nonnull align 8 dereferenceable(944), ptr noundef, ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_117ExprVisitor_Fixup10visit_rootERN3HIR7ExprPtrE(ptr noundef nonnull align 8 dereferenceable(449), ptr noundef nonnull align 8 dereferenceable(72)) #0 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_117ExprVisitor_Fixup10visit_typeERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(449), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_117ExprVisitor_FixupD2Ev(ptr noundef nonnull align 8 dereferenceable(449)) unnamed_addr #5 align 2

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

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

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

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

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

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

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

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

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

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

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

declare void @_ZN3HIR12ExprStatePtrC1ENS_9ExprStateE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) unnamed_addr #3

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_18OutState14push_new_implsERK4SpanRN3HIR5CrateE(ptr noundef nonnull align 8 dereferenceable(104), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(944)) #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_18OutStateD2Ev(ptr noundef nonnull align 8 dereferenceable(104)) unnamed_addr #5 align 2

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !6, i64 16}
!10 = !{!"_ZTSN3HIR9ExprStateE", !11, i64 0, !6, i64 8, !6, i64 16, !6, i64 24, !13, i64 32, !17, i64 56}
!11 = !{!"_ZTSN3HIR10SimplePathE", !12, i64 0}
!12 = !{!"_ZTS10ThinVectorI8RcStringE", !6, i64 0}
!13 = !{!"_ZTSSt6vectorISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE", !14, i64 0}
!14 = !{!"_ZTSSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE12_Vector_implE", !16, i64 0}
!16 = !{!"_ZTSNSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE17_Vector_impl_dataE", !6, i64 0, !6, i64 8, !6, i64 16}
!17 = !{!"_ZTSN3HIR9ExprState5StageE", !7, i64 0}
!18 = !{!10, !6, i64 24}
!19 = !{!10, !17, i64 56}


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

%struct.Span = type { ptr }
%class.TraceLog = type { ptr, %"class.std::function" }
%"class.std::function" = type { %"class.std::_Function_base", ptr }
%"class.std::_Function_base" = type { %"union.std::_Any_data", ptr }
%"union.std::_Any_data" = type { %"union.std::_Nocopy_types" }
%"union.std::_Nocopy_types" = type { { i64, i64 } }
%class.StaticTraitResolve = type { ptr, %struct.TraitResolveCommon, i32, %"class.std::map.157", %"class.std::map.157", %"class.std::map.157", %"class.std::map.162" }
%struct.TraitResolveCommon = type { ptr, ptr, ptr, %"class.std::map.146", %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.146" = type { %"class.std::_Rb_tree.147" }
%"class.std::_Rb_tree.147" = 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.152", [8 x i8] }>
%"class.std::vector.152" = type { %"struct.std::_Vector_base.153" }
%"struct.std::_Vector_base.153" = type { %"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>, std::allocator<std::unique_ptr<std::pair<std::pair<HIR::TypeRef, HIR::GenericPath>, TraitResolveCommon::CachedBound>>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%"class.std::map.157" = type { %"class.std::_Rb_tree.158" }
%"class.std::_Rb_tree.158" = 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.162" = type { %"class.std::_Rb_tree.163" }
%"class.std::_Rb_tree.163" = 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" }
%"struct.(anonymous namespace)::OutState" = type { %"class.std::vector.178", %"class.std::vector.183", %"class.std::vector.183", %"class.std::function.188" }
%"class.std::vector.178" = type { %"struct.std::_Vector_base.179" }
%"struct.std::_Vector_base.179" = type { %"struct.std::_Vector_base<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>, std::allocator<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>, std::allocator<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>, std::allocator<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>, std::allocator<std::pair<HIR::ExprNode_Closure::Class, HIR::TraitImpl>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.183" = type { %"struct.std::_Vector_base.184" }
%"struct.std::_Vector_base.184" = type { %"struct.std::_Vector_base<HIR::TraitImpl, std::allocator<HIR::TraitImpl>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TraitImpl, std::allocator<HIR::TraitImpl>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TraitImpl, std::allocator<HIR::TraitImpl>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TraitImpl, std::allocator<HIR::TraitImpl>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::function.188" = type { %"class.std::_Function_base", ptr }
%class.anon = type { ptr }
%"class.(anonymous namespace)::ExprVisitor_Extract" = type { %"class.HIR::ExprVisitorDef", ptr, ptr, ptr, ptr, ptr, ptr }
%"class.HIR::ExprVisitorDef" = type { %"class.HIR::ExprVisitor" }
%"class.HIR::ExprVisitor" = type { ptr }
%class.MonomorphiserNop = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.190" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.190" = type { %"struct.std::_Vector_base.191" }
%"struct.std::_Vector_base.191" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.(anonymous namespace)::ExprVisitor_Fixup" = type <{ %"class.HIR::ExprVisitorDef", ptr, %class.StaticTraitResolve, ptr, i8, [7 x i8] }>
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"struct.std::_Rb_tree_iterator" = type { ptr }
%"class.HIR::ExprStatePtr" = type { ptr }
%"class.HIR::ExprState" = type <{ %"struct.HIR::SimplePath", ptr, ptr, ptr, %"class.std::vector.173", i32, [4 x i8] }>
%"class.std::vector.173" = type { %"struct.std::_Vector_base.174" }
%"struct.std::_Vector_base.174" = type { %"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<const HIR::SimplePath *, const HIR::Trait *>, std::allocator<std::pair<const HIR::SimplePath *, const HIR::Trait *>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.253" = type { ptr }

@__func__._Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE = external hidden unnamed_addr constant [25 x i8], align 1
@.str.16 = external hidden unnamed_addr constant [4 x i8], align 1
@.str.17 = external hidden unnamed_addr constant [82 x i8], align 1
@__PRETTY_FUNCTION__._Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE = external hidden unnamed_addr constant [88 x i8], align 1
@.str.18 = external hidden unnamed_addr constant [1 x i8], align 1

; Function Attrs: mustprogress uwtable
define dso_local void @_Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE(ptr noundef nonnull align 8 dereferenceable(944) %0, ptr noundef nonnull align 8 dereferenceable(8) %1, ptr noundef nonnull align 8 dereferenceable(72) %2) local_unnamed_addr #0 personality ptr @__gxx_personality_v0 {
  %4 = alloca %struct.Span, align 8
  %5 = alloca %class.TraceLog, align 8
  %6 = alloca %class.StaticTraitResolve, align 8
  %7 = alloca %"struct.(anonymous namespace)::OutState", align 8
  %8 = alloca %class.anon, align 8
  %9 = alloca %"class.(anonymous namespace)::ExprVisitor_Extract", align 8
  %10 = alloca %class.MonomorphiserNop, align 8
  %11 = alloca %"class.(anonymous namespace)::ExprVisitor_Fixup", align 8
  %12 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %13 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %14 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %15 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %16 = alloca %"class.HIR::ExprStatePtr", align 8
  %17 = alloca %"class.HIR::ExprState", align 8
  %18 = alloca %"class.__gnu_cxx::__normal_iterator.253", align 8
  %19 = alloca %"class.__gnu_cxx::__normal_iterator.253", align 8
  %20 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %21 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %22 = alloca %"class.HIR::ExprStatePtr", align 8
  %23 = alloca %"class.HIR::ExprState", align 8
  %24 = alloca %"class.__gnu_cxx::__normal_iterator.253", align 8
  %25 = alloca %"class.__gnu_cxx::__normal_iterator.253", align 8
  %26 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %27 = alloca %"struct.std::_Rb_tree_iterator", align 8
  %28 = alloca %"class.HIR::ExprStatePtr", align 8
  %29 = alloca %"class.HIR::ExprState", align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %4) #8
  call void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %4)
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %5) #8
  %30 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %31 unwind label %38

31:                                               ; preds = %3
  %32 = select i1 %30, ptr @__func__._Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE, ptr null
  invoke void @_ZN8TraceLogC1EPKc(ptr noundef nonnull align 8 dereferenceable(40) %5, ptr noundef %32)
          to label %33 unwind label %38

33:                                               ; preds = %31
  call void @llvm.lifetime.start.p0(i64 424, ptr nonnull %6) #8
  invoke void @_ZN18StaticTraitResolveC2ERKN3HIR5CrateE(ptr noundef nonnull align 8 dereferenceable(424) %6, ptr noundef nonnull align 8 dereferenceable(944) %0)
          to label %34 unwind label %40

34:                                               ; preds = %33
  %35 = invoke noundef zeroext i1 @_ZNK3HIR7ExprPtrcvbEv(ptr noundef nonnull align 8 dereferenceable(72) %2)
          to label %36 unwind label %42

36:                                               ; preds = %34
  br i1 %35, label %44, label %37

37:                                               ; preds = %36
  call void @__assert_fail(ptr noundef nonnull @.str.16, ptr noundef nonnull @.str.17, i32 noundef 1945, ptr noundef nonnull @__PRETTY_FUNCTION__._Z24HIR_Expand_Closures_ExprRKN3HIR5CrateERNS_7TypeRefERNS_7ExprPtrE) #9
  unreachable

38:                                               ; preds = %31, %3
  %39 = landingpad { ptr, i32 }
          cleanup
  br label %176

40:                                               ; preds = %33
  %41 = landingpad { ptr, i32 }
          cleanup
  br label %175

42:                                               ; preds = %44, %34
  %43 = landingpad { ptr, i32 }
          cleanup
  br label %174

44:                                               ; preds = %36
  %45 = getelementptr inbounds i8, ptr %2, i64 64
  %46 = call noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
  %47 = getelementptr inbounds i8, ptr %46, i64 16
  %48 = load ptr, ptr %47, align 8, !tbaa !5
  %49 = call noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
  %50 = getelementptr inbounds i8, ptr %49, i64 24
  %51 = load ptr, ptr %50, align 8, !tbaa !17
  invoke void @_ZN18StaticTraitResolve21set_both_generics_rawEPKN3HIR13GenericParamsES3_(ptr noundef nonnull align 8 dereferenceable(424) %6, ptr noundef %48, ptr noundef %51)
          to label %52 unwind label %42

52:                                               ; preds = %44
  call void @llvm.lifetime.start.p0(i64 104, ptr nonnull %7) #8
  call void @_ZN12_GLOBAL__N_18OutStateC2Ev(ptr noundef nonnull align 8 dereferenceable(104) %7) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #8
  store ptr %0, ptr %8, align 8, !tbaa !18
  %53 = getelementptr inbounds i8, ptr %7, i64 72
  %54 = call noundef nonnull align 8 dereferenceable(32) ptr @"_ZNSt8functionIFSt4pairIN3HIR10SimplePathEPKNS1_8TypeItemEEPKcS8_S3_EEaSIZ24HIR_Expand_Closures_ExprRKNS1_5CrateERNS1_7TypeRefERNS1_7ExprPtrEE3$_0EENSt9enable_ifIXsrNSA_9_CallableIT_NSK_IXntsr7is_sameINSt9remove_cvINSt16remove_referenceISM_E4typeEE4typeESA_EE5valueESt5decayISM_EE4type4typeESt15__invoke_resultIRSX_JS8_S8_S3_EEEE5valueERSA_E4typeEOSM_"(ptr noundef nonnull align 8 dereferenceable(32) %53, ptr noundef nonnull align 8 dereferenceable(8) %8) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #8
  call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %9) #8
  %55 = getelementptr inbounds i8, ptr %2, i64 8
  call void @_ZN12_GLOBAL__N_119ExprVisitor_ExtractC2ERK18StaticTraitResolvePKN3HIR7TypeRefERKSt6vectorIS5_SaIS5_EERKNS4_7ExprPtrERNS_8OutStateEPKc(ptr noundef nonnull align 8 dereferenceable(56) %9, ptr noundef nonnull align 8 dereferenceable(424) %6, ptr noundef null, ptr noundef nonnull align 8 dereferenceable(24) %55, ptr noundef nonnull align 8 dereferenceable(72) %2, ptr noundef nonnull align 8 dereferenceable(104) %7, ptr noundef nonnull @.str.18)
  %56 = call noundef nonnull align 8 dereferenceable(28) ptr @_ZN3HIR7ExprPtrdeEv(ptr noundef nonnull align 8 dereferenceable(72) %2)
  invoke void @_ZN12_GLOBAL__N_119ExprVisitor_Extract10visit_rootERN3HIR8ExprNodeE(ptr noundef nonnull align 8 dereferenceable(56) %9, ptr noundef nonnull align 8 dereferenceable(28) %56)
          to label %57 unwind label %69

57:                                               ; preds = %52
  call void @_ZN3HIR11ExprVisitorD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %9) #8
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %9) #8
  call void @llvm.lifetime.start.p0(i64 96, ptr nonnull %10) #8
  invoke void @_ZN16MonomorphiserNopC2Ev(ptr noundef nonnull align 8 dereferenceable(96) %10)
          to label %58 unwind label %71

58:                                               ; preds = %57
  call void @llvm.lifetime.start.p0(i64 456, ptr nonnull %11) #8
  invoke void @_ZN12_GLOBAL__N_117ExprVisitor_FixupC2ERKN3HIR5CrateEPKNS1_13GenericParamsERK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(449) %11, ptr noundef nonnull align 8 dereferenceable(944) %0, ptr noundef null, ptr noundef nonnull align 8 dereferenceable(96) %10)
          to label %59 unwind label %73

59:                                               ; preds = %58
  invoke void @_ZN12_GLOBAL__N_117ExprVisitor_Fixup10visit_rootERN3HIR7ExprPtrE(ptr noundef nonnull align 8 dereferenceable(449) %11, ptr noundef nonnull align 8 dereferenceable(72) %2)
          to label %60 unwind label %75

60:                                               ; preds = %59
  invoke void @_ZN12_GLOBAL__N_117ExprVisitor_Fixup10visit_typeERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(449) %11, ptr noundef nonnull align 8 dereferenceable(8) %1)
          to label %61 unwind label %75

61:                                               ; preds = %60
  call void @_ZN12_GLOBAL__N_117ExprVisitor_FixupD2Ev(ptr noundef nonnull align 8 dereferenceable(449) %11) #8
  call void @llvm.lifetime.end.p0(i64 456, ptr nonnull %11) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %10) #8
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %10) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #8
  %62 = call ptr @_ZNSt6vectorISt4pairIN3HIR16ExprNode_Closure5ClassENS1_9TraitImplEESaIS5_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %7) #8
  store ptr %62, ptr %12, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #8
  %63 = call ptr @_ZNSt6vectorISt4pairIN3HIR16ExprNode_Closure5ClassENS1_9TraitImplEESaIS5_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %7) #8
  store ptr %63, ptr %13, align 8
  %64 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt4pairIN3HIR16ExprNode_Closure5ClassENS2_9TraitImplEESt6vectorIS6_SaIS6_EEEEbRKNS_17__normal_iteratorIT_T0_EESG_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  br i1 %64, label %.lr.ph73, label %._crit_edge74

._crit_edge74:                                    ; preds = %102, %61
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  %65 = getelementptr inbounds i8, ptr %7, i64 24
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #8
  %66 = call ptr @_ZNSt6vectorIN3HIR9TraitImplESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %65) #8
  store ptr %66, ptr %18, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #8
  %67 = call ptr @_ZNSt6vectorIN3HIR9TraitImplESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %65) #8
  store ptr %67, ptr %19, align 8
  %68 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  br i1 %68, label %.lr.ph79, label %._crit_edge80

69:                                               ; preds = %52
  %70 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR11ExprVisitorD2Ev(ptr noundef nonnull align 8 dereferenceable(56) %9) #8
  call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %9) #8
  br label %173

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

73:                                               ; preds = %58
  %74 = landingpad { ptr, i32 }
          cleanup
  br label %77

75:                                               ; preds = %60, %59
  %76 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN12_GLOBAL__N_117ExprVisitor_FixupD2Ev(ptr noundef nonnull align 8 dereferenceable(449) %11) #8
  br label %77

77:                                               ; preds = %75, %73
  %.pn = phi { ptr, i32 } [ %76, %75 ], [ %74, %73 ]
  call void @llvm.lifetime.end.p0(i64 456, ptr nonnull %11) #8
  call void @_ZN13MonomorphiserD2Ev(ptr noundef nonnull align 8 dereferenceable(96) %10) #8
  br label %78

78:                                               ; preds = %77, %71
  %.pn.pn = phi { ptr, i32 } [ %.pn, %77 ], [ %72, %71 ]
  call void @llvm.lifetime.end.p0(i64 96, ptr nonnull %10) #8
  br label %173

.lr.ph73:                                         ; preds = %61, %102
  %79 = call noundef nonnull align 8 dereferenceable(336) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPSt4pairIN3HIR16ExprNode_Closure5ClassENS2_9TraitImplEESt6vectorIS6_SaIS6_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %80 = getelementptr inbounds i8, ptr %79, i64 136
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #8
  %81 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %80) #8
  store ptr %81, ptr %14, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #8
  %82 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %80) #8
  store ptr %82, ptr %15, align 8
  %83 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEESB_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %15) #8
  br i1 %83, label %.lr.ph, label %._crit_edge

._crit_edge:                                      ; preds = %90, %.lr.ph73
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  %84 = call noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
  %85 = getelementptr inbounds i8, ptr %79, i64 328
  %86 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR10SimplePathaSERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %85, ptr noundef nonnull align 8 dereferenceable(8) %84)
          to label %102 unwind label %105

.lr.ph:                                           ; preds = %.lr.ph73, %90
  %87 = call noundef nonnull align 8 dereferenceable(368) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #8
  %88 = call noundef nonnull align 8 dereferenceable(60) ptr @_ZN3HIR12ExprStatePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
  invoke void @_ZN3HIR9ExprStateC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(60) %17, ptr noundef nonnull align 8 dereferenceable(60) %88)
          to label %89 unwind label %97

89:                                               ; preds = %.lr.ph
  invoke void @_ZN3HIR12ExprStatePtrC1ENS_9ExprStateE(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull %17)
          to label %90 unwind label %99

90:                                               ; preds = %89
  %91 = getelementptr inbounds i8, ptr %87, i64 328
  %92 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR12ExprStatePtraSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %91, ptr noundef nonnull align 8 dereferenceable(8) %16)
  call void @_ZN3HIR12ExprStatePtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #8
  %93 = call noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %91)
  %94 = getelementptr inbounds i8, ptr %93, i64 56
  store i32 4, ptr %94, align 8, !tbaa !19
  %95 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  %96 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEESB_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %15) #8
  br i1 %96, label %.lr.ph, label %._crit_edge

97:                                               ; preds = %.lr.ph
  %98 = landingpad { ptr, i32 }
          cleanup
  br label %101

99:                                               ; preds = %89
  %100 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %17) #8
  br label %101

101:                                              ; preds = %99, %97
  %.pn65 = phi { ptr, i32 } [ %100, %99 ], [ %98, %97 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  br label %107

102:                                              ; preds = %._crit_edge
  %103 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPSt4pairIN3HIR16ExprNode_Closure5ClassENS2_9TraitImplEESt6vectorIS6_SaIS6_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %104 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPSt4pairIN3HIR16ExprNode_Closure5ClassENS2_9TraitImplEESt6vectorIS6_SaIS6_EEEEbRKNS_17__normal_iteratorIT_T0_EESG_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  br i1 %104, label %.lr.ph73, label %._crit_edge74

105:                                              ; preds = %._crit_edge
  %106 = landingpad { ptr, i32 }
          cleanup
  br label %107

107:                                              ; preds = %105, %101
  %.pn65.pn = phi { ptr, i32 } [ %.pn65, %101 ], [ %106, %105 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  br label %173

._crit_edge80:                                    ; preds = %135, %._crit_edge74
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #8
  %108 = getelementptr inbounds i8, ptr %7, i64 48
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #8
  %109 = call ptr @_ZNSt6vectorIN3HIR9TraitImplESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %108) #8
  store ptr %109, ptr %24, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %25) #8
  %110 = call ptr @_ZNSt6vectorIN3HIR9TraitImplESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %108) #8
  store ptr %110, ptr %25, align 8
  %111 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  br i1 %111, label %.lr.ph85, label %._crit_edge86

.lr.ph79:                                         ; preds = %._crit_edge74, %135
  %112 = call noundef nonnull align 8 dereferenceable(328) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %18) #8
  %113 = getelementptr inbounds i8, ptr %112, i64 128
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #8
  %114 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %113) #8
  store ptr %114, ptr %20, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #8
  %115 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %113) #8
  store ptr %115, ptr %21, align 8
  %116 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEESB_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  br i1 %116, label %.lr.ph76, label %._crit_edge77

._crit_edge77:                                    ; preds = %123, %.lr.ph79
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #8
  %117 = call noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
  %118 = getelementptr inbounds i8, ptr %112, i64 320
  %119 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR10SimplePathaSERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %118, ptr noundef nonnull align 8 dereferenceable(8) %117)
          to label %135 unwind label %138

.lr.ph76:                                         ; preds = %.lr.ph79, %123
  %120 = call noundef nonnull align 8 dereferenceable(368) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #8
  %121 = call noundef nonnull align 8 dereferenceable(60) ptr @_ZN3HIR12ExprStatePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
  invoke void @_ZN3HIR9ExprStateC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(60) %23, ptr noundef nonnull align 8 dereferenceable(60) %121)
          to label %122 unwind label %130

122:                                              ; preds = %.lr.ph76
  invoke void @_ZN3HIR12ExprStatePtrC1ENS_9ExprStateE(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull %23)
          to label %123 unwind label %132

123:                                              ; preds = %122
  %124 = getelementptr inbounds i8, ptr %120, i64 328
  %125 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR12ExprStatePtraSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %124, ptr noundef nonnull align 8 dereferenceable(8) %22)
  call void @_ZN3HIR12ExprStatePtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %22) #8
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #8
  %126 = call noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %124)
  %127 = getelementptr inbounds i8, ptr %126, i64 56
  store i32 4, ptr %127, align 8, !tbaa !19
  %128 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  %129 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEESB_(ptr noundef nonnull align 8 dereferenceable(8) %20, ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  br i1 %129, label %.lr.ph76, label %._crit_edge77

130:                                              ; preds = %.lr.ph76
  %131 = landingpad { ptr, i32 }
          cleanup
  br label %134

132:                                              ; preds = %122
  %133 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %23) #8
  br label %134

134:                                              ; preds = %132, %130
  %.pn62 = phi { ptr, i32 } [ %133, %132 ], [ %131, %130 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #8
  br label %140

135:                                              ; preds = %._crit_edge77
  %136 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %18) #8
  %137 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  br i1 %137, label %.lr.ph79, label %._crit_edge80

138:                                              ; preds = %._crit_edge77
  %139 = landingpad { ptr, i32 }
          cleanup
  br label %140

140:                                              ; preds = %138, %134
  %.pn62.pn = phi { ptr, i32 } [ %.pn62, %134 ], [ %139, %138 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #8
  br label %173

._crit_edge86:                                    ; preds = %164, %._crit_edge80
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #8
  invoke void @_ZN12_GLOBAL__N_18OutState14push_new_implsERK4SpanRN3HIR5CrateE(ptr noundef nonnull align 8 dereferenceable(104) %7, ptr noundef nonnull align 8 dereferenceable(8) %4, ptr noundef nonnull align 8 dereferenceable(944) %0)
          to label %170 unwind label %171

.lr.ph85:                                         ; preds = %._crit_edge80, %164
  %141 = call noundef nonnull align 8 dereferenceable(328) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #8
  %142 = getelementptr inbounds i8, ptr %141, i64 128
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %26) #8
  %143 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE5beginEv(ptr noundef nonnull align 8 dereferenceable(48) %142) #8
  store ptr %143, ptr %26, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %27) #8
  %144 = call ptr @_ZNSt3mapI8RcStringN3HIR9TraitImpl7ImplEntINS1_8FunctionEEESt4lessIS0_ESaISt4pairIKS0_S5_EEE3endEv(ptr noundef nonnull align 8 dereferenceable(48) %142) #8
  store ptr %144, ptr %27, align 8
  %145 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEESB_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %27) #8
  br i1 %145, label %.lr.ph82, label %._crit_edge83

._crit_edge83:                                    ; preds = %152, %.lr.ph85
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #8
  %146 = call noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
  %147 = getelementptr inbounds i8, ptr %141, i64 320
  %148 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR10SimplePathaSERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %147, ptr noundef nonnull align 8 dereferenceable(8) %146)
          to label %164 unwind label %167

.lr.ph82:                                         ; preds = %.lr.ph85, %152
  %149 = call noundef nonnull align 8 dereferenceable(368) ptr @_ZNKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %28) #8
  %150 = call noundef nonnull align 8 dereferenceable(60) ptr @_ZN3HIR12ExprStatePtrdeEv(ptr noundef nonnull align 8 dereferenceable(8) %45)
  invoke void @_ZN3HIR9ExprStateC2ERKS0_(ptr noundef nonnull align 8 dereferenceable(60) %29, ptr noundef nonnull align 8 dereferenceable(60) %150)
          to label %151 unwind label %159

151:                                              ; preds = %.lr.ph82
  invoke void @_ZN3HIR12ExprStatePtrC1ENS_9ExprStateE(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull %29)
          to label %152 unwind label %161

152:                                              ; preds = %151
  %153 = getelementptr inbounds i8, ptr %149, i64 328
  %154 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN3HIR12ExprStatePtraSEOS0_(ptr noundef nonnull align 8 dereferenceable(8) %153, ptr noundef nonnull align 8 dereferenceable(8) %28)
  call void @_ZN3HIR12ExprStatePtrD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %28) #8
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %29) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #8
  %155 = call noundef ptr @_ZN3HIR12ExprStatePtrptEv(ptr noundef nonnull align 8 dereferenceable(8) %153)
  %156 = getelementptr inbounds i8, ptr %155, i64 56
  store i32 4, ptr %156, align 8, !tbaa !19
  %157 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZNSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %158 = call noundef zeroext i1 @_ZStneRKSt17_Rb_tree_iteratorISt4pairIK8RcStringN3HIR9TraitImpl7ImplEntINS3_8FunctionEEEEESB_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %27) #8
  br i1 %158, label %.lr.ph82, label %._crit_edge83

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

161:                                              ; preds = %151
  %162 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3HIR9ExprStateD2Ev(ptr noundef nonnull align 8 dereferenceable(60) %29) #8
  br label %163

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

164:                                              ; preds = %._crit_edge83
  %165 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #8
  %166 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3HIR9TraitImplESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 8 dereferenceable(8) %25) #8
  br i1 %166, label %.lr.ph85, label %._crit_edge86

167:                                              ; preds = %._crit_edge83
  %168 = landingpad { ptr, i32 }
          cleanup
  br label %169

169:                                              ; preds = %167, %163
  %.pn59.pn = phi { ptr, i32 } [ %.pn59, %163 ], [ %168, %167 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #8
  br label %173

170:                                              ; preds = %._crit_edge86
  call void @_ZN12_GLOBAL__N_18OutStateD2Ev(ptr noundef nonnull align 8 dereferenceable(104) %7) #8
  call void @llvm.lifetime.end.p0(i64 104, ptr nonnull %7) #8
  call void @_ZN18StaticTraitResolveD2Ev(ptr noundef nonnull align 8 dereferenceable(424) %6) #8
  call void @llvm.lifetime.end.p0(i64 424, ptr nonnull %6) #8
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %5) #8
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %5) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %4) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #8
  ret void

171:                                              ; preds = %._crit_edge86
  %172 = landingpad { ptr, i32 }
          cleanup
  br label %173

173:                                              ; preds = %171, %169, %140, %107, %78, %69
  %.pn65.pn.pn = phi { ptr, i32 } [ %.pn65.pn, %107 ], [ %.pn62.pn, %140 ], [ %.pn59.pn, %169 ], [ %172, %171 ], [ %.pn.pn, %78 ], [ %70, %69 ]
  call void @_ZN12_GLOBAL__N_18OutStateD2Ev(ptr noundef nonnull align 8 dereferenceable(104) %7) #8
  call void @llvm.lifetime.end.p0(i64 104, ptr nonnull %7) #8
  br label %174

174:                                              ; preds = %173, %42
  %.pn65.pn.pn.pn = phi { ptr, i32 } [ %.pn65.pn.pn, %173 ], [ %43, %42 ]
  call void @_ZN18StaticTraitResolveD2Ev(ptr noundef nonnull align 8 dereferenceable(424) %6) #8
  br label %175

175:                                              ; preds = %174, %40
  %.pn65.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn65.pn.pn.pn, %174 ], [ %41, %40 ]
  call void @llvm.lifetime.end.p0(i64 424, ptr nonnull %6) #8
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %5) #8
  br label %176

176:                                              ; preds = %175, %38
  %.pn65.pn.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn65.pn.pn.pn.pn, %175 ], [ %39, %38 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %5) #8
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %4) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %4) #8
  resume { ptr, i32 } %.pn65.pn.pn.pn.pn.pn
}

; 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 nounwind uwtable
declare dso_local void @_ZN4SpanC2Ev(ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #2 align 2

declare noundef zeroext i1 @_Z13debug_enabledv() local_unnamed_addr #3

declare i32 @__gxx_personality_v0(...)

declare void @_ZN8TraceLogC1EPKc(ptr noundef nonnull align 8 dereferenceable(40), ptr noundef) unnamed_addr #3

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN18StaticTraitResolveC2ERKN3HIR5CrateE(ptr noundef nonnull align 8 dereferenceable(424), ptr noundef nonnull align 8 dereferenceable(944)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare dso_local noundef zeroext i1 @_ZNK3HIR7ExprPtrcvbEv(ptr noundef nonnull align 8 dereferenceable(72)) local_unnamed_addr #0 align 2

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_18OutStateC2Ev(ptr noundef nonnull align 8 dereferenceable(104)) unnamed_addr #5 align 2

; Function Attrs: mustprogress nounwind uwtable
declare hidden noundef nonnull align 8 dereferenceable(32) ptr @"_ZNSt8functionIFSt4pairIN3HIR10SimplePathEPKNS1_8TypeItemEEPKcS8_S3_EEaSIZ24HIR_Expand_Closures_ExprRKNS1_5CrateERNS1_7TypeRefERNS1_7ExprPtrEE3$_0EENSt9enable_ifIXsrNSA_9_CallableIT_NSK_IXntsr7is_sameINSt9remove_cvINSt16remove_referenceISM_E4typeEE4typeESA_EE5valueESt5decayISM_EE4type4typeESt15__invoke_resultIRSX_JS8_S8_S3_EEEE5valueERSA_E4typeEOSM_"(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_119ExprVisitor_ExtractC2ERK18StaticTraitResolvePKN3HIR7TypeRefERKSt6vectorIS5_SaIS5_EERKNS4_7ExprPtrERNS_8OutStateEPKc(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(424), ptr noundef, ptr noundef nonnull align 8 dereferenceable(24), ptr noundef nonnull align 8 dereferenceable(72), ptr noundef nonnull align 8 dereferenceable(104), ptr noundef) unnamed_addr #2 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_119ExprVisitor_Extract10visit_rootERN3HIR8ExprNodeE(ptr noundef nonnull align 8 dereferenceable(56), ptr noundef nonnull align 8 dereferenceable(28)) local_unnamed_addr #0 align 2

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_117ExprVisitor_FixupC2ERKN3HIR5CrateEPKNS1_13GenericParamsERK13Monomorphiser(ptr noundef nonnull align 8 dereferenceable(449), ptr noundef nonnull align 8 dereferenceable(944), ptr noundef, ptr noundef nonnull align 8 dereferenceable(96)) unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_117ExprVisitor_Fixup10visit_rootERN3HIR7ExprPtrE(ptr noundef nonnull align 8 dereferenceable(449), ptr noundef nonnull align 8 dereferenceable(72)) local_unnamed_addr #0 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_117ExprVisitor_Fixup10visit_typeERN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(449), ptr noundef nonnull align 8 dereferenceable(8)) unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_117ExprVisitor_FixupD2Ev(ptr noundef nonnull align 8 dereferenceable(449)) unnamed_addr #5 align 2

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

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

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

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

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

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

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

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

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

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

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

declare void @_ZN3HIR12ExprStatePtrC1ENS_9ExprStateE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) unnamed_addr #3

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_18OutState14push_new_implsERK4SpanRN3HIR5CrateE(ptr noundef nonnull align 8 dereferenceable(104), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(944)) local_unnamed_addr #0 align 2

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare hidden void @_ZN12_GLOBAL__N_18OutStateD2Ev(ptr noundef nonnull align 8 dereferenceable(104)) unnamed_addr #5 align 2

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !9, i64 16}
!6 = !{!"_ZTSN3HIR9ExprStateE", !7, i64 0, !9, i64 8, !9, i64 16, !9, i64 24, !12, i64 32, !16, i64 56}
!7 = !{!"_ZTSN3HIR10SimplePathE", !8, i64 0}
!8 = !{!"_ZTS10ThinVectorI8RcStringE", !9, i64 0}
!9 = !{!"any pointer", !10, i64 0}
!10 = !{!"omnipotent char", !11, i64 0}
!11 = !{!"Simple C++ TBAA"}
!12 = !{!"_ZTSSt6vectorISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE", !13, i64 0}
!13 = !{!"_ZTSSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE", !14, i64 0}
!14 = !{!"_ZTSNSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE12_Vector_implE", !15, i64 0}
!15 = !{!"_ZTSNSt12_Vector_baseISt4pairIPKN3HIR10SimplePathEPKNS1_5TraitEESaIS8_EE17_Vector_impl_dataE", !9, i64 0, !9, i64 8, !9, i64 16}
!16 = !{!"_ZTSN3HIR9ExprState5StageE", !10, i64 0}
!17 = !{!6, !9, i64 24}
!18 = !{!9, !9, i64 0}
!19 = !{!6, !16, i64 56}


; Effective O3 passes: EarlyCSEPass,GlobalOptPass,InferFunctionAttrsPass,InstCombinePass,JumpThreadingPass,LoopRotatePass,LoopSimplifyPass,LoopUnrollPass,SROAPass,SimplifyCFGPass