; LLVM IR from thepowersgang/mrustc :: src/mir/optimise.ll (Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)

; 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.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.98 = type { i8 }
%class.anon.100 = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.std::function.143" = type { %"class.std::_Function_base", ptr }
%class.anon.146 = type { ptr, ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.147" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.148" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.188" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.189" = type { ptr }
%"class.std::vector.25" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%"class.std::allocator.190" = type { i8 }
%"class.std::vector.111" = type { %"struct.std::_Vector_base.112" }
%"struct.std::_Vector_base.112" = 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 }
%"class.std::allocator.113" = type { i8 }
%"struct.std::_Bit_reference" = type { ptr, i64 }
%"class.std::function.193" = type { %"class.std::_Function_base", ptr }
%class.anon.196 = type { ptr, ptr, ptr }
%"struct.MIR::BasicBlock" = type { %"class.std::vector.101", %"class.MIR::Terminator" }
%"class.std::vector.101" = type { %"struct.std::_Vector_base.102" }
%"struct.std::_Vector_base.102" = type { %"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::Terminator" = type { i32, %"union.MIR::Terminator::DataUnion" }
%"union.MIR::Terminator::DataUnion" = type { %"struct.MIR::Terminator::Data_Call" }
%"struct.MIR::Terminator::Data_Call" = type { i32, i32, %"struct.MIR::LValue", %"class.MIR::CallTarget", %"class.std::vector.138" }
%"struct.MIR::LValue" = type { %"class.MIR::LValue::Storage", %"class.std::vector.106" }
%"class.MIR::LValue::Storage" = type { i64 }
%"class.std::vector.106" = type { %"struct.std::_Vector_base.107" }
%"struct.std::_Vector_base.107" = type { %"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::CallTarget" = type { i32, %"union.MIR::CallTarget::DataUnion" }
%"union.MIR::CallTarget::DataUnion" = type { %"class.HIR::Path" }
%"class.HIR::Path" = type { %"class.HIR::Path::Data" }
%"class.HIR::Path::Data" = type { i32, %"union.HIR::Path::Data::DataUnion" }
%"union.HIR::Path::Data::DataUnion" = type { %"struct.HIR::Path::Data::Data_UfcsKnown" }
%"struct.HIR::Path::Data::Data_UfcsKnown" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath", %class.RcString, %"struct.HIR::PathParams", %"class.std::unique_ptr" }
%"class.HIR::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.133, %class.ThinVector.134, %class.ThinVector.135 }
%class.ThinVector.133 = type { ptr }
%class.ThinVector.134 = type { ptr }
%class.ThinVector.135 = 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.137" }
%"struct.std::_Head_base.137" = type { ptr }
%"class.std::vector.138" = type { %"struct.std::_Vector_base.139" }
%"struct.std::_Vector_base.139" = type { %"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"struct.MIR::Terminator::Data_Incomplete" = type { i8 }
%"struct.MIR::Terminator::Data_Return" = type { i8 }
%"struct.MIR::Terminator::Data_Diverge" = type { i8 }
%"class.MIR::Function" = type { %"class.std::vector.20", %"class.std::vector.25", %"class.std::vector.29", %"class.MIR::EnumCachePtr" }
%"class.std::vector.20" = type { %"struct.std::_Vector_base.21" }
%"struct.std::_Vector_base.21" = type { %"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl" }
%"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl" = type { %"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl_data" }
%"struct.std::_Vector_base<HIR::TypeRef, std::allocator<HIR::TypeRef>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.29" = type { %"struct.std::_Vector_base.30" }
%"struct.std::_Vector_base.30" = type { %"struct.std::_Vector_base<MIR::BasicBlock, std::allocator<MIR::BasicBlock>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::BasicBlock, std::allocator<MIR::BasicBlock>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::BasicBlock, std::allocator<MIR::BasicBlock>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::BasicBlock, std::allocator<MIR::BasicBlock>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::EnumCachePtr" = type { ptr }
%"struct.MIR::Terminator::Data_Switch" = type { %"struct.MIR::LValue", %"class.std::vector.111" }
%"struct.MIR::Statement::Data_ScopeEnd" = type { %"class.std::vector.111" }

@__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE = external hidden unnamed_addr constant [27 x i8], align 1
@g_debug_indent_level = external global i32, align 4
@.str = external hidden unnamed_addr constant [3 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [75 x i8], align 1
@__PRETTY_FUNCTION__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE = external hidden unnamed_addr constant [73 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [12 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

declare noundef zeroext i1 @_Z13debug_enabledv() #1

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE(ptr noundef nonnull align 8 dereferenceable(120) %0, ptr noundef nonnull align 8 dereferenceable(96) %1) #2 personality ptr @__gxx_personality_v0 {
  %3 = alloca ptr, align 8
  %4 = alloca ptr, align 8
  %5 = alloca i8, align 1
  %6 = alloca %class.TraceLog, align 8
  %7 = alloca %"class.std::function", align 8
  %8 = alloca %class.anon.98, align 1
  %9 = alloca %"class.std::function", align 8
  %10 = alloca %class.anon.100, align 8
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca ptr, align 8
  %14 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %15 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %16 = alloca i32, align 4
  %17 = alloca ptr, align 8
  %18 = alloca %"class.std::function.143", align 8
  %19 = alloca %class.anon.146, align 8
  %20 = alloca ptr, align 8
  %21 = alloca ptr, align 8
  %22 = alloca %"class.__gnu_cxx::__normal_iterator.147", align 8
  %23 = alloca %"class.__gnu_cxx::__normal_iterator.147", align 8
  %24 = alloca ptr, align 8
  %25 = alloca i64, align 8
  %26 = alloca ptr, align 8
  %27 = alloca ptr, align 8
  %28 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %29 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %30 = alloca ptr, align 8
  %31 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %32 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %33 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %34 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %35 = alloca ptr, align 8
  %36 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %37 = alloca ptr, align 8
  %38 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %39 = alloca ptr, align 8
  %40 = alloca %"class.__gnu_cxx::__normal_iterator.188", align 8
  %41 = alloca %"class.__gnu_cxx::__normal_iterator.188", align 8
  %42 = alloca i32, align 4
  %43 = alloca %"class.__gnu_cxx::__normal_iterator.147", align 8
  %44 = alloca %"class.__gnu_cxx::__normal_iterator.147", align 8
  %45 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %46 = alloca %"class.__gnu_cxx::__normal_iterator.189", align 8
  %47 = alloca %"class.std::vector.25", align 8
  %48 = alloca %"class.std::allocator.190", align 1
  %49 = alloca %"class.std::vector.111", align 8
  %50 = alloca %"class.std::allocator.113", align 1
  %51 = alloca %"class.std::vector.111", align 8
  %52 = alloca i32, align 4
  %53 = alloca i32, align 4
  %54 = alloca %"struct.std::_Bit_reference", align 8
  %55 = alloca %"struct.std::_Bit_reference", align 8
  %56 = alloca ptr, align 8
  %57 = alloca %"class.std::function.193", align 8
  %58 = alloca %class.anon.196, align 8
  %59 = alloca i32, align 4
  %60 = alloca ptr, align 8
  %61 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %62 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %63 = alloca ptr, align 8
  %64 = alloca %"struct.std::_Bit_reference", align 8
  %65 = alloca i32, align 4
  %66 = alloca %"struct.MIR::BasicBlock", align 8
  %67 = alloca %"class.MIR::Terminator", align 8
  %68 = alloca %"struct.MIR::Terminator::Data_Incomplete", align 1
  %69 = alloca ptr, align 8
  %70 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %71 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %72 = alloca ptr, align 8
  %73 = alloca ptr, align 8
  %74 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %75 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %76 = alloca ptr, align 8
  %77 = alloca i32, align 4
  %78 = alloca %"class.MIR::Terminator", align 8
  %79 = alloca %"struct.MIR::Terminator::Data_Return", align 1
  %80 = alloca %"class.MIR::Terminator", align 8
  %81 = alloca %"struct.MIR::Terminator::Data_Diverge", align 1
  store ptr %0, ptr %3, align 8, !tbaa !5
  store ptr %1, ptr %4, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 1, ptr %5) #9
  store i8 0, ptr %5, align 1, !tbaa !9
  call void @llvm.lifetime.start.p0(i64 40, ptr %6) #9
  %82 = call noundef zeroext i1 @_Z13debug_enabledv()
  %83 = zext i1 %82 to i64
  %84 = select i1 %82, ptr @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE, ptr null
  call void @llvm.lifetime.start.p0(i64 1, ptr %8) #9
  call void @"_ZNSt8functionIFvRSoEEC2IZ26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS4_8FunctionEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 1 dereferenceable(1) %8) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %10) #9
  %85 = getelementptr inbounds %class.anon.100, ptr %10, i32 0, i32 0
  store ptr %5, ptr %85, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZ26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS4_8FunctionEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #9
  invoke void @_ZN8TraceLogC1EPKcSt8functionIFvRSoEES5_(ptr noundef nonnull align 8 dereferenceable(40) %6, ptr noundef %84, ptr noundef %7, ptr noundef %9)
          to label %86 unwind label %98

86:                                               ; preds = %2
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #9
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %13) #9
  %87 = load ptr, ptr %4, align 8, !tbaa !5
  %88 = getelementptr inbounds %"class.MIR::Function", ptr %87, i32 0, i32 2
  store ptr %88, ptr %13, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #9
  %89 = load ptr, ptr %13, align 8, !tbaa !5
  %90 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %89) #9
  %91 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %14, i32 0, i32 0
  store ptr %90, ptr %91, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #9
  %92 = load ptr, ptr %13, align 8, !tbaa !5
  %93 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %92) #9
  %94 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %15, i32 0, i32 0
  store ptr %93, ptr %94, align 8
  br label %95

95:                                               ; preds = %253, %86
  %96 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %14, ptr noundef nonnull align 8 dereferenceable(8) %15) #9
  br i1 %96, label %102, label %97

97:                                               ; preds = %95
  store i32 2, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  br label %257

98:                                               ; preds = %2
  %99 = landingpad { ptr, i32 }
          cleanup
  %100 = extractvalue { ptr, i32 } %99, 0
  store ptr %100, ptr %11, align 8
  %101 = extractvalue { ptr, i32 } %99, 1
  store i32 %101, ptr %12, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %9) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %10) #9
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %8) #9
  br label %806

102:                                              ; preds = %95
  call void @llvm.lifetime.start.p0(i64 8, ptr %17) #9
  %103 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #9
  store ptr %103, ptr %17, align 8, !tbaa !5
  %104 = load ptr, ptr %17, align 8, !tbaa !5
  %105 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %104, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 32, ptr %19) #9
  %106 = getelementptr inbounds %class.anon.146, ptr %19, i32 0, i32 0
  %107 = load ptr, ptr %4, align 8, !tbaa !5
  store ptr %107, ptr %106, align 8, !tbaa !5
  %108 = getelementptr inbounds %class.anon.146, ptr %19, i32 0, i32 1
  %109 = load ptr, ptr %17, align 8, !tbaa !5
  store ptr %109, ptr %108, align 8, !tbaa !5
  %110 = getelementptr inbounds %class.anon.146, ptr %19, i32 0, i32 2
  %111 = load ptr, ptr %3, align 8, !tbaa !5
  store ptr %111, ptr %110, align 8, !tbaa !5
  %112 = getelementptr inbounds %class.anon.146, ptr %19, i32 0, i32 3
  store ptr %5, ptr %112, align 8, !tbaa !5
  invoke void @"_ZNSt8functionIFvRjEEC2IZ26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS4_8FunctionEE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %18, ptr noundef nonnull align 8 dereferenceable(32) %19)
          to label %113 unwind label %133

113:                                              ; preds = %102
  invoke void @_ZN12_GLOBAL__N_127visit_terminator_target_mutERN3MIR10TerminatorESt8functionIFvRjEE(ptr noundef nonnull align 8 dereferenceable(168) %105, ptr noundef %18)
          to label %114 unwind label %137

114:                                              ; preds = %113
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #9
  %115 = load ptr, ptr %17, align 8, !tbaa !5
  %116 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %115, i32 0, i32 1
  %117 = invoke noundef ptr @_ZN3MIR10Terminator10opt_SwitchEv(ptr noundef nonnull align 8 dereferenceable(168) %116)
          to label %118 unwind label %142

118:                                              ; preds = %114
  store ptr %117, ptr %20, align 8, !tbaa !5
  %119 = load ptr, ptr %20, align 8, !tbaa !5
  %120 = icmp ne ptr %119, null
  br i1 %120, label %121, label %252

121:                                              ; preds = %118
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #9
  %122 = load ptr, ptr %20, align 8, !tbaa !5
  %123 = getelementptr inbounds %"struct.MIR::Terminator::Data_Switch", ptr %122, i32 0, i32 1
  store ptr %123, ptr %21, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #9
  %124 = load ptr, ptr %21, align 8, !tbaa !5
  %125 = call ptr @_ZNSt6vectorIjSaIjEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %124) #9
  %126 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.147", ptr %22, i32 0, i32 0
  store ptr %125, ptr %126, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %23) #9
  %127 = load ptr, ptr %21, align 8, !tbaa !5
  %128 = call ptr @_ZNSt6vectorIjSaIjEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %127) #9
  %129 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.147", ptr %23, i32 0, i32 0
  store ptr %128, ptr %129, align 8
  br label %130

130:                                              ; preds = %248, %121
  %131 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %22, ptr noundef nonnull align 8 dereferenceable(8) %23) #9
  br i1 %131, label %146, label %132

132:                                              ; preds = %130
  store i32 4, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #9
  br label %251

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

137:                                              ; preds = %113
  %138 = landingpad { ptr, i32 }
          cleanup
  %139 = extractvalue { ptr, i32 } %138, 0
  store ptr %139, ptr %11, align 8
  %140 = extractvalue { ptr, i32 } %138, 1
  store i32 %140, ptr %12, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %18) #9
  br label %141

141:                                              ; preds = %137, %133
  call void @llvm.lifetime.end.p0(i64 32, ptr %19) #9
  br label %256

142:                                              ; preds = %114
  %143 = landingpad { ptr, i32 }
          cleanup
  %144 = extractvalue { ptr, i32 } %143, 0
  store ptr %144, ptr %11, align 8
  %145 = extractvalue { ptr, i32 } %143, 1
  store i32 %145, ptr %12, align 4
  br label %255

146:                                              ; preds = %130
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #9
  %147 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #9
  store ptr %147, ptr %24, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #9
  %148 = load ptr, ptr %24, align 8, !tbaa !5
  %149 = load ptr, ptr %20, align 8, !tbaa !5
  %150 = getelementptr inbounds %"struct.MIR::Terminator::Data_Switch", ptr %149, i32 0, i32 1
  %151 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEE5frontEv(ptr noundef nonnull align 8 dereferenceable(24) %150) #9
  %152 = ptrtoint ptr %148 to i64
  %153 = ptrtoint ptr %151 to i64
  %154 = sub i64 %152, %153
  %155 = sdiv exact i64 %154, 4
  store i64 %155, ptr %25, align 8, !tbaa !11
  %156 = load ptr, ptr %4, align 8, !tbaa !5
  %157 = getelementptr inbounds %"class.MIR::Function", ptr %156, i32 0, i32 2
  %158 = load ptr, ptr %24, align 8, !tbaa !5
  %159 = load i32, ptr %158, align 4, !tbaa !13
  %160 = zext i32 %159 to i64
  %161 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %157, i64 noundef %160) #9
  %162 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %161, i32 0, i32 0
  %163 = call noundef zeroext i1 @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %162) #9
  br i1 %163, label %164, label %247

