Files
swift-mirror/include/swift/SILOptimizer/PassManager/PassPipeline.def
Andrew Trick c588c657f5 SILVerifier - option to verify with or without linear lifetime check
Add a separate 'verifyOwnership()' entry point so it's possible
to check OSSA lifetimes at various points.

Move SILGenCleanup into a SILGen pass pipeline.

After SILGen, verify incomplete OSSA.

After SILGenCleanup, verify ownership.
2023-03-01 21:41:46 -08:00

38 lines
1.5 KiB
Modula-2

//===--- PassPipeline.def -------------------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See https://swift.org/LICENSE.txt for license information
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//
///
/// Metaprogramming for Pass Pipelines
///
//===----------------------------------------------------------------------===//
/// PASSPIPELINE(NAME, DESCRIPTION)
///
/// A pipeline with Name NAME and description DESCRIPTION. PassPipelinePlan
/// constructor is assumed to take a SILOptions value.
#ifndef PASSPIPELINE
#define PASSPIPELINE(NAME, DESCRIPTION)
#endif
PASSPIPELINE(SILGen, "SILGen Passes")
PASSPIPELINE(Diagnostic, "Guaranteed Passes")
PASSPIPELINE(LowerHopToActor, "Lower Hop to Actor")
PASSPIPELINE(OwnershipEliminator, "Utility pass to just run the ownership eliminator pass")
PASSPIPELINE(Performance, "Passes run at -O")
PASSPIPELINE(Onone, "Passes run at -Onone")
PASSPIPELINE(InstCount, "Utility pipeline to just run the inst count pass")
PASSPIPELINE(Lowering, "SIL Address Lowering")
PASSPIPELINE(IRGenPrepare, "Pipeline to run during IRGen")
PASSPIPELINE(SerializeSIL, "Utility pipeline that just runs SerializeSILPass ")
#undef PASSPIPELINE_WITH_OPTIONS
#undef PASSPIPELINE