diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-04-22 15:16:47 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2016-04-22 15:16:47 -0400 |
| commit | 97d33be074eb395ee24d0264d202444c7c4cbcd9 (patch) | |
| tree | 466f6c43ed470d447ddf15498666a031323f3583 /doc/il.txt | |
| parent | 55476d073825aba23654667f95f487d24dbfcc64 (diff) | |
| download | roux-97d33be074eb395ee24d0264d202444c7c4cbcd9.tar.gz | |
update documentation with new fp conversions
Diffstat (limited to 'doc/il.txt')
| -rw-r--r-- | doc/il.txt | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/doc/il.txt b/doc/il.txt index d11699b..51525d7 100644 --- a/doc/il.txt +++ b/doc/il.txt @@ -661,8 +661,10 @@ or convert a floating point into an integer and vice versa. * `extsb`, `extub` -- `I(ww)` * `exts` -- `d(s)` * `truncd` -- `s(d)` - * `ftosi` -- `I(F)` - * `sitof` -- `F(I)` + * `stosi` -- `I(ss)` + * `dtosi` -- `I(dd)` + * `swtof` -- `F(ww)` + * `sltof` -- `F(ll)` Extending the precision of a temporary is done using the `ext` family of instructions. Because QBE types do not @@ -679,11 +681,11 @@ single-precision floating point, it is truncated towards zero. Converting between signed integers and floating points is -done using `ftosi` (float to signed integer) and `sitof` -(signed integer to float). Note that the bit width of the -argument depends on the return type. A double floatint -point number can only be converted directly to a long -integer. +done using `stosi` (single to signed integer), `dtosi` +(double to signed integer), `swtof` (signed word to float), +and `sltof` (signed long to float). These instructions +only handle signed integers, conversion to and from +unsigned types are not yet supported. Because of <@ Subtyping >, there is no need to have an instruction to lower the precision of an integer temporary. |