[semantic-sil] Add a new pass that dumps out the ownership of all SILValue in a function and performs some minor checks upon them.

rdar://29671437
This commit is contained in:
Michael Gottesman
2016-12-16 17:47:22 -08:00
parent 3df612b0d6
commit 4bfaef8ae0
4 changed files with 76 additions and 5 deletions

View File

@@ -341,7 +341,8 @@ ValueOwnershipKindVisitor::visitSILUndef(SILUndef *Arg) {
Optional<ValueOwnershipKind>
ValueOwnershipKindVisitor::visitPHISILArgument(SILArgument *Arg) {
llvm_unreachable("unimplemented");
// For now just return undef.
return ValueOwnershipKind::Undef;
}
Optional<ValueOwnershipKind>