Passed

LLVM.Analysis/ScalarEvolution.implied-via-addition.ll (from LLVM)

Took 60 ms.