diff options
| author | David Green <david.green@arm.com> | 2024-11-08 19:45:08 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-08 19:45:08 +0000 |
| commit | e8ce76f1a67e99e2eba54a3c8a85a0fd214e3606 (patch) | |
| tree | 6e066168bdf25695fa5050a88071b140e30f03e8 /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | 5005f8d2486d6eec7b2b8ae04f49e8a87ebf4bf6 (diff) | |
| download | llvm-e8ce76f1a67e99e2eba54a3c8a85a0fd214e3606.zip llvm-e8ce76f1a67e99e2eba54a3c8a85a0fd214e3606.tar.gz llvm-e8ce76f1a67e99e2eba54a3c8a85a0fd214e3606.tar.bz2 | |
[GlobalISel][AArch64] Allow vector ptr to int unmerges (#115228)
Vector pointer -> scalar integer unmerges are already legal. This
loosens the verifier check for vector-of-pointers -> vectors.
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index e2c09fe..10369928 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -1487,7 +1487,9 @@ void MachineVerifier::verifyPreISelGenericInstruction(const MachineInstr *MI) { LLT SrcTy = MRI->getType(MI->getOperand(NumDsts).getReg()); if (DstTy.isVector()) { // This case is the converse of G_CONCAT_VECTORS. - if (!SrcTy.isVector() || SrcTy.getScalarType() != DstTy.getScalarType() || + if (!SrcTy.isVector() || + (SrcTy.getScalarType() != DstTy.getScalarType() && + !SrcTy.isPointerVector()) || SrcTy.isScalableVector() != DstTy.isScalableVector() || SrcTy.getSizeInBits() != NumDsts * DstTy.getSizeInBits()) report("G_UNMERGE_VALUES source operand does not match vector " |