[flang-commits] [flang] [Flang]Add support for inlining hlfir.assign operation where both LHS and RHS are slices of the same array (PR #204532)

via flang-commits flang-commits at lists.llvm.org
Wed Jun 24 08:28:34 PDT 2026


================
@@ -193,6 +194,56 @@ ArraySectionAnalyzer::analyze(mlir::Value ref1, mlir::Value ref2,
   return SlicesOverlapKind::Unknown;
 }
 
+mlir::Value ArraySectionAnalyzer::genRuntimeDisjointnessCheck(
+    mlir::Location loc, mlir::OpBuilder &builder, mlir::Value lhsRef,
+    mlir::Value rhsRef) {
----------------
jeanPerier wrote:

OK, thanks for the data points. Falling back to generating `genAddressBasedDisjointnessCheck` inside `genIndexBasedDisjointnessCheck` may be a good next step whenever this comes up as needed for performance.

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


More information about the flang-commits mailing list