On 2017-08-21 06:29 -0400, Jeffrey Walton wrote: > 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. Sorry. Some wrong online references lead me to believe that ADC were ADCX. I'll try more switches. > Jeff -- Xi Ruoyao <ryxi@xxxxxxxxxxxxxxxxx> School of Aerospace Science and Technology, Xidian University
