This is the mail archive of the cgen@sources.redhat.com mailing list for the CGEN project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [RFA:] Simplification transformations in semantics.scm

From: Doug Evans <dje at transmeta dot com>
To: Hans-Peter Nilsson <hans-peter dot nilsson at axis dot com>
Cc: cgen at sources dot redhat dot com
Date: Fri, 13 Dec 2002 16:52:46 -0800 (PST)
Subject: Re: [RFA:] Simplification transformations in semantics.scm
References: <15865.59974.251811.291863@xris-athlon.transmeta.com><200212131456.gBDEu2g8030718@ignucius.axis.se>

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.

Follow-Ups:
- Re: [RFA:] Simplification transformations in semantics.scm
  - From: Hans-Peter Nilsson

References:
- [RFA:] Simplification transformations in semantics.scm
  - From: Doug Evans
- Re: [RFA:] Simplification transformations in semantics.scm
  - From: Hans-Peter Nilsson

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]