RTL Code Coverage Hole in cv32e40p_controller module line 831

[pascalgouedo]

Component

Component:RTL

Issue Description

There is 1 branch condition not covered on line 831 (is_hwloop_body never seen at 1) of cv32e40p_controller during all the simulation non-regressions:
No return from interrupt, ecall, ebreak or exceptions in DECODE_HWLOOP FSM state on the instruction before the last one in HWLoop 1 and with HWLoop 1 counter <= 1 while it happened on HWLoop 0 (line 840).

This looks like issue #1005 which happened in DECODE FSM state. But despite it was possible to demonstrate it could not happen by updating a test for this mentioned issue, no test update allowed to demonstrate the same for the present case.