From d912a5b2e39536b7cb343c16e102cefa70dcfbd4 Mon Sep 17 00:00:00 2001
From: Andrew Trick <atrick@apple.com>
Date: Tue, 29 Nov 2011 02:06:35 +0000
Subject: Make SCEV print <nsw><nuw> for Add/MulExpr.

llvm-svn: 145364
---
 llvm/lib/Analysis/ScalarEvolution.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'llvm/lib/Analysis/ScalarEvolution.cpp')

diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp
index 622b214aed5..a054801fb88 100644
--- a/llvm/lib/Analysis/ScalarEvolution.cpp
+++ b/llvm/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: {
-- 
cgit v1.2.3