From 55bc368bf8c02efbc9a48c1ec4d8a232fb266831 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Wed, 18 Oct 2017 14:39:21 -0700 Subject: [PATCH] Remove minnum/maxnum. --- cranelift/docs/langref.rst | 8 +++----- lib/cretonne/meta/base/instructions.py | 18 ------------------ 2 files changed, 3 insertions(+), 23 deletions(-) diff --git a/cranelift/docs/langref.rst b/cranelift/docs/langref.rst index 01669f49d8..b4fc358283 100644 --- a/cranelift/docs/langref.rst +++ b/cranelift/docs/langref.rst @@ -853,16 +853,14 @@ significand bits are always preserved. Minimum and maximum ~~~~~~~~~~~~~~~~~~~ -These instructions return the larger or smaller of their operands. They differ -in their handling of quiet NaN inputs. Note that signaling NaN operands always -cause a NaN result. +These instructions return the larger or smaller of their operands. Note that +unlike the IEEE 754-2008 `minNum` and `maxNum` operations, these instructions +return NaN when either input is NaN. When comparing zeroes, these instructions behave as if :math:`-0.0 < 0.0`. .. autoinst:: fmin -.. autoinst:: fminnum .. autoinst:: fmax -.. autoinst:: fmaxnum Rounding ~~~~~~~~ diff --git a/lib/cretonne/meta/base/instructions.py b/lib/cretonne/meta/base/instructions.py index 48c37c280c..3c473d9e22 100644 --- a/lib/cretonne/meta/base/instructions.py +++ b/lib/cretonne/meta/base/instructions.py @@ -1383,15 +1383,6 @@ fmin = Instruction( """, ins=(x, y), outs=a) -fminnum = Instruction( - 'fminnum', r""" - Floating point minimum, suppressing quiet NaNs. - - If either operand is a quiet NaN, the other operand is returned. If - either operand is a signaling NaN, NaN is returned. - """, - ins=(x, y), outs=a) - a = Operand('a', Float, 'The larger of ``x`` and ``y``') fmax = Instruction( @@ -1402,15 +1393,6 @@ fmax = Instruction( """, ins=(x, y), outs=a) -fmaxnum = Instruction( - 'fmaxnum', r""" - Floating point maximum, suppressing quiet NaNs. - - If either operand is a quiet NaN, the other operand is returned. If - either operand is a signaling NaN, NaN is returned. - """, - ins=(x, y), outs=a) - a = Operand('a', Float, '``x`` rounded to integral value') ceil = Instruction(