Searched refs:MaxClauseLength (Results 1 – 1 of 1) sorted by relevance
198 unsigned MaxClauseLength = MF.getFunction().getFnAttributeAsParsedInteger( in run() local201 MaxClauseLength = HardClauseLengthLimit; in run()202 MaxClauseLength = std::min(MaxClauseLength, ST->maxHardClauseLength()); in run()203 if (MaxClauseLength <= 1) in run()228 if (CI.Length == MaxClauseLength || in run()