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

[Tobias Gysi]

gysit wrote:

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

It is definitely more complex than the current solution. It requires at least one additional mapping from the initially unknown values to all their uses and some dummy poison values that are used initially. Plus I guess we can only check at the end of the translation if all unknown values have been set. If possible I would like to avoid that complexity.

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