[llvm] a5d194e - [Attributor][NFC] Improve debug message

[Johannes Doerfert via llvm-commits]

Author: Johannes Doerfert
Date: 2023-07-17T10:43:22-07:00
New Revision: a5d194e9755d25d9272fbc72cac9ea3b455ba672

URL: https://github.com/llvm/llvm-project/commit/a5d194e9755d25d9272fbc72cac9ea3b455ba672
DIFF: https://github.com/llvm/llvm-project/commit/a5d194e9755d25d9272fbc72cac9ea3b455ba672.diff

LOG: [Attributor][NFC] Improve debug message

Added: 
    

Modified: 
    llvm/lib/Transforms/IPO/AttributorAttributes.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
index 12242efcc80559..dc944df62c12b8 100644
--- a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
+++ b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
@@ -9562,8 +9562,10 @@ struct AAValueConstantRangeFloating : AAValueConstantRangeImpl {
     else
       T.unionAssumed(ConstantRange(/* BitWidth */ 1, /* isFullSet */ true));
 
-    LLVM_DEBUG(dbgs() << "[AAValueConstantRange] " << *CmpI << " " << LHSAA
-                      << " " << RHSAA << "\n");
+    LLVM_DEBUG(dbgs() << "[AAValueConstantRange] " << *CmpI << " after "
+                      << (MustTrue ? "true" : (MustFalse ? "false" : "unknown"))
+                      << ": " << T << "\n\t" << *LHSAA << "\t<op>\n\t"
+                      << *RHSAA);
 
     // TODO: Track a known state too.
     return T.isValidState();