Perhaps closest: Ševčík (Sec. 6, DRF) https://www.cl.cam.ac.uk/~pes20/weakmemory/transsafety.pdf … Compiler Testing (Sec. 3, C11) http://www.di.ens.fr/~zappa/projects/cmmtest/ … Related: http://plv.mpi-sws.org/trns/ http://plv.mpi-sws.org/llvmcs/ Sec. 6; App. C, E http://plv.mpi-sws.org/validc/ Sec. 2.2; validator test cases http://plv.mpi-sws.org/c11comp/ Sec. 2, 3
@johnregehr or others: is there a standard list of compiler optimizations/transformations, used to evaluate memory models ? (I.e. to see which optimizations are accepted by each model)
-
-
-
this is a good list but I'm guessing that the request was about a sequential memory model, but now I'm not sure-- can you clarify Niko?
- 3 more replies
New conversation -
-
-
not that I know of. but have you seen the paper draft about memory models in LLVM that some people (including me) are working on?
- 2 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.