OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR tree-optimization/52891 (ICE in adjust_bool_pattern) 

PR tree-optimizations/52891
	* tree-vect-patterns.c (adjust_bool_pattern): Use
	build_nonstandard_type even if rhs1 has unsigned INTEGER_TYPE,
	but with non-standard precision.

	* gcc.c-torture/compile/pr52891-1.c: New test.	
	* gcc.c-torture/compile/pr52891-2.c: New test.

From-SVN: r186694
This commit is contained in:
Jakub Jelinek 2012-04-23 12:13:39 +02:00 committed by Jakub Jelinek
parent 837a549ba8
commit e6a21dd2b9
5 changed files with 48 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2012-04-23 Jakub Jelinek <jakub@redhat.com>
PR tree-optimizations/52891
* tree-vect-patterns.c (adjust_bool_pattern): Use
build_nonstandard_type even if rhs1 has unsigned INTEGER_TYPE,
but with non-standard precision.
2012-04-22 Jan Hubicka <jh@suse.cz>
* tree-ssa-loop-ivopts.c (expr_invariant_in_loop_p): Bail out at NULL tree refs.

6
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,9 @@
2012-04-23 Jakub Jelinek <jakub@redhat.com>
PR tree-optimizations/52891
* gcc.c-torture/compile/pr52891-1.c: New test.
* gcc.c-torture/compile/pr52891-2.c: New test.
2012-04-22 Tobias Burnus <burnus@net-b.de>
PR fortran/53051

20
gcc/testsuite/gcc.c-torture/compile/pr52891-1.c Normal file
View File

@ -0,0 +1,20 @@
/* PR tree-optimizations/52891 */
struct S
{
int a;
struct T { unsigned c : 10; } b;
} s;
void
bar (short x, short y, int **p)
{
if ((x && y) + **p)
while (1);
}
void
foo (int **p)
{
bar (s.a, s.b.c, p);
}

12
gcc/testsuite/gcc.c-torture/compile/pr52891-2.c Normal file
View File

@ -0,0 +1,12 @@
/* PR tree-optimizations/52891 */
struct __attribute__((packed)) S { unsigned s : 22; };
struct __attribute__((packed)) T { struct S t; } c;
int a, b, d;
void
foo (void)
{
if (1 ? (!c.t.s & (d < 0)) < a : 0)
b = 0;
}

4
gcc/tree-vect-patterns.c
View File

@ -2300,7 +2300,9 @@ adjust_bool_pattern (tree var, tree out_type, tree trueval,
default:
gcc_assert (TREE_CODE_CLASS (rhs_code) == tcc_comparison);
if (TREE_CODE (TREE_TYPE (rhs1)) != INTEGER_TYPE
|| !TYPE_UNSIGNED (TREE_TYPE (rhs1)))
|| !TYPE_UNSIGNED (TREE_TYPE (rhs1))
|| (TYPE_PRECISION (TREE_TYPE (rhs1))
!= GET_MODE_BITSIZE (TYPE_MODE (TREE_TYPE (rhs1)))))
{
enum machine_mode mode = TYPE_MODE (TREE_TYPE (rhs1));
itype