diff options
| author | azidar | 2015-03-03 17:26:40 -0800 |
|---|---|---|
| committer | azidar | 2015-03-03 17:26:40 -0800 |
| commit | 355749c83d2066f1a149333ed762a7945d405076 (patch) | |
| tree | 77c47b9d3ef3eb91cfb0d56ad376a3c7a94536db /spec | |
| parent | 36b2fa287c3931ff7eec0b18c23070cdd9f21c15 (diff) | |
In progress for type inference. Looks like other code is breaking, and i dont understand why
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.tex b/spec/spec.tex index 489dce23..d92785c5 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -573,7 +573,7 @@ The resultant value of a divide operation has width equal to the width of the di \[ \begin{array}{rll} \kws{primop} & \kws{Resultant Type} & \kws{Resultant Width} \\ -\kws{mod}( \pds{op1}, \pds{op2}) & UInt|SInt & width(op1)|width(op2) - 1 \\ +\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) \\ |