This repository was archived by the owner on Mar 21, 2024. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -79,7 +79,7 @@ Encoding::
79
79
Description::
80
80
If _rs2_ contains the value zero, this instruction writes the value zero to _rd_. Otherwise, this instruction copies the contents of _rs1_ to _rd_.
81
81
82
- For the purposes of RVWMO, _rd_ syntactically depends on both _rs1_ and _rs2_.
82
+ This instruction carries a syntactic dependency from both _rs1_ and _rs2_ to _rd_ .
83
83
Furthermore, if the Zkt extension is implemented, this instruction's timing is independent of the data values in _rs1_ and _rs2_.
84
84
85
85
SAIL code::
@@ -117,7 +117,7 @@ Encoding::
117
117
Description::
118
118
If _rs2_ contains a nonzero value, this instruction writes the value zero to _rd_. Otherwise, this instruction copies the contents of _rs1_ to _rd_.
119
119
120
- For the purposes of RVWMO, _rd_ syntactically depends on both _rs1_ and _rs2_.
120
+ This instruction carries a syntactic dependency from both _rs1_ and _rs2_ to _rd_ .
121
121
Furthermore, if the Zkt extension is implemented, this instruction's timing is independent of the data values in _rs1_ and _rs2_.
122
122
123
123
SAIL code::
You can’t perform that action at this time.
0 commit comments