Re: [PATCH] Treat boolean vector elements as 0/-1 [PR115406]

2024-07-19 Thread Richard Biener
> Am 19.07.2024 um 19:44 schrieb Richard Sandiford : > > Previously we built vector boolean constants using 1 for true > elements and 0 for false elements. This matches the predicates > produced by SVE's PTRUE instruction, but leads to a miscompilation > on AVX512, where all bits of a boolean

[PATCH] Treat boolean vector elements as 0/-1 [PR115406]

2024-07-19 Thread Richard Sandiford
Previously we built vector boolean constants using 1 for true elements and 0 for false elements. This matches the predicates produced by SVE's PTRUE instruction, but leads to a miscompilation on AVX512, where all bits of a boolean element should be set. One option for RTL would be to make this ta