[all-commits] [llvm/llvm-project] 2bd664: [mlir][dataflow]Fix dense backward dataflow intrap...

[drblallo via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2bd6642533ce858c07f1c412e1b8a669c17afb54
      https://github.com/llvm/llvm-project/commit/2bd6642533ce858c07f1c412e1b8a669c17afb54
  Author: drblallo <blalloscompany at gmail.com>
  Date:   2024-01-04 (Thu, 04 Jan 2024)

  Changed paths:
    M mlir/lib/Analysis/DataFlow/DenseAnalysis.cpp
    M mlir/test/Analysis/DataFlow/test-next-access.mlir

  Log Message:
  -----------
  [mlir][dataflow]Fix dense backward dataflow intraprocedural hook (#76865)

The dataflow analysis framework within MLIR allows to customize the
transfer function when a `call-like` operation is encuntered.

The check to see if the analysis was executed in intraprocedural mode
was executed after the check to see if the callee had the
CallableOpInterface, and thus intraprocedural analyses would behave as
interpocedural ones when performing indirect calls.

This commit fixes the issue by performing the check for
intraprocedurality first.

Dense forward analyses were already behaving correctly.
https://github.com/llvm/llvm-project/blob/main/mlir/lib/Analysis/DataFlow/DenseAnalysis.cpp#L63

Co-authored-by: massimo <mo.fioravanti at gmail.com>