164:                                              ; preds = %146
  %165 = load ptr, ptr %4, align 8, !tbaa !5
  %166 = getelementptr inbounds %"class.MIR::Function", ptr %165, i32 0, i32 2
  %167 = load ptr, ptr %24, align 8, !tbaa !5
  %168 = load i32, ptr %167, align 4, !tbaa !13
  %169 = zext i32 %168 to i64
  %170 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %166, i64 noundef %169) #9
  %171 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %170, i32 0, i32 1
  %172 = invoke noundef zeroext i1 @_ZNK3MIR10Terminator9is_SwitchEv(ptr noundef nonnull align 8 dereferenceable(168) %171)
          to label %173 unwind label %229

173:                                              ; preds = %164
  br i1 %172, label %174, label %247

174:                                              ; preds = %173
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #9
  %175 = load ptr, ptr %4, align 8, !tbaa !5
  %176 = getelementptr inbounds %"class.MIR::Function", ptr %175, i32 0, i32 2
  %177 = load ptr, ptr %24, align 8, !tbaa !5
  %178 = load i32, ptr %177, align 4, !tbaa !13
  %179 = zext i32 %178 to i64
  %180 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %176, i64 noundef %179) #9
  %181 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %180, i32 0, i32 1
  %182 = invoke noundef nonnull align 8 dereferenceable(56) ptr @_ZN3MIR10Terminator9as_SwitchEv(ptr noundef nonnull align 8 dereferenceable(168) %181)
          to label %183 unwind label %233

183:                                              ; preds = %174
  store ptr %182, ptr %26, align 8, !tbaa !5
  %184 = load ptr, ptr %26, align 8, !tbaa !5
  %185 = getelementptr inbounds %"struct.MIR::Terminator::Data_Switch", ptr %184, i32 0, i32 0
  %186 = load ptr, ptr %20, align 8, !tbaa !5
  %187 = getelementptr inbounds %"struct.MIR::Terminator::Data_Switch", ptr %186, i32 0, i32 0
  %188 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %185, ptr noundef nonnull align 8 dereferenceable(32) %187)
          to label %189 unwind label %233

189:                                              ; preds = %183
  br i1 %188, label %190, label %246

190:                                              ; preds = %189
  br label %191

191:                                              ; preds = %190
  %192 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %193 unwind label %233

193:                                              ; preds = %191
  br i1 %192, label %194, label %237

194:                                              ; preds = %193
  %195 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %196 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %195, ptr noundef @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %197 unwind label %233

197:                                              ; preds = %194
  %198 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %196, ptr noundef @.str)
          to label %199 unwind label %233

199:                                              ; preds = %197
  %200 = load ptr, ptr %17, align 8, !tbaa !5
  %201 = load ptr, ptr %4, align 8, !tbaa !5
  %202 = getelementptr inbounds %"class.MIR::Function", ptr %201, i32 0, i32 2
  %203 = call noundef ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %202) #9
  %204 = ptrtoint ptr %200 to i64
  %205 = ptrtoint ptr %203 to i64
  %206 = sub i64 %204, %205
  %207 = sdiv exact i64 %206, 192
  %208 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEl(ptr noundef nonnull align 8 dereferenceable(8) %198, i64 noundef %207)
          to label %209 unwind label %233

209:                                              ; preds = %199
  %210 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %208, ptr noundef @.str.1)
          to label %211 unwind label %233

211:                                              ; preds = %209
  %212 = load ptr, ptr %24, align 8, !tbaa !5
  %213 = load i32, ptr %212, align 4, !tbaa !13
  %214 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %210, i32 noundef %213)
          to label %215 unwind label %233

215:                                              ; preds = %211
  %216 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %214, ptr noundef @.str.2)
          to label %217 unwind label %233

217:                                              ; preds = %215
  %218 = load ptr, ptr %26, align 8, !tbaa !5
  %219 = getelementptr inbounds %"struct.MIR::Terminator::Data_Switch", ptr %218, i32 0, i32 1
  %220 = load i64, ptr %25, align 8, !tbaa !11
  %221 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %219, i64 noundef %220) #9
  %222 = load i32, ptr %221, align 4, !tbaa !13
  %223 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %216, i32 noundef %222)
          to label %224 unwind label %233

224:                                              ; preds = %217
  %225 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %223, ptr noundef @_ZSt3decRSt8ios_base)
          to label %226 unwind label %233

226:                                              ; preds = %224
  %227 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %225, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %228 unwind label %233

228:                                              ; preds = %226
  br label %237

229:                                              ; preds = %164
  %230 = landingpad { ptr, i32 }
          cleanup
  %231 = extractvalue { ptr, i32 } %230, 0
  store ptr %231, ptr %11, align 8
  %232 = extractvalue { ptr, i32 } %230, 1
  store i32 %232, ptr %12, align 4
  br label %250

233:                                              ; preds = %226, %224, %217, %215, %211, %209, %199, %197, %194, %191, %183, %174
  %234 = landingpad { ptr, i32 }
          cleanup
  %235 = extractvalue { ptr, i32 } %234, 0
  store ptr %235, ptr %11, align 8
  %236 = extractvalue { ptr, i32 } %234, 1
  store i32 %236, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  br label %250

237:                                              ; preds = %228, %193
  br label %238

238:                                              ; preds = %237
  br label %239

239:                                              ; preds = %238
  %240 = load ptr, ptr %26, align 8, !tbaa !5
  %241 = getelementptr inbounds %"struct.MIR::Terminator::Data_Switch", ptr %240, i32 0, i32 1
  %242 = load i64, ptr %25, align 8, !tbaa !11
  %243 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %241, i64 noundef %242) #9
  %244 = load i32, ptr %243, align 4, !tbaa !13
  %245 = load ptr, ptr %24, align 8, !tbaa !5
  store i32 %244, ptr %245, align 4, !tbaa !13
  store i8 1, ptr %5, align 1, !tbaa !9
  br label %246

246:                                              ; preds = %239, %189
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  br label %247

247:                                              ; preds = %246, %173, %146
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #9
  br label %248

248:                                              ; preds = %247
  %249 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #9
  br label %130

250:                                              ; preds = %233, %229
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %23) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #9
  br label %255

251:                                              ; preds = %132
  br label %252

252:                                              ; preds = %251, %118
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #9
  br label %253

253:                                              ; preds = %252
  %254 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %14) #9
  br label %95

255:                                              ; preds = %250, %142
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #9
  br label %256

256:                                              ; preds = %255, %141
  call void @llvm.lifetime.end.p0(i64 8, ptr %17) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  br label %805

257:                                              ; preds = %97
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  %258 = load ptr, ptr %4, align 8, !tbaa !5
  %259 = getelementptr inbounds %"class.MIR::Function", ptr %258, i32 0, i32 2
  store ptr %259, ptr %27, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #9
  %260 = load ptr, ptr %27, align 8, !tbaa !5
  %261 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %260) #9
  %262 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %28, i32 0, i32 0
  store ptr %261, ptr %262, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %29) #9
  %263 = load ptr, ptr %27, align 8, !tbaa !5
  %264 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %263) #9
  %265 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %29, i32 0, i32 0
  store ptr %264, ptr %265, align 8
  br label %266

266:                                              ; preds = %408, %257
  %267 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %28, ptr noundef nonnull align 8 dereferenceable(8) %29) #9
  br i1 %267, label %269, label %268

268:                                              ; preds = %266
  store i32 8, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  br label %410

269:                                              ; preds = %266
  call void @llvm.lifetime.start.p0(i64 8, ptr %30) #9
  %270 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %28) #9
  store ptr %270, ptr %30, align 8, !tbaa !5
  %271 = load ptr, ptr %30, align 8, !tbaa !5
  %272 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %271, i32 0, i32 0
  %273 = call noundef i64 @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %272) #9
  %274 = icmp ugt i64 %273, 1
  br i1 %274, label %275, label %407

275:                                              ; preds = %269
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #9
  %276 = load ptr, ptr %30, align 8, !tbaa !5
  %277 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %276, i32 0, i32 0
  %278 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %277) #9
  %279 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %32, i32 0, i32 0
  store ptr %278, ptr %279, align 8
  %280 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEplEl(ptr noundef nonnull align 8 dereferenceable(8) %32, i64 noundef 1) #9
  %281 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %31, i32 0, i32 0
  store ptr %280, ptr %281, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #9
  br label %282

282:                                              ; preds = %404, %275
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #9
  %283 = load ptr, ptr %30, align 8, !tbaa !5
  %284 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %283, i32 0, i32 0
  %285 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %284) #9
  %286 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %33, i32 0, i32 0
  store ptr %285, ptr %286, align 8
  %287 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %33) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #9
  br i1 %287, label %289, label %288

288:                                              ; preds = %282
  store i32 10, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #9
  br label %406

289:                                              ; preds = %282
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #9
  %290 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEmiEl(ptr noundef nonnull align 8 dereferenceable(8) %31, i64 noundef 1) #9
  %291 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %34, i32 0, i32 0
  store ptr %290, ptr %291, align 8
  %292 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %34) #9
  %293 = invoke noundef zeroext i1 @_ZNK3MIR9Statement11is_ScopeEndEv(ptr noundef nonnull align 8 dereferenceable(152) %292)
          to label %294 unwind label %333

294:                                              ; preds = %289
  br i1 %293, label %295, label %299

295:                                              ; preds = %294
  %296 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #9
  %297 = invoke noundef zeroext i1 @_ZNK3MIR9Statement11is_ScopeEndEv(ptr noundef nonnull align 8 dereferenceable(152) %296)
          to label %298 unwind label %333

298:                                              ; preds = %295
  br label %299

299:                                              ; preds = %298, %294
  %300 = phi i1 [ false, %294 ], [ %297, %298 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #9
  br i1 %300, label %301, label %402

301:                                              ; preds = %299
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #9
  %302 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEmiEl(ptr noundef nonnull align 8 dereferenceable(8) %31, i64 noundef 1) #9
  %303 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %36, i32 0, i32 0
  store ptr %302, ptr %303, align 8
  %304 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %36) #9
  %305 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZN3MIR9Statement11as_ScopeEndEv(ptr noundef nonnull align 8 dereferenceable(152) %304)
          to label %306 unwind label %337

306:                                              ; preds = %301
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  store ptr %305, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #9
  %307 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #9
  %308 = invoke noundef nonnull align 8 dereferenceable(24) ptr @_ZN3MIR9Statement11as_ScopeEndEv(ptr noundef nonnull align 8 dereferenceable(152) %307)
          to label %309 unwind label %341

309:                                              ; preds = %306
  store ptr %308, ptr %37, align 8, !tbaa !5
  br label %310

310:                                              ; preds = %309
  %311 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %312 unwind label %341

312:                                              ; preds = %310
  br i1 %311, label %313, label %349

313:                                              ; preds = %312
  %314 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %315 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %314, ptr noundef @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %316 unwind label %341

316:                                              ; preds = %313
  %317 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %315, ptr noundef @.str.3)
          to label %318 unwind label %341

318:                                              ; preds = %316
  call void @llvm.lifetime.start.p0(i64 8, ptr %38) #9
  %319 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEmiEl(ptr noundef nonnull align 8 dereferenceable(8) %31, i64 noundef 1) #9
  %320 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %38, i32 0, i32 0
  store ptr %319, ptr %320, align 8
  %321 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %38) #9
  %322 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %317, ptr noundef nonnull align 8 dereferenceable(152) %321)
          to label %323 unwind label %345

323:                                              ; preds = %318
  %324 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %322, ptr noundef @.str.4)
          to label %325 unwind label %345

325:                                              ; preds = %323
  %326 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #9
  %327 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %324, ptr noundef nonnull align 8 dereferenceable(152) %326)
          to label %328 unwind label %345

328:                                              ; preds = %325
  %329 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %327, ptr noundef @_ZSt3decRSt8ios_base)
          to label %330 unwind label %345

330:                                              ; preds = %328
  %331 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %329, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %332 unwind label %345

332:                                              ; preds = %330
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #9
  br label %349

333:                                              ; preds = %295, %289
  %334 = landingpad { ptr, i32 }
          cleanup
  %335 = extractvalue { ptr, i32 } %334, 0
  store ptr %335, ptr %11, align 8
  %336 = extractvalue { ptr, i32 } %334, 1
  store i32 %336, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #9
  br label %405

337:                                              ; preds = %301
  %338 = landingpad { ptr, i32 }
          cleanup
  %339 = extractvalue { ptr, i32 } %338, 0
  store ptr %339, ptr %11, align 8
  %340 = extractvalue { ptr, i32 } %338, 1
  store i32 %340, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  br label %401

341:                                              ; preds = %375, %316, %313, %310, %306
  %342 = landingpad { ptr, i32 }
          cleanup
  %343 = extractvalue { ptr, i32 } %342, 0
  store ptr %343, ptr %11, align 8
  %344 = extractvalue { ptr, i32 } %342, 1
  store i32 %344, ptr %12, align 4
  br label %400

345:                                              ; preds = %330, %328, %325, %323, %318
  %346 = landingpad { ptr, i32 }
          cleanup
  %347 = extractvalue { ptr, i32 } %346, 0
  store ptr %347, ptr %11, align 8
  %348 = extractvalue { ptr, i32 } %346, 1
  store i32 %348, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %38) #9
  br label %400

349:                                              ; preds = %332, %312
  br label %350

350:                                              ; preds = %349
  br label %351

351:                                              ; preds = %350
  call void @llvm.lifetime.start.p0(i64 8, ptr %39) #9
  %352 = load ptr, ptr %37, align 8, !tbaa !5
  %353 = getelementptr inbounds %"struct.MIR::Statement::Data_ScopeEnd", ptr %352, i32 0, i32 0
  store ptr %353, ptr %39, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #9
  %354 = load ptr, ptr %39, align 8, !tbaa !5
  %355 = call ptr @_ZNKSt6vectorIjSaIjEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %354) #9
  %356 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.188", ptr %40, i32 0, i32 0
  store ptr %355, ptr %356, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #9
  %357 = load ptr, ptr %39, align 8, !tbaa !5
  %358 = call ptr @_ZNKSt6vectorIjSaIjEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %357) #9
  %359 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.188", ptr %41, i32 0, i32 0
  store ptr %358, ptr %359, align 8
  br label %360

360:                                              ; preds = %369, %351
  %361 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %40, ptr noundef nonnull align 8 dereferenceable(8) %41) #9
  br i1 %361, label %363, label %362

