Lines Matching defs:AF

767   const SCEV *AF;
774     AF = SE.getSCEVAtScope(cast<MemTransferInst>(II).getSource(), L);
775     if (!AF->isZero()) {
776       BP = dyn_cast<SCEVUnknown>(SE.getPointerBase(AF));
778       if (!isValidAccess(&II, AF, BP, Context))
783     AF = SE.getSCEVAtScope(cast<MemIntrinsic>(II).getDest(), L);
784     if (!AF->isZero()) {
785       BP = dyn_cast<SCEVUnknown>(SE.getPointerBase(AF));
787       if (!isValidAccess(&II, AF, BP, Context))
888     if (auto *AF = dyn_cast<SCEVAddExpr>(Pair.second)) {
889       for (auto Op : AF->operands()) {
964       const SCEV *AF = Pair.second;
966       if (!isAffine(AF, Scope, Context)) {
967         invalid<ReportNonAffineAccess>(Context, /*Assert=*/true, AF, Insn,
992     auto *AF = Pair.second;
993     AF = SCEVRemoveMax::rewrite(AF, SE);
999     if (!AF) {
1006         Acc->DelinearizedSubscripts.push_back(AF);
1008         llvm::computeAccessFunctions(SE, AF, Acc->DelinearizedSubscripts,
1072 bool ScopDetection::isValidAccess(Instruction *Inst, const SCEV *AF,
1092   AF = SE.getMinusSCEV(AF, BP);
1115   findLoops(AF, Loops);
1121   bool IsAffine = !IsVariantInNonAffineLoop && isAffine(AF, Scope, Context);
1124     return invalid<ReportNonAffineAccess>(Context, /*Assert=*/true, AF, Inst,
1127     Context.Accesses[BP].push_back({Inst, AF});
1133     return invalid<ReportNonAffineAccess>(Context, /*Assert=*/true, AF, Inst,