[TSAR, Memory] Minor fix.

Author: yukatan1701

include/tsar/Analysis/Memory/AssumptionInfo.h

@@ -65,4 +65,4 @@ class AssumptionInfoPass : public FunctionPass, private bcl::Uncopyable {
 };
 }
 
-#endif //TSAR_ASSUMPTION_INFO_H
+#endif //TSAR_ASSUMPTION_INFO_H

lib/Analysis/Memory/AssumptionInfo.cpp

@@ -64,20 +64,20 @@ void initializeAssumptions(AssumptionMap &AM, AssumptionCache &AC) {
     {
     case CmpInst::Predicate::ICMP_UGE:
     case CmpInst::Predicate::ICMP_SGE:
-      Bounds.Upper = Bounds.Upper ? std::max(CV, *Bounds.Upper) : CV;
+      Bounds.Upper = Bounds.Upper ? std::min(CV, *Bounds.Upper) : CV;
       break;
     case CmpInst::Predicate::ICMP_UGT:
     case CmpInst::Predicate::ICMP_SGT:
-      Bounds.Upper = Bounds.Upper ? std::max(CV - 1, *Bounds.Upper) :
+      Bounds.Upper = Bounds.Upper ? std::min(CV - 1, *Bounds.Upper) :
                                               CV - 1;
       break;
     case CmpInst::Predicate::ICMP_ULE:
     case CmpInst::Predicate::ICMP_SLE:
-      Bounds.Lower = Bounds.Lower ? std::min(CV, *Bounds.Lower) : CV;
+      Bounds.Lower = Bounds.Lower ? std::max(CV, *Bounds.Lower) : CV;
       break;
     case CmpInst::Predicate::ICMP_ULT:
     case CmpInst::Predicate::ICMP_SLT:
-      Bounds.Lower = Bounds.Lower ? std::min(CV + 1, *Bounds.Lower) :
+      Bounds.Lower = Bounds.Lower ? std::max(CV + 1, *Bounds.Lower) :
                                               CV + 1;
       break;
     default:

lib/Unparse/Utils.cpp

@@ -28,9 +28,9 @@
 #include "tsar/Analysis/Memory/DIMemoryLocation.h"
 #include "tsar/Analysis/Memory/EstimateMemory.h"
 #include "tsar/Analysis/Memory/MemoryLocationRange.h"
-#include <llvm/Analysis/ValueTracking.h>
 #include "tsar/Unparse/DIUnparser.h"
 #include "tsar/Unparse/SourceUnparserUtils.h"
+#include <llvm/Analysis/ValueTracking.h>
 #include <llvm/IR/DebugInfo.h>
 #include <llvm/Support/raw_ostream.h>
 #include <llvm/Transforms/Utils/Local.h>