Searched refs:EltReachdDef (Results 1 – 1 of 1) sorted by relevance
1094 isl::union_map EltReachdDef = distributeDomain(WriteReachDefZone.curry()); in computeKnownFromMustWrites() local1100 return EltReachdDef.apply_range(AllKnownWriteValInst); in computeKnownFromMustWrites()