alloca
AllocationOpInterface
RegionBranchOpInterface
BufferOriginAnalysis
SubsetOpInterface
SubsetExtractionOpInterface
resolveUsesInRepetitiveRegions