From 9f2e1fd28f8526f7b68dc4b0ea030ceded720697 Mon Sep 17 00:00:00 2001
From: azidar
Date: Tue, 6 Oct 2015 14:48:19 -0700
Subject: Updated spec to mention sign extending widths of operand inputs

---
 spec/spec.pdf | Bin 246075 -> 247435 bytes
 spec/spec.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/spec.pdf b/spec/spec.pdf
index 4d8f94d5..a22c8d4b 100644
Binary files a/spec/spec.pdf and b/spec/spec.pdf 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}
 \[
-- 
cgit v1.2.3