Lines Matching defs:Check
100 /// Check if the binop can result in integer overflow.
113 /// Check if the binop computes a division or a remainder.
119 /// Check if the binop can result in an integer division by zero.
127 /// Check if the binop can result in a float division by zero.
135 /// Check if at least one operand is a fixed point type. In such cases, this
151 /// Check if the RHS has a signed integer representation.
183 /// Check if \p E is a widened promoted integer.
188 /// Check if we can skip the overflow check for \p Op.
792 // Check for undefined division and modulus behaviors.
968 llvm::Value *Check = nullptr;
1016 Check = Builder.CreateAnd(GE, LE);
1021 CGF.EmitCheck(std::make_pair(Check, SanitizerKind::FloatCastOverflow),
1056 llvm::Value *Check = nullptr;
1058 Check = Builder.CreateIntCast(Dst, SrcTy, DstSigned, "anyext");
1060 Check = Builder.CreateICmpEQ(Check, Src, "truncheck");
1062 return std::make_pair(Kind, std::make_pair(Check, Mask));
1103 Check =
1108 if (!CGF.SanOpts.has(Check.second.second))
1114 llvm::ConstantInt::get(Builder.getInt8Ty(), Check.first),
1117 CGF.EmitCheck(Check.second, SanitizerHandler::ImplicitConversion, StaticArgs,
1170 llvm::Value *Check = nullptr;
1171 Check = Builder.CreateICmpEQ(SrcIsNegative, DstIsNegative, "signchangecheck");
1175 std::make_pair(Check, SanitizerKind::ImplicitIntegerSignChange));
1227 Check;
1235 Check = EmitIntegerSignChangeCheckHelper(Src, SrcType, Dst, DstType, Builder);
1236 CheckKind = Check.first;
1237 Checks.emplace_back(Check.second);
1244 Check =
1247 Checks.emplace_back(Check.second);
1276 llvm::Value *Check = nullptr;
1278 Check = Builder.CreateIntCast(Dst, Src->getType(), DstSigned, "bf.anyext");
1280 Check = Builder.CreateICmpEQ(Check, Src, "bf.truncheck");
1284 Kind, std::make_pair(Check, SanitizerKind::ImplicitBitfieldConversion));
1303 llvm::Value *Check = nullptr;
1304 Check =
1309 std::make_pair(Check, SanitizerKind::ImplicitBitfieldConversion));
1345 Check;
1367 Check =
1372 Check =
1377 ScalarExprEmitter::ImplicitConversionCheckKind CheckKind = Check.first;
1387 EmitCheck(Check.second, SanitizerHandler::ImplicitConversion, StaticArgs,
1540 // other pointers and integers. Check for pointer types in terms of LLVM, as
1733 SanitizerHandler Check;
1744 Check = SanitizerHandler::NegateOverflow;
1750 Check = SanitizerHandler::ShiftOutOfBounds;
1758 Check = SanitizerHandler::DivremOverflow;
1763 case BO_Add: Check = SanitizerHandler::AddOverflow; break;
1764 case BO_Sub: Check = SanitizerHandler::SubOverflow; break;
1765 case BO_Mul: Check = SanitizerHandler::MulOverflow; break;
1774 CGF.EmitCheck(Checks, Check, StaticData, DynamicData);
1851 // Check for -1 and output it as undef in the IR.
4053 // Check whether it would be legal to emit an fmuladd intrinsic call to
4067 // Check whether this op is marked as fusable.
4478 // Check whether we are shifting any non-zero bits off the top of the
4829 // Check if LHS is a bitfield, if RHS contains an implicit cast expression
5734 // Check for overflows unless the GEP got constant-folded,