This series is the second round of AND/OR & bitfields simplification,
handling a shift following a mask operation.
The series is available for review & testing in the GIT repository at:
git://github.com/lucvoo/sparse-dev.git optim-shift-and
----------------------------------------------------------------
Luc Van Oostenryck (6):
add testcases for {LSR,SHL}(AND(x, M), S) with shared AND(x, M)
use an intermediate mask in simplify_shift()
simplify ((x & M) >> S) when (M >> S) == 0
simplify ((x & M) >> S) when (M >> S) == (-1 >> S)
simplify ((x & M) << S) when (M << S) == 0
simplify ((x & M) << S) when (M << S) == (-1 << S)
simplify.c | 25 ++++++++++++++++++++++---
validation/optim/lsr-and0.c | 13 +++++++++++++
validation/optim/lsr-and1.c | 17 +++++++++++++++++
validation/optim/shl-and0.c | 13 +++++++++++++
validation/optim/shl-and1.c | 17 +++++++++++++++++
5 files changed, 82 insertions(+), 3 deletions(-)
create mode 100644 validation/optim/lsr-and0.c
create mode 100644 validation/optim/lsr-and1.c
create mode 100644 validation/optim/shl-and0.c
create mode 100644 validation/optim/shl-and1.c
