aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-07-25 15:35:16 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-07-25 18:47:53 +0200
commit7bd897d350147a040d2f1e88b9042884697676b5 (patch)
treecf86647d9b826b7c488157557ecfefc6c14c4bfe /validation/linear
parentd95d9a999d06cc5c90b10807975b904584beb4ea (diff)
parent081b35e3a3d2ea50132b68816816966eceb6377f (diff)
downloadsparse-dev-7bd897d350147a040d2f1e88b9042884697676b5.tar.gz
Merge branch 'optim-shift' into tip
* give a correct & sensible warning on negative or over-sized shifts. * add conservative simplification of such shifts. * do not optimize the meaningless shift: * any shift with a negative count * OP_ASRs with an over-sized shift count. * try to give a correct negative/too-big error message during simplification. * simplify chains of shifts. * simplify ZEXT + ASR into ZEXT + LSR Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear')
0 files changed, 0 insertions, 0 deletions