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

[Michael Kruse via Openmp-commits]

================
@@ -0,0 +1,108 @@
+// RUN: %clang_cc1 -verify -triple x86_64-pc-linux-gnu -fclang-abi-compat=latest -std=c++20 -fopenmp -ast-print %s | FileCheck %s --check-prefix=PRINT
+// RUN: %clang_cc1 -verify -triple x86_64-pc-linux-gnu -fclang-abi-compat=latest -std=c++20 -fopenmp -emit-llvm %s -o - | FileCheck %s --check-prefix=IR
+// expected-no-diagnostics
+
+// Codegen tests for how a loop-associated directive (e.g. 'omp for' with a
+// 'collapse' clause) consumes a '#pragma omp tile' intra-tile loop.
+//
+// These tests pin the key IR invariants of the below design:
+// The intra-tile loop is stored in its min-bounded form
+//   for (.tile.iv = .floor.iv; .tile.iv < min(.floor.iv + tilesize, N); ++.tile.iv)
+// and carries an internal OMPInvariantPredicateBoundAttr hint. When a directive
----------------
Meinersbur wrote:

Consider testing the presence of OMPInvariantPredicateBoundAttr with `-ast-dump`

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