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-20 17:32:29 -0700 |
| commit | be8738324c1aa9c9c56ae59cd113e29bba2c13e0 (patch) | |
| tree | db899b96bc62ab458416a675f1ca6715be41659f /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | 65cead410be042d7f627c806b985c30082bed704 (diff) | |
| download | llvm-be8738324c1aa9c9c56ae59cd113e29bba2c13e0.zip llvm-be8738324c1aa9c9c56ae59cd113e29bba2c13e0.tar.gz llvm-be8738324c1aa9c9c56ae59cd113e29bba2c13e0.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 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index 6b8c9f4..dde0a24 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -1782,6 +1782,16 @@ 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 (SubRegSize < InsertedSize) { + report("INSERT_SUBREG expected inserted value to have equal or lesser " + "size than the subreg it was inserted into", MI); + break; + } + } break; } } |