Add xor reg-reg pattern
authorAnton Korobeynikov <asl@math.spbu.ru>
Thu, 16 Jul 2009 13:31:28 +0000 (13:31 +0000)
committerAnton Korobeynikov <asl@math.spbu.ru>
Thu, 16 Jul 2009 13:31:28 +0000 (13:31 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75915 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Target/SystemZ/SystemZInstrInfo.td
test/CodeGen/SystemZ/02-RetXor.ll [new file with mode: 0644]
test/CodeGen/SystemZ/02-RetXorImm.ll [new file with mode: 0644]

index 66b2db972cb744e2d01ff35c6f0b8ec8237fd87d..c4121fe604fd57efde722841a8b5c4a1bcc49079 100644 (file)
@@ -77,5 +77,12 @@ def OR64rr : Pseudo<(outs GR64:$dst), (ins GR64:$src1, GR64:$src2),
 }
 // FIXME: provide patterns for masked or-with-imm
 
+let isCommutable = 1 in { // X = XOR Y, Z  == X = XOR Z, Y
+// FIXME: Provide proper encoding!
+def XOR64rr : Pseudo<(outs GR64:$dst), (ins GR64:$src1, GR64:$src2),
+                     "xgr\t{$dst, $src2}",
+                     [(set GR64:$dst, (xor GR64:$src1, GR64:$src2))]>;
+}
+
 } // Defs = [PSW]
 } // isTwoAddress = 1
diff --git a/test/CodeGen/SystemZ/02-RetXor.ll b/test/CodeGen/SystemZ/02-RetXor.ll
new file mode 100644 (file)
index 0000000..b15d946
--- /dev/null
@@ -0,0 +1,6 @@
+; RUN: llvm-as < %s | llc
+define i64 @foo(i64 %a, i64 %b) {
+entry:
+    %c = xor i64 %a, %b
+    ret i64 %c
+}
\ No newline at end of file
diff --git a/test/CodeGen/SystemZ/02-RetXorImm.ll b/test/CodeGen/SystemZ/02-RetXorImm.ll
new file mode 100644 (file)
index 0000000..f1f835a
--- /dev/null
@@ -0,0 +1,6 @@
+; RUN: llvm-as < %s | llc
+define i64 @foo(i64 %a, i64 %b) {
+entry:
+    %c = xor i64 %a, 1
+    ret i64 %c
+}
\ No newline at end of file