[llvm] r351594 - GlobalISel: Verify G_BITCAST

[Matt Arsenault via llvm-commits]

Author: arsenm
Date: Fri Jan 18 13:04:59 2019
New Revision: 351594

URL: http://llvm.org/viewvc/llvm-project?rev=351594&view=rev
Log:
GlobalISel: Verify G_BITCAST

Added:
    llvm/trunk/test/Verifier/test_g_bitcast.mir
Modified:
    llvm/trunk/lib/CodeGen/MachineVerifier.cpp
    llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-simple.mir

Modified: llvm/trunk/lib/CodeGen/MachineVerifier.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/MachineVerifier.cpp?rev=351594&r1=351593&r2=351594&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/MachineVerifier.cpp (original)
+++ llvm/trunk/lib/CodeGen/MachineVerifier.cpp Fri Jan 18 13:04:59 2019
@@ -1022,6 +1022,19 @@ void MachineVerifier::visitMachineInstrB
              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:

Modified: llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-simple.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-simple.mir?rev=351594&r1=351593&r2=351594&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-simple.mir (original)
+++ llvm/trunk/test/CodeGen/AArch64/GlobalISel/legalize-simple.mir Fri Jan 18 13:04:59 2019
@@ -37,10 +37,10 @@ body:             |
   ; CHECK:   $x0 = COPY [[BITCAST1]](s64)
   ; CHECK:   [[BITCAST2:%[0-9]+]]:_(s32) = G_BITCAST [[SELECT3]](s32)
   ; CHECK:   $w0 = COPY [[BITCAST2]](s32)
-  ; CHECK:   [[BITCAST3:%[0-9]+]]:_(<4 x s8>) = G_BITCAST [[COPY]](s64)
+  ; CHECK:   [[BITCAST3:%[0-9]+]]:_(<4 x s8>) = G_BITCAST [[TRUNC1]](s32)
   ; CHECK:   [[BITCAST4:%[0-9]+]]:_(s32) = G_BITCAST [[BITCAST3]](<4 x s8>)
   ; CHECK:   $w0 = COPY [[BITCAST4]](s32)
-  ; CHECK:   [[BITCAST5:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[COPY]](s64)
+  ; CHECK:   [[BITCAST5:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[TRUNC1]](s32)
   ; CHECK:   [[BITCAST6:%[0-9]+]]:_(s32) = G_BITCAST [[BITCAST5]](<2 x s16>)
   ; CHECK:   $w0 = COPY [[BITCAST6]](s32)
   bb.0.entry:
@@ -74,10 +74,10 @@ body:             |
     $x0 = COPY %13(s64)
     %14:_(s32) = G_BITCAST %10(s32)
     $w0 = COPY %14(s32)
-    %15:_(<4 x s8>) = G_BITCAST %0(s64)
+    %15:_(<4 x s8>) = G_BITCAST %4(s32)
     %20:_(s32) = G_BITCAST %15(<4 x s8>)
     $w0 = COPY %20(s32)
-    %16:_(<2 x s16>) = G_BITCAST %0(s64)
+    %16:_(<2 x s16>) = G_BITCAST %4(s32)
     %21:_(s32) = G_BITCAST %16(<2 x s16>)
     $w0 = COPY %21(s32)
 

Added: llvm/trunk/test/Verifier/test_g_bitcast.mir
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Verifier/test_g_bitcast.mir?rev=351594&view=auto
==============================================================================
--- llvm/trunk/test/Verifier/test_g_bitcast.mir (added)
+++ llvm/trunk/test/Verifier/test_g_bitcast.mir Fri Jan 18 13:04:59 2019
@@ -0,0 +1,37 @@
+#RUN: not llc -mtriple=amdgcn-amd-amdhsa -o - -global-isel -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
+# REQUIRES: global-isel, amdgpu-registered-target
+
+---
+name:            test_bitcast
+legalized:       true
+regBankSelected: false
+selected:        false
+tracksRegLiveness: true
+liveins:
+body:             |
+  bb.0:
+   ; CHECK:  Bad machine code: bitcast cannot convert between pointers and other types
+    %0:_(s64) = G_IMPLICIT_DEF
+    %1:_(p0) = G_BITCAST %0
+
+    ; CHECK:  Bad machine code: bitcast cannot convert between pointers and other
+    %2:_(p0) = G_IMPLICIT_DEF
+    %3:_(s64) = G_BITCAST %2
+
+    ; CHECK: Bad machine code: bitcast sizes must match
+    %4:_(s32) = G_IMPLICIT_DEF
+    %5:_(s64) = G_BITCAST %4
+
+    ; CHECK: Bad machine code: bitcast sizes must match
+    %6:_(s32) = G_IMPLICIT_DEF
+    %7:_(<3 x s8>) = G_BITCAST %6
+
+    ; CHECK: Bad machine code: bitcast sizes must match
+    %8:_(p1) = G_IMPLICIT_DEF
+    %9:_(p3) = G_BITCAST %8
+
+    ; CHECK: Bad machine code: bitcast sizes must match
+    %10:_(p1) = G_IMPLICIT_DEF
+    %11:_(p3) = G_BITCAST %8
+
+...