diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-18 16:06:28 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-25 18:47:09 +0200 |
| commit | 081b35e3a3d2ea50132b68816816966eceb6377f (patch) | |
| tree | 71dfc77fc808f2cf84a5fee15182a36f82ade389 /validation/linear | |
| parent | 52579227fdc1978bb12be250ab063deaeccbde0f (diff) | |
| download | sparse-dev-081b35e3a3d2ea50132b68816816966eceb6377f.tar.gz | |
shift: simplify ASR(ZEXT(X, N), C)
After an OP_ZEXT, it is guaranteed that the sign bit is zero.
So, an arithmetic right-shift following an OP_ZEXT gives the
same result as an logical right-shift which is simpler to handle
and further optimize.
So, when preceded by an OP_ZEXT, replace OP_ASR by OP_LSR.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear')
0 files changed, 0 insertions, 0 deletions