Thanks for looking at this, Vladimir. > CmpI and Bool nodes could have several users (your code is looking on first one only). > Should we go through all uses and if they different counted loops put their Phi on worklist? Here is a new webrev: http://cr.openjdk.java.net/~roland/8148786/webrev.01/ Roland.