The condition in final_graph_reshaping_impl() is incomplete. It misses the check for commutative nodes MaxI and MinI. And it allows to swap the input from a loop's Phi node to the second input of a commutative node. All this increse a register pressure during RA.
|