346                       DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,  in getPwAff()  argument
349   InvalidDomainMap[BB] = InvalidDomainMap[BB].unite(PWAC.second);  in getPwAff()
364     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,  in buildUnsignedConditionSets()  argument
368   isl_pw_aff *TestVal = getPwAff(BB, InvalidDomainMap, SCEV_TestVal, false);  in buildUnsignedConditionSets()
371       getPwAff(BB, InvalidDomainMap, SCEV_UpperBound, true);  in buildUnsignedConditionSets()
393     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,  in buildConditionSets()  argument
399   LHS = getPwAff(BB, InvalidDomainMap, SE.getSCEVAtScope(Condition, L));  in buildConditionSets()
407     RHS = getPwAff(BB, InvalidDomainMap, SE.getSCEV(CaseValue));  in buildConditionSets()
431     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,  in buildConditionSets()  argument
439     isl_pw_aff *LHS = getPwAff(BB, InvalidDomainMap, LHSSCEV, NonNeg);  in buildConditionSets()
440     isl_pw_aff *RHS = getPwAff(BB, InvalidDomainMap, RHSSCEV, NonNeg);  in buildConditionSets()
465                                     InvalidDomainMap, ConditionSets) &&  in buildConditionSets()
467                                     InvalidDomainMap, ConditionSets);  in buildConditionSets()
505                                      RightOperand, InvalidDomainMap, true);  in buildConditionSets()
510                                      RightOperand, InvalidDomainMap, false);  in buildConditionSets()
515                                      LeftOperand, InvalidDomainMap, true);  in buildConditionSets()
520                                      LeftOperand, InvalidDomainMap, false);  in buildConditionSets()
523       LHS = getPwAff(BB, InvalidDomainMap, LeftOperand, NonNeg);  in buildConditionSets()
524       RHS = getPwAff(BB, InvalidDomainMap, RightOperand, NonNeg);  in buildConditionSets()
567     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap,  in buildConditionSets()  argument
570     return buildConditionSets(BB, SI, L, Domain, InvalidDomainMap,  in buildConditionSets()
583   return buildConditionSets(BB, Condition, TI, L, Domain, InvalidDomainMap,  in buildConditionSets()
588     Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {  in propagateDomainConstraints()  argument
605         if (!propagateDomainConstraints(SubRegion, InvalidDomainMap))  in propagateDomainConstraints()
622       if (!addLoopBoundsToHeaderDomain(BBLoop, InvalidDomainMap))  in propagateDomainConstraints()
632     DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {  in propagateDomainConstraintsToRegionExit()  argument
669   InvalidDomainMap[ExitBB] = ExitDomain.empty(ExitDomain.get_space());  in propagateDomainConstraintsToRegionExit()
730     Loop *L, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {  in addLoopBoundsToHeaderDomain()  argument
765                               InvalidDomainMap, ConditionSets))  in addLoopBoundsToHeaderDomain()
831     Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {  in buildDomains()  argument
839   InvalidDomainMap[EntryBB] = isl::manage(isl_set_empty(isl_set_get_space(S)));  in buildDomains()
846   if (!buildDomainsWithBranchConstraints(R, InvalidDomainMap))  in buildDomains()
849   if (!propagateDomainConstraints(R, InvalidDomainMap))  in buildDomains()
864   if (!propagateInvalidStmtDomains(R, InvalidDomainMap))  in buildDomains()
871     Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {  in buildDomainsWithBranchConstraints()  argument
891         if (!buildDomainsWithBranchConstraints(SubRegion, InvalidDomainMap))  in buildDomainsWithBranchConstraints()
917                                            InvalidDomainMap);  in buildDomainsWithBranchConstraints()
937     else if (!buildConditionSets(BB, TI, BBLoop, Domain.get(), InvalidDomainMap,  in buildDomainsWithBranchConstraints()
977         InvalidDomainMap[SuccBB] = CondSet.empty(CondSet.get_space());  in buildDomainsWithBranchConstraints()
999     Region *R, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {  in propagateInvalidStmtDomains()  argument
1008         propagateInvalidStmtDomains(SubRegion, InvalidDomainMap);  in propagateInvalidStmtDomains()
1018     isl::set InvalidDomain = InvalidDomainMap[BB];  in propagateInvalidStmtDomains()
1033       InvalidDomainMap[BB] = InvalidDomain;  in propagateInvalidStmtDomains()
1057       isl::set SuccInvalidDomain = InvalidDomainMap[SuccBB];  in propagateInvalidStmtDomains()
1061       InvalidDomainMap[SuccBB] = SuccInvalidDomain;  in propagateInvalidStmtDomains()
1069       InvalidDomainMap.erase(BB);  in propagateInvalidStmtDomains()
1074     InvalidDomainMap[BB] = InvalidDomain;  in propagateInvalidStmtDomains()
1365     AssumptionCache &AC, DenseMap<BasicBlock *, isl::set> &InvalidDomainMap) {  in addUserAssumptions()  argument
1402     bool Valid = buildConditionSets(BB, Val, TI, L, Dom, InvalidDomainMap,  in addUserAssumptions()
3513   DenseMap<BasicBlock *, isl::set> InvalidDomainMap;  in buildScop()  local
3515   if (!buildDomains(&R, InvalidDomainMap)) {  in buildScop()
3521   addUserAssumptions(AC, InvalidDomainMap);  in buildScop()
3526       Stmt.setInvalidDomain(InvalidDomainMap[Stmt.getEntryBlock()]);  in buildScop()
3528       Stmt.setInvalidDomain(InvalidDomainMap[getRegionNodeBasicBlock(  in buildScop()