blob: d8bf933d81f8a5bcb05a865f9d072e20aeb33d59 [file] [log] [blame]
//===- LocalAliasAnalysis.h - Local Stateless Alias Analysis ----*- C++ -*-===//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
// This file contains the implementation of a local stateless alias analysis.
// This analysis walks from the values being compared to determine their
// potential for aliasing.
#include "mlir/Analysis/AliasAnalysis.h"
namespace mlir {
/// This class implements a local form of alias analysis that tries to identify
/// the underlying values addressed by each value and performs a few basic
/// checks to see if they alias.
class LocalAliasAnalysis {
/// Given two values, return their aliasing behavior.
AliasResult alias(Value lhs, Value rhs);
/// Return the modify-reference behavior of `op` on `location`.
ModRefResult getModRef(Operation *op, Value location);
} // end namespace mlir