seanbaxter/shaders

OpPhi's incoming basic block ... is not a predecessor of ...

FROL256 opened this issue · 2 comments

FROL256 commented

  1. The source code to reproduce the bug: https://drive.google.com/file/d/1HaSsqCharKF2mdg8wMA6IrPDwy3fL848/view?usp=sharing

  2. The error from validation layer:

UNASSIGNED-CoreValidation-Shader-InconsistentSpirv(ERROR / SPEC): msgNum: 7060244 - Validation Error: [ UNASSIGNED-CoreValidation-Shader-InconsistentSpirv ] Object 0: handle = 0x555555c61e28, type = VK_OBJECT_TYPE_DEVICE; | MessageID = 0x6bbb14 | SPIR-V module not valid: OpPhi's incoming basic block <id> 187[%187] is not a predecessor of <id> 279[%279].
  %297 = OpPhi %bool %false %187 %295 %280
  1. Seems the problem is inside "RaySphereHit" function, but it is quite simple.

Would be happy if you could look at this, many thanks!

seanbaxter commented

It's a known structurization problem I have. Will make another attempt to fix it soon.

FROL256 commented

That's great, thank you very much! I will report more bugs with the new release.