cmd/compile: miscompilation of partially-overlapping array assignments #54467
Description
https://go.dev/play/p/QL9pJw6LY9e
When p and q are pointers to arrays, the behavior of *p = *q should be as if *q is fully evaluated before any assignments through *p take effect.
The above program however demonstrates (at least on GOARCH=amd64) that when they're pointers to partially-overlapping arrays, the evaluation of *q and assignments through *p are interleaved.
/cc @golang/compiler