Searched refs:AMap (Results 1 – 2 of 2) sorted by relevance
499 AllocatedDataTy AMap = State->get<AllocatedData>(); in evalAssume() local500 if (AMap.isEmpty()) in evalAssume()524 for (auto [Sym, AllocState] : AMap) { in evalAssume()535 AllocatedDataTy AMap = State->get<AllocatedData>(); in checkDeadSymbols() local536 if (AMap.isEmpty()) in checkDeadSymbols()541 for (const auto &[Sym, AllocState] : AMap) { in checkDeadSymbols()646 AllocatedDataTy AMap = State->get<AllocatedData>(); in printState() local648 if (!AMap.isEmpty()) { in printState()650 for (SymbolRef Sym : llvm::make_first_range(AMap)) { in printState()
685 isl::space AMap = ASpace.unwrap(); in structureCompare() local689 structureCompare(AMap.domain(), BMap.domain(), ConsiderTupleLen); in structureCompare()693 return structureCompare(AMap.range(), BMap.range(), ConsiderTupleLen); in structureCompare()