; LLVM IR from thepowersgang/mrustc :: src/mir/optimise.ll (Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_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.623 = type { i8 }
%class.anon.625 = type { ptr }
%"class.HIR::TypeRef" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.148" = type { ptr }
%"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::RValue" = type { i32, %"union.MIR::RValue::DataUnion" }
%"union.MIR::RValue::DataUnion" = type { %"struct.MIR::RValue::Data_BinOp" }
%"struct.MIR::RValue::Data_BinOp" = type { %"class.MIR::Param", i32, %"class.MIR::Param" }
%"class.MIR::Param" = type { i32, %"union.MIR::Param::DataUnion" }
%"union.MIR::Param::DataUnion" = type { %"struct.MIR::Param::Data_Borrow" }
%"struct.MIR::Param::Data_Borrow" = type { i32, %"struct.MIR::LValue" }
%"class.MIR::Statement" = type { i32, %"union.MIR::Statement::DataUnion" }
%"union.MIR::Statement::DataUnion" = type { %"struct.MIR::Statement::Data_Assign" }
%"struct.MIR::Statement::Data_Assign" = type { %"struct.MIR::LValue", %"class.MIR::RValue" }
%"struct.MIR::Statement::Data_Asm" = type { %"class.std::__cxx11::basic_string", %"class.std::vector.173", %"class.std::vector.173", %"class.std::vector.123", %"class.std::vector.123" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::vector.173" = type { %"struct.std::_Vector_base.174" }
%"struct.std::_Vector_base.174" = type { %"struct.std::_Vector_base<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>, std::allocator<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>, std::allocator<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>, std::allocator<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>, std::allocator<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.123" = type { %"struct.std::_Vector_base.124" }
%"struct.std::_Vector_base.124" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.189" = type { ptr }
%"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.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::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::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" }
%"class.MIR::CallTarget" = type { i32, %"union.MIR::CallTarget::DataUnion" }
%"union.MIR::CallTarget::DataUnion" = type { %"class.HIR::Path" }
%"class.HIR::Path" = type { %"class.HIR::Path::Data" }
%"class.HIR::Path::Data" = type { i32, %"union.HIR::Path::Data::DataUnion" }
%"union.HIR::Path::Data::DataUnion" = type { %"struct.HIR::Path::Data::Data_UfcsKnown" }
%"struct.HIR::Path::Data::Data_UfcsKnown" = type { %"class.HIR::TypeRef", %"class.HIR::GenericPath", %class.RcString, %"struct.HIR::PathParams", %"class.std::unique_ptr" }
%"class.HIR::GenericPath" = type { %"struct.HIR::SimplePath", %"struct.HIR::PathParams" }
%"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::RValue::Data_Borrow" = type { i32, %"struct.MIR::LValue" }
%"struct.MIR::RValue::Data_Cast" = type { %"struct.MIR::LValue", %"class.HIR::TypeRef" }
%"struct.MIR::Statement::Data_Drop" = type <{ i32, [4 x i8], %"struct.MIR::LValue", i32, [4 x i8] }>

@g_debug_indent_level = external global i32, align 4
@.str.4 = external hidden unnamed_addr constant [6 x i8], align 1
@__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE = external hidden unnamed_addr constant [25 x i8], align 1
@.str.130 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.131 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.132 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.133 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.134 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.135 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.136 = external hidden unnamed_addr constant [29 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: nounwind
declare void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #2

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE(ptr noundef nonnull align 8 dereferenceable(120) %0, ptr noundef nonnull align 8 dereferenceable(96) %1) #3 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.623, align 1
  %9 = alloca %"class.std::function", align 8
  %10 = alloca %class.anon.625, align 8
  %11 = alloca ptr, align 8
  %12 = alloca i32, align 4
  %13 = alloca %"class.HIR::TypeRef", align 8
  %14 = alloca ptr, align 8
  %15 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %16 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %17 = alloca i32, align 4
  %18 = alloca ptr, 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 ptr, align 8
  %23 = alloca %"struct.MIR::LValue", align 8
  %24 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %25 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %26 = alloca ptr, align 8
  %27 = alloca %"class.HIR::TypeRef", align 8
  %28 = alloca ptr, align 8
  %29 = alloca %"class.MIR::RValue", align 8
  %30 = alloca %"struct.MIR::LValue", align 8
  %31 = alloca ptr, align 8
  %32 = alloca ptr, 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.HIR::TypeRef", align 8
  %37 = alloca ptr, align 8
  %38 = alloca %"class.MIR::RValue", align 8
  %39 = alloca %"struct.MIR::LValue", align 8
  %40 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %41 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %42 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %43 = alloca %"class.MIR::Statement", align 8
  %44 = alloca %"struct.MIR::Statement::Data_Asm", 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.__gnu_cxx::__normal_iterator.148", align 8
  %48 = alloca %"class.__gnu_cxx::__normal_iterator.189", align 8
  %49 = alloca %"struct.MIR::LValue", align 8
  %50 = alloca i1, align 1
  %51 = alloca i1, align 1
  %52 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %53 = alloca %"class.__gnu_cxx::__normal_iterator.189", align 8
  %54 = alloca %"struct.MIR::LValue", align 8
  %55 = alloca %"class.MIR::RValue", align 8
  %56 = alloca %"struct.MIR::LValue", align 8
  %57 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %58 = alloca %"class.__gnu_cxx::__normal_iterator.189", align 8
  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
  %59 = call noundef zeroext i1 @_Z13debug_enabledv()
  %60 = zext i1 %59 to i64
  %61 = select i1 %59, ptr @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE, ptr null
  call void @llvm.lifetime.start.p0(i64 1, ptr %8) #9
  call void @"_ZNSt8functionIFvRSoEEC2IZ24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS4_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
  %62 = getelementptr inbounds %class.anon.625, ptr %10, i32 0, i32 0
  store ptr %5, ptr %62, align 8, !tbaa !5
  call void @"_ZNSt8functionIFvRSoEEC2IZ24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS4_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 %61, ptr noundef %7, ptr noundef %9)
          to label %63 unwind label %76

63:                                               ; 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
  invoke void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13)
          to label %64 unwind label %80

64:                                               ; preds = %63
  call void @llvm.lifetime.start.p0(i64 8, ptr %14) #9
  %65 = load ptr, ptr %4, align 8, !tbaa !5
  %66 = getelementptr inbounds %"class.MIR::Function", ptr %65, i32 0, i32 2
  store ptr %66, ptr %14, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %15) #9
  %67 = load ptr, ptr %14, align 8, !tbaa !5
  %68 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %67) #9
  %69 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %15, i32 0, i32 0
  store ptr %68, ptr %69, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr %16) #9
  %70 = load ptr, ptr %14, align 8, !tbaa !5
  %71 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %70) #9
  %72 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator", ptr %16, i32 0, i32 0
  store ptr %71, ptr %72, align 8
  br label %73

73:                                               ; preds = %875, %64
  %74 = 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) #9
  br i1 %74, label %84, label %75

75:                                               ; preds = %73
  store i32 2, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %15) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %14) #9
  br label %878

76:                                               ; preds = %2
  %77 = landingpad { ptr, i32 }
          cleanup
  %78 = extractvalue { ptr, i32 } %77, 0
  store ptr %78, ptr %11, align 8
  %79 = extractvalue { ptr, i32 } %77, 1
  store i32 %79, 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 %882

80:                                               ; preds = %63
  %81 = landingpad { ptr, i32 }
          cleanup
  %82 = extractvalue { ptr, i32 } %81, 0
  store ptr %82, ptr %11, align 8
  %83 = extractvalue { ptr, i32 } %81, 1
  store i32 %83, ptr %12, align 4
  br label %881

84:                                               ; preds = %73
  call void @llvm.lifetime.start.p0(i64 8, ptr %18) #9
  %85 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #9
  store ptr %85, ptr %18, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %19) #9
  %86 = load ptr, ptr %18, align 8, !tbaa !5
  %87 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %86, i32 0, i32 0
  %88 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %87) #9
  %89 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %19, i32 0, i32 0
  store ptr %88, ptr %89, align 8
  br label %90

90:                                               ; preds = %491, %84
  call void @llvm.lifetime.start.p0(i64 8, ptr %20) #9
  %91 = load ptr, ptr %18, align 8, !tbaa !5
  %92 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %91, i32 0, i32 0
  %93 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %92) #9
  %94 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %20, i32 0, i32 0
  store ptr %93, ptr %94, align 8
  %95 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %20) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %20) #9
  br i1 %95, label %97, label %96

96:                                               ; preds = %90
  store i32 4, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  br label %494

97:                                               ; preds = %90
  %98 = load ptr, ptr %3, align 8, !tbaa !5
  %99 = load ptr, ptr %18, align 8, !tbaa !5
  %100 = load ptr, ptr %4, align 8, !tbaa !5
  %101 = getelementptr inbounds %"class.MIR::Function", ptr %100, i32 0, i32 2
  %102 = call noundef ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %101) #9
  %103 = ptrtoint ptr %99 to i64
  %104 = ptrtoint ptr %102 to i64
  %105 = sub i64 %103, %104
  %106 = sdiv exact i64 %105, 192
  %107 = trunc i64 %106 to i32
  call void @llvm.lifetime.start.p0(i64 8, ptr %21) #9
  %108 = load ptr, ptr %18, align 8, !tbaa !5
  %109 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %108, i32 0, i32 0
  %110 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %109) #9
  %111 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %21, i32 0, i32 0
  store ptr %110, ptr %111, align 8
  %112 = call noundef i64 @_ZN9__gnu_cxxmiIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEENS_17__normal_iteratorIT_T0_E15difference_typeERKSA_SD_(ptr noundef nonnull align 8 dereferenceable(8) %19, ptr noundef nonnull align 8 dereferenceable(8) %21) #9
  %113 = trunc i64 %112 to i32
  invoke void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %98, i32 noundef %107, i32 noundef %113)
          to label %114 unwind label %164

114:                                              ; preds = %97
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #9
  %115 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %116 = invoke noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %115)
          to label %117 unwind label %168

117:                                              ; preds = %114
  br i1 %116, label %118, label %304

118:                                              ; preds = %117
  %119 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %120 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %119)
          to label %121 unwind label %168

121:                                              ; preds = %118
  %122 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %120, i32 0, i32 0
  %123 = invoke noundef zeroext i1 @_ZNK3MIR6LValue8is_LocalEv(ptr noundef nonnull align 8 dereferenceable(32) %122)
          to label %124 unwind label %168

124:                                              ; preds = %121
  br i1 %123, label %125, label %304

125:                                              ; preds = %124
  %126 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %127 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %126)
          to label %128 unwind label %168

128:                                              ; preds = %125
  %129 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %127, i32 0, i32 1
  %130 = invoke noundef zeroext i1 @_ZNK3MIR6RValue9is_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %129)
          to label %131 unwind label %168

131:                                              ; preds = %128
  br i1 %130, label %132, label %304

132:                                              ; preds = %131
  %133 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %134 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %133)
          to label %135 unwind label %168

135:                                              ; preds = %132
  %136 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %134, i32 0, i32 1
  %137 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %136)
          to label %138 unwind label %168

138:                                              ; preds = %135
  %139 = getelementptr inbounds %"struct.MIR::RValue::Data_Borrow", ptr %137, i32 0, i32 1
  %140 = invoke noundef zeroext i1 @_ZNK3MIR6LValue8is_DerefEv(ptr noundef nonnull align 8 dereferenceable(32) %139)
          to label %141 unwind label %168

141:                                              ; preds = %138
  br i1 %140, label %142, label %304

142:                                              ; preds = %141
  call void @llvm.lifetime.start.p0(i64 8, ptr %22) #9
  %143 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %144 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %143)
          to label %145 unwind label %172

145:                                              ; preds = %142
  %146 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %144, i32 0, i32 0
  store ptr %146, ptr %22, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 32, ptr %23) #9
  %147 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %148 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %147)
          to label %149 unwind label %176

149:                                              ; preds = %145
  %150 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %148, i32 0, i32 1
  %151 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %150)
          to label %152 unwind label %176

152:                                              ; preds = %149
  %153 = getelementptr inbounds %"struct.MIR::RValue::Data_Borrow", ptr %151, i32 0, i32 1
  invoke void @_ZNK3MIR6LValue15clone_unwrappedEj(ptr dead_on_unwind writable sret(%"struct.MIR::LValue") align 8 %23, ptr noundef nonnull align 8 dereferenceable(32) %153, i32 noundef 1)
          to label %154 unwind label %176

154:                                              ; preds = %152
  call void @llvm.lifetime.start.p0(i64 8, ptr %24) #9
  %155 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEplEl(ptr noundef nonnull align 8 dereferenceable(8) %19, i64 noundef 1) #9
  %156 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %24, i32 0, i32 0
  store ptr %155, ptr %156, align 8
  br label %157

157:                                              ; preds = %297, %154
  call void @llvm.lifetime.start.p0(i64 8, ptr %25) #9
  %158 = load ptr, ptr %18, align 8, !tbaa !5
  %159 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %158, i32 0, i32 0
  %160 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %159) #9
  %161 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %25, i32 0, i32 0
  store ptr %160, ptr %161, align 8
  %162 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %24, ptr noundef nonnull align 8 dereferenceable(8) %25) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %25) #9
  br i1 %162, label %180, label %163

163:                                              ; preds = %157
  store i32 7, ptr %17, align 4
  br label %299

164:                                              ; preds = %97
  %165 = landingpad { ptr, i32 }
          cleanup
  %166 = extractvalue { ptr, i32 } %165, 0
  store ptr %166, ptr %11, align 8
  %167 = extractvalue { ptr, i32 } %165, 1
  store i32 %167, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %21) #9
  br label %493

168:                                              ; preds = %331, %328, %325, %322, %318, %315, %311, %308, %304, %138, %135, %132, %128, %125, %121, %118, %114
  %169 = landingpad { ptr, i32 }
          cleanup
  %170 = extractvalue { ptr, i32 } %169, 0
  store ptr %170, ptr %11, align 8
  %171 = extractvalue { ptr, i32 } %169, 1
  store i32 %171, ptr %12, align 4
  br label %493

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

176:                                              ; preds = %152, %149, %145
  %177 = landingpad { ptr, i32 }
          cleanup
  %178 = extractvalue { ptr, i32 } %177, 0
  store ptr %178, ptr %11, align 8
  %179 = extractvalue { ptr, i32 } %177, 1
  store i32 %179, ptr %12, align 4
  br label %302

180:                                              ; preds = %157
  %181 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  %182 = invoke noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %181)
          to label %183 unwind label %243

183:                                              ; preds = %180
  br i1 %182, label %184, label %291

184:                                              ; preds = %183
  %185 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  %186 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %185)
          to label %187 unwind label %243

187:                                              ; preds = %184
  %188 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %186, i32 0, i32 1
  %189 = invoke noundef zeroext i1 @_ZNK3MIR6RValue7is_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %188)
          to label %190 unwind label %243

190:                                              ; preds = %187
  br i1 %189, label %191, label %291

191:                                              ; preds = %190
  %192 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  %193 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %192)
          to label %194 unwind label %243

194:                                              ; preds = %191
  %195 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %193, i32 0, i32 1
  %196 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %195)
          to label %197 unwind label %243

197:                                              ; preds = %194
  %198 = getelementptr inbounds %"struct.MIR::RValue::Data_Cast", ptr %196, i32 0, i32 0
  %199 = load ptr, ptr %22, align 8, !tbaa !5
  %200 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %198, ptr noundef nonnull align 8 dereferenceable(32) %199)
          to label %201 unwind label %243

