sail-riscv
sail-riscv copied to clipboard
Implement Zicbom, Zicboz (cbo.flush, cbo.inval, cbo.zero)
Regardless of whether p-ext is enabled or not, some insns (i.e. add32) are not available on rv32.
Still it is possible to provide generic code for their immediates, as it should be done when p-ext is disabled (not implemented).
My point is: it is strange that xlen is more restrictive then if extension is provided.
This approach has its drawbacks: e.g. if insn is never emitted, why should we provide an intrinsic. Probably this is why b-ext (and k-ext after it) does not provide rv64-insns' intrinsics on rv32.