Results for spec@arb_gpu_shader_fp64@compiler@built-in-functions@op-div-double-dmat3x4.vert

Shader source:
/* [config]
 * expect_result: pass
 * glsl_version: 1.50
 * require_extensions: GL_ARB_gpu_shader_fp64
 * [end config]
 *
 * Check that the following test vectors are constantfolded correctly:
 * (0.0lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf)) => dmat3x4(0.0lf, 0.0lf, -0.0lf, 0.0lf, -0.0lf, -0.0lf, -0.0lf, 0.0lf, 0.0lf, 0.0lf, 0.0lf, 0.0lf)
 * (0.0lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf)) => dmat3x4(-0.0lf, -0.0lf, 0.0lf, 0.0lf, 0.0lf, -0.0lf, 0.0lf, -0.0lf, 0.0lf, 0.0lf, -0.0lf, 0.0lf)
 * (-1.3333333333333333lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf)) => dmat3x4(-0.93896713615023475lf, -0.7407407407407407lf, 0.70921985815602839lf, -0.97323600973236002lf, 1.5503875968992247lf, 0.76628352490421447lf, 3.6036036036036037lf, -0.70175438596491224lf, -4.9382716049382713lf, -33.333333333333329lf, -3.1007751937984493lf, -1.8779342723004695lf)
 * (-1.3333333333333333lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf)) => dmat3x4(0.77519379844961234lf, 4.301075268817204lf, -9.5238095238095219lf, -3.333333333333333lf, -14.814814814814815lf, 0.8438818565400843lf, -7.4074074074074074lf, 1.7316017316017314lf, -2.9629629629629628lf, -0.69444444444444442lf, 2.3809523809523805lf, -0.75757575757575757lf)
 * (0.84999999999999998lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf)) => dmat3x4(0.59859154929577463lf, 0.47222222222222221lf, -0.4521276595744681lf, 0.62043795620437947lf, -0.98837209302325579lf, -0.4885057471264368lf, -2.2972972972972974lf, 0.44736842105263158lf, 3.1481481481481479lf, 21.25lf, 1.9767441860465116lf, 1.1971830985915493lf)
 * (0.84999999999999998lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf)) => dmat3x4(-0.4941860465116279lf, -2.7419354838709675lf, 6.0714285714285703lf, 2.125lf, 9.4444444444444446lf, -0.53797468354430378lf, 4.7222222222222223lf, -1.1038961038961039lf, 1.8888888888888888lf, 0.44270833333333331lf, -1.5178571428571426lf, 0.48295454545454541lf)
 */
#version 150
#extension GL_ARB_gpu_shader_fp64 : require

