diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-09-14 14:59:07 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-09-14 14:59:07 +0000 |
| commit | 0d4fd5b6680be0fd020c16d4c10f0554a43895f9 (patch) | |
| tree | 64e1fd906bd321a71cd6a47faebb321275d04d15 /llvm/lib/Support/Unix/Program.inc | |
| parent | 4d6d74e23602d3dc33a2e4818ccf4b3ddafbdd20 (diff) | |
| download | bcm5719-llvm-0d4fd5b6680be0fd020c16d4c10f0554a43895f9.tar.gz bcm5719-llvm-0d4fd5b6680be0fd020c16d4c10f0554a43895f9.zip | |
[InstSimplify] fold sdiv/srem based on compare of dividend and divisor
This should bring signed div/rem analysis up to the same level as unsigned.
We use icmp simplification to determine when the divisor is known greater than the dividend.
Each positive test is followed by a negative test to show that we're not overstepping the boundaries of the known bits.
There are extra tests for the signed-min-value special cases.
Alive proofs:
http://rise4fun.com/Alive/WI5
Differential Revision: https://reviews.llvm.org/D37713
llvm-svn: 313264
Diffstat (limited to 'llvm/lib/Support/Unix/Program.inc')
0 files changed, 0 insertions, 0 deletions
