[PATCH 0/2] Match: support additional cases of unsigned scalar arithmetic

[Akram Ahmad]

Hi all,

This patch series adds support for 2 new cases of unsigned scalar saturating arithmetic
(one addition, one subtraction). This results in more valid patterns being recognised,
which results in a call to .SAT_ADD or .SAT_SUB where relevant.

Regression tests for aarch64-none-linux-gnu all pass with no failures.

Many thanks,

Akram

---

Akram Ahmad (2):
  Match: support new case of unsigned scalar SAT_SUB
  Match: make SAT_ADD case 7 commutative

 gcc/match.pd | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

-- 
2.34.1