Searched refs:PreconditionTy (Results 1 – 1 of 1) sorted by relevance
68 struct PreconditionTy { struct73 PreconditionTy(CmpInst::Predicate Pred, Value *Op0, Value *Op1) in PreconditionTy() function79 SmallVector<PreconditionTy, 2> Preconditions;178 decompose(Value *V, SmallVector<PreconditionTy, 4> &Preconditions, in decompose() argument313 SmallVector<PreconditionTy, 4> Preconditions; in getConstraint()374 all_of(Preconditions, [&Info](const PreconditionTy &C) { in isValid()