On Fri, 31 Jul 2020, Richard Biener wrote:
+/* (v ? w : 0) ? a : b is just (v & w) ? a : b */
+(simplify
+ (vec_cond (vec_cond:s @0 @3 integer_zerop) @1 @2)
+ (vec_cond (bit_and @0 @3) @1 @2))
Does something check automatically that @0 and @3 have compatible types?
@0 should always have a vector boolean type and thus will not be generally
compatible with @3. But OTOH then when you see (vec_cond (vec_cond ...
then @3 must be vector boolean as well...
But in theory with AVX512 the inner vec_cond could have a SImode
condition @0 producing a regular V4SImode vector mask for an outer
AVX512 SSE-style vec-cond and you then would get a mismatch.
Ah, I thought the SSE-style vec_cond was impossible in AVX512 mode, at
least I couldn't generate one in a few tests, but I didn't try very hard.
So indeed better add a type compatibility check.
Ok, it can't hurt.
--
Marc Glisse
