Searched refs:ExtDomain (Results 1 – 1 of 1) sorted by relevance
402 isl::union_map ExtDomain = Extension.extension_get_extension(); in visitExtension() local403 isl::union_set NewDomain = Domain.unite(ExtDomain.range()); in visitExtension()407 Extensions = ChildExtensions.unite(ExtDomain); in visitExtension()