; LLVM IR from thepowersgang/mrustc :: src/trans/trans_list.ll (ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.HIR::Path" = type { %"class.HIR::Path::Data" }
%"class.HIR::Path::Data" = type { i32, %"union.HIR::Path::Data::DataUnion" }
%"union.HIR::Path::Data::DataUnion" = type { %"struct.HIR::Path::Data::Data_UfcsKnown" }
%"struct.HIR::Path::Data::Data_UfcsKnown" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath", %class.RcString, %"struct.HIR::PathParams", %"class.std::unique_ptr" }
%"class.HIR::TypeRef" = type { ptr }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%class.RcString = type { ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.0, %class.ThinVector.1, %class.ThinVector.2 }
%class.ThinVector.0 = type { ptr }
%class.ThinVector.1 = type { ptr }
%class.ThinVector.2 = type { ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.4" }
%"struct.std::_Head_base.4" = 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.anon = type { ptr }
%struct.Span = type { ptr }
%class.anon.125 = type { i8 }
%struct.Trans_Params = type { %class.MonomorphiserPP, %struct.Span, ptr, %"struct.HIR::PathParams", %"struct.HIR::PathParams", %"class.HIR::TypeRef" }
%class.MonomorphiserPP = type { %class.Monomorphiser }
%class.Monomorphiser = type { ptr, ptr, %"class.HIR::ItemPath", %"class.std::vector.66" }
%"class.HIR::ItemPath" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr }
%"class.std::vector.66" = type { %"struct.std::_Vector_base.67" }
%"struct.std::_Vector_base.67" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl" = type { %"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" }
%"struct.std::_Vector_base<const HIR::GenericParams *, std::allocator<const HIR::GenericParams *>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.HIR::Path::Data::Data_UfcsInherent" = type { %"class.HIR::TypeRef", %class.RcString, %"struct.HIR::PathParams", %"struct.HIR::PathParams" }

@.str.2 = external hidden unnamed_addr constant [79 x i8], align 1
@__func__._ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE = external hidden unnamed_addr constant [10 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [39 x i8], align 1
@__PRETTY_FUNCTION__._ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE = external hidden unnamed_addr constant [93 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [17 x i8], align 1
@_ZTISt13runtime_error = external constant ptr

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

declare i32 @__gxx_personality_v0(...)

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

declare noundef zeroext i1 @_Z13debug_enabledv() #1

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE(ptr dead_on_unwind noalias writable sret(%"class.HIR::Path") align 8 %0, ptr noundef nonnull align 8 dereferenceable(168) %1, ptr noundef nonnull align 8 dereferenceable(424) %2, ptr noundef nonnull align 8 dereferenceable(88) %3) #3 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca ptr, align 8
  %6 = alloca ptr, align 8
  %7 = alloca ptr, align 8
  %8 = alloca ptr, align 8
  %9 = alloca %class.TraceLog, align 8
  %10 = alloca %"class.std::function", align 8
  %11 = alloca %class.anon, align 8
  %12 = alloca ptr, align 8
  %13 = alloca i32, align 4
  %14 = alloca i1, align 1
  %15 = alloca i8, align 1
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca i8, align 1
  %19 = alloca ptr, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca ptr, align 8
  %23 = alloca ptr, align 8
  %24 = alloca i8, align 1
  %25 = alloca ptr, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca ptr, align 8
  %29 = alloca ptr, align 8
  %30 = alloca ptr, align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, align 8
  %33 = alloca ptr, align 8
  %34 = alloca i8, align 1
  %35 = alloca ptr, align 8
  %36 = alloca ptr, align 8
  %37 = alloca ptr, align 8
  %38 = alloca ptr, align 8
  %39 = alloca ptr, align 8
  %40 = alloca ptr, align 8
  %41 = alloca ptr, align 8
  %42 = alloca ptr, align 8
  %43 = alloca ptr, align 8
  %44 = alloca i8, align 1
  %45 = alloca ptr, align 8
  %46 = alloca %struct.Span, align 8
  %47 = alloca %"class.std::function", align 8
  %48 = alloca %class.anon.125, align 1
  store ptr %0, ptr %5, align 8
  store ptr %1, ptr %6, align 8, !tbaa !5
  store ptr %2, ptr %7, align 8, !tbaa !5
  store ptr %3, ptr %8, align 8, !tbaa !5
  %49 = load ptr, ptr %6, align 8
  call void @llvm.lifetime.start.p0(i64 40, ptr %9) #7
  %50 = call noundef zeroext i1 @_Z13debug_enabledv()
  %51 = zext i1 %50 to i64
  %52 = select i1 %50, ptr @__func__._ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE, ptr null
  call void @llvm.lifetime.start.p0(i64 8, ptr %11) #7
  %53 = getelementptr inbounds %class.anon, ptr %11, i32 0, i32 0
  %54 = load ptr, ptr %8, align 8, !tbaa !5
  store ptr %54, ptr %53, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #7
  invoke void @_ZN8TraceLogC1EPKcSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(40) %9, ptr noundef %52, ptr noundef %10)
          to label %55 unwind label %63

55:                                               ; preds = %4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %10) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %11) #7
  store i1 false, ptr %14, align 1
  %56 = getelementptr inbounds %struct.Trans_Params, ptr %49, i32 0, i32 1
  %57 = load ptr, ptr %8, align 8, !tbaa !5
  invoke void @_ZNK13Monomorphiser14monomorph_pathERK4SpanRKN3HIR4PathEb(ptr dead_on_unwind writable sret(%"class.HIR::Path") align 8 %0, ptr noundef nonnull align 8 dereferenceable(96) %49, ptr noundef nonnull align 8 dereferenceable(8) %56, ptr noundef nonnull align 8 dereferenceable(88) %57, i1 noundef zeroext false)
          to label %58 unwind label %67

58:                                               ; preds = %55
  call void @llvm.lifetime.start.p0(i64 1, ptr %15) #7
  store i8 1, ptr %15, align 1, !tbaa !9
  br label %59

59:                                               ; preds = %408, %58
  %60 = load i8, ptr %15, align 1, !tbaa !9, !range !11, !noundef !12
  %61 = trunc i8 %60 to i1
  br i1 %61, label %71, label %62

62:                                               ; preds = %59
  store i32 2, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #7
  br label %409

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

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

71:                                               ; preds = %59
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #7
  %72 = getelementptr inbounds %"class.HIR::Path", ptr %0, i32 0, i32 0
  store ptr %72, ptr %17, align 8, !tbaa !5
  br label %73

73:                                               ; preds = %405, %71
  %74 = load i8, ptr %15, align 1, !tbaa !9, !range !11, !noundef !12
  %75 = trunc i8 %74 to i1
  br i1 %75, label %77, label %76

