Unverified Commit 2bd66425 authored by drblallo's avatar drblallo Committed by GitHub
Browse files

[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: default avatarmassimo <mo.fioravanti@gmail.com>
parent 7954c571
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment