diff --git a/docs/LangRef.rst b/docs/LangRef.rst index 12490e91ecd..3d252e39f17 100644 --- a/docs/LangRef.rst +++ b/docs/LangRef.rst @@ -3275,13 +3275,15 @@ The following is the syntax for constant expressions: integer constant. TYPE must be a scalar or vector integer type. CST must be of scalar or vector floating-point type. Both CST and TYPE must be scalars, or vectors of the same number of elements. If the - value won't fit in the integer type, the results are undefined. + value won't fit in the integer type, the result is a + :ref:`poison value `. ``fptosi (CST to TYPE)`` Convert a floating-point constant to the corresponding signed integer constant. TYPE must be a scalar or vector integer type. CST must be of scalar or vector floating-point type. Both CST and TYPE must be scalars, or vectors of the same number of elements. If the - value won't fit in the integer type, the results are undefined. + value won't fit in the integer type, the result is a + :ref:`poison value `. ``uitofp (CST to TYPE)`` Convert an unsigned integer constant to the corresponding floating-point constant. TYPE must be a scalar or vector floating-point @@ -8765,8 +8767,8 @@ Semantics: The '``fptoui``' instruction converts its :ref:`floating-point ` operand into the nearest (rounding towards zero) -unsigned integer value. If the value cannot fit in ``ty2``, the results -are undefined. +unsigned integer value. If the value cannot fit in ``ty2``, the result +is a :ref:`poison value `. Example: """""""" @@ -8807,8 +8809,8 @@ Semantics: The '``fptosi``' instruction converts its :ref:`floating-point ` operand into the nearest (rounding towards zero) -signed integer value. If the value cannot fit in ``ty2``, the results -are undefined. +signed integer value. If the value cannot fit in ``ty2``, the result +is a :ref:`poison value `. Example: """"""""