201:                                              ; preds = %197
  br i1 %200, label %202, label %291

202:                                              ; preds = %201
  call void @llvm.lifetime.start.p0(i64 8, ptr %26) #9
  %203 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  %204 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %203)
          to label %205 unwind label %247

205:                                              ; preds = %202
  %206 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %204, i32 0, i32 1
  %207 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %206)
          to label %208 unwind label %247

208:                                              ; preds = %205
  %209 = getelementptr inbounds %"struct.MIR::RValue::Data_Cast", ptr %207, i32 0, i32 1
  store ptr %209, ptr %26, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %27) #9
  invoke void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %27)
          to label %210 unwind label %251

210:                                              ; preds = %208
  call void @llvm.lifetime.start.p0(i64 8, ptr %28) #9
  %211 = load ptr, ptr %3, align 8, !tbaa !5
  %212 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR11TypeResolve15get_lvalue_typeERN3HIR7TypeRefERKNS_6LValueEj(ptr noundef nonnull align 8 dereferenceable(120) %211, ptr noundef nonnull align 8 dereferenceable(8) %27, ptr noundef nonnull align 8 dereferenceable(32) %23, i32 noundef 0)
          to label %213 unwind label %255

213:                                              ; preds = %210
  store ptr %212, ptr %28, align 8, !tbaa !5
  %214 = load ptr, ptr %28, align 8, !tbaa !5
  %215 = load ptr, ptr %26, align 8, !tbaa !5
  %216 = invoke noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %214, ptr noundef nonnull align 8 dereferenceable(8) %215)
          to label %217 unwind label %255

217:                                              ; preds = %213
  br i1 %216, label %218, label %284

218:                                              ; preds = %217
  br label %219

219:                                              ; preds = %218
  %220 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %221 unwind label %255

221:                                              ; preds = %219
  br i1 %220, label %222, label %259

222:                                              ; preds = %221
  %223 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %224 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %223, ptr noundef @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %225 unwind label %255

225:                                              ; preds = %222
  %226 = load ptr, ptr %3, align 8, !tbaa !5
  %227 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %224, ptr noundef nonnull align 8 dereferenceable(120) %226)
          to label %228 unwind label %255

228:                                              ; preds = %225
  %229 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %227, ptr noundef @.str.130)
          to label %230 unwind label %255

230:                                              ; preds = %228
  %231 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %232 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %229, ptr noundef nonnull align 8 dereferenceable(152) %231)
          to label %233 unwind label %255

233:                                              ; preds = %230
  %234 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %232, ptr noundef @.str.4)
          to label %235 unwind label %255

235:                                              ; preds = %233
  %236 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  %237 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %234, ptr noundef nonnull align 8 dereferenceable(152) %236)
          to label %238 unwind label %255

238:                                              ; preds = %235
  %239 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %237, ptr noundef @_ZSt3decRSt8ios_base)
          to label %240 unwind label %255

240:                                              ; preds = %238
  %241 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %239, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %242 unwind label %255

242:                                              ; preds = %240
  br label %259

243:                                              ; preds = %291, %197, %194, %191, %187, %184, %180
  %244 = landingpad { ptr, i32 }
          cleanup
  %245 = extractvalue { ptr, i32 } %244, 0
  store ptr %245, ptr %11, align 8
  %246 = extractvalue { ptr, i32 } %244, 1
  store i32 %246, ptr %12, align 4
  br label %300

247:                                              ; preds = %205, %202
  %248 = landingpad { ptr, i32 }
          cleanup
  %249 = extractvalue { ptr, i32 } %248, 0
  store ptr %249, ptr %11, align 8
  %250 = extractvalue { ptr, i32 } %248, 1
  store i32 %250, ptr %12, align 4
  br label %290

251:                                              ; preds = %208
  %252 = landingpad { ptr, i32 }
          cleanup
  %253 = extractvalue { ptr, i32 } %252, 0
  store ptr %253, ptr %11, align 8
  %254 = extractvalue { ptr, i32 } %252, 1
  store i32 %254, ptr %12, align 4
  br label %289

255:                                              ; preds = %240, %238, %235, %233, %230, %228, %225, %222, %219, %213, %210
  %256 = landingpad { ptr, i32 }
          cleanup
  %257 = extractvalue { ptr, i32 } %256, 0
  store ptr %257, ptr %11, align 8
  %258 = extractvalue { ptr, i32 } %256, 1
  store i32 %258, ptr %12, align 4
  br label %288

259:                                              ; preds = %242, %221
  br label %260

260:                                              ; preds = %259
  br label %261

261:                                              ; preds = %260
  call void @llvm.lifetime.start.p0(i64 112, ptr %29) #9
  invoke void @_ZN3MIR6LValueC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %30, ptr noundef nonnull align 8 dereferenceable(32) %23)
          to label %262 unwind label %270

262:                                              ; preds = %261
  invoke void @_ZN3MIR6RValueC2ENS_6LValueE(ptr noundef nonnull align 8 dereferenceable(112) %29, ptr noundef %30)
          to label %263 unwind label %274

263:                                              ; preds = %262
  %264 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  %265 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %264)
          to label %266 unwind label %278

266:                                              ; preds = %263
  %267 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %265, i32 0, i32 1
  %268 = invoke noundef nonnull align 8 dereferenceable(112) ptr @_ZN3MIR6RValueaSEOS0_(ptr noundef nonnull align 8 dereferenceable(112) %267, ptr noundef nonnull align 8 dereferenceable(112) %29)
          to label %269 unwind label %278

269:                                              ; preds = %266
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %29) #9
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #9
  call void @llvm.lifetime.end.p0(i64 112, ptr %29) #9
  store i32 7, ptr %17, align 4
  br label %285

270:                                              ; preds = %261
  %271 = landingpad { ptr, i32 }
          cleanup
  %272 = extractvalue { ptr, i32 } %271, 0
  store ptr %272, ptr %11, align 8
  %273 = extractvalue { ptr, i32 } %271, 1
  store i32 %273, ptr %12, align 4
  br label %283

274:                                              ; preds = %262
  %275 = landingpad { ptr, i32 }
          cleanup
  %276 = extractvalue { ptr, i32 } %275, 0
  store ptr %276, ptr %11, align 8
  %277 = extractvalue { ptr, i32 } %275, 1
  store i32 %277, ptr %12, align 4
  br label %282

278:                                              ; preds = %266, %263
  %279 = landingpad { ptr, i32 }
          cleanup
  %280 = extractvalue { ptr, i32 } %279, 0
  store ptr %280, ptr %11, align 8
  %281 = extractvalue { ptr, i32 } %279, 1
  store i32 %281, ptr %12, align 4
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %29) #9
  br label %282

282:                                              ; preds = %278, %274
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #9
  br label %283

283:                                              ; preds = %282, %270
  call void @llvm.lifetime.end.p0(i64 112, ptr %29) #9
  br label %288

284:                                              ; preds = %217
  store i32 0, ptr %17, align 4
  br label %285

285:                                              ; preds = %284, %269
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %27) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %26) #9
  %286 = load i32, ptr %17, align 4
  switch i32 %286, label %299 [
    i32 0, label %287
  ]

287:                                              ; preds = %285
  br label %291

288:                                              ; preds = %283, %255
  call void @llvm.lifetime.end.p0(i64 8, ptr %28) #9
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %27) #9
  br label %289

289:                                              ; preds = %288, %251
  call void @llvm.lifetime.end.p0(i64 8, ptr %27) #9
  br label %290

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

291:                                              ; preds = %287, %201, %190, %183
  %292 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  %293 = invoke noundef zeroext i1 @_ZN12_GLOBAL__N_124check_invalidates_lvalueERKN3MIR9StatementERKNS0_6LValueEbb(ptr noundef nonnull align 8 dereferenceable(152) %292, ptr noundef nonnull align 8 dereferenceable(32) %23, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %294 unwind label %243

294:                                              ; preds = %291
  br i1 %293, label %295, label %296

295:                                              ; preds = %294
  store i32 7, ptr %17, align 4
  br label %299

296:                                              ; preds = %294
  br label %297

297:                                              ; preds = %296
  %298 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %24) #9
  br label %157, !llvm.loop !13

299:                                              ; preds = %295, %285, %163
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #9
  br label %301

300:                                              ; preds = %290, %243
  call void @llvm.lifetime.end.p0(i64 8, ptr %24) #9
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #9
  br label %302

301:                                              ; preds = %299
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %23) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #9
  br label %304

302:                                              ; preds = %300, %176
  call void @llvm.lifetime.end.p0(i64 32, ptr %23) #9
  br label %303

303:                                              ; preds = %302, %172
  call void @llvm.lifetime.end.p0(i64 8, ptr %22) #9
  br label %493

304:                                              ; preds = %301, %141, %131, %124, %117
  %305 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %306 = invoke noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %305)
          to label %307 unwind label %168

307:                                              ; preds = %304
  br i1 %306, label %308, label %490

308:                                              ; preds = %307
  %309 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %310 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %309)
          to label %311 unwind label %168

311:                                              ; preds = %308
  %312 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %310, i32 0, i32 0
  %313 = invoke noundef zeroext i1 @_ZNK3MIR6LValue8is_LocalEv(ptr noundef nonnull align 8 dereferenceable(32) %312)
          to label %314 unwind label %168

314:                                              ; preds = %311
  br i1 %313, label %315, label %490

315:                                              ; preds = %314
  %316 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %317 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %316)
          to label %318 unwind label %168

318:                                              ; preds = %315
  %319 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %317, i32 0, i32 1
  %320 = invoke noundef zeroext i1 @_ZNK3MIR6RValue7is_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %319)
          to label %321 unwind label %168

321:                                              ; preds = %318
  br i1 %320, label %322, label %490

322:                                              ; preds = %321
  %323 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %324 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %323)
          to label %325 unwind label %168

325:                                              ; preds = %322
  %326 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %324, i32 0, i32 1
  %327 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %326)
          to label %328 unwind label %168

328:                                              ; preds = %325
  %329 = getelementptr inbounds %"struct.MIR::RValue::Data_Cast", ptr %327, i32 0, i32 1
  %330 = invoke noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %329)
          to label %331 unwind label %168

331:                                              ; preds = %328
  %332 = invoke noundef zeroext i1 @_ZNK3HIR8TypeData10is_PointerEv(ptr noundef nonnull align 8 dereferenceable(184) %330)
          to label %333 unwind label %168

333:                                              ; preds = %331
  br i1 %332, label %334, label %490

334:                                              ; preds = %333
  call void @llvm.lifetime.start.p0(i64 8, ptr %31) #9
  %335 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %336 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %335)
          to label %337 unwind label %355

337:                                              ; preds = %334
  %338 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %336, i32 0, i32 0
  store ptr %338, ptr %31, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %32) #9
  %339 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %340 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %339)
          to label %341 unwind label %359

341:                                              ; preds = %337
  %342 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %340, i32 0, i32 1
  %343 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %342)
          to label %344 unwind label %359

344:                                              ; preds = %341
  %345 = getelementptr inbounds %"struct.MIR::RValue::Data_Cast", ptr %343, i32 0, i32 0
  store ptr %345, ptr %32, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %33) #9
  %346 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEplEl(ptr noundef nonnull align 8 dereferenceable(8) %19, i64 noundef 1) #9
  %347 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %33, i32 0, i32 0
  store ptr %346, ptr %347, align 8
  br label %348

348:                                              ; preds = %483, %344
  call void @llvm.lifetime.start.p0(i64 8, ptr %34) #9
  %349 = load ptr, ptr %18, align 8, !tbaa !5
  %350 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %349, i32 0, i32 0
  %351 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %350) #9
  %352 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %34, i32 0, i32 0
  store ptr %351, ptr %352, align 8
  %353 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %33, ptr noundef nonnull align 8 dereferenceable(8) %34) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %34) #9
  br i1 %353, label %363, label %354

354:                                              ; preds = %348
  store i32 12, ptr %17, align 4
  br label %485

355:                                              ; preds = %334
  %356 = landingpad { ptr, i32 }
          cleanup
  %357 = extractvalue { ptr, i32 } %356, 0
  store ptr %357, ptr %11, align 8
  %358 = extractvalue { ptr, i32 } %356, 1
  store i32 %358, ptr %12, align 4
  br label %489

359:                                              ; preds = %341, %337
  %360 = landingpad { ptr, i32 }
          cleanup
  %361 = extractvalue { ptr, i32 } %360, 0
  store ptr %361, ptr %11, align 8
  %362 = extractvalue { ptr, i32 } %360, 1
  store i32 %362, ptr %12, align 4
  br label %488

363:                                              ; preds = %348
  %364 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #9
  %365 = invoke noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %364)
          to label %366 unwind label %427

366:                                              ; preds = %363
  br i1 %365, label %367, label %476

367:                                              ; preds = %366
  %368 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #9
  %369 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %368)
          to label %370 unwind label %427

370:                                              ; preds = %367
  %371 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %369, i32 0, i32 1
  %372 = invoke noundef zeroext i1 @_ZNK3MIR6RValue7is_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %371)
          to label %373 unwind label %427

373:                                              ; preds = %370
  br i1 %372, label %374, label %476

374:                                              ; preds = %373
  %375 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #9
  %376 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %375)
          to label %377 unwind label %427

377:                                              ; preds = %374
  %378 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %376, i32 0, i32 1
  %379 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %378)
          to label %380 unwind label %427

380:                                              ; preds = %377
  %381 = getelementptr inbounds %"struct.MIR::RValue::Data_Cast", ptr %379, i32 0, i32 0
  %382 = load ptr, ptr %31, align 8, !tbaa !5
  %383 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %381, ptr noundef nonnull align 8 dereferenceable(32) %382)
          to label %384 unwind label %427

384:                                              ; preds = %380
  br i1 %383, label %385, label %476

385:                                              ; preds = %384
  call void @llvm.lifetime.start.p0(i64 8, ptr %35) #9
  %386 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #9
  %387 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %386)
          to label %388 unwind label %431

388:                                              ; preds = %385
  %389 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %387, i32 0, i32 1
  %390 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %389)
          to label %391 unwind label %431

391:                                              ; preds = %388
  %392 = getelementptr inbounds %"struct.MIR::RValue::Data_Cast", ptr %390, i32 0, i32 1
  store ptr %392, ptr %35, align 8, !tbaa !5
  call void @llvm.lifetime.start.p0(i64 8, ptr %36) #9
  invoke void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %36)
          to label %393 unwind label %435

393:                                              ; preds = %391
  call void @llvm.lifetime.start.p0(i64 8, ptr %37) #9
  %394 = load ptr, ptr %3, align 8, !tbaa !5
  %395 = load ptr, ptr %32, align 8, !tbaa !5
  %396 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR11TypeResolve15get_lvalue_typeERN3HIR7TypeRefERKNS_6LValueEj(ptr noundef nonnull align 8 dereferenceable(120) %394, ptr noundef nonnull align 8 dereferenceable(8) %36, ptr noundef nonnull align 8 dereferenceable(32) %395, i32 noundef 0)
          to label %397 unwind label %439

397:                                              ; preds = %393
  store ptr %396, ptr %37, align 8, !tbaa !5
  %398 = load ptr, ptr %37, align 8, !tbaa !5
  %399 = load ptr, ptr %35, align 8, !tbaa !5
  %400 = invoke noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %398, ptr noundef nonnull align 8 dereferenceable(8) %399)
          to label %401 unwind label %439

401:                                              ; preds = %397
  br i1 %400, label %402, label %469

