Add a FIXME about signedness.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32732 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index ec98adc9e249cd292dfa600d5a4ea01d7167eeeb..bc1f9a0d307b1af980646a0c7ace8246ba8a89f6 100644 (file)
--- a/lib/Analysis/ScalarEvolution.cpp
+++ b/lib/Analysis/ScalarEvolution.cpp
@@ -2151,6 +2151,8 @@ SolveQuadraticEquation(const SCEVAddRecExpr *AddRec) {
   Constant *TwoA = ConstantExpr::getMul(A, Two);
 
   // The divisions must be performed as signed divisions.
+  // FIXME:Signedness. These casts can all go away once integer types are
+  // signless.
   const Type *SignedTy = NegB->getType()->getSignedVersion();
   NegB = ConstantExpr::getBitCast(NegB, SignedTy);
   TwoA = ConstantExpr::getBitCast(TwoA, SignedTy);