From: Anton Korobeynikov <asl@math.spbu.ru>
Date: Thu, 16 Jul 2009 13:30:53 +0000 (+0000)
Subject: Add or reg-reg pattern.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=26ba0b1ec505bf6d6b8845e039690f9a06323ceb;p=oota-llvm.git

Add or reg-reg pattern.

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

diff --git a/lib/Target/SystemZ/SystemZInstrInfo.td b/lib/Target/SystemZ/SystemZInstrInfo.td
index df921f891db..66b2db972cb 100644
--- a/lib/Target/SystemZ/SystemZInstrInfo.td
+++ b/lib/Target/SystemZ/SystemZInstrInfo.td
@@ -69,5 +69,13 @@ def ADD64ri : Pseudo<(outs GR64:$dst), (ins GR64:$src1, i64imm:$src2),
                      [(set GR64:$dst, (add GR64:$src1, imm:$src2)),
                       (implicit PSW)]>;
 
+let isCommutable = 1 in { // X = OR Y, Z  == X = OR Z, Y
+// FIXME: Provide proper encoding!
+def OR64rr : Pseudo<(outs GR64:$dst), (ins GR64:$src1, GR64:$src2),
+                    "ogr\t{$dst, $src2}",
+                    [(set GR64:$dst, (or GR64:$src1, GR64:$src2))]>;
+}
+// FIXME: provide patterns for masked or-with-imm
+
 } // Defs = [PSW]
 } // isTwoAddress = 1
diff --git a/test/CodeGen/SystemZ/02-RetOr.ll b/test/CodeGen/SystemZ/02-RetOr.ll
new file mode 100644
index 00000000000..ef9d63acf86
--- /dev/null
+++ b/test/CodeGen/SystemZ/02-RetOr.ll
@@ -0,0 +1,6 @@
+; RUN: llvm-as < %s | llc
+define i64 @foo(i64 %a, i64 %b) {
+entry:
+    %c = or i64 %a, %b
+    ret i64 %c
+}
\ No newline at end of file
diff --git a/test/CodeGen/SystemZ/02-RetOrImm.ll b/test/CodeGen/SystemZ/02-RetOrImm.ll
new file mode 100644
index 00000000000..b5fdb00fa25
--- /dev/null
+++ b/test/CodeGen/SystemZ/02-RetOrImm.ll
@@ -0,0 +1,9 @@
+; RUN: llvm-as < %s | llc
+define i64 @foo(i64 %a, i64 %b) {
+entry:
+    %c = or i64 %a, 1
+    ret i64 %c
+}
+
+; FIXME: SystemZ has 4 or reg-imm instructions depending on imm,
+; we need to support them someday.
\ No newline at end of file