diff options
| author | River Riddle <riddleriver@gmail.com> | 2020-07-14 12:55:58 -0700 |
|---|---|---|
| committer | River Riddle <riddleriver@gmail.com> | 2020-07-14 13:06:08 -0700 |
| commit | b98f414a04e19202669a4273e620bc12b5054413 (patch) | |
| tree | c0fd3d2d7a8a33ae7512ae4cc2b5ad02a5e820fc /llvm/lib/IR/Function.cpp | |
| parent | c3e6555616fd92e21b17fbc27f8c145c27890f1a (diff) | |
| download | llvm-b98f414a04e19202669a4273e620bc12b5054413.zip llvm-b98f414a04e19202669a4273e620bc12b5054413.tar.gz llvm-b98f414a04e19202669a4273e620bc12b5054413.tar.bz2 | |
[mlir][DialectConversion] Emit an error if an operation marked as erased has live users after conversion
Up until now, there has been an implicit agreement that when an operation is marked as
"erased" all uses of that operation's results are guaranteed to be removed during conversion. How this works in practice is that there is either an assert/crash/asan failure/etc. This revision adds support for properly detecting when an erased operation has dangling users, emits and error and fails the conversion.
Differential Revision: https://reviews.llvm.org/D82830
Diffstat (limited to 'llvm/lib/IR/Function.cpp')
0 files changed, 0 insertions, 0 deletions