Searched refs:recordAssumption (Results 1 – 1 of 1) sorted by relevance
85 void recordAssumption(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);160 recordAssumption(Side, Comparison, Limit); in assumeRequirement()298 void BitwiseShiftValidator::recordAssumption(OperandSide Side, in recordAssumption() function in __anon760d32cd0111::BitwiseShiftValidator