[all-commits] [llvm/llvm-project] d47dd1: [mlir] Add support for querying the ModRef behavio...

[River Riddle via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d47dd11071322ad7be6ec7e35a89d0d8f26534b9
      https://github.com/llvm/llvm-project/commit/d47dd11071322ad7be6ec7e35a89d0d8f26534b9
  Author: River Riddle <riddleriver at gmail.com>
  Date:   2021-05-27 (Thu, 27 May 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/AliasAnalysis.h
    M mlir/include/mlir/Analysis/AliasAnalysis/LocalAliasAnalysis.h
    M mlir/lib/Analysis/AliasAnalysis.cpp
    M mlir/lib/Analysis/AliasAnalysis/LocalAliasAnalysis.cpp
    A mlir/test/Analysis/test-alias-analysis-modref.mlir
    M mlir/test/lib/Analysis/TestAliasAnalysis.cpp

  Log Message:
  -----------
  [mlir] Add support for querying the ModRef behavior from the AliasAnalysis class

This allows for checking if a given operation may modify/reference/or both a given value. Right now this API is limited to Value based memory locations, but we should expand this to include attribute based values at some point. This is left for future work because the rest of the AliasAnalysis API also has this restriction.

Differential Revision: https://reviews.llvm.org/D101673