Lines Matching defs:Check
98 /// Check if the binop can result in integer overflow.
111 /// Check if the binop computes a division or a remainder.
117 /// Check if the binop can result in an integer division by zero.
125 /// Check if the binop can result in a float division by zero.
133 /// Check if at least one operand is a fixed point type. In such cases, this
172 /// Check if \p E is a widened promoted integer.
177 /// Check if we can skip the overflow check for \p Op.
767 // Check for undefined division and modulus behaviors.
911 llvm::Value *Check = nullptr;
959 Check = Builder.CreateAnd(GE, LE);
964 CGF.EmitCheck(std::make_pair(Check, SanitizerKind::FloatCastOverflow),
999 llvm::Value *Check = nullptr;
1001 Check = Builder.CreateIntCast(Dst, SrcTy, DstSigned, "anyext");
1003 Check = Builder.CreateICmpEQ(Check, Src, "truncheck");
1005 return std::make_pair(Kind, std::make_pair(Check, Mask));
1046 Check =
1051 if (!CGF.SanOpts.has(Check.second.second))
1057 llvm::ConstantInt::get(Builder.getInt8Ty(), Check.first)};
1058 CGF.EmitCheck(Check.second, SanitizerHandler::ImplicitConversion, StaticArgs,
1114 llvm::Value *Check = nullptr;
1115 Check = Builder.CreateICmpEQ(SrcIsNegative, DstIsNegative, "signchangecheck");
1119 std::make_pair(Check, SanitizerKind::ImplicitIntegerSignChange));
1171 Check;
1179 Check = EmitIntegerSignChangeCheckHelper(Src, SrcType, Dst, DstType, Builder);
1180 CheckKind = Check.first;
1181 Checks.emplace_back(Check.second);
1188 Check =
1191 Checks.emplace_back(Check.second);
1293 // other pointers and integers. Check for pointer types in terms of LLVM, as
1571 SanitizerHandler Check;
1582 Check = SanitizerHandler::NegateOverflow;
1588 Check = SanitizerHandler::ShiftOutOfBounds;
1596 Check = SanitizerHandler::DivremOverflow;
1601 case BO_Add: Check = SanitizerHandler::AddOverflow; break;
1602 case BO_Sub: Check = SanitizerHandler::SubOverflow; break;
1603 case BO_Mul: Check = SanitizerHandler::MulOverflow; break;
1612 CGF.EmitCheck(Checks, Check, StaticData, DynamicData);
1670 // Check for -1 and output it as undef in the IR.
3471 // Check whether it would be legal to emit an fmuladd intrinsic call to
3485 // Check whether this op is marked as fusable.
3857 // Check whether we are shifting any non-zero bits off the top of the
4922 // Check for overflows unless the GEP got constant-folded,