Class RewriteRemoveReadAfterWrite

  • public class RewriteRemoveReadAfterWrite
    extends HopRewriteRule
    Rule: RemoveReadAfterWrite. If there is a persistent read with the same filename as a persistent write, and read has a higher line number than the write, we remove the read and consume the write input directly. This is important for two reasons (1) correctness and (2) performance. Without this rewrite, we could not guarantee the order of read-after-write because there is not data dependency
    • Constructor Detail

      • RewriteRemoveReadAfterWrite

        public RewriteRemoveReadAfterWrite()