Update base for Update on "[compiler][newinference] ensure fixpoint converges for loops w backedges"

Browse Source

The fixpoint converges based on the abstract values being equal, but we synthesize new values cached based on the effects and new effects can be synthesized on the fly. So here we intern the effect objects by "value" (cache key computed from the value) to ensure that effects are stable, values cached based on them are stable, and that the fixpoint can converge.

[ghstack-poisoned]

...

This commit is contained in:

Joe Savona

2025-06-09 11:11:41 -07:00

parent 99c165b5d3

commit 05d6af6122

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available