76:                                               ; preds = %73
  store i32 5, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  br label %407

77:                                               ; preds = %73
  %78 = load ptr, ptr %17, align 8, !tbaa !5
  %79 = invoke noundef i32 @_ZNK3HIR4Path4Data3tagEv(ptr noundef nonnull align 8 dereferenceable(88) %78)
          to label %80 unwind label %81

80:                                               ; preds = %77
  switch i32 %79, label %404 [
    i32 0, label %85
    i32 1, label %86
    i32 2, label %148
    i32 3, label %253
    i32 4, label %359
  ]

81:                                               ; preds = %77
  %82 = landingpad { ptr, i32 }
          cleanup
  %83 = extractvalue { ptr, i32 } %82, 0
  store ptr %83, ptr %12, align 8
  %84 = extractvalue { ptr, i32 } %82, 1
  store i32 %84, ptr %13, align 4
  br label %406

85:                                               ; preds = %80
  call void @__assert_fail(ptr noundef @.str.5, ptr noundef @.str.2, i32 noundef 62, ptr noundef @__PRETTY_FUNCTION__._ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE) #8
  unreachable

86:                                               ; preds = %80
  call void @llvm.lifetime.start.p0(i64 1, ptr %18) #7
  store i8 1, ptr %18, align 1, !tbaa !9
  br label %87

87:                                               ; preds = %146, %86
  %88 = load i8, ptr %18, align 1, !tbaa !9, !range !11, !noundef !12
  %89 = trunc i8 %88 to i1
  br i1 %89, label %91, label %90

90:                                               ; preds = %87
  store i32 9, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #7
  br label %147

91:                                               ; preds = %87
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #7
  %92 = load ptr, ptr %17, align 8, !tbaa !5
  %93 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZN3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %92)
          to label %94 unwind label %100

94:                                               ; preds = %91
  store ptr %93, ptr %19, align 8, !tbaa !5
  br label %95

95:                                               ; preds = %143, %94
  %96 = load ptr, ptr %19, align 8, !tbaa !5
  %97 = load i8, ptr %18, align 1, !tbaa !9, !range !11, !noundef !12
  %98 = trunc i8 %97 to i1
  br i1 %98, label %104, label %99

99:                                               ; preds = %95
  store i32 12, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #7
  br label %145

100:                                              ; preds = %91
  %101 = landingpad { ptr, i32 }
          cleanup
  %102 = extractvalue { ptr, i32 } %101, 0
  store ptr %102, ptr %12, align 8
  %103 = extractvalue { ptr, i32 } %101, 1
  store i32 %103, ptr %13, align 4
  br label %144

104:                                              ; preds = %95
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #7
  %105 = load ptr, ptr %19, align 8, !tbaa !5
  %106 = getelementptr inbounds %"class.HIR::GenericPath", ptr %105, i32 0, i32 1
  %107 = getelementptr inbounds %"struct.HIR::PathParams", ptr %106, i32 0, i32 1
  store ptr %107, ptr %20, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #7
  %108 = load ptr, ptr %20, align 8, !tbaa !5
  %109 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %108)
          to label %110 unwind label %119

110:                                              ; preds = %104
  store ptr %109, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #7
  %111 = load ptr, ptr %20, align 8, !tbaa !5
  %112 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %111)
          to label %113 unwind label %123

113:                                              ; preds = %110
  store ptr %112, ptr %22, align 8, !tbaa !5
  br label %114

114:                                              ; preds = %133, %113
  %115 = load ptr, ptr %21, align 8, !tbaa !5
  %116 = load ptr, ptr %22, align 8, !tbaa !5
  %117 = icmp ne ptr %115, %116
  br i1 %117, label %127, label %118

118:                                              ; preds = %114
  store i32 15, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #7
  br label %142

119:                                              ; preds = %104
  %120 = landingpad { ptr, i32 }
          cleanup
  %121 = extractvalue { ptr, i32 } %120, 0
  store ptr %121, ptr %12, align 8
  %122 = extractvalue { ptr, i32 } %120, 1
  store i32 %122, ptr %13, align 4
  br label %141

123:                                              ; preds = %110
  %124 = landingpad { ptr, i32 }
          cleanup
  %125 = extractvalue { ptr, i32 } %124, 0
  store ptr %125, ptr %12, align 8
  %126 = extractvalue { ptr, i32 } %124, 1
  store i32 %126, ptr %13, align 4
  br label %140

127:                                              ; preds = %114
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #7
  %128 = load ptr, ptr %21, align 8, !tbaa !5
  store ptr %128, ptr %23, align 8, !tbaa !5
  %129 = load ptr, ptr %7, align 8, !tbaa !5
  %130 = getelementptr inbounds %struct.Trans_Params, ptr %49, i32 0, i32 1
  %131 = load ptr, ptr %23, align 8, !tbaa !5
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %129, ptr noundef nonnull align 8 dereferenceable(8) %130, ptr noundef nonnull align 8 dereferenceable(8) %131)
          to label %132 unwind label %136

132:                                              ; preds = %127
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  br label %133

133:                                              ; preds = %132
  %134 = load ptr, ptr %21, align 8, !tbaa !5
  %135 = getelementptr inbounds %"class.HIR::TypeRef", ptr %134, i32 1
  store ptr %135, ptr %21, align 8, !tbaa !5
  br label %114

136:                                              ; preds = %127
  %137 = landingpad { ptr, i32 }
          cleanup
  %138 = extractvalue { ptr, i32 } %137, 0
  store ptr %138, ptr %12, align 8
  %139 = extractvalue { ptr, i32 } %137, 1
  store i32 %139, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #7
  br label %140

140:                                              ; preds = %136, %123
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #7
  br label %141

141:                                              ; preds = %140, %119
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #7
  br label %144

142:                                              ; preds = %118
  br label %143

143:                                              ; preds = %142
  store i8 0, ptr %18, align 1, !tbaa !9
  br label %95, !llvm.loop !13

144:                                              ; preds = %141, %100
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %18) #7
  br label %406

145:                                              ; preds = %99
  br label %146

146:                                              ; preds = %145
  store i8 0, ptr %18, align 1, !tbaa !9
  br label %87, !llvm.loop !15

147:                                              ; preds = %90
  br label %404

148:                                              ; preds = %80
  call void @llvm.lifetime.start.p0(i64 1, ptr %24) #7
  store i8 1, ptr %24, align 1, !tbaa !9
  br label %149

149:                                              ; preds = %251, %148
  %150 = load i8, ptr %24, align 1, !tbaa !9, !range !11, !noundef !12
  %151 = trunc i8 %150 to i1
  br i1 %151, label %153, label %152

