public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
From: Bernd Edlinger <bernd.edlinger@hotmail.de>
To: David Malcolm <dmalcolm@redhat.com>,
	"gcc-patches@gcc.gnu.org"	<gcc-patches@gcc.gnu.org>
Subject: Re: [PATCH 13/16] cse.c selftests
Date: Wed, 05 Oct 2016 16:47:00 -0000	[thread overview]
Message-ID: <HE1PR0701MB216957D197DF129EC5D36B4AE4C40@HE1PR0701MB2169.eurprd07.prod.outlook.com> (raw)

David,

I think this could be added to the pr71779 test case:



  test_pr71779 ()
  {
    /* Only run this tests for target==aarch64.  */
  #ifndef GCC_AARCH64_H
+#ifndef I386_OPTS_H
    return;
+#endif
  #endif

    rtl_dump_test t (SELFTEST_LOCATION, locate_file ("pr71779.rtl"));
    dataflow_test df_test;

    tem = cse_main (get_insns (), max_reg_num ());
    ASSERT_EQ (0, tem);
+  ASSERT_FALSE (REG_POINTER (SET_DEST (PATTERN (get_insn_by_uid (1047)))));
  }


at least last time when I tried it, this was able
to reproduce the invalid transformation.

It worked for aarch64 and x86_64, not sure if it will work for
i686-pc-linux-gnu too...


Bernd.

             reply	other threads:[~2016-10-05 16:47 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-10-05 16:47 Bernd Edlinger [this message]
  -- strict thread matches above, loose matches on Subject: below --
2016-10-05 15:44 [PATCH 00/16] RTL frontend (v3) David Malcolm
2016-10-05 15:45 ` [PATCH 13/16] cse.c selftests David Malcolm

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=HE1PR0701MB216957D197DF129EC5D36B4AE4C40@HE1PR0701MB2169.eurprd07.prod.outlook.com \
    --to=bernd.edlinger@hotmail.de \
    --cc=dmalcolm@redhat.com \
    --cc=gcc-patches@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).