Passed

LLVM.Analysis/ScalarEvolution.no-wrap-add-exprs.ll (from LLVM)

Took 80 ms.