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-06 09:57:14 -07:00

parent be4b4033f5 53971df337

commit 61678e9a3d

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