Add new SCEV, SCEVSMax. This allows LLVM to analyze do-while loops.