[lld-macho] Handle non-extern symbols marked as private extern

[int3]

Summary

Previously, we asserted that such a case was invalid, but in fact
ld -r can emit such symbols if the input contained a (true) private
extern, or if it contained a symbol started with "L".

Non-extern symbols marked as private extern are essentially equivalent
to regular TU-scoped symbols, so no new functionality is needed.

[int3]

remove REQUIRES

[int3]

lld/MachO/InputFiles.cpp

static macho::Symbol *createDefined(const NList &sym, StringRef name,
   // N_EXT: Global symbols. These go in the symbol table during the link,
   //        and also in the export table of the output so that the dynamic
   //        linker sees them.
   // N_EXT | N_PEXT: Linkage unit (think: dylib) scoped. These go in the
   //                 symbol table during the link so that duplicates are
   //                 either reported (for non-weak symbols) or merged
   //                 (for weak symbols), but they do not go in the export
   //                 table of the output.
-  // N_PEXT: Does not occur in input files in practice,
-  //         a private extern must be external.
+  // N_PEXT: llvm-mc does not emit these, but `ld -r` (wherein ld64 emits
+  //         object files) may produce them. LLD does not yet support -r.
+  //         These are translation-unit scoped, identical to the `0` case.
   // 0: Translation-unit scoped. These are not in the symbol table during
   //    link, and not in the export table of the output either.
-
   bool isWeakDefCanBeHidden =
       (sym.n_desc & (N_WEAK_DEF | N_WEAK_REF)) == (N_WEAK_DEF | N_WEAK_REF);
 
-  if (sym.n_type & (N_EXT | N_PEXT)) {
-    assert((sym.n_type & N_EXT) && "invalid input");
+  if (sym.n_type & N_EXT) {
     bool isPrivateExtern = sym.n_type & N_PEXT;
-
     // lld's behavior for merging symbols is slightly different from ld64:
     // ld64 picks the winning symbol based on several criteria (see
     // pickBetweenRegularAtoms() in ld64's SymbolTable.cpp), while lld
     // just merges metadata and keeps the contents of the first symbol
     // with that name (see SymbolTable::addDefined). For:
     // * inline function F in a TU built with -fvisibility-inlines-hidden
     // * and inline function F in another TU built without that flag
     // ld64 will pick the one from the file built without
return make<Defined>(
       sym.n_desc & N_NO_DEAD_STRIP);
 }
 
 // Absolute symbols are defined symbols that do not have an associated
 // InputSection. They cannot be weak.
 template <class NList>
 static macho::Symbol *createAbsolute(const NList &sym, InputFile *file,
                                      StringRef name) {
-  if (sym.n_type & (N_EXT | N_PEXT)) {
-    assert((sym.n_type & N_EXT) && "invalid input");
+  if (sym.n_type & N_EXT) {
     return symtab->addDefined(name, file, nullptr, sym.n_value, /*size=*/0,
                               /*isWeakDef=*/false, sym.n_type & N_PEXT,
                               sym.n_desc & N_ARM_THUMB_DEF,
                               /*isReferencedDynamically=*/false,
                               sym.n_desc & N_NO_DEAD_STRIP);
   }
   return make<Defined>(name, file, nullptr, sym.n_value, /*size=*/0,
                        /*isWeakDef=*/false,

lld/test/MachO/local-private-extern.yaml

+## Check that local private externs -- symbols without N_EXT but with N_PEXT set
+## -- are translation-unit-scoped. These symbols may be generated by `ld -r`,
+## which emits an object file. Since LLD does not yet support `-r`, we use
+## yaml2obj to construct the input.
+
+# RUN: rm -rf %t; mkdir %t
+# RUN: yaml2obj %s > %t/foo.o
+## No duplicate symbol conflict since _foo is not extern
+# RUN: %lld -dylib %t/foo.o %t/foo.o -o %t/foo
+# RUN: llvm-nm -m %t/foo | FileCheck %s
+
+## Note that the symbols in the output are no longer marked as "was a private
+## external".
+# CHECK: (absolute) non-external _bar
+# CHECK: (absolute) non-external _bar
+# CHECK: (__DATA,__data) non-external _foo
+# CHECK: (__DATA,__data) non-external _foo
+
+--- !mach-o
+FileHeader:
+  magic:           0xFEEDFACF
+  cputype:         0x1000007
+  cpusubtype:      0x3
+  filetype:        0x1
+  ncmds:           2
+  sizeofcmds:      208
+  flags:           0x0
+  reserved:        0x0
+LoadCommands:
+  - cmd:             LC_SEGMENT_64
+    cmdsize:         152
+    segname:         ''
+    vmaddr:          0
+    vmsize:          0
+    fileoff:         272
+    filesize:        0
+    maxprot:         7
+    initprot:        7
+    nsects:          1
+    flags:           0
+    Sections:
+      - sectname:        __data
+        segname:         __DATA
+        addr:            0x0
+        size:            0
+        offset:          0x110
+        align:           0
+        reloff:          0x0
+        nreloc:          0
+        flags:           0x0
+        reserved1:       0x0
+        reserved2:       0x0
+        reserved3:       0x0
+        content:         ''
+  - cmd:             LC_SYMTAB
+    cmdsize:         24
+    symoff:          272
+    nsyms:           2
+    stroff:          304
+    strsize:         16
+LinkEditData:
+  NameList:
+    - n_strx:          2 ## _foo
+      n_type:          0x1E ## N_PEXT | N_SECT
+      n_sect:          1
+      n_desc:          32
+      n_value:         0
+    - n_strx:          7 ## _bar
+      n_type:          0x12 ## N_PEXT | N_ABS
+      n_sect:          0
+      n_desc:          0
+      n_value:         291
+  StringTable:
+    - ' '
+    - _foo
+    - _bar
+    - ''
+    - ''
+    - ''
+    - ''
+...