PR tree-optimization/43390
* tree-vect-stmts.c (get_vectype_for_scalar_type): Make
sure vector extracts are type correct.
* gfortran.fortran-torture/execute/pr43390.f90: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@157624
138bc75d-0d04-0410-961f-
82ee72b054a4
2010-03-22 Richard Guenther <rguenther@suse.de>
+ PR tree-optimization/43390
+ * tree-vect-stmts.c (get_vectype_for_scalar_type): Make
+ sure vector extracts are type correct.
+
+2010-03-22 Richard Guenther <rguenther@suse.de>
+
PR middle-end/40106
* builtins.c (expand_builtin_pow): Expand pow (x, 1.5) as
x * sqrt (x) even when optimizing for size if the target
+2010-03-22 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/43390
+ * gfortran.fortran-torture/execute/pr43390.f90: New testcase.
+
2010-03-21 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
* gcc.target/powerpc/ppc-sdata-1.c: Require nonpic.
--- /dev/null
+ logical :: l1(4)
+ logical :: l2(4)
+ l1 = (/.TRUE.,.FALSE.,.TRUE.,.FALSE./)
+ l2 = (/.FALSE.,.TRUE.,.FALSE.,.TRUE./)
+ if (dot_product (l1, l2)) call abort ()
+ l2 = .TRUE.
+ if (.not.dot_product (l1, l2)) call abort ()
+end
+
if (nbytes < TYPE_ALIGN_UNIT (scalar_type))
return NULL_TREE;
+ /* If we'd build a vector type of elements whose mode precision doesn't
+ match their types precision we'll get mismatched types on vector
+ extracts via BIT_FIELD_REFs. This effectively means we disable
+ vectorization of bool and/or enum types in some languages. */
+ if (INTEGRAL_TYPE_P (scalar_type)
+ && GET_MODE_BITSIZE (inner_mode) != TYPE_PRECISION (scalar_type))
+ return NULL_TREE;
+
/* FORNOW: Only a single vector size per mode (UNITS_PER_SIMD_WORD)
is expected. */
nunits = UNITS_PER_SIMD_WORD (inner_mode) / nbytes;