Lines Matching defs:ConstraintInfo
206 class ConstraintInfo;
243 bool isValid(const ConstraintInfo &Info) const;
267 class ConstraintInfo {
275 ConstraintInfo(const DataLayout &DL, ArrayRef<Value *> FunctionArgs)
647 ConstraintInfo::getConstraint(CmpInst::Predicate Pred, Value *Op0, Value *Op1,
782 ConstraintTy ConstraintInfo::getConstraintForSolving(CmpInst::Predicate Pred,
811 bool ConstraintTy::isValid(const ConstraintInfo &Info) const {
862 bool ConstraintInfo::doesHold(CmpInst::Predicate Pred, Value *A,
869 void ConstraintInfo::transferToOtherSystem(
1263 ConstraintInfo &Info, DominatorTree &DT) {
1391 ConstraintInfo &Info) {
1431 CmpInst *Cmp, ConstraintInfo &Info, unsigned NumIn, unsigned NumOut,
1467 static bool checkAndReplaceMinMax(MinMaxIntrinsic *MinMax, ConstraintInfo &Info,
1487 static bool checkAndReplaceCmp(CmpIntrinsic *I, ConstraintInfo &Info,
1510 removeEntryFromStack(const StackEntry &E, ConstraintInfo &Info,
1528 FactOrCheck &CB, ConstraintInfo &Info, Module *ReproducerModule,
1593 void ConstraintInfo::addFact(CmpInst::Predicate Pred, Value *A, Value *B,
1602 void ConstraintInfo::addFactImpl(CmpInst::Predicate Pred, Value *A, Value *B,
1698 tryToSimplifyOverflowMath(IntrinsicInst *II, ConstraintInfo &Info,
1701 ConstraintInfo &Info) {
1733 ConstraintInfo Info(F.getDataLayout(), FunctionArgs);