void main()
{
  double[(distance((0.0lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[0], dvec4(0.0lf, 0.0lf, -0.0lf, 0.0lf)) * distance((0.0lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[0], dvec4(0.0lf, 0.0lf, -0.0lf, 0.0lf))) + (distance((0.0lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[1], dvec4(-0.0lf, -0.0lf, -0.0lf, 0.0lf)) * distance((0.0lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[1], dvec4(-0.0lf, -0.0lf, -0.0lf, 0.0lf))) + (distance((0.0lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[2], dvec4(0.0lf, 0.0lf, 0.0lf, 0.0lf)) * distance((0.0lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[2], dvec4(0.0lf, 0.0lf, 0.0lf, 0.0lf))) <= 0.0lf ? 1 : -1] array0;
  double[(distance((0.0lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[0], dvec4(-0.0lf, -0.0lf, 0.0lf, 0.0lf)) * distance((0.0lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[0], dvec4(-0.0lf, -0.0lf, 0.0lf, 0.0lf))) + (distance((0.0lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[1], dvec4(0.0lf, -0.0lf, 0.0lf, -0.0lf)) * distance((0.0lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[1], dvec4(0.0lf, -0.0lf, 0.0lf, -0.0lf))) + (distance((0.0lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[2], dvec4(0.0lf, 0.0lf, -0.0lf, 0.0lf)) * distance((0.0lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[2], dvec4(0.0lf, 0.0lf, -0.0lf, 0.0lf))) <= 0.0lf ? 1 : -1] array1;
  double[(distance((-1.3333333333333333lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[0], dvec4(-0.93896713615023475lf, -0.7407407407407407lf, 0.70921985815602839lf, -0.97323600973236002lf)) * distance((-1.3333333333333333lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[0], dvec4(-0.93896713615023475lf, -0.7407407407407407lf, 0.70921985815602839lf, -0.97323600973236002lf))) + (distance((-1.3333333333333333lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[1], dvec4(1.5503875968992247lf, 0.76628352490421447lf, 3.6036036036036037lf, -0.70175438596491224lf)) * distance((-1.3333333333333333lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[1], dvec4(1.5503875968992247lf, 0.76628352490421447lf, 3.6036036036036037lf, -0.70175438596491224lf))) + (distance((-1.3333333333333333lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[2], dvec4(-4.9382716049382713lf, -33.333333333333329lf, -3.1007751937984493lf, -1.8779342723004695lf)) * distance((-1.3333333333333333lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[2], dvec4(-4.9382716049382713lf, -33.333333333333329lf, -3.1007751937984493lf, -1.8779342723004695lf))) <= 1.1679889290456973e-07lf ? 1 : -1] array2;
  double[(distance((-1.3333333333333333lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[0], dvec4(0.77519379844961234lf, 4.301075268817204lf, -9.5238095238095219lf, -3.333333333333333lf)) * distance((-1.3333333333333333lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[0], dvec4(0.77519379844961234lf, 4.301075268817204lf, -9.5238095238095219lf, -3.333333333333333lf))) + (distance((-1.3333333333333333lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[1], dvec4(-14.814814814814815lf, 0.8438818565400843lf, -7.4074074074074074lf, 1.7316017316017314lf)) * distance((-1.3333333333333333lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[1], dvec4(-14.814814814814815lf, 0.8438818565400843lf, -7.4074074074074074lf, 1.7316017316017314lf))) + (distance((-1.3333333333333333lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[2], dvec4(-2.9629629629629628lf, -0.69444444444444442lf, 2.3809523809523805lf, -0.75757575757575757lf)) * distance((-1.3333333333333333lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[2], dvec4(-2.9629629629629628lf, -0.69444444444444442lf, 2.3809523809523805lf, -0.75757575757575757lf))) <= 4.1447749436649539e-08lf ? 1 : -1] array3;
  double[(distance((0.84999999999999998lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[0], dvec4(0.59859154929577463lf, 0.47222222222222221lf, -0.4521276595744681lf, 0.62043795620437947lf)) * distance((0.84999999999999998lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[0], dvec4(0.59859154929577463lf, 0.47222222222222221lf, -0.4521276595744681lf, 0.62043795620437947lf))) + (distance((0.84999999999999998lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[1], dvec4(-0.98837209302325579lf, -0.4885057471264368lf, -2.2972972972972974lf, 0.44736842105263158lf)) * distance((0.84999999999999998lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[1], dvec4(-0.98837209302325579lf, -0.4885057471264368lf, -2.2972972972972974lf, 0.44736842105263158lf))) + (distance((0.84999999999999998lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[2], dvec4(3.1481481481481479lf, 21.25lf, 1.9767441860465116lf, 1.1971830985915493lf)) * distance((0.84999999999999998lf / dmat3x4(1.4199999999999999lf, 1.8lf, -1.8799999999999999lf, 1.3700000000000001lf, -0.85999999999999999lf, -1.74lf, -0.37lf, 1.8999999999999999lf, 0.27000000000000002lf, 0.040000000000000001lf, 0.42999999999999999lf, 0.70999999999999996lf))[2], dvec4(3.1481481481481479lf, 21.25lf, 1.9767441860465116lf, 1.1971830985915493lf))) <= 4.746780006949781e-08lf ? 1 : -1] array4;
  double[(distance((0.84999999999999998lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[0], dvec4(-0.4941860465116279lf, -2.7419354838709675lf, 6.0714285714285703lf, 2.125lf)) * distance((0.84999999999999998lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[0], dvec4(-0.4941860465116279lf, -2.7419354838709675lf, 6.0714285714285703lf, 2.125lf))) + (distance((0.84999999999999998lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[1], dvec4(9.4444444444444446lf, -0.53797468354430378lf, 4.7222222222222223lf, -1.1038961038961039lf)) * distance((0.84999999999999998lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[1], dvec4(9.4444444444444446lf, -0.53797468354430378lf, 4.7222222222222223lf, -1.1038961038961039lf))) + (distance((0.84999999999999998lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[2], dvec4(1.8888888888888888lf, 0.44270833333333331lf, -1.5178571428571426lf, 0.48295454545454541lf)) * distance((0.84999999999999998lf / dmat3x4(-1.72lf, -0.31lf, 0.14000000000000001lf, 0.40000000000000002lf, 0.089999999999999997lf, -1.5800000000000001lf, 0.17999999999999999lf, -0.77000000000000002lf, 0.45000000000000001lf, 1.9199999999999999lf, -0.56000000000000005lf, 1.76lf))[2], dvec4(1.8888888888888888lf, 0.44270833333333331lf, -1.5178571428571426lf, 0.48295454545454541lf))) <= 1.6844624419488358e-08lf ? 1 : -1] array5;
  gl_Position = dvec4(array0.length() + array1.length() + array2.length() + array3.length() + array4.length() + array5.length());
}

Failed to compile vertex shader /Users/vlee/workspace/piglit/generated_tests/spec/arb_gpu_shader_fp64/compiler/built-in-functions/op-div-double-dmat3x4.vert: ERROR: 0:26: Incompatible types (vec4 and dvec4) in assignment (and no available implicit conversion)

PIGLIT_SOURCE_DIR="/Users/vlee/workspace/piglit" PIGLIT_PLATFORM="mixed_glx_egl"