152:                                              ; preds = %149
  store i32 17, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %24) #7
  br label %252

153:                                              ; preds = %149
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #7
  %154 = load ptr, ptr %17, align 8, !tbaa !5
  %155 = invoke noundef nonnull align 8 dereferenceable(64) ptr @_ZN3HIR4Path4Data15as_UfcsInherentEv(ptr noundef nonnull align 8 dereferenceable(88) %154)
          to label %156 unwind label %162

156:                                              ; preds = %153
  store ptr %155, ptr %25, align 8, !tbaa !5
  br label %157

157:                                              ; preds = %248, %156
  %158 = load ptr, ptr %25, align 8, !tbaa !5
  %159 = load i8, ptr %24, align 1, !tbaa !9, !range !11, !noundef !12
  %160 = trunc i8 %159 to i1
  br i1 %160, label %166, label %161

161:                                              ; preds = %157
  store i32 20, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  br label %250

162:                                              ; preds = %166, %153
  %163 = landingpad { ptr, i32 }
          cleanup
  %164 = extractvalue { ptr, i32 } %163, 0
  store ptr %164, ptr %12, align 8
  %165 = extractvalue { ptr, i32 } %163, 1
  store i32 %165, ptr %13, align 4
  br label %249

166:                                              ; preds = %157
  %167 = load ptr, ptr %7, align 8, !tbaa !5
  %168 = getelementptr inbounds %struct.Trans_Params, ptr %49, i32 0, i32 1
  %169 = load ptr, ptr %25, align 8, !tbaa !5
  %170 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsInherent", ptr %169, i32 0, i32 0
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %167, ptr noundef nonnull align 8 dereferenceable(8) %168, ptr noundef nonnull align 8 dereferenceable(8) %170)
          to label %171 unwind label %162

171:                                              ; preds = %166
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #7
  %172 = load ptr, ptr %25, align 8, !tbaa !5
  %173 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsInherent", ptr %172, i32 0, i32 2
  %174 = getelementptr inbounds %"struct.HIR::PathParams", ptr %173, i32 0, i32 1
  store ptr %174, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #7
  %175 = load ptr, ptr %26, align 8, !tbaa !5
  %176 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %175)
          to label %177 unwind label %186

177:                                              ; preds = %171
  store ptr %176, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #7
  %178 = load ptr, ptr %26, align 8, !tbaa !5
  %179 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %178)
          to label %180 unwind label %190

180:                                              ; preds = %177
  store ptr %179, ptr %28, align 8, !tbaa !5
  br label %181

181:                                              ; preds = %200, %180
  %182 = load ptr, ptr %27, align 8, !tbaa !5
  %183 = load ptr, ptr %28, align 8, !tbaa !5
  %184 = icmp ne ptr %182, %183
  br i1 %184, label %194, label %185

185:                                              ; preds = %181
  store i32 23, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #7
  br label %209

186:                                              ; preds = %171
  %187 = landingpad { ptr, i32 }
          cleanup
  %188 = extractvalue { ptr, i32 } %187, 0
  store ptr %188, ptr %12, align 8
  %189 = extractvalue { ptr, i32 } %187, 1
  store i32 %189, ptr %13, align 4
  br label %208

190:                                              ; preds = %177
  %191 = landingpad { ptr, i32 }
          cleanup
  %192 = extractvalue { ptr, i32 } %191, 0
  store ptr %192, ptr %12, align 8
  %193 = extractvalue { ptr, i32 } %191, 1
  store i32 %193, ptr %13, align 4
  br label %207

194:                                              ; preds = %181
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #7
  %195 = load ptr, ptr %27, align 8, !tbaa !5
  store ptr %195, ptr %29, align 8, !tbaa !5
  %196 = load ptr, ptr %7, align 8, !tbaa !5
  %197 = getelementptr inbounds %struct.Trans_Params, ptr %49, i32 0, i32 1
  %198 = load ptr, ptr %29, align 8, !tbaa !5
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %196, ptr noundef nonnull align 8 dereferenceable(8) %197, ptr noundef nonnull align 8 dereferenceable(8) %198)
          to label %199 unwind label %203

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

200:                                              ; preds = %199
  %201 = load ptr, ptr %27, align 8, !tbaa !5
  %202 = getelementptr inbounds %"class.HIR::TypeRef", ptr %201, i32 1
  store ptr %202, ptr %27, align 8, !tbaa !5
  br label %181

203:                                              ; preds = %194
  %204 = landingpad { ptr, i32 }
          cleanup
  %205 = extractvalue { ptr, i32 } %204, 0
  store ptr %205, ptr %12, align 8
  %206 = extractvalue { ptr, i32 } %204, 1
  store i32 %206, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #7
  br label %207

207:                                              ; preds = %203, %190
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #7
  br label %208

208:                                              ; preds = %207, %186
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #7
  br label %249

209:                                              ; preds = %185
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #7
  %210 = load ptr, ptr %25, align 8, !tbaa !5
  %211 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsInherent", ptr %210, i32 0, i32 3
  %212 = getelementptr inbounds %"struct.HIR::PathParams", ptr %211, i32 0, i32 1
  store ptr %212, ptr %30, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #7
  %213 = load ptr, ptr %30, align 8, !tbaa !5
  %214 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %213)
          to label %215 unwind label %224

215:                                              ; preds = %209
  store ptr %214, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #7
  %216 = load ptr, ptr %30, align 8, !tbaa !5
  %217 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %216)
          to label %218 unwind label %228

218:                                              ; preds = %215
  store ptr %217, ptr %32, align 8, !tbaa !5
  br label %219

219:                                              ; preds = %238, %218
  %220 = load ptr, ptr %31, align 8, !tbaa !5
  %221 = load ptr, ptr %32, align 8, !tbaa !5
  %222 = icmp ne ptr %220, %221
  br i1 %222, label %232, label %223

223:                                              ; preds = %219
  store i32 25, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  br label %247

224:                                              ; preds = %209
  %225 = landingpad { ptr, i32 }
          cleanup
  %226 = extractvalue { ptr, i32 } %225, 0
  store ptr %226, ptr %12, align 8
  %227 = extractvalue { ptr, i32 } %225, 1
  store i32 %227, ptr %13, align 4
  br label %246

228:                                              ; preds = %215
  %229 = landingpad { ptr, i32 }
          cleanup
  %230 = extractvalue { ptr, i32 } %229, 0
  store ptr %230, ptr %12, align 8
  %231 = extractvalue { ptr, i32 } %229, 1
  store i32 %231, ptr %13, align 4
  br label %245

