CTSRD-CHERI / cheri-specification

CHERI ISA Specification
Other
23 stars 7 forks source link

CHERI and Pointer Masking #114

Open tariqkurd-repo opened 1 year ago

tariqkurd-repo commented 1 year ago

This a placeholder to note that the pointer masking extensions (which are mandatory in RVA23) Smmjpm, Smnjpm and Ssnjpm, need to be analysed in the presence of CHERI.

https://github.com/riscv/riscv-j-extension/

jrtc27 commented 1 year ago

Has it even been frozen? Last I heard it was still in draft status.

tariqkurd-repo commented 1 year ago

https://wiki.riscv.org/display/HOME/Specification+Status

it's currently listed as stable. I've listed at here as it's mandatory for RVA23 as mentioned here https://github.com/riscv/riscv-profiles/blob/main/rva23-profile.adoc

jrtc27 commented 1 year ago

https://github.com/riscv/riscv-j-extension/blob/75e6aa4a971ac004996c6e2e5ea570111e63a1ab/pointer-masking-proposal.adoc?plain=1#L5 very much disagrees with that...

jrtc27 commented 1 year ago

As does https://github.com/riscv/riscv-j-extension/blob/75e6aa4a971ac004996c6e2e5ea570111e63a1ab/zjpm/header.adoc?plain=1#L7