arm64 asm branch syntax

[Torbjorn Granlund]

Marc Glisse <marc.glisse at inria.fr> writes:

  for arm64, in copy*.asm, we have b.le, b.lt, b.ge.
  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.

I agree we should stick to the official syntax.  I wish GNU wasn't so
pointless-extension-happy....

We have leg.gmplib.org, but it is down after some reshuffling.  When
pile gets 32 GiB RAM it will come back (should happen this week).

-- 
Torbjörn
Please encrypt, key id 0xC8601622