Lines Matching refs:Scope

124   Loop *Scope;  member in SCEVValidator
129 SCEVValidator(const Region *R, Loop *Scope, ScalarEvolution &SE, in SCEVValidator() argument
131 : R(R), Scope(Scope), SE(SE), ILS(ILS) {} in SCEVValidator()
235 if (R->contains(L) && (!Scope || !L->contains(Scope))) { in visitAddRecExpr()
443 return visit(SE.getSCEVAtScope(I->getOperand(0), Scope)); in visitUnknown()
467 Loop *Scope; member in SCEVInRegionDependences
473 SCEVInRegionDependences(const Region *R, Loop *Scope, bool AllowLoops, in SCEVInRegionDependences() argument
475 : R(R), Scope(Scope), ILS(ILS), AllowLoops(AllowLoops) {} in SCEVInRegionDependences()
508 if (R->contains(L) && !L->contains(Scope)) { in follow()
584 llvm::Loop *Scope, bool AllowLoops, in hasScalarDepsInsideRegion() argument
586 SCEVInRegionDependences InRegionDeps(R, Scope, AllowLoops, ILS); in hasScalarDepsInsideRegion()
592 bool polly::isAffineExpr(const Region *R, llvm::Loop *Scope, const SCEV *Expr, in isAffineExpr() argument
597 SCEVValidator Validator(R, Scope, SE, ILS); in isAffineExpr()
616 static bool isAffineExpr(Value *V, const Region *R, Loop *Scope, in isAffineExpr() argument
622 SCEVValidator Validator(R, Scope, SE, nullptr); in isAffineExpr()
633 bool polly::isAffineConstraint(Value *V, const Region *R, Loop *Scope, in isAffineConstraint() argument
637 return isAffineConstraint(ICmp->getOperand(0), R, Scope, SE, Params, in isAffineConstraint()
639 isAffineConstraint(ICmp->getOperand(1), R, Scope, SE, Params, true); in isAffineConstraint()
643 return isAffineConstraint(BinOp->getOperand(0), R, Scope, SE, Params, in isAffineConstraint()
645 isAffineConstraint(BinOp->getOperand(1), R, Scope, SE, Params, in isAffineConstraint()
653 return ::isAffineExpr(V, R, Scope, SE, Params); in isAffineConstraint()
656 ParameterSetTy polly::getParamsInAffineExpr(const Region *R, Loop *Scope, in getParamsInAffineExpr() argument
663 SCEVValidator Validator(R, Scope, SE, &ILS); in getParamsInAffineExpr()