mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-11 22:31:12 +02:00
Code Activity

Prevent LICM of memory accesses guarded by effect-free predicates

Browse source 
* module/language/cps/licm.scm (loop-invariant?): Read or write effects
  can be guarded by effect-free branches; prevent hoisting of these
  expressions if the term isn't always reachable.
This commit is contained in:
Andy Wingo 2018-01-05 11:48:06 +01:00
parent 51fd5952cb
commit e4e02d8489
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
module/language/cps/licm.scm
View file

@ -55,7 +55,7 @@
(and
(not (causes-effect? fx &allocation))
(or always-reached?
(not (causes-effect? fx &type-check)))
(not (causes-effect? fx (logior &type-check &read &write))))
(or (not (causes-effect? fx &write))
(intmap-fold (lambda (label fx* invariant?)
(and invariant?