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: nir_lower_phis_to_regs_block: Assertion `src->src.is_ssa' failed. #14

Open Jack-Clark opened 2 years ago

Jack-Clark commented 2 years ago

Running amber -t spv1.3 -v 1.1 nir_lower_phis_to_regs_block.amber gives the following error:

amber: ../src/compiler/nir/nir_from_ssa.c:1009: nir_lower_phis_to_regs_block: Assertion `src->src.is_ssa' failed.
Aborted (core dumped)

I can reproduce this on the 22.0.1 release and main (9f44a264623). Here is the CFG: nir_lower_phis_to_regs_block nir_lower_phis_to_regs_block.tar.gz