Results for spec@arb_gpu_shader_fp64@compiler@built-in-functions@op-mult-dmat4x3-dmat4.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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf)) => dmat4x3(-2.1902999999999997lf, -2.3815lf, -0.28310000000000002lf, 0.51239999999999997lf, -4.6826000000000008lf, -1.0571999999999999lf, 1.7607000000000002lf, -4.7883000000000004lf, -1.0957999999999994lf, 2.9993999999999996lf, 0.0122000000000001lf, -3.7044999999999999lf)
 * (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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf)) => dmat4x3(-3.9674999999999994lf, 0.63369999999999971lf, 0.035899999999999647lf, -0.60060000000000002lf, 1.4549999999999998lf, -1.2097000000000004lf, -3.6875999999999998lf, 0.61219999999999963lf, -0.11570000000000044lf, 4.0367999999999995lf, 1.0306000000000002lf, 4.7290999999999999lf)
 * (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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf)) => dmat4x3(1.3372999999999999lf, 2.2574000000000001lf, -0.2383000000000004lf, 0.6778000000000004lf, 4.2969999999999997lf, -3.3791000000000007lf, -0.80119999999999969lf, 5.0164999999999988lf, -3.1011999999999995lf, -3.7784999999999993lf, 0.11349999999999993lf, -3.0541999999999998lf)
 * (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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf)) => dmat4x3(2.3623000000000003lf, -1.2133999999999998lf, 1.3848000000000003lf, -0.15370000000000006lf, -1.8851lf, -0.32009999999999983lf, 3.8761000000000001lf, -2.2509000000000001lf, -0.52210000000000045lf, -0.63069999999999982lf, 0.17730000000000001lf, 2.5237999999999996lf)
 */
#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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[0], dvec3(-2.1902999999999997lf, -2.3815lf, -0.28310000000000002lf)) * 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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[0], dvec3(-2.1902999999999997lf, -2.3815lf, -0.28310000000000002lf))) + (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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[1], dvec3(0.51239999999999997lf, -4.6826000000000008lf, -1.0571999999999999lf)) * 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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[1], dvec3(0.51239999999999997lf, -4.6826000000000008lf, -1.0571999999999999lf))) + (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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[2], dvec3(1.7607000000000002lf, -4.7883000000000004lf, -1.0957999999999994lf)) * 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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[2], dvec3(1.7607000000000002lf, -4.7883000000000004lf, -1.0957999999999994lf))) + (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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[3], dvec3(2.9993999999999996lf, 0.0122000000000001lf, -3.7044999999999999lf)) * 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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[3], dvec3(2.9993999999999996lf, 0.0122000000000001lf, -3.7044999999999999lf))) <= 8.3804598780000023e-09lf ? 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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[0], dvec3(-3.9674999999999994lf, 0.63369999999999971lf, 0.035899999999999647lf)) * 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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[0], dvec3(-3.9674999999999994lf, 0.63369999999999971lf, 0.035899999999999647lf))) + (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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[1], dvec3(-0.60060000000000002lf, 1.4549999999999998lf, -1.2097000000000004lf)) * 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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[1], dvec3(-0.60060000000000002lf, 1.4549999999999998lf, -1.2097000000000004lf))) + (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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[2], dvec3(-3.6875999999999998lf, 0.61219999999999963lf, -0.11570000000000044lf)) * 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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[2], dvec3(-3.6875999999999998lf, 0.61219999999999963lf, -0.11570000000000044lf))) + (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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[3], dvec3(4.0367999999999995lf, 1.0306000000000002lf, 4.7290999999999999lf)) * 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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[3], dvec3(4.0367999999999995lf, 1.0306000000000002lf, 4.7290999999999999lf))) <= 7.3793886700000006e-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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[0], dvec3(1.3372999999999999lf, 2.2574000000000001lf, -0.2383000000000004lf)) * 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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[0], dvec3(1.3372999999999999lf, 2.2574000000000001lf, -0.2383000000000004lf))) + (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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[1], dvec3(0.6778000000000004lf, 4.2969999999999997lf, -3.3791000000000007lf)) * 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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[1], dvec3(0.6778000000000004lf, 4.2969999999999997lf, -3.3791000000000007lf))) + (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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[2], dvec3(-0.80119999999999969lf, 5.0164999999999988lf, -3.1011999999999995lf)) * 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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[2], dvec3(-0.80119999999999969lf, 5.0164999999999988lf, -3.1011999999999995lf))) + (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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[3], dvec3(-3.7784999999999993lf, 0.11349999999999993lf, -3.0541999999999998lf)) * 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) * dmat4(-1.0lf, 1.77lf, 0.089999999999999997lf, -0.91000000000000003lf, -0.55000000000000004lf, 0.62lf, -0.70999999999999996lf, -1.8200000000000001lf, -1.0800000000000001lf, 0.47999999999999998lf, -1.3899999999999999lf, -1.4299999999999999lf, 1.79lf, -1.3500000000000001lf, -1.21lf, 0.71999999999999997lf))[3], dvec3(-3.7784999999999993lf, 0.11349999999999993lf, -3.0541999999999998lf))) <= 9.6325668859999965e-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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[0], dvec3(2.3623000000000003lf, -1.2133999999999998lf, 1.3848000000000003lf)) * 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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[0], dvec3(2.3623000000000003lf, -1.2133999999999998lf, 1.3848000000000003lf))) + (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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[1], dvec3(-0.15370000000000006lf, -1.8851lf, -0.32009999999999983lf)) * 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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[1], dvec3(-0.15370000000000006lf, -1.8851lf, -0.32009999999999983lf))) + (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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[2], dvec3(3.8761000000000001lf, -2.2509000000000001lf, -0.52210000000000045lf)) * 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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[2], dvec3(3.8761000000000001lf, -2.2509000000000001lf, -0.52210000000000045lf))) + (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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[3], dvec3(-0.63069999999999982lf, 0.17730000000000001lf, 2.5237999999999996lf)) * 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) * dmat4(0.059999999999999998lf, 1.6000000000000001lf, 1.25lf, -0.16lf, 1.3100000000000001lf, -0.32000000000000001lf, 0.45000000000000001lf, 0.45000000000000001lf, 1.52lf, 0.51000000000000001lf, 1.8999999999999999lf, -0.88lf, -1.96lf, -1.8400000000000001lf, -0.71999999999999997lf, 0.39000000000000001lf))[3], dvec3(-0.63069999999999982lf, 0.17730000000000001lf, 2.5237999999999996lf))) <= 3.9812236250000008e-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-dmat4.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"