232:                                              ; preds = %219
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #7
  %233 = load ptr, ptr %31, align 8, !tbaa !5
  store ptr %233, ptr %33, align 8, !tbaa !5
  %234 = load ptr, ptr %7, align 8, !tbaa !5
  %235 = getelementptr inbounds %struct.Trans_Params, ptr %49, i32 0, i32 1
  %236 = load ptr, ptr %33, align 8, !tbaa !5
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %234, ptr noundef nonnull align 8 dereferenceable(8) %235, ptr noundef nonnull align 8 dereferenceable(8) %236)
          to label %237 unwind label %241

237:                                              ; preds = %232
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  br label %238

238:                                              ; preds = %237
  %239 = load ptr, ptr %31, align 8, !tbaa !5
  %240 = getelementptr inbounds %"class.HIR::TypeRef", ptr %239, i32 1
  store ptr %240, ptr %31, align 8, !tbaa !5
  br label %219

241:                                              ; preds = %232
  %242 = landingpad { ptr, i32 }
          cleanup
  %243 = extractvalue { ptr, i32 } %242, 0
  store ptr %243, ptr %12, align 8
  %244 = extractvalue { ptr, i32 } %242, 1
  store i32 %244, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #7
  br label %245

245:                                              ; preds = %241, %228
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #7
  br label %246

246:                                              ; preds = %245, %224
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #7
  br label %249

247:                                              ; preds = %223
  br label %248

248:                                              ; preds = %247
  store i8 0, ptr %24, align 1, !tbaa !9
  br label %157, !llvm.loop !16

249:                                              ; preds = %246, %208, %162
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %24) #7
  br label %406

250:                                              ; preds = %161
  br label %251

251:                                              ; preds = %250
  store i8 0, ptr %24, align 1, !tbaa !9
  br label %149, !llvm.loop !17

252:                                              ; preds = %152
  br label %404

253:                                              ; preds = %80
  call void @llvm.lifetime.start.p0(i64 1, ptr %34) #7
  store i8 1, ptr %34, align 1, !tbaa !9
  br label %254

254:                                              ; preds = %357, %253
  %255 = load i8, ptr %34, align 1, !tbaa !9, !range !11, !noundef !12
  %256 = trunc i8 %255 to i1
  br i1 %256, label %258, label %257

257:                                              ; preds = %254
  store i32 27, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #7
  br label %358

258:                                              ; preds = %254
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #7
  %259 = load ptr, ptr %17, align 8, !tbaa !5
  %260 = invoke noundef nonnull align 8 dereferenceable(80) ptr @_ZN3HIR4Path4Data12as_UfcsKnownEv(ptr noundef nonnull align 8 dereferenceable(88) %259)
          to label %261 unwind label %267

261:                                              ; preds = %258
  store ptr %260, ptr %35, align 8, !tbaa !5
  br label %262

262:                                              ; preds = %354, %261
  %263 = load ptr, ptr %35, align 8, !tbaa !5
  %264 = load i8, ptr %34, align 1, !tbaa !9, !range !11, !noundef !12
  %265 = trunc i8 %264 to i1
  br i1 %265, label %271, label %266

266:                                              ; preds = %262
  store i32 30, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  br label %356

267:                                              ; preds = %271, %258
  %268 = landingpad { ptr, i32 }
          cleanup
  %269 = extractvalue { ptr, i32 } %268, 0
  store ptr %269, ptr %12, align 8
  %270 = extractvalue { ptr, i32 } %268, 1
  store i32 %270, ptr %13, align 4
  br label %355

271:                                              ; preds = %262
  %272 = load ptr, ptr %7, align 8, !tbaa !5
  %273 = getelementptr inbounds %struct.Trans_Params, ptr %49, i32 0, i32 1
  %274 = load ptr, ptr %35, align 8, !tbaa !5
  %275 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %274, i32 0, i32 0
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %272, ptr noundef nonnull align 8 dereferenceable(8) %273, ptr noundef nonnull align 8 dereferenceable(8) %275)
          to label %276 unwind label %267

276:                                              ; preds = %271
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #7
  %277 = load ptr, ptr %35, align 8, !tbaa !5
  %278 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %277, i32 0, i32 1
  %279 = getelementptr inbounds %"class.HIR::GenericPath", ptr %278, i32 0, i32 1
  %280 = getelementptr inbounds %"struct.HIR::PathParams", ptr %279, i32 0, i32 1
  store ptr %280, ptr %36, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #7
  %281 = load ptr, ptr %36, align 8, !tbaa !5
  %282 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %281)
          to label %283 unwind label %292

283:                                              ; preds = %276
  store ptr %282, ptr %37, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #7
  %284 = load ptr, ptr %36, align 8, !tbaa !5
  %285 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %284)
          to label %286 unwind label %296

286:                                              ; preds = %283
  store ptr %285, ptr %38, align 8, !tbaa !5
  br label %287

287:                                              ; preds = %306, %286
  %288 = load ptr, ptr %37, align 8, !tbaa !5
  %289 = load ptr, ptr %38, align 8, !tbaa !5
  %290 = icmp ne ptr %288, %289
  br i1 %290, label %300, label %291

291:                                              ; preds = %287
  store i32 33, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #7
  br label %315

292:                                              ; preds = %276
  %293 = landingpad { ptr, i32 }
          cleanup
  %294 = extractvalue { ptr, i32 } %293, 0
  store ptr %294, ptr %12, align 8
  %295 = extractvalue { ptr, i32 } %293, 1
  store i32 %295, ptr %13, align 4
  br label %314

296:                                              ; preds = %283
  %297 = landingpad { ptr, i32 }
          cleanup
  %298 = extractvalue { ptr, i32 } %297, 0
  store ptr %298, ptr %12, align 8
  %299 = extractvalue { ptr, i32 } %297, 1
  store i32 %299, ptr %13, align 4
  br label %313

300:                                              ; preds = %287
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #7
  %301 = load ptr, ptr %37, align 8, !tbaa !5
  store ptr %301, ptr %39, align 8, !tbaa !5
  %302 = load ptr, ptr %7, align 8, !tbaa !5
  %303 = getelementptr inbounds %struct.Trans_Params, ptr %49, i32 0, i32 1
  %304 = load ptr, ptr %39, align 8, !tbaa !5
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %302, ptr noundef nonnull align 8 dereferenceable(8) %303, ptr noundef nonnull align 8 dereferenceable(8) %304)
          to label %305 unwind label %309

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

306:                                              ; preds = %305
  %307 = load ptr, ptr %37, align 8, !tbaa !5
  %308 = getelementptr inbounds %"class.HIR::TypeRef", ptr %307, i32 1
  store ptr %308, ptr %37, align 8, !tbaa !5
  br label %287

309:                                              ; preds = %300
  %310 = landingpad { ptr, i32 }
          cleanup
  %311 = extractvalue { ptr, i32 } %310, 0
  store ptr %311, ptr %12, align 8
  %312 = extractvalue { ptr, i32 } %310, 1
  store i32 %312, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #7
  br label %313

