c4-project / c4t

Runs concurrent C compiler tests
MIT License
1 stars 0 forks source link

Separate C-Litmus and asm-Litmus in places #92

Open MattWindsor91 opened 3 years ago

MattWindsor91 commented 3 years ago

The backend infrastructure has a notion of input sources, of which there are two at the moment: LiftUnknown, which is basically unused, and LiftLitmus, which is currently generally hard-coded everywhere. There is actually a distinction between C litmus tests and assembly litmus tests: while Herd and Litmus both accept both, rmem only accepts assembly tests, and generally we don't want to use the other two in assembly litmus mode in most cases.

Ideally, we want three things here:

MattWindsor91 commented 3 years ago

We'll also need to split backend.CanLiftLitmus, and probably add a piece of backend metadata to say which architectures are supported.