Passed

LLVM.Analysis/ScalarEvolution.2008-12-11-SMaxOverflow.ll (from LLVM)

Took 70 ms.