diff options
| author | Jon Roelofs <jonathan_roelofs@apple.com> | 2021-07-13 17:07:48 -0700 |
|---|---|---|
| committer | Jon Roelofs <jonathan_roelofs@apple.com> | 2021-07-16 09:43:12 -0700 |
| commit | dd57ba1a17b93dbe211d04cb2d4de5f6dc898d60 (patch) | |
| tree | 6c00004b66f8ae10e6262be92ca973199e6121f7 /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | 4dbb78806871b158c9ec23196f075c070baa2909 (diff) | |
| download | llvm-dd57ba1a17b93dbe211d04cb2d4de5f6dc898d60.zip llvm-dd57ba1a17b93dbe211d04cb2d4de5f6dc898d60.tar.gz llvm-dd57ba1a17b93dbe211d04cb2d4de5f6dc898d60.tar.bz2 | |
[MachineVerifier] Diagnose invalid INSERT_SUBREGs
Differential revision: https://reviews.llvm.org/D105953
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index 6b8c9f4..dd4a925 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -1782,6 +1782,15 @@ void MachineVerifier::visitMachineInstrBefore(const MachineInstr *MI) { // TODO: verify we have properly encoded deopt arguments } break; + case TargetOpcode::INSERT_SUBREG: { + unsigned InsertedSize = + TRI->getRegSizeInBits(MI->getOperand(2).getReg(), *MRI); + unsigned SubRegSize = TRI->getSubRegIdxSize(MI->getOperand(3).getImm()); + if (InsertedSize != SubRegSize) { + report("INSERT_SUBREG expected matching subreg size for operand 2", MI); + break; + } + } break; } } |