zve32x_zvl64b will have the same requirement as zve32x_zvl32b, I mean e16,mf4 could be allowed on zve32x_zvl64b, but it also spec conformance if implementation decides to raise an illegal instruction on e16,mf4, which means e16,mf4 is not safe to use on zve32x/zve32f.
OK I see, thanks. Sometimes I really wish the spec would be a bit more ambitious in its defaults ;) So I suppose we should change all TARGET_MIN_VLEN > 32 in vector-iterators.md as well then? -- Regards Robin