Comments (2)
I gave a lightning talk about it at the 2018 dev meeting: https://llvm.org/devmtg/2018-10/talk-abstracts.html#lt12
There was a follow-up thread: http://lists.llvm.org/pipermail/cfe-dev/2018-October/059869.html
I believe there's wide agreement to the 9 point plan I outlined, and no current pushback. We just need to implement it:
- Add to target infrastructure
- Overriding in sub-targets using -march or -mcpu
- Overriding on the command line
- If set in target, expose the builtin
- Generic le32 / be32 ARM targets expose constructive / destructive as 64B
- Generic le64 / be64 ARM targets expose constructive as 64B and destructive as 128B
- Generic x86 expose constructive / destructive as 64B
- Honor existing sub-target preferences
- Let maintainers of other targets choose appropriate size
from cxx-abi.
From the discussion around my implementation in GCC (not yet committed), I've come to the conclusion that we shouldn't try to make these values at all stable; they should have the appropriate values for what the compiler knows about the current target CPU (i.e. option 1 in that cfe-dev thread), and people should be strongly discouraged from using these variables in a context where ABI stability matters. At most, they should be used in an ABI shared between different TUs that are being built at the same time, with the same compiler flags. This policy allows them to work well for certain uses without trying to kind-of-almost accommodate dangerous uses.
To that end, I'm adding a warning if std::hardware_destructive_interference_size
is constant-evaluated in a header.
I agree with @zygoloid in the cfe-dev thread above that using macros seems more natural than a builtin. Perhaps __CXA_DESTRUCTIVE_SIZE
and __CXA_CONSTRUCTIVE_SIZE
?
from cxx-abi.
Related Issues (20)
- "Deducing this" mangling HOT 14
- Should std::rethrow_exception be covered by the EH ABI? HOT 2
- Emergency EH buffer is overspecified HOT 6
- Where is the most recent ABI document? HOT 1
- Add `[[trivial_abi]]` attribute
- Lambda POD for the purposes of layout? HOT 2
- Mangling the name of an externally visible lambda in a static data member of a class HOT 1
- Proposal: Include an optional specification for mangling names that reference anonymous symbols HOT 4
- Is it possible to form a pointer-to-data-member with offset -1 using explicit derived-to-base conversions without UB? HOT 3
- unnecessary `E`s after <expression> and mangling collisions between <expression> and <number> HOT 1
- need mangling for lambdas appearing in unevaluated operands within a class body HOT 3
- What does "forbidding the use of function templates" mean? HOT 2
- [C++20] [Modules] Do we need the concept of `key function` for class defined in module purview? HOT 25
- Missing HTML encoding in 2.3.1 Data Member Pointers HOT 2
- Proposal: document or somehow notice __cxa_init_primary_exception HOT 3
- Mangling for C++ pack indexing HOT 1
- Function and function pointer types with vendor calling conventions HOT 2
- Ambiguity in mangling grammar around type qualifiers HOT 8
- Question about section 2.9.4 HOT 4
- Questions About Non-POD Types Data Layout HOT 3
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from cxx-abi.