[RFA:] Simplification transformations in semantics.scm

[Hans-Peter Nilsson]

> From: Doug Evans <dje@transmeta.com>
> Date: Fri, 13 Dec 2002 16:52:46 -0800 (PST)

> Hans-Peter Nilsson writes:
>  > > How much pain would it be if we continue to disallow
>  > > conditions in the left side of `set'?
>  > 
>  > If you mean in (set (reg h-hw RMODE exp1) exp2)
>  > then much so, but in (set exp1 exp2) none at all.  I think it's
>  > currently invalid and should remain so.
> 
> Righto.  I _think_ (set (reg h-hw RMODE exp1) exp2) may be ok.

(given exp1 a condition, like (if SI ...))

Yes, it definitely is!

brgds, H-P