8357554: Enable vectorization of Bool -> CMove with different type size (on riscv)

src/hotspot/cpu/aarch64/matcher_aarch64.hpp

@@ -204,4 +204,9 @@
   static bool is_feat_fp16_supported() {
     return (VM_Version::supports_fphp() && VM_Version::supports_asimdhp());
   }
+
+  static bool supports_vector_different_use_def_size() {
+    return false;
+  }
+
 #endif // CPU_AARCH64_MATCHER_AARCH64_HPP

src/hotspot/cpu/arm/matcher_arm.hpp

@@ -193,4 +193,8 @@
     return false;
   }
 
+  static bool supports_vector_different_use_def_size() {
+    return false;
+  }
+
 #endif // CPU_ARM_MATCHER_ARM_HPP

src/hotspot/cpu/ppc/matcher_ppc.hpp

@@ -203,4 +203,8 @@
     return false;
   }
 
+  static bool supports_vector_different_use_def_size() {
+    return false;
+  }
+
 #endif // CPU_PPC_MATCHER_PPC_HPP

src/hotspot/cpu/riscv/matcher_riscv.hpp

@@ -199,4 +199,8 @@
     return false;
   }
 
+  static bool supports_vector_different_use_def_size() {
+    return false;
+  }
+
 #endif // CPU_RISCV_MATCHER_RISCV_HPP

src/hotspot/cpu/s390/matcher_s390.hpp

@@ -196,4 +196,8 @@
     return false;
   }
 
+  static bool supports_vector_different_use_def_size() {
+    return false;
+  }
+
 #endif // CPU_S390_MATCHER_S390_HPP

src/hotspot/cpu/x86/matcher_x86.hpp

@@ -236,4 +236,8 @@
     }
   }
 
+  static bool supports_vector_different_use_def_size() {
+    return false;
+  }
+
 #endif // CPU_X86_MATCHER_X86_HPP

src/hotspot/share/opto/superword.cpp

@@ -2307,8 +2307,17 @@ bool SuperWord::is_velt_basic_type_compatible_use_def(Node* use, Node* def) cons
            type2aelembytes(use_bt) == 4;
   }
 
-  // Default case: input size of use equals output size of def.
-  return type2aelembytes(use_bt) == type2aelembytes(def_bt);
+  // Input size of use equals output size of def
+  if (type2aelembytes(use_bt) == type2aelembytes(def_bt)) {
+    return true;
+  }
+
+  // Allow CMove to have different type for comparision and moving.
+  if (VectorNode::is_different_use_def_size_supported() && use->is_CMove() && def->is_Bool()) {
+    return true;
+  }
+
+  return false;
 }
 
 // Return nullptr if success, else failure message

src/hotspot/share/opto/vectornode.cpp

@@ -406,6 +406,10 @@ bool VectorNode::is_populate_index_supported(BasicType bt) {
   return Matcher::match_rule_supported_vector(Op_PopulateIndex, vlen, bt);
 }
 
+bool VectorNode::is_different_use_def_size_supported() {
+  return Matcher::supports_vector_different_use_def_size();
+}
+
 bool VectorNode::is_shift_opcode(int opc) {
   switch (opc) {
   case Op_LShiftI:
@@ -2302,6 +2306,7 @@ Node* VectorBlendNode::Identity(PhaseGVN* phase) {
   }
   return this;
 }
+
 static bool is_replicate_uint_constant(const Node* n) {
   return n->Opcode() == Op_Replicate &&
          n->in(1)->is_Con() &&

src/hotspot/share/opto/vectornode.hpp

@@ -110,6 +110,9 @@ class VectorNode : public TypeNode {
   static bool is_vector_rotate_supported(int opc, uint vlen, BasicType bt);
   static bool is_vector_integral_negate_supported(int opc, uint vlen, BasicType bt, bool use_predicate);
   static bool is_populate_index_supported(BasicType bt);
+  // Return true if every bit in this vector is 1, e.g. based on the comparison
+  // result of 2 floats, set a double result.
+  static bool is_different_use_def_size_supported();
   // Return true if every bit in this vector is 1.
   static bool is_all_ones_vector(Node* n);
   // Return true if every bit in this vector is 0.