diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2020-05-05 11:31:43 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2020-05-05 11:34:45 +0200 |
| commit | 6d938a5d770d0e94ecd923d20006b05126659235 (patch) | |
| tree | 3f679604b715d12a623eb19e7df56d4171024b2d /gcc/tree-ssa-loop-im.c | |
| parent | 59e4474a22cbf23b777f244d2a28d1ee4b54d3ce (diff) | |
| download | gcc-6d938a5d770d0e94ecd923d20006b05126659235.zip gcc-6d938a5d770d0e94ecd923d20006b05126659235.tar.gz gcc-6d938a5d770d0e94ecd923d20006b05126659235.tar.bz2 | |
match.pd: Optimize (((type)A * B) >> prec) != 0 into __imag__ .MUL_OVERFLOW [PR94914]
On x86 (the only target with umulv4_optab) one can use mull; seto to check
for overflow instead of performing wider multiplication and performing
comparison on the high bits.
2020-05-05 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/94914
* match.pd ((((type)A * B) >> prec) != 0 to .MUL_OVERFLOW(A, B) != 0):
New simplification.
* gcc.target/i386/pr94914.c: New test.
Diffstat (limited to 'gcc/tree-ssa-loop-im.c')
0 files changed, 0 insertions, 0 deletions