[InstSimplify] add nuw %x, C2 must be at least C2
[oota-llvm.git] / test / Transforms / InstSimplify / assume.ll
2014-07-25 Hal FinkelAdd @llvm.assume, lowering, and some basic properties