------- Comment #5 from rguenth at gcc dot gnu dot org 2010-03-16 14:57 -------
The issue is that logical(kind=4) seems to have TYPE_PRECISION of 1 (just
guessing). But BIT_FIELD_REF <vect_var_.37_73, 32, 0> extracts 32bits from
the vector, failing to truncate the result to 1 bit precision, possibly
leading to wrong-code. What the middle-end expects here is
integer(kind=4) tmp = But BIT_FIELD_REF <vect_var_.37_73, 32, 0>;
res = (logical(kind=4))tmp;
But I suppose this might turn out to be expensive (thus we could also refuse
to build vector types from types whose precision does not match their mode
bitsize).
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu dot
| |org
Status|UNCONFIRMED |NEW
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2010-03-16 14:57:28
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43390
