We can hit the assert for req_op = OP_STORE_HIT and reloading in the
case of dcbz, since it looks like a store. Therefore we need to
exclude that case from the assert.
Signed-off-by: Paul Mackerras <paulus@ozlabs.org>
if reloading and wishbone_in.ack = '1' and r1.store_way = i then
do_write <= '1';
end if;
- if req_op = OP_STORE_HIT and req_hit_way = i and cancel_store = '0' then
+ if req_op = OP_STORE_HIT and req_hit_way = i and cancel_store = '0' and
+ r1.req.dcbz = '0' then
assert not reloading report "Store hit while in state:" &
state_t'image(r1.state)
severity FAILURE;