diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-04-23 12:13:39 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-04-23 12:13:39 +0200 |
| commit | e6a21dd2b9cb1a84d932a7098d98737869091171 (patch) | |
| tree | 68a0e0fcb34657768d4a084b8266e7fa1a5024cf | |
| parent | 837a549ba82a0e15b1b4314e9de83d274350e1d4 (diff) | |
| download | gcc-e6a21dd2b9cb1a84d932a7098d98737869091171.zip gcc-e6a21dd2b9cb1a84d932a7098d98737869091171.tar.gz gcc-e6a21dd2b9cb1a84d932a7098d98737869091171.tar.bz2 | |
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
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr52891-1.c | 20 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr52891-2.c | 12 | ||||
| -rw-r--r-- | gcc/tree-vect-patterns.c | 4 |
5 files changed, 48 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7495113..b204f82 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -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. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d2877e7..f1b50fa 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr52891-1.c b/gcc/testsuite/gcc.c-torture/compile/pr52891-1.c new file mode 100644 index 0000000..e695d1c --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr52891-1.c @@ -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); +} diff --git a/gcc/testsuite/gcc.c-torture/compile/pr52891-2.c b/gcc/testsuite/gcc.c-torture/compile/pr52891-2.c new file mode 100644 index 0000000..d9fcbd6 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr52891-2.c @@ -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; +} diff --git a/gcc/tree-vect-patterns.c b/gcc/tree-vect-patterns.c index 6372a36..79357f5 100644 --- a/gcc/tree-vect-patterns.c +++ b/gcc/tree-vect-patterns.c @@ -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 |