Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 13 Mar 2019 13:15:04 -0700
From:      Mark Millard <marklmi@yahoo.com>
To:        FreeBSD PowerPC ML <freebsd-ppc@freebsd.org>, freebsd-hackers Hackers <freebsd-hackers@freebsd.org>
Subject:   C++11 Load/Store seq cst for powerpc64: which style does the FreeBSD ABI specify?
Message-ID:  <5B354F1C-AFDC-4306-857A-48AACB2D8492@yahoo.com>

next in thread | raw e-mail | index | archive | help
According to:

https://www.cl.cam.ac.uk/~pes20/cppppc/popl079-batty.pdf

the following two alternatives do not interoperate correctly
and so can not be mixed --and so the ABI needs to specify a
choice of which to use so that code from various compilers
and such can be mixed:

(leading-sync style:)

Load  Seq Cst: sync; ld; cmp; bc; isync
Store Seq Cst: sync; st

vs. (the trailing-sync style:)

Load  Seq Cst: ld; sync
Store Seq Cst: lwsync; st; sync

Which is the powerpc64 FreeBSD ABI based on?
Which is the 32-bit powerpc FreeBSD ABI based on?

Is there a place to see the FreeBSD ABI specification of
this for powerpc64 (and any related items)? If yes, where?
Similarly for 32-bit powerpc.

===
Mark Millard
marklmi at yahoo.com
( dsl-only.net went
away in early 2018-Mar)




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5B354F1C-AFDC-4306-857A-48AACB2D8492>