[AArch64][MachineLegalizer] Mark more bitcasts as legal.

Those are copies, we do not have to do any legalization action for them.

llvm-svn: 283970

diff --git a/llvm/lib/Target/AArch64/AArch64MachineLegalizer.cpp b/llvm/lib/Target/AArch64/AArch64MachineLegalizer.cpp
index 4bb0f8d..adda760 100644 (file)
--- a/llvm/lib/Target/AArch64/AArch64MachineLegalizer.cpp
+++ b/llvm/lib/Target/AArch64/AArch64MachineLegalizer.cpp
@@ -176,6 +176,7 @@ AArch64MachineLegalizer::AArch64MachineLegalizer() {
   setAction({G_INTTOPTR, 0, p0}, Legal);
   setAction({G_INTTOPTR, 1, s64}, Legal);
 
+  // Casts for 32 and 64-bit width type are just copies.
   for (auto Ty : {s1, s8, s16, s32, s64}) {
     setAction({G_BITCAST, 0, Ty}, Legal);
     setAction({G_BITCAST, 1, Ty}, Legal);
@@ -183,10 +184,12 @@ AArch64MachineLegalizer::AArch64MachineLegalizer() {
 
   for (int EltSize = 8; EltSize <= 64; EltSize *= 2) {
     setAction({G_BITCAST, 0, LLT::vector(128/EltSize, EltSize)}, Legal);
+    setAction({G_BITCAST, 1, LLT::vector(128/EltSize, EltSize)}, Legal);
     if (EltSize == 64)
       continue;
 
     setAction({G_BITCAST, 0, LLT::vector(64/EltSize, EltSize)}, Legal);
+    setAction({G_BITCAST, 1, LLT::vector(64/EltSize, EltSize)}, Legal);
   }
 
   computeTables();

diff --git a/llvm/test/CodeGen/AArch64/GlobalISel/legalize-simple.mir b/llvm/test/CodeGen/AArch64/GlobalISel/legalize-simple.mir
index 499d800..29cc49f 100644 (file)
--- a/llvm/test/CodeGen/AArch64/GlobalISel/legalize-simple.mir
+++ b/llvm/test/CodeGen/AArch64/GlobalISel/legalize-simple.mir
@@ -44,6 +44,9 @@ registers:
   - { id: 27, class: _ }
   - { id: 28, class: _ }
   - { id: 29, class: _ }
+  - { id: 30, class: _ }
+  - { id: 31, class: _ }
+  - { id: 32, class: _ }
 body: |
   bb.0.entry:
     liveins: %x0, %x1, %x2, %x3
@@ -117,4 +120,11 @@ body: |
     %27(s16) = G_SELECT %10, %12, %7
     %28(s32) = G_SELECT %10, %15, %16
     %29(s64) = G_SELECT %10, %9, %24
+
+    ; CHECK: %30(<2 x s32>) = G_BITCAST %9
+    ; CHECK: %31(s64) = G_BITCAST %30
+    ; CHECK: %32(s32) = G_BITCAST %15
+    %30(<2 x s32>) = G_BITCAST %9
+    %31(s64) = G_BITCAST %30
+    %32(s32) = G_BITCAST %15
 ...