In GCC 4.x there are no __builtin_ia32_storehpd(double*, v2df) __builtin_ia32_storelpd(double*, v2df) instructions< but they was in 3.x I think that it is a bug.
-- Summary: There are to less X86 built-in instructions Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: major Priority: P3 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: msnkipa at mail dot ru http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36730