402:                                              ; preds = %401
  br label %403

403:                                              ; preds = %402
  %404 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %405 unwind label %439

405:                                              ; preds = %403
  br i1 %404, label %406, label %443

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

409:                                              ; preds = %406
  %410 = load ptr, ptr %3, align 8, !tbaa !5
  %411 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %408, ptr noundef nonnull align 8 dereferenceable(120) %410)
          to label %412 unwind label %439

412:                                              ; preds = %409
  %413 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %411, ptr noundef @.str.131)
          to label %414 unwind label %439

414:                                              ; preds = %412
  %415 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  %416 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %413, ptr noundef nonnull align 8 dereferenceable(152) %415)
          to label %417 unwind label %439

417:                                              ; preds = %414
  %418 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %416, ptr noundef @.str.4)
          to label %419 unwind label %439

419:                                              ; preds = %417
  %420 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #9
  %421 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %418, ptr noundef nonnull align 8 dereferenceable(152) %420)
          to label %422 unwind label %439

422:                                              ; preds = %419
  %423 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %421, ptr noundef @_ZSt3decRSt8ios_base)
          to label %424 unwind label %439

424:                                              ; preds = %422
  %425 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %423, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %426 unwind label %439

426:                                              ; preds = %424
  br label %443

427:                                              ; preds = %476, %380, %377, %374, %370, %367, %363
  %428 = landingpad { ptr, i32 }
          cleanup
  %429 = extractvalue { ptr, i32 } %428, 0
  store ptr %429, ptr %11, align 8
  %430 = extractvalue { ptr, i32 } %428, 1
  store i32 %430, ptr %12, align 4
  br label %486

431:                                              ; preds = %388, %385
  %432 = landingpad { ptr, i32 }
          cleanup
  %433 = extractvalue { ptr, i32 } %432, 0
  store ptr %433, ptr %11, align 8
  %434 = extractvalue { ptr, i32 } %432, 1
  store i32 %434, ptr %12, align 4
  br label %475

435:                                              ; preds = %391
  %436 = landingpad { ptr, i32 }
          cleanup
  %437 = extractvalue { ptr, i32 } %436, 0
  store ptr %437, ptr %11, align 8
  %438 = extractvalue { ptr, i32 } %436, 1
  store i32 %438, ptr %12, align 4
  br label %474

439:                                              ; preds = %424, %422, %419, %417, %414, %412, %409, %406, %403, %397, %393
  %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
  br label %473

443:                                              ; preds = %426, %405
  br label %444

444:                                              ; preds = %443
  br label %445

445:                                              ; preds = %444
  call void @llvm.lifetime.start.p0(i64 112, ptr %38) #9
  %446 = load ptr, ptr %32, align 8, !tbaa !5
  invoke void @_ZNK3MIR6LValue5cloneEv(ptr dead_on_unwind writable sret(%"struct.MIR::LValue") align 8 %39, ptr noundef nonnull align 8 dereferenceable(32) %446)
          to label %447 unwind label %455

447:                                              ; preds = %445
  invoke void @_ZN3MIR6RValueC2ENS_6LValueE(ptr noundef nonnull align 8 dereferenceable(112) %38, ptr noundef %39)
          to label %448 unwind label %459

448:                                              ; preds = %447
  %449 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #9
  %450 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %449)
          to label %451 unwind label %463

451:                                              ; preds = %448
  %452 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %450, i32 0, i32 1
  %453 = invoke noundef nonnull align 8 dereferenceable(112) ptr @_ZN3MIR6RValueaSEOS0_(ptr noundef nonnull align 8 dereferenceable(112) %452, ptr noundef nonnull align 8 dereferenceable(112) %38)
          to label %454 unwind label %463

454:                                              ; preds = %451
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %38) #9
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #9
  call void @llvm.lifetime.end.p0(i64 112, ptr %38) #9
  store i32 12, ptr %17, align 4
  br label %470

455:                                              ; preds = %445
  %456 = landingpad { ptr, i32 }
          cleanup
  %457 = extractvalue { ptr, i32 } %456, 0
  store ptr %457, ptr %11, align 8
  %458 = extractvalue { ptr, i32 } %456, 1
  store i32 %458, ptr %12, align 4
  br label %468

459:                                              ; preds = %447
  %460 = landingpad { ptr, i32 }
          cleanup
  %461 = extractvalue { ptr, i32 } %460, 0
  store ptr %461, ptr %11, align 8
  %462 = extractvalue { ptr, i32 } %460, 1
  store i32 %462, ptr %12, align 4
  br label %467

463:                                              ; preds = %451, %448
  %464 = landingpad { ptr, i32 }
          cleanup
  %465 = extractvalue { ptr, i32 } %464, 0
  store ptr %465, ptr %11, align 8
  %466 = extractvalue { ptr, i32 } %464, 1
  store i32 %466, ptr %12, align 4
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %38) #9
  br label %467

467:                                              ; preds = %463, %459
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %39) #9
  br label %468

468:                                              ; preds = %467, %455
  call void @llvm.lifetime.end.p0(i64 112, ptr %38) #9
  br label %473

469:                                              ; preds = %401
  store i32 0, ptr %17, align 4
  br label %470

470:                                              ; preds = %469, %454
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #9
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %36) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  %471 = load i32, ptr %17, align 4
  switch i32 %471, label %485 [
    i32 0, label %472
  ]

472:                                              ; preds = %470
  br label %476

473:                                              ; preds = %468, %439
  call void @llvm.lifetime.end.p0(i64 8, ptr %37) #9
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %36) #9
  br label %474

474:                                              ; preds = %473, %435
  call void @llvm.lifetime.end.p0(i64 8, ptr %36) #9
  br label %475

475:                                              ; preds = %474, %431
  call void @llvm.lifetime.end.p0(i64 8, ptr %35) #9
  br label %486

476:                                              ; preds = %472, %384, %373, %366
  %477 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #9
  %478 = load ptr, ptr %32, align 8, !tbaa !5
  %479 = invoke noundef zeroext i1 @_ZN12_GLOBAL__N_124check_invalidates_lvalueERKN3MIR9StatementERKNS0_6LValueEbb(ptr noundef nonnull align 8 dereferenceable(152) %477, ptr noundef nonnull align 8 dereferenceable(32) %478, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %480 unwind label %427

480:                                              ; preds = %476
  br i1 %479, label %481, label %482

481:                                              ; preds = %480
  store i32 12, ptr %17, align 4
  br label %485

482:                                              ; preds = %480
  br label %483

483:                                              ; preds = %482
  %484 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %33) #9
  br label %348, !llvm.loop !15

485:                                              ; preds = %481, %470, %354
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #9
  br label %487

486:                                              ; preds = %475, %427
  call void @llvm.lifetime.end.p0(i64 8, ptr %33) #9
  br label %488

487:                                              ; preds = %485
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #9
  br label %490

488:                                              ; preds = %486, %359
  call void @llvm.lifetime.end.p0(i64 8, ptr %32) #9
  br label %489

489:                                              ; preds = %488, %355
  call void @llvm.lifetime.end.p0(i64 8, ptr %31) #9
  br label %493

490:                                              ; preds = %487, %333, %321, %314, %307
  br label %491

491:                                              ; preds = %490
  %492 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %19) #9
  br label %90, !llvm.loop !16

493:                                              ; preds = %489, %303, %168, %164
  call void @llvm.lifetime.end.p0(i64 8, ptr %19) #9
  br label %877

494:                                              ; preds = %96
  call void @llvm.lifetime.start.p0(i64 8, ptr %40) #9
  %495 = load ptr, ptr %18, align 8, !tbaa !5
  %496 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %495, i32 0, i32 0
  %497 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %496) #9
  %498 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %40, i32 0, i32 0
  store ptr %497, ptr %498, align 8
  br label %499

499:                                              ; preds = %871, %865, %804, %729, %636, %578, %494
  call void @llvm.lifetime.start.p0(i64 8, ptr %41) #9
  %500 = load ptr, ptr %18, align 8, !tbaa !5
  %501 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %500, i32 0, i32 0
  %502 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %501) #9
  %503 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %41, i32 0, i32 0
  store ptr %502, ptr %503, align 8
  %504 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %40, ptr noundef nonnull align 8 dereferenceable(8) %41) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %41) #9
  br i1 %504, label %506, label %505

505:                                              ; preds = %499
  store i32 17, ptr %17, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #9
  br label %874

506:                                              ; preds = %499
  %507 = load ptr, ptr %3, align 8, !tbaa !5
  %508 = load ptr, ptr %18, align 8, !tbaa !5
  %509 = load ptr, ptr %4, align 8, !tbaa !5
  %510 = getelementptr inbounds %"class.MIR::Function", ptr %509, i32 0, i32 2
  %511 = call noundef ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %510) #9
  %512 = ptrtoint ptr %508 to i64
  %513 = ptrtoint ptr %511 to i64
  %514 = sub i64 %512, %513
  %515 = sdiv exact i64 %514, 192
  %516 = trunc i64 %515 to i32
  call void @llvm.lifetime.start.p0(i64 8, ptr %42) #9
  %517 = load ptr, ptr %18, align 8, !tbaa !5
  %518 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %517, i32 0, i32 0
  %519 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %518) #9
  %520 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %42, i32 0, i32 0
  store ptr %519, ptr %520, align 8
  %521 = call noundef i64 @_ZN9__gnu_cxxmiIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEENS_17__normal_iteratorIT_T0_E15difference_typeERKSA_SD_(ptr noundef nonnull align 8 dereferenceable(8) %40, ptr noundef nonnull align 8 dereferenceable(8) %42) #9
  %522 = trunc i64 %521 to i32
  invoke void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %507, i32 noundef %516, i32 noundef %522)
          to label %523 unwind label %553

523:                                              ; preds = %506
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #9
  %524 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  call void @llvm.lifetime.start.p0(i64 152, ptr %43) #9
  %525 = getelementptr inbounds %"struct.MIR::Statement::Data_Asm", ptr %44, i32 0, i32 0
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %525) #9
  %526 = getelementptr inbounds %"struct.MIR::Statement::Data_Asm", ptr %44, i32 0, i32 1
  call void @llvm.memset.p0.i64(ptr align 8 %526, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3MIR6LValueEESaIS9_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %526) #9
  %527 = getelementptr inbounds %"struct.MIR::Statement::Data_Asm", ptr %44, i32 0, i32 2
  call void @llvm.memset.p0.i64(ptr align 8 %527, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3MIR6LValueEESaIS9_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %527) #9
  %528 = getelementptr inbounds %"struct.MIR::Statement::Data_Asm", ptr %44, i32 0, i32 3
  call void @llvm.memset.p0.i64(ptr align 8 %528, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %528) #9
  %529 = getelementptr inbounds %"struct.MIR::Statement::Data_Asm", ptr %44, i32 0, i32 4
  call void @llvm.memset.p0.i64(ptr align 8 %529, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %529) #9
  invoke void @_ZN3MIR9Statement8make_AsmENS0_8Data_AsmE(ptr dead_on_unwind writable sret(%"class.MIR::Statement") align 8 %43, ptr noundef %44)
          to label %530 unwind label %557

530:                                              ; preds = %523
  %531 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_9StatementES2_(ptr noundef nonnull align 8 dereferenceable(152) %524, ptr noundef nonnull align 8 dereferenceable(152) %43)
          to label %532 unwind label %561

532:                                              ; preds = %530
  call void @_ZN3MIR9StatementD2Ev(ptr noundef nonnull align 8 dereferenceable(152) %43) #9
  call void @_ZN3MIR9Statement8Data_AsmD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %44) #9
  call void @llvm.lifetime.end.p0(i64 152, ptr %43) #9
  br i1 %531, label %533, label %584

533:                                              ; preds = %532
  br label %534

534:                                              ; preds = %533
  %535 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %536 unwind label %566

536:                                              ; preds = %534
  br i1 %535, label %537, label %570

537:                                              ; preds = %536
  %538 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %539 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %538, ptr noundef @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %540 unwind label %566

540:                                              ; preds = %537
  %541 = load ptr, ptr %3, align 8, !tbaa !5
  %542 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %539, ptr noundef nonnull align 8 dereferenceable(120) %541)
          to label %543 unwind label %566

543:                                              ; preds = %540
  %544 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %542, ptr noundef @.str.132)
          to label %545 unwind label %566

545:                                              ; preds = %543
  %546 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %547 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %544, ptr noundef nonnull align 8 dereferenceable(152) %546)
          to label %548 unwind label %566

548:                                              ; preds = %545
  %549 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %547, ptr noundef @_ZSt3decRSt8ios_base)
          to label %550 unwind label %566

550:                                              ; preds = %548
  %551 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %549, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %552 unwind label %566

552:                                              ; preds = %550
  br label %570

553:                                              ; preds = %506
  %554 = landingpad { ptr, i32 }
          cleanup
  %555 = extractvalue { ptr, i32 } %554, 0
  store ptr %555, ptr %11, align 8
  %556 = extractvalue { ptr, i32 } %554, 1
  store i32 %556, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %42) #9
  br label %873

557:                                              ; preds = %523
  %558 = landingpad { ptr, i32 }
          cleanup
  %559 = extractvalue { ptr, i32 } %558, 0
  store ptr %559, ptr %11, align 8
  %560 = extractvalue { ptr, i32 } %558, 1
  store i32 %560, ptr %12, align 4
  br label %565

561:                                              ; preds = %530
  %562 = landingpad { ptr, i32 }
          cleanup
  %563 = extractvalue { ptr, i32 } %562, 0
  store ptr %563, ptr %11, align 8
  %564 = extractvalue { ptr, i32 } %562, 1
  store i32 %564, ptr %12, align 4
  call void @_ZN3MIR9StatementD2Ev(ptr noundef nonnull align 8 dereferenceable(152) %43) #9
  br label %565

565:                                              ; preds = %561, %557
  call void @_ZN3MIR9Statement8Data_AsmD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %44) #9
  call void @llvm.lifetime.end.p0(i64 152, ptr %43) #9
  br label %873

566:                                              ; preds = %854, %852, %849, %847, %844, %841, %838, %833, %829, %825, %783, %781, %778, %776, %773, %770, %767, %763, %760, %757, %752, %749, %746, %742, %739, %735, %703, %701, %698, %696, %693, %690, %687, %659, %656, %653, %649, %646, %642, %625, %623, %620, %618, %615, %612, %609, %604, %601, %598, %595, %591, %588, %584, %550, %548, %545, %543, %540, %537, %534
  %567 = landingpad { ptr, i32 }
          cleanup
  %568 = extractvalue { ptr, i32 } %567, 0
  store ptr %568, ptr %11, align 8
  %569 = extractvalue { ptr, i32 } %567, 1
  store i32 %569, ptr %12, align 4
  br label %873

570:                                              ; preds = %552, %536
  br label %571

571:                                              ; preds = %570
  br label %572

572:                                              ; preds = %571
  call void @llvm.lifetime.start.p0(i64 8, ptr %45) #9
  %573 = load ptr, ptr %18, align 8, !tbaa !5
  %574 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %573, 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) %40) #9
  %575 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.189", ptr %46, i32 0, i32 0
  %576 = load ptr, ptr %575, align 8
  %577 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %574, ptr %576)
          to label %578 unwind label %580

578:                                              ; preds = %572
  %579 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %45, i32 0, i32 0
  store ptr %577, ptr %579, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %40, ptr align 8 %45, i64 8, i1 false), !tbaa.struct !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #9
  store i8 1, ptr %5, align 1, !tbaa !9
  br label %499, !llvm.loop !18

