diff options
| author | Sebastian Pop <sebastian.pop@amd.com> | 2010-12-02 20:13:11 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2010-12-02 20:13:11 +0000 |
| commit | 6a02a719ac1f89f1e10bdca8b06a5bdbc2f39848 (patch) | |
| tree | dbcf34d5077c3b073edbea93727ac6372f8b00a7 | |
| parent | 35caf1bdabb995220afd8af62306004bc38636fb (diff) | |
| download | gcc-6a02a719ac1f89f1e10bdca8b06a5bdbc2f39848.zip gcc-6a02a719ac1f89f1e10bdca8b06a5bdbc2f39848.tar.gz gcc-6a02a719ac1f89f1e10bdca8b06a5bdbc2f39848.tar.bz2 | |
Fix PR45297: handle ADDR_EXPR in interpret_rhs_expr as in follow_ssa_edge_expr.
2010-12-01 Sebastian Pop <sebastian.pop@amd.com>
PR middle-end/45297
* tree-scalar-evolution.c (interpret_rhs_expr): Handle ADDR_EXPR
with MEM_REFs as POINTER_PLUS_EXPR.
From-SVN: r167390
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-scalar-evolution.c | 14 |
2 files changed, 18 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5dd3477..ec354d6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2010-12-02 Sebastian Pop <sebastian.pop@amd.com> + + PR middle-end/45297 + * tree-scalar-evolution.c (interpret_rhs_expr): Handle ADDR_EXPR + with MEM_REFs as POINTER_PLUS_EXPR. + 2010-12-02 Joseph Myers <joseph@codesourcery.com> * config/i386/linux.h, config/m32r/linux.h, config/m68k/linux.h, diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c index 8a5797e..4a4bda9 100644 --- a/gcc/tree-scalar-evolution.c +++ b/gcc/tree-scalar-evolution.c @@ -1715,12 +1715,22 @@ interpret_rhs_expr (struct loop *loop, gimple at_stmt, return chrec_convert (type, analyze_scalar_evolution (loop, rhs1), at_stmt); } - - return chrec_dont_know; } switch (code) { + case ADDR_EXPR: + /* Handle &MEM[ptr + CST] which is equivalent to POINTER_PLUS_EXPR. */ + if (TREE_CODE (TREE_OPERAND (rhs1, 0)) != MEM_REF) + { + res = chrec_dont_know; + break; + } + + rhs2 = TREE_OPERAND (TREE_OPERAND (rhs1, 0), 1); + rhs1 = TREE_OPERAND (TREE_OPERAND (rhs1, 0), 0); + /* Fall through. */ + case POINTER_PLUS_EXPR: chrec1 = analyze_scalar_evolution (loop, rhs1); chrec2 = analyze_scalar_evolution (loop, rhs2); |