diff --git a/module/language/cps/effects-analysis.scm b/module/language/cps/effects-analysis.scm index c6439cfd1..3e81c3eb4 100644 --- a/module/language/cps/effects-analysis.scm +++ b/module/language/cps/effects-analysis.scm @@ -268,6 +268,7 @@ loads from objects created at known allocation sites." (lambda (label fx out) (cond ((causes-all-effects? fx) out) + ((logtest fx &allocation) out) ((logtest fx (logior &read &write)) (match (intmap-ref conts label) ;; Assume that instructions which cause a known set of effects