[mlir] Extended Liveness analysis to support nested regions.
authorMarcel Koester <marcel.koester@dfki.de>
Wed, 8 Apr 2020 08:31:18 +0000 (10:31 +0200)
committerMarcel Koester <marcel.koester@dfki.de>
Thu, 23 Apr 2020 14:19:54 +0000 (16:19 +0200)
commitc79227cabb3059b4f01c07b6f8bfc7986a71d156
treee47383577754a050d171e90d7590b7682ba28826
parent62da6ecea298739ad59c0563ce6d9493804ef1f0
[mlir] Extended Liveness analysis to support nested regions.

The current Liveness analysis does not support operations with nested regions.
This causes issues when querying liveness information about blocks nested within
operations. Furthermore, the live-in and live-out sets are not computed properly
in these cases.

Differential Revision: https://reviews.llvm.org/D77714
mlir/include/mlir/IR/Region.h
mlir/lib/Analysis/Liveness.cpp
mlir/lib/IR/Region.cpp
mlir/test/Analysis/test-liveness.mlir