[SIL] Lifetime depends on supported features.

nate-chandler · nate-chandler · commit b23cd4209847 · 2023-04-10T10:25:35.000-07:00
Instances of every type have a EagerMove lifetimes when lexical
lifetimes are disabled.
diff --git a/lib/SIL/IR/SILType.cpp b/lib/SIL/IR/SILType.cpp
@@ -176,6 +176,8 @@ bool SILType::isNoReturnFunction(SILModule &M,
 }
 
 Lifetime SILType::getLifetime(const SILFunction &F) const {
+  if (!F.getModule().Options.supportsLexicalLifetimes(F.getModule()))
+    return Lifetime::EagerMove;
   auto contextType = hasTypeParameter() ? F.mapTypeIntoContext(*this) : *this;
   const auto &lowering = F.getTypeLowering(contextType);
   auto properties = lowering.getRecursiveProperties();

Original file line number	Diff line number	Diff line change
`@@ -176,6 +176,8 @@ bool SILType::isNoReturnFunction(SILModule &M,`
`176`	`176`	`}`
`177`	`177`
`178`	`178`	`Lifetime SILType::getLifetime(const SILFunction &F) const {`
	`179`	`+ if (!F.getModule().Options.supportsLexicalLifetimes(F.getModule()))`
	`180`	`+ return Lifetime::EagerMove;`
`179`	`181`	`auto contextType = hasTypeParameter() ? F.mapTypeIntoContext(this) : this;`
`180`	`182`	`const auto &lowering = F.getTypeLowering(contextType);`
`181`	`183`	`auto properties = lowering.getRecursiveProperties();`