I implemented the (unratified) Zibi extension: https://github.com/riscv/zibi/releases/tag/v0.6

With LLVM it seems to be worth about 1.2% CoreMark/MHz. The improvements are localised to the list benchmark. Unfortunately no GNU toolchain support for this extension yet.

Release Branch with Immediate(Zibi) Extension v0.6 · riscv/zibi

Branch with Immediate (Zibi) Ratification Plan. Contribute to riscv/zibi development by creating an account on GitHub.

GitHub

@wren6991 Maybe you can share your results on the mailing list: https://lists.riscv.org/g/sig-scalar-efficiency/topics

BTW, will you implement P once it's ready?

@camelcdr I do plan to implement P once there is a single spec with all of the instructions in it 😅
@camelcdr And yeah I was going to try embench too, but a lot of those benchmarks are heavily stdlib-dependent and I'm building my libraries with GCC (just using scripts from riscv-gnu-toolchain with --enable-llvm) so it's going to make things look worse than they are. I guess I can try those SiFive GCC patches for Zibi.
@camelcdr Zibi is not looking so hot in embench actually (compilation only, LLVM main):