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.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'spec/spec.tex')

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

