@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?
With some effort it seems like one could come up with a relatively 'minimal' list, such that bigger optimizations are compositions of smaller reorderings, but it seems non-trivial to find a good factoring and I'd prefer to reuse somebody else's work =)
