Skip to content

Commit

Permalink
Merge pull request #200 from henry-hsieh/editoral-update
Browse files Browse the repository at this point in the history
Editoral update
  • Loading branch information
ved-rivos authored Dec 12, 2023
2 parents ab339b5 + 079216b commit 1c60d0e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions cfi_forward.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -532,10 +532,10 @@ The operation of the `LPAD` instruction is as follows:
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
raise software-check exception
// If landing pad label not matched -> software-check exception
else if (inst.LPL != x7[31:12] && inst.LPL != 0)
Cause software-check exception
raise software-check exception
else
ELP = NO_LP_EXPECTED
else
Expand Down

0 comments on commit 1c60d0e

Please sign in to comment.