https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61249
--- Comment #3 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to Michael Tautschnig from comment #2) > Thanks a lot for your quick reply. > > > > Yet r205495 changed _mm_frcz_ss/_mm_frcz_sd so that only a single argument > > > is passed to the __builtin_ia32_vfrczss/vfrczsd calls. > > > You should not use __builtin_* function directly. They are internal > Just re-ran those tests and looking at the generated assembly (should have > done that before, my apologies) it seems that two operands are generated: > > vfrczsd %xmm1, %xmm0 > > and > > vfrczss %xmm1, %xmm1 > > So shall I read this as an imprecision in documentation? I'm not sure which part of the documentation are you referring to. Can you please post the patch that fixes that part?