From: jsm28 Date: Thu, 11 Jan 2007 23:14:51 +0000 (+0000) Subject: * c-common.c (vector_types_convertible_p): Treat opaque types as X-Git-Tag: upstream/4.9.2~51125 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=ae6db8aba8c366e90787528d722cccdd81b67b0b;p=platform%2Fupstream%2Flinaro-gcc.git * c-common.c (vector_types_convertible_p): Treat opaque types as always convertible if they have the same size, but not otherwise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@120688 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ba94be3..1e737e7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2007-01-11 Joseph Myers + + * c-common.c (vector_types_convertible_p): Treat opaque types as + always convertible if they have the same size, but not otherwise. + 2007-01-11 Steven Bosscher * ifcvt.c (struct noce_if_info): Add comments to the fields. diff --git a/gcc/c-common.c b/gcc/c-common.c index c1661b2..217228d 100644 --- a/gcc/c-common.c +++ b/gcc/c-common.c @@ -1091,14 +1091,18 @@ bool vector_types_convertible_p (tree t1, tree t2, bool emit_lax_note) { static bool emitted_lax_note = false; - bool convertible_lax = - targetm.vector_opaque_p (t1) - || targetm.vector_opaque_p (t2) - || (tree_int_cst_equal (TYPE_SIZE (t1), TYPE_SIZE (t2)) - && (TREE_CODE (TREE_TYPE (t1)) != REAL_TYPE || - TYPE_PRECISION (t1) == TYPE_PRECISION (t2)) - && INTEGRAL_TYPE_P (TREE_TYPE (t1)) - == INTEGRAL_TYPE_P (TREE_TYPE (t2))); + bool convertible_lax; + + if ((targetm.vector_opaque_p (t1) || targetm.vector_opaque_p (t2)) + && tree_int_cst_equal (TYPE_SIZE (t1), TYPE_SIZE (t2))) + return true; + + convertible_lax = + (tree_int_cst_equal (TYPE_SIZE (t1), TYPE_SIZE (t2)) + && (TREE_CODE (TREE_TYPE (t1)) != REAL_TYPE || + TYPE_PRECISION (t1) == TYPE_PRECISION (t2)) + && (INTEGRAL_TYPE_P (TREE_TYPE (t1)) + == INTEGRAL_TYPE_P (TREE_TYPE (t2)))); if (!convertible_lax || flag_lax_vector_conversions) return convertible_lax;