Lines Matching refs:InvalidDomainMap

350                       DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,  in getPwAff()  argument
353 InvalidDomainMap[BB] = InvalidDomainMap[BB].unite(PWAC.second); in getPwAff()
368 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap, in buildUnsignedConditionSets() argument
372 isl_pw_aff *TestVal = getPwAff(BB, InvalidDomainMap, SCEV_TestVal, false); in buildUnsignedConditionSets()
375 getPwAff(BB, InvalidDomainMap, SCEV_UpperBound, true); in buildUnsignedConditionSets()
397 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap, in buildConditionSets() argument
403 LHS = getPwAff(BB, InvalidDomainMap, SE.getSCEVAtScope(Condition, L)); in buildConditionSets()
411 RHS = getPwAff(BB, InvalidDomainMap, SE.getSCEV(CaseValue)); in buildConditionSets()
435 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap, in buildConditionSets() argument
443 isl_pw_aff *LHS = getPwAff(BB, InvalidDomainMap, LHSSCEV, NonNeg); in buildConditionSets()
444 isl_pw_aff *RHS = getPwAff(BB, InvalidDomainMap, RHSSCEV, NonNeg); in buildConditionSets()
466 InvalidDomainMap, ConditionSets) && in buildConditionSets()
468 InvalidDomainMap, ConditionSets); in buildConditionSets()
506 RightOperand, InvalidDomainMap, true); in buildConditionSets()
511 RightOperand, InvalidDomainMap, false); in buildConditionSets()
516 LeftOperand, InvalidDomainMap, true); in buildConditionSets()
521 LeftOperand, InvalidDomainMap, false); in buildConditionSets()
524 LHS = getPwAff(BB, InvalidDomainMap, LeftOperand, NonNeg); in buildConditionSets()
525 RHS = getPwAff(BB, InvalidDomainMap, RightOperand, NonNeg); in buildConditionSets()
568 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap, in buildConditionSets() argument
571 return buildConditionSets(BB, SI, L, Domain, InvalidDomainMap, in buildConditionSets()
584 return buildConditionSets(BB, Condition, TI, L, Domain, InvalidDomainMap, in buildConditionSets()
589 Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) { in propagateDomainConstraints() argument
606 if (!propagateDomainConstraints(SubRegion, InvalidDomainMap)) in propagateDomainConstraints()
623 if (!addLoopBoundsToHeaderDomain(BBLoop, InvalidDomainMap)) in propagateDomainConstraints()
633 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) { in propagateDomainConstraintsToRegionExit() argument
669 InvalidDomainMap[ExitBB] = ExitDomain.empty(ExitDomain.get_space()); in propagateDomainConstraintsToRegionExit()
729 Loop *L, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) { in addLoopBoundsToHeaderDomain() argument
764 InvalidDomainMap, ConditionSets)) in addLoopBoundsToHeaderDomain()
830 Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) { in buildDomains() argument
838 InvalidDomainMap[EntryBB] = isl::manage(isl_set_empty(isl_set_get_space(S))); in buildDomains()
845 if (!buildDomainsWithBranchConstraints(R, InvalidDomainMap)) in buildDomains()
848 if (!propagateDomainConstraints(R, InvalidDomainMap)) in buildDomains()
863 if (!propagateInvalidStmtDomains(R, InvalidDomainMap)) in buildDomains()
870 Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) { in buildDomainsWithBranchConstraints() argument
890 if (!buildDomainsWithBranchConstraints(SubRegion, InvalidDomainMap)) in buildDomainsWithBranchConstraints()
916 InvalidDomainMap); in buildDomainsWithBranchConstraints()
936 else if (!buildConditionSets(BB, TI, BBLoop, Domain.get(), InvalidDomainMap, in buildDomainsWithBranchConstraints()
976 InvalidDomainMap[SuccBB] = CondSet.empty(CondSet.get_space()); in buildDomainsWithBranchConstraints()
998 Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) { in propagateInvalidStmtDomains() argument
1007 propagateInvalidStmtDomains(SubRegion, InvalidDomainMap); in propagateInvalidStmtDomains()
1017 isl::set InvalidDomain = InvalidDomainMap[BB]; in propagateInvalidStmtDomains()
1032 InvalidDomainMap[BB] = InvalidDomain; in propagateInvalidStmtDomains()
1056 isl::set SuccInvalidDomain = InvalidDomainMap[SuccBB]; in propagateInvalidStmtDomains()
1060 InvalidDomainMap[SuccBB] = SuccInvalidDomain; in propagateInvalidStmtDomains()
1067 InvalidDomainMap.erase(BB); in propagateInvalidStmtDomains()
1072 InvalidDomainMap[BB] = InvalidDomain; in propagateInvalidStmtDomains()
1527 AssumptionCache &AC, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) { in addUserAssumptions() argument
1564 bool Valid = buildConditionSets(BB, Val, TI, L, Dom, InvalidDomainMap, in addUserAssumptions()
3696 DenseMap<BasicBlock *, isl::set> InvalidDomainMap; in buildScop() local
3698 if (!buildDomains(&R, InvalidDomainMap)) { in buildScop()
3704 addUserAssumptions(AC, InvalidDomainMap); in buildScop()
3709 Stmt.setInvalidDomain(InvalidDomainMap[Stmt.getEntryBlock()]); in buildScop()
3711 Stmt.setInvalidDomain(InvalidDomainMap[getRegionNodeBasicBlock( in buildScop()