We already have the ability to specify rich architecture IDs, such as arm.8. Currently these only specify the Litmus -carch to use when targeting compilers, but, in the context of #23, we could use the architecture ID to specify the set of marches that the compiler supports.
For example: arm.8.a would select GCC's armv8-a, armv7-a, etc etc.
MattWindsor91
commented
4 years ago
We already have the ability to specify rich architecture IDs, such as
arm.8. Currently these only specify the Litmus-carchto use when targeting compilers, but, in the context of #23, we could use the architecture ID to specify the set ofmarches that the compiler supports.For example:
arm.8.awould select GCC'sarmv8-a,armv7-a, etc etc.