[gcc r14-10073] Revert "RISC-V: Robostify the W43, W86, W87 constraint enabled attribute"

[gcc r14-10073] Revert "RISC-V: Robostify the W43, W86, W87 constraint enabled attribute"

[Pan Li]

https://gcc.gnu.org/g:b78c88438cf3672987736edc013ffc0b20e879f7

commit r14-10073-gb78c88438cf3672987736edc013ffc0b20e879f7
Author: Pan Li <pan2.li@intel.com>
Date:   Mon Apr 22 20:44:38 2024 +0800

    Revert "RISC-V: Robostify the W43, W86, W87 constraint enabled attribute"
    
    This reverts commit d3544cea63d0a642b6357a7be55986f5562beaa0.

Diff:
---
 gcc/config/riscv/riscv.md | 19 ++-----------------
 1 file changed, 2 insertions(+), 17 deletions(-)

diff --git a/gcc/config/riscv/riscv.md b/gcc/config/riscv/riscv.md
index f0928398698..3628e2215da 100644
--- a/gcc/config/riscv/riscv.md
+++ b/gcc/config/riscv/riscv.md
@@ -552,28 +552,13 @@
 	      (match_test "riscv_get_v_regno_alignment (GET_MODE (operands[0])) != 2"))
 	 (const_string "no")
 
-         (and (eq_attr "group_overlap" "W42")
+         (and (eq_attr "group_overlap" "W42,W43")
 	      (match_test "riscv_get_v_regno_alignment (GET_MODE (operands[0])) != 4"))
 	 (const_string "no")
 
-         (and (eq_attr "group_overlap" "W84")
+         (and (eq_attr "group_overlap" "W84,W86,W87")
 	      (match_test "riscv_get_v_regno_alignment (GET_MODE (operands[0])) != 8"))
 	 (const_string "no")
-
-         ;; According to RVV ISA:
-         ;; The destination EEW is greater than the source EEW, the source EMUL is at least 1,
-	 ;; and the overlap is in the highest-numbered part of the destination register group
-	 ;; (e.g., when LMUL=8, vzext.vf4 v0, v6 is legal, but a source of v0, v2, or v4 is not).
-	 ;; So the source operand should have LMUL >= 1.
-         (and (eq_attr "group_overlap" "W43")
-	      (match_test "riscv_get_v_regno_alignment (GET_MODE (operands[0])) != 4
-			   && riscv_get_v_regno_alignment (GET_MODE (operands[3])) >= 1"))
-	 (const_string "no")
-
-         (and (eq_attr "group_overlap" "W86,W87")
-	      (match_test "riscv_get_v_regno_alignment (GET_MODE (operands[0])) != 8
-			   && riscv_get_v_regno_alignment (GET_MODE (operands[3])) >= 1"))
-	 (const_string "no")
         ]
        (const_string "yes")))