From 53971df337e56eeb102ee6a10b55de7cbaae5816 Mon Sep 17 00:00:00 2001 From: Joe Savona Date: Fri, 6 Jun 2025 09:57:14 -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]