This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Clarify define_insn documentation
- From: Jeff Law <law at redhat dot com>
- To: gcc-patches at gcc dot gnu dot org, rdsandiford at googlemail dot com
- Date: Tue, 6 Jun 2017 20:36:03 -0600
- Subject: Re: Clarify define_insn documentation
- Authentication-results: sourceware.org; auth=none
- Authentication-results: ext-mx08.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com
- Authentication-results: ext-mx08.extmail.prod.ext.phx2.redhat.com; spf=pass smtp.mailfrom=law at redhat dot com
- Dkim-filter: OpenDKIM Filter v2.11.0 mx1.redhat.com 5F23EC0587D3
- Dmarc-filter: OpenDMARC Filter v1.3.2 mx1.redhat.com 5F23EC0587D3
- References: <87wp8paqth.fsf@googlemail.com>
On 06/06/2017 12:55 PM, Richard Sandiford wrote:
> This patch tries to clarify some of the restrictions on define_insn
> conditions, and also on the use of "#".
>
> OK to install?
>
> Richard
>
>
> 2017-06-06 Richard Sandiford <richard.sandiford@linaro.org>
>
> gcc/
> * doc/md.texi: Clarify the restrictions on a define_insn condition.
> Say that # requires an associated define_split to exist, and that
> the define_split must be suitable for use after register allocation.
OK.
jeff