Displaying 1 result from an estimated 1 matches for "b152f3bc".
2017 Apr 26
2
Store unswitch
Hi,
Yes, I can see why that would not work.
The sinking algorithm in SimplifyCFG isn't particularly clever. In
particular it can't reason about memory ordering and aliasing. In
unswitch1(), it can identify that the stores correlate because the
correlating stores appear in the same relative source order. In unswitch2()
they have been permuted, and the algorithm cannot deal with this. This