/* [config]
 * expect_result: pass
 * glsl_version: 1.50
 * require_extensions: GL_ARB_gpu_shader_fp64
 * [end config]
 *
 * Check that the following test vectors are constant folded correctly:
 * floor(dvec3(-2.0lf, -0.6666666666666667lf, 0.6666666666666665lf)) => dvec3(-2.0lf, -1.0lf, 0.0lf)
 * floor(dvec3(2.0lf, -2.0lf, -0.6666666666666667lf)) => dvec3(2.0lf, -2.0lf, -1.0lf)
 */
#version 150
#extension GL_ARB_gpu_shader_fp64 : require

void main()
{
  double[distance(floor(dvec3(-2.0lf, -0.6666666666666667lf, 0.6666666666666665lf)), dvec3(-2.0lf, -1.0lf, 0.0lf)) <= 2.2360679774997898e-05lf ? 1 : -1] array0;
  double[distance(floor(dvec3(2.0lf, -2.0lf, -0.6666666666666667lf)), dvec3(2.0lf, -2.0lf, -1.0lf)) <= 3e-05lf ? 1 : -1] array1;
  gl_Position = vec4(array0.length() + array1.length());
}
