[PATCH 0/5] missing simplification of ((x >> S) << S)

[Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>]

The simplification of ((x << S) >> S) was added earlier
but not for its dual: ((x >> S) << S).
This is now done in this series.

Luc Van Oostenryck (5):
  rename testcase for ((x << S) >> S) simplification
  add testcase for ((x >> S) << S) simplification
  simpler guard in LSR-SHL simplification
  reorganize shift-shift simplification
  simplify ((x >> S) << S)

 simplify.c                                 | 25 ++++++++++++++--------
 validation/optim/{shl-lsr.c => lsr-shl0.c} |  2 +-
 validation/optim/shl-lsr0.c                | 14 ++++++++++++
 3 files changed, 31 insertions(+), 10 deletions(-)
 rename validation/optim/{shl-lsr.c => lsr-shl0.c} (91%)
 create mode 100644 validation/optim/shl-lsr0.c

-- 
2.18.0