summaryrefslogtreecommitdiff
path: root/test/CodeGen/PowerPC
diff options
context:
space:
mode:
authorGuozhi Wei <carrot@google.com>2017-10-27 21:54:24 +0000
committerGuozhi Wei <carrot@google.com>2017-10-27 21:54:24 +0000
commit9875a79d9f9adaa6fdad6ab70cedcdd7f2e26114 (patch)
tree81912b85ddfe18842c4a84d3b8d40d73d9ec764e /test/CodeGen/PowerPC
parent9a8a8159d342dc1f5430ff4139c25ad2228111f5 (diff)
[DAGCombine] Don't combine sext with extload if sextload is not supported and extload has multi users
In function DAGCombiner::visitSIGN_EXTEND_INREG, sext can be combined with extload even if sextload is not supported by target, then if sext is the only user of extload, there is no big difference, no harm no benefit. if extload has more than one user, the combined sextload may block extload from combining with other zext, causes extra zext instructions generated. As demonstrated by the attached test case. This patch add the constraint that when sextload is not supported by target, sext can only be combined with extload if it is the only user of extload. Differential Revision: https://reviews.llvm.org/D39108 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@316802 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/PowerPC')
-rw-r--r--test/CodeGen/PowerPC/selectiondag-sextload.ll26
1 files changed, 26 insertions, 0 deletions
diff --git a/test/CodeGen/PowerPC/selectiondag-sextload.ll b/test/CodeGen/PowerPC/selectiondag-sextload.ll
new file mode 100644
index 00000000000..de33faf000a
--- /dev/null
+++ b/test/CodeGen/PowerPC/selectiondag-sextload.ll
@@ -0,0 +1,26 @@
+; RUN: llc --mtriple=powerpc64le-linux-gnu < %s | FileCheck %s
+
+; It tests in function DAGCombiner::visitSIGN_EXTEND_INREG
+; signext will not be combined with extload, and causes extra zext.
+
+declare void @g(i32 signext)
+
+define void @foo(i8* %p) {
+entry:
+ br label %while.body
+
+while.body:
+ %0 = load i8, i8* %p, align 1
+ %conv = zext i8 %0 to i32
+ %cmp = icmp sgt i8 %0, 0
+ br i1 %cmp, label %if.then, label %while.body
+; CHECK: lbz
+; CHECK: extsb.
+; CHECK-NOT: rlwinm
+; CHECK: ble
+
+if.then:
+ tail call void @g(i32 signext %conv)
+ br label %while.body
+}
+