362:                                              ; preds = %360
  store i32 14, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #9
  br label %375

363:                                              ; preds = %360
  call void @llvm.lifetime.start.p0(i64 4, ptr %42) #9
  %364 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKjSt6vectorIjSaIjEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %365 = load i32, ptr %364, align 4, !tbaa !13
  store i32 %365, ptr %42, align 4, !tbaa !13
  %366 = load ptr, ptr %35, align 8, !tbaa !5
  %367 = getelementptr inbounds %"struct.MIR::Statement::Data_ScopeEnd", ptr %366, i32 0, i32 0
  invoke void @_ZNSt6vectorIjSaIjEE9push_backERKj(ptr noundef nonnull align 8 dereferenceable(24) %367, ptr noundef nonnull align 4 dereferenceable(4) %42)
          to label %368 unwind label %371

368:                                              ; preds = %363
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #9
  br label %369

369:                                              ; preds = %368
  %370 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKjSt6vectorIjSaIjEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  br label %360

371:                                              ; preds = %363
  %372 = landingpad { ptr, i32 }
          cleanup
  %373 = extractvalue { ptr, i32 } %372, 0
  store ptr %373, ptr %11, align 8
  %374 = extractvalue { ptr, i32 } %372, 1
  store i32 %374, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %42) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %39) #9
  br label %400

375:                                              ; preds = %362
  %376 = load ptr, ptr %35, align 8, !tbaa !5
  %377 = getelementptr inbounds %"struct.MIR::Statement::Data_ScopeEnd", ptr %376, i32 0, i32 0
  %378 = call ptr @_ZNSt6vectorIjSaIjEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %377) #9
  %379 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.147", ptr %43, i32 0, i32 0
  store ptr %378, ptr %379, align 8
  %380 = load ptr, ptr %35, align 8, !tbaa !5
  %381 = getelementptr inbounds %"struct.MIR::Statement::Data_ScopeEnd", ptr %380, i32 0, i32 0
  %382 = call ptr @_ZNSt6vectorIjSaIjEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %381) #9
  %383 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.147", ptr %44, i32 0, i32 0
  store ptr %382, ptr %383, align 8
  %384 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.147", ptr %43, i32 0, i32 0
  %385 = load ptr, ptr %384, align 8
  %386 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.147", ptr %44, i32 0, i32 0
  %387 = load ptr, ptr %386, align 8
  invoke void @_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEEEvT_S7_(ptr %385, ptr %387)
          to label %388 unwind label %341

388:                                              ; preds = %375
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #9
  %389 = load ptr, ptr %30, align 8, !tbaa !5
  %390 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %389, i32 0, i32 0
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %46, ptr noundef nonnull align 8 dereferenceable(8) %31) #9
  %391 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.189", ptr %46, i32 0, i32 0
  %392 = load ptr, ptr %391, align 8
  %393 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %390, ptr %392)
          to label %394 unwind label %396

394:                                              ; preds = %388
  %395 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %45, i32 0, i32 0
  store ptr %393, ptr %395, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %31, ptr align 8 %45, i64 8, i1 false), !tbaa.struct !15
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #9
  store i8 1, ptr %5, align 1, !tbaa !9
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  br label %404

396:                                              ; preds = %388
  %397 = landingpad { ptr, i32 }
          cleanup
  %398 = extractvalue { ptr, i32 } %397, 0
  store ptr %398, ptr %11, align 8
  %399 = extractvalue { ptr, i32 } %397, 1
  store i32 %399, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #9
  br label %400

400:                                              ; preds = %396, %371, %345, %341
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #9
  br label %401

401:                                              ; preds = %400, %337
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  br label %405

402:                                              ; preds = %299
  %403 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %31) #9
  br label %404

404:                                              ; preds = %402, %394
  br label %282, !llvm.loop !16

405:                                              ; preds = %401, %333
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %29) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  br label %805

406:                                              ; preds = %288
  br label %407

407:                                              ; preds = %406, %269
  call void @llvm.lifetime.end.p0(i64 8, ptr %30) #9
  br label %408

408:                                              ; preds = %407
  %409 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %28) #9
  br label %266

410:                                              ; preds = %268
  call void @llvm.lifetime.start.p0(i64 40, ptr %47) #9
  %411 = load ptr, ptr %4, align 8, !tbaa !5
  %412 = getelementptr inbounds %"class.MIR::Function", ptr %411, i32 0, i32 2
  %413 = call noundef i64 @_ZNKSt6vectorIN3MIR10BasicBlockESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %412) #9
  call void @llvm.lifetime.start.p0(i64 1, ptr %48) #9
  call void @_ZNSaIbEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %48) #9
  invoke void @_ZNSt6vectorIbSaIbEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(40) %47, i64 noundef %413, ptr noundef nonnull align 1 dereferenceable(1) %48)
          to label %414 unwind label %439

414:                                              ; preds = %410
  call void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %48) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %48) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr %49) #9
  %415 = load ptr, ptr %4, align 8, !tbaa !5
  %416 = getelementptr inbounds %"class.MIR::Function", ptr %415, i32 0, i32 2
  %417 = call noundef i64 @_ZNKSt6vectorIN3MIR10BasicBlockESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %416) #9
  call void @llvm.lifetime.start.p0(i64 1, ptr %50) #9
  call void @_ZNSaIjEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #9
  invoke void @_ZNSt6vectorIjSaIjEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %49, i64 noundef %417, ptr noundef nonnull align 1 dereferenceable(1) %50)
          to label %418 unwind label %443

418:                                              ; preds = %414
  call void @_ZNSt15__new_allocatorIjED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %50) #9
  call void @llvm.lifetime.start.p0(i64 24, ptr %51) #9
  call void @_ZNSt6vectorIjSaIjEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %51) #9
  call void @llvm.lifetime.start.p0(i64 4, ptr %52) #9
  store i32 0, ptr %52, align 4, !tbaa !13
  invoke void @_ZNSt6vectorIjSaIjEE9push_backEOj(ptr noundef nonnull align 8 dereferenceable(24) %51, ptr noundef nonnull align 4 dereferenceable(4) %52)
          to label %419 unwind label %447

419:                                              ; preds = %418
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #9
  %420 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %49, i64 noundef 0) #9
  %421 = load i32, ptr %420, align 4, !tbaa !13
  %422 = add i32 %421, 1
  store i32 %422, ptr %420, align 4, !tbaa !13
  br label %423

423:                                              ; preds = %479, %477, %419
  %424 = call noundef i64 @_ZNKSt6vectorIjSaIjEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #9
  %425 = icmp ugt i64 %424, 0
  br i1 %425, label %426, label %494

426:                                              ; preds = %423
  call void @llvm.lifetime.start.p0(i64 4, ptr %53) #9
  %427 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #9
  %428 = load i32, ptr %427, align 4, !tbaa !13
  store i32 %428, ptr %53, align 4, !tbaa !13
  call void @_ZNSt6vectorIjSaIjEE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #9
  call void @llvm.lifetime.start.p0(i64 16, ptr %54) #9
  %429 = load i32, ptr %53, align 4, !tbaa !13
  %430 = zext i32 %429 to i64
  %431 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %47, i64 noundef %430)
          to label %432 unwind label %451

432:                                              ; preds = %426
  %433 = getelementptr inbounds { ptr, i64 }, ptr %54, i32 0, i32 0
  %434 = extractvalue { ptr, i64 } %431, 0
  store ptr %434, ptr %433, align 8
  %435 = getelementptr inbounds { ptr, i64 }, ptr %54, i32 0, i32 1
  %436 = extractvalue { ptr, i64 } %431, 1
  store i64 %436, ptr %435, align 8
  %437 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %54) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %54) #9
  br i1 %437, label %438, label %455

438:                                              ; preds = %432
  store i32 16, ptr %16, align 4
  br label %477, !llvm.loop !18

439:                                              ; preds = %410
  %440 = landingpad { ptr, i32 }
          cleanup
  %441 = extractvalue { ptr, i32 } %440, 0
  store ptr %441, ptr %11, align 8
  %442 = extractvalue { ptr, i32 } %440, 1
  store i32 %442, ptr %12, align 4
  call void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %48) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %48) #9
  br label %669

443:                                              ; preds = %414
  %444 = landingpad { ptr, i32 }
          cleanup
  %445 = extractvalue { ptr, i32 } %444, 0
  store ptr %445, ptr %11, align 8
  %446 = extractvalue { ptr, i32 } %444, 1
  store i32 %446, ptr %12, align 4
  call void @_ZNSt15__new_allocatorIjED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %50) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %50) #9
  br label %668

447:                                              ; preds = %418
  %448 = landingpad { ptr, i32 }
          cleanup
  %449 = extractvalue { ptr, i32 } %448, 0
  store ptr %449, ptr %11, align 8
  %450 = extractvalue { ptr, i32 } %448, 1
  store i32 %450, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %52) #9
  br label %667

451:                                              ; preds = %426
  %452 = landingpad { ptr, i32 }
          cleanup
  %453 = extractvalue { ptr, i32 } %452, 0
  store ptr %453, ptr %11, align 8
  %454 = extractvalue { ptr, i32 } %452, 1
  store i32 %454, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %54) #9
  br label %493

455:                                              ; preds = %432
  call void @llvm.lifetime.start.p0(i64 16, ptr %55) #9
  %456 = load i32, ptr %53, align 4, !tbaa !13
  %457 = zext i32 %456 to i64
  %458 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %47, i64 noundef %457)
          to label %459 unwind label %480

459:                                              ; preds = %455
  %460 = getelementptr inbounds { ptr, i64 }, ptr %55, i32 0, i32 0
  %461 = extractvalue { ptr, i64 } %458, 0
  store ptr %461, ptr %460, align 8
  %462 = getelementptr inbounds { ptr, i64 }, ptr %55, i32 0, i32 1
  %463 = extractvalue { ptr, i64 } %458, 1
  store i64 %463, ptr %462, align 8
  %464 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %55, i1 noundef zeroext true) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %55) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %56) #9
  %465 = load ptr, ptr %4, align 8, !tbaa !5
  %466 = getelementptr inbounds %"class.MIR::Function", ptr %465, i32 0, i32 2
  %467 = load i32, ptr %53, align 4, !tbaa !13
  %468 = zext i32 %467 to i64
  %469 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %466, i64 noundef %468) #9
  store ptr %469, ptr %56, align 8, !tbaa !5
  %470 = load ptr, ptr %56, align 8, !tbaa !5
  %471 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %470, i32 0, i32 1
  call void @llvm.lifetime.start.p0(i64 24, ptr %58) #9
  %472 = getelementptr inbounds %class.anon.196, ptr %58, i32 0, i32 0
  store ptr %47, ptr %472, align 8, !tbaa !5
  %473 = getelementptr inbounds %class.anon.196, ptr %58, i32 0, i32 1
  store ptr %51, ptr %473, align 8, !tbaa !5
  %474 = getelementptr inbounds %class.anon.196, ptr %58, i32 0, i32 2
  store ptr %49, ptr %474, align 8, !tbaa !5
  invoke void @"_ZNSt8functionIFvRKjEEC2IZ26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS5_8FunctionEE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %57, ptr noundef nonnull align 8 dereferenceable(24) %58)
          to label %475 unwind label %484

475:                                              ; preds = %459
  invoke void @_ZN12_GLOBAL__N_123visit_terminator_targetERKN3MIR10TerminatorESt8functionIFvRKjEE(ptr noundef nonnull align 8 dereferenceable(168) %471, ptr noundef %57)
          to label %476 unwind label %488

476:                                              ; preds = %475
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %58) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #9
  store i32 0, ptr %16, align 4
  br label %477

477:                                              ; preds = %476, %438
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #9
  %478 = load i32, ptr %16, align 4
  switch i32 %478, label %812 [
    i32 0, label %479
    i32 16, label %423
  ]

479:                                              ; preds = %477
  br label %423, !llvm.loop !18

480:                                              ; preds = %455
  %481 = landingpad { ptr, i32 }
          cleanup
  %482 = extractvalue { ptr, i32 } %481, 0
  store ptr %482, ptr %11, align 8
  %483 = extractvalue { ptr, i32 } %481, 1
  store i32 %483, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %55) #9
  br label %493

484:                                              ; preds = %459
  %485 = landingpad { ptr, i32 }
          cleanup
  %486 = extractvalue { ptr, i32 } %485, 0
  store ptr %486, ptr %11, align 8
  %487 = extractvalue { ptr, i32 } %485, 1
  store i32 %487, ptr %12, align 4
  br label %492

488:                                              ; preds = %475
  %489 = landingpad { ptr, i32 }
          cleanup
  %490 = extractvalue { ptr, i32 } %489, 0
  store ptr %490, ptr %11, align 8
  %491 = extractvalue { ptr, i32 } %489, 1
  store i32 %491, ptr %12, align 4
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %57) #9
  br label %492

492:                                              ; preds = %488, %484
  call void @llvm.lifetime.end.p0(i64 24, ptr %58) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %56) #9
  br label %493

493:                                              ; preds = %492, %480, %451
  call void @llvm.lifetime.end.p0(i64 4, ptr %53) #9
  br label %667

494:                                              ; preds = %423
  call void @llvm.lifetime.start.p0(i64 4, ptr %59) #9
  store i32 0, ptr %59, align 4, !tbaa !13
  call void @llvm.lifetime.start.p0(i64 8, ptr %60) #9
  %495 = load ptr, ptr %4, align 8, !tbaa !5
  %496 = getelementptr inbounds %"class.MIR::Function", ptr %495, i32 0, i32 2
  store ptr %496, ptr %60, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %61) #9
  %497 = load ptr, ptr %60, align 8, !tbaa !5
  %498 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %497) #9
  %499 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %61, i32 0, i32 0
  store ptr %498, ptr %499, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %62) #9
  %500 = load ptr, ptr %60, align 8, !tbaa !5
  %501 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %500) #9
  %502 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %62, i32 0, i32 0
  store ptr %501, ptr %502, align 8
  br label %503

503:                                              ; preds = %652, %494
  %504 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %61, ptr noundef nonnull align 8 dereferenceable(8) %62) #9
  br i1 %504, label %506, label %505

505:                                              ; preds = %503
  store i32 18, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #9
  br label %655

506:                                              ; preds = %503
  call void @llvm.lifetime.start.p0(i64 8, ptr %63) #9
  %507 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %61) #9
  store ptr %507, ptr %63, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 16, ptr %64) #9
  %508 = load i32, ptr %59, align 4, !tbaa !13
  %509 = zext i32 %508 to i64
  %510 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %47, i64 noundef %509)
          to label %511 unwind label %535

511:                                              ; preds = %506
  %512 = getelementptr inbounds { ptr, i64 }, ptr %64, i32 0, i32 0
  %513 = extractvalue { ptr, i64 } %510, 0
  store ptr %513, ptr %512, align 8
  %514 = getelementptr inbounds { ptr, i64 }, ptr %64, i32 0, i32 1
  %515 = extractvalue { ptr, i64 } %510, 1
  store i64 %515, ptr %514, align 8
  %516 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %64) #9
  call void @llvm.lifetime.end.p0(i64 16, ptr %64) #9
  br i1 %516, label %517, label %649

