Re: [PATCH] match.pd: Avoid simplification into invalid BIT_FIELD_REFs [PR112673]

On Fri, 24 Nov 2023, Jakub Jelinek wrote: > Hi! > > The following testcase is lowered by the bitint lowering pass, then > vectorizer vectorizes one of the loops in it, so we have > vect__18.6_34 = VIEW_CONVERT_EXPR(x_35(D)); > _8 = BIT_FIELD_REF ; > ... > _18 = BIT_FIELD_REF ; > etc. where

[PATCH] match.pd: Avoid simplification into invalid BIT_FIELD_REFs [PR112673]

Hi! The following testcase is lowered by the bitint lowering pass, then vectorizer vectorizes one of the loops in it, so we have vect__18.6_34 = VIEW_CONVERT_EXPR(x_35(D)); _8 = BIT_FIELD_REF ; ... _18 = BIT_FIELD_REF ; etc. where x_35(D) is _BitInt(256) argument. That is valid BIT_FIELD_RE