> + // If we can show that there is no inner cycle in the loop then we know > + // that the execution count must equal the branch count. Would it be too intrusive to ask ScalarEvolution to use a PostDominanceFrontier for this? Dan -- Dan Gohman, Cray Inc.