Add an isLoopSimplifyForm() predicate, following the example of

isLCSSAForm(), to test whether a loop is in the form guaranteed
by the LoopSimplify pass.

llvm-svn: 76077