[clang] [llvm] [mlir] [openmp] [Clang][OpenMP] Canonicalize Intra-tiles in Loop Tiling (PR #191114)

[Michael Kruse via cfe-commits]

================
@@ -9668,8 +9693,18 @@ static bool checkOpenMPIterationSpace(
     return HasErrors;
 
   // Build the loop's iteration space representation.
-  ResultIterSpaces[CurrentNestedLoopCount].PreCond = ISC.buildPreCond(
-      DSA.getCurScope(), For ? For->getCond() : CXXFor->getCond(), Captures);
+  ResultIterSpaces[CurrentNestedLoopCount].PreCond =
+      ISC.buildPreCond(DSA.getCurScope(), EffectiveCond, Captures);
+  // Reinterpreted intra-tile: precondition is trivially true (.floor.iv
+  // unreadable here); overshoot handled by Predicate.
----------------
Meinersbur wrote:

Should this be in the else branch of `if (TileRectCond)`?

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