unnecessary logic

Created by: omerguzelelectronicguy

Is there an existing CVA6 bug for this?

• I have searched the existing bug issues

Bug Description

This cannot be counted as bug but I couldn't find a relevant label. The tools already handle it. However, It is better to simple as much as possible. That's why I wanted to ask whether this line includes unnecessary logic or not.

Let say !pmpcfg_q[index].locked a, and pmpcfg_q[index].locked && pmpcfg_q[index].addr_mode == riscv::TOR b. the if statement depend on a.(a'.b)' = a.(a+b') Which is a so the actual if statement must depend on !pmpcfg_q[index].locked