update pseudocode to match expected behavior of not requiring alignme…

…nt when ELP = NO_LP_EXPECTED
riscv · Oct 30, 2023 · f781c46 · f781c46
1 parent 7911e55
commit f781c46
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/cfi_forward.adoc b/cfi_forward.adoc
@@ -520,12 +520,12 @@ The operation of the `LPAD` instruction is as follows:
 .`LPAD` operation
 [listing]
 ----
-if (xLPE != 0)
-    // If PC not 4-byte aligned then software integrity fault
+if (xLPE == 1 && ELP == LP_EXPECTED)
+    // If PC not 4-byte aligned then software-check exception
     if pc[1:0] != 0
         Cause software-check exception
-    // If landing pad label not matched -> software integrity fault
-    else if (inst.LPL != x7[31:12] && inst.LPL != 0 && ELP == LP_EXPECTED)
+    // If landing pad label not matched -> software-check exception
+    else if (inst.LPL != x7[31:12] && inst.LPL != 0)
         Cause software-check exception
     else
         ELP = NO_LP_EXPECTED