mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2024-11-30 09:01:19 +00:00
2bd6642533
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@gmail.com> |
||
|---|---|---|
| .. | ||
| DataFlow | ||
| invalid.mlir | ||
| test-alias-analysis-extending.mlir | ||
| test-alias-analysis-modref.mlir | ||
| test-alias-analysis.mlir | ||
| test-callgraph.mlir | ||
| test-cfg-loop-info.mlir | ||
| test-dominance.mlir | ||
| test-foo-analysis.mlir | ||
| test-liveness.mlir | ||
| test-match-reduction.mlir | ||
| test-shape-fn-report.mlir | ||
| test-topoligical-sort.mlir | ||