313:                                              ; preds = %309, %296
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #7
  br label %314

314:                                              ; preds = %313, %292
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #7
  br label %355

315:                                              ; preds = %291
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #7
  %316 = load ptr, ptr %35, align 8, !tbaa !5
  %317 = getelementptr inbounds %"struct.HIR::Path::Data::Data_UfcsKnown", ptr %316, i32 0, i32 3
  %318 = getelementptr inbounds %"struct.HIR::PathParams", ptr %317, i32 0, i32 1
  store ptr %318, ptr %40, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #7
  %319 = load ptr, ptr %40, align 8, !tbaa !5
  %320 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %319)
          to label %321 unwind label %330

321:                                              ; preds = %315
  store ptr %320, ptr %41, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #7
  %322 = load ptr, ptr %40, align 8, !tbaa !5
  %323 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %322)
          to label %324 unwind label %334

324:                                              ; preds = %321
  store ptr %323, ptr %42, align 8, !tbaa !5
  br label %325

325:                                              ; preds = %344, %324
  %326 = load ptr, ptr %41, align 8, !tbaa !5
  %327 = load ptr, ptr %42, align 8, !tbaa !5
  %328 = icmp ne ptr %326, %327
  br i1 %328, label %338, label %329

329:                                              ; preds = %325
  store i32 35, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  br label %353

330:                                              ; preds = %315
  %331 = landingpad { ptr, i32 }
          cleanup
  %332 = extractvalue { ptr, i32 } %331, 0
  store ptr %332, ptr %12, align 8
  %333 = extractvalue { ptr, i32 } %331, 1
  store i32 %333, ptr %13, align 4
  br label %352

334:                                              ; preds = %321
  %335 = landingpad { ptr, i32 }
          cleanup
  %336 = extractvalue { ptr, i32 } %335, 0
  store ptr %336, ptr %12, align 8
  %337 = extractvalue { ptr, i32 } %335, 1
  store i32 %337, ptr %13, align 4
  br label %351

338:                                              ; preds = %325
  call void @llvm.lifetime.start.p0(i64 8, ptr %43) #7
  %339 = load ptr, ptr %41, align 8, !tbaa !5
  store ptr %339, ptr %43, align 8, !tbaa !5
  %340 = load ptr, ptr %7, align 8, !tbaa !5
  %341 = getelementptr inbounds %struct.Trans_Params, ptr %49, i32 0, i32 1
  %342 = load ptr, ptr %43, align 8, !tbaa !5
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %340, ptr noundef nonnull align 8 dereferenceable(8) %341, ptr noundef nonnull align 8 dereferenceable(8) %342)
          to label %343 unwind label %347

343:                                              ; preds = %338
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #7
  br label %344

344:                                              ; preds = %343
  %345 = load ptr, ptr %41, align 8, !tbaa !5
  %346 = getelementptr inbounds %"class.HIR::TypeRef", ptr %345, i32 1
  store ptr %346, ptr %41, align 8, !tbaa !5
  br label %325

347:                                              ; preds = %338
  %348 = landingpad { ptr, i32 }
          cleanup
  %349 = extractvalue { ptr, i32 } %348, 0
  store ptr %349, ptr %12, align 8
  %350 = extractvalue { ptr, i32 } %348, 1
  store i32 %350, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %43) #7
  br label %351

351:                                              ; preds = %347, %334
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #7
  br label %352

352:                                              ; preds = %351, %330
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #7
  br label %355

353:                                              ; preds = %329
  br label %354

354:                                              ; preds = %353
  store i8 0, ptr %34, align 1, !tbaa !9
  br label %262, !llvm.loop !18

355:                                              ; preds = %352, %314, %267
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %34) #7
  br label %406

356:                                              ; preds = %266
  br label %357

357:                                              ; preds = %356
  store i8 0, ptr %34, align 1, !tbaa !9
  br label %254, !llvm.loop !19

358:                                              ; preds = %257
  br label %404

359:                                              ; preds = %80
  call void @llvm.lifetime.start.p0(i64 1, ptr %44) #7
  store i8 1, ptr %44, align 1, !tbaa !9
  br label %360

360:                                              ; preds = %402, %359
  %361 = load i8, ptr %44, align 1, !tbaa !9, !range !11, !noundef !12
  %362 = trunc i8 %361 to i1
  br i1 %362, label %364, label %363

363:                                              ; preds = %360
  store i32 37, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #7
  br label %403

364:                                              ; preds = %360
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #7
  %365 = load ptr, ptr %17, align 8, !tbaa !5
  %366 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3HIR4Path4Data14as_UfcsUnknownEv(ptr noundef nonnull align 8 dereferenceable(88) %365)
          to label %367 unwind label %373

367:                                              ; preds = %364
  store ptr %366, ptr %45, align 8, !tbaa !5
  br label %368

368:                                              ; preds = %399, %367
  %369 = load ptr, ptr %45, align 8, !tbaa !5
  %370 = load i8, ptr %44, align 1, !tbaa !9, !range !11, !noundef !12
  %371 = trunc i8 %370 to i1
  br i1 %371, label %377, label %372

372:                                              ; preds = %368
  store i32 40, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #7
  br label %401

373:                                              ; preds = %383, %364
  %374 = landingpad { ptr, i32 }
          cleanup
  %375 = extractvalue { ptr, i32 } %374, 0
  store ptr %375, ptr %12, align 8
  %376 = extractvalue { ptr, i32 } %374, 1
  store i32 %376, ptr %13, align 4
  br label %400

377:                                              ; preds = %368
  br label %378

378:                                              ; preds = %377
  call void @llvm.lifetime.start.p0(i64 8, ptr %46) #7
  %379 = getelementptr inbounds %struct.Trans_Params, ptr %49, i32 0, i32 1
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %46, ptr noundef nonnull align 8 dereferenceable(8) %379)
          to label %380 unwind label %384

380:                                              ; preds = %378
  call void @llvm.lifetime.start.p0(i64 1, ptr %48) #7
  call void @"_ZNSt8functionIFvRSoEEC2IZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %47, ptr noundef nonnull align 1 dereferenceable(1) %48) #7
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %46, ptr noundef %47)
          to label %381 unwind label %388

381:                                              ; preds = %380
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %47) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %48) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %46) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #7
  %382 = call ptr @__cxa_allocate_exception(i64 16) #7
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %382, ptr noundef @.str.6)
          to label %383 unwind label %393

383:                                              ; preds = %381
  invoke void @__cxa_throw(ptr %382, ptr @_ZTISt13runtime_error, ptr @_ZNSt13runtime_errorD1Ev) #9
          to label %420 unwind label %373

384:                                              ; preds = %378
  %385 = landingpad { ptr, i32 }
          cleanup
  %386 = extractvalue { ptr, i32 } %385, 0
  store ptr %386, ptr %12, align 8
  %387 = extractvalue { ptr, i32 } %385, 1
  store i32 %387, ptr %13, align 4
  br label %392

388:                                              ; preds = %380
  %389 = landingpad { ptr, i32 }
          cleanup
  %390 = extractvalue { ptr, i32 } %389, 0
  store ptr %390, ptr %12, align 8
  %391 = extractvalue { ptr, i32 } %389, 1
  store i32 %391, ptr %13, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %47) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %48) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %46) #7
  br label %392

392:                                              ; preds = %388, %384
  call void @llvm.lifetime.end.p0(i64 8, ptr %46) #7
  br label %400

393:                                              ; preds = %381
  %394 = landingpad { ptr, i32 }
          cleanup
  %395 = extractvalue { ptr, i32 } %394, 0
  store ptr %395, ptr %12, align 8
  %396 = extractvalue { ptr, i32 } %394, 1
  store i32 %396, ptr %13, align 4
  call void @__cxa_free_exception(ptr %382) #7
  br label %400

397:                                              ; No predecessors!
  br label %398

398:                                              ; preds = %397
  br label %399

399:                                              ; preds = %398
  store i8 0, ptr %44, align 1, !tbaa !9
  br label %368, !llvm.loop !20

400:                                              ; preds = %393, %392, %373
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %44) #7
  br label %406

401:                                              ; preds = %372
  br label %402

402:                                              ; preds = %401
  store i8 0, ptr %44, align 1, !tbaa !9
  br label %360, !llvm.loop !21

403:                                              ; preds = %363
  br label %404

404:                                              ; preds = %403, %358, %252, %147, %80
  br label %405

405:                                              ; preds = %404
  store i8 0, ptr %15, align 1, !tbaa !9
  br label %73, !llvm.loop !22

406:                                              ; preds = %400, %355, %249, %144, %81
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr %15) #7
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %0) #7
  br label %413

407:                                              ; preds = %76
  br label %408

408:                                              ; preds = %407
  store i8 0, ptr %15, align 1, !tbaa !9
  br label %59, !llvm.loop !23

409:                                              ; preds = %62
  store i1 true, ptr %14, align 1
  store i32 1, ptr %16, align 4
  %410 = load i1, ptr %14, align 1
  br i1 %410, label %412, label %411

411:                                              ; preds = %409
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %0) #7
  br label %412

412:                                              ; preds = %411, %409
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %9) #7
  call void @llvm.lifetime.end.p0(i64 40, ptr %9) #7
  ret void

413:                                              ; preds = %406, %67
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %9) #7
  br label %414

414:                                              ; preds = %413, %63
  call void @llvm.lifetime.end.p0(i64 40, ptr %9) #7
  br label %415

415:                                              ; preds = %414
  %416 = load ptr, ptr %12, align 8
  %417 = load i32, ptr %13, align 4
  %418 = insertvalue { ptr, i32 } poison, ptr %416, 0
  %419 = insertvalue { ptr, i32 } %418, i32 %417, 1
  resume { ptr, i32 } %419

420:                                              ; preds = %383
  unreachable
}

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

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

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

declare void @_ZNK13Monomorphiser14monomorph_pathERK4SpanRKN3HIR4PathEb(ptr dead_on_unwind writable sret(%"class.HIR::Path") align 8, ptr noundef nonnull align 8 dereferenceable(96), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(88), i1 noundef zeroext) #1

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

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

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

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

declare void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #1

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

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

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

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

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

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

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

declare ptr @__cxa_allocate_exception(i64)

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

declare void @__cxa_free_exception(ptr)

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

declare void @__cxa_throw(ptr, ptr, ptr)

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"bool", !7, i64 0}
!11 = !{i8 0, i8 2}
!12 = !{}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}
!16 = distinct !{!16, !14}
!17 = distinct !{!17, !14}
!18 = distinct !{!18, !14}
!19 = distinct !{!19, !14}
!20 = distinct !{!20, !14}
!21 = distinct !{!21, !14}
!22 = distinct !{!22, !14}
!23 = distinct !{!23, !14}


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

%"class.HIR::Path" = type { %"class.HIR::Path::Data" }
%"class.HIR::Path::Data" = type { i32, %"union.HIR::Path::Data::DataUnion" }
%"union.HIR::Path::Data::DataUnion" = type { %"struct.HIR::Path::Data::Data_UfcsKnown" }
%"struct.HIR::Path::Data::Data_UfcsKnown" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath", %class.RcString, %"struct.HIR::PathParams", %"class.std::unique_ptr" }
%"class.HIR::TypeRef" = type { ptr }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%"struct.HIR::SimplePath" = type { %class.ThinVector }
%class.ThinVector = type { ptr }
%class.RcString = type { ptr }
%"struct.HIR::PathParams" = type { %class.ThinVector.0, %class.ThinVector.1, %class.ThinVector.2 }
%class.ThinVector.0 = type { ptr }
%class.ThinVector.1 = type { ptr }
%class.ThinVector.2 = type { ptr }
%"class.std::unique_ptr" = type { %"struct.std::__uniq_ptr_data" }
%"struct.std::__uniq_ptr_data" = type { %"class.std::__uniq_ptr_impl" }
%"class.std::__uniq_ptr_impl" = type { %"class.std::tuple" }
%"class.std::tuple" = type { %"struct.std::_Tuple_impl" }
%"struct.std::_Tuple_impl" = type { %"struct.std::_Head_base.4" }
%"struct.std::_Head_base.4" = 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.anon = type { ptr }
%struct.Span = type { ptr }
%class.anon.125 = type { i8 }

@.str.2 = external hidden unnamed_addr constant [79 x i8], align 1
@__func__._ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE = external hidden unnamed_addr constant [10 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [39 x i8], align 1
@__PRETTY_FUNCTION__._ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE = external hidden unnamed_addr constant [93 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [17 x i8], align 1
@_ZTISt13runtime_error = external constant ptr

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

declare i32 @__gxx_personality_v0(...)

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

declare noundef zeroext i1 @_Z13debug_enabledv() local_unnamed_addr #1

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

; Function Attrs: mustprogress uwtable
define dso_local void @_ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE(ptr dead_on_unwind noalias writable sret(%"class.HIR::Path") align 8 %0, ptr noundef nonnull align 8 dereferenceable(168) %1, ptr noundef nonnull align 8 dereferenceable(424) %2, ptr noundef nonnull align 8 dereferenceable(88) %3) local_unnamed_addr #3 align 2 personality ptr @__gxx_personality_v0 {
  %5 = alloca %class.TraceLog, align 8
  %6 = alloca %"class.std::function", align 8
  %7 = alloca %class.anon, align 8
  %8 = alloca %struct.Span, align 8
  %9 = alloca %"class.std::function", align 8
  %10 = alloca %class.anon.125, align 1
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %5) #7
  %11 = tail call noundef zeroext i1 @_Z13debug_enabledv()
  %12 = select i1 %11, ptr @__func__._ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE, ptr null
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %7) #7
  store ptr %3, ptr %7, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %6, ptr noundef nonnull align 8 dereferenceable(8) %7) #7
  invoke void @_ZN8TraceLogC1EPKcSt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(40) %5, ptr noundef %12, ptr noundef nonnull %6)
          to label %13 unwind label %15

