[FNeg] Add FNeg Instruction to LangRef document

[cameron.mcinally]

Summary

This patch is a continuation of D53877 to update LangRef for the new FNeg IR Instruction.

[arsenm]

docs/LangRef.rst

6831–6832 ↗

(On Diff #174110)

I think the part about the rounding mode should be dropped as it doesn't apply

[cameron.mcinally]

Good catch, @arsenm. Thanks.

[arsenm]

LGTM

llvm/trunk/docs/LangRef.rst

 the code is not reachable. This can be used to indicate that the code
 after a no-return function cannot be reached, and other facts.
 
 Semantics:
 """"""""""
 
 The '``unreachable``' instruction has no defined semantics.
 
+.. _unaryops:
+
+Unary Operations
+-----------------
+
+Unary operators require a single operand, execute an operation on
+it, and produce a single value. The operand might represent multiple
+data, as is the case with the :ref:`vector <t_vector>` data type. The
+result value has the same type as its operand.
+
+.. _i_fneg:
+
+'``fneg``' Instruction
+^^^^^^^^^^^^^^^^^^^^^^
+
+Syntax:
+"""""""
+
+::
+
+      <result> = fneg [fast-math flags]* <ty> <op1>   ; yields ty:result
+
+Overview:
+"""""""""
+
+The '``fneg``' instruction returns the negation of its operand.
+
+Arguments:
+""""""""""
+
+The argument to the '``fneg``' instruction must be a
+:ref:`floating-point <t_floating>` or :ref:`vector <t_vector>` of
+floating-point values. 
+
+Semantics:
+""""""""""
+
+The value produced is a copy of the operand with its sign bit flipped.
+This instruction can also take any number of :ref:`fast-math
+flags <fastmath>`, which are optimization hints to enable otherwise
+unsafe floating-point optimizations:
+
+Example:
+""""""""
+
+.. code-block:: text
+
+      <result> = fneg float %val          ; yields float:result = -%var
+
 .. _binaryops:
 
 Binary Operations
 -----------------
 
 Binary operators are used to do most of the computation in a program.
 They require two operands of the same type, execute an operation on
 them, and produce a single value. The operands might represent multiple
::
 
       <result> = fsub [fast-math flags]* <ty> <op1>, <op2>   ; yields ty:result
 
 Overview:
 """""""""
 
 The '``fsub``' instruction returns the difference of its two operands.
 
-Note that the '``fsub``' instruction is used to represent the '``fneg``'
-instruction present in most other intermediate representations.
-
 Arguments:
 """"""""""
 
 The two arguments to the '``fsub``' instruction must be
 :ref:`floating-point <t_floating>` or :ref:`vector <t_vector>` of
 floating-point values. Both arguments must have identical types.
 
 Semantics: