diff options
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.pdf | bin | 246075 -> 247435 bytes | |||
| -rw-r--r-- | spec/spec.tex | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf Binary files differindex 4d8f94d5..a22c8d4b 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf diff --git a/spec/spec.tex b/spec/spec.tex index 163ec64c..4f146552 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -704,7 +704,7 @@ Section \ref{primitives} will describe the format and semantics of each operatio All primitive operations expression operands must be ground types. In addition, some operations allow all permutations of operand ground types, while others on allow subsets. -When well defined, input arguments are allowed to be differing widths. +When well defined, input arguments are allowed to be differing widths, with the semantics of sign-extending the input arguments prior to executing the operation. \subsection{Add Operation} \[ |