[(set GR64:$dst, (add GR64:$src1, imm:$src2)),
(implicit PSW)]>;
+let isCommutable = 1 in { // X = AND Y, Z == X = AND Z, Y
+// FIXME: Provide proper encoding!
+def AND64rr : Pseudo<(outs GR64:$dst), (ins GR64:$src1, GR64:$src2),
+ "ngr\t{$dst, $src2}",
+ [(set GR64:$dst, (and GR64:$src1, GR64:$src2))]>;
+}
+// FIXME: provide patterns for masked and-with-imm
+
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),
--- /dev/null
+; RUN: llvm-as < %s | llc
+
+define i64 @foo(i64 %a, i64 %b) {
+entry:
+ %c = and i64 %a, %b
+ ret i64 %c
+}
\ No newline at end of file
--- /dev/null
+; RUN: llvm-as < %s | llc
+define i64 @foo(i64 %a, i64 %b) {
+entry:
+ %c = and i64 %a, 1
+ ret i64 %c
+}
+
+; FIXME: SystemZ has 4 and reg-imm instructions depending on imm,
+; we need to support them someday.
\ No newline at end of file