Paths
| Differential D155229
[RISCV] Add VL nodes and VP patterns for unary zvbb instructions ClosedPublic Authored by luke on Jul 13 2023, 12:36 PM.
Details Summary This follows the pattern of lowering VP nodes to equivalent I've defined the nodes in RISCVInstrInfoVVLpatterns.td as the nodes aren't Zvk
Diff Detail
Event TimelineComment Actions
also aren't restricted to integers as presumably we can use these for Wouldn't we use a bitcast for that? Comment Actions
Ah you're right, didn't realise the langref specified that they must be integer vectors. Doesn't look like the vp intrinsics enforce this though, the verifier accepts this and crashes when trying to expand it: declare <vscale x 2 x float> @llvm.vp.ctlz.nxv2f32(<vscale x 2 x float>, i1 immarg, <vscale x 2 x i1>, i32)
define <vscale x 2 x float> @vp_ctlz_nxv2f32(<vscale x 2 x float> %va, <vscale x 2 x i1> %m, i32 zeroext %evl) {
%v = call <vscale x 2 x float> @llvm.vp.ctlz.nxv2f32(<vscale x 2 x float> %va, i1 false, <vscale x 2 x i1> %m, i32 %evl)
ret <vscale x 2 x float> %v
}
This revision is now accepted and ready to land.Jul 14 2023, 10:12 AM This revision was landed with ongoing or failed builds.Jul 17 2023, 1:18 AM Closed by commit rGb5bcd4f60ba3: [RISCV] Add VL nodes and VP patterns for unary zvbb instructions (authored by luke). · Explain Why This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 540898 llvm/lib/Target/RISCV/RISCVISelLowering.h
llvm/lib/Target/RISCV/RISCVISelLowering.cpp
llvm/lib/Target/RISCV/RISCVInstrInfoVVLPatterns.td
llvm/lib/Target/RISCV/RISCVInstrInfoZvk.td
llvm/test/CodeGen/RISCV/rvv/bitreverse-vp.ll
llvm/test/CodeGen/RISCV/rvv/bswap-vp.ll
llvm/test/CodeGen/RISCV/rvv/ctlz-vp.ll
llvm/test/CodeGen/RISCV/rvv/ctpop-vp.ll
llvm/test/CodeGen/RISCV/rvv/cttz-vp.ll
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
This has the same predicate problem?