[Mlir-commits] [mlir] [mlir][spirv] Split conditional basic blocks during deserialization (PR #127639)

[Jakub Kuderski]

kuhar wrote:

> @kuhar if you're happy with the updated code then it's ready. Should we wait for @mishaobu to okay it before we merge it?

Seems like they have some stake in this code, so yes.

> Now, the "issues" that is still present (although it doesn't cause any crashes with this patch) is that the deserialzier is non-deterministic due to use of a `DenseMap`. The selection and loop regions are sunk by iterating the `DenseMap` and the order of items within map may vary from run to run, as the`Block` pointer is used as a key. This doesn’t cause any issues with supported shaders; however, it makes debugging more difficult when things fail. Anyway, it’s outside the scope of this PR.

Could you open an issue for this and add a TODO that links to it in the code?

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