public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
* rs6000, SPU: vcond pattern can not FAIL
@ 2009-08-13 21:52 Uros Bizjak
  0 siblings, 0 replies; only message in thread
From: Uros Bizjak @ 2009-08-13 21:52 UTC (permalink / raw)
  To: GCC, David Edelsohn, Andrew Pinski

Hello!

I would like to warn rs6000 and SPU maintainers, that vcond patterns can 
_not_ FAIL. Please see PR41019 [1] for the proposed fix for x86. The 
same problem can be triggered on rs6000 and SPU, it can happen that the 
vcond pattern is only partially expanded.

The problem is, that middle end checks only for the existence of the 
pattern, not if it can FAIL.

BTW: The documentation says:

--cut here--

`FAIL'
      Make the pattern fail on this occasion.  When a pattern fails, it
      means that the pattern was not truly available.  The calling
      routines in the compiler will try other strategies for code
      generation using other patterns.

      Failure is currently supported only for binary (addition,
      multiplication, shifting, etc.) and bit-field (`extv', `extzv',
      and `insv') operations.

...
--cut here--

[1] http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41019

Uros.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2009-08-13 16:05 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-08-13 21:52 rs6000, SPU: vcond pattern can not FAIL Uros Bizjak

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).