This is the mail archive of the
gcc-help@gcc.gnu.org
mailing list for the GCC project.
Re: GCC does not generate ADCX or ADOX for _addcarryx_u64
- From: Marc Glisse <marc dot glisse at inria dot fr>
- To: Jeffrey Walton <noloader at gmail dot com>
- Cc: "gcc-help at gcc dot gnu dot org" <gcc-help at gcc dot gnu dot org>
- Date: Mon, 21 Aug 2017 13:20:44 +0200 (CEST)
- Subject: Re: GCC does not generate ADCX or ADOX for _addcarryx_u64
- Authentication-results: sourceware.org; auth=none
- References: <CAH8yC8mmsbnvgH6H63ULU69AzWOotgNHdb+s-KzrH=mwP=uX-w@mail.gmail.com>
- Reply-to: "gcc-help at gcc dot gnu dot org" <gcc-help at gcc dot gnu dot org>
On Mon, 21 Aug 2017, Jeffrey Walton wrote:
I'm trying to use _addcarryx_u64. GCC 7.1 is still generating ADD and
ADC instead of ADCX or ADOX:
Does that compute wrong values? Make the program slower?
--
Marc Glisse