Vector shuffle mask <i32 4, i32 5, i32 2, i32 3> should yield "movsd", not "movss".