reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1493 if (!AS.BB) { 1494 scop->addAssumption(AS.Kind, AS.Set, AS.Loc, AS.Sign, 1494 scop->addAssumption(AS.Kind, AS.Set, AS.Loc, AS.Sign, 1494 scop->addAssumption(AS.Kind, AS.Set, AS.Loc, AS.Sign, 1494 scop->addAssumption(AS.Kind, AS.Set, AS.Loc, AS.Sign, 1500 isl_set *Dom = scop->getDomainConditions(AS.BB).release(); 1513 isl_set *S = AS.Set.copy(); 1514 if (AS.Sign == AS_RESTRICTION) 1519 scop->addAssumption(AS.Kind, isl::manage(S), AS.Loc, AS_RESTRICTION, AS.BB); 1519 scop->addAssumption(AS.Kind, isl::manage(S), AS.Loc, AS_RESTRICTION, AS.BB); 1519 scop->addAssumption(AS.Kind, isl::manage(S), AS.Loc, AS_RESTRICTION, AS.BB);