[Sorry for the long delay] > Why is it nonsense? The predicate gives the answer to the question > "given these insns A and B, does A feed data that B stores in memory". > That is a perfectly valid question to ask of any two insns.
I disagree, for example it's nonsensical to send it a blockage insn. > There are workarounds to this problem as well: mips_store_data_bypass_p, > added in 2006. mep_store_data_bypass_p, added in 2009 (the port has > been removed since then, of course). I see, no strong opinion then, but individual back-ends should be preferably fixed if this is easily doable instead of changing the middle-end, which may affect the other ~50 back-ends. -- Eric Botcazou