580:                                              ; preds = %572
  %581 = landingpad { ptr, i32 }
          cleanup
  %582 = extractvalue { ptr, i32 } %581, 0
  store ptr %582, ptr %11, align 8
  %583 = extractvalue { ptr, i32 } %581, 1
  store i32 %583, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %45) #9
  br label %873

584:                                              ; preds = %532
  %585 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %586 = invoke noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %585)
          to label %587 unwind label %566

587:                                              ; preds = %584
  br i1 %586, label %588, label %642

588:                                              ; preds = %587
  %589 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %590 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %589)
          to label %591 unwind label %566

591:                                              ; preds = %588
  %592 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %590, i32 0, i32 1
  %593 = invoke noundef zeroext i1 @_ZNK3MIR6RValue6is_UseEv(ptr noundef nonnull align 8 dereferenceable(112) %592)
          to label %594 unwind label %566

594:                                              ; preds = %591
  br i1 %593, label %595, label %642

595:                                              ; preds = %594
  %596 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %597 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %596)
          to label %598 unwind label %566

598:                                              ; preds = %595
  %599 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %597, i32 0, i32 1
  %600 = invoke noundef nonnull align 8 dereferenceable(32) ptr @_ZN3MIR6RValue6as_UseEv(ptr noundef nonnull align 8 dereferenceable(112) %599)
          to label %601 unwind label %566

601:                                              ; preds = %598
  %602 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %603 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %602)
          to label %604 unwind label %566

604:                                              ; preds = %601
  %605 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %603, i32 0, i32 0
  %606 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %600, ptr noundef nonnull align 8 dereferenceable(32) %605)
          to label %607 unwind label %566

607:                                              ; preds = %604
  br i1 %606, label %608, label %642

608:                                              ; preds = %607
  br label %609

609:                                              ; preds = %608
  %610 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %611 unwind label %566

611:                                              ; preds = %609
  br i1 %610, label %612, label %628

612:                                              ; preds = %611
  %613 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %614 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %613, ptr noundef @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %615 unwind label %566

615:                                              ; preds = %612
  %616 = load ptr, ptr %3, align 8, !tbaa !5
  %617 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %614, ptr noundef nonnull align 8 dereferenceable(120) %616)
          to label %618 unwind label %566

618:                                              ; preds = %615
  %619 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %617, ptr noundef @.str.133)
          to label %620 unwind label %566

620:                                              ; preds = %618
  %621 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %622 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %619, ptr noundef nonnull align 8 dereferenceable(152) %621)
          to label %623 unwind label %566

623:                                              ; preds = %620
  %624 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %622, ptr noundef @_ZSt3decRSt8ios_base)
          to label %625 unwind label %566

625:                                              ; preds = %623
  %626 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %624, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %627 unwind label %566

627:                                              ; preds = %625
  br label %628

628:                                              ; preds = %627, %611
  br label %629

629:                                              ; preds = %628
  br label %630

630:                                              ; preds = %629
  call void @llvm.lifetime.start.p0(i64 8, ptr %47) #9
  %631 = load ptr, ptr %18, align 8, !tbaa !5
  %632 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %631, i32 0, i32 0
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %48, ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %633 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.189", ptr %48, i32 0, i32 0
  %634 = load ptr, ptr %633, align 8
  %635 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %632, ptr %634)
          to label %636 unwind label %638

636:                                              ; preds = %630
  %637 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %47, i32 0, i32 0
  store ptr %635, ptr %637, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %40, ptr align 8 %47, i64 8, i1 false), !tbaa.struct !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #9
  store i8 1, ptr %5, align 1, !tbaa !9
  br label %499, !llvm.loop !18

638:                                              ; preds = %630
  %639 = landingpad { ptr, i32 }
          cleanup
  %640 = extractvalue { ptr, i32 } %639, 0
  store ptr %640, ptr %11, align 8
  %641 = extractvalue { ptr, i32 } %639, 1
  store i32 %641, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %47) #9
  br label %873

642:                                              ; preds = %607, %594, %587
  %643 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  store i1 false, ptr %50, align 1
  store i1 false, ptr %51, align 1
  %644 = invoke noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %643)
          to label %645 unwind label %566

645:                                              ; preds = %642
  br i1 %644, label %646, label %678

646:                                              ; preds = %645
  %647 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %648 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %647)
          to label %649 unwind label %566

649:                                              ; preds = %646
  %650 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %648, i32 0, i32 1
  %651 = invoke noundef zeroext i1 @_ZNK3MIR6RValue9is_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %650)
          to label %652 unwind label %566

652:                                              ; preds = %649
  br i1 %651, label %653, label %678

653:                                              ; preds = %652
  %654 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %655 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %654)
          to label %656 unwind label %566

656:                                              ; preds = %653
  %657 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %655, i32 0, i32 1
  %658 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %657)
          to label %659 unwind label %566

659:                                              ; preds = %656
  %660 = getelementptr inbounds %"struct.MIR::RValue::Data_Borrow", ptr %658, i32 0, i32 1
  %661 = invoke noundef zeroext i1 @_ZNK3MIR6LValue8is_DerefEv(ptr noundef nonnull align 8 dereferenceable(32) %660)
          to label %662 unwind label %566

662:                                              ; preds = %659
  br i1 %661, label %663, label %678

663:                                              ; preds = %662
  call void @llvm.lifetime.start.p0(i64 32, ptr %49) #9
  store i1 true, ptr %50, align 1
  %664 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %665 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %664)
          to label %666 unwind label %706

666:                                              ; preds = %663
  %667 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %665, i32 0, i32 1
  %668 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %667)
          to label %669 unwind label %706

669:                                              ; preds = %666
  %670 = getelementptr inbounds %"struct.MIR::RValue::Data_Borrow", ptr %668, i32 0, i32 1
  invoke void @_ZNK3MIR6LValue15clone_unwrappedEj(ptr dead_on_unwind writable sret(%"struct.MIR::LValue") align 8 %49, ptr noundef nonnull align 8 dereferenceable(32) %670, i32 noundef 1)
          to label %671 unwind label %706

671:                                              ; preds = %669
  store i1 true, ptr %51, align 1
  %672 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %673 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %672)
          to label %674 unwind label %710

674:                                              ; preds = %671
  %675 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %673, i32 0, i32 0
  %676 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %49, ptr noundef nonnull align 8 dereferenceable(32) %675)
          to label %677 unwind label %710

677:                                              ; preds = %674
  br label %678

678:                                              ; preds = %677, %662, %652, %645
  %679 = phi i1 [ false, %662 ], [ false, %652 ], [ false, %645 ], [ %676, %677 ]
  %680 = load i1, ptr %51, align 1
  br i1 %680, label %681, label %682

681:                                              ; preds = %678
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %49) #9
  br label %682

682:                                              ; preds = %681, %678
  %683 = load i1, ptr %50, align 1
  br i1 %683, label %684, label %685

684:                                              ; preds = %682
  call void @llvm.lifetime.end.p0(i64 32, ptr %49) #9
  br label %685

685:                                              ; preds = %684, %682
  br i1 %679, label %686, label %735

686:                                              ; preds = %685
  br label %687

687:                                              ; preds = %686
  %688 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %689 unwind label %566

689:                                              ; preds = %687
  br i1 %688, label %690, label %721

690:                                              ; preds = %689
  %691 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %692 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %691, ptr noundef @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %693 unwind label %566

693:                                              ; preds = %690
  %694 = load ptr, ptr %3, align 8, !tbaa !5
  %695 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %692, ptr noundef nonnull align 8 dereferenceable(120) %694)
          to label %696 unwind label %566

696:                                              ; preds = %693
  %697 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %695, ptr noundef @.str.134)
          to label %698 unwind label %566

698:                                              ; preds = %696
  %699 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %700 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %697, ptr noundef nonnull align 8 dereferenceable(152) %699)
          to label %701 unwind label %566

701:                                              ; preds = %698
  %702 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %700, ptr noundef @_ZSt3decRSt8ios_base)
          to label %703 unwind label %566

703:                                              ; preds = %701
  %704 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %702, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %705 unwind label %566

705:                                              ; preds = %703
  br label %721

706:                                              ; preds = %669, %666, %663
  %707 = landingpad { ptr, i32 }
          cleanup
  %708 = extractvalue { ptr, i32 } %707, 0
  store ptr %708, ptr %11, align 8
  %709 = extractvalue { ptr, i32 } %707, 1
  store i32 %709, ptr %12, align 4
  br label %717

710:                                              ; preds = %674, %671
  %711 = landingpad { ptr, i32 }
          cleanup
  %712 = extractvalue { ptr, i32 } %711, 0
  store ptr %712, ptr %11, align 8
  %713 = extractvalue { ptr, i32 } %711, 1
  store i32 %713, ptr %12, align 4
  %714 = load i1, ptr %51, align 1
  br i1 %714, label %715, label %716

715:                                              ; preds = %710
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %49) #9
  br label %716

716:                                              ; preds = %715, %710
  br label %717

717:                                              ; preds = %716, %706
  %718 = load i1, ptr %50, align 1
  br i1 %718, label %719, label %720

719:                                              ; preds = %717
  call void @llvm.lifetime.end.p0(i64 32, ptr %49) #9
  br label %720

720:                                              ; preds = %719, %717
  br label %873

721:                                              ; preds = %705, %689
  br label %722

722:                                              ; preds = %721
  br label %723

723:                                              ; preds = %722
  call void @llvm.lifetime.start.p0(i64 8, ptr %52) #9
  %724 = load ptr, ptr %18, align 8, !tbaa !5
  %725 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %724, i32 0, i32 0
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %53, ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %726 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.189", ptr %53, i32 0, i32 0
  %727 = load ptr, ptr %726, align 8
  %728 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %725, ptr %727)
          to label %729 unwind label %731

729:                                              ; preds = %723
  %730 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %52, i32 0, i32 0
  store ptr %728, ptr %730, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %40, ptr align 8 %52, i64 8, i1 false), !tbaa.struct !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #9
  store i8 1, ptr %5, align 1, !tbaa !9
  br label %499, !llvm.loop !18

731:                                              ; preds = %723
  %732 = landingpad { ptr, i32 }
          cleanup
  %733 = extractvalue { ptr, i32 } %732, 0
  store ptr %733, ptr %11, align 8
  %734 = extractvalue { ptr, i32 } %732, 1
  store i32 %734, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %52) #9
  br label %873

735:                                              ; preds = %685
  %736 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %737 = invoke noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %736)
          to label %738 unwind label %566

738:                                              ; preds = %735
  br i1 %737, label %739, label %825

739:                                              ; preds = %738
  %740 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %741 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %740)
          to label %742 unwind label %566

742:                                              ; preds = %739
  %743 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %741, i32 0, i32 1
  %744 = invoke noundef zeroext i1 @_ZNK3MIR6RValue7is_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %743)
          to label %745 unwind label %566

745:                                              ; preds = %742
  br i1 %744, label %746, label %825

746:                                              ; preds = %745
  %747 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %748 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %747)
          to label %749 unwind label %566

749:                                              ; preds = %746
  %750 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %748, i32 0, i32 1
  %751 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %750)
          to label %752 unwind label %566

752:                                              ; preds = %749
  %753 = getelementptr inbounds %"struct.MIR::RValue::Data_Cast", ptr %751, i32 0, i32 1
  %754 = load ptr, ptr %3, align 8, !tbaa !5
  %755 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %756 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %755)
          to label %757 unwind label %566

757:                                              ; preds = %752
  %758 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %756, i32 0, i32 1
  %759 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %758)
          to label %760 unwind label %566

760:                                              ; preds = %757
  %761 = getelementptr inbounds %"struct.MIR::RValue::Data_Cast", ptr %759, i32 0, i32 0
  %762 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR11TypeResolve15get_lvalue_typeERN3HIR7TypeRefERKNS_6LValueEj(ptr noundef nonnull align 8 dereferenceable(120) %754, ptr noundef nonnull align 8 dereferenceable(8) %13, ptr noundef nonnull align 8 dereferenceable(32) %761, i32 noundef 0)
          to label %763 unwind label %566

763:                                              ; preds = %760
  %764 = invoke noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %753, ptr noundef nonnull align 8 dereferenceable(8) %762)
          to label %765 unwind label %566

765:                                              ; preds = %763
  br i1 %764, label %766, label %825

766:                                              ; preds = %765
  br label %767

767:                                              ; preds = %766
  %768 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %769 unwind label %566

769:                                              ; preds = %767
  br i1 %768, label %770, label %786

770:                                              ; preds = %769
  %771 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %772 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %771, ptr noundef @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %773 unwind label %566

773:                                              ; preds = %770
  %774 = load ptr, ptr %3, align 8, !tbaa !5
  %775 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %772, ptr noundef nonnull align 8 dereferenceable(120) %774)
          to label %776 unwind label %566

776:                                              ; preds = %773
  %777 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %775, ptr noundef @.str.135)
          to label %778 unwind label %566

778:                                              ; preds = %776
  %779 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %780 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %777, ptr noundef nonnull align 8 dereferenceable(152) %779)
          to label %781 unwind label %566

781:                                              ; preds = %778
  %782 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %780, ptr noundef @_ZSt3decRSt8ios_base)
          to label %783 unwind label %566

783:                                              ; preds = %781
  %784 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %782, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %785 unwind label %566

785:                                              ; preds = %783
  br label %786

786:                                              ; preds = %785, %769
  br label %787

787:                                              ; preds = %786
  br label %788

788:                                              ; preds = %787
  call void @llvm.lifetime.start.p0(i64 32, ptr %54) #9
  %789 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %790 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %789)
          to label %791 unwind label %806

791:                                              ; preds = %788
  %792 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %790, i32 0, i32 1
  %793 = invoke noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %792)
          to label %794 unwind label %806

794:                                              ; preds = %791
  %795 = getelementptr inbounds %"struct.MIR::RValue::Data_Cast", ptr %793, i32 0, i32 0
  invoke void @_ZN3MIR6LValueC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %54, ptr noundef nonnull align 8 dereferenceable(32) %795)
          to label %796 unwind label %806

796:                                              ; preds = %794
  call void @llvm.lifetime.start.p0(i64 112, ptr %55) #9
  invoke void @_ZN3MIR6LValueC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %56, ptr noundef nonnull align 8 dereferenceable(32) %54)
          to label %797 unwind label %810

797:                                              ; preds = %796
  invoke void @_ZN3MIR6RValue8make_UseENS_6LValueE(ptr dead_on_unwind writable sret(%"class.MIR::RValue") align 8 %55, ptr noundef %56)
          to label %798 unwind label %814

798:                                              ; preds = %797
  %799 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %800 = invoke noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %799)
          to label %801 unwind label %818

801:                                              ; preds = %798
  %802 = getelementptr inbounds %"struct.MIR::Statement::Data_Assign", ptr %800, i32 0, i32 1
  %803 = invoke noundef nonnull align 8 dereferenceable(112) ptr @_ZN3MIR6RValueaSEOS0_(ptr noundef nonnull align 8 dereferenceable(112) %802, ptr noundef nonnull align 8 dereferenceable(112) %55)
          to label %804 unwind label %818

804:                                              ; preds = %801
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %55) #9
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %56) #9
  call void @llvm.lifetime.end.p0(i64 112, ptr %55) #9
  store i8 1, ptr %5, align 1, !tbaa !9
  %805 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  store i32 18, ptr %17, align 4
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #9
  call void @llvm.lifetime.end.p0(i64 32, ptr %54) #9
  br label %499

