public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/21134] New: Make gengenrtl emit mode checks aborting on avoid VOIDmode
@ 2005-04-20 23:14 hp at gcc dot gnu dot org
2005-04-20 23:14 ` [Bug middle-end/21134] Make gengenrtl emit mode checks aborting on VOIDmode hp at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: hp at gcc dot gnu dot org @ 2005-04-20 23:14 UTC (permalink / raw)
To: gcc-bugs
See <URL:http://gcc.gnu.org/ml/gcc-patches/2005-04/msg02223.html> #4.
See also PR 20413 comment #9.
Only CONST_INT should have VOIDmode, and it's not generated by gengenrtl,
so a patch for this enhancement seems simple.
--
Summary: Make gengenrtl emit mode checks aborting on avoid
VOIDmode
Product: gcc
Version: 4.1.0
Status: UNCONFIRMED
Severity: enhancement
Priority: P3
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: hp at gcc dot gnu dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: cris-*
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21134
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug middle-end/21134] Make gengenrtl emit mode checks aborting on VOIDmode
2005-04-20 23:14 [Bug middle-end/21134] New: Make gengenrtl emit mode checks aborting on avoid VOIDmode hp at gcc dot gnu dot org
@ 2005-04-20 23:14 ` hp at gcc dot gnu dot org
2005-04-21 1:00 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: hp at gcc dot gnu dot org @ 2005-04-20 23:14 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|Make gengenrtl emit mode |Make gengenrtl emit mode
|checks aborting on avoid |checks aborting on VOIDmode
|VOIDmode |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21134
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug middle-end/21134] Make gengenrtl emit mode checks aborting on VOIDmode
2005-04-20 23:14 [Bug middle-end/21134] New: Make gengenrtl emit mode checks aborting on avoid VOIDmode hp at gcc dot gnu dot org
2005-04-20 23:14 ` [Bug middle-end/21134] Make gengenrtl emit mode checks aborting on VOIDmode hp at gcc dot gnu dot org
@ 2005-04-21 1:00 ` pinskia at gcc dot gnu dot org
2005-04-23 14:44 ` hp at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-04-21 1:00 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-04-21 01:00 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2005-04-21 01:00:00
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21134
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug middle-end/21134] Make gengenrtl emit mode checks aborting on VOIDmode
2005-04-20 23:14 [Bug middle-end/21134] New: Make gengenrtl emit mode checks aborting on avoid VOIDmode hp at gcc dot gnu dot org
2005-04-20 23:14 ` [Bug middle-end/21134] Make gengenrtl emit mode checks aborting on VOIDmode hp at gcc dot gnu dot org
2005-04-21 1:00 ` pinskia at gcc dot gnu dot org
@ 2005-04-23 14:44 ` hp at gcc dot gnu dot org
2005-04-23 14:49 ` roger at eyesopen dot com
2005-04-23 15:14 ` hp at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: hp at gcc dot gnu dot org @ 2005-04-23 14:44 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From hp at gcc dot gnu dot org 2005-04-23 14:44 -------
Note a list of exceptions is needed, for example
<URL:http://gcc.gnu.org/ml/gcc-patches/2005-04/msg02238.html>.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21134
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug middle-end/21134] Make gengenrtl emit mode checks aborting on VOIDmode
2005-04-20 23:14 [Bug middle-end/21134] New: Make gengenrtl emit mode checks aborting on avoid VOIDmode hp at gcc dot gnu dot org
` (2 preceding siblings ...)
2005-04-23 14:44 ` hp at gcc dot gnu dot org
@ 2005-04-23 14:49 ` roger at eyesopen dot com
2005-04-23 15:14 ` hp at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: roger at eyesopen dot com @ 2005-04-23 14:49 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From roger at eyesopen dot com 2005-04-23 14:49 -------
The list of exceptions, in addition to those mentioned in the e-mail above, also
needs to include compare, if_then_else and all binary comparison operators; eq,
ne, lt, gt, le, ge.
I'm not opposed to adding checks where appropriate, but clearly the sweeping
statement that the only place we need VOIDmode is const_int, is perhaps an over
simplification. :-)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21134
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug middle-end/21134] Make gengenrtl emit mode checks aborting on VOIDmode
2005-04-20 23:14 [Bug middle-end/21134] New: Make gengenrtl emit mode checks aborting on avoid VOIDmode hp at gcc dot gnu dot org
` (3 preceding siblings ...)
2005-04-23 14:49 ` roger at eyesopen dot com
@ 2005-04-23 15:14 ` hp at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: hp at gcc dot gnu dot org @ 2005-04-23 15:14 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From hp at gcc dot gnu dot org 2005-04-23 15:14 -------
In response to comment #2:
Any and all SET_SRC/SET_DEST mode-exceptions must be considered to be added
to genpreds and genrecog as well, for possible omission of the automatically
added mode checks. The sweeping statement humorousely referred to, seems to
be a common delusion, shared with at least those programs. Things don't break
until there's a (match_operand:P "predicate" x) where x is one of those
exceptions (without genpreds/genrecog modified as per const_int).
That then causes the predicate to return false.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21134
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2005-04-23 15:14 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-04-20 23:14 [Bug middle-end/21134] New: Make gengenrtl emit mode checks aborting on avoid VOIDmode hp at gcc dot gnu dot org
2005-04-20 23:14 ` [Bug middle-end/21134] Make gengenrtl emit mode checks aborting on VOIDmode hp at gcc dot gnu dot org
2005-04-21 1:00 ` pinskia at gcc dot gnu dot org
2005-04-23 14:44 ` hp at gcc dot gnu dot org
2005-04-23 14:49 ` roger at eyesopen dot com
2005-04-23 15:14 ` hp at gcc dot gnu dot org
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).