================
@@ -69,14 +170,20 @@ mlir::AliasResult CIRBasicAliasAnalysis::alias(mlir::Value
lhs,
return mlir::AliasResult::MustAlias;
}
- if (areDistinctObjects(lhs, rhs)) {
+ ObjectRelation relation = classifyObjects(lhs, rhs);
+ switch (relation) {
+ case ObjectRelation::Distinct:
LDBG() << "No alias between distinct objects";
return mlir::AliasResult::NoAlias;
+ case ObjectRelation::Identical:
----------------
bcardosolopes wrote:
gotcha, thanks for the clarification
https://github.com/llvm/llvm-project/pull/215683
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