806:                                              ; preds = %794, %791, %788
  %807 = landingpad { ptr, i32 }
          cleanup
  %808 = extractvalue { ptr, i32 } %807, 0
  store ptr %808, ptr %11, align 8
  %809 = extractvalue { ptr, i32 } %807, 1
  store i32 %809, ptr %12, align 4
  br label %824

810:                                              ; preds = %796
  %811 = landingpad { ptr, i32 }
          cleanup
  %812 = extractvalue { ptr, i32 } %811, 0
  store ptr %812, ptr %11, align 8
  %813 = extractvalue { ptr, i32 } %811, 1
  store i32 %813, ptr %12, align 4
  br label %823

814:                                              ; preds = %797
  %815 = landingpad { ptr, i32 }
          cleanup
  %816 = extractvalue { ptr, i32 } %815, 0
  store ptr %816, ptr %11, align 8
  %817 = extractvalue { ptr, i32 } %815, 1
  store i32 %817, ptr %12, align 4
  br label %822

818:                                              ; preds = %801, %798
  %819 = landingpad { ptr, i32 }
          cleanup
  %820 = extractvalue { ptr, i32 } %819, 0
  store ptr %820, ptr %11, align 8
  %821 = extractvalue { ptr, i32 } %819, 1
  store i32 %821, ptr %12, align 4
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %55) #9
  br label %822

822:                                              ; preds = %818, %814
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %56) #9
  br label %823

823:                                              ; preds = %822, %810
  call void @llvm.lifetime.end.p0(i64 112, ptr %55) #9
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %54) #9
  br label %824

824:                                              ; preds = %823, %806
  call void @llvm.lifetime.end.p0(i64 32, ptr %54) #9
  br label %873

825:                                              ; preds = %765, %745, %738
  %826 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %827 = invoke noundef zeroext i1 @_ZNK3MIR9Statement7is_DropEv(ptr noundef nonnull align 8 dereferenceable(152) %826)
          to label %828 unwind label %566

828:                                              ; preds = %825
  br i1 %827, label %829, label %871

829:                                              ; preds = %828
  %830 = load ptr, ptr %3, align 8, !tbaa !5
  %831 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %832 = invoke noundef nonnull align 8 dereferenceable(44) ptr @_ZN3MIR9Statement7as_DropEv(ptr noundef nonnull align 8 dereferenceable(152) %831)
          to label %833 unwind label %566

833:                                              ; preds = %829
  %834 = getelementptr inbounds %"struct.MIR::Statement::Data_Drop", ptr %832, i32 0, i32 2
  %835 = invoke noundef zeroext i1 @_ZNK3MIR11TypeResolve14lvalue_is_copyERKNS_6LValueE(ptr noundef nonnull align 8 dereferenceable(120) %830, ptr noundef nonnull align 8 dereferenceable(32) %834)
          to label %836 unwind label %566

836:                                              ; preds = %833
  br i1 %835, label %837, label %871

837:                                              ; preds = %836
  br label %838

838:                                              ; preds = %837
  %839 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %840 unwind label %566

840:                                              ; preds = %838
  br i1 %839, label %841, label %857

841:                                              ; preds = %840
  %842 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !11
  %843 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %842, ptr noundef @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %844 unwind label %566

844:                                              ; preds = %841
  %845 = load ptr, ptr %3, align 8, !tbaa !5
  %846 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %843, ptr noundef nonnull align 8 dereferenceable(120) %845)
          to label %847 unwind label %566

847:                                              ; preds = %844
  %848 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %846, ptr noundef @.str.136)
          to label %849 unwind label %566

849:                                              ; preds = %847
  %850 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %851 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %848, ptr noundef nonnull align 8 dereferenceable(152) %850)
          to label %852 unwind label %566

852:                                              ; preds = %849
  %853 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %851, ptr noundef @_ZSt3decRSt8ios_base)
          to label %854 unwind label %566

854:                                              ; preds = %852
  %855 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %853, ptr noundef @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %856 unwind label %566

856:                                              ; preds = %854
  br label %857

857:                                              ; preds = %856, %840
  br label %858

858:                                              ; preds = %857
  br label %859

859:                                              ; preds = %858
  call void @llvm.lifetime.start.p0(i64 8, ptr %57) #9
  %860 = load ptr, ptr %18, align 8, !tbaa !5
  %861 = getelementptr inbounds %"struct.MIR::BasicBlock", ptr %860, i32 0, i32 0
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %58, ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  %862 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.189", ptr %58, i32 0, i32 0
  %863 = load ptr, ptr %862, align 8
  %864 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %861, ptr %863)
          to label %865 unwind label %867

865:                                              ; preds = %859
  %866 = getelementptr inbounds %"class.__gnu_cxx::__normal_iterator.148", ptr %57, i32 0, i32 0
  store ptr %864, ptr %866, align 8
  call void @llvm.memcpy.p0.p0.i64(ptr align 8 %40, ptr align 8 %57, i64 8, i1 false), !tbaa.struct !17
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #9
  store i8 1, ptr %5, align 1, !tbaa !9
  br label %499, !llvm.loop !18

867:                                              ; preds = %859
  %868 = landingpad { ptr, i32 }
          cleanup
  %869 = extractvalue { ptr, i32 } %868, 0
  store ptr %869, ptr %11, align 8
  %870 = extractvalue { ptr, i32 } %868, 1
  store i32 %870, ptr %12, align 4
  call void @llvm.lifetime.end.p0(i64 8, ptr %57) #9
  br label %873

871:                                              ; preds = %836, %828
  %872 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %40) #9
  br label %499, !llvm.loop !18

873:                                              ; preds = %867, %824, %731, %720, %638, %580, %566, %565, %553
  call void @llvm.lifetime.end.p0(i64 8, ptr %40) #9
  br label %877

874:                                              ; preds = %505
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #9
  br label %875

875:                                              ; preds = %874
  %876 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %15) #9
  br label %73

877:                                              ; preds = %873, %493
  call void @llvm.lifetime.end.p0(i64 8, ptr %18) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %16) #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 @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13) #9
  br label %881

878:                                              ; preds = %75
  %879 = load i8, ptr %5, align 1, !tbaa !9, !range !19, !noundef !20
  %880 = trunc i8 %879 to i1
  store i32 1, ptr %17, align 4
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %13) #9
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  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 %880

881:                                              ; preds = %877, %80
  call void @llvm.lifetime.end.p0(i64 8, ptr %13) #9
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %6) #9
  br label %882

882:                                              ; preds = %881, %76
  call void @llvm.lifetime.end.p0(i64 40, ptr %6) #9
  call void @llvm.lifetime.end.p0(i64 1, ptr %5) #9
  br label %883

883:                                              ; preds = %882
  %884 = load ptr, ptr %11, align 8
  %885 = load i32, ptr %12, align 4
  %886 = insertvalue { ptr, i32 } poison, ptr %884, 0
  %887 = insertvalue { ptr, i32 } %886, i32 %885, 1
  resume { ptr, i32 } %887
}

; 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: 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 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 @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) #3 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) #3 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_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) #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 noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8)) #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 uwtable
declare dso_local ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24), ptr) #3 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 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)) #3

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR11TypeResolve15get_lvalue_typeERN3HIR7TypeRefERKNS_6LValueEj(ptr noundef nonnull align 8 dereferenceable(120), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) #1

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

declare noundef zeroext i1 @_ZNK3MIR11TypeResolve14lvalue_is_copyERKNS_6LValueE(ptr noundef nonnull align 8 dereferenceable(120), ptr noundef nonnull align 8 dereferenceable(32)) #1

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

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3MIR6LValue5cloneEv(ptr dead_on_unwind noalias writable sret(%"struct.MIR::LValue") align 8, ptr noundef nonnull align 8 dereferenceable(32)) #3 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZN12_GLOBAL__N_124check_invalidates_lvalueERKN3MIR9StatementERKNS0_6LValueEbb(ptr noundef nonnull align 8 dereferenceable(152), ptr noundef nonnull align 8 dereferenceable(32), i1 noundef zeroext, i1 noundef zeroext) #3

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

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

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

declare noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) #1

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #8

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZ24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS4_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 @"_ZNSt8functionIFvRSoEEC2IZ24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS4_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 noundef zeroext i1 @_ZNK3MIR6LValue8is_DerefEv(ptr noundef nonnull align 8 dereferenceable(32)) #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3MIR6LValue15clone_unwrappedEj(ptr dead_on_unwind noalias writable sret(%"struct.MIR::LValue") align 8, ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) #3 align 2

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

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

declare noundef zeroext i1 @_ZN3MIReqERKNS_9StatementES2_(ptr noundef nonnull align 8 dereferenceable(152), ptr noundef nonnull align 8 dereferenceable(152)) #1

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR9Statement8make_AsmENS0_8Data_AsmE(ptr dead_on_unwind noalias writable sret(%"class.MIR::Statement") align 8, ptr noundef) #3 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR6RValue8make_UseENS_6LValueE(ptr dead_on_unwind noalias writable sret(%"class.MIR::RValue") align 8, ptr noundef) #3 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 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { 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 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #9 = { 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 = !{!"int", !7, i64 0}
!13 = distinct !{!13, !14}
!14 = !{!"llvm.loop.mustprogress"}
!15 = distinct !{!15, !14}
!16 = distinct !{!16, !14}
!17 = !{i64 0, i64 8, !5}
!18 = distinct !{!18, !14}
!19 = !{i8 0, i8 2}
!20 = !{}


; 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.623 = type { i8 }
%class.anon.625 = type { ptr }
%"class.HIR::TypeRef" = type { ptr }
%"class.__gnu_cxx::__normal_iterator" = type { ptr }
%"class.__gnu_cxx::__normal_iterator.148" = type { ptr }
%"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::RValue" = type { i32, %"union.MIR::RValue::DataUnion" }
%"union.MIR::RValue::DataUnion" = type { %"struct.MIR::RValue::Data_BinOp" }
%"struct.MIR::RValue::Data_BinOp" = type { %"class.MIR::Param", i32, %"class.MIR::Param" }
%"class.MIR::Param" = type { i32, %"union.MIR::Param::DataUnion" }
%"union.MIR::Param::DataUnion" = type { %"struct.MIR::Param::Data_Borrow" }
%"struct.MIR::Param::Data_Borrow" = type { i32, %"struct.MIR::LValue" }
%"class.MIR::Statement" = type { i32, %"union.MIR::Statement::DataUnion" }
%"union.MIR::Statement::DataUnion" = type { %"struct.MIR::Statement::Data_Assign" }
%"struct.MIR::Statement::Data_Assign" = type { %"struct.MIR::LValue", %"class.MIR::RValue" }
%"struct.MIR::Statement::Data_Asm" = type { %"class.std::__cxx11::basic_string", %"class.std::vector.173", %"class.std::vector.173", %"class.std::vector.123", %"class.std::vector.123" }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::vector.173" = type { %"struct.std::_Vector_base.174" }
%"struct.std::_Vector_base.174" = type { %"struct.std::_Vector_base<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>, std::allocator<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>, std::allocator<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>, std::allocator<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>, std::allocator<std::pair<std::__cxx11::basic_string<char>, MIR::LValue>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.std::vector.123" = type { %"struct.std::_Vector_base.124" }
%"struct.std::_Vector_base.124" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl" = type { %"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" }
%"struct.std::_Vector_base<std::__cxx11::basic_string<char>, std::allocator<std::__cxx11::basic_string<char>>>::_Vector_impl_data" = type { ptr, ptr, ptr }
%"class.__gnu_cxx::__normal_iterator.189" = type { ptr }

@g_debug_indent_level = external local_unnamed_addr global i32, align 4
@.str.4 = external hidden unnamed_addr constant [6 x i8], align 1
@__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE = external hidden unnamed_addr constant [25 x i8], align 1
@.str.130 = external hidden unnamed_addr constant [26 x i8], align 1
@.str.131 = external hidden unnamed_addr constant [27 x i8], align 1
@.str.132 = external hidden unnamed_addr constant [33 x i8], align 1
@.str.133 = external hidden unnamed_addr constant [30 x i8], align 1
@.str.134 = external hidden unnamed_addr constant [40 x i8], align 1
@.str.135 = external hidden unnamed_addr constant [39 x i8], align 1
@.str.136 = external hidden unnamed_addr constant [29 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: nounwind
declare void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40)) unnamed_addr #2

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

; Function Attrs: mustprogress uwtable
define dso_local noundef zeroext i1 @_Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE(ptr noundef nonnull align 8 dereferenceable(120) %0, ptr noundef nonnull align 8 dereferenceable(96) %1) local_unnamed_addr #3 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.623, align 1
  %7 = alloca %"class.std::function", align 8
  %8 = alloca %class.anon.625, align 8
  %9 = alloca %"class.HIR::TypeRef", align 8
  %10 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %11 = alloca %"class.__gnu_cxx::__normal_iterator", align 8
  %12 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %13 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %14 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %15 = alloca %"struct.MIR::LValue", align 8
  %16 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %17 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %18 = alloca %"class.HIR::TypeRef", align 8
  %19 = alloca %"class.MIR::RValue", align 8
  %20 = alloca %"struct.MIR::LValue", 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.HIR::TypeRef", align 8
  %24 = alloca %"class.MIR::RValue", align 8
  %25 = alloca %"struct.MIR::LValue", align 8
  %26 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %27 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %28 = alloca %"class.__gnu_cxx::__normal_iterator.148", align 8
  %29 = alloca %"class.MIR::Statement", align 8
  %30 = alloca %"struct.MIR::Statement::Data_Asm", align 8
  %31 = alloca %"class.__gnu_cxx::__normal_iterator.189", align 8
  %32 = alloca %"class.__gnu_cxx::__normal_iterator.189", align 8
  %33 = alloca %"struct.MIR::LValue", align 8
  %34 = alloca %"class.__gnu_cxx::__normal_iterator.189", align 8
  %35 = alloca %"struct.MIR::LValue", align 8
  %36 = alloca %"class.MIR::RValue", align 8
  %37 = alloca %"struct.MIR::LValue", align 8
  %38 = alloca %"class.__gnu_cxx::__normal_iterator.189", 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
  %39 = tail call noundef zeroext i1 @_Z13debug_enabledv()
  %40 = select i1 %39, ptr @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE, ptr null
  call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %6) #8
  call void @"_ZNSt8functionIFvRSoEEC2IZ24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS4_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 @"_ZNSt8functionIFvRSoEEC2IZ24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS4_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 %40, ptr noundef nonnull %5, ptr noundef nonnull %7)
          to label %41 unwind label %53

41:                                               ; 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
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %9) #8
  invoke void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9)
          to label %42 unwind label %55

42:                                               ; preds = %41
  %43 = getelementptr inbounds i8, ptr %1, i64 64
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %10) #8
  %44 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %43) #8
  store ptr %44, ptr %10, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %11) #8
  %45 = call ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %43) #8
  store ptr %45, ptr %11, align 8
  %46 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #8
  br i1 %46, label %.lr.ph125, label %._crit_edge126

.lr.ph125:                                        ; preds = %42
  %47 = getelementptr inbounds i8, ptr %30, i64 32
  %48 = getelementptr inbounds i8, ptr %30, i64 56
  %49 = getelementptr inbounds i8, ptr %30, i64 80
  %50 = getelementptr inbounds i8, ptr %30, i64 104
  br label %57

._crit_edge126:                                   ; preds = %._crit_edge123, %42
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #8
  %51 = load i8, ptr %3, align 1, !tbaa !5, !range !11, !noundef !12
  %52 = trunc nuw i8 %51 to i1
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #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 %52

