Lines Matching refs:AF
772 const SCEV *AF; in isValidIntrinsicInst() local
779 AF = SE.getSCEVAtScope(cast<MemTransferInst>(II).getSource(), L); in isValidIntrinsicInst()
780 if (!AF->isZero()) { in isValidIntrinsicInst()
781 BP = dyn_cast<SCEVUnknown>(SE.getPointerBase(AF)); in isValidIntrinsicInst()
783 if (!isValidAccess(&II, AF, BP, Context)) in isValidIntrinsicInst()
788 AF = SE.getSCEVAtScope(cast<MemIntrinsic>(II).getDest(), L); in isValidIntrinsicInst()
789 if (!AF->isZero()) { in isValidIntrinsicInst()
790 BP = dyn_cast<SCEVUnknown>(SE.getPointerBase(AF)); in isValidIntrinsicInst()
792 if (!isValidAccess(&II, AF, BP, Context)) in isValidIntrinsicInst()
893 if (auto *AF = dyn_cast<SCEVAddExpr>(Pair.second)) { in getDelinearizationTerms() local
894 for (auto Op : AF->operands()) { in getDelinearizationTerms()
969 const SCEV *AF = Pair.second; in hasValidArraySizes() local
971 if (!isAffine(AF, Scope, Context)) { in hasValidArraySizes()
972 invalid<ReportNonAffineAccess>(Context, /*Assert=*/true, AF, Insn, in hasValidArraySizes()
997 auto *AF = Pair.second; in computeAccessFunctions() local
998 AF = SCEVRemoveMax::rewrite(AF, SE); in computeAccessFunctions()
1004 if (!AF) { in computeAccessFunctions()
1011 Acc->DelinearizedSubscripts.push_back(AF); in computeAccessFunctions()
1013 llvm::computeAccessFunctions(SE, AF, Acc->DelinearizedSubscripts, in computeAccessFunctions()
1077 bool ScopDetection::isValidAccess(Instruction *Inst, const SCEV *AF, in isValidAccess() argument
1097 AF = SE.getMinusSCEV(AF, BP); in isValidAccess()
1120 findLoops(AF, Loops); in isValidAccess()
1126 bool IsAffine = !IsVariantInNonAffineLoop && isAffine(AF, Scope, Context); in isValidAccess()
1129 return invalid<ReportNonAffineAccess>(Context, /*Assert=*/true, AF, Inst, in isValidAccess()
1132 Context.Accesses[BP].push_back({Inst, AF}); in isValidAccess()
1138 return invalid<ReportNonAffineAccess>(Context, /*Assert=*/true, AF, Inst, in isValidAccess()