[semantic-arc] When compiing with -enable-sil-ownership, run the OwnershipModelEliminator right after SILGen and verify with SIL Ownership Enabled.

rdar://28685236
This commit is contained in:
Michael Gottesman
2016-10-15 22:15:02 -07:00
parent d3042ad416
commit 277528f1ed
4 changed files with 15 additions and 6 deletions

View File

@@ -694,7 +694,8 @@ public:
/// verify - Run the IR verifier to make sure that the SILFunction follows
/// invariants.
void verify(bool SingleFunction=true) const;
void verify(bool SingleFunction = true,
bool EnforceSILOwnership = false) const;
/// Pretty-print the SILFunction.
void dump(bool Verbose) const;