Proper aliasing in multiplication m3d