[polly] [Polly] Consider the preconditions of the block of a user assumption (PR #226473)

[Timur Baidusenov via llvm-commits]

================
@@ -1464,6 +1464,11 @@ void ScopBuilder::addUserAssumptions(
 
     isl::set AssumptionInvalidDomain = AssumptionInvalidDomainMap[BB];
     bool HasPreconditions = !AssumptionInvalidDomain.is_empty();
+    // An assumption inside the SCoP only holds where its block is executed,
+    // i.e. it also relies on the preconditions of the domain of the block, such
+    // as those of the conditions that lead to it.
+    if (InScop && !BBInvalidDomain.is_empty())
+      HasPreconditions = true;
----------------
bai-tim wrote:

Done

https://github.com/llvm/llvm-project/pull/226473