Searched refs:recordAssumption (Results 1 – 1 of 1) sorted by relevance
83 void recordAssumption(OperandSide Side, BinaryOperator::Opcode Cmp, unsigned Limit);158 recordAssumption(Side, Comparison, Limit); in assumeRequirement()297 void BitwiseShiftValidator::recordAssumption(OperandSide Side, in recordAssumption() function in __anon1c4322b80111::BitwiseShiftValidator