diff options
| author | Ilya Leoshkevich <iii@linux.ibm.com> | 2018-11-20 09:32:49 +0000 |
|---|---|---|
| committer | Ilya Leoshkevich <iii@gcc.gnu.org> | 2018-11-20 09:32:49 +0000 |
| commit | 34a249bc2e3d60683e0e7fe3c68c85ca287f536f (patch) | |
| tree | 03c869fa8394d034c1e26ec4df9aece147b86565 /gcc/rtlanal.c | |
| parent | dc3221e1e3d3a39d88d2d35103f6f50e3400d7a8 (diff) | |
| download | gcc-34a249bc2e3d60683e0e7fe3c68c85ca287f536f.zip gcc-34a249bc2e3d60683e0e7fe3c68c85ca287f536f.tar.gz gcc-34a249bc2e3d60683e0e7fe3c68c85ca287f536f.tar.bz2 | |
S/390: Skip LT(G) peephole when literal pool is involved
By the time peephole optimizations run, we've already made up our mind
whether to use base-register or relative addressing for literal pool
entries. LT(G) supports only base-register addressing, and so it is
too late to convert L(G)RL + compare to LT(G). This change should not
make the code worse unless building with e.g. -fno-dce, since comparing
literal pool entries to zero should be optimized away during earlier
passes.
gcc/ChangeLog:
2018-11-20 Ilya Leoshkevich <iii@linux.ibm.com>
PR target/88083
* config/s390/s390.md: Skip LT(G) peephole when literal pool is
involved.
* rtl.h (contains_constant_pool_address_p): New function.
* rtlanal.c (contains_constant_pool_address_p): Likewise.
gcc/testsuite/ChangeLog:
2018-11-20 Ilya Leoshkevich <iii@linux.ibm.com>
PR target/88083
* gcc.target/s390/pr88083.c: New test.
From-SVN: r266306
Diffstat (limited to 'gcc/rtlanal.c')
| -rw-r--r-- | gcc/rtlanal.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c index 9220cbf..11e9664 100644 --- a/gcc/rtlanal.c +++ b/gcc/rtlanal.c @@ -6551,6 +6551,20 @@ contains_symbolic_reference_p (const_rtx x) return false; } +/* Return true if RTL X contains a constant pool address. */ + +bool +contains_constant_pool_address_p (const_rtx x) +{ + subrtx_iterator::array_type array; + FOR_EACH_SUBRTX (iter, array, x, ALL) + if (SYMBOL_REF_P (*iter) && CONSTANT_POOL_ADDRESS_P (*iter)) + return true; + + return false; +} + + /* Return true if X contains a thread-local symbol. */ bool |