public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "steven at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/29840] [4.3 Regression] build/genconditions ../../gcc/gcc/config/pa/pa.md > tmp-condmd.c: /bin/sh: 13354 Memory fault(coredump)
Date: Sat, 25 Nov 2006 23:17:00 -0000 [thread overview]
Message-ID: <20061125231749.31885.qmail@sourceware.org> (raw)
In-Reply-To: <bug-29840-276@http.gcc.gnu.org/bugzilla/>
------- Comment #10 from steven at gcc dot gnu dot org 2006-11-25 23:17 -------
>From the cse1 dump:
Register 72 used 1 times across 0 insns; set 1 time; dies in 0 places; pointer.
So there is only a single DEF for reg 72. The set for this DEF is:
(insn 112 2 7 2 foo.c:13 (set (reg/f:DI 72)
(plus:DI (reg/f:DI 29 %r29)
(const_int -64 [0xffffffffffffffc0]))) -1 (nil)
(nil))
fwprop replaces occurences of (reg 72) with (plus (reg 29) (const_int -64)).
This is the diff between the cse1 and fwprop dump:
--- attachment.cse1 2006-11-26 00:13:55.000000000 +0100
+++ attachment.fwprop1 2006-11-26 00:14:06.000000000 +0100
(....)
@@ -112,7 +172,8 @@
(const_int -64 [0xffffffffffffffc0]))) -1 (nil)
(nil))
-(insn 7 112 8 2 foo.c:13 (set (mem/f/c/i:DI (reg/f:DI 72) [8 cond+0 S8 A64])
+(insn 7 112 8 2 foo.c:13 (set (mem/f/c/i:DI (plus:DI (reg/f:DI 29 %r29)
+ (const_int -64 [0xffffffffffffffc0])) [8 cond+0 S8 A64])
(reg:DI 26 %r26 [ cond ])) 124 {*pa.md:4480} (nil)
(nil))
@@ -397,7 +458,8 @@
(insn 71 70 74 5 foo.c:25 (set (mem:QI (reg/f:DI 68 [ D.1944 ]) [0 S1 A8])
(reg:QI 88)) 104 {*pa.md:3322} (nil)
- (nil))
+ (expr_list:REG_EQUAL (const_int 10 [0xa])
+ (nil)))
(insn 74 71 75 5 foo.c:25 (set (reg/f:DI 91)
(plus:DI (reg/f:DI 68 [ D.1944 ])
@@ -462,7 +524,8 @@
(note 89 88 91 7 [bb 7] NOTE_INSN_BASIC_BLOCK)
(insn 91 89 92 7 foo.c:26 (set (reg/f:DI 26 %r26 [ cond ])
- (mem/f/c/i:DI (reg/f:DI 72) [8 cond+0 S8 A64])) 124 {*pa.md:4480}
(nil)
+ (mem/f/c/i:DI (plus:DI (reg/f:DI 29 %r29)
+ (const_int -64 [0xffffffffffffffc0])) [8 cond+0 S8 A64])) 124
{*pa.md:4480} (nil)
(nil))
(insn 92 91 93 7 foo.c:26 (set (reg/f:DI 29 %r29)
@@ -503,7 +566,8 @@
(nil)))
(insn 98 97 99 7 foo.c:27 (set (reg/f:DI 25 %r25 [ cond ])
- (mem/f/c/i:DI (reg/f:DI 72) [8 cond+0 S8 A64])) 124 {*pa.md:4480}
(nil)
+ (mem/f/c/i:DI (plus:DI (reg/f:DI 29 %r29)
+ (const_int -64 [0xffffffffffffffc0])) [8 cond+0 S8 A64])) 124
{*pa.md:4480} (nil)
(nil))
(insn 99 98 100 7 foo.c:27 (set (reg/f:DI 29 %r29)
Someone care to explain why this is a wrong transformation by fwprop?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29840
next prev parent reply other threads:[~2006-11-25 23:17 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-11-15 2:26 [Bug target/29840] New: " danglin at gcc dot gnu dot org
2006-11-15 2:41 ` [Bug target/29840] " danglin at gcc dot gnu dot org
2006-11-23 0:25 ` danglin at gcc dot gnu dot org
2006-11-23 0:28 ` [Bug target/29840] [4.3 Regression] " pinskia at gcc dot gnu dot org
2006-11-25 20:15 ` danglin at gcc dot gnu dot org
2006-11-25 21:30 ` dave at hiauly1 dot hia dot nrc dot ca
2006-11-25 22:14 ` dave at hiauly1 dot hia dot nrc dot ca
2006-11-25 22:24 ` steven at gcc dot gnu dot org
2006-11-25 23:17 ` steven at gcc dot gnu dot org [this message]
2006-11-25 23:19 ` steven at gcc dot gnu dot org
2006-11-25 23:21 ` steven at gcc dot gnu dot org
2006-11-25 23:23 ` steven at gcc dot gnu dot org
2006-11-25 23:26 ` [Bug rtl-optimization/29840] " pinskia at gcc dot gnu dot org
2006-11-25 23:32 ` pinskia at gcc dot gnu dot org
2006-11-26 0:04 ` dave at hiauly1 dot hia dot nrc dot ca
2006-11-26 1:05 ` steven at gcc dot gnu dot org
2006-11-26 9:06 ` paolo dot bonzini at lu dot unisi dot ch
2006-11-26 9:19 ` stevenb dot gcc at gmail dot com
2006-11-27 0:28 ` dave at hiauly1 dot hia dot nrc dot ca
2006-11-27 7:16 ` bonzini at gnu dot org
2006-11-30 18:49 ` bonzini at gnu dot org
2006-11-30 19:10 ` dave at hiauly1 dot hia dot nrc dot ca
2006-11-30 19:18 ` paolo dot bonzini at lu dot unisi dot ch
2006-12-01 21:02 ` dave at hiauly1 dot hia dot nrc dot ca
2006-12-01 22:23 ` dave at hiauly1 dot hia dot nrc dot ca
2006-12-02 9:27 ` paolo dot bonzini at lu dot unisi dot ch
2006-12-02 16:39 ` dave at hiauly1 dot hia dot nrc dot ca
2006-12-02 17:38 ` paolo dot bonzini at lu dot unisi dot ch
2006-12-02 21:17 ` dave at hiauly1 dot hia dot nrc dot ca
2006-12-04 21:26 ` dave at hiauly1 dot hia dot nrc dot ca
2006-12-19 18:23 ` sje at cup dot hp dot com
2006-12-19 20:05 ` dave at hiauly1 dot hia dot nrc dot ca
2006-12-22 12:29 ` bonzini at gcc dot gnu dot org
2006-12-22 12:52 ` bonzini at gnu dot org
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=20061125231749.31885.qmail@sourceware.org \
--to=gcc-bugzilla@gcc.gnu.org \
--cc=gcc-bugs@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).