FramePointerAnalysis can run inline on expression

enso-org · Aug 13, 2024 · db92068 · db92068
1 parent cc211f9
commit db92068
Showing 1 changed file with 12 additions and 3 deletions.
diff --git a/...runtime-compiler/src/main/scala/org/enso/compiler/pass/analyse/FramePointerAnalysis.scala b/...runtime-compiler/src/main/scala/org/enso/compiler/pass/analyse/FramePointerAnalysis.scala
@@ -350,13 +350,22 @@ case object FramePointerAnalysis extends IRPass {
  getAliasAnalysisMeta(ir).map(_.graph)
  }
 
- /** Not implemented for this pass.
+ /** @inheritdoc
  */
  override def runExpression(
- ir: Expression,
+ exprIr: Expression,
  inlineContext: InlineContext
  ): Expression = {
- ir
+ inlineContext.localScope match {
+ case None =>
+ throw new CompilerError(
+ "Local scope must be provided for frame pointer analysis"
+ )
+ case Some(localScope) =>
+ val graph = localScope.aliasingGraph
+ processExpression(exprIr, graph)
+ exprIr
+ }
  }
 
  // === Pass Configuration ===================================================