[Mlir-commits] [mlir] [mlir][llvm] Drop unreachable basic block during import (PR #78467)

[Mehdi Amini]

joker-eph wrote:

> The import in its current form cannot support this since all operand values need to exist before the operation is converted. There is currently no mechanism to create temporary values that then later on are magically replaced. 

Sure, but such mechanism could be implemented fairly easily right?

> Is there a use case for such unreachable blocks in MLIR? 

There may not be actual use-cases to import them in practice. It just makes me always a bit nervous when the translation isn't "faithful" ;)

https://github.com/llvm/llvm-project/pull/78467