1;; Lift a splat outside of an int-to-float conversion to try to open up
2;; optimization opportunities with scalars.
3;;
4;; NB: this is also required for correctness at this time due to #6562
5(rule (simplify (fcvt_from_uint float_vector_ty (splat _ x)))
6      (splat float_vector_ty (fcvt_from_uint (lane_type float_vector_ty) x)))
7(rule (simplify (fcvt_from_sint float_vector_ty (splat _ x)))
8      (splat float_vector_ty (fcvt_from_sint (lane_type float_vector_ty) x)))
9