From 97e9692bfbd5d43f26bc7938336affe1f5fddaaa Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 11 Feb 2005 22:08:44 +0100 Subject: re PR middle-end/19858 (ICE on simple SSE code) PR middle-end/19858 * fold-const.c (make_bit_field_ref): If bitpos == 0 and bitsize is number of inner's bits, avoid creating a BIT_FIELD_REF. * gcc.c-torture/compile/20050210-1.c: New test. From-SVN: r94892 --- gcc/ChangeLog | 4 ++++ gcc/fold-const.c | 16 ++++++++++++++-- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.c-torture/compile/20050210-1.c | 8 ++++++++ 4 files changed, 31 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.c-torture/compile/20050210-1.c (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b88ef126..a853517 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2005-02-11 Jakub Jelinek + PR middle-end/19858 + * fold-const.c (make_bit_field_ref): If bitpos == 0 and bitsize + is number of inner's bits, avoid creating a BIT_FIELD_REF. + * config/rs6000/sysv4.h (ENDFILE_LINUX_SPEC): Use crtendS.o instead of crtend.o if -pie. Use %{x:a;:b} spec syntax. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index de54258..0d73273 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -3076,8 +3076,20 @@ static tree make_bit_field_ref (tree inner, tree type, int bitsize, int bitpos, int unsignedp) { - tree result = build3 (BIT_FIELD_REF, type, inner, - size_int (bitsize), bitsize_int (bitpos)); + tree result; + + if (bitpos == 0) + { + tree size = TYPE_SIZE (TREE_TYPE (inner)); + if ((INTEGRAL_TYPE_P (TREE_TYPE (inner)) + || POINTER_TYPE_P (TREE_TYPE (inner))) + && host_integerp (size, 0) + && tree_low_cst (size, 0) == bitsize) + return fold_convert (type, inner); + } + + result = build3 (BIT_FIELD_REF, type, inner, + size_int (bitsize), bitsize_int (bitpos)); BIT_FIELD_REF_UNSIGNED (result) = unsignedp; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1064f44..97a1b12 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-02-11 Jakub Jelinek + + PR middle-end/19858 + * gcc.c-torture/compile/20050210-1.c: New test. + 2005-02-11 Mark Mitchell PR c++/19755 diff --git a/gcc/testsuite/gcc.c-torture/compile/20050210-1.c b/gcc/testsuite/gcc.c-torture/compile/20050210-1.c new file mode 100644 index 0000000..c9e3326 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20050210-1.c @@ -0,0 +1,8 @@ +/* PR middle-end/19858 */ + +typedef __SIZE_TYPE__ size_t; +union U { int c; } foo; +int bar (void) +{ + return !(((size_t) &foo & 3) == 0 && !((size_t) &foo & 1)); +} -- cgit v1.1