diff options
| author | Sumanth Gundapaneni <sumanth.gundapaneni@amd.com> | 2024-08-20 13:24:15 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-20 13:24:15 -0500 |
| commit | b941ba1e126d44f94ff317c9a996143c3165774b (patch) | |
| tree | 30fef8b5c396363e7a45a2084ad2d6d651e7872b /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | c44202574ff9a8c0632aba30c2765b134557435f (diff) | |
| download | llvm-b941ba1e126d44f94ff317c9a996143c3165774b.zip llvm-b941ba1e126d44f94ff317c9a996143c3165774b.tar.gz llvm-b941ba1e126d44f94ff317c9a996143c3165774b.tar.bz2 | |
llvm.lround: Update verifier to validate support of vector types. (#98950)
Both IRVerifier and Machine Verifier are updated
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index d22fbe3..5e9bb4c 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -2062,7 +2062,20 @@ void MachineVerifier::verifyPreISelGenericInstruction(const MachineInstr *MI) { } case TargetOpcode::G_LLROUND: case TargetOpcode::G_LROUND: { - verifyAllRegOpsScalar(*MI, *MRI); + LLT DstTy = MRI->getType(MI->getOperand(0).getReg()); + LLT SrcTy = MRI->getType(MI->getOperand(1).getReg()); + if (!DstTy.isValid() || !SrcTy.isValid()) + break; + if (SrcTy.isPointer() || DstTy.isPointer()) { + StringRef Op = SrcTy.isPointer() ? "Source" : "Destination"; + report(Twine(Op, " operand must not be a pointer type"), MI); + } else if (SrcTy.isScalar()) { + verifyAllRegOpsScalar(*MI, *MRI); + break; + } else if (SrcTy.isVector()) { + verifyVectorElementMatch(SrcTy, DstTy, MI); + break; + } break; } case TargetOpcode::G_IS_FPCLASS: { |