lib/CodeGen/CGExprScalar.cpp

97   /// Check if the binop can result in integer overflow.
110   /// Check if the binop computes a division or a remainder.
116   /// Check if the binop can result in an integer division by zero.
124   /// Check if the binop can result in a float division by zero.
132   /// Check if either operand is a fixed point type or integer type, with at
170 /// Check if \p E is a widened promoted integer.
175 /// Check if we can skip the overflow check for \p Op.
750   // Check for undefined division and modulus behaviors.
889   llvm::Value *Check = nullptr;
937   Check = Builder.CreateAnd(GE, LE);
942   CGF.EmitCheck(std::make_pair(Check, SanitizerKind::FloatCastOverflow),
977   llvm::Value *Check = nullptr;
979   Check = Builder.CreateIntCast(Dst, SrcTy, DstSigned, "anyext");
981   Check = Builder.CreateICmpEQ(Check, Src, "truncheck");
983   return std::make_pair(Kind, std::make_pair(Check, Mask));
1024       Check =
1029   if (!CGF.SanOpts.has(Check.second.second))
1035       llvm::ConstantInt::get(Builder.getInt8Ty(), Check.first)};
1036   CGF.EmitCheck(Check.second, SanitizerHandler::ImplicitConversion, StaticArgs,
1092   llvm::Value *Check = nullptr;
1093   Check = Builder.CreateICmpEQ(SrcIsNegative, DstIsNegative, "signchangecheck");
1097       std::make_pair(Check, SanitizerKind::ImplicitIntegerSignChange));
1149       Check;
1157   Check = EmitIntegerSignChangeCheckHelper(Src, SrcType, Dst, DstType, Builder);
1158   CheckKind = Check.first;
1159   Checks.emplace_back(Check.second);
1166     Check =
1169     Checks.emplace_back(Check.second);
1271   // other pointers and integers. Check for pointer types in terms of LLVM, as
1549   SanitizerHandler Check;
1560     Check = SanitizerHandler::NegateOverflow;
1566       Check = SanitizerHandler::ShiftOutOfBounds;
1574       Check = SanitizerHandler::DivremOverflow;
1579       case BO_Add: Check = SanitizerHandler::AddOverflow; break;
1580       case BO_Sub: Check = SanitizerHandler::SubOverflow; break;
1581       case BO_Mul: Check = SanitizerHandler::MulOverflow; break;
1590   CGF.EmitCheck(Checks, Check, StaticData, DynamicData);
1648     // Check for -1 and output it as undef in the IR.
3388 // Check whether it would be legal to emit an fmuladd intrinsic call to
3402   // Check whether this op is marked as fusable.
3702       // Check whether we are shifting any non-zero bits off the top of the
4769   // Check for overflows unless the GEP got constant-folded,