517:                                              ; preds = %511
  br label %518

518:                                              ; preds = %641, %517
  %519 = load ptr, ptr %63, align 8, !tbaa !5
  %520 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %519, i32 0, i32 1
  %521 = invoke noundef zeroext i1 @_ZNK3MIR10Terminator7is_GotoEv(ptr noundef nonnull align 8 dereferenceable(168) %520)
          to label %522 unwind label %539

522:                                              ; preds = %518
  br i1 %521, label %523, label %648

523:                                              ; preds = %522
  call void @llvm.lifetime.start.p0(i64 4, ptr %65) #9
  %524 = load ptr, ptr %63, align 8, !tbaa !5
  %525 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %524, i32 0, i32 1
  %526 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN3MIR10Terminator7as_GotoEv(ptr noundef nonnull align 8 dereferenceable(168) %525)
          to label %527 unwind label %543

527:                                              ; preds = %523
  %528 = load i32, ptr %526, align 4, !tbaa !13
  store i32 %528, ptr %65, align 4, !tbaa !13
  %529 = load i32, ptr %65, align 4, !tbaa !13
  %530 = zext i32 %529 to i64
  %531 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %49, i64 noundef %530) #9
  %532 = load i32, ptr %531, align 4, !tbaa !13
  %533 = icmp ne i32 %532, 1
  br i1 %533, label %534, label %547

534:                                              ; preds = %527
  store i32 21, ptr %16, align 4
  br label %639

535:                                              ; preds = %506
  %536 = landingpad { ptr, i32 }
          cleanup
  %537 = extractvalue { ptr, i32 } %536, 0
  store ptr %537, ptr %11, align 8
  %538 = extractvalue { ptr, i32 } %536, 1
  store i32 %538, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 16, ptr %64) #9
  br label %654

539:                                              ; preds = %518
  %540 = landingpad { ptr, i32 }
          cleanup
  %541 = extractvalue { ptr, i32 } %540, 0
  store ptr %541, ptr %11, align 8
  %542 = extractvalue { ptr, i32 } %540, 1
  store i32 %542, ptr %12, align 4
  br label %654

543:                                              ; preds = %571, %569, %566, %564, %561, %559, %556, %553, %523
  %544 = landingpad { ptr, i32 }
          cleanup
  %545 = extractvalue { ptr, i32 } %544, 0
  store ptr %545, ptr %11, align 8
  %546 = extractvalue { ptr, i32 } %544, 1
  store i32 %546, ptr %12, align 4
  br label %647

547:                                              ; preds = %527
  %548 = load i32, ptr %65, align 4, !tbaa !13
  %549 = load i32, ptr %59, align 4, !tbaa !13
  %550 = icmp eq i32 %548, %549
  br i1 %550, label %551, label %552

551:                                              ; preds = %547
  store i32 21, ptr %16, align 4
  br label %639

552:                                              ; preds = %547
  br label %553

553:                                              ; preds = %552
  %554 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %555 unwind label %543

555:                                              ; preds = %553
  br i1 %554, label %556, label %574

556:                                              ; preds = %555
  %557 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %558 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %557, ptr noundef @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %559 unwind label %543

559:                                              ; preds = %556
  %560 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %558, ptr noundef @.str.5)
          to label %561 unwind label %543

561:                                              ; preds = %559
  %562 = load i32, ptr %65, align 4, !tbaa !13
  %563 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %560, i32 noundef %562)
          to label %564 unwind label %543

564:                                              ; preds = %561
  %565 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %563, ptr noundef @.str.6)
          to label %566 unwind label %543

566:                                              ; preds = %564
  %567 = load i32, ptr %59, align 4, !tbaa !13
  %568 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %565, i32 noundef %567)
          to label %569 unwind label %543

569:                                              ; preds = %566
  %570 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %568, ptr noundef @_ZSt3decRSt8ios_base)
          to label %571 unwind label %543

571:                                              ; preds = %569
  %572 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %570, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %573 unwind label %543

573:                                              ; preds = %571
  br label %574

574:                                              ; preds = %573, %555
  br label %575

575:                                              ; preds = %574
  br label %576

576:                                              ; preds = %575
  %577 = load ptr, ptr %4, align 8, !tbaa !5
  %578 = getelementptr inbounds %"class.MIR::Function", ptr %577, i32 0, i32 2
  %579 = load i32, ptr %65, align 4, !tbaa !13
  %580 = zext i32 %579 to i64
  %581 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %578, i64 noundef %580) #9
  %582 = load ptr, ptr %63, align 8, !tbaa !5
  %583 = icmp ne ptr %581, %582
  br i1 %583, label %584, label %585

584:                                              ; preds = %576
  br label %587

585:                                              ; preds = %576
  call void @__assert_fail(ptr noundef @.str.7, ptr noundef @.str.8, i32 noundef 1006, ptr noundef @__PRETTY_FUNCTION__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE) #10
  unreachable

586:                                              ; No predecessors!
  br label %587

587:                                              ; preds = %586, %584
  call void @llvm.lifetime.start.p0(i64 192, ptr %66) #9
  %588 = load ptr, ptr %4, align 8, !tbaa !5
  %589 = getelementptr inbounds %"class.MIR::Function", ptr %588, i32 0, i32 2
  %590 = load i32, ptr %65, align 4, !tbaa !13
  %591 = zext i32 %590 to i64
  %592 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %589, i64 noundef %591) #9
  call void @_ZN3MIR10BasicBlockC2EOS0_(ptr noundef nonnull align 8 dereferenceable(192) %66, ptr noundef nonnull align 8 dereferenceable(192) %592) #9
  call void @llvm.lifetime.start.p0(i64 168, ptr %67) #9
  invoke void @_ZN3MIR10Terminator15make_IncompleteENS0_15Data_IncompleteE(ptr dead_on_unwind writable sret(%"class.MIR::Terminator") align 8 %67)
          to label %593 unwind label %612

593:                                              ; preds = %587
  %594 = load ptr, ptr %4, align 8, !tbaa !5
  %595 = getelementptr inbounds %"class.MIR::Function", ptr %594, i32 0, i32 2
  %596 = load i32, ptr %65, align 4, !tbaa !13
  %597 = zext i32 %596 to i64
  %598 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %595, i64 noundef %597) #9
  %599 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %598, i32 0, i32 1
  %600 = invoke noundef nonnull align 8 dereferenceable(168) ptr @_ZN3MIR10TerminatoraSEOS0_(ptr noundef nonnull align 8 dereferenceable(168) %599, ptr noundef nonnull align 8 dereferenceable(168) %67)
          to label %601 unwind label %616

601:                                              ; preds = %593
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %67) #9
  call void @llvm.lifetime.end.p0(i64 168, ptr %67) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %69) #9
  %602 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %66, i32 0, i32 0
  store ptr %602, ptr %69, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %70) #9
  %603 = load ptr, ptr %69, align 8, !tbaa !5
  %604 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %603) #9
  %605 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %70, i32 0, i32 0
  store ptr %604, ptr %605, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %71) #9
  %606 = load ptr, ptr %69, align 8, !tbaa !5
  %607 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %606) #9
  %608 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %71, i32 0, i32 0
  store ptr %607, ptr %608, align 8
  br label %609

609:                                              ; preds = %627, %601
  %610 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %70, ptr noundef nonnull align 8 dereferenceable(8) %71) #9
  br i1 %610, label %621, label %611

611:                                              ; preds = %609
  store i32 24, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %70) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #9
  br label %633

612:                                              ; preds = %587
  %613 = landingpad { ptr, i32 }
          cleanup
  %614 = extractvalue { ptr, i32 } %613, 0
  store ptr %614, ptr %11, align 8
  %615 = extractvalue { ptr, i32 } %613, 1
  store i32 %615, ptr %12, align 4
  br label %620

616:                                              ; preds = %593
  %617 = landingpad { ptr, i32 }
          cleanup
  %618 = extractvalue { ptr, i32 } %617, 0
  store ptr %618, ptr %11, align 8
  %619 = extractvalue { ptr, i32 } %617, 1
  store i32 %619, ptr %12, align 4
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %67) #9
  br label %620

620:                                              ; preds = %616, %612
  call void @llvm.lifetime.end.p0(i64 168, ptr %67) #9
  br label %646

621:                                              ; preds = %609
  call void @llvm.lifetime.start.p0(i64 8, ptr %72) #9
  %622 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %70) #9
  store ptr %622, ptr %72, align 8, !tbaa !5
  %623 = load ptr, ptr %63, align 8, !tbaa !5
  %624 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %623, i32 0, i32 0
  %625 = load ptr, ptr %72, align 8, !tbaa !5
  invoke void @_ZNSt6vectorIN3MIR9StatementESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %624, ptr noundef nonnull align 8 dereferenceable(152) %625)
          to label %626 unwind label %629

626:                                              ; preds = %621
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #9
  br label %627

627:                                              ; preds = %626
  %628 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %70) #9
  br label %609

629:                                              ; preds = %621
  %630 = landingpad { ptr, i32 }
          cleanup
  %631 = extractvalue { ptr, i32 } %630, 0
  store ptr %631, ptr %11, align 8
  %632 = extractvalue { ptr, i32 } %630, 1
  store i32 %632, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %72) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %71) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %70) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %69) #9
  br label %646

633:                                              ; preds = %611
  %634 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %66, i32 0, i32 1
  %635 = load ptr, ptr %63, align 8, !tbaa !5
  %636 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %635, i32 0, i32 1
  %637 = invoke noundef nonnull align 8 dereferenceable(168) ptr @_ZN3MIR10TerminatoraSEOS0_(ptr noundef nonnull align 8 dereferenceable(168) %636, ptr noundef nonnull align 8 dereferenceable(168) %634)
          to label %638 unwind label %642

638:                                              ; preds = %633
  store i8 1, ptr %5, align 1, !tbaa !9
  call void @_ZN3MIR10BasicBlockD2Ev(ptr noundef nonnull align 8 dereferenceable(192) %66) #9
  call void @llvm.lifetime.end.p0(i64 192, ptr %66) #9
  store i32 0, ptr %16, align 4
  br label %639

639:                                              ; preds = %638, %551, %534
  call void @llvm.lifetime.end.p0(i64 4, ptr %65) #9
  %640 = load i32, ptr %16, align 4
  switch i32 %640, label %812 [
    i32 0, label %641
    i32 21, label %648
  ]

641:                                              ; preds = %639
  br label %518, !llvm.loop !19

642:                                              ; preds = %633
  %643 = landingpad { ptr, i32 }
          cleanup
  %644 = extractvalue { ptr, i32 } %643, 0
  store ptr %644, ptr %11, align 8
  %645 = extractvalue { ptr, i32 } %643, 1
  store i32 %645, ptr %12, align 4
  br label %646

646:                                              ; preds = %642, %629, %620
  call void @_ZN3MIR10BasicBlockD2Ev(ptr noundef nonnull align 8 dereferenceable(192) %66) #9
  call void @llvm.lifetime.end.p0(i64 192, ptr %66) #9
  br label %647

647:                                              ; preds = %646, %543
  call void @llvm.lifetime.end.p0(i64 4, ptr %65) #9
  br label %654

648:                                              ; preds = %639, %522
  br label %649

649:                                              ; preds = %648, %511
  %650 = load i32, ptr %59, align 4, !tbaa !13
  %651 = add i32 %650, 1
  store i32 %651, ptr %59, align 4, !tbaa !13
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #9
  br label %652

652:                                              ; preds = %649
  %653 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %61) #9
  br label %503

654:                                              ; preds = %647, %539, %535
  call void @llvm.lifetime.end.p0(i64 8, ptr %63) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %62) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %61) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %60) #9
  call void @llvm.lifetime.end.p0(i64 4, ptr %59) #9
  br label %667

655:                                              ; preds = %505
  call void @llvm.lifetime.end.p0(i64 4, ptr %59) #9
  call void @_ZNSt6vectorIjSaIjEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %51) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %51) #9
  call void @_ZNSt6vectorIjSaIjEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %49) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %49) #9
  call void @_ZNSt13_Bvector_baseISaIbEED2Ev(ptr noundef nonnull align 8 dereferenceable(40) %47) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr %47) #9
  call void @llvm.lifetime.start.p0(i64 8, ptr %73) #9
  %656 = load ptr, ptr %4, align 8, !tbaa !5
  %657 = getelementptr inbounds %"class.MIR::Function", ptr %656, i32 0, i32 2
  store ptr %657, ptr %73, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %74) #9
  %658 = load ptr, ptr %73, align 8, !tbaa !5
  %659 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %658) #9
  %660 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %74, i32 0, i32 0
  store ptr %659, ptr %660, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %75) #9
  %661 = load ptr, ptr %73, align 8, !tbaa !5
  %662 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %661) #9
  %663 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %75, i32 0, i32 0
  store ptr %662, ptr %663, align 8
  br label %664

664:                                              ; preds = %801, %655
  %665 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %74, ptr noundef nonnull align 8 dereferenceable(8) %75) #9
  br i1 %665, label %670, label %666

666:                                              ; preds = %664
  store i32 26, ptr %16, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #9
  br label %804

667:                                              ; preds = %654, %493, %447
  call void @_ZNSt6vectorIjSaIjEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %51) #9
  call void @llvm.lifetime.end.p0(i64 24, ptr %51) #9
  call void @_ZNSt6vectorIjSaIjEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %49) #9
  br label %668

668:                                              ; preds = %667, %443
  call void @llvm.lifetime.end.p0(i64 24, ptr %49) #9
  call void @_ZNSt13_Bvector_baseISaIbEED2Ev(ptr noundef nonnull align 8 dereferenceable(40) %47) #9
  br label %669

669:                                              ; preds = %668, %439
  call void @llvm.lifetime.end.p0(i64 40, ptr %47) #9
  br label %805

670:                                              ; preds = %664
  call void @llvm.lifetime.start.p0(i64 8, ptr %76) #9
  %671 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %74) #9
  store ptr %671, ptr %76, align 8, !tbaa !5
  %672 = load ptr, ptr %3, align 8, !tbaa !5
  %673 = load ptr, ptr %76, align 8, !tbaa !5
  %674 = load ptr, ptr %4, align 8, !tbaa !5
  %675 = getelementptr inbounds %"class.MIR::Function", ptr %674, i32 0, i32 2
  %676 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5frontEv(ptr noundef nonnull align 8 dereferenceable(24) %675) #9
  %677 = ptrtoint ptr %673 to i64
  %678 = ptrtoint ptr %676 to i64
  %679 = sub i64 %677, %678
  %680 = sdiv exact i64 %679, 192
  %681 = trunc i64 %680 to i32
  invoke void @_ZN3MIR11TypeResolve17set_cur_stmt_termEj(ptr noundef nonnull align 8 dereferenceable(120) %672, i32 noundef %681)
          to label %682 unwind label %701

