Skip to content

Account for global effects in LinearExecutionWalker#8637

Open
stevenfontanella wants to merge 1 commit intomainfrom
linear-execution
Open

Account for global effects in LinearExecutionWalker#8637
stevenfontanella wants to merge 1 commit intomainfrom
linear-execution

Conversation

@stevenfontanella
Copy link
Copy Markdown
Member

@stevenfontanella stevenfontanella commented Apr 21, 2026

When --enable-exception-handling is true, we previously assumed that every call throws in LinearExecutionWalker which prevented some opportunities for optimizing locals (and potentially other optimizations in passes that use this class). Change the code to make use of global effects when present.

The following passes use LinearExecutionWalker:

  • LocalGraph
  • LocalCSE
  • OptimizeCasts
  • SimplifyGlobals
  • SimplifyLocals

It's also used in ContentOracle which is used in GUFA and TypeRefining.

@stevenfontanella
Copy link
Copy Markdown
Member Author

Running the fuzzer now.

@stevenfontanella stevenfontanella marked this pull request as ready for review April 21, 2026 23:14
@stevenfontanella stevenfontanella requested a review from a team as a code owner April 21, 2026 23:14
@stevenfontanella stevenfontanella requested review from aheejin and removed request for a team April 21, 2026 23:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant