[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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@277471 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Target/AArch64/AArch64MachineLegalizer.cpp b/lib/Target/AArch64/AArch64MachineLegalizer.cpp
index 40fda0b..9414742 100644 (file)
--- a/lib/Target/AArch64/AArch64MachineLegalizer.cpp
+++ b/lib/Target/AArch64/AArch64MachineLegalizer.cpp
@@ -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();
 }