diff options
| author | Andrew Trick <atrick@apple.com> | 2011-11-29 02:06:35 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2011-11-29 02:06:35 +0000 |
| commit | 121d78f7e7d71dc56699f249f5103562d9ce179e (patch) | |
| tree | df48f159ceff856dd685a7affda2eacaeed824f7 | |
| parent | d2b5e2dd448c80601ca33decf2c9c24e12b7229c (diff) | |
| download | external_llvm-121d78f7e7d71dc56699f249f5103562d9ce179e.zip external_llvm-121d78f7e7d71dc56699f249f5103562d9ce179e.tar.gz external_llvm-121d78f7e7d71dc56699f249f5103562d9ce179e.tar.bz2 | |
Make SCEV print <nsw><nuw> for Add/MulExpr.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@145364 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 622b214..a054801 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -188,6 +188,14 @@ void SCEV::print(raw_ostream &OS) const { OS << OpStr; } OS << ")"; + switch (NAry->getSCEVType()) { + case scAddExpr: + case scMulExpr: + if (NAry->getNoWrapFlags(FlagNUW)) + OS << "<nuw>"; + if (NAry->getNoWrapFlags(FlagNSW)) + OS << "<nsw>"; + } return; } case scUDivExpr: { |