From 90442114b98cb0e08ecec3507d7995212ef350f9 Mon Sep 17 00:00:00 2001 From: Iain Robertson Date: Sun, 20 Oct 2024 20:23:30 +0100 Subject: [PATCH] Update jump classifications in line with that used elsewehre --- ingressPort.adoc | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/ingressPort.adoc b/ingressPort.adoc index fe245bf..2e0a808 100644 --- a/ingressPort.adoc +++ b/ingressPort.adoc @@ -43,14 +43,14 @@ The following information is optional: * The _instruction_type_ of instructions for: ** Calls with a target that _cannot_ be inferred from the source code; ** Calls with a target that _can_ be inferred from the source code; -** Jumps with a target that _cannot_ be inferred from the source code; -** Jumps with a target that _can_ be inferred from the source code; +** Other jumps without linkage with a target that _cannot_ be inferred from the source code; +** Other jumps without linkage with a target that _can_ be inferred from the source code; ** Returns with a target that _cannot_ be inferred from the source code; ** Returns with a target that _can_ be inferred from the source code; ** Co-routine swap; -** Other jumps which don't fit any of the above classifications with a +** Other jumps with linkage which don't fit any of the above classifications with a target that _cannot_ be inferred from the source code; -** Other jumps which don't fit any of the above classifications with a +** Other jumps with linkage which don't fit any of the above classifications with a target that _can_ be inferred from the source code. * If context or time is supported then the _instruction_address_ for: ** The last instruction retired before a context or a time change; @@ -119,7 +119,7 @@ calling convention: ** *_jalr_* x5, rs where rs != x1; ** *_c.jalr_* rs1 where rs1 != x5; ** *_c.jal_*. -* _Jumps_: +* _Other jumps without linkage_: ** *_jal_* x0; ** *_c.j_*; ** *_jalr_* x0, rs where rs != x1 and rs != x5; @@ -132,7 +132,7 @@ x5; ** *_jalr_* x1, x5; ** *_jalr_* x5, x1; ** *_c.jalr_* x5. -* _Other_: +* _Other jumps with linkage_: ** *_jal_* rd where rd != x0 and rd != x1 and rd != x5; ** *_jalr_* rd, rs where rs != x1 and rs != x5 and rd != x0 and rd != x1 and rd != x5.