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