From 01545beb75566e16db480e929068f6cd9f3b98ef Mon Sep 17 00:00:00 2001
From: Sanjoy Das <sanjoy@playingwithpointers.com>
Date: Fri, 14 Apr 2017 16:47:15 +0000
Subject: [PATCH] Remove "#if 0"ed out assert

It won't compile after the recent changes I've made, and I think
keeping it in provides very little value.

Instead I've added (in an earlier commit) a C++ unit test to check the
Denormalize(Normalized(X)) == X property for specific instances of X,
which is what the assert was trying to do anyway.

llvm-svn: 300339
---
 llvm/lib/Analysis/ScalarEvolutionNormalization.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp b/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp
index 6a1a1feaf110..949281e14d76 100644
--- a/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp
+++ b/llvm/lib/Analysis/ScalarEvolutionNormalization.cpp
@@ -83,11 +83,6 @@ static const SCEV *transformImpl(const TransformKind Kind, NormalizePredTy Pred,
             transformSubExpr(Kind, Pred, SE, Cache, AR->getStepRecurrence(SE));
         Result = SE.getMinusSCEV(Result, TransformedStep);
       }
-#if 0
-      // See the comment on the assert above.
-      assert(S == transformSubExpr(Result, User, OperandValToReplace) &&
-             "SCEV normalization is not invertible!");
-#endif
       break;
     case Denormalize:
       // Here we want to normalize step expressions for the same reasons, as