29.12.1. x86 SSE instructions