summaryrefslogtreecommitdiffstats
path: root/llvm/test/Transforms/Sink/basic.ll
diff options
context:
space:
mode:
authorEric Christopher <echristo@gmail.com>2019-04-17 02:12:23 +0000
committerEric Christopher <echristo@gmail.com>2019-04-17 02:12:23 +0000
commita86343512845c9c1fdbac865fea88aa5fce7142a (patch)
tree666fc6353de19ad8b00e56b67edd33f24104e4a7 /llvm/test/Transforms/Sink/basic.ll
parent7f8ca6e3679b3af951cb7a4b1377edfaa3244b93 (diff)
downloadbcm5719-llvm-a86343512845c9c1fdbac865fea88aa5fce7142a.tar.gz
bcm5719-llvm-a86343512845c9c1fdbac865fea88aa5fce7142a.zip
Temporarily Revert "Add basic loop fusion pass."
As it's causing some bot failures (and per request from kbarton). This reverts commit r358543/ab70da07286e618016e78247e4a24fcb84077fda. llvm-svn: 358546
Diffstat (limited to 'llvm/test/Transforms/Sink/basic.ll')
-rw-r--r--llvm/test/Transforms/Sink/basic.ll144
1 files changed, 0 insertions, 144 deletions
diff --git a/llvm/test/Transforms/Sink/basic.ll b/llvm/test/Transforms/Sink/basic.ll
deleted file mode 100644
index 8ff41262014..00000000000
--- a/llvm/test/Transforms/Sink/basic.ll
+++ /dev/null
@@ -1,144 +0,0 @@
-; RUN: opt < %s -basicaa -sink -S | FileCheck %s
-; RUN: opt < %s -aa-pipeline='basic-aa' -passes='sink' -S | FileCheck %s
-
-@A = external global i32
-@B = external global i32
-
-; Sink should sink the load past the store (which doesn't overlap) into
-; the block that uses it.
-
-; CHECK-LABEL: @foo(
-; CHECK: true:
-; CHECK-NEXT: %l = load i32, i32* @A
-; CHECK-NEXT: ret i32 %l
-
-define i32 @foo(i1 %z) {
- %l = load i32, i32* @A
- store i32 0, i32* @B
- br i1 %z, label %true, label %false
-true:
- ret i32 %l
-false:
- ret i32 0
-}
-
-; But don't sink load volatiles...
-
-; CHECK-LABEL: @foo2(
-; CHECK: load volatile
-; CHECK-NEXT: store i32
-
-define i32 @foo2(i1 %z) {
- %l = load volatile i32, i32* @A
- store i32 0, i32* @B
- br i1 %z, label %true, label %false
-true:
- ret i32 %l
-false:
- ret i32 0
-}
-
-; Sink to the nearest post-dominator
-
-; CHECK-LABEL: @diamond(
-; CHECK: X:
-; CHECK-NEXT: phi
-; CHECK-NEXT: mul nsw
-; CHECK-NEXT: sub
-
-define i32 @diamond(i32 %a, i32 %b, i32 %c) {
- %1 = mul nsw i32 %c, %b
- %2 = icmp sgt i32 %a, 0
- br i1 %2, label %B0, label %B1
-
-B0: ; preds = %0
- br label %X
-
-B1: ; preds = %0
- br label %X
-
-X: ; preds = %5, %3
- %.01 = phi i32 [ %c, %B0 ], [ %a, %B1 ]
- %R = sub i32 %1, %.01
- ret i32 %R
-}
-
-; We shouldn't sink constant sized allocas from the entry block, since CodeGen
-; interprets allocas outside the entry block as dynamically sized stack objects.
-
-; CHECK-LABEL: @alloca_nosink
-; CHECK: entry:
-; CHECK-NEXT: alloca
-define i32 @alloca_nosink(i32 %a, i32 %b) {
-entry:
- %0 = alloca i32
- %1 = icmp ne i32 %a, 0
- br i1 %1, label %if, label %endif
-
-if:
- %2 = getelementptr i32, i32* %0, i32 1
- store i32 0, i32* %0
- store i32 1, i32* %2
- %3 = getelementptr i32, i32* %0, i32 %b
- %4 = load i32, i32* %3
- ret i32 %4
-
-endif:
- ret i32 0
-}
-
-; Make sure we sink dynamic sized allocas
-
-; CHECK-LABEL: @alloca_sink_dynamic
-; CHECK: entry:
-; CHECK-NOT: alloca
-; CHECK: if:
-; CHECK-NEXT: alloca
-define i32 @alloca_sink_dynamic(i32 %a, i32 %b, i32 %size) {
-entry:
- %0 = alloca i32, i32 %size
- %1 = icmp ne i32 %a, 0
- br i1 %1, label %if, label %endif
-
-if:
- %2 = getelementptr i32, i32* %0, i32 1
- store i32 0, i32* %0
- store i32 1, i32* %2
- %3 = getelementptr i32, i32* %0, i32 %b
- %4 = load i32, i32* %3
- ret i32 %4
-
-endif:
- ret i32 0
-}
-
-; We also want to sink allocas that are not in the entry block. These
-; will already be considered as dynamically sized stack objects, so sinking
-; them does no further damage.
-
-; CHECK-LABEL: @alloca_sink_nonentry
-; CHECK: if0:
-; CHECK-NOT: alloca
-; CHECK: if:
-; CHECK-NEXT: alloca
-define i32 @alloca_sink_nonentry(i32 %a, i32 %b, i32 %c) {
-entry:
- %cmp = icmp ne i32 %c, 0
- br i1 %cmp, label %endif, label %if0
-
-if0:
- %0 = alloca i32
- %1 = icmp ne i32 %a, 0
- br i1 %1, label %if, label %endif
-
-if:
- %2 = getelementptr i32, i32* %0, i32 1
- store i32 0, i32* %0
- store i32 1, i32* %2
- %3 = getelementptr i32, i32* %0, i32 %b
- %4 = load i32, i32* %3
- ret i32 %4
-
-endif:
- ret i32 0
-}
OpenPOWER on IntegriCloud