[SYCL-MLIR]: Enhance ParallelLICM to handle affine loops and consider aliased operations (#8310)

This PR improves the ParallelLICM polygeist transformations:
- allow checking for memory conflicts throughout blocks for non-parallel
loops
  - transform also affineLoopOp
- use alias analysis to prove conflicting operations on the same
resource are safe to hoist

---------

Signed-off-by: Tiotto, Ettore <[email protected]>

Author: etiotto

polygeist/include/polygeist/Passes/Passes.td

@@ -68,6 +68,10 @@ def SCFCanonicalizeFor : Pass<"canonicalize-scf-for"> {
 def ParallelLICM : Pass<"parallel-licm"> {
   let summary = "Perform LICM on known parallel (and serial) loops";
   let constructor = "mlir::polygeist::createParallelLICMPass()";
+
+  let statistics = [
+    Statistic<"numOpHoisted", "num-operations-hoisted", "Number of operations hoisted">
+  ];
 }
 
 def OpenMPOptPass : Pass<"openmp-opt"> {