diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2010-08-25 11:36:35 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2010-08-25 11:36:35 +0200 |
| commit | ca046f7f4eafcfbcdb11a714ff93c8340f6ee0f7 (patch) | |
| tree | 7dc15e1ccdd513b47f3fd2d18beb61f0a3bf957d | |
| parent | 46b57af175e889126f65a6ca667c2c4606f93f84 (diff) | |
| download | gcc-ca046f7f4eafcfbcdb11a714ff93c8340f6ee0f7.zip gcc-ca046f7f4eafcfbcdb11a714ff93c8340f6ee0f7.tar.gz gcc-ca046f7f4eafcfbcdb11a714ff93c8340f6ee0f7.tar.bz2 | |
re PR tree-optimization/45059 (error: invalid operands in binary operation, leads to ICE: verify_stmts failed)
PR tree-optimization/45059
* tree-ssa-reassoc.c (eliminate_redundant_comparison): Strip useless
type conversions from newop{1,2}. Assert t is a comparison and
newop{1,2} after the stripping are gimple vals.
* gcc.c-torture/compile/pr45059.c: New test.
From-SVN: r163539
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr45059.c | 23 | ||||
| -rw-r--r-- | gcc/tree-ssa-reassoc.c | 5 |
4 files changed, 40 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 29c5aec..28a831a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2010-08-25 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/45059 + * tree-ssa-reassoc.c (eliminate_redundant_comparison): Strip useless + type conversions from newop{1,2}. Assert t is a comparison and + newop{1,2} after the stripping are gimple vals. + 2010-08-25 Tejas Belagod <tejas.belagod@arm.com> * config/arm/iterators.md (VU, SE, V_widen_l): New. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 7a92568..db3ae97 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-08-25 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/45059 + * gcc.c-torture/compile/pr45059.c: New test. + 2010-08-25 Tejas Belagod <tejas.belagod@arm.com> * lib/target-supports.exp (check_effective_target_vect_unpack): diff --git a/gcc/testsuite/gcc.c-torture/compile/pr45059.c b/gcc/testsuite/gcc.c-torture/compile/pr45059.c new file mode 100644 index 0000000..3f13cdb --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr45059.c @@ -0,0 +1,23 @@ +/* PR tree-optimization/45059 */ + +typedef unsigned int T; +extern void foo (signed char *, int); + +static signed char a; +static T b[1] = { -1 }; +static unsigned char c; + +static inline short int +bar (short v) +{ + c |= a < b[0]; + return 0; +} + +int +main () +{ + signed char *e = &a; + foo (e, bar (bar (c))); + return 0; +} diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c index fd0a6d8..f2264b6 100644 --- a/gcc/tree-ssa-reassoc.c +++ b/gcc/tree-ssa-reassoc.c @@ -1314,9 +1314,14 @@ eliminate_redundant_comparison (enum tree_code opcode, enum tree_code subcode; tree newop1; tree newop2; + gcc_assert (COMPARISON_CLASS_P (t)); tmpvar = create_tmp_var (TREE_TYPE (t), NULL); add_referenced_var (tmpvar); extract_ops_from_tree (t, &subcode, &newop1, &newop2); + STRIP_USELESS_TYPE_CONVERSION (newop1); + STRIP_USELESS_TYPE_CONVERSION (newop2); + gcc_checking_assert (is_gimple_val (newop1) + && is_gimple_val (newop2)); sum = build_and_add_sum (tmpvar, newop1, newop2, subcode); curr->op = gimple_get_lhs (sum); } |