[cheriot] CSetBoundsRoundDown instruction and intrinsic

[nwf]

No description provided.

[v01dXYZ]

Hello,
Where are the tests for both llvm intrinsics and clang intrinsics ? If it is an easy task (for some of them), I am voluntary to do it.

[resistor]

Hello, Where are the tests for both llvm intrinsics and clang intrinsics ? If it is an easy task (for some of them), I am voluntary to do it.

Hi, are you still interested in this? I think this should be a pretty self contained piece of work that would be great for ramping up on. If not, I can take it over.

[v01dXYZ]

I'll do it. Do you want me to do it for this intrinsic first or to try to ît for many of them (mabe not all at first) at once ?

[resistor]

I would start with just this one.

[davidchisnall]

I think we have tests for the others already?

[v01dXYZ]

@nwf I added some tests for the LLVM parts (CodeGen, MC). v01dXYZ@e7c0231

Is there any reasons why this intrinsic is not available with Mips ?

@davidchisnall You're right. The other ones are already present.

[nwf]

@nwf

Thanks a lot!

Is there any reasons why this intrinsic is not available with Mips ?

The instruction has yet to be specified for CHERI-MIPS and, since that platform's long been sent to enjoy a farm in the countryside, I can't imagine it will be. Similarly, it's not specified for CHERI-RISC-V or the in-progress RISC-V Zcheripurecap and adjacent constellation of standards, though I think we are likely to define it (again) for CHERIoT v2 (which will be atop Zcheripurecap and friends).