diff options
| author | azidar | 2015-03-04 16:25:25 -0800 |
|---|---|---|
| committer | azidar | 2015-03-04 16:25:25 -0800 |
| commit | 6ad6267d26b52258f6e0d4d004aeb5f36856cf95 (patch) | |
| tree | 16aad9875b1f58dc0cc2a5cd59091e89d57a0861 /spec | |
| parent | 355749c83d2066f1a149333ed762a7945d405076 (diff) | |
Finished infer-types pass
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/spec.tex b/spec/spec.tex index d92785c5..fc8a8129 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -576,8 +576,8 @@ The resultant value of a divide operation has width equal to the width of the di \kws{mod}( \pds{op1}, \pds{op2}) & UInt & width(op1)|width(op2) - 1 \\ \kws{mod-uu}(\pds{op1}, \pds{op2}) & UInt & width(op2) \\ \kws{mod-us}(\pds{op1}, \pds{op2}) & UInt & width(op2) - 1? \\ -\kws{mod-su}(\pds{op1}, \pds{op2}) & UInt & width(op2) \\ -\kws{mod-ss}(\pds{op1}, \pds{op2}) & UInt & width(op2) - 1? \\ +\kws{mod-su}(\pds{op1}, \pds{op2}) & SInt & width(op2) \\ +\kws{mod-ss}(\pds{op1}, \pds{op2}) & SInt & width(op2) - 1? \\ \end{array} \] |