From 1c9560b9388d64b2cdb66c90790d61b738cdf84c Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Sat, 15 Jul 2023 20:09:36 -0700 Subject: compiler: recognize T0 register (nil) as constant. * stdlib/optimize.tl (basic-blocks do-peephole-block): The constant folding case should fire even if some of the arguments of the call aren't D registers but T0. --- stdlib/optimize.tl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/stdlib/optimize.tl b/stdlib/optimize.tl index 6ba0685e..5002b1fd 100644 --- a/stdlib/optimize.tl +++ b/stdlib/optimize.tl @@ -528,12 +528,14 @@ (cons (car insns) ren)) (t insns)))) ;; constant folding - (@(require ((gcall @tgt @idx . @(all (d @dn))) . @rest) + (@(require ((gcall @tgt @idx . @(all @(or (d @dn) + @(with (t 0) dn nil)))) + . @rest) [%const-foldable% [bb.symvec idx]]) (let* ((co bb.compiler) (dvec co.(get-datavec)) (fun [bb.symvec idx]) - (args [mapcar dvec dn]) + (args (mapcar [iffi true dvec] dn)) (val (apply fun args)) (dreg co.(get-dreg val))) ^((mov ,tgt ,dreg) ,*rest))) -- cgit v1.2.3