[llvm] r277471 - [AArch64][GlobalISel] Mark basic binops/memops as legal.

Ahmed Bougacha via llvm-commits llvm-commits at lists.llvm.org
Tue Aug 2 08:10:29 PDT 2016


Author: ab
Date: Tue Aug  2 10:10:28 2016
New Revision: 277471

URL: http://llvm.org/viewvc/llvm-project?rev=277471&view=rev
Log:
[AArch64][GlobalISel] Mark basic binops/memops as legal.

We currently use and test these, and select most of them. Mark them
as legal even though we don't go through the full ir->asm flow yet.

This doesn't currently have standalone tests, but the verifier will
soon learn to check that the regbankselect/select tests are legal.

Modified:
    llvm/trunk/lib/Target/AArch64/AArch64MachineLegalizer.cpp

Modified: llvm/trunk/lib/Target/AArch64/AArch64MachineLegalizer.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/AArch64/AArch64MachineLegalizer.cpp?rev=277471&r1=277470&r2=277471&view=diff
==============================================================================
--- llvm/trunk/lib/Target/AArch64/AArch64MachineLegalizer.cpp (original)
+++ llvm/trunk/lib/Target/AArch64/AArch64MachineLegalizer.cpp Tue Aug  2 10:10:28 2016
@@ -25,6 +25,22 @@ using namespace llvm;
 #endif
 
 AArch64MachineLegalizer::AArch64MachineLegalizer() {
-  setAction(TargetOpcode::G_ADD, LLT::vector(2, 64), Legal);
+  using namespace TargetOpcode;
+  const LLT s32 = LLT::scalar(32);
+  const LLT s64 = LLT::scalar(64);
+  const LLT v2s32 = LLT::vector(2, 32);
+  const LLT v4s32 = LLT::vector(4, 32);
+  const LLT v2s64 = LLT::vector(2, 64);
+
+  for (auto BinOp : {G_ADD, G_SUB, G_AND, G_OR, G_XOR})
+    for (auto Ty : {s32, s64, v2s32, v4s32, v2s64})
+      setAction(BinOp, Ty, Legal);
+
+  for (auto MemOp : {G_LOAD, G_STORE})
+    for (auto Ty : {s32, s64})
+      setAction(MemOp, Ty, Legal);
+
+  setAction(G_BR, LLT::unsized(), Legal);
+
   computeTables();
 }




More information about the llvm-commits mailing list