682:                                              ; preds = %670
  %683 = load ptr, ptr %76, align 8, !tbaa !5
  %684 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %683, i32 0, i32 1
  %685 = invoke noundef zeroext i1 @_ZNK3MIR10Terminator7is_GotoEv(ptr noundef nonnull align 8 dereferenceable(168) %684)
          to label %686 unwind label %701

686:                                              ; preds = %682
  br i1 %685, label %687, label %800

687:                                              ; preds = %686
  call void @llvm.lifetime.start.p0(i64 4, ptr %77) #9
  %688 = load ptr, ptr %76, align 8, !tbaa !5
  %689 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %688, i32 0, i32 1
  %690 = invoke noundef nonnull align 4 dereferenceable(4) ptr @_ZN3MIR10Terminator7as_GotoEv(ptr noundef nonnull align 8 dereferenceable(168) %689)
          to label %691 unwind label %705

691:                                              ; preds = %687
  %692 = load i32, ptr %690, align 4, !tbaa !13
  store i32 %692, ptr %77, align 4, !tbaa !13
  %693 = load ptr, ptr %4, align 8, !tbaa !5
  %694 = getelementptr inbounds %"class.MIR::Function", ptr %693, i32 0, i32 2
  %695 = load i32, ptr %77, align 4, !tbaa !13
  %696 = zext i32 %695 to i64
  %697 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %694, i64 noundef %696) #9
  %698 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %697, i32 0, i32 0
  %699 = call noundef zeroext i1 @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %698) #9
  br i1 %699, label %709, label %700

700:                                              ; preds = %691
  br label %798

701:                                              ; preds = %682, %670
  %702 = landingpad { ptr, i32 }
          cleanup
  %703 = extractvalue { ptr, i32 } %702, 0
  store ptr %703, ptr %11, align 8
  %704 = extractvalue { ptr, i32 } %702, 1
  store i32 %704, ptr %12, align 4
  br label %803

705:                                              ; preds = %775, %773, %771, %768, %765, %762, %752, %732, %730, %728, %725, %722, %719, %709, %687
  %706 = landingpad { ptr, i32 }
          cleanup
  %707 = extractvalue { ptr, i32 } %706, 0
  store ptr %707, ptr %11, align 8
  %708 = extractvalue { ptr, i32 } %706, 1
  store i32 %708, ptr %12, align 4
  br label %799

709:                                              ; preds = %691
  %710 = load ptr, ptr %4, align 8, !tbaa !5
  %711 = getelementptr inbounds %"class.MIR::Function", ptr %710, i32 0, i32 2
  %712 = load i32, ptr %77, align 4, !tbaa !13
  %713 = zext i32 %712 to i64
  %714 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %711, i64 noundef %713) #9
  %715 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %714, i32 0, i32 1
  %716 = invoke noundef zeroext i1 @_ZNK3MIR10Terminator9is_ReturnEv(ptr noundef nonnull align 8 dereferenceable(168) %715)
          to label %717 unwind label %705

717:                                              ; preds = %709
  br i1 %716, label %718, label %752

718:                                              ; preds = %717
  br label %719

719:                                              ; preds = %718
  %720 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %721 unwind label %705

721:                                              ; preds = %719
  br i1 %720, label %722, label %735

722:                                              ; preds = %721
  %723 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %724 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %723, ptr noundef @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %725 unwind label %705

725:                                              ; preds = %722
  %726 = load ptr, ptr %3, align 8, !tbaa !5
  %727 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %724, ptr noundef nonnull align 8 dereferenceable(120) %726)
          to label %728 unwind label %705

728:                                              ; preds = %725
  %729 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %727, ptr noundef @.str.9)
          to label %730 unwind label %705

730:                                              ; preds = %728
  %731 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %729, ptr noundef @_ZSt3decRSt8ios_base)
          to label %732 unwind label %705

732:                                              ; preds = %730
  %733 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %731, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %734 unwind label %705

734:                                              ; preds = %732
  br label %735

735:                                              ; preds = %734, %721
  br label %736

736:                                              ; preds = %735
  br label %737

737:                                              ; preds = %736
  call void @llvm.lifetime.start.p0(i64 168, ptr %78) #9
  invoke void @_ZN3MIR10Terminator11make_ReturnENS0_11Data_ReturnE(ptr dead_on_unwind writable sret(%"class.MIR::Terminator") align 8 %78)
          to label %738 unwind label %743

738:                                              ; preds = %737
  %739 = load ptr, ptr %76, align 8, !tbaa !5
  %740 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %739, i32 0, i32 1
  %741 = invoke noundef nonnull align 8 dereferenceable(168) ptr @_ZN3MIR10TerminatoraSEOS0_(ptr noundef nonnull align 8 dereferenceable(168) %740, ptr noundef nonnull align 8 dereferenceable(168) %78)
          to label %742 unwind label %747

742:                                              ; preds = %738
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %78) #9
  call void @llvm.lifetime.end.p0(i64 168, ptr %78) #9
  store i8 1, ptr %5, align 1, !tbaa !9
  br label %797

743:                                              ; preds = %737
  %744 = landingpad { ptr, i32 }
          cleanup
  %745 = extractvalue { ptr, i32 } %744, 0
  store ptr %745, ptr %11, align 8
  %746 = extractvalue { ptr, i32 } %744, 1
  store i32 %746, ptr %12, align 4
  br label %751

747:                                              ; preds = %738
  %748 = landingpad { ptr, i32 }
          cleanup
  %749 = extractvalue { ptr, i32 } %748, 0
  store ptr %749, ptr %11, align 8
  %750 = extractvalue { ptr, i32 } %748, 1
  store i32 %750, ptr %12, align 4
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %78) #9
  br label %751

751:                                              ; preds = %747, %743
  call void @llvm.lifetime.end.p0(i64 168, ptr %78) #9
  br label %799

752:                                              ; preds = %717
  %753 = load ptr, ptr %4, align 8, !tbaa !5
  %754 = getelementptr inbounds %"class.MIR::Function", ptr %753, i32 0, i32 2
  %755 = load i32, ptr %77, align 4, !tbaa !13
  %756 = zext i32 %755 to i64
  %757 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %754, i64 noundef %756) #9
  %758 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %757, i32 0, i32 1
  %759 = invoke noundef zeroext i1 @_ZNK3MIR10Terminator10is_DivergeEv(ptr noundef nonnull align 8 dereferenceable(168) %758)
          to label %760 unwind label %705

760:                                              ; preds = %752
  br i1 %759, label %761, label %795

761:                                              ; preds = %760
  br label %762

762:                                              ; preds = %761
  %763 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %764 unwind label %705

764:                                              ; preds = %762
  br i1 %763, label %765, label %778

765:                                              ; preds = %764
  %766 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %767 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %766, ptr noundef @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %768 unwind label %705

768:                                              ; preds = %765
  %769 = load ptr, ptr %3, align 8, !tbaa !5
  %770 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %767, ptr noundef nonnull align 8 dereferenceable(120) %769)
          to label %771 unwind label %705

771:                                              ; preds = %768
  %772 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %770, ptr noundef @.str.10)
          to label %773 unwind label %705

773:                                              ; preds = %771
  %774 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %772, ptr noundef @_ZSt3decRSt8ios_base)
          to label %775 unwind label %705

775:                                              ; preds = %773
  %776 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %774, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %777 unwind label %705

777:                                              ; preds = %775
  br label %778

778:                                              ; preds = %777, %764
  br label %779

779:                                              ; preds = %778
  br label %780

780:                                              ; preds = %779
  call void @llvm.lifetime.start.p0(i64 168, ptr %80) #9
  invoke void @_ZN3MIR10Terminator12make_DivergeENS0_12Data_DivergeE(ptr dead_on_unwind writable sret(%"class.MIR::Terminator") align 8 %80)
          to label %781 unwind label %786

781:                                              ; preds = %780
  %782 = load ptr, ptr %76, align 8, !tbaa !5
  %783 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %782, i32 0, i32 1
  %784 = invoke noundef nonnull align 8 dereferenceable(168) ptr @_ZN3MIR10TerminatoraSEOS0_(ptr noundef nonnull align 8 dereferenceable(168) %783, ptr noundef nonnull align 8 dereferenceable(168) %80)
          to label %785 unwind label %790

785:                                              ; preds = %781
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %80) #9
  call void @llvm.lifetime.end.p0(i64 168, ptr %80) #9
  store i8 1, ptr %5, align 1, !tbaa !9
  br label %796

786:                                              ; preds = %780
  %787 = landingpad { ptr, i32 }
          cleanup
  %788 = extractvalue { ptr, i32 } %787, 0
  store ptr %788, ptr %11, align 8
  %789 = extractvalue { ptr, i32 } %787, 1
  store i32 %789, ptr %12, align 4
  br label %794

790:                                              ; preds = %781
  %791 = landingpad { ptr, i32 }
          cleanup
  %792 = extractvalue { ptr, i32 } %791, 0
  store ptr %792, ptr %11, align 8
  %793 = extractvalue { ptr, i32 } %791, 1
  store i32 %793, ptr %12, align 4
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %80) #9
  br label %794

794:                                              ; preds = %790, %786
  call void @llvm.lifetime.end.p0(i64 168, ptr %80) #9
  br label %799

795:                                              ; preds = %760
  br label %796

796:                                              ; preds = %795, %785
  br label %797

797:                                              ; preds = %796, %742
  br label %798

798:                                              ; preds = %797, %700
  call void @llvm.lifetime.end.p0(i64 4, ptr %77) #9
  br label %800

799:                                              ; preds = %794, %751, %705
  call void @llvm.lifetime.end.p0(i64 4, ptr %77) #9
  br label %803

800:                                              ; preds = %798, %686
  call void @llvm.lifetime.end.p0(i64 8, ptr %76) #9
  br label %801

801:                                              ; preds = %800
  %802 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %74) #9
  br label %664

803:                                              ; preds = %799, %701
  call void @llvm.lifetime.end.p0(i64 8, ptr %76) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %75) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %74) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %73) #9
  br label %805

804:                                              ; preds = %666
  store i32 1, ptr %16, align 4
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %6) #9
  call void @llvm.lifetime.end.p0(i64 40, ptr %6) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %5) #9
  ret i1 false

805:                                              ; preds = %803, %669, %405, %256
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %6) #9
  br label %806

806:                                              ; preds = %805, %98
  call void @llvm.lifetime.end.p0(i64 40, ptr %6) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %5) #9
  br label %807

807:                                              ; preds = %806
  %808 = load ptr, ptr %11, align 8
  %809 = load i32, ptr %12, align 4
  %810 = insertvalue { ptr, i32 } poison, ptr %808, 0
  %811 = insertvalue { ptr, i32 } %810, i32 %809, 1
  resume { ptr, i32 } %811

812:                                              ; preds = %639, %477
  unreachable
}

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_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(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #4 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_127visit_terminator_target_mutERN3MIR10TerminatorESt8functionIFvRjEE(ptr noundef nonnull align 8 dereferenceable(168), ptr noundef) #2

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(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 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #4 align 2

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) #6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_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 ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) #4 align 2

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

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(152)) #1

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESB_(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 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKjSt6vectorIjSaIjEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) #4 align 2

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEEEvT_S7_(ptr, ptr) #6

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

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

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: readwrite)
declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #7

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

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef) #2 align 2

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_123visit_terminator_targetERKN3MIR10TerminatorESt8functionIFvRKjEE(ptr noundef nonnull align 8 dereferenceable(168), ptr noundef) #2

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR10Terminator15make_IncompleteENS0_15Data_IncompleteE(ptr dead_on_unwind noalias writable sret(%"class.MIR::Terminator") align 8) #2 align 2

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR10Terminator11make_ReturnENS0_11Data_ReturnE(ptr dead_on_unwind noalias writable sret(%"class.MIR::Terminator") align 8) #2 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR10Terminator12make_DivergeENS0_12Data_DivergeE(ptr dead_on_unwind noalias writable sret(%"class.MIR::Terminator") align 8) #2 align 2

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

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

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

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


; 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.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.98 = type { i8 }
%class.anon.100 = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.std::function.143" = type { %"class.std::_Function_base", ptr }
%class.anon.146 = type { ptr, ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.147" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.148" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.188" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.189" = type { ptr }
%"class.std::vector.25" = type { %"struct.std::_Bvector_base" }
%"struct.std::_Bvector_base" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl" = type { %"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" }
%"struct.std::_Bvector_base<std::allocator<bool>>::_Bvector_impl_data" = type { %"struct.std::_Bit_iterator", %"struct.std::_Bit_iterator", ptr }
%"struct.std::_Bit_iterator" = type { %"struct.std::_Bit_iterator_base.base", [4 x i8] }
%"struct.std::_Bit_iterator_base.base" = type <{ ptr, i32 }>
%"class.std::allocator.190" = type { i8 }
%"class.std::vector.111" = type { %"struct.std::_Vector_base.112" }
%"struct.std::_Vector_base.112" = 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 }
%"class.std::allocator.113" = type { i8 }
%"struct.std::_Bit_reference" = type { ptr, i64 }
%"class.std::function.193" = type { %"class.std::_Function_base", ptr }
%class.anon.196 = type { ptr, ptr, ptr }
%"struct.MIR::BasicBlock" = type { %"class.std::vector.101", %"class.MIR::Terminator" }
%"class.std::vector.101" = type { %"struct.std::_Vector_base.102" }
%"struct.std::_Vector_base.102" = type { %"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::Statement, std::allocator<MIR::Statement>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::Terminator" = type { i32, %"union.MIR::Terminator::DataUnion" }
%"union.MIR::Terminator::DataUnion" = type { %"struct.MIR::Terminator::Data_Call" }
%"struct.MIR::Terminator::Data_Call" = type { i32, i32, %"struct.MIR::LValue", %"class.MIR::CallTarget", %"class.std::vector.138" }
%"struct.MIR::LValue" = type { %"class.MIR::LValue::Storage", %"class.std::vector.106" }
%"class.MIR::LValue::Storage" = type { i64 }
%"class.std::vector.106" = type { %"struct.std::_Vector_base.107" }
%"struct.std::_Vector_base.107" = type { %"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::LValue::Wrapper, std::allocator<MIR::LValue::Wrapper>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.MIR::CallTarget" = type { i32, %"union.MIR::CallTarget::DataUnion" }
%"union.MIR::CallTarget::DataUnion" = type { %"class.HIR::Path" }
%"class.HIR::Path" = type { %"class.HIR::Path::Data" }
%"class.HIR::Path::Data" = type { i32, %"union.HIR::Path::Data::DataUnion" }
%"union.HIR::Path::Data::DataUnion" = type { %"struct.HIR::Path::Data::Data_UfcsKnown" }
%"struct.HIR::Path::Data::Data_UfcsKnown" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath", %class.RcString, %"struct.HIR::PathParams", %"class.std::unique_ptr" }
%"class.HIR::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.133, %class.ThinVector.134, %class.ThinVector.135 }
%class.ThinVector.133 = type { ptr }
%class.ThinVector.134 = type { ptr }
%class.ThinVector.135 = 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.137" }
%"struct.std::_Head_base.137" = type { ptr }
%"class.std::vector.138" = type { %"struct.std::_Vector_base.139" }
%"struct.std::_Vector_base.139" = type { %"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl" }
%"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl" = type { %"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl_data" }
%"struct.std::_Vector_base<MIR::Param, std::allocator<MIR::Param>>::_Vector_impl_data" = type { ptr, ptr, ptr }

@__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE = external hidden unnamed_addr constant [27 x i8], align 1
@g_debug_indent_level = external local_unnamed_addr global i32, align 4
@.str = external hidden unnamed_addr constant [3 x i8], align 1
@.str.1 = external hidden unnamed_addr constant [29 x i8], align 1
@.str.2 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.3 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.4 = external hidden unnamed_addr constant [6 x i8], align 1
@.str.5 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.6 = external hidden unnamed_addr constant [7 x i8], align 1
@.str.7 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.8 = external hidden unnamed_addr constant [75 x i8], align 1
@__PRETTY_FUNCTION__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE = external hidden unnamed_addr constant [73 x i8], align 1
@.str.9 = external hidden unnamed_addr constant [11 x i8], align 1
@.str.10 = external hidden unnamed_addr constant [12 x i8], align 1

declare i32 @__gxx_personality_v0(...)

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

declare noundef zeroext i1 @_Z13debug_enabledv() local_unnamed_addr #1

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE(ptr noundef nonnull align 8 dereferenceable(120) %0, ptr noundef nonnull align 8 dereferenceable(96) %1) local_unnamed_addr #2 personality ptr @__gxx_personality_v0 {
  %3 = alloca i8, align 1
  %4 = alloca %class.TraceLog, align 8
  %5 = alloca %"class.std::function", align 8
  %6 = alloca %class.anon.98, align 1
  %7 = alloca %"class.std::function", align 8
  %8 = alloca %class.anon.100, align 8
  %9 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %10 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %11 = alloca %"class.std::function.143", align 8
  %12 = alloca %class.anon.146, align 8
  %13 = alloca %"class.__gnu_cxx::__normal_iterator.147", align 8
  %14 = alloca %"class.__gnu_cxx::__normal_iterator.147", align 8
  %15 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %16 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %17 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %18 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %19 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %20 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %21 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %22 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %23 = alloca %"class.__gnu_cxx::__normal_iterator.188", align 8
  %24 = alloca %"class.__gnu_cxx::__normal_iterator.188", align 8
  %25 = alloca i32, align 4
  %26 = alloca %"class.__gnu_cxx::__normal_iterator.189", align 8
  %27 = alloca %"class.std::vector.25", align 8
  %28 = alloca %"class.std::allocator.190", align 1
  %29 = alloca %"class.std::vector.111", align 8
  %30 = alloca %"class.std::allocator.113", align 1
  %31 = alloca %"class.std::vector.111", align 8
  %32 = alloca i32, align 4
  %33 = alloca %"struct.std::_Bit_reference", align 8
  %34 = alloca %"struct.std::_Bit_reference", align 8
  %35 = alloca %"class.std::function.193", align 8
  %36 = alloca %class.anon.196, align 8
  %37 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %38 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %39 = alloca %"struct.std::_Bit_reference", align 8
  %40 = alloca %"struct.MIR::BasicBlock", align 8
  %41 = alloca %"class.MIR::Terminator", align 8
  %42 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %43 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %44 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %45 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %46 = alloca %"class.MIR::Terminator", align 8
  %47 = alloca %"class.MIR::Terminator", align 8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %3) #8
  store i8 0, ptr %3, align 1, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 40, ptr nonnull %4) #8
  %48 = tail call noundef zeroext i1 @_Z13debug_enabledv()
  %49 = select i1 %48, ptr @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE, ptr null
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %6) #8
  call void @"_ZNSt8functionIFvRSoEEC2IZ26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS4_8FunctionEE3$_0vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %5, ptr noundef nonnull align 1 dereferenceable(1) %6) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %8) #8
  store ptr %3, ptr %8, align 8, !tbaa !9
  call void @"_ZNSt8functionIFvRSoEEC2IZ26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS4_8FunctionEE3$_1vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %7, ptr noundef nonnull align 8 dereferenceable(8) %8) #8
  invoke void @_ZN8TraceLogC1EPKcSt8functionIFvRSoEES5_(ptr noundef nonnull align 8 dereferenceable(40) %4, ptr noundef %49, ptr noundef nonnull %5, ptr noundef nonnull %7)
          to label %50 unwind label %61

50:                                               ; preds = %2
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #8
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %6) #8
  %51 = getelementptr inbounds i8, ptr %1, i64 64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #8
  %52 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  store ptr %52, ptr %9, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #8
  %53 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  store ptr %53, ptr %10, align 8
  %54 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  br i1 %54, label %.lr.ph148, label %._crit_edge149

.lr.ph148:                                        ; preds = %50
  %55 = getelementptr inbounds i8, ptr %12, i64 8
  %56 = getelementptr inbounds i8, ptr %12, i64 16
  %57 = getelementptr inbounds i8, ptr %12, i64 24
  br label %63

._crit_edge149:                                   ; preds = %144, %50
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %15) #8
  %58 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  store ptr %58, ptr %15, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #8
  %59 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  store ptr %59, ptr %16, align 8
  %60 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  br i1 %60, label %.lr.ph157, label %._crit_edge158

61:                                               ; preds = %2
  %62 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %7) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %8) #8
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %5) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %6) #8
  br label %429

63:                                               ; preds = %.lr.ph148, %144
  %64 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  %65 = getelementptr inbounds i8, ptr %64, i64 24
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %12) #8
  store ptr %1, ptr %12, align 8, !tbaa !9
  store ptr %64, ptr %55, align 8, !tbaa !9
  store ptr %0, ptr %56, align 8, !tbaa !9
  store ptr %3, ptr %57, align 8, !tbaa !9
  invoke void @"_ZNSt8functionIFvRjEEC2IZ26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS4_8FunctionEE3$_2vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %11, ptr noundef nonnull align 8 dereferenceable(32) %12)
          to label %66 unwind label %75

66:                                               ; preds = %63
  invoke void @_ZN12_GLOBAL__N_127visit_terminator_target_mutERN3MIR10TerminatorESt8functionIFvRjEE(ptr noundef nonnull align 8 dereferenceable(168) %65, ptr noundef nonnull %11)
          to label %67 unwind label %77

67:                                               ; preds = %66
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #8
  %68 = call noundef ptr @_ZN3MIR10Terminator10opt_SwitchEv(ptr noundef nonnull align 8 dereferenceable(168) %65)
  %.not140 = icmp eq ptr %68, null
  br i1 %.not140, label %144, label %69

69:                                               ; preds = %67
  %70 = getelementptr inbounds i8, ptr %68, i64 32
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #8
  %71 = call ptr @_ZNSt6vectorIjSaIjEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %70) #8
  store ptr %71, ptr %13, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #8
  %72 = call ptr @_ZNSt6vectorIjSaIjEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %70) #8
  store ptr %72, ptr %14, align 8
  %73 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  br i1 %73, label %.lr.ph, label %._crit_edge

.lr.ph:                                           ; preds = %69
  %74 = ptrtoint ptr %64 to i64
  br label %80

._crit_edge:                                      ; preds = %141, %69
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  br label %144

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

77:                                               ; preds = %66
  %78 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %11) #8
  br label %79

79:                                               ; preds = %77, %75
  %.pn138 = phi { ptr, i32 } [ %78, %77 ], [ %76, %75 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %12) #8
  br label %147

80:                                               ; preds = %.lr.ph, %141
  %81 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %82 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEE5frontEv(ptr noundef nonnull align 8 dereferenceable(24) %70) #8
  %83 = ptrtoint ptr %81 to i64
  %84 = ptrtoint ptr %82 to i64
  %85 = sub i64 %83, %84
  %86 = ashr exact i64 %85, 2
  %87 = load i32, ptr %81, align 4, !tbaa !11
  %88 = zext i32 %87 to i64
  %89 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %88) #8
  %90 = call noundef zeroext i1 @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %89) #8
  br i1 %90, label %91, label %141

91:                                               ; preds = %80
  %92 = load i32, ptr %81, align 4, !tbaa !11
  %93 = zext i32 %92 to i64
  %94 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %93) #8
  %95 = getelementptr inbounds i8, ptr %94, i64 24
  %96 = call noundef zeroext i1 @_ZNK3MIR10Terminator9is_SwitchEv(ptr noundef nonnull align 8 dereferenceable(168) %95)
  br i1 %96, label %97, label %141

97:                                               ; preds = %91
  %98 = load i32, ptr %81, align 4, !tbaa !11
  %99 = zext i32 %98 to i64
  %100 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %99) #8
  %101 = getelementptr inbounds i8, ptr %100, i64 24
  %102 = call noundef nonnull align 8 dereferenceable(56) ptr @_ZN3MIR10Terminator9as_SwitchEv(ptr noundef nonnull align 8 dereferenceable(168) %101)
  %103 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %102, ptr noundef nonnull align 8 dereferenceable(32) %68)
          to label %104 unwind label %135

104:                                              ; preds = %97
  br i1 %103, label %105, label %141

105:                                              ; preds = %104
  %106 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %107 unwind label %135

107:                                              ; preds = %105
  br i1 %106, label %108, label %137

108:                                              ; preds = %107
  %109 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %110 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %109, ptr noundef nonnull @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %111 unwind label %135

111:                                              ; preds = %108
  %112 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %110, ptr noundef nonnull @.str)
          to label %113 unwind label %135

113:                                              ; preds = %111
  %114 = call noundef ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  %115 = ptrtoint ptr %114 to i64
  %116 = sub i64 %74, %115
  %117 = sdiv exact i64 %116, 192
  %118 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEl(ptr noundef nonnull align 8 dereferenceable(8) %112, i64 noundef %117)
          to label %119 unwind label %135

119:                                              ; preds = %113
  %120 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %118, ptr noundef nonnull @.str.1)
          to label %121 unwind label %135

121:                                              ; preds = %119
  %122 = load i32, ptr %81, align 4, !tbaa !11
  %123 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %120, i32 noundef %122)
          to label %124 unwind label %135

124:                                              ; preds = %121
  %125 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %123, ptr noundef nonnull @.str.2)
          to label %126 unwind label %135

126:                                              ; preds = %124
  %127 = getelementptr inbounds i8, ptr %102, i64 32
  %128 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %127, i64 noundef %86) #8
  %129 = load i32, ptr %128, align 4, !tbaa !11
  %130 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %125, i32 noundef %129)
          to label %131 unwind label %135

131:                                              ; preds = %126
  %132 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %130, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %133 unwind label %135

133:                                              ; preds = %131
  %134 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %132, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %137 unwind label %135

135:                                              ; preds = %133, %131, %126, %124, %121, %119, %113, %111, %108, %105, %97
  %136 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  br label %147

137:                                              ; preds = %133, %107
  %138 = getelementptr inbounds i8, ptr %102, i64 32
  %139 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNKSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %138, i64 noundef %86) #8
  %140 = load i32, ptr %139, align 4, !tbaa !11
  store i32 %140, ptr %81, align 4, !tbaa !11
  store i8 1, ptr %3, align 1, !tbaa !5
  br label %141

141:                                              ; preds = %104, %137, %91, %80
  %142 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  %143 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  br i1 %143, label %80, label %._crit_edge

144:                                              ; preds = %._crit_edge, %67
  %145 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  %146 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  br i1 %146, label %63, label %._crit_edge149

147:                                              ; preds = %135, %79
  %.pn141 = phi { ptr, i32 } [ %136, %135 ], [ %.pn138, %79 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  br label %428

._crit_edge158:                                   ; preds = %219, %._crit_edge149
  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.start.p0(i64 40, ptr nonnull %27) #8
  %148 = call noundef i64 @_ZNKSt6vectorIN3MIR10BasicBlockESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %28) #8
  call void @_ZNSaIbEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #8
  invoke void @_ZNSt6vectorIbSaIbEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(40) %27, i64 noundef %148, ptr noundef nonnull align 1 dereferenceable(1) %28)
          to label %222 unwind label %243

.lr.ph157:                                        ; preds = %._crit_edge149, %219
  %149 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #8
  %150 = call noundef i64 @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %149) #8
  %151 = icmp ugt i64 %150, 1
  br i1 %151, label %152, label %219

152:                                              ; preds = %.lr.ph157
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #8
  %153 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %149) #8
  store ptr %153, ptr %18, align 8
  %154 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEplEl(ptr noundef nonnull align 8 dereferenceable(8) %18, i64 noundef 1) #8
  store ptr %154, ptr %17, align 8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #8
  %155 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %149) #8
  store ptr %155, ptr %19, align 8
  %156 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #8
  br i1 %156, label %.lr.ph154, label %._crit_edge155

._crit_edge155:                                   ; preds = %216, %152
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #8
  br label %219

.lr.ph154:                                        ; preds = %152, %216
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %20) #8
  %157 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEmiEl(ptr noundef nonnull align 8 dereferenceable(8) %17, i64 noundef 1) #8
  store ptr %157, ptr %20, align 8
  %158 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %20) #8
  %159 = call noundef zeroext i1 @_ZNK3MIR9Statement11is_ScopeEndEv(ptr noundef nonnull align 8 dereferenceable(152) %158)
  br i1 %159, label %160, label %.critedge

160:                                              ; preds = %.lr.ph154
  %161 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  %162 = call noundef zeroext i1 @_ZNK3MIR9Statement11is_ScopeEndEv(ptr noundef nonnull align 8 dereferenceable(152) %161)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #8
  br i1 %162, label %163, label %214

163:                                              ; preds = %160
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #8
  %164 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEmiEl(ptr noundef nonnull align 8 dereferenceable(8) %17, i64 noundef 1) #8
  store ptr %164, ptr %21, align 8
  %165 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  %166 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN3MIR9Statement11as_ScopeEndEv(ptr noundef nonnull align 8 dereferenceable(152) %165)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #8
  %167 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  %168 = call noundef nonnull align 8 dereferenceable(24) ptr @_ZN3MIR9Statement11as_ScopeEndEv(ptr noundef nonnull align 8 dereferenceable(152) %167)
  %169 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %170 unwind label %190

170:                                              ; preds = %163
  br i1 %169, label %171, label %194

171:                                              ; preds = %170
  %172 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %173 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %172, ptr noundef nonnull @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %174 unwind label %190

174:                                              ; preds = %171
  %175 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %173, ptr noundef nonnull @.str.3)
          to label %176 unwind label %190

176:                                              ; preds = %174
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #8
  %177 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEmiEl(ptr noundef nonnull align 8 dereferenceable(8) %17, i64 noundef 1) #8
  store ptr %177, ptr %22, align 8
  %178 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %22) #8
  %179 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %175, ptr noundef nonnull align 8 dereferenceable(152) %178)
          to label %180 unwind label %192

