diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-01-27 15:57:23 +0000 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-01-27 15:57:23 +0000 |
| commit | fdfb7d78f128943fb3f20296fd0dfdf73f62295a (patch) | |
| tree | d15bf1723ecb1b38549b258a95726eeb3b6d74c8 /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | d35424a2b3b1e1045e6044fe11b1bc6e02ec418c (diff) | |
| download | bcm5719-llvm-fdfb7d78f128943fb3f20296fd0dfdf73f62295a.tar.gz bcm5719-llvm-fdfb7d78f128943fb3f20296fd0dfdf73f62295a.zip | |
GlobalISel: Verify load/store has a pointer input
I expected this to be automatically verified, but it seems
nothing uses that the type index was declared as a "ptype"
llvm-svn: 352319
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index 879a3d33469..54d2bb4a032 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -1003,7 +1003,11 @@ void MachineVerifier::visitMachineInstrBefore(const MachineInstr *MI) { case TargetOpcode::G_LOAD: case TargetOpcode::G_STORE: case TargetOpcode::G_ZEXTLOAD: - case TargetOpcode::G_SEXTLOAD: + case TargetOpcode::G_SEXTLOAD: { + LLT PtrTy = MRI->getType(MI->getOperand(1).getReg()); + if (!PtrTy.isPointer()) + report("Generic memory instruction must access a pointer", MI); + // Generic loads and stores must have a single MachineMemOperand // describing that access. if (!MI->hasOneMemOperand()) { @@ -1021,6 +1025,7 @@ void MachineVerifier::visitMachineInstrBefore(const MachineInstr *MI) { } break; + } case TargetOpcode::G_PHI: { LLT DstTy = MRI->getType(MI->getOperand(0).getReg()); if (!DstTy.isValid() || |
