summaryrefslogtreecommitdiffstats
path: root/llvm/test/CodeGen
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/test/CodeGen')
-rw-r--r--llvm/test/CodeGen/PowerPC/extra-toc-reg-deps.ll2
-rw-r--r--llvm/test/CodeGen/PowerPC/loop-hoist-toc-save.ll129
-rw-r--r--llvm/test/CodeGen/PowerPC/ppc64-func-desc-hoist.ll2
3 files changed, 4 insertions, 129 deletions
diff --git a/llvm/test/CodeGen/PowerPC/extra-toc-reg-deps.ll b/llvm/test/CodeGen/PowerPC/extra-toc-reg-deps.ll
index 10ad8dd8865..d76c9055671 100644
--- a/llvm/test/CodeGen/PowerPC/extra-toc-reg-deps.ll
+++ b/llvm/test/CodeGen/PowerPC/extra-toc-reg-deps.ll
@@ -75,7 +75,9 @@ entry:
; CHECK: bctrl
; CHECK: ld 2, 40(1)
+; CHECK: addis [[REG1:[0-9]+]], 2, .LC0@toc@ha
; CHECK: std 2, 40(1)
+; CHECK: ld {{[0-9]+}}, .LC0@toc@l([[REG1]])
; CHECK: {{mr|ld}} 2,
; CHECK: mtctr
; CHECK: bctrl
diff --git a/llvm/test/CodeGen/PowerPC/loop-hoist-toc-save.ll b/llvm/test/CodeGen/PowerPC/loop-hoist-toc-save.ll
deleted file mode 100644
index 8a4c7e3b6de..00000000000
--- a/llvm/test/CodeGen/PowerPC/loop-hoist-toc-save.ll
+++ /dev/null
@@ -1,129 +0,0 @@
-; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -hoist-const-stores -ppc-stack-ptr-caller-preserved < %s | FileCheck %s
-; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -hoist-const-stores -ppc-stack-ptr-caller-preserved < %s | FileCheck %s -check-prefix=CHECKBE
-
-; Test hoist out of single loop
-define signext i32 @test1(i32 signext %lim, i32 (i32)* nocapture %Func) {
-entry:
-; CHECK-LABEL: test1
-; CHECK: for.body.preheader
-; CHECK: std 2, 24(1)
-; CHECK: for.body
-; CHECK-NOT: std 2, 24(1)
-; CHECKBE-LABEL: test1
-; CHECKBE: for.body.preheader
-; CHECKBE: std 2, 40(1)
-; CHECKBE: for.body
-; CHECKBE-NOT: std 2, 40(1)
-
- %cmp6 = icmp sgt i32 %lim, 0
- br i1 %cmp6, label %for.body.preheader, label %for.cond.cleanup
-
-for.body.preheader: ; preds = %entry
- br label %for.body
-
-for.cond.cleanup: ; preds = %for.body, %entry
- %Sum.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.body ]
- ret i32 %Sum.0.lcssa
-
-for.body: ; preds = %for.body.preheader, %for.body
- %i.08 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ]
- %Sum.07 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ]
- %call = tail call signext i32 %Func(i32 signext %i.08)
- %add = add nsw i32 %call, %Sum.07
- %inc = add nuw nsw i32 %i.08, 1
- %exitcond = icmp eq i32 %inc, %lim
- br i1 %exitcond, label %for.cond.cleanup, label %for.body
-}
-
-; Test hoist of nested loop goes to outter loop preheader
-define signext i32 @test2(i32 signext %lim, i32 (i32)* nocapture %Func) {
-entry:
-; CHECK-LABEL: test2
-; CHECK: for.body4.lr.ph.preheader
-; CHECK: std 2, 24(1)
-; CHECK: for.body4.lr.ph
-; CHECK-NOT: std 2, 24(1)
-; CHECKBE-LABEL: test2
-; CHECKBE: for.body4.lr.ph.preheader
-; CHECKBE: std 2, 40(1)
-; CHECKBE: for.body4.lr.ph
-; CHECKBE-NOT: std 2, 40(1)
-
- %cmp20 = icmp sgt i32 %lim, 0
- br i1 %cmp20, label %for.body4.lr.ph.preheader, label %for.cond.cleanup
-
-for.body4.lr.ph.preheader: ; preds = %entry
- br label %for.body4.lr.ph
-
-for.cond.cleanup: ; preds = %for.cond.cleanup3, %entry
- %Sum.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.cond.cleanup3 ]
- ret i32 %Sum.0.lcssa
-
-for.body4.lr.ph: ; preds = %for.body4.lr.ph.preheader, %for.cond.cleanup3
- %j.022 = phi i32 [ %inc6, %for.cond.cleanup3 ], [ 0, %for.body4.lr.ph.preheader ]
- %Sum.021 = phi i32 [ %add, %for.cond.cleanup3 ], [ 0, %for.body4.lr.ph.preheader ]
- br label %for.body4
-
-for.cond.cleanup3: ; preds = %for.body4
- %inc6 = add nuw nsw i32 %j.022, 1
- %exitcond24 = icmp eq i32 %inc6, %lim
- br i1 %exitcond24, label %for.cond.cleanup, label %for.body4.lr.ph
-
-for.body4: ; preds = %for.body4, %for.body4.lr.ph
- %i.019 = phi i32 [ %j.022, %for.body4.lr.ph ], [ %inc, %for.body4 ]
- %Sum.118 = phi i32 [ %Sum.021, %for.body4.lr.ph ], [ %add, %for.body4 ]
- %call = tail call signext i32 %Func(i32 signext %i.019)
- %add = add nsw i32 %call, %Sum.118
- %inc = add nuw nsw i32 %i.019, 1
- %exitcond = icmp eq i32 %inc, %lim
- br i1 %exitcond, label %for.cond.cleanup3, label %for.body4
-}
-
-; Test hoist out of if statement with low branch probability
-; FIXME: we shouldn't hoist in such cases as it could increase the number
-; of stores after hoisting.
-define signext i32 @test3(i32 signext %lim, i32 (i32)* nocapture %Func) {
-entry:
-; CHECK-LABEL: test3
-; CHECK: %for.body.lr.ph
-; CHECK: std 2, 24(1)
-; CHECK: %for.body
-; CHECK-NOT: std 2, 24(1)
-; CHECKBE-LABEL: test3
-; CHECKBE: %for.body.lr.ph
-; CHECKBE: std 2, 40(1)
-; CHECKBE: %for.body
-; CHECKBE-NOT: std 2, 40(1)
-
- %cmp13 = icmp sgt i32 %lim, 0
- br i1 %cmp13, label %for.body.lr.ph, label %for.cond.cleanup
-
-for.body.lr.ph: ; preds = %entry
- %sub = add nsw i32 %lim, -1
- br label %for.body
-
-for.cond.cleanup: ; preds = %if.end, %entry
- %Sum.0.lcssa = phi i32 [ 0, %entry ], [ %add3, %if.end ]
- ret i32 %Sum.0.lcssa
-
-for.body: ; preds = %if.end, %for.body.lr.ph
- %i.015 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %if.end ]
- %Sum.014 = phi i32 [ 0, %for.body.lr.ph ], [ %add3, %if.end ]
- %cmp1 = icmp eq i32 %i.015, %sub
- br i1 %cmp1, label %if.then, label %if.end
-
-if.then: ; preds = %for.body
- %call = tail call signext i32 %Func(i32 signext %sub)
- %add = add nsw i32 %call, %Sum.014
- br label %if.end
-
-if.end: ; preds = %if.then, %for.body
- %Sum.1 = phi i32 [ %add, %if.then ], [ %Sum.014, %for.body ]
- %call2 = tail call signext i32 @func(i32 signext %i.015)
- %add3 = add nsw i32 %call2, %Sum.1
- %inc = add nuw nsw i32 %i.015, 1
- %exitcond = icmp eq i32 %inc, %lim
- br i1 %exitcond, label %for.cond.cleanup, label %for.body
-}
-
-declare signext i32 @func(i32 signext)
diff --git a/llvm/test/CodeGen/PowerPC/ppc64-func-desc-hoist.ll b/llvm/test/CodeGen/PowerPC/ppc64-func-desc-hoist.ll
index 2e40664c8f9..9f995bb34ce 100644
--- a/llvm/test/CodeGen/PowerPC/ppc64-func-desc-hoist.ll
+++ b/llvm/test/CodeGen/PowerPC/ppc64-func-desc-hoist.ll
@@ -15,6 +15,7 @@ entry:
; INVFUNCDESC-DAG: ld [[REG3:[0-9]+]], 0(3)
; INVFUNCDESC: %for.body
+; INVFUNCDESC: std 2, 40(1)
; INVFUNCDESC-DAG: mtctr [[REG3]]
; INVFUNCDESC-DAG: mr 11, [[REG2]]
; INVFUNCDESC-DAG: mr 2, [[REG1]]
@@ -23,6 +24,7 @@ entry:
; NONINVFUNCDESC-LABEL: @bar
; NONINVFUNCDESC: %for.body
+; NONINVFUNCDESC: std 2, 40(1)
; NONINVFUNCDESC-DAG: ld 3, 0(30)
; NONINVFUNCDESC-DAG: ld 11, 16(30)
; NONINVFUNCDESC-DAG: ld 2, 8(30)
OpenPOWER on IntegriCloud