From 05d6af6122aa9a01dda1970351ef60d764abc2c9 Mon Sep 17 00:00:00 2001 From: Joe Savona Date: Mon, 9 Jun 2025 11:11:41 -0700 Subject: [PATCH] Update base for Update on "[compiler][newinference] ensure fixpoint converges for loops w backedges" 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]