Home
last modified time | relevance | path

Searched refs:getRHS (Results 1 – 25 of 225) sorted by relevance

123456789

/llvm-project-15.0.7/mlir/lib/IR/
H A DAffineExpr.cpp87 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replaceDimsAndSymbols()
145 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replace()
179 expr.getRHS().isSymbolicOrConstant(); in isSymbolicOrConstant()
240 binExpr.getRHS().getLargestKnownDivisor()); in getLargestKnownDivisor()
307 AffineExpr AffineBinaryOpExpr::getRHS() const { in getRHS() function in AffineBinaryOpExpr
419 binaryExpr.getRHS(); in symbolicDivide()
428 binaryExpr.getRHS()); in symbolicDivide()
603 auto rrhs = rBinOpExpr.getRHS(); in simplifyAdd()
617 rlrhs = lrhsBinOpExpr.getRHS(); in simplifyAdd()
631 rlrhs = lrBinOpExpr.getRHS(); in simplifyAdd()
[all …]
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DUndefResultChecker.cpp63 B->getRHS(), C.getASTContext().getIntWidth(B->getLHS()->getType())); in isShiftOverflow()
71 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS())); in isLeftShiftResultUnrepresentable()
106 else if (C.getSVal(B->getRHS()).isUndef()) { in checkPostStmt()
107 Ex = B->getRHS()->IgnoreParenCasts(); in checkPostStmt()
121 C.isNegative(B->getRHS())) { in checkPostStmt()
126 Ex = B->getRHS(); in checkPostStmt()
135 Ex = B->getRHS(); in checkPostStmt()
139 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS())); in checkPostStmt()
161 SB.getKnownValue(State, C.getSVal(B->getRHS())); in checkPostStmt()
H A DDivZeroChecker.cpp39 return BE->getRHS(); in getDenomExpr()
66 if (!B->getRHS()->getType()->isScalarType()) in checkPreStmt()
69 SVal Denom = C.getSVal(B->getRHS()); in checkPreStmt()
H A DFixedAddressChecker.cpp46 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
60 R->addRange(B->getRHS()->getSourceRange()); in checkPreStmt()
H A DMallocOverflowSecurityChecker.cpp91 const Expr *rhs = binop->getRHS(); in CheckMallocArgument()
183 const Expr *rhs = AssignEx->getRHS(); in CheckAssignmentExpr()
193 const Expr *denom = BOp->getRHS()->IgnoreParenImpCasts(); in CheckAssignmentExpr()
231 const Expr * rhs = E->getRHS(); in VisitBinaryOperator()
H A DTestAfterDivZeroChecker.cpp108 E = BO->getRHS(); in REGISTER_SET_WITH_PROGRAMSTATE()
205 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
216 const IntegerLiteral *IntLiteral = dyn_cast<IntegerLiteral>(B->getRHS()); in checkBranchCondition()
226 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
H A DDeadStoresChecker.cpp112 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
296 const Expr *RHS = B->getRHS()->IgnoreParenCasts(); in isIncrement()
308 if ((DR = dyn_cast<DeclRefExpr>(BRHS->getRHS()->IgnoreParenCasts()))) in isIncrement()
334 LookThroughTransitiveAssignmentsAndCommaOperators(B->getRHS()); in observeStmt()
356 CheckVarDecl(VD, DR, B->getRHS(), dsk, Live); in observeStmt()
H A DIdenticalExprChecker.cpp82 const Expr *RHS = B->getRHS(); in checkBitwiseOrLogicalOp()
91 if (isIdenticalStmt(AC->getASTContext(), RHS, B2->getRHS())) { in checkBitwiseOrLogicalOp()
93 Sr[1] = B2->getRHS()->getSourceRange(); in checkBitwiseOrLogicalOp()
223 const Expr *RHS = B->getRHS()->IgnoreParenImpCasts(); in checkComparisonOp()
253 if (isIdenticalStmt(AC->getASTContext(), B->getLHS(), B->getRHS())) { in checkComparisonOp()
/llvm-project-15.0.7/clang-tools-extra/clang-tidy/readability/
H A DMisplacedArrayIndexCheck.cpp39 const Expr *RHSE = ArraySubscriptE->getRHS()->IgnoreParenImpCasts(); in check()
47 ArraySubscriptE->getRHS()->getSourceRange(), *Result.Context); in check()
52 ArraySubscriptE->getRHS()->getSourceRange(), LText); in check()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp41 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); in assumeSym()
55 Loc::isLocType(SSE->getRHS()->getType())) { in assumeSym()
66 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
80 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
224 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
H A DSimpleSValBuilder.cpp267 (SymInt->getRHS()) : in decomposeSymbol()
268 (-SymInt->getRHS())); in decomposeSymbol()
628 symIntExpr->getRHS(), resultTy); in evalBinOpNN()
647 const llvm::APSInt &first = IntType.convert(symIntExpr->getRHS()); in evalBinOpNN()
1285 RHS = SVB.makeIntLocVal(S->getRHS()); in simplifySValOnce()
1287 RHS = SVB.makeIntVal(S->getRHS()); in simplifySValOnce()
1299 SVal RHS = getConstOrVisit(S->getRHS()); in simplifySValOnce()
1300 if (isUnchanged(S->getRHS(), RHS)) in simplifySValOnce()
1318 Loc::isLocType(S->getRHS()->getType())) in simplifySValOnce()
1322 SVal RHS = getConstOrVisit(S->getRHS()); in simplifySValOnce()
[all …]
/llvm-project-15.0.7/clang-tools-extra/clang-tidy/abseil/
H A DDurationFactoryScaleCheck.cpp178 Remainder = MultBinOp->getRHS(); in check()
183 IntLit = llvm::dyn_cast<IntegerLiteral>(MultBinOp->getRHS()); in check()
184 FloatLit = llvm::dyn_cast<FloatingLiteral>(MultBinOp->getRHS()); in check()
195 const auto *FloatLit = llvm::cast<FloatingLiteral>(DivBinOp->getRHS()); in check()
H A DDurationComparisonCheck.cpp42 if (isInMacro(Result, Binop->getLHS()) || isInMacro(Result, Binop->getRHS())) in check()
47 rewriteExprFromNumberToDuration(Result, *Scale, Binop->getRHS()); in check()
H A DTimeComparisonCheck.cpp39 if (isInMacro(Result, Binop->getLHS()) || isInMacro(Result, Binop->getRHS())) in check()
49 rewriteExprFromNumberToTime(Result, *Scale, Binop->getRHS()); in check()
H A DDurationAdditionCheck.cpp54 rewriteExprFromNumberToDuration(Result, *Scale, Binop->getRHS()) + ")") in check()
57 assert(Call == Binop->getRHS()->IgnoreParenImpCasts() && in check()
H A DTimeSubtractionCheck.cpp155 rewriteExprFromNumberToTime(Result, *Scale, BinOp->getRHS()) + in check()
181 rewriteExprFromNumberToTime(Result, *Scale, BinOp->getRHS()) + in check()
193 rewriteExprFromNumberToTime(Result, *Scale, BinOp->getRHS()) + ")") in check()
/llvm-project-15.0.7/clang/lib/Sema/
H A DSemaConcept.cpp42 RHS = BO->getRHS(); in LogicalBinOp()
58 const Expr *getRHS() const { return RHS; } in getRHS() function in __anon8ad849b10111::LogicalBinOp
73 CheckConstraintExpression(BO.getRHS(), NextToken, in CheckConstraintExpression()
578 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
594 BO->getRHS()->EvaluateKnownConstInt(S.Context).getBoolValue(); in diagnoseWellFormedUnsatisfiedConstraintExpr()
596 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
607 BO->getRHS()->getType()->isIntegerType()) { in diagnoseWellFormedUnsatisfiedConstraintExpr()
613 BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context, in diagnoseWellFormedUnsatisfiedConstraintExpr()
810 auto RHS = fromConstraintExpr(S, D, BO.getRHS()); in fromConstraintExpr()
860 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()
[all …]
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h173 RHS = &SIE->getRHS(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
176 RHS = getSymVal(State, ISE->getRHS()); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
180 RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
282 return canReasonAbout(SVB.makeSymbolVal(ISE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
286 canReasonAbout(SVB.makeSymbolVal(SSE->getRHS())); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/llvm-project-15.0.7/clang-tools-extra/clang-tidy/bugprone/
H A DMisplacedWideningCastCheck.cpp59 unsigned RHSWidth = getMaxCalculationWidth(Context, Bop->getRHS()); in getMaxCalculationWidth()
66 if (Bop->getRHS()->EvaluateAsInt(Result, Context)) in getMaxCalculationWidth()
70 if (Bop->getRHS()->EvaluateAsInt(Result, Context)) { in getMaxCalculationWidth()
H A DRedundantBranchConditionCheck.cpp123 OtherSide = BinOpCond->getRHS(); in check()
166 CondOp->getRHS()->getBeginLoc().getLocWithOffset(-1); in check()
175 AfterLHS, CondOp->getRHS()->getEndLoc())); in check()
H A DInfiniteLoopCheck.cpp128 isKnownToHaveValue(*BinOp->getRHS(), Ctx, false); in isKnownToHaveValue()
131 isKnownToHaveValue(*BinOp->getRHS(), Ctx, true); in isKnownToHaveValue()
133 return isKnownToHaveValue(*BinOp->getRHS(), Ctx, ExpectedValue); in isKnownToHaveValue()
/llvm-project-15.0.7/clang/lib/ARCMigrate/
H A DTransZeroOutPropsInDealloc.cpp161 isZeroingPropIvar(BOE->getRHS()); in isZeroingPropIvar()
187 return isZero(BOE->getRHS()); in isZeroingPropIvar()
208 return isZero(cast<OpaqueValueExpr>(BO->getRHS())->getSourceExpr()); in isZeroingPropIvar()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Utils/
H A DUtils.cpp50 auto rhs = visit(expr.getRHS()); in buildBinaryExpr()
75 auto rhsConst = expr.getRHS().dyn_cast<AffineConstantExpr>(); in visitModExpr()
88 auto rhs = visit(expr.getRHS()); in visitModExpr()
113 auto rhsConst = expr.getRHS().dyn_cast<AffineConstantExpr>(); in visitFloorDivExpr()
126 auto rhs = visit(expr.getRHS()); in visitFloorDivExpr()
166 auto rhs = visit(expr.getRHS()); in visitCeilDivExpr()
465 AffineExpr rhs = bin.getRHS(); in substWithMin()
471 auto c2 = bin.getRHS().dyn_cast<AffineConstantExpr>(); in substWithMin()
1466 if (binaryExpr.getRHS().isa<AffineConstantExpr>()) in getTileSizePos()
1503 floordivExprRHS == binaryExpr.getRHS()) { in getTileSizePos()
[all …]
/llvm-project-15.0.7/clang/include/clang/Sema/
H A DSemaConcept.h106 NormalizedConstraint(C, Other.getRHS())}, in NormalizedConstraint()
135 NormalizedConstraint &getRHS() const { in getRHS() function
/llvm-project-15.0.7/llvm/lib/MC/
H A DMCExpr.cpp129 if (const MCConstantExpr *RHSC = dyn_cast<MCConstantExpr>(BE.getRHS())) { in print()
160 if (isa<MCConstantExpr>(BE.getRHS()) || isa<MCSymbolRefExpr>(BE.getRHS())) { in print()
161 BE.getRHS()->print(OS, MAI); in print()
164 BE.getRHS()->print(OS, MAI); in print()
885 !ABE->getRHS()->evaluateAsRelocatableImpl(RHSValue, Asm, Layout, Fixup, in evaluateAsRelocatableImpl()
889 if (const MCTargetExpr *R = cast<MCTargetExpr>(ABE->getRHS())) { in evaluateAsRelocatableImpl()
1008 MCFragment *RHS_F = BE->getRHS()->findAssociatedFragment(); in findAssociatedFragment()

123456789