Searched refs:SimplifiedRHS (Results 1 – 3 of 3) sorted by relevance
161 auto SimplifiedRHS = SimplifiedAddresses.find(RHS); in visitCmpInst() local162 if (SimplifiedRHS != SimplifiedAddresses.end()) { in visitCmpInst()164 SimplifiedAddress &RHSAddr = SimplifiedRHS->second; in visitCmpInst()
1306 Expr::EvalResult SimplifiedRHS; in diagnoseWellFormedUnsatisfiedConstraintExpr() local1310 BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context, in diagnoseWellFormedUnsatisfiedConstraintExpr()1313 if (!SimplifiedLHS.Diag && ! SimplifiedRHS.Diag) { in diagnoseWellFormedUnsatisfiedConstraintExpr()1319 << toString(SimplifiedRHS.Val.getInt(), 10); in diagnoseWellFormedUnsatisfiedConstraintExpr()
9367 const auto &SimplifiedRHS = A.getAssumedSimplified( in calculateBinaryOperator() local9370 if (!SimplifiedRHS.has_value()) in calculateBinaryOperator()9372 if (!*SimplifiedRHS) in calculateBinaryOperator()9374 RHS = *SimplifiedRHS; in calculateBinaryOperator()9456 const auto &SimplifiedRHS = A.getAssumedSimplified( in calculateCmpInst() local9459 if (!SimplifiedRHS.has_value()) in calculateCmpInst()9461 if (!*SimplifiedRHS) in calculateCmpInst()9463 RHS = *SimplifiedRHS; in calculateCmpInst()