This is a preparatory step for some incoming series. Changes since v1: * take in account Ramsay's remarks: * add some short explanation of the expected simplification * add a few tests of the absence of %arg[12] * s/shl_or_constant1/shl_or_constant2/ in shl_or_constant2.c * move patch fixng existing testcases first. Luc Van Oostenryck (3): optim: fix some testcases related to bitfield manipulation add more testcases for existing AND/OR simplifications add more testcases for AND/OR simplification validation/optim/and-lsr-or-shl0.c | 13 +++++++++++++ validation/optim/and-lsr-or-shl1.c | 13 +++++++++++++ validation/optim/and-shl-or-and0.c | 15 +++++++++++++++ validation/optim/and-shl-or-lsr0.c | 13 +++++++++++++ validation/optim/lsr-or-and0.c | 22 ++++++++++++++++++++++ validation/optim/lsr-or-lsr0.c | 22 ++++++++++++++++++++++ validation/optim/sext.c | 7 +++---- validation/optim/shl-or-constant0.c | 12 ++++++++++++ validation/optim/shl-or-constant1.c | 12 ++++++++++++ validation/optim/shl-or-constant2.c | 12 ++++++++++++ validation/optim/trunc-or-shl.c | 7 ++++++- validation/optim/trunc-or-shl0.c | 22 ++++++++++++++++++++++ 12 files changed, 165 insertions(+), 5 deletions(-) create mode 100644 validation/optim/and-lsr-or-shl0.c create mode 100644 validation/optim/and-lsr-or-shl1.c create mode 100644 validation/optim/and-shl-or-and0.c create mode 100644 validation/optim/and-shl-or-lsr0.c create mode 100644 validation/optim/lsr-or-and0.c create mode 100644 validation/optim/lsr-or-lsr0.c create mode 100644 validation/optim/shl-or-constant0.c create mode 100644 validation/optim/shl-or-constant1.c create mode 100644 validation/optim/shl-or-constant2.c create mode 100644 validation/optim/trunc-or-shl0.c -- 2.28.0
