Nvm. my comment about overlapping memory, in that case m2 should reference m1. I guess same strides is one of the cases where we can be sure that things are fine. Contiguous m1 should be another "good" case I suppose.