Make it possible to create an SCEVUnknown from an APInt as well as an int.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@34816 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/include/llvm/Analysis/ScalarEvolutionExpressions.h b/include/llvm/Analysis/ScalarEvolutionExpressions.h
index b9bf93b..af79537 100644
--- a/include/llvm/Analysis/ScalarEvolutionExpressions.h
+++ b/include/llvm/Analysis/ScalarEvolutionExpressions.h
@@ -19,6 +19,7 @@
namespace llvm {
class ConstantInt;
class ConstantRange;
+ class APInt;
enum SCEVTypes {
// These should be ordered in terms of increasing complexity to make the
@@ -463,6 +464,7 @@
/// getIntegerSCEV - Given an integer or FP type, create a constant for the
/// specified signed integer value and return a SCEV for the constant.
static SCEVHandle getIntegerSCEV(int Val, const Type *Ty);
+ static SCEVHandle getIntegerSCEV(const APInt& Val);
Value *getValue() const { return V; }
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index f0a44c7..52b0af4 100644
--- a/lib/Analysis/ScalarEvolution.cpp
+++ b/lib/Analysis/ScalarEvolution.cpp
@@ -460,6 +460,10 @@
return SCEVUnknown::get(C);
}
+SCEVHandle SCEVUnknown::getIntegerSCEV(const APInt& Val) {
+ return SCEVUnknown::get(ConstantInt::get(Val));
+}
+
/// getTruncateOrZeroExtend - Return a SCEV corresponding to a conversion of the
/// input value to the specified type. If the type must be extended, it is zero
/// extended.