Lines Matching refs:Checks
89 void EmitBinOpCheck(ArrayRef<std::pair<Value *, SanitizerMask>> Checks,
472 /// Create a binary op that checks for overflow.
925 /// operation). The check passes if all values in \p Checks (which are \c i1),
928 ArrayRef<std::pair<Value *, SanitizerMask>> Checks, const BinOpInfo &Info) {
971 CGF.EmitCheck(Checks, CheckName, StaticData, DynamicData);
2231 SmallVector<std::pair<llvm::Value *, SanitizerMask>, 2> Checks;
2234 Checks.push_back(std::make_pair(Builder.CreateICmpNE(Ops.RHS, Zero),
2249 Checks.push_back(
2253 if (Checks.size() > 0)
2254 EmitBinOpCheck(Checks, Ops);
2534 // Checks that (a) the operation is fusable, and (b) -ffp-contract=on.
2718 SmallVector<std::pair<Value *, SanitizerMask>, 2> Checks;
2723 Checks.push_back(
2755 Checks.push_back(std::make_pair(BaseCheck, SanitizerKind::ShiftBase));
2758 assert(!Checks.empty());
2759 EmitBinOpCheck(Checks, Ops);
