Update Mangling.rst for recent changes

- Outlined value operations are now 'WO' and not 'W'
- Protocol witness table pattern 'Wp'
- Resilient protocol witness table 'Wr'
- Protocol requirement table 'WR'

Author: slavapestov

docs/ABI/Mangling.rst

@@ -63,9 +63,11 @@ Globals
   global ::= context 'MXX'               // anonymous context descriptor
   global ::= context identifier 'MXY'    // anonymous context descriptor
   global ::= type assoc_type_path 'MXA'  // generic parameter ref
-  global ::= nominal-type 'Mo'           // class metadata immediate member base offset
   global ::= protocol 'Mp'               // protocol descriptor
-  global ::= protocol-conformance 'Mc'   // protocol conformance descriptor
+  global ::= protocol 'WR'               // protocol requirement table
+
+  global ::= nominal-type 'Mo'           // class metadata immediate member base offset
+
   global ::= type 'MF'                   // metadata for remote mirrors: field descriptor
   global ::= type 'MB'                   // metadata for remote mirrors: builtin type descriptor
   global ::= protocol-conformance 'MA'   // metadata for remote mirrors: associated type descriptor
@@ -76,35 +78,27 @@ Globals
   global ::= mangled-name 'Ta'                     // ObjC partial application forwarder
 
   global ::= type 'w' VALUE-WITNESS-KIND // value witness
+
+  global ::= protocol-conformance 'Mc'   // protocol conformance descriptor
+  global ::= protocol-conformance 'WP'   // protocol witness table
   global ::= protocol-conformance 'Wa'   // protocol witness table accessor
+
   global ::= protocol-conformance 'WG'   // generic protocol witness table
+  global ::= protocol-conformance 'Wp'   // protocol witness table pattern
+  global ::= protocol-conformance 'Wr'   // resilient witness table
   global ::= protocol-conformance 'WI'   // generic protocol witness table instantiation function
   global ::= type protocol-conformance 'WL'   // lazy protocol witness table cache variable
-  global ::= entity 'Wo'                 // witness table offset
-  global ::= protocol-conformance 'WP'   // protocol witness table
 
   global ::= protocol-conformance identifier 'Wt' // associated type metadata accessor
   global ::= protocol-conformance assoc_type_path nominal-type 'WT' // associated type witness table accessor
   global ::= type protocol-conformance 'Wl' // lazy protocol witness table accessor
+
   global ::= type 'WV'                   // value witness table
-  global ::= entity 'Wv' DIRECTNESS      // field offset
-  global ::= entity 'WC' // resilient enum tag index
-
-  global ::= type 'Wy' // Outlined Copy Function Type
-  global ::= type 'We' // Outlined Consume Function Type
-  global ::= type 'Wr' // Outlined Retain Function Type
-  global ::= type 'Ws' // Outlined Release Function Type
-  global ::= type 'Wb' INDEX // Outlined InitializeWithTake Function Type
-  global ::= type 'Wc' INDEX // Outlined InitializeWithCopy Function Type
-  global ::= type 'Wd' INDEX // Outlined AssignWithTake Function Type
-  global ::= type 'Wf' INDEX // Outlined AssignWithCopy Function Type
-  global ::= type 'Wh' INDEX // Outlined Destroy Function Type
+  global ::= entity 'Wvd'                // field offset
+  global ::= entity 'WC'                 // resilient enum tag index
 
   assoc_type_path ::= identifier '_' identifier*
 
-  DIRECTNESS ::= 'd'                         // direct
-  DIRECTNESS ::= 'i'                         // indirect
-
 A direct symbol resolves directly to the address of an object.  An
 indirect symbol resolves to the address of a pointer to the object.
 They are distinct manglings to make a certain class of bugs
@@ -175,6 +169,18 @@ The types in a reabstraction thunk helper function are always non-polymorphic
 ``<VALUE-WITNESS-KIND>`` differentiates the kinds of value
 witness functions for a type.
 
+::
+
+  global ::= generic-signature? type 'WOy' // Outlined copy
+  global ::= generic-signature? type 'WOe' // Outlined consume
+  global ::= generic-signature? type 'WOr' // Outlined retain
+  global ::= generic-signature? type 'WOs' // Outlined release
+  global ::= generic-signature? type 'WOb' // Outlined initializeWithTake
+  global ::= generic-signature? type 'WOc' // Outlined initializeWithCopy
+  global ::= generic-signature? type 'WOd' // Outlined assignWithTake
+  global ::= generic-signature? type 'WOf' // Outlined assignWithCopy
+  global ::= generic-signature? type 'WOh' // Outlined destroy
+
 Entities
 ~~~~~~~~