Searched refs:ForceSignedSystem (Results 1 – 1 of 1) sorted by relevance
303 bool ForceSignedSystem = false) const;327 bool ForceSignedSystem);674 bool ForceSignedSystem) const { in getConstraint()676 assert((!ForceSignedSystem || CmpInst::isEquality(Pred)) && in getConstraint()693 if (!ForceSignedSystem && match(Op1, m_Zero())) { in getConstraint()701 if (!ForceSignedSystem && match(Op1, m_Zero())) { in getConstraint()718 bool IsSigned = ForceSignedSystem || CmpInst::isSigned(Pred); in getConstraint()1667 bool ForceSignedSystem) { in addFactImpl() argument1671 auto R = getConstraint(Pred, A, B, NewVariables, ForceSignedSystem); in addFactImpl()