[mlir:DataFlowAnalysis] Reprocess the arguments of already executable edges
authorRiver Riddle <riddleriver@gmail.com>
Wed, 22 Sep 2021 20:07:05 +0000 (20:07 +0000)
committerRiver Riddle <riddleriver@gmail.com>
Wed, 22 Sep 2021 20:14:55 +0000 (20:14 +0000)
commit6e60bb6883178cf14e6fd47a6789495636e4322f
tree6c46379d9ef47dcb7a16d11ef825a8e3ec78b7f3
parentb2b63d1b9122befaf44bf91a3ed1e8a71c6ffe06
[mlir:DataFlowAnalysis] Reprocess the arguments of already executable edges

This fixes a bug where we discover new information about the arguments of an
already executable edge, but don't visit the arguments. We only visit the arguments, and not the block itself, so this commit shouldn't really affect performance at all.

Fixes PR#51871

Differential Revision: https://reviews.llvm.org/D110197
mlir/lib/Analysis/DataFlowAnalysis.cpp
mlir/test/Transforms/sccp.mlir