llvm-project

cfe9def9 - [RISCV][Verifier] Check operands and result type of RISC-V vsetvli/vsetvlimax (#218594)

[RISCV][Verifier] Check operands and result type of RISC-V vsetvli/vsetvlimax (#218594) The result of `llvm.riscv.vsetvli/vsetvlimax` models VLMAX (or a VL bounded by it) and is only defined for XLen, so the result type must be i32 or i64. Narrower types cannot represent the architectural VLMAX range of [1, 65536] that value analyses rely on. Also check that the VSEW and VLMUL immediate operands encode a valid SEW/LMUL pair (VSEW <= 3, VLMUL != reserved), so that consumers can assume a well-formed vtype. Assisted-by: TRAE CLI (Opus 4.8)