Add or reg-reg pattern.

llvm-svn: 75914

llvm/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

llvm/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
+}

llvm/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.