Lines Matching defs:InvalidDomainMap
339 /// @param InvalidDomainMap A map of BB to their invalid domains.
347 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
350 InvalidDomainMap[BB] = InvalidDomainMap[BB].unite(PWAC.second);
365 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
369 isl_pw_aff *TestVal = getPwAff(BB, InvalidDomainMap, SCEV_TestVal, false);
372 getPwAff(BB, InvalidDomainMap, SCEV_UpperBound, true);
394 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
400 LHS = getPwAff(BB, InvalidDomainMap, SE.getSCEVAtScope(Condition, L));
408 RHS = getPwAff(BB, InvalidDomainMap, SE.getSCEV(CaseValue));
432 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
440 isl_pw_aff *LHS = getPwAff(BB, InvalidDomainMap, LHSSCEV, NonNeg);
441 isl_pw_aff *RHS = getPwAff(BB, InvalidDomainMap, RHSSCEV, NonNeg);
466 InvalidDomainMap, ConditionSets) &&
468 InvalidDomainMap, ConditionSets);
506 RightOperand, InvalidDomainMap, true);
511 RightOperand, InvalidDomainMap, false);
516 LeftOperand, InvalidDomainMap, true);
521 LeftOperand, InvalidDomainMap, false);
524 LHS = getPwAff(BB, InvalidDomainMap, LeftOperand, NonNeg);
525 RHS = getPwAff(BB, InvalidDomainMap, RightOperand, NonNeg);
568 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,
571 return buildConditionSets(BB, SI, L, Domain, InvalidDomainMap,
584 return buildConditionSets(BB, Condition, TI, L, Domain, InvalidDomainMap,
589 Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
606 if (!propagateDomainConstraints(SubRegion, InvalidDomainMap))
623 if (!addLoopBoundsToHeaderDomain(BBLoop, InvalidDomainMap))
633 DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
670 InvalidDomainMap[ExitBB] = ExitDomain.empty(ExitDomain.get_space());
731 Loop *L, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
766 InvalidDomainMap, ConditionSets))
832 Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
840 InvalidDomainMap[EntryBB] = isl::manage(isl_set_empty(isl_set_get_space(S)));
847 if (!buildDomainsWithBranchConstraints(R, InvalidDomainMap))
850 if (!propagateDomainConstraints(R, InvalidDomainMap))
865 if (!propagateInvalidStmtDomains(R, InvalidDomainMap))
872 Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
892 if (!buildDomainsWithBranchConstraints(SubRegion, InvalidDomainMap))
918 InvalidDomainMap);
938 else if (!buildConditionSets(BB, TI, BBLoop, Domain.get(), InvalidDomainMap,
978 InvalidDomainMap[SuccBB] = CondSet.empty(CondSet.get_space());
1000 Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
1009 propagateInvalidStmtDomains(SubRegion, InvalidDomainMap);
1019 isl::set InvalidDomain = InvalidDomainMap[BB];
1034 InvalidDomainMap[BB] = InvalidDomain;
1058 isl::set SuccInvalidDomain = InvalidDomainMap[SuccBB];
1062 InvalidDomainMap[SuccBB] = SuccInvalidDomain;
1070 InvalidDomainMap.erase(BB);
1075 InvalidDomainMap[BB] = InvalidDomain;
1366 AssumptionCache &AC, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {
1403 bool Valid = buildConditionSets(BB, Val, TI, L, Dom, InvalidDomainMap,
3687 DenseMap<BasicBlock *, isl::set> InvalidDomainMap;
3689 if (!buildDomains(&R, InvalidDomainMap)) {
3695 addUserAssumptions(AC, InvalidDomainMap);
3700 Stmt.setInvalidDomain(InvalidDomainMap[Stmt.getEntryBlock()]);
3702 Stmt.setInvalidDomain(InvalidDomainMap[getRegionNodeBasicBlock(