Results for spec@arb_gpu_shader_fp64@compiler@built-in-functions@op-mult-dmat4x3-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:
 * (dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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)) => dmat3(-0.38100000000000023lf, -1.4647999999999997lf, -8.2629000000000001lf, 2.9270999999999998lf, 4.1107000000000005lf, 3.1997000000000004lf, -0.81959999999999988lf, 1.8843999999999999lf, 0.21709999999999996lf)
 * (dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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)) => dmat3(0.64679999999999993lf, 1.4158000000000002lf, 3.8336999999999999lf, 1.9946999999999999lf, -0.29809999999999998lf, 2.1826000000000003lf, -2.1926999999999994lf, 1.2986999999999997lf, -4.2828999999999997lf)
 * (dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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)) => dmat3(-6.0795000000000003lf, 2.1598999999999995lf, -3.1967999999999996lf, -2.0587lf, -2.7557999999999998lf, 3.9285999999999994lf, -0.031299999999999994lf, -1.8165lf, 1.4354999999999998lf)
 * (dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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)) => dmat3(0.71069999999999978lf, -0.6391lf, 3.3084999999999996lf, 1.3578000000000001lf, -0.097300000000000095lf, -0.74990000000000001lf, -3.4507000000000003lf, -0.53479999999999972lf, 0.8833000000000002lf)
 */
#version 150
#extension GL_ARB_gpu_shader_fp64 : require

void main()
{
  double[(distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(-0.38100000000000023lf, -1.4647999999999997lf, -8.2629000000000001lf)) * distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(-0.38100000000000023lf, -1.4647999999999997lf, -8.2629000000000001lf))) + (distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(2.9270999999999998lf, 4.1107000000000005lf, 3.1997000000000004lf)) * distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(2.9270999999999998lf, 4.1107000000000005lf, 3.1997000000000004lf))) + (distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(-0.81959999999999988lf, 1.8843999999999999lf, 0.21709999999999996lf)) * distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(-0.81959999999999988lf, 1.8843999999999999lf, 0.21709999999999996lf))) <= 1.1054000537000003e-08lf ? 1 : -1] array0;
  double[(distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(0.64679999999999993lf, 1.4158000000000002lf, 3.8336999999999999lf)) * distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(0.64679999999999993lf, 1.4158000000000002lf, 3.8336999999999999lf))) + (distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(1.9946999999999999lf, -0.29809999999999998lf, 2.1826000000000003lf)) * distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(1.9946999999999999lf, -0.29809999999999998lf, 2.1826000000000003lf))) + (distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(-2.1926999999999994lf, 1.2986999999999997lf, -4.2828999999999997lf)) * distance((dmat4x3(-0.27000000000000002lf, -0.17000000000000001lf, -1.8500000000000001lf, -1.3799999999999999lf, -0.56000000000000005lf, -1.29lf, -1.4099999999999999lf, 1.47lf, 1.77lf, -0.12lf, 1.8600000000000001lf, 0.01lf) * 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], dvec3(-2.1926999999999994lf, 1.2986999999999997lf, -4.2828999999999997lf))) <= 5.0789317420000006e-09lf ? 1 : -1] array1;
  double[(distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(-6.0795000000000003lf, 2.1598999999999995lf, -3.1967999999999996lf)) * distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(-6.0795000000000003lf, 2.1598999999999995lf, -3.1967999999999996lf))) + (distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(-2.0587lf, -2.7557999999999998lf, 3.9285999999999994lf)) * distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(-2.0587lf, -2.7557999999999998lf, 3.9285999999999994lf))) + (distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(-0.031299999999999994lf, -1.8165lf, 1.4354999999999998lf)) * distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(-0.031299999999999994lf, -1.8165lf, 1.4354999999999998lf))) <= 8.4472907979999992e-09lf ? 1 : -1] array2;
  double[(distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(0.71069999999999978lf, -0.6391lf, 3.3084999999999996lf)) * distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(0.71069999999999978lf, -0.6391lf, 3.3084999999999996lf))) + (distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(1.3578000000000001lf, -0.097300000000000095lf, -0.74990000000000001lf)) * distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(1.3578000000000001lf, -0.097300000000000095lf, -0.74990000000000001lf))) + (distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(-3.4507000000000003lf, -0.53479999999999972lf, 0.8833000000000002lf)) * distance((dmat4x3(-0.46999999999999997lf, -0.20000000000000001lf, -1.3899999999999999lf, -0.14999999999999999lf, 0.53000000000000003lf, -0.19lf, 1.97lf, -1.8200000000000001lf, 1.6200000000000001lf, -1.05lf, -1.4099999999999999lf, 1.5800000000000001lf) * 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], dvec3(-3.4507000000000003lf, -0.53479999999999972lf, 0.8833000000000002lf))) <= 2.7248714110000004e-09lf ? 1 : -1] array3;
  gl_Position = dvec4(array0.length() + array1.length() + array2.length() + array3.length());
}

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

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