aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorazidar2015-10-06 14:48:19 -0700
committerazidar2015-10-06 14:48:19 -0700
commit9f2e1fd28f8526f7b68dc4b0ea030ceded720697 (patch)
treed6ff1d1408134d42c5ab63de1166af8188428760
parenteb79a51cadcee109c4bcf727762027ba85aba36a (diff)
Updated spec to mention sign extending widths of operand inputs
-rw-r--r--spec/spec.pdfbin246075 -> 247435 bytes
-rw-r--r--spec/spec.tex2
2 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf
index 4d8f94d5..a22c8d4b 100644
--- a/spec/spec.pdf
+++ b/spec/spec.pdf
Binary files differ
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}
\[