[llvm] 3fbb815 - [RISCV] Check that VLMAX is the same when demanding exact VL (#89080)

[via llvm-commits]

Author: Luke Lau
Date: 2024-04-18T11:04:06+08:00
New Revision: 3fbb815c8c82c87f9a6e59e053ab60bad08589f6

URL: https://github.com/llvm/llvm-project/commit/3fbb815c8c82c87f9a6e59e053ab60bad08589f6
DIFF: https://github.com/llvm/llvm-project/commit/3fbb815c8c82c87f9a6e59e053ab60bad08589f6.diff

LOG: [RISCV] Check that VLMAX is the same when demanding exact VL (#89080)

Added: 
    

Modified: 
    llvm/lib/Target/RISCV/RISCVInsertVSETVLI.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Target/RISCV/RISCVInsertVSETVLI.cpp b/llvm/lib/Target/RISCV/RISCVInsertVSETVLI.cpp
index fa37d1ccccd737..331253e39c0acb 100644
--- a/llvm/lib/Target/RISCV/RISCVInsertVSETVLI.cpp
+++ b/llvm/lib/Target/RISCV/RISCVInsertVSETVLI.cpp
@@ -616,7 +616,7 @@ class VSETVLIInfo {
     if (SEWLMULRatioOnly)
       return false;
 
-    if (Used.VLAny && !hasSameAVL(Require))
+    if (Used.VLAny && !(hasSameAVL(Require) && hasSameVLMAX(Require)))
       return false;
 
     if (Used.VLZeroness && !hasEquallyZeroAVL(Require, MRI))