@@ -1820,27 +1820,27 @@ example:
1820
1820
not introduce any new floating-point instructions that may trap.
1821
1821
1822
1822
``"denormal-fp-math"``
1823
- This indicates the denormal (subnormal) handling that may be assumed
1824
- for the default floating-point environment. This may be one of
1825
- ``"ieee"``, ``"preserve-sign"``, or ``"positive-zero"``. If this
1826
- is attribute is not specified, the default is ``"ieee"``. If the
1827
- mode is ``"preserve-sign"``, or ``"positive-zero"``, denormal
1828
- outputs may be flushed to zero by standard floating point
1829
- operations. It is not mandated that flushing to zero occurs, but if
1830
- a denormal output is flushed to zero, it must respect the sign
1831
- mode. Not all targets support all modes. While this indicates the
1832
- expected floating point mode the function will be executed with,
1833
- this does not make any attempt to ensure the mode is
1834
- consistent. User or platform code is expected to set the floating
1835
- point mode appropriately before function entry.
1823
+ This indicates the denormal (subnormal) handling that may be assumed
1824
+ for the default floating-point environment. This may be one of
1825
+ ``"ieee"``, ``"preserve-sign"``, or ``"positive-zero"``. If this
1826
+ is attribute is not specified, the default is ``"ieee"``. If the
1827
+ mode is ``"preserve-sign"``, or ``"positive-zero"``, denormal
1828
+ outputs may be flushed to zero by standard floating point
1829
+ operations. It is not mandated that flushing to zero occurs, but if
1830
+ a denormal output is flushed to zero, it must respect the sign
1831
+ mode. Not all targets support all modes. While this indicates the
1832
+ expected floating point mode the function will be executed with,
1833
+ this does not make any attempt to ensure the mode is
1834
+ consistent. User or platform code is expected to set the floating
1835
+ point mode appropriately before function entry.
1836
1836
1837
1837
``"denormal-fp-math-f32"``
1838
- Same as ``"denormal-fp-math"``, but only controls the behavior of
1839
- the 32-bit float type (or vectors of 32-bit floats). If both are
1840
- are present, this overrides ``"denormal-fp-math"``. Not all targets
1841
- support separately setting the denormal mode per type, and no
1842
- attempt is made to diagnose unsupported uses. Currently this
1843
- attribute is respected by the AMDGPU and NVPTX backends.
1838
+ Same as ``"denormal-fp-math"``, but only controls the behavior of
1839
+ the 32-bit float type (or vectors of 32-bit floats). If both are
1840
+ are present, this overrides ``"denormal-fp-math"``. Not all targets
1841
+ support separately setting the denormal mode per type, and no
1842
+ attempt is made to diagnose unsupported uses. Currently this
1843
+ attribute is respected by the AMDGPU and NVPTX backends.
1844
1844
1845
1845
``"thunk"``
1846
1846
This attribute indicates that the function will delegate to some other
0 commit comments