On Thu, Feb 10, 2022 at 7:59 AM liuhongt wrote:
>
> >But in principle @2 or @3 could safely differ in sign, you'd then need to
> >ensure
> >to insert sign conversions to @2/@3 to the signedness of @4/@5.
> Changed.
> >you are not testing for this anywhere?
> It's tested in vect_recog_cond_expr_co
On Mon, Jan 24, 2022 at 2:01 PM liuhongt via Gcc-patches
wrote:
>
> The pattern converts (cond (cmp a b) (convert c) (convert d))
> to (convert (cond (cmp a b) c d)) when
> 1) types_match (c, d)
> 2) single_use for (convert c) and (convert d)
> 3) TYPE_PRECISION (TREE_TYPE (c)) == TYPE_PRECISION (
