diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-08-14 15:05:24 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-23 07:46:40 +0200 |
| commit | 52856c815a191b73530557133bd44ec478f3fece (patch) | |
| tree | 453cf39d9723ab4435b4d7b871317b502d4e8058 /Documentation | |
| parent | 55cac5336b14524ebc371bcee006e2b497d84c5f (diff) | |
| download | sparse-dev-52856c815a191b73530557133bd44ec478f3fece.tar.gz | |
cast: specialize floats to integer conversion
Currently, casts from floats to integers are processed like
integers (or any other type) to integers. This is simple but
rather unconvenient as it correspond to different operations
that obeys to different rules and which later need extra checks.
Change this by directly using specific instructions:
- FCVTU for floats to unsigned integers
- FCVTS for floats to signed integers
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/IR.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/IR.rst b/Documentation/IR.rst index 38683a73..5b9155f7 100644 --- a/Documentation/IR.rst +++ b/Documentation/IR.rst @@ -273,6 +273,12 @@ They all have the following signature: .. op:: OP_PTRCAST Cast to pointer. +.. op:: OP_FCVTU + Conversion from float type to unsigned integer. + +.. op:: OP_FCVTS + Conversion from float type to signed integer. + .. op:: OP_UCVTF Conversion from unsigned integer to float type. |