Commit 9763d630 authored by ram's avatar ram
Browse files

Changed variable dumping to realize that a TN can have no refs even

when its leaf has refs (due to IR2 optimization.)
parent d960a58d
...@@ -399,7 +399,7 @@ ...@@ -399,7 +399,7 @@
(collect ((vars)) (collect ((vars))
(labels ((frob-leaf (leaf tn gensym-p) (labels ((frob-leaf (leaf tn gensym-p)
(let ((name (leaf-name leaf))) (let ((name (leaf-name leaf)))
(when (and name (leaf-refs leaf) (when (and name (leaf-refs leaf) (tn-offset tn)
(or gensym-p (symbol-package name))) (or gensym-p (symbol-package name)))
(vars (cons leaf tn))))) (vars (cons leaf tn)))))
(frob-lambda (x gensym-p) (frob-lambda (x gensym-p)
...@@ -449,7 +449,8 @@ ...@@ -449,7 +449,8 @@
(let ((res (gethash var var-locs))) (let ((res (gethash var var-locs)))
(cond (res) (cond (res)
(t (t
(assert (null (leaf-refs var))) (assert (or (null (leaf-refs var))
(not (tn-offset (leaf-info var)))))
'deleted)))) 'deleted))))
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment