src/compiler/spirv/tests/workarounds.cpp - third_party/mesa - Git at Google

 /*
  * Copyright © 2025 Valve Corporation
  *
  * SPDX-License-Identifier: MIT
  */
 #include "helpers.h"

 class Workarounds : public spirv_test {};

 TEST_F(Workarounds, force_ssbo_non_uniform)
 {
    /*
                OpCapability Shader
           %1 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint GLCompute %main "main"
                OpExecutionMode %main LocalSize 1 1 1
                OpSource GLSL 460
                OpSourceExtension "GL_EXT_buffer_reference"
                OpName %main "main"
                OpName %data "data"
                OpMemberName %data 0 "v"
                OpName %ssbo "ssbo"
                OpDecorate %_runtimearr_float ArrayStride 4
                OpDecorate %data BufferBlock
                OpMemberDecorate %data 0 Offset 0
                OpDecorate %ssbo Binding 0
                OpDecorate %ssbo DescriptorSet 0
        %void = OpTypeVoid
           %3 = OpTypeFunction %void
       %float = OpTypeFloat 32
 %_runtimearr_float = OpTypeRuntimeArray %float
        %data = OpTypeStruct %_runtimearr_float
 %_ptr_Uniform_data = OpTypePointer Uniform %data
        %ssbo = OpVariable %_ptr_Uniform_data Uniform
         %int = OpTypeInt 32 1
       %int_0 = OpConstant %int 0
     %float_0 = OpConstant %float 0
 %_ptr_Uniform_float = OpTypePointer Uniform %float
        %main = OpFunction %void None %3
           %5 = OpLabel
          %15 = OpAccessChain %_ptr_Uniform_float %ssbo %int_0 %int_0
                OpStore %15 %float_0
                OpReturn
                OpFunctionEnd
    */
    static const uint32_t words[] = {
       0x07230203, 0x00010000, 0x0008000b, 0x00000010, 0x00000000, 0x00020011,
       0x00000001, 0x0006000b, 0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e,
       0x00000000, 0x0003000e, 0x00000000, 0x00000001, 0x0005000f, 0x00000005,
       0x00000004, 0x6e69616d, 0x00000000, 0x00060010, 0x00000004, 0x00000011,
       0x00000001, 0x00000001, 0x00000001, 0x00030003, 0x00000002, 0x000001cc,
       0x00070004, 0x455f4c47, 0x625f5458, 0x65666675, 0x65725f72, 0x65726566,
       0x0065636e, 0x00040005, 0x00000004, 0x6e69616d, 0x00000000, 0x00040005,
       0x00000008, 0x61746164, 0x00000000, 0x00040006, 0x00000008, 0x00000000,
       0x00000076, 0x00040005, 0x0000000a, 0x6f627373, 0x00000000, 0x00040047,
       0x00000007, 0x00000006, 0x00000004, 0x00030047, 0x00000008, 0x00000003,
       0x00050048, 0x00000008, 0x00000000, 0x00000023, 0x00000000, 0x00040047,
       0x0000000a, 0x00000021, 0x00000000, 0x00040047, 0x0000000a, 0x00000022,
       0x00000000, 0x00020013, 0x00000002, 0x00030021, 0x00000003, 0x00000002,
       0x00030016, 0x00000006, 0x00000020, 0x0003001d, 0x00000007, 0x00000006,
       0x0003001e, 0x00000008, 0x00000007, 0x00040020, 0x00000009, 0x00000002,
       0x00000008, 0x0004003b, 0x00000009, 0x0000000a, 0x00000002, 0x00040015,
       0x0000000b, 0x00000020, 0x00000001, 0x0004002b, 0x0000000b, 0x0000000c,
       0x00000000, 0x0004002b, 0x00000006, 0x0000000d, 0x00000000, 0x00040020,
       0x0000000e, 0x00000002, 0x00000006, 0x00050036, 0x00000002, 0x00000004,
       0x00000000, 0x00000003, 0x000200f8, 0x00000005, 0x00060041, 0x0000000e,
       0x0000000f, 0x0000000a, 0x0000000c, 0x0000000c, 0x0003003e, 0x0000000f,
       0x0000000d, 0x000100fd, 0x00010038,
    };

    spirv_options.workarounds.force_ssbo_non_uniform = true;

    get_nir(sizeof(words) / sizeof(words[0]), words, MESA_SHADER_COMPUTE);

    nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_store_deref, 0);
    ASSERT_NE(intrinsic, nullptr);

    ASSERT_EQ(nir_intrinsic_access(intrinsic), ACCESS_NON_UNIFORM);
 }

 TEST_F(Workarounds, force_tex_non_uniform)
 {
    /*
                OpCapability Shader
           %1 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Fragment %main "main" %color %coord
                OpExecutionMode %main OriginUpperLeft
                OpSource GLSL 460
                OpName %main "main"
                OpName %color "color"
                OpName %samplerColor "samplerColor"
                OpName %coord "coord"
                OpDecorate %color Location 0
                OpDecorate %samplerColor Binding 0
                OpDecorate %samplerColor DescriptorSet 0
                OpDecorate %coord Location 0
        %void = OpTypeVoid
           %3 = OpTypeFunction %void
       %float = OpTypeFloat 32
     %v4float = OpTypeVector %float 4
 %_ptr_Output_v4float = OpTypePointer Output %v4float
       %color = OpVariable %_ptr_Output_v4float Output
          %10 = OpTypeImage %float 2D 0 0 0 1 Unknown
          %11 = OpTypeSampledImage %10
 %_ptr_UniformConstant_11 = OpTypePointer UniformConstant %11
 %samplerColor = OpVariable %_ptr_UniformConstant_11 UniformConstant
     %v2float = OpTypeVector %float 2
 %_ptr_Input_v2float = OpTypePointer Input %v2float
       %coord = OpVariable %_ptr_Input_v2float Input
        %main = OpFunction %void None %3
           %5 = OpLabel
          %14 = OpLoad %11 %samplerColor
          %18 = OpLoad %v2float %coord
          %19 = OpImageSampleImplicitLod %v4float %14 %18
                OpStore %color %19
                OpReturn
                OpFunctionEnd
    */
    static const uint32_t words[] = {
       0x07230203, 0x00010000, 0x0008000b, 0x00000014, 0x00000000, 0x00020011,
       0x00000001, 0x0006000b, 0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e,
       0x00000000, 0x0003000e, 0x00000000, 0x00000001, 0x0007000f, 0x00000004,
       0x00000004, 0x6e69616d, 0x00000000, 0x00000009, 0x00000011, 0x00030010,
       0x00000004, 0x00000007, 0x00030003, 0x00000002, 0x000001cc, 0x00040005,
       0x00000004, 0x6e69616d, 0x00000000, 0x00040005, 0x00000009, 0x6f6c6f63,
       0x00000072, 0x00060005, 0x0000000d, 0x706d6173, 0x4372656c, 0x726f6c6f,
       0x00000000, 0x00040005, 0x00000011, 0x726f6f63, 0x00000064, 0x00040047,
       0x00000009, 0x0000001e, 0x00000000, 0x00040047, 0x0000000d, 0x00000021,
       0x00000000, 0x00040047, 0x0000000d, 0x00000022, 0x00000000, 0x00040047,
       0x00000011, 0x0000001e, 0x00000000, 0x00020013, 0x00000002, 0x00030021,
       0x00000003, 0x00000002, 0x00030016, 0x00000006, 0x00000020, 0x00040017,
       0x00000007, 0x00000006, 0x00000004, 0x00040020, 0x00000008, 0x00000003,
       0x00000007, 0x0004003b, 0x00000008, 0x00000009, 0x00000003, 0x00090019,
       0x0000000a, 0x00000006, 0x00000001, 0x00000000, 0x00000000, 0x00000000,
       0x00000001, 0x00000000, 0x0003001b, 0x0000000b, 0x0000000a, 0x00040020,
       0x0000000c, 0x00000000, 0x0000000b, 0x0004003b, 0x0000000c, 0x0000000d,
       0x00000000, 0x00040017, 0x0000000f, 0x00000006, 0x00000002, 0x00040020,
       0x00000010, 0x00000001, 0x0000000f, 0x0004003b, 0x00000010, 0x00000011,
       0x00000001, 0x00050036, 0x00000002, 0x00000004, 0x00000000, 0x00000003,
       0x000200f8, 0x00000005, 0x0004003d, 0x0000000b, 0x0000000e, 0x0000000d,
       0x0004003d, 0x0000000f, 0x00000012, 0x00000011, 0x00050057, 0x00000007,
       0x00000013, 0x0000000e, 0x00000012, 0x0003003e, 0x00000009, 0x00000013,
       0x000100fd, 0x00010038,
    };

    spirv_options.workarounds.force_tex_non_uniform = true;

    get_nir(sizeof(words) / sizeof(words[0]), words, MESA_SHADER_FRAGMENT);

    nir_tex_instr *tex_instr = find_tex_instr(nir_texop_tex, 0);
    ASSERT_NE(tex_instr, nullptr);

    ASSERT_TRUE(tex_instr->texture_non_uniform);
 }

 TEST_F(Workarounds, lower_terminate_to_discard)
 {
    /*
                OpCapability Shader
                OpExtension "SPV_KHR_terminate_invocation"
           %1 = OpExtInstImport "GLSL.std.450"
                OpMemoryModel Logical GLSL450
                OpEntryPoint Fragment %main "main" %coord %color
                OpExecutionMode %main OriginUpperLeft
                OpSource GLSL 460
                OpSourceExtension "GL_EXT_terminate_invocation"
                OpName %main "main"
                OpName %coord "coord"
                OpName %color "color"
                OpDecorate %coord Location 0
                OpDecorate %color Location 0
        %void = OpTypeVoid
           %3 = OpTypeFunction %void
       %float = OpTypeFloat 32
     %v2float = OpTypeVector %float 2
 %_ptr_Input_v2float = OpTypePointer Input %v2float
       %coord = OpVariable %_ptr_Input_v2float Input
        %uint = OpTypeInt 32 0
      %uint_0 = OpConstant %uint 0
 %_ptr_Input_float = OpTypePointer Input %float
     %float_0 = OpConstant %float 0
        %bool = OpTypeBool
     %v4float = OpTypeVector %float 4
 %_ptr_Output_v4float = OpTypePointer Output %v4float
       %color = OpVariable %_ptr_Output_v4float Output
          %24 = OpConstantComposite %v4float %float_0 %float_0 %float_0 %float_0
        %main = OpFunction %void None %3
           %5 = OpLabel
          %13 = OpAccessChain %_ptr_Input_float %coord %uint_0
          %14 = OpLoad %float %13
          %17 = OpFOrdEqual %bool %14 %float_0
                OpSelectionMerge %19 None
                OpBranchConditional %17 %18 %19
          %18 = OpLabel
                OpTerminateInvocation
          %19 = OpLabel
                OpStore %color %24
                OpReturn
                OpFunctionEnd
    */
    static const uint32_t words[] = {
       0x07230203, 0x00010000, 0x0008000b, 0x00000019, 0x00000000, 0x00020011,
       0x00000001, 0x0009000a, 0x5f565053, 0x5f52484b, 0x6d726574, 0x74616e69,
       0x6e695f65, 0x61636f76, 0x6e6f6974, 0x00000000, 0x0006000b, 0x00000001,
       0x4c534c47, 0x6474732e, 0x3035342e, 0x00000000, 0x0003000e, 0x00000000,
       0x00000001, 0x0007000f, 0x00000004, 0x00000004, 0x6e69616d, 0x00000000,
       0x00000009, 0x00000017, 0x00030010, 0x00000004, 0x00000007, 0x00030003,
       0x00000002, 0x000001cc, 0x00080004, 0x455f4c47, 0x745f5458, 0x696d7265,
       0x6574616e, 0x766e695f, 0x7461636f, 0x006e6f69, 0x00040005, 0x00000004,
       0x6e69616d, 0x00000000, 0x00040005, 0x00000009, 0x726f6f63, 0x00000064,
       0x00040005, 0x00000017, 0x6f6c6f63, 0x00000072, 0x00040047, 0x00000009,
       0x0000001e, 0x00000000, 0x00040047, 0x00000017, 0x0000001e, 0x00000000,
       0x00020013, 0x00000002, 0x00030021, 0x00000003, 0x00000002, 0x00030016,
       0x00000006, 0x00000020, 0x00040017, 0x00000007, 0x00000006, 0x00000002,
       0x00040020, 0x00000008, 0x00000001, 0x00000007, 0x0004003b, 0x00000008,
       0x00000009, 0x00000001, 0x00040015, 0x0000000a, 0x00000020, 0x00000000,
       0x0004002b, 0x0000000a, 0x0000000b, 0x00000000, 0x00040020, 0x0000000c,
       0x00000001, 0x00000006, 0x0004002b, 0x00000006, 0x0000000f, 0x00000000,
       0x00020014, 0x00000010, 0x00040017, 0x00000015, 0x00000006, 0x00000004,
       0x00040020, 0x00000016, 0x00000003, 0x00000015, 0x0004003b, 0x00000016,
       0x00000017, 0x00000003, 0x0007002c, 0x00000015, 0x00000018, 0x0000000f,
       0x0000000f, 0x0000000f, 0x0000000f, 0x00050036, 0x00000002, 0x00000004,
       0x00000000, 0x00000003, 0x000200f8, 0x00000005, 0x00050041, 0x0000000c,
       0x0000000d, 0x00000009, 0x0000000b, 0x0004003d, 0x00000006, 0x0000000e,
       0x0000000d, 0x000500b4, 0x00000010, 0x00000011, 0x0000000e, 0x0000000f,
       0x000300f7, 0x00000013, 0x00000000, 0x000400fa, 0x00000011, 0x00000012,
       0x00000013, 0x000200f8, 0x00000012, 0x00011140, 0x000200f8, 0x00000013,
       0x0003003e, 0x00000017, 0x00000018, 0x000100fd, 0x00010038,
    };

    spirv_options.workarounds.lower_terminate_to_discard = true;

    /* Emitting demote instead of terminate is needed to verify the SPIR-V
     * workaround, otherwise terminate is always used.
     */
    nir_options.discard_is_demote = true;

    get_nir(sizeof(words) / sizeof(words[0]), words, MESA_SHADER_FRAGMENT);

    nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_demote, 0);
    ASSERT_NE(intrinsic, nullptr);
 }
	/*
	* Copyright © 2025 Valve Corporation
	*
	* SPDX-License-Identifier: MIT
	*/
	#include "helpers.h"

	class Workarounds : public spirv_test {};

	TEST_F(Workarounds, force_ssbo_non_uniform)
	{
	/*
	OpCapability Shader
	%1 = OpExtInstImport "GLSL.std.450"
	OpMemoryModel Logical GLSL450
	OpEntryPoint GLCompute %main "main"
	OpExecutionMode %main LocalSize 1 1 1
	OpSource GLSL 460
	OpSourceExtension "GL_EXT_buffer_reference"
	OpName %main "main"
	OpName %data "data"
	OpMemberName %data 0 "v"
	OpName %ssbo "ssbo"
	OpDecorate %_runtimearr_float ArrayStride 4
	OpDecorate %data BufferBlock
	OpMemberDecorate %data 0 Offset 0
	OpDecorate %ssbo Binding 0
	OpDecorate %ssbo DescriptorSet 0
	%void = OpTypeVoid
	%3 = OpTypeFunction %void
	%float = OpTypeFloat 32
	%_runtimearr_float = OpTypeRuntimeArray %float
	%data = OpTypeStruct %_runtimearr_float
	%_ptr_Uniform_data = OpTypePointer Uniform %data
	%ssbo = OpVariable %_ptr_Uniform_data Uniform
	%int = OpTypeInt 32 1
	%int_0 = OpConstant %int 0
	%float_0 = OpConstant %float 0
	%_ptr_Uniform_float = OpTypePointer Uniform %float
	%main = OpFunction %void None %3
	%5 = OpLabel
	%15 = OpAccessChain %_ptr_Uniform_float %ssbo %int_0 %int_0
	OpStore %15 %float_0
	OpReturn
	OpFunctionEnd
	*/
	static const uint32_t words[] = {
	0x07230203, 0x00010000, 0x0008000b, 0x00000010, 0x00000000, 0x00020011,
	0x00000001, 0x0006000b, 0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e,
	0x00000000, 0x0003000e, 0x00000000, 0x00000001, 0x0005000f, 0x00000005,
	0x00000004, 0x6e69616d, 0x00000000, 0x00060010, 0x00000004, 0x00000011,
	0x00000001, 0x00000001, 0x00000001, 0x00030003, 0x00000002, 0x000001cc,
	0x00070004, 0x455f4c47, 0x625f5458, 0x65666675, 0x65725f72, 0x65726566,
	0x0065636e, 0x00040005, 0x00000004, 0x6e69616d, 0x00000000, 0x00040005,
	0x00000008, 0x61746164, 0x00000000, 0x00040006, 0x00000008, 0x00000000,
	0x00000076, 0x00040005, 0x0000000a, 0x6f627373, 0x00000000, 0x00040047,
	0x00000007, 0x00000006, 0x00000004, 0x00030047, 0x00000008, 0x00000003,
	0x00050048, 0x00000008, 0x00000000, 0x00000023, 0x00000000, 0x00040047,
	0x0000000a, 0x00000021, 0x00000000, 0x00040047, 0x0000000a, 0x00000022,
	0x00000000, 0x00020013, 0x00000002, 0x00030021, 0x00000003, 0x00000002,
	0x00030016, 0x00000006, 0x00000020, 0x0003001d, 0x00000007, 0x00000006,
	0x0003001e, 0x00000008, 0x00000007, 0x00040020, 0x00000009, 0x00000002,
	0x00000008, 0x0004003b, 0x00000009, 0x0000000a, 0x00000002, 0x00040015,
	0x0000000b, 0x00000020, 0x00000001, 0x0004002b, 0x0000000b, 0x0000000c,
	0x00000000, 0x0004002b, 0x00000006, 0x0000000d, 0x00000000, 0x00040020,
	0x0000000e, 0x00000002, 0x00000006, 0x00050036, 0x00000002, 0x00000004,
	0x00000000, 0x00000003, 0x000200f8, 0x00000005, 0x00060041, 0x0000000e,
	0x0000000f, 0x0000000a, 0x0000000c, 0x0000000c, 0x0003003e, 0x0000000f,
	0x0000000d, 0x000100fd, 0x00010038,
	};

	spirv_options.workarounds.force_ssbo_non_uniform = true;

	get_nir(sizeof(words) / sizeof(words[0]), words, MESA_SHADER_COMPUTE);

	nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_store_deref, 0);
	ASSERT_NE(intrinsic, nullptr);

	ASSERT_EQ(nir_intrinsic_access(intrinsic), ACCESS_NON_UNIFORM);
	}

	TEST_F(Workarounds, force_tex_non_uniform)
	{
	/*
	OpCapability Shader
	%1 = OpExtInstImport "GLSL.std.450"
	OpMemoryModel Logical GLSL450
	OpEntryPoint Fragment %main "main" %color %coord
	OpExecutionMode %main OriginUpperLeft
	OpSource GLSL 460
	OpName %main "main"
	OpName %color "color"
	OpName %samplerColor "samplerColor"
	OpName %coord "coord"
	OpDecorate %color Location 0
	OpDecorate %samplerColor Binding 0
	OpDecorate %samplerColor DescriptorSet 0
	OpDecorate %coord Location 0
	%void = OpTypeVoid
	%3 = OpTypeFunction %void
	%float = OpTypeFloat 32
	%v4float = OpTypeVector %float 4
	%_ptr_Output_v4float = OpTypePointer Output %v4float
	%color = OpVariable %_ptr_Output_v4float Output
	%10 = OpTypeImage %float 2D 0 0 0 1 Unknown
	%11 = OpTypeSampledImage %10
	%_ptr_UniformConstant_11 = OpTypePointer UniformConstant %11
	%samplerColor = OpVariable %_ptr_UniformConstant_11 UniformConstant
	%v2float = OpTypeVector %float 2
	%_ptr_Input_v2float = OpTypePointer Input %v2float
	%coord = OpVariable %_ptr_Input_v2float Input
	%main = OpFunction %void None %3
	%5 = OpLabel
	%14 = OpLoad %11 %samplerColor
	%18 = OpLoad %v2float %coord
	%19 = OpImageSampleImplicitLod %v4float %14 %18
	OpStore %color %19
	OpReturn
	OpFunctionEnd
	*/
	static const uint32_t words[] = {
	0x07230203, 0x00010000, 0x0008000b, 0x00000014, 0x00000000, 0x00020011,
	0x00000001, 0x0006000b, 0x00000001, 0x4c534c47, 0x6474732e, 0x3035342e,
	0x00000000, 0x0003000e, 0x00000000, 0x00000001, 0x0007000f, 0x00000004,
	0x00000004, 0x6e69616d, 0x00000000, 0x00000009, 0x00000011, 0x00030010,
	0x00000004, 0x00000007, 0x00030003, 0x00000002, 0x000001cc, 0x00040005,
	0x00000004, 0x6e69616d, 0x00000000, 0x00040005, 0x00000009, 0x6f6c6f63,
	0x00000072, 0x00060005, 0x0000000d, 0x706d6173, 0x4372656c, 0x726f6c6f,
	0x00000000, 0x00040005, 0x00000011, 0x726f6f63, 0x00000064, 0x00040047,
	0x00000009, 0x0000001e, 0x00000000, 0x00040047, 0x0000000d, 0x00000021,
	0x00000000, 0x00040047, 0x0000000d, 0x00000022, 0x00000000, 0x00040047,
	0x00000011, 0x0000001e, 0x00000000, 0x00020013, 0x00000002, 0x00030021,
	0x00000003, 0x00000002, 0x00030016, 0x00000006, 0x00000020, 0x00040017,
	0x00000007, 0x00000006, 0x00000004, 0x00040020, 0x00000008, 0x00000003,
	0x00000007, 0x0004003b, 0x00000008, 0x00000009, 0x00000003, 0x00090019,
	0x0000000a, 0x00000006, 0x00000001, 0x00000000, 0x00000000, 0x00000000,
	0x00000001, 0x00000000, 0x0003001b, 0x0000000b, 0x0000000a, 0x00040020,
	0x0000000c, 0x00000000, 0x0000000b, 0x0004003b, 0x0000000c, 0x0000000d,
	0x00000000, 0x00040017, 0x0000000f, 0x00000006, 0x00000002, 0x00040020,
	0x00000010, 0x00000001, 0x0000000f, 0x0004003b, 0x00000010, 0x00000011,
	0x00000001, 0x00050036, 0x00000002, 0x00000004, 0x00000000, 0x00000003,
	0x000200f8, 0x00000005, 0x0004003d, 0x0000000b, 0x0000000e, 0x0000000d,
	0x0004003d, 0x0000000f, 0x00000012, 0x00000011, 0x00050057, 0x00000007,
	0x00000013, 0x0000000e, 0x00000012, 0x0003003e, 0x00000009, 0x00000013,
	0x000100fd, 0x00010038,
	};

	spirv_options.workarounds.force_tex_non_uniform = true;

	get_nir(sizeof(words) / sizeof(words[0]), words, MESA_SHADER_FRAGMENT);

	nir_tex_instr *tex_instr = find_tex_instr(nir_texop_tex, 0);
	ASSERT_NE(tex_instr, nullptr);

	ASSERT_TRUE(tex_instr->texture_non_uniform);
	}

	TEST_F(Workarounds, lower_terminate_to_discard)
	{
	/*
	OpCapability Shader
	OpExtension "SPV_KHR_terminate_invocation"
	%1 = OpExtInstImport "GLSL.std.450"
	OpMemoryModel Logical GLSL450
	OpEntryPoint Fragment %main "main" %coord %color
	OpExecutionMode %main OriginUpperLeft
	OpSource GLSL 460
	OpSourceExtension "GL_EXT_terminate_invocation"
	OpName %main "main"
	OpName %coord "coord"
	OpName %color "color"
	OpDecorate %coord Location 0
	OpDecorate %color Location 0
	%void = OpTypeVoid
	%3 = OpTypeFunction %void
	%float = OpTypeFloat 32
	%v2float = OpTypeVector %float 2
	%_ptr_Input_v2float = OpTypePointer Input %v2float
	%coord = OpVariable %_ptr_Input_v2float Input
	%uint = OpTypeInt 32 0
	%uint_0 = OpConstant %uint 0
	%_ptr_Input_float = OpTypePointer Input %float
	%float_0 = OpConstant %float 0
	%bool = OpTypeBool
	%v4float = OpTypeVector %float 4
	%_ptr_Output_v4float = OpTypePointer Output %v4float
	%color = OpVariable %_ptr_Output_v4float Output
	%24 = OpConstantComposite %v4float %float_0 %float_0 %float_0 %float_0
	%main = OpFunction %void None %3
	%5 = OpLabel
	%13 = OpAccessChain %_ptr_Input_float %coord %uint_0
	%14 = OpLoad %float %13
	%17 = OpFOrdEqual %bool %14 %float_0
	OpSelectionMerge %19 None
	OpBranchConditional %17 %18 %19
	%18 = OpLabel
	OpTerminateInvocation
	%19 = OpLabel
	OpStore %color %24
	OpReturn
	OpFunctionEnd
	*/
	static const uint32_t words[] = {
	0x07230203, 0x00010000, 0x0008000b, 0x00000019, 0x00000000, 0x00020011,
	0x00000001, 0x0009000a, 0x5f565053, 0x5f52484b, 0x6d726574, 0x74616e69,
	0x6e695f65, 0x61636f76, 0x6e6f6974, 0x00000000, 0x0006000b, 0x00000001,
	0x4c534c47, 0x6474732e, 0x3035342e, 0x00000000, 0x0003000e, 0x00000000,
	0x00000001, 0x0007000f, 0x00000004, 0x00000004, 0x6e69616d, 0x00000000,
	0x00000009, 0x00000017, 0x00030010, 0x00000004, 0x00000007, 0x00030003,
	0x00000002, 0x000001cc, 0x00080004, 0x455f4c47, 0x745f5458, 0x696d7265,
	0x6574616e, 0x766e695f, 0x7461636f, 0x006e6f69, 0x00040005, 0x00000004,
	0x6e69616d, 0x00000000, 0x00040005, 0x00000009, 0x726f6f63, 0x00000064,
	0x00040005, 0x00000017, 0x6f6c6f63, 0x00000072, 0x00040047, 0x00000009,
	0x0000001e, 0x00000000, 0x00040047, 0x00000017, 0x0000001e, 0x00000000,
	0x00020013, 0x00000002, 0x00030021, 0x00000003, 0x00000002, 0x00030016,
	0x00000006, 0x00000020, 0x00040017, 0x00000007, 0x00000006, 0x00000002,
	0x00040020, 0x00000008, 0x00000001, 0x00000007, 0x0004003b, 0x00000008,
	0x00000009, 0x00000001, 0x00040015, 0x0000000a, 0x00000020, 0x00000000,
	0x0004002b, 0x0000000a, 0x0000000b, 0x00000000, 0x00040020, 0x0000000c,
	0x00000001, 0x00000006, 0x0004002b, 0x00000006, 0x0000000f, 0x00000000,
	0x00020014, 0x00000010, 0x00040017, 0x00000015, 0x00000006, 0x00000004,
	0x00040020, 0x00000016, 0x00000003, 0x00000015, 0x0004003b, 0x00000016,
	0x00000017, 0x00000003, 0x0007002c, 0x00000015, 0x00000018, 0x0000000f,
	0x0000000f, 0x0000000f, 0x0000000f, 0x00050036, 0x00000002, 0x00000004,
	0x00000000, 0x00000003, 0x000200f8, 0x00000005, 0x00050041, 0x0000000c,
	0x0000000d, 0x00000009, 0x0000000b, 0x0004003d, 0x00000006, 0x0000000e,
	0x0000000d, 0x000500b4, 0x00000010, 0x00000011, 0x0000000e, 0x0000000f,
	0x000300f7, 0x00000013, 0x00000000, 0x000400fa, 0x00000011, 0x00000012,
	0x00000013, 0x000200f8, 0x00000012, 0x00011140, 0x000200f8, 0x00000013,
	0x0003003e, 0x00000017, 0x00000018, 0x000100fd, 0x00010038,
	};

	spirv_options.workarounds.lower_terminate_to_discard = true;

	/* Emitting demote instead of terminate is needed to verify the SPIR-V
	* workaround, otherwise terminate is always used.
	*/
	nir_options.discard_is_demote = true;

	get_nir(sizeof(words) / sizeof(words[0]), words, MESA_SHADER_FRAGMENT);

	nir_intrinsic_instr *intrinsic = find_intrinsic(nir_intrinsic_demote, 0);
	ASSERT_NE(intrinsic, nullptr);
	}