1Regression test for the type propagation phase of the optimizing
2compiler, that used to crash when dealing with phi floating-point
3equivalents.
4