100% D$ coverage
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