lib/Analysis/ScalarEvolution.cpp

509           const Argument *RA = cast<Argument>(RV);
510           unsigned LArgNo = LA->getArgNo(), RArgNo = RA->getArgNo();
544         const APInt &RA = RC->getValue()->getValue();
545         unsigned LBitWidth = LA.getBitWidth(), RBitWidth = RA.getBitWidth();
548         return LA.ult(RA) ? -1 : 1;
553         const SCEVAddRecExpr *RA = cast<SCEVAddRecExpr>(RHS);
556         const Loop *LLoop = LA->getLoop(), *RLoop = RA->getLoop();
565         unsigned LNumOps = LA->getNumOperands(), RNumOps = RA->getNumOperands();
571           long X = compare(LA->getOperand(i), RA->getOperand(i));
3884           const SCEV *RA = getSCEV(U->getOperand(2));
3886           const SCEV *RDiff = getMinusSCEV(RA, RS);
3890           RDiff = getMinusSCEV(RA, LS);
3907           const SCEV *RA = getSCEV(U->getOperand(2));
3909           const SCEV *RDiff = getMinusSCEV(RA, RS);
3913           RDiff = getMinusSCEV(RA, LS);
3926           const SCEV *RA = getSCEV(U->getOperand(2));
3928           const SCEV *RDiff = getMinusSCEV(RA, One);
3941           const SCEV *RA = getSCEV(U->getOperand(2));
3943           const SCEV *RDiff = getMinusSCEV(RA, LS);
5735     const APInt &RA = RC->getValue()->getValue();
5741       if (!RA)
5752       if ((RA - 1).isMinValue()) {
5754         RHS = getConstant(RA - 1);
5758       if (RA.isMaxValue()) {
5763       if (RA.isMinValue()) goto trivially_true;
5766       RHS = getConstant(RA - 1);
5770       if ((RA + 1).isMaxValue()) {
5772         RHS = getConstant(RA + 1);
5776       if (RA.isMinValue()) {
5781       if (RA.isMaxValue()) goto trivially_true;
5784       RHS = getConstant(RA + 1);
5788       if ((RA - 1).isMinSignedValue()) {
5790         RHS = getConstant(RA - 1);
5794       if (RA.isMaxSignedValue()) {
5799       if (RA.isMinSignedValue()) goto trivially_true;
5802       RHS = getConstant(RA - 1);
5806       if ((RA + 1).isMaxSignedValue()) {
5808         RHS = getConstant(RA + 1);
5812       if (RA.isMinSignedValue()) {
5817       if (RA.isMaxSignedValue()) goto trivially_true;
5820       RHS = getConstant(RA + 1);
5824       if (RA.isMinValue()) {
5829       if ((RA + 1).isMaxValue()) {
5831         RHS = getConstant(RA + 1);
5835       if (RA.isMaxValue()) goto trivially_false;
5838       if (RA.isMaxValue()) {
5843       if ((RA - 1).isMinValue()) {
5845         RHS = getConstant(RA - 1);
5849       if (RA.isMinValue()) goto trivially_false;
5852       if (RA.isMinSignedValue()) {
5857       if ((RA + 1).isMaxSignedValue()) {
5859         RHS = getConstant(RA + 1);
5863       if (RA.isMaxSignedValue()) goto trivially_false;
5866       if (RA.isMaxSignedValue()) {
5871       if ((RA - 1).isMinSignedValue()) {
5873        RHS = getConstant(RA - 1);
5877       if (RA.isMinSignedValue()) goto trivially_false;