diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-07-01 18:01:35 +0000 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2019-07-01 18:01:35 +0000 |
| commit | 03ca176ab32d3683086a7ba2bd64f550f2a81fd6 (patch) | |
| tree | c1147d2686091dbe58cf561c7f709212d4ffee62 /llvm/lib/CodeGen | |
| parent | 1023a2eca3f003c19532d5659f44bef169ab4519 (diff) | |
| download | bcm5719-llvm-03ca176ab32d3683086a7ba2bd64f550f2a81fd6.tar.gz bcm5719-llvm-03ca176ab32d3683086a7ba2bd64f550f2a81fd6.zip | |
GlobalISel: Verify G_MERGE_VALUES operand sizes
llvm-svn: 364822
Diffstat (limited to 'llvm/lib/CodeGen')
| -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 63fd05b2ea2..f9b548653cf 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -1176,6 +1176,16 @@ void MachineVerifier::verifyPreISelGenericInstruction(const MachineInstr *MI) { LLT SrcTy = MRI->getType(MI->getOperand(1).getReg()); if (DstTy.isVector() || SrcTy.isVector()) report("G_MERGE_VALUES cannot operate on vectors", MI); + + const unsigned NumOps = MI->getNumOperands(); + if (DstTy.getSizeInBits() != SrcTy.getSizeInBits() * (NumOps - 1)) + report("G_MERGE_VALUES result size is inconsistent", MI); + + for (unsigned I = 2; I != NumOps; ++I) { + if (MRI->getType(MI->getOperand(I).getReg()) != SrcTy) + report("G_MERGE_VALUES source types do not match", MI); + } + break; } case TargetOpcode::G_UNMERGE_VALUES: { |
