exception_handler pseudocode needs checking

riscv / riscv-fast-interrupt

Proposal for a RISC-V Core-Local Interrupt Controller (CLIC)

https://jira.riscv.org/browse/RVG-63

Creative Commons Attribution 4.0 International

237 stars 49 forks source link

exception_handler pseudocode needs checking #347

Closed JamesKenneyImperas closed 11 months ago

JamesKenneyImperas commented 1 year ago

It looks to me that the exception_handler pseudocode in section 7.2.1 does not include the XLEN/8 forced alignment that was introduced in April 2023. Could you please check and correct if necessary?

I think there is also a missing brace, inconsistent syntax and incorrect indentation on the line: if (check_fetch_permissions(xepc) = Addr_OK) Should this be: if (check_fetch_permissions(xepc) = Addr_OK) then { or something like that?

Thanks.