| /external/llvm-project/mlir/lib/IR/ |
| D | AffineExpr.cpp | 85 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replaceDimsAndSymbols()
118 auto lhs = binOp.getLHS(), rhs = binOp.getRHS(); in replace()
152 expr.getRHS().isSymbolicOrConstant(); in isSymbolicOrConstant()
168 return op.getLHS().isPureAffine() && op.getRHS().isPureAffine(); in isPureAffine()
175 return op.getLHS().isPureAffine() && op.getRHS().isPureAffine() && in isPureAffine()
177 op.getRHS().template isa<AffineConstantExpr>()); in isPureAffine()
184 op.getRHS().template isa<AffineConstantExpr>(); in isPureAffine()
203 binExpr.getRHS().getLargestKnownDivisor(); in getLargestKnownDivisor()
213 binExpr.getRHS().getLargestKnownDivisor()); in getLargestKnownDivisor()
235 (u = binExpr.getRHS().getLargestKnownDivisor()) % factor == 0 || in isMultipleOf()
[all …]
|
| /external/llvm-project/mlir/lib/Dialect/SDBM/ |
| D | SDBMExpr.cpp | 117 !storage->subExprs[1].match(bin.getRHS())) { in match()
157 visit(expr.getRHS()); in print()
162 visit(expr.getRHS()); in print()
220 return SDBMDiffExpr::get(expr.getRHS(), term); in visitDiff()
223 auto cst = visitConstant(sum.getRHS()).cast<SDBMConstantExpr>(); in visitDiff()
224 return SDBMDiffExpr::get(SDBMSumExpr::get(expr.getRHS(), cst), in visitDiff()
244 rhs.getValue() + lhsSum.getRHS().getValue()); in get()
256 SDBMConstantExpr SDBMSumExpr::getRHS() const { in getRHS() function in SDBMSumExpr
263 AffineExpr lhs = visit(expr.getLHS()), rhs = visit(expr.getRHS()); in getAsAffineExpr()
274 AffineExpr lhs = visit(expr.getLHS()), rhs = visit(expr.getRHS()); in getAsAffineExpr()
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | UndefResultChecker.cpp | 63 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()
|
| D | DivZeroChecker.cpp | 39 return BE->getRHS(); in getDenomExpr()
66 if (!B->getRHS()->getType()->isScalarType()) in checkPreStmt()
69 SVal Denom = C.getSVal(B->getRHS()); in checkPreStmt()
|
| D | FixedAddressChecker.cpp | 46 SVal RV = C.getSVal(B->getRHS()); in checkPreStmt()
60 R->addRange(B->getRHS()->getSourceRange()); in checkPreStmt()
|
| D | DeadStoresChecker.cpp | 110 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
114 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
298 const Expr *RHS = B->getRHS()->IgnoreParenCasts(); in isIncrement()
310 if ((DR = dyn_cast<DeclRefExpr>(BRHS->getRHS()->IgnoreParenCasts()))) in isIncrement()
336 LookThroughTransitiveAssignmentsAndCommaOperators(B->getRHS()); in observeStmt()
358 CheckVarDecl(VD, DR, B->getRHS(), dsk, Live); in observeStmt()
|
| /external/llvm-project/mlir/unittests/SDBM/ |
| D | SDBMTest.cpp | 50 EXPECT_EQ(sumExpr.getRHS().getValue(), 42); in TEST()
62 EXPECT_EQ(sumExpr.getRHS().getValue(), 42); in TEST()
68 EXPECT_EQ(diffExpr.getRHS(), dim(1)); in TEST()
85 EXPECT_EQ(sum.getRHS().getValue(), -8); in TEST()
115 EXPECT_EQ(diffExpr.getRHS(), dim(1)); in TEST()
127 EXPECT_EQ(sumExpr.getRHS().getValue(), -3); in TEST()
141 EXPECT_EQ(lhs.getRHS().getValue(), 2); in TEST()
142 EXPECT_EQ(diffOfSums.getRHS(), dim(1)); in TEST()
335 EXPECT_EQ(expr.getRHS(), cst2); in TEST()
338 EXPECT_EQ(expr2.getRHS(), cst2); in TEST()
[all …]
|
| /external/llvm-project/clang-tools-extra/clang-tidy/readability/ |
| D | MisplacedArrayIndexCheck.cpp | 40 const Expr *RHSE = ArraySubscriptE->getRHS()->IgnoreParenImpCasts(); in check()
48 ArraySubscriptE->getRHS()->getSourceRange(), *Result.Context); in check()
53 ArraySubscriptE->getRHS()->getSourceRange(), LText); in check()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | RangedConstraintManager.cpp | 39 return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS()); in assumeSym()
48 Loc::isLocType(SSE->getRHS()->getType())) { in assumeSym()
59 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy); in assumeSym()
73 SymMgr.getSymSymExpr(SSE->getLHS(), BO_EQ, SSE->getRHS(), ExprType); in assumeSym()
211 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 35 << getRHS().getZExtValue(); in dumpToStream()
36 if (getRHS().isUnsigned()) in dumpToStream()
47 getRHS()->dumpToStream(os); in dumpToStream()
57 getRHS()->dumpToStream(os); in dumpToStream()
131 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand()
136 itr.push_back(x->getRHS()); in expand()
483 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
487 isLive(cast<SymSymExpr>(sym)->getRHS()); in isLive()
|
| D | SimpleConstraintManager.cpp | 56 assert(Loc::isLocType(SSE->getRHS()->getType())); in canReasonAbout()
148 return assumeSymRel(state, SE->getLHS(), op, SE->getRHS()); in assumeAux()
164 assert(Loc::isLocType(SSE->getRHS()->getType())); in assumeAux()
166 SymbolRef Subtraction = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, in assumeAux()
235 Adjustment = APSIntType(Adjustment).convert(SE->getRHS()); in computeAdjustment()
|
| /external/llvm-project/clang/lib/Sema/ |
| D | SemaConcept.cpp | 42 RHS = BO->getRHS(); in LogicalBinOp()
55 const Expr *getRHS() const { return RHS; } in getRHS() function in __anon4fcb15710111::LogicalBinOp
70 CheckConstraintExpression(BO.getRHS(), NextToken, in CheckConstraintExpression()
154 S, BO.getRHS(), Satisfaction, std::forward<AtomicEvaluator>(Evaluator)); in calculateConstraintSatisfaction()
522 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
530 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), First); in diagnoseWellFormedUnsatisfiedConstraintExpr()
538 BO->getRHS()->EvaluateAsBooleanCondition(RHSSatisfied, S.Context); in diagnoseWellFormedUnsatisfiedConstraintExpr()
540 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), in diagnoseWellFormedUnsatisfiedConstraintExpr()
550 BO->getRHS()->getType()->isIntegerType()) { in diagnoseWellFormedUnsatisfiedConstraintExpr()
554 BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context); in diagnoseWellFormedUnsatisfiedConstraintExpr()
[all …]
|
| /external/llvm-project/clang-tools-extra/clang-tidy/abseil/ |
| D | DurationFactoryScaleCheck.cpp | 178 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::dyn_cast<FloatingLiteral>(DivBinOp->getRHS()); in check()
|
| D | DurationComparisonCheck.cpp | 42 if (isInMacro(Result, Binop->getLHS()) || isInMacro(Result, Binop->getRHS())) in check()
47 rewriteExprFromNumberToDuration(Result, *Scale, Binop->getRHS()); in check()
|
| D | TimeComparisonCheck.cpp | 39 if (isInMacro(Result, Binop->getLHS()) || isInMacro(Result, Binop->getRHS())) in check()
49 rewriteExprFromNumberToTime(Result, *Scale, Binop->getRHS()); in check()
|
| D | DurationAdditionCheck.cpp | 54 rewriteExprFromNumberToDuration(Result, *Scale, Binop->getRHS()) + ")") in check()
57 assert(Call == Binop->getRHS()->IgnoreParenImpCasts() && in check()
|
| D | TimeSubtractionCheck.cpp | 155 rewriteExprFromNumberToTime(Result, *Scale, BinOp->getRHS()) + in check()
181 rewriteExprFromNumberToTime(Result, *Scale, BinOp->getRHS()) + in check()
193 rewriteExprFromNumberToTime(Result, *Scale, BinOp->getRHS()) + ")") in check()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DeadStoresChecker.cpp | 110 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
114 Ex = BO->getRHS(); in LookThroughTransitiveAssignmentsAndCommaOperators()
239 const Expr *RHS = B->getRHS()->IgnoreParenCasts(); in isIncrement()
251 if ((DR = dyn_cast<DeclRefExpr>(BRHS->getRHS()->IgnoreParenCasts()))) in isIncrement()
277 LookThroughTransitiveAssignmentsAndCommaOperators(B->getRHS()); in observeStmt()
299 CheckVarDecl(VD, DR, B->getRHS(), dsk, Live); in observeStmt()
|
| D | FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext()); in checkPreStmt()
61 R->addRange(B->getRHS()->getSourceRange()); in checkPreStmt()
|
| D | UndefResultChecker.cpp | 70 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) { in checkPostStmt()
71 Ex = B->getRHS()->IgnoreParenCasts(); in checkPostStmt()
|
| D | DivZeroChecker.cpp | 57 if (!B->getRHS()->getType()->isScalarType()) in checkPreStmt()
60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext()); in checkPreStmt()
|
| D | TestAfterDivZeroChecker.cpp | 111 E = BO->getRHS(); in REGISTER_SET_WITH_PROGRAMSTATE()
208 SVal S = C.getSVal(B->getRHS()); in checkPreStmt()
219 const IntegerLiteral *IntLiteral = dyn_cast<IntegerLiteral>(B->getRHS()); in checkBranchCondition()
229 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); in checkBranchCondition()
|
| D | MallocOverflowSecurityChecker.cpp | 91 const Expr *rhs = binop->getRHS(); in CheckMallocArgument()
183 const Expr *rhs = AssignEx->getRHS(); in CheckAssignmentExpr()
193 const Expr *denom = BOp->getRHS()->IgnoreParenImpCasts(); in CheckAssignmentExpr()
228 const Expr * rhs = E->getRHS(); in VisitBinaryOperator()
|
| /external/llvm-project/clang-tools-extra/clang-tidy/bugprone/ |
| D | RedundantBranchConditionCheck.cpp | 97 OtherSide = BinOpCond->getRHS(); in check()
140 CondOp->getRHS()->getBeginLoc().getLocWithOffset(-1); in check()
149 AfterLHS, CondOp->getRHS()->getEndLoc())); in check()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SMTConstraintManager.h | 173 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()
|