tree ea3b8cdebb6be652ab08ca829ff551d3440b4090
parent 8ea0f4b3c11a991c36bad583f33051b62e5a7ce3
author Christoffer Quist Adamsen <christofferqa@google.com> 1646394475 +0100
committer Christoffer Quist Adamsen <christofferqa@google.com> 1646394475 +0100

Closed interfaces IR analysis

This introduces a simple analysis that analyses all assignments to interface types during the primary optimization pass, allowing the compiler to reason about closed interface types after the primary optimization pass.

Follow up work should:
- Extend the set of maybe-open interfaces based on keep rules
- Update optimizations to use the new collection of open/closed interfaces
- Move the open/closed interfaces analysis to the Enqueuer by analyzing CF code instead

Bug: 214496607
Change-Id: Ia56320537de63ed5f36fbac6317faa5b7382967f