xref: /third_party/vk-gl-cts/data/gles3/shaders/conditionals.test

group if "If Statements"

	case single_statement
		version 300 es
		values
		{
			input float in0 = [ 0.0 | 1.0 | 2.0 ];
			output float out0 = [ 0.0 | 1.0 | 1.0 ];
		}

		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				out0 = 0.0;
				if (in0 >= 1.0)
					out0 = 1.0;
				${OUTPUT}
			}
		""
	end

	case compound_statement
		version 300 es
		values
		{
			input float in0 = [ 0.0 | 1.0 | 2.0 ];
			output float out0 = [ 0.0 | 1.0 | 1.0 ];
			output float out1 = [ 1.0 | 0.0 | 0.0 ];
		}

		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				out0 = 0.0;
				out1 = 1.0;
				if (in0 >= 1.0)
				{
					out0 = 1.0;
					out1 = 0.0;
				}
				${OUTPUT}
			}
		""
	end

	case sequence_statements
		version 300 es
		values
		{
			input float in0 = [ 0.0 | 1.0 | 2.0 ];
			output float out0 = [ 0.0 | 1.0 | 1.0 ];
			output float out1 = [ 1.0 | 0.0 | 0.0 ];
		}

		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				out0 = 0.0;
				out1 = 1.0;
				if (in0 >= 1.0)
					out0 = 1.0, out1 = 0.0;
				${OUTPUT}
			}
		""
	end

	case sequence_condition
		version 300 es
		values
		{
			input float in0 = [ 0.0 | 1.0 | 2.0 ];
			output float out0 = [ 0.0 | 1.0 | 1.0 ];
			output float out1 = [ 1.0 | 0.0 | 0.0 ];
		}

		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				out0 = 0.0;
				out1 = 1.0;
				if (false, in0 >= 1.0)
					out0 = 1.0, out1 = 0.0;
				${OUTPUT}
			}
		""
	end

	case complex_condition
		version 300 es
		values
		{
			input float in0 = [ 0.0 | 1.0 | 2.0 ];
			output float out0 = [ 0.0 | 1.0 | 1.0 ];
			output float out1 = [ 1.0 | 0.0 | 0.0 ];
		}

		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				out0 = 0.0;
				out1 = 1.0;
				if (false || (in0 >= 1.0) && (in0 - 2.0*in0 < 0.0))
					out0 = 1.0, out1 = 0.0;
				${OUTPUT}
			}
		""
	end

	case if_else
		version 300 es
		values
		{
			input float in0 = [ 0.0 | 1.0 | 2.0 ];
			output float out0 = [ 0.0 | 1.0 | 1.0 ];
		}

		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (in0 >= 1.0)
					out0 = 1.0;
				else
					out0 = 0.0;
				${OUTPUT}
			}
		""
	end

	case if_elseif
		version 300 es
		values
		{
			input float in0 = [ 0.0 | 1.0 | 2.0 ];
			output float out0 = [ 0.0 | 1.0 | 2.0 ];
		}

		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				out0 = 0.0;
				if (in0 >= 2.0)
					out0 = 2.0;
				else if (in0 >= 1.0)
					out0 = 1.0;
				${OUTPUT}
			}
		""
	end

	case if_elseif_else
		version 300 es
		values
		{
			input float in0 = [ 0.0 | 1.0 | 2.0 ];
			output float out0 = [ 0.0 | 1.0 | 2.0 ];
		}

		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (in0 >= 2.0)
					out0 = 2.0;
				else if (in0 >= 1.0)
					out0 = 1.0;
				else
					out0 = 0.0;
				${OUTPUT}
			}
		""
	end

	case mixed_if_elseif_else
		version 300 es
		values
		{
			input float in0 = [ 0.0 | 1.0 | 2.0 ];
			output float out0 = [ 0.0 | 1.0 | 2.0 ];
		}

		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (in0 >= 2.0)
				{
					out0 = 2.0;
				}
				else if (in0 >= 1.0)
					out0 = 2.0, out0 = 1.0;
				else
					out0 = 0.0;
				${OUTPUT}
			}
		""
	end

	case constant_conditional_assignment_to_matrix
		version 300 es
		vertex ""
			#version 300 es
                        // This variant doesn't provoke the crash seen in the versions below.
			${VERTEX_DECLARATIONS}
			out mediump float FragVarying;
			const float in0 = 0.0;
			void main()
			{
				mat2 projectionMatrix = mat2(0.0, 0.0, 0.0, 0.0);
				if (in0 == 1.0)
				{
					projectionMatrix[0][0] = 1.0;
				}

				FragVarying = 1.0;
				gl_Position = dEQP_Position + vec4(projectionMatrix[1][0], 0.0, 0.0, 0.0);
			}
		""
		fragment ""
			#version 300 es
			precision mediump float;
			${FRAGMENT_DECLARATIONS}
			in mediump float FragVarying;
			void main()
			{
				${FRAG_COLOR} = vec4(FragVarying, 1.0, 1.0, 1.0);
			}
		""
	end

	case input_conditional_assignment_to_matrix
		version 300 es
		values
		{
			input float in0 = [ 0.0 ];
		}
		vertex ""
			#version 300 es
			${VERTEX_DECLARATIONS}
			out mediump float FragVarying;  // Necessary to reproduce.
			void main()
			{
				// Crashes with mat4 as well. Does not crash with vectors.
				mat2 projectionMatrix = mat2(0.0, 0.0, 0.0, 0.0);
				// Testing a non-constant variable is necessary.
				if (in0 == 1.0)
				{
					// Using the matrix variable appears necessary.
					projectionMatrix[0][0] = 1.0;
				}

				FragVarying = 1.0;
				// Referencing the matrix is necessary though clearly the compiler
				// doesn't realize the assignment is useless.
				gl_Position = dEQP_Position + vec4(projectionMatrix[1][0], 0.0, 0.0, 0.0);
			}
		""
		fragment ""
			#version 300 es
			precision mediump float;
			${FRAGMENT_DECLARATIONS}
			in mediump float FragVarying;
			void main()
			{
				${FRAG_COLOR} = vec4(FragVarying, 1.0, 1.0, 1.0);
			}
		""
	end

	case uniform_conditional_assignment_to_matrix
		version 300 es
		values
		{
			uniform float uni0 = [ 0.0 ];
		}
		vertex ""
			#version 300 es
			precision mediump float;
			${VERTEX_DECLARATIONS}
			out mediump float FragVarying;  // Necessary to reproduce.
			void main()
			{
				// Crashes with mat4 as well. Does not crash with vectors.
				mat2 projectionMatrix = mat2(0.0, 0.0, 0.0, 0.0);
				// Testing a non-constant variable is necessary.
				if (uni0 == 1.0)
				{
					// Using the matrix variable appears necessary.
					projectionMatrix[0][0] = 1.0;
				}

				FragVarying = 1.0;
				// Referencing the matrix is necessary though clearly the compiler
				// doesn't realize the assignment is useless.
				gl_Position = dEQP_Position + vec4(projectionMatrix[1][0], 0.0, 0.0, 0.0);
			}
		""
		fragment ""
			#version 300 es
			precision mediump float;
			${FRAGMENT_DECLARATIONS}
			in mediump float FragVarying;
			void main()
			{
				${FRAG_COLOR} = vec4(FragVarying, 1.0, 1.0, 1.0);
			}
		""
	end

