Fix PR77673: bswap loads passed end of object
authorThomas Preud'homme <thomas.preudhomme@arm.com>
Fri, 25 Nov 2016 10:03:38 +0000 (10:03 +0000)
committerThomas Preud'homme <thopre01@gcc.gnu.org>
Fri, 25 Nov 2016 10:03:38 +0000 (10:03 +0000)
commit83624b6040aaf0039e65b3160fcbc1111def7260
tree8853865975f89e472ce29295e57c7d64f0c3f271
parent605040b41ae0e2a7a2361b563f082a9ee7d9696f
Fix PR77673: bswap loads passed end of object

2016-11-25  Thomas Preud'homme  <thomas.preudhomme@arm.com>

    gcc/
    PR tree-optimization/77673
    * tree-ssa-math-opts.c (struct symbolic_number): Add new src field.
    (init_symbolic_number): Initialize src field from src parameter.
    (perform_symbolic_merge): Select most dominated statement as the
    source statement.  Set src field of resulting n structure from the
    input src with the lowest address.
    (find_bswap_or_nop): Rename source_stmt into ins_stmt.
    (bswap_replace): Rename src_stmt into ins_stmt.  Initially get source
    of load from src field rather than insertion statement.  Cancel
    optimization if statement analyzed is not dominated by the insertion
    statement.
    (pass_optimize_bswap::execute): Rename src_stmt to ins_stmt.  Compute
    dominance information.

    gcc/testsuite/
    PR tree-optimization/77673
    * gcc.dg/pr77673.c: New test.

From-SVN: r242869
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/pr77673.c [new file with mode: 0644]
gcc/tree-ssa-math-opts.c