13:                                               ; preds = %4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #7
  %14 = getelementptr inbounds i8, ptr %1, i64 96
  invoke void @_ZNK13Monomorphiser14monomorph_pathERK4SpanRKN3HIR4PathEb(ptr dead_on_unwind writable sret(%"class.HIR::Path") align 8 %0, ptr noundef nonnull align 8 dereferenceable(96) %1, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(88) %3, i1 noundef zeroext false)
          to label %.lr.ph281 unwind label %17

.loopexit137:                                     ; preds = %60, %45, %30, %.lr.ph281, %.preheader, %.preheader121, %.preheader124
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %5) #7
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %5) #7
  ret void

15:                                               ; preds = %4
  %16 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %6) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %7) #7
  br label %80

17:                                               ; preds = %13
  %18 = landingpad { ptr, i32 }
          cleanup
  br label %79

.lr.ph281:                                        ; preds = %13
  %19 = call noundef i32 @_ZNK3HIR4Path4Data3tagEv(ptr noundef nonnull align 8 dereferenceable(88) %0)
  switch i32 %19, label %.loopexit137 [
    i32 0, label %28
    i32 1, label %.preheader130
    i32 2, label %.preheader132
    i32 3, label %.preheader134
    i32 4, label %63
  ]

.preheader134:                                    ; preds = %.lr.ph281
  %20 = call noundef nonnull align 8 dereferenceable(80) ptr @_ZN3HIR4Path4Data12as_UfcsKnownEv(ptr noundef nonnull align 8 dereferenceable(88) %0)
  %21 = getelementptr inbounds i8, ptr %20, i64 56
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %2, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %20)
          to label %49 unwind label %.split.split

.preheader132:                                    ; preds = %.lr.ph281
  %22 = call noundef nonnull align 8 dereferenceable(64) ptr @_ZN3HIR4Path4Data15as_UfcsInherentEv(ptr noundef nonnull align 8 dereferenceable(88) %0)
  %23 = getelementptr inbounds i8, ptr %22, i64 48
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %2, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %22)
          to label %34 unwind label %.split204.split

.preheader130:                                    ; preds = %.lr.ph281
  %24 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZN3HIR4Path4Data10as_GenericEv(ptr noundef nonnull align 8 dereferenceable(88) %0)
  %25 = getelementptr inbounds i8, ptr %24, i64 16
  %26 = call noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %25)
  %27 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %25)
          to label %.preheader unwind label %.split262.split

28:                                               ; preds = %.lr.ph281
  call void @__assert_fail(ptr noundef nonnull @.str.5, ptr noundef nonnull @.str.2, i32 noundef 62, ptr noundef nonnull @__PRETTY_FUNCTION__._ZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathE) #8
  unreachable

.preheader:                                       ; preds = %.preheader130
  %.not115256 = icmp eq ptr %26, %27
  br i1 %.not115256, label %.loopexit137, label %.lr.ph258

.split262.split:                                  ; preds = %.preheader130
  %29 = landingpad { ptr, i32 }
          cleanup
  br label %78

.lr.ph258:                                        ; preds = %.preheader, %30
  %.092257 = phi ptr [ %31, %30 ], [ %26, %.preheader ]
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %2, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %.092257)
          to label %30 unwind label %.split265.split

30:                                               ; preds = %.lr.ph258
  %31 = getelementptr inbounds i8, ptr %.092257, i64 8
  %.not115 = icmp eq ptr %31, %27
  br i1 %.not115, label %.loopexit137, label %.lr.ph258

.split265.split:                                  ; preds = %.lr.ph258
  %32 = landingpad { ptr, i32 }
          cleanup
  br label %78

.split204.split:                                  ; preds = %.preheader132
  %33 = landingpad { ptr, i32 }
          cleanup
  br label %78

34:                                               ; preds = %.preheader132
  %35 = getelementptr inbounds i8, ptr %22, i64 24
  %36 = call noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %35)
  %37 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %35)
          to label %.preheader123 unwind label %.split207.split

.preheader123:                                    ; preds = %34
  %.not108194 = icmp eq ptr %36, %37
  br i1 %.not108194, label %._crit_edge197, label %.lr.ph196

._crit_edge197:                                   ; preds = %41, %.preheader123
  %38 = call noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %23)
  %39 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %23)
          to label %.preheader121 unwind label %.split213.split

.preheader121:                                    ; preds = %._crit_edge197
  %.not109198 = icmp eq ptr %38, %39
  br i1 %.not109198, label %.loopexit137, label %.lr.ph200

.split207.split:                                  ; preds = %34
  %40 = landingpad { ptr, i32 }
          cleanup
  br label %78

.lr.ph196:                                        ; preds = %.preheader123, %41
  %.097195 = phi ptr [ %42, %41 ], [ %36, %.preheader123 ]
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %2, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %.097195)
          to label %41 unwind label %.split210.split

41:                                               ; preds = %.lr.ph196
  %42 = getelementptr inbounds i8, ptr %.097195, i64 8
  %.not108 = icmp eq ptr %42, %37
  br i1 %.not108, label %._crit_edge197, label %.lr.ph196

.split210.split:                                  ; preds = %.lr.ph196
  %43 = landingpad { ptr, i32 }
          cleanup
  br label %78

.split213.split:                                  ; preds = %._crit_edge197
  %44 = landingpad { ptr, i32 }
          cleanup
  br label %78

.lr.ph200:                                        ; preds = %.preheader121, %45
  %.098199 = phi ptr [ %46, %45 ], [ %38, %.preheader121 ]
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %2, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %.098199)
          to label %45 unwind label %.split216.split

45:                                               ; preds = %.lr.ph200
  %46 = getelementptr inbounds i8, ptr %.098199, i64 8
  %.not109 = icmp eq ptr %46, %39
  br i1 %.not109, label %.loopexit137, label %.lr.ph200

.split216.split:                                  ; preds = %.lr.ph200
  %47 = landingpad { ptr, i32 }
          cleanup
  br label %78

.split.split:                                     ; preds = %.preheader134
  %48 = landingpad { ptr, i32 }
          cleanup
  br label %78

49:                                               ; preds = %.preheader134
  %50 = getelementptr inbounds i8, ptr %20, i64 24
  %51 = call noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %50)
  %52 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %50)
          to label %.preheader126 unwind label %.split147.split

.preheader126:                                    ; preds = %49
  %.not139 = icmp eq ptr %51, %52
  br i1 %.not139, label %._crit_edge, label %.lr.ph

._crit_edge:                                      ; preds = %56, %.preheader126
  %53 = call noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE5beginEv(ptr noundef nonnull align 8 dereferenceable(8) %21)
  %54 = invoke noundef ptr @_ZN10ThinVectorIN3HIR7TypeRefEE3endEv(ptr noundef nonnull align 8 dereferenceable(8) %21)
          to label %.preheader124 unwind label %.split153.split

.preheader124:                                    ; preds = %._crit_edge
  %.not102141 = icmp eq ptr %53, %54
  br i1 %.not102141, label %.loopexit137, label %.lr.ph143

.split147.split:                                  ; preds = %49
  %55 = landingpad { ptr, i32 }
          cleanup
  br label %78

.lr.ph:                                           ; preds = %.preheader126, %56
  %.091140 = phi ptr [ %57, %56 ], [ %51, %.preheader126 ]
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %2, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %.091140)
          to label %56 unwind label %.split150.split

56:                                               ; preds = %.lr.ph
  %57 = getelementptr inbounds i8, ptr %.091140, i64 8
  %.not = icmp eq ptr %57, %52
  br i1 %.not, label %._crit_edge, label %.lr.ph

.split150.split:                                  ; preds = %.lr.ph
  %58 = landingpad { ptr, i32 }
          cleanup
  br label %78

.split153.split:                                  ; preds = %._crit_edge
  %59 = landingpad { ptr, i32 }
          cleanup
  br label %78

.lr.ph143:                                        ; preds = %.preheader124, %60
  %.086142 = phi ptr [ %61, %60 ], [ %53, %.preheader124 ]
  invoke void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424) %2, ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %.086142)
          to label %60 unwind label %.split156.split

60:                                               ; preds = %.lr.ph143
  %61 = getelementptr inbounds i8, ptr %.086142, i64 8
  %.not102 = icmp eq ptr %61, %54
  br i1 %.not102, label %.loopexit137, label %.lr.ph143

.split156.split:                                  ; preds = %.lr.ph143
  %62 = landingpad { ptr, i32 }
          cleanup
  br label %78

63:                                               ; preds = %.lr.ph281
  %64 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3HIR4Path4Data14as_UfcsUnknownEv(ptr noundef nonnull align 8 dereferenceable(88) %0)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #7
  invoke void @_ZN4SpanC1ERKS_(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull align 8 dereferenceable(8) %14)
          to label %67 unwind label %71

65:                                               ; preds = %70
  %66 = landingpad { ptr, i32 }
          cleanup
  br label %78

67:                                               ; preds = %63
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %10) #7
  call void @"_ZNSt8functionIFvRSoEEC2IZNK12Trans_Params9monomorphERK18StaticTraitResolveRKN3HIR4PathEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 1 dereferenceable(1) %10) #7
  invoke void @_ZNK4Span3bugESt8functionIFvRSoEE(ptr noundef nonnull align 8 dereferenceable(8) %8, ptr noundef nonnull %9)
          to label %68 unwind label %73

68:                                               ; preds = %67
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %10) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #7
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #7
  %69 = call ptr @__cxa_allocate_exception(i64 16) #7
  invoke void @_ZNSt13runtime_errorC1EPKc(ptr noundef nonnull align 8 dereferenceable(16) %69, ptr noundef nonnull @.str.6)
          to label %70 unwind label %76

70:                                               ; preds = %68
  invoke void @__cxa_throw(ptr nonnull %69, ptr nonnull @_ZTISt13runtime_error, ptr nonnull @_ZNSt13runtime_errorD1Ev) #9
          to label %81 unwind label %65

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

73:                                               ; preds = %67
  %74 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #7
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %10) #7
  call void @_ZN4SpanD1Ev(ptr noundef nonnull align 8 dereferenceable(8) %8) #7
  br label %75

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

76:                                               ; preds = %68
  %77 = landingpad { ptr, i32 }
          cleanup
  call void @__cxa_free_exception(ptr %69) #7
  br label %78

78:                                               ; preds = %65, %75, %76, %.split.split, %.split150.split, %.split147.split, %.split156.split, %.split153.split, %.split204.split, %.split210.split, %.split207.split, %.split216.split, %.split213.split, %.split262.split, %.split265.split
  %.pn100.pn = phi { ptr, i32 } [ %32, %.split265.split ], [ %29, %.split262.split ], [ %33, %.split204.split ], [ %43, %.split210.split ], [ %40, %.split207.split ], [ %47, %.split216.split ], [ %44, %.split213.split ], [ %48, %.split.split ], [ %58, %.split150.split ], [ %55, %.split147.split ], [ %62, %.split156.split ], [ %59, %.split153.split ], [ %66, %65 ], [ %77, %76 ], [ %.pn, %75 ]
  call void @_ZN3HIR4PathD2Ev(ptr noundef nonnull align 8 dereferenceable(88) %0) #7
  br label %79

79:                                               ; preds = %78, %17
  %.pn100.pn.pn = phi { ptr, i32 } [ %.pn100.pn, %78 ], [ %18, %17 ]
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %5) #7
  br label %80

80:                                               ; preds = %79, %15
  %.pn100.pn.pn.pn = phi { ptr, i32 } [ %.pn100.pn.pn, %79 ], [ %16, %15 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %5) #7
  resume { ptr, i32 } %.pn100.pn.pn.pn

81:                                               ; preds = %70
  unreachable
}

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

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

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

declare void @_ZNK13Monomorphiser14monomorph_pathERK4SpanRKN3HIR4PathEb(ptr dead_on_unwind writable sret(%"class.HIR::Path") align 8, ptr noundef nonnull align 8 dereferenceable(96), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(88), i1 noundef zeroext) local_unnamed_addr #1

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

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

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

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

declare void @_ZNK18StaticTraitResolve23expand_associated_typesERK4SpanRN3HIR7TypeRefE(ptr noundef nonnull align 8 dereferenceable(424), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

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

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

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

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

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

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

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

declare ptr @__cxa_allocate_exception(i64) local_unnamed_addr

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

declare void @__cxa_free_exception(ptr) local_unnamed_addr

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

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

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

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

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

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

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}


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