Skip to content

Commit

Permalink
fix: width errors in spec
Browse files Browse the repository at this point in the history
  • Loading branch information
@ss2165
ss2165 committed Aug 21, 2024
1 parent c39ed15 commit 375d4a2
Showing 1 changed file with 11 additions and 11 deletions.
22 changes: 11 additions & 11 deletions specification/hugr.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1771,17 +1771,17 @@ Other operations:
| `isub<N>` | `int<N>`, `int<N>` | `int<N>` | subtraction modulo 2^N (signed and unsigned versions are the same op) |
| `ineg<N>` | `int<N>` | `int<N>` | negation modulo 2^N (signed and unsigned versions are the same op) |
| `imul<N>` | `int<N>`, `int<N>` | `int<N>` | multiplication modulo 2^N (signed and unsigned versions are the same op) |
| `idivmod_checked_u<N>`( \* ) | `int<N>`, `int<M>` | `Sum(#(int<N>, int<M>), #(ErrorType))` | given unsigned integers 0 \<= n \< 2^N, 0 \<= m \< 2^N, generates unsigned q, r where q\*m+r=n, 0\<=r\<m (m=0 is an error) |
| `idivmod_u<N>` | `int<N>`, `int<M>` | `(int<N>, int<M>)` | given unsigned integers 0 \<= n \< 2^N, 0 \<= m \< 2^N, generates unsigned q, r where q\*m+r=n, 0\<=r\<m (m=0 will call panic) |
| `idivmod_checked_s<N>`( \* ) | `int<N>`, `int<M>` | `Sum(#(int<N>, int<M>), #(ErrorType))` | given signed integer -2^{N-1} \<= n \< 2^{N-1} and unsigned 0 \<= m \< 2^N, generates signed q and unsigned r where q\*m+r=n, 0\<=r\<m (m=0 is an error) |
| `idivmod_s<N>`( \* ) | `int<N>`, `int<M>` | `(int<N>, int<M>)` | given signed integer -2^{N-1} \<= n \< 2^{N-1} and unsigned 0 \<= m \< 2^N, generates signed q and unsigned r where q\*m+r=n, 0\<=r\<m (m=0 will call panic) |
| `idiv_checked_u<N>` ( \* ) | `int<N>`, `int<M>` | `Sum(#(int<N>),#( ErrorType))` | as `idivmod_checked_u` but discarding the second output |
| `idiv_u<N>` | `int<N>`, `int<M>` | `int<N>` | as `idivmod_u` but discarding the second output |
| `imod_checked_u<N>` ( \* ) | `int<N>`, `int<M>` | `Sum(#(int<M>), #(ErrorType))` | as `idivmod_checked_u` but discarding the first output |
| `imod_u<N>` | `int<N>`, `int<M>` | `int<M>` | as `idivmod_u` but discarding the first output |
| `idiv_checked_s<N>`( \* ) | `int<N>`, `int<M>` | `Sum(#(int<N>), #(ErrorType))` | as `idivmod_checked_s` but discarding the second output |
| `idiv_s<N>` | `int<N>`, `int<M>` | `int<N>` | as `idivmod_s` but discarding the second output |
| `imod_checked_s<N>`( \* ) | `int<N>`, `int<M>` | `Sum(#(int<M>), #(ErrorType))` | as `idivmod_checked_s` but discarding the first output |
| `idivmod_checked_u<N>`( \* ) | `int<N>`, `int<N>` | `Sum(#(int<N>, int<N>), #(ErrorType))` | given unsigned integers 0 \<= n \< 2^N, 0 \<= m \< 2^N, generates unsigned q, r where q\*m+r=n, 0\<=r\<m (m=0 is an error) |
| `idivmod_u<N>` | `int<N>`, `int<N>` | `(int<N>, int<N>)` | given unsigned integers 0 \<= n \< 2^N, 0 \<= m \< 2^N, generates unsigned q, r where q\*m+r=n, 0\<=r\<m (m=0 will call panic) |
| `idivmod_checked_s<N>`( \* ) | `int<N>`, `int<N>` | `Sum(#(int<N>, int<N>), #(ErrorType))` | given signed integer -2^{N-1} \<= n \< 2^{N-1} and unsigned 0 \<= m \< 2^N, generates signed q and unsigned r where q\*m+r=n, 0\<=r\<m (m=0 is an error) |
| `idivmod_s<N>`( \* ) | `int<N>`, `int<N>` | `(int<N>, int<N>)` | given signed integer -2^{N-1} \<= n \< 2^{N-1} and unsigned 0 \<= m \< 2^N, generates signed q and unsigned r where q\*m+r=n, 0\<=r\<m (m=0 will call panic) |
| `idiv_checked_u<N>` ( \* ) | `int<N>`, `int<N>` | `Sum(#(int<N>),#( ErrorType))` | as `idivmod_checked_u` but discarding the second output |
| `idiv_u<N>` | `int<N>`, `int<N>` | `int<N>` | as `idivmod_u` but discarding the second output |
| `imod_checked_u<N>` ( \* ) | `int<N>`, `int<N>` | `Sum(#(int<N>), #(ErrorType))` | as `idivmod_checked_u` but discarding the first output |
| `imod_u<N>` | `int<N>`, `int<N>` | `int<N>` | as `idivmod_u` but discarding the first output |
| `idiv_checked_s<N>`( \* ) | `int<N>`, `int<N>` | `Sum(#(int<N>), #(ErrorType))` | as `idivmod_checked_s` but discarding the second output |
| `idiv_s<N>` | `int<N>`, `int<N>` | `int<N>` | as `idivmod_s` but discarding the second output |
| `imod_checked_s<N>`( \* ) | `int<N>`, `int<N>` | `Sum(#(int<N>), #(ErrorType))` | as `idivmod_checked_s` but discarding the first output |
| `imod_s<N>` | `int<N>`, `int<M>` | `int<M>` | as `idivmod_s` but discarding the first output |
| `iabs<N>` | `int<N>` | `int<N>` | convert signed to unsigned by taking absolute value |
| `iand<N>` | `int<N>`, `int<N>` | `int<N>` | bitwise AND |
Expand Down

0 comments on commit 375d4a2

Please sign in to comment.