On Mon, Aug 21, 2017 at 6:14 AM, Xi Ruoyao <ryxi@xxxxxxxxxxxxxxxxx> wrote: > On 2017-08-21 04:25 -0400, Jeffrey Walton wrote: > >> Does GCC need a special switch for ADCX/ADOX? > > On my Core i3 (ivybridge) -march=native is enough to generate ADCQ with > _addcarryx_u64. And according to GCC testsuite, _addcarryx_u64 always > translates to ADCQ on x86-64 since all x86-64 CPU have it: > > <http://gcc.gnu.org/viewcvs/gcc/trunk/gcc/testsuite/gcc.target/i386/ > adx-addcarryx64-3.c?revision=214860&view=markup> Ack, thanks. Let me spin up another thread with the details and the [failed] result. Jeff
