Remove known constraints from the invalid context

[Meinersbur]

It is the same gist which is already applied on AssumedContext, i.e. making their handling more consistent. Good work.

[Eugene.Zelenko]

Looks like patch was not committed.

[Meinersbur]

Johannes, are you going to commit this?

[jdoerfert]

I won't.

lib/Analysis/ScopInfo.cpp

void Scop::simplifyContexts() {
   //     for (long i = 0; i < 100; i++)
   //       for (long j = 0; j < m; j++)
   //         A[i+p][j] = 1.0;
   //
   //   we assume that the condition m <= 0 or (m >= 1 and p >= 0) holds as
   //   otherwise we would access out of bound data. Now, knowing that code is
   //   only executed for the case m >= 0, it is sufficient to assume p >= 0.
   AssumedContext = simplifyAssumptionContext(AssumedContext, *this);
-  InvalidContext = isl_set_align_params(InvalidContext, getParamSpace());
+  InvalidContext = isl_set_gist_params(InvalidContext, getContext());
 }
 
 /// @brief Add the minimal/maximal access in @p Set to @p User.
 static isl_stat buildMinMaxAccess(__isl_take isl_set *Set, void *User) {
   Scop::MinMaxVectorTy *MinMaxAccesses = (Scop::MinMaxVectorTy *)User;
   isl_pw_multi_aff *MinPMA, *MaxPMA;
   isl_pw_aff *LastDimAff;
   isl_aff *OneAff;