[flang-commits] [flang] [flang] Add FIR AliasAnalysis alias() wrapper to allow external getSource() method (PR #115073)
Razvan Lupusoru via flang-commits
flang-commits at lists.llvm.org
Tue Nov 5 14:47:27 PST 2024
================
@@ -130,18 +131,25 @@ bool AliasAnalysis::Source::mayBeActualArgWithPtr(
}
AliasResult AliasAnalysis::alias(mlir::Value lhs, mlir::Value rhs) {
+ // A wrapper around alias(Source lhsSrc, Source rhsSrc, mlir::Value lhs,
+ // mlir::Value rhs) This allows a user to provide Source that may be obtained
+ // through other dialects
+ auto lhsSrc = getSource(lhs);
+ auto rhsSrc = getSource(rhs);
+ return alias(lhsSrc, rhsSrc, lhs, rhs);
+}
+
+AliasResult AliasAnalysis::alias(Source lhsSrc, Source rhsSrc, mlir::Value lhs,
+ mlir::Value rhs) {
// TODO: alias() has to be aware of the function scopes.
// After MLIR inlining, the current implementation may
// not recognize non-aliasing entities.
- auto lhsSrc = getSource(lhs);
- auto rhsSrc = getSource(rhs);
bool approximateSource = lhsSrc.approximateSource || rhsSrc.approximateSource;
LLVM_DEBUG(llvm::dbgs() << "\nAliasAnalysis::alias\n";
llvm::dbgs() << " lhs: " << lhs << "\n";
llvm::dbgs() << " lhsSrc: " << lhsSrc << "\n";
llvm::dbgs() << " rhs: " << rhs << "\n";
llvm::dbgs() << " rhsSrc: " << rhsSrc << "\n";);
-
----------------
razvanlupusoru wrote:
Extra line should be OK to stay.
https://github.com/llvm/llvm-project/pull/115073
More information about the flang-commits
mailing list