Fix backward slice corner case
authorNicolas Vasilache <ntv@google.com>
Fri, 26 Jul 2019 10:48:51 +0000 (03:48 -0700)
committerA. Unique TensorFlower <gardener@tensorflow.org>
Fri, 26 Jul 2019 10:49:17 +0000 (03:49 -0700)
commit54175c240a8198c621caa83c418b5b067c9c9c40
treebfec0b9a3f451cb4491706946db1c4f1b8b25762
parent00b48e1a9fa91ef53218a587e56d5ef75443458a
Fix backward slice corner case

In the backward slice computation, BlockArgument coming from function arguments represent a natural boundary for the traversal and should not trigger llvm_unreachable.
This CL also improves the error message and adds a relevant test.

PiperOrigin-RevId: 260118630
mlir/lib/Analysis/SliceAnalysis.cpp
mlir/test/Transforms/slicing-utils.mlir