180:                                              ; preds = %176
  %181 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %179, ptr noundef nonnull @.str.4)
          to label %182 unwind label %192

182:                                              ; preds = %180
  %183 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  %184 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %181, ptr noundef nonnull align 8 dereferenceable(152) %183)
          to label %185 unwind label %192

185:                                              ; preds = %182
  %186 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %184, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %187 unwind label %192

187:                                              ; preds = %185
  %188 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %186, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %189 unwind label %192

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

190:                                              ; preds = %._crit_edge152, %174, %171, %163
  %191 = landingpad { ptr, i32 }
          cleanup
  br label %213

192:                                              ; preds = %187, %185, %182, %180, %176
  %193 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #8
  br label %213

194:                                              ; preds = %189, %170
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #8
  %195 = call ptr @_ZNKSt6vectorIjSaIjEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %168) #8
  store ptr %195, ptr %23, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %24) #8
  %196 = call ptr @_ZNKSt6vectorIjSaIjEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %168) #8
  store ptr %196, ptr %24, align 8
  %197 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %23, ptr noundef nonnull align 8 dereferenceable(8) %24) #8
  br i1 %197, label %.lr.ph151, label %._crit_edge152

._crit_edge152:                                   ; preds = %202, %194
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #8
  %198 = call ptr @_ZNSt6vectorIjSaIjEE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %166) #8
  %199 = call ptr @_ZNSt6vectorIjSaIjEE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %166) #8
  invoke void @_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEEEvT_S7_(ptr %198, ptr %199)
          to label %207 unwind label %190

.lr.ph151:                                        ; preds = %194, %202
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %25) #8
  %200 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKjSt6vectorIjSaIjEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %23) #8
  %201 = load i32, ptr %200, align 4, !tbaa !11
  store i32 %201, ptr %25, align 4, !tbaa !11
  invoke void @_ZNSt6vectorIjSaIjEE9push_backERKj(ptr noundef nonnull align 8 dereferenceable(24) %166, ptr noundef nonnull align 4 dereferenceable(4) %25)
          to label %202 unwind label %205

202:                                              ; preds = %.lr.ph151
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %25) #8
  %203 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPKjSt6vectorIjSaIjEEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %23) #8
  %204 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPKjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESB_(ptr noundef nonnull align 8 dereferenceable(8) %23, ptr noundef nonnull align 8 dereferenceable(8) %24) #8
  br i1 %204, label %.lr.ph151, label %._crit_edge152

205:                                              ; preds = %.lr.ph151
  %206 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %25) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %24) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #8
  br label %213

207:                                              ; preds = %._crit_edge152
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  %208 = load ptr, ptr %26, align 8
  %209 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %149, ptr %208)
          to label %210 unwind label %211

210:                                              ; preds = %207
  store ptr %209, ptr %17, align 8, !tbaa !9
  store i8 1, ptr %3, align 1, !tbaa !5
  br label %216

211:                                              ; preds = %207
  %212 = landingpad { ptr, i32 }
          cleanup
  br label %213

213:                                              ; preds = %211, %205, %192, %190
  %.pn136 = phi { ptr, i32 } [ %206, %205 ], [ %212, %211 ], [ %191, %190 ], [ %193, %192 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %15) #8
  br label %428

.critedge:                                        ; preds = %.lr.ph154
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %20) #8
  br label %214

214:                                              ; preds = %.critedge, %160
  %215 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  br label %216

216:                                              ; preds = %214, %210
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %19) #8
  %217 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %149) #8
  store ptr %217, ptr %19, align 8
  %218 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %17, ptr noundef nonnull align 8 dereferenceable(8) %19) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %19) #8
  br i1 %218, label %.lr.ph154, label %._crit_edge155, !llvm.loop !13

219:                                              ; preds = %._crit_edge155, %.lr.ph157
  %220 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #8
  %221 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %15, ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  br i1 %221, label %.lr.ph157, label %._crit_edge158

222:                                              ; preds = %._crit_edge158
  call void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %28) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %29) #8
  %223 = call noundef i64 @_ZNKSt6vectorIN3MIR10BasicBlockESaIS1_EE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %30) #8
  call void @_ZNSaIjEC2Ev(ptr noundef nonnull align 1 dereferenceable(1) %30) #8
  invoke void @_ZNSt6vectorIjSaIjEEC2EmRKS0_(ptr noundef nonnull align 8 dereferenceable(24) %29, i64 noundef %223, ptr noundef nonnull align 1 dereferenceable(1) %30)
          to label %224 unwind label %245

224:                                              ; preds = %222
  call void @_ZNSt15__new_allocatorIjED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %30) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %30) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %31) #8
  call void @_ZNSt6vectorIjSaIjEEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  call void @llvm.lifetime.start.p0(i64 4, ptr nonnull %32) #8
  store i32 0, ptr %32, align 4, !tbaa !11
  invoke void @_ZNSt6vectorIjSaIjEE9push_backEOj(ptr noundef nonnull align 8 dereferenceable(24) %31, ptr noundef nonnull align 4 dereferenceable(4) %32)
          to label %225 unwind label %247

225:                                              ; preds = %224
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %32) #8
  %226 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %29, i64 noundef 0) #8
  %227 = load i32, ptr %226, align 4, !tbaa !11
  %228 = add i32 %227, 1
  store i32 %228, ptr %226, align 4, !tbaa !11
  %229 = call noundef i64 @_ZNKSt6vectorIjSaIjEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  %.not159 = icmp eq i64 %229, 0
  br i1 %.not159, label %._crit_edge162, label %.lr.ph161

.lr.ph161:                                        ; preds = %225
  %230 = getelementptr inbounds i8, ptr %33, i64 8
  %231 = getelementptr inbounds i8, ptr %34, i64 8
  %232 = getelementptr inbounds i8, ptr %36, i64 8
  %233 = getelementptr inbounds i8, ptr %36, i64 16
  br label %234

234:                                              ; preds = %.lr.ph161, %261
  %235 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEE4backEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  %236 = load i32, ptr %235, align 4, !tbaa !11
  call void @_ZNSt6vectorIjSaIjEE8pop_backEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %33) #8
  %237 = zext i32 %236 to i64
  %238 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %27, i64 noundef %237)
          to label %239 unwind label %249

239:                                              ; preds = %234
  %240 = extractvalue { ptr, i64 } %238, 0
  store ptr %240, ptr %33, align 8
  %241 = extractvalue { ptr, i64 } %238, 1
  store i64 %241, ptr %230, align 8
  %242 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %33) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %33) #8
  br i1 %242, label %261, label %251, !llvm.loop !15

243:                                              ; preds = %._crit_edge158
  %244 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIbED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %28) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %28) #8
  br label %352

245:                                              ; preds = %222
  %246 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt15__new_allocatorIjED2Ev(ptr noundef nonnull align 1 dereferenceable(1) %30) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %30) #8
  br label %351

247:                                              ; preds = %224
  %248 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 4, ptr nonnull %32) #8
  br label %350

249:                                              ; preds = %234
  %250 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %33) #8
  br label %350

251:                                              ; preds = %239
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %34) #8
  %252 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %27, i64 noundef %237)
          to label %253 unwind label %263

253:                                              ; preds = %251
  %254 = extractvalue { ptr, i64 } %252, 0
  store ptr %254, ptr %34, align 8
  %255 = extractvalue { ptr, i64 } %252, 1
  store i64 %255, ptr %231, align 8
  %256 = call noundef nonnull align 8 dereferenceable(16) ptr @_ZNSt14_Bit_referenceaSEb(ptr noundef nonnull align 8 dereferenceable(16) %34, i1 noundef zeroext true) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %34) #8
  %257 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %237) #8
  call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %36) #8
  store ptr %27, ptr %36, align 8, !tbaa !9
  store ptr %31, ptr %232, align 8, !tbaa !9
  store ptr %29, ptr %233, align 8, !tbaa !9
  invoke void @"_ZNSt8functionIFvRKjEEC2IZ26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS5_8FunctionEE3$_3vEEOT_"(ptr noundef nonnull align 8 dereferenceable(32) %35, ptr noundef nonnull align 8 dereferenceable(24) %36)
          to label %258 unwind label %265

258:                                              ; preds = %253
  %259 = getelementptr inbounds i8, ptr %257, i64 24
  invoke void @_ZN12_GLOBAL__N_123visit_terminator_targetERKN3MIR10TerminatorESt8functionIFvRKjEE(ptr noundef nonnull align 8 dereferenceable(168) %259, ptr noundef nonnull %35)
          to label %260 unwind label %267

260:                                              ; preds = %258
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %36) #8
  br label %261

261:                                              ; preds = %239, %260
  %262 = call noundef i64 @_ZNKSt6vectorIjSaIjEE4sizeEv(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  %.not = icmp eq i64 %262, 0
  br i1 %.not, label %._crit_edge162, label %234

263:                                              ; preds = %251
  %264 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %34) #8
  br label %350

265:                                              ; preds = %253
  %266 = landingpad { ptr, i32 }
          cleanup
  br label %269

267:                                              ; preds = %258
  %268 = landingpad { ptr, i32 }
          cleanup
  call void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #8
  br label %269

269:                                              ; preds = %267, %265
  %.pn130 = phi { ptr, i32 } [ %268, %267 ], [ %266, %265 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %36) #8
  br label %350

._crit_edge162:                                   ; preds = %261, %225
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %37) #8
  %270 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  store ptr %270, ptr %37, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %38) #8
  %271 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  store ptr %271, ptr %38, align 8
  %272 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %37, ptr noundef nonnull align 8 dereferenceable(8) %38) #8
  br i1 %272, label %.lr.ph171, label %._crit_edge172

.lr.ph171:                                        ; preds = %._crit_edge162
  %273 = getelementptr inbounds i8, ptr %39, i64 8
  %274 = getelementptr inbounds i8, ptr %40, i64 24
  br label %278

._crit_edge172:                                   ; preds = %.thread, %._crit_edge162
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %38) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %37) #8
  call void @_ZNSt6vectorIjSaIjEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %31) #8
  call void @_ZNSt6vectorIjSaIjEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %29) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %29) #8
  call void @_ZNSt13_Bvector_baseISaIbEED2Ev(ptr noundef nonnull align 8 dereferenceable(40) %27) #8
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %27) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %44) #8
  %275 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  store ptr %275, ptr %44, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %45) #8
  %276 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  store ptr %276, ptr %45, align 8
  %277 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %44, ptr noundef nonnull align 8 dereferenceable(8) %45) #8
  br i1 %277, label %.lr.ph174, label %._crit_edge175

278:                                              ; preds = %.lr.ph171, %.thread
  %.0114168 = phi i32 [ 0, %.lr.ph171 ], [ %346, %.thread ]
  %279 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %37) #8
  call void @llvm.lifetime.start.p0(i64 16, ptr nonnull %39) #8
  %280 = zext i32 %.0114168 to i64
  %281 = invoke { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40) %27, i64 noundef %280)
          to label %282 unwind label %294

282:                                              ; preds = %278
  %283 = extractvalue { ptr, i64 } %281, 0
  store ptr %283, ptr %39, align 8
  %284 = extractvalue { ptr, i64 } %281, 1
  store i64 %284, ptr %273, align 8
  %285 = call noundef zeroext i1 @_ZNKSt14_Bit_referencecvbEv(ptr noundef nonnull align 8 dereferenceable(16) %39) #8
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %39) #8
  br i1 %285, label %.preheader, label %.thread

.preheader:                                       ; preds = %282
  %286 = getelementptr inbounds i8, ptr %279, i64 24
  %287 = call noundef zeroext i1 @_ZNK3MIR10Terminator7is_GotoEv(ptr noundef nonnull align 8 dereferenceable(168) %286)
  br i1 %287, label %.lr.ph166, label %.thread

.lr.ph166:                                        ; preds = %.preheader, %341
  %288 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3MIR10Terminator7as_GotoEv(ptr noundef nonnull align 8 dereferenceable(168) %286)
  %289 = load i32, ptr %288, align 4, !tbaa !11
  %290 = zext i32 %289 to i64
  %291 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZNSt6vectorIjSaIjEEixEm(ptr noundef nonnull align 8 dereferenceable(24) %29, i64 noundef %290) #8
  %292 = load i32, ptr %291, align 4, !tbaa !11
  %.not122 = icmp ne i32 %292, 1
  %293 = icmp eq i32 %289, %.0114168
  %or.cond = select i1 %.not122, i1 true, i1 %293
  br i1 %or.cond, label %.thread, label %298

294:                                              ; preds = %278
  %295 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 16, ptr nonnull %39) #8
  br label %349

296:                                              ; preds = %314, %312, %310, %308, %306, %304, %301, %298
  %297 = landingpad { ptr, i32 }
          cleanup
  br label %349

298:                                              ; preds = %.lr.ph166
  %299 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %300 unwind label %296

300:                                              ; preds = %298
  br i1 %299, label %301, label %316

301:                                              ; preds = %300
  %302 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %303 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %302, ptr noundef nonnull @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %304 unwind label %296

304:                                              ; preds = %301
  %305 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %303, ptr noundef nonnull @.str.5)
          to label %306 unwind label %296

306:                                              ; preds = %304
  %307 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %305, i32 noundef %289)
          to label %308 unwind label %296

308:                                              ; preds = %306
  %309 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %307, ptr noundef nonnull @.str.6)
          to label %310 unwind label %296

310:                                              ; preds = %308
  %311 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEj(ptr noundef nonnull align 8 dereferenceable(8) %309, i32 noundef %.0114168)
          to label %312 unwind label %296

312:                                              ; preds = %310
  %313 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %311, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %314 unwind label %296

314:                                              ; preds = %312
  %315 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %313, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %316 unwind label %296

316:                                              ; preds = %314, %300
  %317 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %290) #8
  %.not123 = icmp eq ptr %317, %279
  br i1 %.not123, label %318, label %319

318:                                              ; preds = %316
  call void @__assert_fail(ptr noundef nonnull @.str.7, ptr noundef nonnull @.str.8, i32 noundef 1006, ptr noundef nonnull @__PRETTY_FUNCTION__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE) #9
  unreachable

319:                                              ; preds = %316
  call void @llvm.lifetime.start.p0(i64 192, ptr nonnull %40) #8
  %320 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %290) #8
  call void @_ZN3MIR10BasicBlockC2EOS0_(ptr noundef nonnull align 8 dereferenceable(192) %40, ptr noundef nonnull align 8 dereferenceable(192) %320) #8
  call void @llvm.lifetime.start.p0(i64 168, ptr nonnull %41) #8
  invoke void @_ZN3MIR10Terminator15make_IncompleteENS0_15Data_IncompleteE(ptr dead_on_unwind nonnull writable sret(%"class.MIR::Terminator") align 8 %41)
          to label %321 unwind label %330

321:                                              ; preds = %319
  %322 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %290) #8
  %323 = getelementptr inbounds i8, ptr %322, i64 24
  %324 = invoke noundef nonnull align 8 dereferenceable(168) ptr @_ZN3MIR10TerminatoraSEOS0_(ptr noundef nonnull align 8 dereferenceable(168) %323, ptr noundef nonnull align 8 dereferenceable(168) %41)
          to label %325 unwind label %332

