From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7924) id 5B9C93858D35; Mon, 22 Apr 2024 12:45:12 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 5B9C93858D35 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1713789912; bh=uyQbGiZtvDmkVw6UsRbnXJXlHeWK4twjynsnKCHW0NA=; h=From:To:Subject:Date:From; b=kpvIKpbZWe4wRD5dzdBBrCYGgYP3n8faSXBTct2gSoQao7uG/7xkqPK1oGlcEryUw VANzEaPcLwTFPSN0zVUPJUr/tvfDnUPK63cqOYhrdLPL8hhaCw13fUGGcB47jei7B1 B11UvPueNXHf7Vs8RtceRV+L7OoWSgcvhHxZ8V+U= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pan Li To: gcc-cvs@gcc.gnu.org Subject: [gcc r14-10073] Revert "RISC-V: Robostify the W43, W86, W87 constraint enabled attribute" X-Act-Checkin: gcc X-Git-Author: Pan Li X-Git-Refname: refs/heads/master X-Git-Oldrev: 6b5248d15c6d10325c6cbb92a0e0a9eb04e3f122 X-Git-Newrev: b78c88438cf3672987736edc013ffc0b20e879f7 Message-Id: <20240422124512.5B9C93858D35@sourceware.org> Date: Mon, 22 Apr 2024 12:45:12 +0000 (GMT) List-Id: https://gcc.gnu.org/g:b78c88438cf3672987736edc013ffc0b20e879f7 commit r14-10073-gb78c88438cf3672987736edc013ffc0b20e879f7 Author: Pan Li 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")))