From 0aa0ba8fac56fc81f57b24b6e0694d93de2b66df Mon Sep 17 00:00:00 2001 From: Sequencer Date: Thu, 16 Jan 2020 06:49:57 +0800 Subject: improve the tail ir usability. (#1241) Co-authored-by: Jim Lawson Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> --- spec/spec.pdf | Bin 274502 -> 274485 bytes spec/spec.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'spec') diff --git a/spec/spec.pdf b/spec/spec.pdf index 833fb8cf..8b7fd125 100644 Binary files a/spec/spec.pdf and b/spec/spec.pdf differ diff --git a/spec/spec.tex b/spec/spec.tex index 6bbd798f..68a404a8 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1579,7 +1579,7 @@ head & (e) & (n) & (UInt) & UInt & n\\ }} \end{figure} -The result of the head operation are the \vv{n} most significant bits of \vv{e}. \vv{n} must be positive and less than or equal to the bit width of \vv{e}. +The result of the head operation are the \vv{n} most significant bits of \vv{e}. \vv{n} must be non-negative and less than or equal to the bit width of \vv{e}. \subsection{Tail} @@ -1595,7 +1595,7 @@ tail & (e) & (n) & (UInt) & UInt & w\ts{e}-n\\ }} \end{figure} -The tail operation truncates the \vv{n} most significant bits from \vv{e}. \vv{n} must be non-negative and strictly less than the bit width of \vv{e}. +The tail operation truncates the \vv{n} most significant bits from \vv{e}. \vv{n} must be non-negative and less than or equal to the bit width of \vv{e}. \section{Flows}\label{flows} -- cgit v1.2.3