diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-02-05 20:04:12 +0000 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-02-05 20:04:12 +0000 |
| commit | a3d0c5adafdeccc5f024ff5033ce732e747b52ef (patch) | |
| tree | f5e97314e5201aa4c63c16e7edd58a74c161138d /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | 97bc08ae02bf4b490abbe27ecb0ee6250892e1e2 (diff) | |
| download | llvm-a3d0c5adafdeccc5f024ff5033ce732e747b52ef.zip llvm-a3d0c5adafdeccc5f024ff5033ce732e747b52ef.tar.gz llvm-a3d0c5adafdeccc5f024ff5033ce732e747b52ef.tar.bz2 | |
GlobalISel: Verify G_GEP
llvm-svn: 353209
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index 6778dce..45fe64e4 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -1100,6 +1100,22 @@ void MachineVerifier::verifyPreISelGenericInstruction(const MachineInstr *MI) { break; } + case TargetOpcode::G_GEP: { + LLT DstTy = MRI->getType(MI->getOperand(0).getReg()); + LLT PtrTy = MRI->getType(MI->getOperand(1).getReg()); + LLT OffsetTy = MRI->getType(MI->getOperand(2).getReg()); + if (!DstTy.isValid() || !PtrTy.isValid() || !OffsetTy.isValid()) + break; + + if (!PtrTy.getScalarType().isPointer()) + report("gep first operand must be a pointer", MI); + + if (OffsetTy.getScalarType().isPointer()) + report("gep offset operand must not be a pointer", MI); + + // TODO: Is the offset allowed to be a scalar with a vector? + break; + } case TargetOpcode::G_SEXT: case TargetOpcode::G_ZEXT: case TargetOpcode::G_ANYEXT: |