arm64 asm branch syntax

Marc Glisse marc.glisse at
Tue Apr 1 14:10:07 UTC 2014


for arm64, in copy*.asm, we have b.le,,
In other files, we have beq, bcc, bne (without the dot).
I think we should stick to a single spelling, preferably the first one 
(with a dot) because some toolchains only accept that one.

Is there an aarch64 emulator set up somewhere to test such a change? I 
didn't see anything obvious in the testing status page, but I could have 
missed it.

Marc Glisse

More information about the gmp-bugs mailing list