53:                                               ; preds = %2
  %54 = 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 %540

55:                                               ; preds = %41
  %56 = landingpad { ptr, i32 }
          cleanup
  br label %539

57:                                               ; preds = %.lr.ph125, %._crit_edge123
  %58 = call noundef nonnull align 8 dereferenceable(192) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %12) #8
  %59 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %59, ptr %12, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #8
  %60 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %60, ptr %13, align 8
  %61 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  br i1 %61, label %.lr.ph120, label %._crit_edge

.lr.ph120:                                        ; preds = %57
  %62 = ptrtoint ptr %58 to i64
  br label %67

._crit_edge:                                      ; preds = %295, %57
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %26) #8
  %63 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %63, ptr %26, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %27) #8
  %64 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %64, ptr %27, align 8
  %65 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #8
  br i1 %65, label %.lr.ph122, label %._crit_edge123

.lr.ph122:                                        ; preds = %._crit_edge
  %66 = ptrtoint ptr %58 to i64
  br label %302

67:                                               ; preds = %.lr.ph120, %295
  %68 = call noundef ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %43) #8
  %69 = ptrtoint ptr %68 to i64
  %70 = sub i64 %62, %69
  %71 = sdiv exact i64 %70, 192
  %72 = trunc i64 %71 to i32
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %14) #8
  %73 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %73, ptr %14, align 8
  %74 = call noundef i64 @_ZN9__gnu_cxxmiIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEENS_17__normal_iteratorIT_T0_E15difference_typeERKSA_SD_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %14) #8
  %75 = trunc i64 %74 to i32
  call void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %0, i32 noundef %72, i32 noundef %75)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %14) #8
  %76 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %77 = call noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %76)
  br i1 %77, label %78, label %187

78:                                               ; preds = %67
  %79 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %80 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %79)
  %81 = call noundef zeroext i1 @_ZNK3MIR6LValue8is_LocalEv(ptr noundef nonnull align 8 dereferenceable(32) %80)
  br i1 %81, label %82, label %187

82:                                               ; preds = %78
  %83 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %84 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %83)
  %85 = getelementptr inbounds i8, ptr %84, i64 32
  %86 = call noundef zeroext i1 @_ZNK3MIR6RValue9is_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %85)
  br i1 %86, label %87, label %187

87:                                               ; preds = %82
  %88 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %89 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %88)
  %90 = getelementptr inbounds i8, ptr %89, i64 32
  %91 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %90)
  %92 = getelementptr inbounds i8, ptr %91, i64 8
  %93 = call noundef zeroext i1 @_ZNK3MIR6LValue8is_DerefEv(ptr noundef nonnull align 8 dereferenceable(32) %92)
  br i1 %93, label %94, label %187

94:                                               ; preds = %87
  %95 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %96 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %95)
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %15) #8
  %97 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %98 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %97)
  %99 = getelementptr inbounds i8, ptr %98, i64 32
  %100 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %99)
  %101 = getelementptr inbounds i8, ptr %100, i64 8
  invoke void @_ZNK3MIR6LValue15clone_unwrappedEj(ptr dead_on_unwind nonnull writable sret(%"struct.MIR::LValue") align 8 %15, ptr noundef nonnull align 8 dereferenceable(32) %101, i32 noundef 1)
          to label %102 unwind label %106

102:                                              ; preds = %94
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %16) #8
  %103 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEplEl(ptr noundef nonnull align 8 dereferenceable(8) %12, i64 noundef 1) #8
  store ptr %103, ptr %16, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #8
  %104 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %104, ptr %17, align 8
  %105 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #8
  br i1 %105, label %.lr.ph, label %.loopexit111

106:                                              ; preds = %94
  %107 = landingpad { ptr, i32 }
          cleanup
  br label %186

.lr.ph:                                           ; preds = %102, %181
  %108 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %109 = call noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %108)
  br i1 %109, label %110, label %177

110:                                              ; preds = %.lr.ph
  %111 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %112 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %111)
  %113 = getelementptr inbounds i8, ptr %112, i64 32
  %114 = call noundef zeroext i1 @_ZNK3MIR6RValue7is_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %113)
  br i1 %114, label %115, label %177

115:                                              ; preds = %110
  %116 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %117 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %116)
  %118 = getelementptr inbounds i8, ptr %117, i64 32
  %119 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %118)
  %120 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %119, ptr noundef nonnull align 8 dereferenceable(32) %96)
          to label %121 unwind label %155

121:                                              ; preds = %115
  br i1 %120, label %122, label %177

122:                                              ; preds = %121
  %123 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %124 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %123)
  %125 = getelementptr inbounds i8, ptr %124, i64 32
  %126 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %125)
  %127 = getelementptr inbounds i8, ptr %126, i64 32
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %18) #8
  invoke void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18)
          to label %128 unwind label %157

128:                                              ; preds = %122
  %129 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR11TypeResolve15get_lvalue_typeERN3HIR7TypeRefERKNS_6LValueEj(ptr noundef nonnull align 8 dereferenceable(120) %0, ptr noundef nonnull align 8 dereferenceable(8) %18, ptr noundef nonnull align 8 dereferenceable(32) %15, i32 noundef 0)
          to label %130 unwind label %.loopexit112

130:                                              ; preds = %128
  %131 = invoke noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %129, ptr noundef nonnull align 8 dereferenceable(8) %127)
          to label %132 unwind label %.loopexit112

132:                                              ; preds = %130
  br i1 %131, label %133, label %.critedge

133:                                              ; preds = %132
  %134 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %135 unwind label %.loopexit.split-lp113

135:                                              ; preds = %133
  br i1 %134, label %136, label %159

136:                                              ; preds = %135
  %137 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %138 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %137, ptr noundef nonnull @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %139 unwind label %.loopexit.split-lp113

139:                                              ; preds = %136
  %140 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %138, ptr noundef nonnull align 8 dereferenceable(120) %0)
          to label %141 unwind label %.loopexit.split-lp113

141:                                              ; preds = %139
  %142 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %140, ptr noundef nonnull @.str.130)
          to label %143 unwind label %.loopexit.split-lp113

143:                                              ; preds = %141
  %144 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %145 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %142, ptr noundef nonnull align 8 dereferenceable(152) %144)
          to label %146 unwind label %.loopexit.split-lp113

146:                                              ; preds = %143
  %147 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %145, ptr noundef nonnull @.str.4)
          to label %148 unwind label %.loopexit.split-lp113

148:                                              ; preds = %146
  %149 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %150 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %147, ptr noundef nonnull align 8 dereferenceable(152) %149)
          to label %151 unwind label %.loopexit.split-lp113

151:                                              ; preds = %148
  %152 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %150, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %153 unwind label %.loopexit.split-lp113

153:                                              ; preds = %151
  %154 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %152, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %159 unwind label %.loopexit.split-lp113

155:                                              ; preds = %177, %115
  %156 = landingpad { ptr, i32 }
          cleanup
  br label %185

157:                                              ; preds = %122
  %158 = landingpad { ptr, i32 }
          cleanup
  br label %176

.loopexit112:                                     ; preds = %128, %130
  %lpad.loopexit114 = landingpad { ptr, i32 }
          cleanup
  br label %175

.loopexit.split-lp113:                            ; preds = %133, %136, %139, %141, %143, %146, %148, %151, %153
  %lpad.loopexit.split-lp115 = landingpad { ptr, i32 }
          cleanup
  br label %175

159:                                              ; preds = %153, %135
  call void @llvm.lifetime.start.p0(i64 112, ptr nonnull %19) #8
  invoke void @_ZN3MIR6LValueC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %20, ptr noundef nonnull align 8 dereferenceable(32) %15)
          to label %160 unwind label %167

160:                                              ; preds = %159
  invoke void @_ZN3MIR6RValueC2ENS_6LValueE(ptr noundef nonnull align 8 dereferenceable(112) %19, ptr noundef nonnull %20)
          to label %161 unwind label %169

161:                                              ; preds = %160
  %162 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %163 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %162)
  %164 = getelementptr inbounds i8, ptr %163, i64 32
  %165 = invoke noundef nonnull align 8 dereferenceable(112) ptr @_ZN3MIR6RValueaSEOS0_(ptr noundef nonnull align 8 dereferenceable(112) %164, ptr noundef nonnull align 8 dereferenceable(112) %19)
          to label %166 unwind label %171

166:                                              ; preds = %161
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %19) #8
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %19) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #8
  br label %.loopexit111

167:                                              ; preds = %159
  %168 = landingpad { ptr, i32 }
          cleanup
  br label %174

169:                                              ; preds = %160
  %170 = landingpad { ptr, i32 }
          cleanup
  br label %173

171:                                              ; preds = %161
  %172 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %19) #8
  br label %173

173:                                              ; preds = %171, %169
  %.pn86 = phi { ptr, i32 } [ %172, %171 ], [ %170, %169 ]
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %20) #8
  br label %174

174:                                              ; preds = %173, %167
  %.pn86.pn = phi { ptr, i32 } [ %.pn86, %173 ], [ %168, %167 ]
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %19) #8
  br label %175

175:                                              ; preds = %.loopexit112, %.loopexit.split-lp113, %174
  %.pn86.pn.pn = phi { ptr, i32 } [ %.pn86.pn, %174 ], [ %lpad.loopexit114, %.loopexit112 ], [ %lpad.loopexit.split-lp115, %.loopexit.split-lp113 ]
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #8
  br label %176

176:                                              ; preds = %175, %157
  %.pn86.pn.pn.pn = phi { ptr, i32 } [ %.pn86.pn.pn, %175 ], [ %158, %157 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #8
  br label %185

.critedge:                                        ; preds = %132
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %18) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %18) #8
  br label %177

177:                                              ; preds = %.critedge, %121, %110, %.lr.ph
  %178 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  %179 = invoke noundef zeroext i1 @_ZN12_GLOBAL__N_124check_invalidates_lvalueERKN3MIR9StatementERKNS0_6LValueEbb(ptr noundef nonnull align 8 dereferenceable(152) %178, ptr noundef nonnull align 8 dereferenceable(32) %15, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %180 unwind label %155

180:                                              ; preds = %177
  br i1 %179, label %.loopexit111, label %181

181:                                              ; preds = %180
  %182 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %16) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %17) #8
  %183 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %183, ptr %17, align 8
  %184 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %16, ptr noundef nonnull align 8 dereferenceable(8) %17) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %17) #8
  br i1 %184, label %.lr.ph, label %.loopexit111, !llvm.loop !15

.loopexit111:                                     ; preds = %181, %180, %102, %166
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #8
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #8
  br label %187

185:                                              ; preds = %176, %155
  %.pn91 = phi { ptr, i32 } [ %156, %155 ], [ %.pn86.pn.pn.pn, %176 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %16) #8
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %15) #8
  br label %186

186:                                              ; preds = %185, %106
  %.pn91.pn = phi { ptr, i32 } [ %.pn91, %185 ], [ %107, %106 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %15) #8
  br label %299

187:                                              ; preds = %.loopexit111, %87, %82, %78, %67
  %188 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %189 = call noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %188)
  br i1 %189, label %190, label %295

190:                                              ; preds = %187
  %191 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %192 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %191)
  %193 = call noundef zeroext i1 @_ZNK3MIR6LValue8is_LocalEv(ptr noundef nonnull align 8 dereferenceable(32) %192)
  br i1 %193, label %194, label %295

194:                                              ; preds = %190
  %195 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %196 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %195)
  %197 = getelementptr inbounds i8, ptr %196, i64 32
  %198 = call noundef zeroext i1 @_ZNK3MIR6RValue7is_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %197)
  br i1 %198, label %199, label %295

199:                                              ; preds = %194
  %200 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %201 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %200)
  %202 = getelementptr inbounds i8, ptr %201, i64 32
  %203 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %202)
  %204 = getelementptr inbounds i8, ptr %203, i64 32
  %205 = call noundef nonnull align 8 dereferenceable(184) ptr @_ZNK3HIR7TypeRef4dataEv(ptr noundef nonnull align 8 dereferenceable(8) %204)
  %206 = call noundef zeroext i1 @_ZNK3HIR8TypeData10is_PointerEv(ptr noundef nonnull align 8 dereferenceable(184) %205)
  br i1 %206, label %207, label %295

207:                                              ; preds = %199
  %208 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %209 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %208)
  %210 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %211 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %210)
  %212 = getelementptr inbounds i8, ptr %211, i64 32
  %213 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %212)
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %21) #8
  %214 = call ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEplEl(ptr noundef nonnull align 8 dereferenceable(8) %12, i64 noundef 1) #8
  store ptr %214, ptr %21, align 8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #8
  %215 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %215, ptr %22, align 8
  %216 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %21, ptr noundef nonnull align 8 dereferenceable(8) %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #8
  br i1 %216, label %.lr.ph118, label %.loopexit

.lr.ph118:                                        ; preds = %207, %290
  %217 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  %218 = call noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %217)
  br i1 %218, label %219, label %286

219:                                              ; preds = %.lr.ph118
  %220 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  %221 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %220)
  %222 = getelementptr inbounds i8, ptr %221, i64 32
  %223 = call noundef zeroext i1 @_ZNK3MIR6RValue7is_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %222)
  br i1 %223, label %224, label %286

224:                                              ; preds = %219
  %225 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  %226 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %225)
  %227 = getelementptr inbounds i8, ptr %226, i64 32
  %228 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %227)
  %229 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %228, ptr noundef nonnull align 8 dereferenceable(32) %209)
          to label %230 unwind label %264

230:                                              ; preds = %224
  br i1 %229, label %231, label %286

231:                                              ; preds = %230
  %232 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  %233 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %232)
  %234 = getelementptr inbounds i8, ptr %233, i64 32
  %235 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %234)
  %236 = getelementptr inbounds i8, ptr %235, i64 32
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %23) #8
  invoke void @_ZN3HIR7TypeRefC2Ev(ptr noundef nonnull align 8 dereferenceable(8) %23)
          to label %237 unwind label %266

237:                                              ; preds = %231
  %238 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR11TypeResolve15get_lvalue_typeERN3HIR7TypeRefERKNS_6LValueEj(ptr noundef nonnull align 8 dereferenceable(120) %0, ptr noundef nonnull align 8 dereferenceable(8) %23, ptr noundef nonnull align 8 dereferenceable(32) %213, i32 noundef 0)
          to label %239 unwind label %.loopexit110

239:                                              ; preds = %237
  %240 = invoke noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %238, ptr noundef nonnull align 8 dereferenceable(8) %236)
          to label %241 unwind label %.loopexit110

241:                                              ; preds = %239
  br i1 %240, label %242, label %.critedge106

242:                                              ; preds = %241
  %243 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %244 unwind label %.loopexit.split-lp

244:                                              ; preds = %242
  br i1 %243, label %245, label %268

245:                                              ; preds = %244
  %246 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %247 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %246, ptr noundef nonnull @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %248 unwind label %.loopexit.split-lp

248:                                              ; preds = %245
  %249 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %247, ptr noundef nonnull align 8 dereferenceable(120) %0)
          to label %250 unwind label %.loopexit.split-lp

250:                                              ; preds = %248
  %251 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %249, ptr noundef nonnull @.str.131)
          to label %252 unwind label %.loopexit.split-lp

252:                                              ; preds = %250
  %253 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  %254 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %251, ptr noundef nonnull align 8 dereferenceable(152) %253)
          to label %255 unwind label %.loopexit.split-lp

255:                                              ; preds = %252
  %256 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %254, ptr noundef nonnull @.str.4)
          to label %257 unwind label %.loopexit.split-lp

