summaryrefslogtreecommitdiffstats
path: root/llvm/unittests/Analysis/ScalarEvolutionTest.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/unittests/Analysis/ScalarEvolutionTest.cpp')
-rw-r--r--llvm/unittests/Analysis/ScalarEvolutionTest.cpp89
1 files changed, 0 insertions, 89 deletions
diff --git a/llvm/unittests/Analysis/ScalarEvolutionTest.cpp b/llvm/unittests/Analysis/ScalarEvolutionTest.cpp
index bc5b12ae892..6dcb18fd94b 100644
--- a/llvm/unittests/Analysis/ScalarEvolutionTest.cpp
+++ b/llvm/unittests/Analysis/ScalarEvolutionTest.cpp
@@ -349,13 +349,6 @@ static Instruction *getInstructionByName(Function &F, StringRef Name) {
llvm_unreachable("Expected to find instruction!");
}
-static Argument *getArgByName(Function &F, StringRef Name) {
- for (auto &A : F.args())
- if (A.getName() == Name)
- return &A;
- llvm_unreachable("Expected to find argument!");
-}
-
TEST_F(ScalarEvolutionsTest, CommutativeExprOperandOrder) {
LLVMContext C;
SMDiagnostic Err;
@@ -472,87 +465,5 @@ TEST_F(ScalarEvolutionsTest, CommutativeExprOperandOrder) {
});
}
-TEST_F(ScalarEvolutionsTest, BadHoistingSCEVExpander_PR30942) {
- LLVMContext C;
- SMDiagnostic Err;
- std::unique_ptr<Module> M = parseAssemblyString(
- "target datalayout = \"e-m:e-p:32:32-f64:32:64-f80:32-n8:16:32-S128\" "
- " "
- "define void @f_1(i32 %x, i32 %y, i32 %n, i1* %cond_buf) "
- " local_unnamed_addr { "
- "entry: "
- " %entrycond = icmp sgt i32 %n, 0 "
- " br i1 %entrycond, label %loop.ph, label %for.end "
- " "
- "loop.ph: "
- " br label %loop "
- " "
- "loop: "
- " %iv1 = phi i32 [ %iv1.inc, %right ], [ 0, %loop.ph ] "
- " %iv1.inc = add nuw nsw i32 %iv1, 1 "
- " %cond = load volatile i1, i1* %cond_buf "
- " br i1 %cond, label %left, label %right "
- " "
- "left: "
- " %div = udiv i32 %x, %y "
- " br label %right "
- " "
- "right: "
- " %exitcond = icmp eq i32 %iv1.inc, %n "
- " br i1 %exitcond, label %for.end.loopexit, label %loop "
- " "
- "for.end.loopexit: "
- " br label %for.end "
- " "
- "for.end: "
- " ret void "
- "} ",
- Err, C);
-
- assert(M && "Could not parse module?");
- assert(!verifyModule(*M) && "Must have been well formed!");
-
- runWithFunctionAndSE(*M, "f_1", [&](Function &F, ScalarEvolution &SE) {
- SCEVExpander Expander(SE, M->getDataLayout(), "unittests");
- auto *DivInst = getInstructionByName(F, "div");
-
- {
- auto *DivSCEV = SE.getSCEV(DivInst);
- auto *DivExpansion = Expander.expandCodeFor(
- DivSCEV, DivSCEV->getType(), DivInst->getParent()->getTerminator());
- auto *DivExpansionInst = dyn_cast<Instruction>(DivExpansion);
- ASSERT_NE(DivExpansionInst, nullptr);
- EXPECT_EQ(DivInst->getParent(), DivExpansionInst->getParent());
- }
-
- {
- auto *ArgY = getArgByName(F, "y");
- auto *DivFromScratchSCEV =
- SE.getUDivExpr(SE.getOne(ArgY->getType()), SE.getSCEV(ArgY));
-
- auto *DivFromScratchExpansion = Expander.expandCodeFor(
- DivFromScratchSCEV, DivFromScratchSCEV->getType(),
- DivInst->getParent()->getTerminator());
- auto *DivFromScratchExpansionInst =
- dyn_cast<Instruction>(DivFromScratchExpansion);
- ASSERT_NE(DivFromScratchExpansionInst, nullptr);
- EXPECT_EQ(DivInst->getParent(), DivFromScratchExpansionInst->getParent());
- }
-
- {
- auto *ArgY = getArgByName(F, "y");
- auto *SafeDivSCEV =
- SE.getUDivExpr(SE.getSCEV(ArgY), SE.getConstant(APInt(32, 19)));
-
- auto *SafeDivExpansion =
- Expander.expandCodeFor(SafeDivSCEV, SafeDivSCEV->getType(),
- DivInst->getParent()->getTerminator());
- auto *SafeDivExpansionInst = dyn_cast<Instruction>(SafeDivExpansion);
- ASSERT_NE(SafeDivExpansionInst, nullptr);
- EXPECT_EQ("loop.ph", SafeDivExpansionInst->getParent()->getName());
- }
- });
-}
-
} // end anonymous namespace
} // end namespace llvm
OpenPOWER on IntegriCloud