325:                                              ; preds = %321
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %41) #8
  call void @llvm.lifetime.end.p0(i64 168, ptr nonnull %41) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %42) #8
  %326 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %40) #8
  store ptr %326, ptr %42, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %43) #8
  %327 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %40) #8
  store ptr %327, ptr %43, align 8
  %328 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull align 8 dereferenceable(8) %43) #8
  br i1 %328, label %.lr.ph164, label %._crit_edge165

._crit_edge165:                                   ; preds = %336, %325
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %42) #8
  %329 = invoke noundef nonnull align 8 dereferenceable(168) ptr @_ZN3MIR10TerminatoraSEOS0_(ptr noundef nonnull align 8 dereferenceable(168) %286, ptr noundef nonnull align 8 dereferenceable(168) %274)
          to label %341 unwind label %343

330:                                              ; preds = %319
  %331 = landingpad { ptr, i32 }
          cleanup
  br label %334

332:                                              ; preds = %321
  %333 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %41) #8
  br label %334

334:                                              ; preds = %332, %330
  %.pn124 = phi { ptr, i32 } [ %333, %332 ], [ %331, %330 ]
  call void @llvm.lifetime.end.p0(i64 168, ptr nonnull %41) #8
  br label %345

.lr.ph164:                                        ; preds = %325, %336
  %335 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %42) #8
  invoke void @_ZNSt6vectorIN3MIR9StatementESaIS1_EE9push_backEOS1_(ptr noundef nonnull align 8 dereferenceable(24) %279, ptr noundef nonnull align 8 dereferenceable(152) %335)
          to label %336 unwind label %339

336:                                              ; preds = %.lr.ph164
  %337 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %42) #8
  %338 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %42, ptr noundef nonnull align 8 dereferenceable(8) %43) #8
  br i1 %338, label %.lr.ph164, label %._crit_edge165

339:                                              ; preds = %.lr.ph164
  %340 = landingpad { ptr, i32 }
          cleanup
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %43) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %42) #8
  br label %345

341:                                              ; preds = %._crit_edge165
  store i8 1, ptr %3, align 1, !tbaa !5
  call void @_ZN3MIR10BasicBlockD2Ev(ptr noundef nonnull align 8 dereferenceable(192) %40) #8
  call void @llvm.lifetime.end.p0(i64 192, ptr nonnull %40) #8
  %342 = call noundef zeroext i1 @_ZNK3MIR10Terminator7is_GotoEv(ptr noundef nonnull align 8 dereferenceable(168) %286)
  br i1 %342, label %.lr.ph166, label %.thread

343:                                              ; preds = %._crit_edge165
  %344 = landingpad { ptr, i32 }
          cleanup
  br label %345

345:                                              ; preds = %343, %339, %334
  %.pn126 = phi { ptr, i32 } [ %340, %339 ], [ %344, %343 ], [ %.pn124, %334 ]
  call void @_ZN3MIR10BasicBlockD2Ev(ptr noundef nonnull align 8 dereferenceable(192) %40) #8
  call void @llvm.lifetime.end.p0(i64 192, ptr nonnull %40) #8
  br label %349

.thread:                                          ; preds = %341, %.lr.ph166, %.preheader, %282
  %346 = add i32 %.0114168, 1
  %347 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %37) #8
  %348 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %37, ptr noundef nonnull align 8 dereferenceable(8) %38) #8
  br i1 %348, label %278, label %._crit_edge172

349:                                              ; preds = %296, %345, %294
  %.pn126.pn.pn = phi { ptr, i32 } [ %295, %294 ], [ %.pn126, %345 ], [ %297, %296 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %38) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %37) #8
  br label %350

._crit_edge175:                                   ; preds = %425, %._crit_edge172
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %44) #8
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %4) #8
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %4) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %3) #8
  ret i1 false

350:                                              ; preds = %249, %263, %269, %349, %247
  %.pn130.pn.pn = phi { ptr, i32 } [ %.pn126.pn.pn, %349 ], [ %248, %247 ], [ %.pn130, %269 ], [ %264, %263 ], [ %250, %249 ]
  call void @_ZNSt6vectorIjSaIjEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %31) #8
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %31) #8
  call void @_ZNSt6vectorIjSaIjEED2Ev(ptr noundef nonnull align 8 dereferenceable(24) %29) #8
  br label %351

351:                                              ; preds = %350, %245
  %.pn130.pn.pn.pn = phi { ptr, i32 } [ %.pn130.pn.pn, %350 ], [ %246, %245 ]
  call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %29) #8
  call void @_ZNSt13_Bvector_baseISaIbEED2Ev(ptr noundef nonnull align 8 dereferenceable(40) %27) #8
  br label %352

352:                                              ; preds = %351, %243
  %.pn130.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn130.pn.pn.pn, %351 ], [ %244, %243 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %27) #8
  br label %428

.lr.ph174:                                        ; preds = %._crit_edge172, %425
  %353 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %44) #8
  %354 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5frontEv(ptr noundef nonnull align 8 dereferenceable(24) %51) #8
  %355 = ptrtoint ptr %353 to i64
  %356 = ptrtoint ptr %354 to i64
  %357 = sub i64 %355, %356
  %358 = sdiv exact i64 %357, 192
  %359 = trunc i64 %358 to i32
  call void @_ZN3MIR11TypeResolve17set_cur_stmt_termEj(ptr noundef nonnull align 8 dereferenceable(120) %0, i32 noundef %359)
  %360 = getelementptr inbounds i8, ptr %353, i64 24
  %361 = call noundef zeroext i1 @_ZNK3MIR10Terminator7is_GotoEv(ptr noundef nonnull align 8 dereferenceable(168) %360)
  br i1 %361, label %362, label %425

362:                                              ; preds = %.lr.ph174
  %363 = call noundef nonnull align 4 dereferenceable(4) ptr @_ZN3MIR10Terminator7as_GotoEv(ptr noundef nonnull align 8 dereferenceable(168) %360)
  %364 = load i32, ptr %363, align 4, !tbaa !11
  %365 = zext i32 %364 to i64
  %366 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %365) #8
  %367 = call noundef zeroext i1 @_ZNKSt6vectorIN3MIR9StatementESaIS1_EE5emptyEv(ptr noundef nonnull align 8 dereferenceable(24) %366) #8
  br i1 %367, label %370, label %425

368:                                              ; preds = %413, %411, %409, %407, %404, %401, %386, %384, %382, %380, %377, %374
  %369 = landingpad { ptr, i32 }
          cleanup
  br label %424

370:                                              ; preds = %362
  %371 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %365) #8
  %372 = getelementptr inbounds i8, ptr %371, i64 24
  %373 = call noundef zeroext i1 @_ZNK3MIR10Terminator9is_ReturnEv(ptr noundef nonnull align 8 dereferenceable(168) %372)
  br i1 %373, label %374, label %397

374:                                              ; preds = %370
  %375 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %376 unwind label %368

376:                                              ; preds = %374
  br i1 %375, label %377, label %388

377:                                              ; preds = %376
  %378 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %379 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %378, ptr noundef nonnull @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %380 unwind label %368

380:                                              ; preds = %377
  %381 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %379, ptr noundef nonnull align 8 dereferenceable(120) %0)
          to label %382 unwind label %368

382:                                              ; preds = %380
  %383 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %381, ptr noundef nonnull @.str.9)
          to label %384 unwind label %368

384:                                              ; preds = %382
  %385 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %383, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %386 unwind label %368

386:                                              ; preds = %384
  %387 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %385, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %388 unwind label %368

388:                                              ; preds = %386, %376
  call void @llvm.lifetime.start.p0(i64 168, ptr nonnull %46) #8
  invoke void @_ZN3MIR10Terminator11make_ReturnENS0_11Data_ReturnE(ptr dead_on_unwind nonnull writable sret(%"class.MIR::Terminator") align 8 %46)
          to label %389 unwind label %392

389:                                              ; preds = %388
  %390 = invoke noundef nonnull align 8 dereferenceable(168) ptr @_ZN3MIR10TerminatoraSEOS0_(ptr noundef nonnull align 8 dereferenceable(168) %360, ptr noundef nonnull align 8 dereferenceable(168) %46)
          to label %391 unwind label %394

391:                                              ; preds = %389
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %46) #8
  call void @llvm.lifetime.end.p0(i64 168, ptr nonnull %46) #8
  store i8 1, ptr %3, align 1, !tbaa !5
  br label %425

392:                                              ; preds = %388
  %393 = landingpad { ptr, i32 }
          cleanup
  br label %396

394:                                              ; preds = %389
  %395 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %46) #8
  br label %396

396:                                              ; preds = %394, %392
  %.pn119 = phi { ptr, i32 } [ %395, %394 ], [ %393, %392 ]
  call void @llvm.lifetime.end.p0(i64 168, ptr nonnull %46) #8
  br label %424

397:                                              ; preds = %370
  %398 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EEixEm(ptr noundef nonnull align 8 dereferenceable(24) %51, i64 noundef %365) #8
  %399 = getelementptr inbounds i8, ptr %398, i64 24
  %400 = call noundef zeroext i1 @_ZNK3MIR10Terminator10is_DivergeEv(ptr noundef nonnull align 8 dereferenceable(168) %399)
  br i1 %400, label %401, label %425

401:                                              ; preds = %397
  %402 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %403 unwind label %368

403:                                              ; preds = %401
  br i1 %402, label %404, label %415

404:                                              ; preds = %403
  %405 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %406 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %405, ptr noundef nonnull @__func__._Z26MIR_Optimise_BlockSimplifyRN3MIR11TypeResolveERNS_8FunctionE)
          to label %407 unwind label %368

407:                                              ; preds = %404
  %408 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %406, ptr noundef nonnull align 8 dereferenceable(120) %0)
          to label %409 unwind label %368

409:                                              ; preds = %407
  %410 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %408, ptr noundef nonnull @.str.10)
          to label %411 unwind label %368

411:                                              ; preds = %409
  %412 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %410, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %413 unwind label %368

413:                                              ; preds = %411
  %414 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %412, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %415 unwind label %368

415:                                              ; preds = %413, %403
  call void @llvm.lifetime.start.p0(i64 168, ptr nonnull %47) #8
  invoke void @_ZN3MIR10Terminator12make_DivergeENS0_12Data_DivergeE(ptr dead_on_unwind nonnull writable sret(%"class.MIR::Terminator") align 8 %47)
          to label %416 unwind label %419

416:                                              ; preds = %415
  %417 = invoke noundef nonnull align 8 dereferenceable(168) ptr @_ZN3MIR10TerminatoraSEOS0_(ptr noundef nonnull align 8 dereferenceable(168) %360, ptr noundef nonnull align 8 dereferenceable(168) %47)
          to label %418 unwind label %421

418:                                              ; preds = %416
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %47) #8
  call void @llvm.lifetime.end.p0(i64 168, ptr nonnull %47) #8
  store i8 1, ptr %3, align 1, !tbaa !5
  br label %425

419:                                              ; preds = %415
  %420 = landingpad { ptr, i32 }
          cleanup
  br label %423

421:                                              ; preds = %416
  %422 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR10TerminatorD2Ev(ptr noundef nonnull align 8 dereferenceable(168) %47) #8
  br label %423

423:                                              ; preds = %421, %419
  %.pn = phi { ptr, i32 } [ %422, %421 ], [ %420, %419 ]
  call void @llvm.lifetime.end.p0(i64 168, ptr nonnull %47) #8
  br label %424

424:                                              ; preds = %423, %396, %368
  %.pn119.pn = phi { ptr, i32 } [ %.pn119, %396 ], [ %369, %368 ], [ %.pn, %423 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %45) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %44) #8
  br label %428

425:                                              ; preds = %362, %418, %397, %391, %.lr.ph174
  %426 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %44) #8
  %427 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %44, ptr noundef nonnull align 8 dereferenceable(8) %45) #8
  br i1 %427, label %.lr.ph174, label %._crit_edge175

428:                                              ; preds = %424, %352, %213, %147
  %.pn141.pn = phi { ptr, i32 } [ %.pn141, %147 ], [ %.pn136, %213 ], [ %.pn130.pn.pn.pn.pn, %352 ], [ %.pn119.pn, %424 ]
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %4) #8
  br label %429

429:                                              ; preds = %428, %61
  %.pn141.pn.pn = phi { ptr, i32 } [ %.pn141.pn, %428 ], [ %62, %61 ]
  call void @llvm.lifetime.end.p0(i64 40, ptr nonnull %4) #8
  call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %3) #8
  resume { ptr, i32 } %.pn141.pn.pn
}

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_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(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_127visit_terminator_target_mutERN3MIR10TerminatorESt8functionIFvRjEE(ptr noundef nonnull align 8 dereferenceable(168), ptr noundef) local_unnamed_addr #2

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESA_(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 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4 align 2

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

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

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

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

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

; Function Attrs: inlinehint mustprogress uwtable
declare hidden noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_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 ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24)) local_unnamed_addr #4 align 2

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

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

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(152)) local_unnamed_addr #1

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

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

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

; Function Attrs: inlinehint mustprogress nounwind uwtable
declare dso_local noundef zeroext i1 @_ZN9__gnu_cxxneIPKjSt6vectorIjSaIjEEEEbRKNS_17__normal_iteratorIT_T0_EESB_(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 4 dereferenceable(4) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPKjSt6vectorIjSaIjEEEdeEv(ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #4 align 2

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

; Function Attrs: inlinehint mustprogress uwtable
declare dso_local void @_ZSt4sortIN9__gnu_cxx17__normal_iteratorIPjSt6vectorIjSaIjEEEEEvT_S7_(ptr, ptr) local_unnamed_addr #6

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local { ptr, i64 } @_ZNSt6vectorIbSaIbEEixEm(ptr noundef nonnull align 8 dereferenceable(40), i64 noundef) local_unnamed_addr #2 align 2

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

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

; Function Attrs: mustprogress uwtable
declare hidden void @_ZN12_GLOBAL__N_123visit_terminator_targetERKN3MIR10TerminatorESt8functionIFvRKjEE(ptr noundef nonnull align 8 dereferenceable(168), ptr noundef) local_unnamed_addr #2

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR10Terminator15make_IncompleteENS0_15Data_IncompleteE(ptr dead_on_unwind noalias writable sret(%"class.MIR::Terminator") align 8) local_unnamed_addr #2 align 2

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

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

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR10Terminator11make_ReturnENS0_11Data_ReturnE(ptr dead_on_unwind noalias writable sret(%"class.MIR::Terminator") align 8) local_unnamed_addr #2 align 2

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR10Terminator12make_DivergeENS0_12Data_DivergeE(ptr dead_on_unwind noalias writable sret(%"class.MIR::Terminator") align 8) local_unnamed_addr #2 align 2

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

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 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { 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 #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 = { 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 = { 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 #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 = !{!"bool", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"any pointer", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"int", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}


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