This is the mail archive of the
mailing list for the CGEN project.
Re: [RFA:] Simplification transformations in semantics.scm
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.
exp1 may have conditions but some register of h-hw will be set.