257:                                              ; preds = %255
  %258 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  %259 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %256, ptr noundef nonnull align 8 dereferenceable(152) %258)
          to label %260 unwind label %.loopexit.split-lp

260:                                              ; preds = %257
  %261 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %259, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %262 unwind label %.loopexit.split-lp

262:                                              ; preds = %260
  %263 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %261, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %268 unwind label %.loopexit.split-lp

264:                                              ; preds = %286, %224
  %265 = landingpad { ptr, i32 }
          cleanup
  br label %294

266:                                              ; preds = %231
  %267 = landingpad { ptr, i32 }
          cleanup
  br label %285

.loopexit110:                                     ; preds = %237, %239
  %lpad.loopexit = landingpad { ptr, i32 }
          cleanup
  br label %284

.loopexit.split-lp:                               ; preds = %242, %245, %248, %250, %252, %255, %257, %260, %262
  %lpad.loopexit.split-lp = landingpad { ptr, i32 }
          cleanup
  br label %284

268:                                              ; preds = %262, %244
  call void @llvm.lifetime.start.p0(i64 112, ptr nonnull %24) #8
  invoke void @_ZNK3MIR6LValue5cloneEv(ptr dead_on_unwind nonnull writable sret(%"struct.MIR::LValue") align 8 %25, ptr noundef nonnull align 8 dereferenceable(32) %213)
          to label %269 unwind label %276

269:                                              ; preds = %268
  invoke void @_ZN3MIR6RValueC2ENS_6LValueE(ptr noundef nonnull align 8 dereferenceable(112) %24, ptr noundef nonnull %25)
          to label %270 unwind label %278

270:                                              ; preds = %269
  %271 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  %272 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %271)
  %273 = getelementptr inbounds i8, ptr %272, i64 32
  %274 = invoke noundef nonnull align 8 dereferenceable(112) ptr @_ZN3MIR6RValueaSEOS0_(ptr noundef nonnull align 8 dereferenceable(112) %273, ptr noundef nonnull align 8 dereferenceable(112) %24)
          to label %275 unwind label %280

275:                                              ; preds = %270
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %24) #8
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #8
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %24) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #8
  br label %.loopexit

276:                                              ; preds = %268
  %277 = landingpad { ptr, i32 }
          cleanup
  br label %283

278:                                              ; preds = %269
  %279 = landingpad { ptr, i32 }
          cleanup
  br label %282

280:                                              ; preds = %270
  %281 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %24) #8
  br label %282

282:                                              ; preds = %280, %278
  %.pn94 = phi { ptr, i32 } [ %281, %280 ], [ %279, %278 ]
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %25) #8
  br label %283

283:                                              ; preds = %282, %276
  %.pn94.pn = phi { ptr, i32 } [ %.pn94, %282 ], [ %277, %276 ]
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %24) #8
  br label %284

284:                                              ; preds = %.loopexit110, %.loopexit.split-lp, %283
  %.pn94.pn.pn = phi { ptr, i32 } [ %.pn94.pn, %283 ], [ %lpad.loopexit, %.loopexit110 ], [ %lpad.loopexit.split-lp, %.loopexit.split-lp ]
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %23) #8
  br label %285

285:                                              ; preds = %284, %266
  %.pn94.pn.pn.pn = phi { ptr, i32 } [ %.pn94.pn.pn, %284 ], [ %267, %266 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #8
  br label %294

.critedge106:                                     ; preds = %241
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %23) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %23) #8
  br label %286

286:                                              ; preds = %.critedge106, %230, %219, %.lr.ph118
  %287 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  %288 = invoke noundef zeroext i1 @_ZN12_GLOBAL__N_124check_invalidates_lvalueERKN3MIR9StatementERKNS0_6LValueEbb(ptr noundef nonnull align 8 dereferenceable(152) %287, ptr noundef nonnull align 8 dereferenceable(32) %213, i1 noundef zeroext false, i1 noundef zeroext false)
          to label %289 unwind label %264

289:                                              ; preds = %286
  br i1 %288, label %.loopexit, label %290

290:                                              ; preds = %289
  %291 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %21) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %22) #8
  %292 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %292, ptr %22, align 8
  %293 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %21, ptr noundef nonnull align 8 dereferenceable(8) %22) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %22) #8
  br i1 %293, label %.lr.ph118, label %.loopexit, !llvm.loop !17

.loopexit:                                        ; preds = %290, %289, %207, %275
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #8
  br label %295

294:                                              ; preds = %285, %264
  %.pn99 = phi { ptr, i32 } [ %265, %264 ], [ %.pn94.pn.pn.pn, %285 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %21) #8
  br label %299

295:                                              ; preds = %187, %190, %194, %199, %.loopexit
  %296 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %12) #8
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %13) #8
  %297 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %297, ptr %13, align 8
  %298 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %12, ptr noundef nonnull align 8 dereferenceable(8) %13) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %13) #8
  br i1 %298, label %67, label %._crit_edge, !llvm.loop !18

299:                                              ; preds = %294, %186
  %.pn99.pn = phi { ptr, i32 } [ %.pn99, %294 ], [ %.pn91.pn, %186 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %12) #8
  br label %538

._crit_edge123:                                   ; preds = %.backedge, %._crit_edge
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #8
  %300 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %10) #8
  %301 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %10, ptr noundef nonnull align 8 dereferenceable(8) %11) #8
  br i1 %301, label %57, label %._crit_edge126

302:                                              ; preds = %.lr.ph122, %.backedge
  %303 = call noundef ptr @_ZNSt6vectorIN3MIR10BasicBlockESaIS1_EE4dataEv(ptr noundef nonnull align 8 dereferenceable(24) %43) #8
  %304 = ptrtoint ptr %303 to i64
  %305 = sub i64 %66, %304
  %306 = sdiv exact i64 %305, 192
  %307 = trunc i64 %306 to i32
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %28) #8
  %308 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5beginEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %308, ptr %28, align 8
  %309 = call noundef i64 @_ZN9__gnu_cxxmiIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEENS_17__normal_iteratorIT_T0_E15difference_typeERKSA_SD_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %28) #8
  %310 = trunc i64 %309 to i32
  call void @_ZN3MIR11TypeResolve12set_cur_stmtEjj(ptr noundef nonnull align 8 dereferenceable(120) %0, i32 noundef %307, i32 noundef %310)
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %28) #8
  %311 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  call void @llvm.lifetime.start.p0(i64 152, ptr nonnull %29) #8
  call void @_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC2Ev(ptr noundef nonnull align 8 dereferenceable(32) %30) #8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %47, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3MIR6LValueEESaIS9_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %47) #8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %48, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN3MIR6LValueEESaIS9_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %48) #8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %49, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %49) #8
  call void @llvm.memset.p0.i64(ptr noundef nonnull align 8 dereferenceable(24) %50, i8 0, i64 24, i1 false)
  call void @_ZNSt6vectorINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESaIS5_EEC2Ev(ptr noundef nonnull align 8 dereferenceable(24) %50) #8
  invoke void @_ZN3MIR9Statement8make_AsmENS0_8Data_AsmE(ptr dead_on_unwind nonnull writable sret(%"class.MIR::Statement") align 8 %29, ptr noundef nonnull %30)
          to label %312 unwind label %332

312:                                              ; preds = %302
  %313 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_9StatementES2_(ptr noundef nonnull align 8 dereferenceable(152) %311, ptr noundef nonnull align 8 dereferenceable(152) %29)
          to label %314 unwind label %334

314:                                              ; preds = %312
  call void @_ZN3MIR9StatementD2Ev(ptr noundef nonnull align 8 dereferenceable(152) %29) #8
  call void @_ZN3MIR9Statement8Data_AsmD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %30) #8
  call void @llvm.lifetime.end.p0(i64 152, ptr nonnull %29) #8
  br i1 %313, label %315, label %347

315:                                              ; preds = %314
  %316 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %317 unwind label %337

317:                                              ; preds = %315
  br i1 %316, label %318, label %339

318:                                              ; preds = %317
  %319 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %320 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %319, ptr noundef nonnull @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %321 unwind label %337

321:                                              ; preds = %318
  %322 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %320, ptr noundef nonnull align 8 dereferenceable(120) %0)
          to label %323 unwind label %337

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

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) %26) #8
  %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 %337

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 nonnull @_ZSt3decRSt8ios_base)
          to label %330 unwind label %337

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

332:                                              ; preds = %302
  %333 = landingpad { ptr, i32 }
          cleanup
  br label %336

334:                                              ; preds = %312
  %335 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR9StatementD2Ev(ptr noundef nonnull align 8 dereferenceable(152) %29) #8
  br label %336

336:                                              ; preds = %334, %332
  %.pn = phi { ptr, i32 } [ %335, %334 ], [ %333, %332 ]
  call void @_ZN3MIR9Statement8Data_AsmD2Ev(ptr noundef nonnull align 8 dereferenceable(128) %30) #8
  call void @llvm.lifetime.end.p0(i64 152, ptr nonnull %29) #8
  br label %537

337:                                              ; preds = %527, %525, %522, %520, %518, %515, %512, %506, %476, %474, %471, %469, %467, %464, %461, %457, %447, %427, %425, %422, %420, %418, %415, %412, %379, %377, %374, %372, %370, %367, %364, %355, %330, %328, %325, %323, %321, %318, %315
  %338 = landingpad { ptr, i32 }
          cleanup
  br label %537

339:                                              ; preds = %330, %317
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %31, ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %340 = load ptr, ptr %31, align 8
  %341 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %58, ptr %340)
          to label %342 unwind label %345

342:                                              ; preds = %339
  store ptr %341, ptr %26, align 8, !tbaa !9
  store i8 1, ptr %3, align 1, !tbaa !5
  br label %.backedge

.backedge:                                        ; preds = %342, %384, %437, %490, %532, %535
  call void @llvm.lifetime.start.p0(i64 8, ptr nonnull %27) #8
  %343 = call ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE3endEv(ptr noundef nonnull align 8 dereferenceable(24) %58) #8
  store ptr %343, ptr %27, align 8
  %344 = call noundef zeroext i1 @_ZN9__gnu_cxxneIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEEbRKNS_17__normal_iteratorIT_T0_EESC_(ptr noundef nonnull align 8 dereferenceable(8) %26, ptr noundef nonnull align 8 dereferenceable(8) %27) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %27) #8
  br i1 %344, label %302, label %._crit_edge123, !llvm.loop !19

345:                                              ; preds = %339
  %346 = landingpad { ptr, i32 }
          cleanup
  br label %537

347:                                              ; preds = %314
  %348 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %349 = call noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %348)
  br i1 %349, label %350, label %387

350:                                              ; preds = %347
  %351 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %352 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %351)
  %353 = getelementptr inbounds i8, ptr %352, i64 32
  %354 = call noundef zeroext i1 @_ZNK3MIR6RValue6is_UseEv(ptr noundef nonnull align 8 dereferenceable(112) %353)
  br i1 %354, label %355, label %387

355:                                              ; preds = %350
  %356 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %357 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %356)
  %358 = getelementptr inbounds i8, ptr %357, i64 32
  %359 = call noundef nonnull align 8 dereferenceable(32) ptr @_ZN3MIR6RValue6as_UseEv(ptr noundef nonnull align 8 dereferenceable(112) %358)
  %360 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %361 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %360)
  %362 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %359, ptr noundef nonnull align 8 dereferenceable(32) %361)
          to label %363 unwind label %337

363:                                              ; preds = %355
  br i1 %362, label %364, label %387

364:                                              ; preds = %363
  %365 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %366 unwind label %337

366:                                              ; preds = %364
  br i1 %365, label %367, label %381

367:                                              ; preds = %366
  %368 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %369 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %368, ptr noundef nonnull @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %370 unwind label %337

370:                                              ; preds = %367
  %371 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %369, ptr noundef nonnull align 8 dereferenceable(120) %0)
          to label %372 unwind label %337

372:                                              ; preds = %370
  %373 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %371, ptr noundef nonnull @.str.133)
          to label %374 unwind label %337

374:                                              ; preds = %372
  %375 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %376 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %373, ptr noundef nonnull align 8 dereferenceable(152) %375)
          to label %377 unwind label %337

377:                                              ; preds = %374
  %378 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %376, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %379 unwind label %337

379:                                              ; preds = %377
  %380 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %378, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %381 unwind label %337

381:                                              ; preds = %379, %366
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %32, ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %382 = load ptr, ptr %32, align 8
  %383 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %58, ptr %382)
          to label %384 unwind label %385

384:                                              ; preds = %381
  store ptr %383, ptr %26, align 8, !tbaa !9
  store i8 1, ptr %3, align 1, !tbaa !5
  br label %.backedge

385:                                              ; preds = %381
  %386 = landingpad { ptr, i32 }
          cleanup
  br label %537

387:                                              ; preds = %363, %350, %347
  %388 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %389 = call noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %388)
  br i1 %389, label %390, label %.critedge108.thread

390:                                              ; preds = %387
  %391 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %392 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %391)
  %393 = getelementptr inbounds i8, ptr %392, i64 32
  %394 = call noundef zeroext i1 @_ZNK3MIR6RValue9is_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %393)
  br i1 %394, label %395, label %.critedge108.thread

395:                                              ; preds = %390
  %396 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %397 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %396)
  %398 = getelementptr inbounds i8, ptr %397, i64 32
  %399 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %398)
  %400 = getelementptr inbounds i8, ptr %399, i64 8
  %401 = call noundef zeroext i1 @_ZNK3MIR6LValue8is_DerefEv(ptr noundef nonnull align 8 dereferenceable(32) %400)
  br i1 %401, label %402, label %.critedge108.thread

402:                                              ; preds = %395
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %33) #8
  %403 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %404 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %403)
  %405 = getelementptr inbounds i8, ptr %404, i64 32
  %406 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue9as_BorrowEv(ptr noundef nonnull align 8 dereferenceable(112) %405)
  %407 = getelementptr inbounds i8, ptr %406, i64 8
  invoke void @_ZNK3MIR6LValue15clone_unwrappedEj(ptr dead_on_unwind nonnull writable sret(%"struct.MIR::LValue") align 8 %33, ptr noundef nonnull align 8 dereferenceable(32) %407, i32 noundef 1)
          to label %408 unwind label %429

408:                                              ; preds = %402
  %409 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %410 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %409)
  %411 = invoke noundef zeroext i1 @_ZN3MIReqERKNS_6LValueES2_(ptr noundef nonnull align 8 dereferenceable(32) %33, ptr noundef nonnull align 8 dereferenceable(32) %410)
          to label %.critedge108 unwind label %431

.critedge108:                                     ; preds = %408
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #8
  br i1 %411, label %412, label %.critedge108.thread

412:                                              ; preds = %.critedge108
  %413 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %414 unwind label %337

414:                                              ; preds = %412
  br i1 %413, label %415, label %434

415:                                              ; preds = %414
  %416 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %417 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %416, ptr noundef nonnull @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %418 unwind label %337

418:                                              ; preds = %415
  %419 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %417, ptr noundef nonnull align 8 dereferenceable(120) %0)
          to label %420 unwind label %337

420:                                              ; preds = %418
  %421 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %419, ptr noundef nonnull @.str.134)
          to label %422 unwind label %337

422:                                              ; preds = %420
  %423 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %424 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %421, ptr noundef nonnull align 8 dereferenceable(152) %423)
          to label %425 unwind label %337

425:                                              ; preds = %422
  %426 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %424, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %427 unwind label %337

427:                                              ; preds = %425
  %428 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %426, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %434 unwind label %337

429:                                              ; preds = %402
  %430 = landingpad { ptr, i32 }
          cleanup
  br label %433

431:                                              ; preds = %408
  %432 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %33) #8
  br label %433

433:                                              ; preds = %429, %431
  %.pn78 = phi { ptr, i32 } [ %432, %431 ], [ %430, %429 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %33) #8
  br label %537

434:                                              ; preds = %427, %414
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %34, ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %435 = load ptr, ptr %34, align 8
  %436 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %58, ptr %435)
          to label %437 unwind label %438

437:                                              ; preds = %434
  store ptr %436, ptr %26, align 8, !tbaa !9
  store i8 1, ptr %3, align 1, !tbaa !5
  br label %.backedge

438:                                              ; preds = %434
  %439 = landingpad { ptr, i32 }
          cleanup
  br label %537

.critedge108.thread:                              ; preds = %395, %390, %387, %.critedge108
  %440 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %441 = call noundef zeroext i1 @_ZNK3MIR9Statement9is_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %440)
  br i1 %441, label %442, label %503

442:                                              ; preds = %.critedge108.thread
  %443 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %444 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %443)
  %445 = getelementptr inbounds i8, ptr %444, i64 32
  %446 = call noundef zeroext i1 @_ZNK3MIR6RValue7is_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %445)
  br i1 %446, label %447, label %503

447:                                              ; preds = %442
  %448 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %449 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %448)
  %450 = getelementptr inbounds i8, ptr %449, i64 32
  %451 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %450)
  %452 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %453 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %452)
  %454 = getelementptr inbounds i8, ptr %453, i64 32
  %455 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %454)
  %456 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR11TypeResolve15get_lvalue_typeERN3HIR7TypeRefERKNS_6LValueEj(ptr noundef nonnull align 8 dereferenceable(120) %0, ptr noundef nonnull align 8 dereferenceable(8) %9, ptr noundef nonnull align 8 dereferenceable(32) %455, i32 noundef 0)
          to label %457 unwind label %337

457:                                              ; preds = %447
  %458 = getelementptr inbounds i8, ptr %451, i64 32
  %459 = invoke noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8) %458, ptr noundef nonnull align 8 dereferenceable(8) %456)
          to label %460 unwind label %337

460:                                              ; preds = %457
  br i1 %459, label %461, label %503

461:                                              ; preds = %460
  %462 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %463 unwind label %337

463:                                              ; preds = %461
  br i1 %462, label %464, label %478

464:                                              ; preds = %463
  %465 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %466 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %465, ptr noundef nonnull @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %467 unwind label %337

467:                                              ; preds = %464
  %468 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %466, ptr noundef nonnull align 8 dereferenceable(120) %0)
          to label %469 unwind label %337

469:                                              ; preds = %467
  %470 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %468, ptr noundef nonnull @.str.135)
          to label %471 unwind label %337

471:                                              ; preds = %469
  %472 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %473 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %470, ptr noundef nonnull align 8 dereferenceable(152) %472)
          to label %474 unwind label %337

474:                                              ; preds = %471
  %475 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %473, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %476 unwind label %337

476:                                              ; preds = %474
  %477 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %475, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %478 unwind label %337

478:                                              ; preds = %476, %463
  call void @llvm.lifetime.start.p0(i64 32, ptr nonnull %35) #8
  %479 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %480 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %479)
  %481 = getelementptr inbounds i8, ptr %480, i64 32
  %482 = call noundef nonnull align 8 dereferenceable(40) ptr @_ZN3MIR6RValue7as_CastEv(ptr noundef nonnull align 8 dereferenceable(112) %481)
  invoke void @_ZN3MIR6LValueC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %35, ptr noundef nonnull align 8 dereferenceable(32) %482)
          to label %483 unwind label %492

483:                                              ; preds = %478
  call void @llvm.lifetime.start.p0(i64 112, ptr nonnull %36) #8
  invoke void @_ZN3MIR6LValueC2EOS0_(ptr noundef nonnull align 8 dereferenceable(32) %37, ptr noundef nonnull align 8 dereferenceable(32) %35)
          to label %484 unwind label %494

484:                                              ; preds = %483
  invoke void @_ZN3MIR6RValue8make_UseENS_6LValueE(ptr dead_on_unwind nonnull writable sret(%"class.MIR::RValue") align 8 %36, ptr noundef nonnull %37)
          to label %485 unwind label %496

485:                                              ; preds = %484
  %486 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %487 = call noundef nonnull align 8 dereferenceable(144) ptr @_ZN3MIR9Statement9as_AssignEv(ptr noundef nonnull align 8 dereferenceable(152) %486)
  %488 = getelementptr inbounds i8, ptr %487, i64 32
  %489 = invoke noundef nonnull align 8 dereferenceable(112) ptr @_ZN3MIR6RValueaSEOS0_(ptr noundef nonnull align 8 dereferenceable(112) %488, ptr noundef nonnull align 8 dereferenceable(112) %36)
          to label %490 unwind label %498

490:                                              ; preds = %485
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %36) #8
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #8
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %36) #8
  store i8 1, ptr %3, align 1, !tbaa !5
  %491 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #8
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %35) #8
  br label %.backedge

492:                                              ; preds = %478
  %493 = landingpad { ptr, i32 }
          cleanup
  br label %502

494:                                              ; preds = %483
  %495 = landingpad { ptr, i32 }
          cleanup
  br label %501

496:                                              ; preds = %484
  %497 = landingpad { ptr, i32 }
          cleanup
  br label %500

498:                                              ; preds = %485
  %499 = landingpad { ptr, i32 }
          cleanup
  call void @_ZN3MIR6RValueD2Ev(ptr noundef nonnull align 8 dereferenceable(112) %36) #8
  br label %500

500:                                              ; preds = %498, %496
  %.pn80 = phi { ptr, i32 } [ %499, %498 ], [ %497, %496 ]
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %37) #8
  br label %501

501:                                              ; preds = %500, %494
  %.pn80.pn = phi { ptr, i32 } [ %.pn80, %500 ], [ %495, %494 ]
  call void @llvm.lifetime.end.p0(i64 112, ptr nonnull %36) #8
  call void @_ZN3MIR6LValueD2Ev(ptr noundef nonnull align 8 dereferenceable(32) %35) #8
  br label %502

502:                                              ; preds = %501, %492
  %.pn80.pn.pn = phi { ptr, i32 } [ %.pn80.pn, %501 ], [ %493, %492 ]
  call void @llvm.lifetime.end.p0(i64 32, ptr nonnull %35) #8
  br label %537

503:                                              ; preds = %460, %442, %.critedge108.thread
  %504 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %505 = call noundef zeroext i1 @_ZNK3MIR9Statement7is_DropEv(ptr noundef nonnull align 8 dereferenceable(152) %504)
  br i1 %505, label %506, label %535

506:                                              ; preds = %503
  %507 = call noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %508 = call noundef nonnull align 8 dereferenceable(44) ptr @_ZN3MIR9Statement7as_DropEv(ptr noundef nonnull align 8 dereferenceable(152) %507)
  %509 = getelementptr inbounds i8, ptr %508, i64 8
  %510 = invoke noundef zeroext i1 @_ZNK3MIR11TypeResolve14lvalue_is_copyERKNS_6LValueE(ptr noundef nonnull align 8 dereferenceable(120) %0, ptr noundef nonnull align 8 dereferenceable(32) %509)
          to label %511 unwind label %337

511:                                              ; preds = %506
  br i1 %510, label %512, label %535

512:                                              ; preds = %511
  %513 = invoke noundef zeroext i1 @_Z13debug_enabledv()
          to label %514 unwind label %337

514:                                              ; preds = %512
  br i1 %513, label %515, label %529

515:                                              ; preds = %514
  %516 = load i32, ptr @g_debug_indent_level, align 4, !tbaa !13
  %517 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_Z12debug_outputiPKc(i32 noundef %516, ptr noundef nonnull @__func__._Z24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS_8FunctionE)
          to label %518 unwind label %337

518:                                              ; preds = %515
  %519 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_11TypeResolveE(ptr noundef nonnull align 8 dereferenceable(8) %517, ptr noundef nonnull align 8 dereferenceable(120) %0)
          to label %520 unwind label %337

520:                                              ; preds = %518
  %521 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(ptr noundef nonnull align 8 dereferenceable(8) %519, ptr noundef nonnull @.str.136)
          to label %522 unwind label %337

522:                                              ; preds = %520
  %523 = call noundef nonnull align 8 dereferenceable(152) ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEdeEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %524 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZN3MIRlsERSoRKNS_9StatementE(ptr noundef nonnull align 8 dereferenceable(8) %521, ptr noundef nonnull align 8 dereferenceable(152) %523)
          to label %525 unwind label %337

525:                                              ; preds = %522
  %526 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8) %524, ptr noundef nonnull @_ZSt3decRSt8ios_base)
          to label %527 unwind label %337

527:                                              ; preds = %525
  %528 = invoke noundef nonnull align 8 dereferenceable(8) ptr @_ZNSolsEPFRSoS_E(ptr noundef nonnull align 8 dereferenceable(8) %526, ptr noundef nonnull @_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_)
          to label %529 unwind label %337

529:                                              ; preds = %527, %514
  call void @_ZN9__gnu_cxx17__normal_iteratorIPKN3MIR9StatementESt6vectorIS2_SaIS2_EEEC2IPS2_vEERKNS0_IT_S7_EE(ptr noundef nonnull align 8 dereferenceable(8) %38, ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  %530 = load ptr, ptr %38, align 8
  %531 = invoke ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24) %58, ptr %530)
          to label %532 unwind label %533

532:                                              ; preds = %529
  store ptr %531, ptr %26, align 8, !tbaa !9
  store i8 1, ptr %3, align 1, !tbaa !5
  br label %.backedge

533:                                              ; preds = %529
  %534 = landingpad { ptr, i32 }
          cleanup
  br label %537

535:                                              ; preds = %511, %503
  %536 = call noundef nonnull align 8 dereferenceable(8) ptr @_ZN9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8) %26) #8
  br label %.backedge

537:                                              ; preds = %433, %533, %502, %438, %385, %345, %337, %336
  %.pn84 = phi { ptr, i32 } [ %346, %345 ], [ %338, %337 ], [ %386, %385 ], [ %439, %438 ], [ %.pn80.pn.pn, %502 ], [ %534, %533 ], [ %.pn78, %433 ], [ %.pn, %336 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %26) #8
  br label %538

538:                                              ; preds = %537, %299
  %.pn99.pn.pn = phi { ptr, i32 } [ %.pn99.pn, %299 ], [ %.pn84, %537 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %11) #8
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %10) #8
  call void @_ZN3HIR7TypeRefD2Ev(ptr noundef nonnull align 8 dereferenceable(8) %9) #8
  br label %539

539:                                              ; preds = %538, %55
  %.pn99.pn.pn.pn = phi { ptr, i32 } [ %.pn99.pn.pn, %538 ], [ %56, %55 ]
  call void @llvm.lifetime.end.p0(i64 8, ptr nonnull %9) #8
  call void @_ZN8TraceLogD1Ev(ptr noundef nonnull align 8 dereferenceable(40) %4) #8
  br label %540

540:                                              ; preds = %539, %53
  %.pn99.pn.pn.pn.pn = phi { ptr, i32 } [ %.pn99.pn.pn.pn, %539 ], [ %54, %53 ]
  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 } %.pn99.pn.pn.pn.pn
}

; 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: 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 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 @_ZNSolsEPFRSt8ios_baseS0_E(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef) local_unnamed_addr #3 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 #3 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_iteratorIPN3MIR10BasicBlockESt6vectorIS2_SaIS2_EEEppEv(ptr noundef nonnull align 8 dereferenceable(8)) 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 noundef ptr @_ZNK9__gnu_cxx17__normal_iteratorIPN3MIR9StatementESt6vectorIS2_SaIS2_EEEptEv(ptr noundef nonnull align 8 dereferenceable(8)) 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 uwtable
declare dso_local ptr @_ZNSt6vectorIN3MIR9StatementESaIS1_EE5eraseEN9__gnu_cxx17__normal_iteratorIPKS1_S3_EE(ptr noundef nonnull align 8 dereferenceable(24), ptr) local_unnamed_addr #3 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 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 #3

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

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

declare noundef nonnull align 8 dereferenceable(8) ptr @_ZNK3MIR11TypeResolve15get_lvalue_typeERN3HIR7TypeRefERKNS_6LValueEj(ptr noundef nonnull align 8 dereferenceable(120), ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) local_unnamed_addr #1

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

declare noundef zeroext i1 @_ZNK3MIR11TypeResolve14lvalue_is_copyERKNS_6LValueE(ptr noundef nonnull align 8 dereferenceable(120), ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #1

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

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

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

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3MIR6LValue5cloneEv(ptr dead_on_unwind noalias writable sret(%"struct.MIR::LValue") align 8, ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #3 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
declare hidden noundef zeroext i1 @_ZN12_GLOBAL__N_124check_invalidates_lvalueERKN3MIR9StatementERKNS0_6LValueEbb(ptr noundef nonnull align 8 dereferenceable(152), ptr noundef nonnull align 8 dereferenceable(32), i1 noundef zeroext, i1 noundef zeroext) local_unnamed_addr #3

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

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

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

declare noundef zeroext i1 @_ZNK3HIR7TypeRefeqERKS0_(ptr noundef nonnull align 8 dereferenceable(8), ptr noundef nonnull align 8 dereferenceable(8)) local_unnamed_addr #1

; Function Attrs: mustprogress nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #7

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

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

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

; Function Attrs: mustprogress nounwind uwtable
declare hidden void @"_ZNSt8functionIFvRSoEEC2IZ24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS4_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 @"_ZNSt8functionIFvRSoEEC2IZ24MIR_Optimise_NoopRemovalRN3MIR11TypeResolveERNS4_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 noundef zeroext i1 @_ZNK3MIR6LValue8is_DerefEv(ptr noundef nonnull align 8 dereferenceable(32)) local_unnamed_addr #4 align 2

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZNK3MIR6LValue15clone_unwrappedEj(ptr dead_on_unwind noalias writable sret(%"struct.MIR::LValue") align 8, ptr noundef nonnull align 8 dereferenceable(32), i32 noundef) local_unnamed_addr #3 align 2

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

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

declare noundef zeroext i1 @_ZN3MIReqERKNS_9StatementES2_(ptr noundef nonnull align 8 dereferenceable(152), ptr noundef nonnull align 8 dereferenceable(152)) local_unnamed_addr #1

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR9Statement8make_AsmENS0_8Data_AsmE(ptr dead_on_unwind noalias writable sret(%"class.MIR::Statement") align 8, ptr noundef) local_unnamed_addr #3 align 2

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

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

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

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

; Function Attrs: mustprogress uwtable
declare dso_local void @_ZN3MIR6RValue8make_UseENS_6LValueE(ptr dead_on_unwind noalias writable sret(%"class.MIR::RValue") align 8, ptr noundef) local_unnamed_addr #3 align 2

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_ZNSt14_Function_baseD2Ev(ptr noundef nonnull align 8 dereferenceable(24)) unnamed_addr #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 = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #4 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #5 = { 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 = { mustprogress nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #8 = { 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 = !{i8 0, i8 2}
!12 = !{}
!13 = !{!14, !14, i64 0}
!14 = !{!"int", !7, i64 0}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = distinct !{!17, !16}
!18 = distinct !{!18, !16}
!19 = distinct !{!19, !16}


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