This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Those pesky incomprehensible if statements
- To: gcc at gcc dot gnu dot org, zackw at stanford dot edu
- Subject: Re: Those pesky incomprehensible if statements
- From: Mike Stump <mrs at windriver dot com>
- Date: Tue, 20 Feb 2001 01:28:46 -0800 (PST)
> From: "Zack Weinberg" <zackw@stanford.edu>
> Date: Mon, 19 Feb 2001 11:34:18 -0800
> To: gcc@gcc.gnu.org
> if (match_p (set, '(set (stack_pointer_rtx)
> (plus (stack_pointer_rtx) (const_int)))))
> Isn't that so much easier to read?
Yes, Maude and prop do exactly this, it is a fairly standard
technique. One day I hope that the source language that gcc is
written in will allow one to make use of this type of source language
in this type of context.