From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12376 invoked by alias); 14 Dec 2002 00:52:52 -0000 Mailing-List: contact cgen-help@sources.redhat.com; run by ezmlm Precedence: bulk List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cgen-owner@sources.redhat.com Received: (qmail 12369 invoked from network); 14 Dec 2002 00:52:49 -0000 Received: from unknown (HELO neon-gw.transmeta.com) (63.209.4.196) by sources.redhat.com with SMTP; 14 Dec 2002 00:52:49 -0000 Received: (from root@localhost) by neon-gw.transmeta.com (8.9.3/8.9.3) id QAA18981; Fri, 13 Dec 2002 16:52:45 -0800 Received: from mailhost.transmeta.com(10.1.1.15) by neon-gw.transmeta.com via smap (V2.1) id xma018975; Fri, 13 Dec 02 16:52:42 -0800 Received: from casey.transmeta.com (casey.transmeta.com [10.10.25.22]) by deepthought.transmeta.com (8.11.6/8.11.6) with ESMTP id gBE0qkR00677; Fri, 13 Dec 2002 16:52:46 -0800 (PST) Received: (from dje@localhost) by casey.transmeta.com (8.9.3/8.7.3) id QAA20711; Fri, 13 Dec 2002 16:52:46 -0800 From: Doug Evans MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15866.32990.519241.323305@casey.transmeta.com> Date: Fri, 13 Dec 2002 16:52:00 -0000 To: Hans-Peter Nilsson Cc: cgen@sources.redhat.com Subject: Re: [RFA:] Simplification transformations in semantics.scm In-Reply-To: <200212131456.gBDEu2g8030718@ignucius.axis.se> References: <15865.59974.251811.291863@xris-athlon.transmeta.com> <200212131456.gBDEu2g8030718@ignucius.axis.se> X-SW-Source: 2002-q4/txt/msg00088.txt.bz2 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.