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.cpp13
1 files changed, 13 insertions, 0 deletions
diff --git a/llvm/unittests/Analysis/ScalarEvolutionTest.cpp b/llvm/unittests/Analysis/ScalarEvolutionTest.cpp
index f9289250419..bc5b12ae892 100644
--- a/llvm/unittests/Analysis/ScalarEvolutionTest.cpp
+++ b/llvm/unittests/Analysis/ScalarEvolutionTest.cpp
@@ -538,6 +538,19 @@ TEST_F(ScalarEvolutionsTest, BadHoistingSCEVExpander_PR30942) {
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());
+ }
});
}
OpenPOWER on IntegriCloud