diff options
-rw-r--r-- | module/language/cps/effects-analysis.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/module/language/cps/effects-analysis.scm b/module/language/cps/effects-analysis.scm index 365c280c1..9ee7f0c62 100644 --- a/module/language/cps/effects-analysis.scm +++ b/module/language/cps/effects-analysis.scm @@ -221,7 +221,7 @@ (logior &all-effect-kinds (&object &unknown-memory-kinds)))) (define-inlinable (causes-effect? x effects) - (not (zero? (logand x effects)))) + (logtest x effects)) (define-inlinable (causes-all-effects? x) (eqv? x &all-effects)) @@ -238,8 +238,8 @@ is or might be a read or a write to the same location as A." ;; A negative field indicates "the whole object". ;; Non-negative fields indicate only part of the object. (or (< a 0) (< b 0) (= a b)))))) - (and (not (zero? (logand a &write))) - (not (zero? (logand b (logior &read &write)))) + (and (logtest a &write) + (logtest b (logior &read &write)) (locations-same?))) (define (compute-clobber-map effects) |