https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112598
--- Comment #13 from Robin Dapp <rdapp at gcc dot gnu.org> --- It looks like the takeaway from the other thread is that there are many likewise assumptions about masked stores in the middle end. It's probably difficult to get them all right in a short time. Therefore I suppose our only choice is to go "UNSPEC" as well for now. I'm also testing some quick hacks locally. What's the problem about the pred_store pattern you mention? That we would lose that particular optimization?