R, type, op_0, op_1),
> +build1 (NEGATE_EXPR, type,
> +build1 (NOP_EXPR, type,
> +build2 (LT_EXPR, boolean_type_node,
> + build2 (PLUS_EXPR, type, op_0, op_1),
> +
+build1 (NOP_EXPR, type,
> +build2 (LT_EXPR, boolean_type_node,
> + build2 (PLUS_EXPR, type, op_0, op_1),
> + op_0;
> +}
>
> Pan
>
> -
op_0;
+}
Pan
-Original Message-
From: Richard Biener
Sent: Tuesday, October 29, 2024 9:06 PM
To: Li, Pan2
Cc: gcc-patches@gcc.gnu.org; tamar.christ...@arm.com; juzhe.zh...@rivai.ai;
kito.ch...@gmail.com; jeffreya...@gmail.com; rdapp@gmail.com; Andrew Pinski
Subject: Re: [
On Tue, Oct 29, 2024 at 9:27 AM wrote:
>
> From: Pan Li
>
> There are sorts of forms for the unsigned SAT_ADD. Some of them are
> complicated while others are cheap. This patch would like to simplify
> the complicated form into the cheap ones. For example as below:
>
> From the form 4 (branch)
