SPIR-V 1.4 allows selects between composites with a scalar bool (even for vectors). Folding rules should reflect this.