commit bd3a5b29cb809fc6117569a2801d41c1d12dfe9a
author Matt Arsenault <Matthew.Arsenault@amd.com> Fri Jan 18 21:04:59 2019 +0000
committer Matt Arsenault <Matthew.Arsenault@amd.com> Fri Jan 18 21:04:59 2019 +0000
tree 0ad4f702ea80b95d8101621334eb9f408acd1288
parent d3f3e16293e59b54c835e20e32050b805b9ade65

GlobalISel: Verify G_BITCAST

llvm-svn: 351594

llvm/lib/CodeGen/MachineVerifier.cpp

diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp
index a36c13f..a19049c7 100644
--- a/llvm/lib/CodeGen/MachineVerifier.cpp
+++ b/llvm/lib/CodeGen/MachineVerifier.cpp
@@ -1022,6 +1022,19 @@
              MI);
     break;
   }
+  case TargetOpcode::G_BITCAST: {
+    LLT DstTy = MRI->getType(MI->getOperand(0).getReg());
+    LLT SrcTy = MRI->getType(MI->getOperand(1).getReg());
+    if (!DstTy.isValid() || !SrcTy.isValid())
+      break;
+
+    if (SrcTy.isPointer() != DstTy.isPointer())
+      report("bitcast cannot convert between pointers and other types", MI);
+
+    if (SrcTy.getSizeInBits() != DstTy.getSizeInBits())
+      report("bitcast sizes must match", MI);
+    break;
+  }
   case TargetOpcode::G_SEXT:
   case TargetOpcode::G_ZEXT:
   case TargetOpcode::G_ANYEXT: