- User Since
- Nov 14 2017, 2:39 AM (84 w, 1 d)
Nov 14 2017
I think it is a good idea to model the sideeffect intrinsic as "inaccessiblememonly"/"nounwind". That should already treat it as desired in most optimizations. I wonder if the additional special treatment of the intrinsic in optimizations here, is not already implied by these properties (or should be implied by these properties), especially when it comes after a failing test for e.g. mayReadOrWriteMemory() (i.e. inaccessiblememonly fails this, but normally the memory access is irrelevant to the optimization).