On 24/10/2024 16:06, Richard Biener wrote:
Can you check whether removing the :c from the (plus in
usadd_left_part_1 keeps things
working?
Hi Richard,
Thanks for the feedback. I've written some tests and can confirm that they
pass as expected with these two changes being made (removal of :c in
On Mon, Oct 21, 2024 at 4:23 PM Akram Ahmad wrote:
>
> Case 7 of unsigned scalar saturating addition defines
> SAT_ADD = X <= (X + Y) ? (X + Y) : -1. This is the same as
> SAT_ADD = Y <= (X + Y) ? (X + Y) : -1 due to usadd_left_part_1
> being commutative.
>
> The pattern for case 7 currently does
Case 7 of unsigned scalar saturating addition defines
SAT_ADD = X <= (X + Y) ? (X + Y) : -1. This is the same as
SAT_ADD = Y <= (X + Y) ? (X + Y) : -1 due to usadd_left_part_1
being commutative.
The pattern for case 7 currently does not accept the alternative
where Y is used in the condition. Ther
