search

mc-imperial / spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy
Apache License 2.0
2 stars 0 forks source link

MESA: validate_intrinsic_instr: Assertion `dst' failed. #22

Open Jack-Clark opened 2 years ago

Jack-Clark commented 2 years ago

Running amber validate_intrinsic_instr.amber from the attached archive gives:

amber: ../src/compiler/nir/nir_validate.c:628: validate_intrinsic_instr: Assertion `dst' failed.
Aborted (core dumped)

Device: Mesa Intel(R) Xe Graphics (TGL GT2). I can reproduce this using the mesa 22.1.0 tag.

Note that this is from the tests that do path swapping at barriers. We aren't 100% sure of the correctness of those tests w.r.t the intended output, however since this is a crash bug and the code is valid SPIR-V, the mesa compiler shouldn't crash.