end # if

group invalid_if "Invalid If Conditionals"

	case missing_parenthesis
		version 300 es
		expect compile_fail
		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if true
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

	case unclosed_parenthesis
		version 300 es
		expect compile_fail
		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (true
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

	case int_condition
		version 300 es
		expect compile_fail
		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (5)
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

	case int_zero_condition
		version 300 es
		expect compile_fail
		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (0)
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

	case int_one_condition
		version 300 es
		expect compile_fail
		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (1)
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

	case int_uniform_condition
		version 300 es
		expect compile_fail

		both ""
			#version 300 es
			precision mediump float;
			precision mediump int;
			uniform int u0;
			${DECLARATIONS}
			void main()
			{
				if (u0)
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

	case float_condition
		version 300 es
		expect compile_fail
		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (5.0)
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

	case float_zero_condition
		version 300 es
		expect compile_fail
		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (0.0)
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

	case float_one_condition
		version 300 es
		expect compile_fail
		both ""
			#version 300 es
			precision mediump float;
			${DECLARATIONS}
			void main()
			{
				if (1.0)
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

	case sampler_condition
		version 300 es
		expect compile_fail
		both ""
			#version 300 es
			precision mediump float;
			uniform sampler2D s0;
			${DECLARATIONS}
			void main()
			{
				if (s0)
					${POSITION_FRAG_COLOR} = vec4(1.0);
			}
		""
	end

end # invalid_if