Skip to content

100% D$ coverage

Eclipse Webmaster requested to merge github/fork/AlecVercruysse/coverage5 into main

Created by: AlecVercruysse

There were just a few cases left to check.

  • 9f417ee is extending an existing branch/expression coverage exclusion to statement coverage as well. InvalidateCache can't go high for D$.
  • 2f49ee1 is an exclusion for a case where the logic is necessary in way zero but not in other ways.
  • 6299c0e is the most complicated exclusion, which relies on the idea that there is no way a FlushW can happen during a d$ write line. Note the comment in the commit about maybe simplifying logic.

This unfortunately doesn't have a big effect on LSU (93.29 -> 93.41) but it means that both instances (I$ and D$) of the cache module are fully covered

Merge request reports

Loading