[PATCH] D11359: [AArch64] Change EON pattern to match more often.
Geoff Berry
gberry at codeaurora.org
Mon Jul 20 11:29:57 PDT 2015
gberry updated this revision to Diff 30177.
gberry added a comment.
Fix test CHECK-LABELs to be more discriminating.
http://reviews.llvm.org/D11359
Files:
lib/Target/AArch64/AArch64InstrInfo.td
test/CodeGen/AArch64/eon.ll
Index: test/CodeGen/AArch64/eon.ll
===================================================================
--- /dev/null
+++ test/CodeGen/AArch64/eon.ll
@@ -0,0 +1,30 @@
+; RUN: llc -mtriple=aarch64-none-linux-gnu < %s | FileCheck %s
+
+; Check that the eon instruction is generated instead of eor,movn
+define i64 @test1(i64 %a, i64 %b, i64 %c) {
+; CHECK-LABEL: test1:
+; CHECK: eon
+; CHECK: ret
+entry:
+ %shl = shl i64 %b, 4
+ %neg = xor i64 %a, -1
+ %xor = xor i64 %shl, %neg
+ ret i64 %xor
+}
+
+; Same check with mutliple uses of %neg
+define i64 @test2(i64 %a, i64 %b, i64 %c) {
+; CHECK-LABEL: test2:
+; CHECK: eon
+; CHECK: eon
+; CHECK: lsl
+; CHECK: ret
+entry:
+ %shl = shl i64 %b, 4
+ %neg = xor i64 %shl, -1
+ %xor = xor i64 %neg, %a
+ %xor1 = xor i64 %c, %neg
+ %shl2 = shl i64 %xor, %xor1
+ ret i64 %shl2
+}
+
Index: lib/Target/AArch64/AArch64InstrInfo.td
===================================================================
--- lib/Target/AArch64/AArch64InstrInfo.td
+++ lib/Target/AArch64/AArch64InstrInfo.td
@@ -841,7 +841,7 @@
defm BIC : LogicalReg<0b00, 1, "bic",
BinOpFrag<(and node:$LHS, (not node:$RHS))>>;
defm EON : LogicalReg<0b10, 1, "eon",
- BinOpFrag<(xor node:$LHS, (not node:$RHS))>>;
+ BinOpFrag<(not (xor node:$LHS, node:$RHS))>>;
defm EOR : LogicalReg<0b10, 0, "eor", xor>;
defm ORN : LogicalReg<0b01, 1, "orn",
BinOpFrag<(or node:$LHS, (not node:$RHS))>>;
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D11359.30177.patch
Type: text/x-patch
Size: 1499 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150720/ffd6f9cf/attachment.bin>
More information about the llvm-commits
mailing list