diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-09-05 11:51:24 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-09-07 00:56:06 +0200 |
| commit | 9937d33bf9454de48d852d69d90fe05f966f8026 (patch) | |
| tree | 709850fa0c5f650f115ece8c6736992648772003 /Documentation | |
| parent | 101649206777f00be5c23f60f87f01066ad64ece (diff) | |
| download | sparse-dev-9937d33bf9454de48d852d69d90fe05f966f8026.tar.gz | |
add support for a new instruction: OP_FMADD
This will be the instruction for fused multiply-add
but the motivation for it is some experimentation with
the linearization of builtins.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/IR.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Documentation/IR.rst b/Documentation/IR.rst index 97d4b2b2..ff5af1c5 100644 --- a/Documentation/IR.rst +++ b/Documentation/IR.rst @@ -309,6 +309,13 @@ Ternary ops * .target: result of the operation * .type: type of .target +.. op:: OP_FMADD + Fused multiply-add. + + * .src1, .src2, .src3: operands (types must be compatible with .target) + * .target: result of the operation (must be a floating-point type) + * .type: type of .target + .. op:: OP_RANGE Range/bounds checking (only used for an unused sparse extension). |
