Improve multiplication by powers of 2 in range-ops.
authorAldy Hernandez <aldyh@redhat.com>
Fri, 4 Nov 2022 21:24:42 +0000 (22:24 +0100)
committerAldy Hernandez <aldyh@redhat.com>
Mon, 7 Nov 2022 19:59:21 +0000 (20:59 +0100)
commita239a63f868e29e9276088e7c0fb00804c2903ba
tree90e71e763b7c61617545033ba4522df8073f847b
parent03ed4e57e3d46a61513b3d1ab1720997aec8cf71
Improve multiplication by powers of 2 in range-ops.

For unsigned numbers, multiplication by X, where X is a power of 2 is
[0,0][X,+INF].

This patch causes a regression to g++.dg/pr71488.C where
-Wstringop-overflow gets the same IL as before, but better ranges
cause it to issue a bogus warning.  I will create a PR with some
notes.

No discernible changes in performance.

Tested on x86-64 Linux.

PR tree-optimization/55157

gcc/ChangeLog:

* range-op.cc (operator_mult::wi_fold): Optimize multiplications
by powers of 2.

gcc/testsuite/ChangeLog:

* gcc.dg/tree-ssa/pr55157.c: New test.
gcc/range-op.cc
gcc/testsuite/gcc.dg/tree-ssa/pr55157.c [new file with mode: 0644]