MESA: NIR validation failed after nir_opt_if

[Jack-Clark]

When running the amber file in the attached archive, I get the following error:

NIR validation failed after nir_opt_if
3 errors:
shader: MESA_SHADER_COMPUTE
source_sha1: {0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000}
workgroup-size: 1, 1, 1
shared-size: 0
inputs: 0
outputs: 0
uniforms: 0
shared: 0
ray queries: 0
decl_var ssbo INTERP_MODE_NONE restrict readonly block @0 (~0, 0, 2)
decl_var ssbo INTERP_MODE_NONE restrict readonly block @1 (~0, 0, 1)
decl_var ssbo INTERP_MODE_NONE restrict writeonly block @2 (~0, 0, 4)
decl_function main (0 params)

impl main {
	decl_var  INTERP_MODE_NONE uint @3
	decl_var  INTERP_MODE_NONE uint @4
	decl_var  INTERP_MODE_NONE uint @5
	decl_var  INTERP_MODE_NONE bool cont
	block block_0:
	/* preds: */
	vec1 32 ssa_64 = load_const (0x00000000 = 0.000000)
	vec1 32 ssa_52 = load_const (0x00000001 = 0.000000)
	vec1 32 ssa_51 = load_const (0x0000000e = 0.000000)
	vec1 32 ssa_38 = load_const (0x0000000f = 0.000000)
	/* succs: block_1 */
	loop {
		block block_1:
		/* preds: block_0 block_6 block_7 */
		vec1 32 ssa_106 = phi block_0: ssa_64, block_6: ssa_106, block_7: ssa_53
		vec1 32 ssa_105 = phi block_0: ssa_64, block_6: ssa_14, block_7: ssa_14
		vec1 32 ssa_104 = phi block_0: ssa_64, block_6: ssa_28, block_7: ssa_28
		vec4 32 ssa_5 = intrinsic vulkan_resource_index (ssa_64) (desc_set=0, binding=1, desc_type=SSBO /*7*/)
		vec4 32 ssa_6 = intrinsic load_vulkan_descriptor (ssa_5) (desc_type=SSBO /*7*/)
		vec4 32 ssa_7 = deref_cast (block *)ssa_6 (ssbo block)  /* ptr_stride=0, align_mul=0, align_offset=0 */
		vec4 32 ssa_8 = deref_struct &ssa_7->field0 (ssbo uint[2]) /* &((block *)ssa_6)->field0 */
		vec4 32 ssa_9 = deref_array &(*ssa_8)[ssa_105] (ssbo uint) /* &((block *)ssa_6)->field0[ssa_105] */
		vec1 32 ssa_10 = intrinsic load_deref (ssa_9) (access=80)
		vec1  1 ssa_12 = ieq ssa_10, ssa_52
		vec1  1 ssa_107 = inot ssa_12
		vec1 32 ssa_14 = iadd ssa_105, ssa_52
		/* succs: block_2 block_3 */
		if ssa_107 {
			block block_2:
			/* preds: block_1 */
			break
			/* succs: block_8 */
		} else {
			block block_3:
			/* preds: block_1 */
			/* succs: block_4 */
		}
		block block_4:
		/* preds: block_3 */
		vec4 32 ssa_19 = intrinsic vulkan_resource_index (ssa_64) (desc_set=0, binding=2, desc_type=SSBO /*7*/)
		vec4 32 ssa_20 = intrinsic load_vulkan_descriptor (ssa_19) (desc_type=SSBO /*7*/)
		vec4 32 ssa_21 = deref_cast (block *)ssa_20 (ssbo block)  /* ptr_stride=0, align_mul=0, align_offset=0 */
		vec4 32 ssa_22 = deref_struct &ssa_21->field0 (ssbo uint[1]) /* &((block *)ssa_20)->field0 */
		vec4 32 ssa_23 = deref_array &(*ssa_22)[ssa_104] (ssbo uint) /* &((block *)ssa_20)->field0[ssa_104] */
		vec1 32 ssa_24 = intrinsic load_deref (ssa_23) (access=80)
		vec1  1 ssa_26 = ieq ssa_24, ssa_52
		vec1 32 ssa_28 = iadd ssa_104, ssa_52
		/* succs: block_5 block_6 */
		if ssa_26 {
			block block_5:
			/* preds: block_4 */
			vec4 32 ssa_33 = intrinsic vulkan_resource_index (ssa_64) (desc_set=0, binding=4, desc_type=SSBO /*7*/)
			vec4 32 ssa_34 = intrinsic load_vulkan_descriptor (ssa_33) (desc_type=SSBO /*7*/)
			vec4 32 ssa_35 = deref_cast (block *)ssa_34 (ssbo block)  /* ptr_stride=0, align_mul=0, align_offset=0 */
			vec4 32 ssa_36 = deref_struct &ssa_35->field0 (ssbo uint[14]) /* &((block *)ssa_34)->field0 */
			vec4 32 ssa_37 = deref_array &(*ssa_36)[ssa_106] (ssbo uint) /* &((block *)ssa_34)->field0[ssa_106] */
			intrinsic store_deref (ssa_37, ssa_38) (wrmask=x /*1*/, access=8)
			vec1 32 ssa_40 = iadd ssa_106, ssa_52
			vec4 32 ssa_46 = intrinsic vulkan_resource_index (ssa_64) (desc_set=0, binding=4, desc_type=SSBO /*7*/)
			vec4 32 ssa_47 = intrinsic load_vulkan_descriptor (ssa_46) (desc_type=SSBO /*7*/)
			vec4 32 ssa_48 = deref_cast (block *)ssa_47 (ssbo block)  /* ptr_stride=0, align_mul=0, align_offset=0 */
			vec4 32 ssa_49 = deref_struct &ssa_48->field0 (ssbo uint[14]) /* &((block *)ssa_47)->field0 */
			vec4 32 ssa_50 = deref_array &(*ssa_49)[ssa_76] (ssbo uint) /* &((block *)ssa_47)->field0[ssa_76] */
error: entry (../src/compiler/nir/nir_validate.c:205)

			intrinsic store_deref (ssa_50, ssa_51) (wrmask=x /*1*/, access=8)
			vec1 32 ssa_53 = iadd ssa_76, ssa_52
error: entry (../src/compiler/nir/nir_validate.c:205)

			/* succs: block_7 */
		} else {
			block block_6:
			/* preds: block_4 */
			continue
			/* succs: block_1 */
		}
		block block_7:
		/* preds: block_5 */
		vec1 32 ssa_76 = phi block_5: ssa_40
		/* succs: block_1 */
	}
	block block_8:
	/* preds: block_2 */
	/* succs: block_9 */
	block block_9:
}

1 additional errors:
error: state->ssa_srcs->entries == 0 (../src/compiler/nir/nir_validate.c:1667)
Aborted (core dumped)

I can reproduce this on branch 21.3 (commit 813ee839be2), 22.0 (commit 4a8d3189fdb) and on main (e11bedb9f5d).

$ glxinfo | grep Mesa
client glx vendor string: Mesa Project and SGI
    Device: Mesa Intel(R) Xe Graphics (TGL GT2) (0x9a49)
OpenGL renderer string: Mesa Intel(R) Xe Graphics (TGL GT2)
OpenGL core profile version string: 4.6 (Core Profile) Mesa 22.1.0-devel (git-e11bedb9f5)
OpenGL version string: 4.6 (Compatibility Profile) Mesa 22.1.0-devel (git-e11bedb9f5)
OpenGL ES profile version string: OpenGL ES 3.2 Mesa 22.1.0-devel (git-e11bedb9f5)