introducing llvm-libtool-darwin

[sameerarora101]

Summary

This diff starts the implementation of llvm-libtool-darwin
(an llvm based replacement of cctool's libtool for darwin format).

Libtool is used for creating static and dynamic libraries
from a bunch of object files given as input.

In this diff, I implement the --help and --version options. I
also add support for Input and Output files so as to print the
appropriate help message.

[sameerarora101]

Resolving clang-tidy and test failure on windows

[jhenderson]

1. Has the introduction of a new tool been discussed on llvm-dev? (I vaguely recall that it might have been but might be getting confused). Please include a link to the mailing thread in the description.

2. Is this significantly different to llvm-ar and its aliases? If so, please outline the differences.

3. Assuming this is going to be developed, could you split off one or two patches that make this even simpler, please. For example, the very first patch would just add the tool with only the built-in --help/--version options, not doing anything useful.

4. You may want to consider using cl::opt instead of the tablegen approach you're currently using, since it's simpler and I doubt you need complex logic here.

5. There are some basic error handling functions available in the Support library which might do all you need them to. Consider using them before rolling your own.

5. Is there going to be non-Darwin versions of this tool? If not, it doesn't need to be located in the Darwin sub-directory.

[sameerarora101]

1. Has the introduction of a new tool been discussed on llvm-dev? (I vaguely recall that it might have been but might be getting confused). Please include a link to the mailing thread in the description.

Yup, here is the link for the thread : http://lists.llvm.org/pipermail/llvm-dev/2020-June/142157.html

2. Is this significantly different to llvm-ar and its aliases? If so, please outline the differences.

No, it is not significantly different from llvm-ar but has good defaults for Apple platforms (e.g. automatically creating a table of contents with the right format). To get the same behavior from llvm-ar, we have to explicitly pass additional flags. Furthermore, for archive input files, the individual objects in the input archive are added to the output archive by default by libtool. This too requires additional flags in the case of llvm-ar.

3. Assuming this is going to be developed, could you split off one or two patches that make this even simpler, please. For example, the very first patch would just add the tool with only the built-in --help/--version options, not doing anything useful.
4. You may want to consider using cl::opt instead of the tablegen approach you're currently using, since it's simpler and I doubt you need complex logic here.
5. There are some basic error handling functions available in the Support library which might do all you need them to. Consider using them before rolling your own.

Ok, got it. Thanks

6. Is there going to be non-Darwin versions of this tool? If not, it doesn't need to be located in the Darwin sub-directory.

Quoting from the mailing thread here (http://lists.llvm.org/pipermail/llvm-dev/2020-June/142284.html) :

An alternative is to plan for the tool to eventually grow to support the features of GNU libtool, allowing a contributor who may become interested in that to work on it within the same code base.

and

We could take the approach used by LLD and llvm-objcopy, where we create a directory for the tool (llvm/tools/llvm-libtool in this case), and have subdirectories for the ports of the tool (Darwin in our case, and someone interested could create a GNU subdirectory later). That way there's a natural place to put any code that's common between the ports.

@smeenai Please correct me if I highlighted anything wrong above. Thanks!

[smeenai]

@sameerarora101 answered a bunch of this above, but to add on a bit.

In D82923#2124779, @jhenderson wrote:

2. Is this significantly different to llvm-ar and its aliases? If so, please outline the differences.

http://lists.llvm.org/pipermail/llvm-dev/2020-June/142157.html highlights why we're creating this as a separate tool instead of an llvm-ar frontend, and the motivating features for that (e.g. universal binary support) should become clearer in follow-up diffs.

4. You may want to consider using cl::opt instead of the tablegen approach you're currently using, since it's simpler and I doubt you need complex logic here.

5. There are some basic error handling functions available in the Support library which might do all you need them to. Consider using them before rolling your own.

Both of these are the result of using llvm-lipo as a reference, but thinking back, llvm-lipo started with cl::opt and then switched to tablegen to handle more complicated argument parsing logic. Looking at libtool, I think cl::opt should be enough for its argument parsing needs, though I'd wanna think about that a bit more.

I thought there was also a mailing list discussion a while back about the two option parsing libraries and which one to prefer for new tools, though I can't remember the conclusions of that discussion (or even find it now).

For reference, cl::opt is documented at https://llvm.org/docs/CommandLine.html.

5. Is there going to be non-Darwin versions of this tool? If not, it doesn't need to be located in the Darwin sub-directory.

I'd want to keep the llvm-libtool-darwin name, to prevent confusion with GNU libtool (which is an entirely different tool), but I'm happy not having the sub-directory until someone actually intends to contribute a GNU version. (We have no such plans.)

[alexander-shaposhnikov]

I didn't reply on the mailing list, but to me the motivation for this tool sounds reasonable too.
I'll try to take a look at the code a bit later this week.

[smeenai]

Looking at libtool's options further, the only concern I have is with:

-      Treat all remaining arguments as names of files (or archives) and not as options.

In other words, if you include a single - by itself on your command line, all remaining arguments are parsed as input names. cl::opt supports similar functionality, but using -- instead of -. I don't know if the TableGen parsing can support that either though, so I don't know if it would be possible for us to keep the exact same command line interface (with respect to this flag) anyway.

[jyknight]

I suggest removing the extraneous level of directory "Darwin" -- just put the files in "llvm/tools/llvm-libtool-darwin", name the source "llvm-libtool-darwin.cpp", and say you're adding "llvm-libtool-darwin" in the commit message.

While it's weird to have a darwin-specific tool for creating archives and shared libraries, that's the status quo. And moving that to an LLVM implementation is entirely reasonable. Let's just not pretend this is ever going to be something else other than that.

[tschuett]

In D82923#2126259, @jyknight wrote:

I suggest removing the extraneous level of directory "Darwin" -- just put the files in "llvm/tools/llvm-libtool-darwin", name the source "llvm-libtool-darwin.cpp", and say you're adding "llvm-libtool-darwin" in the commit message.

While it's weird to have a darwin-specific tool for creating archives and shared libraries, that's the status quo. And moving that to an LLVM implementation is entirely reasonable. Let's just not pretend this is ever going to be something else other than that.

Then you can name it llvm-libtool without any sub-directories and revisit the situation once somebody wants to the GNU thing, which is never going to happen.

[sameerarora101]

updates:

• currently storing the tool under tools/llvm-libtool-darwin. I can update this again if people prefer something else.
• parsing arguments using cl::opt
• adding support only for --help and --version options.
• had to add argument parsing for input/output files to print the appropriate help message

[MaskRay]

llvm-libtool-darwin is a good name to me. GNU Libtool is a very different project. I doubt we will add an LLVM clone... libtool is a shell script with 10000+ lines of code:)

[MaskRay]

llvm/test/tools/llvm-libtool-darwin/help-message.test

5 ↗

(On Diff #274931)

Does cctool libtool use -long-option as the canonical spelling?

For comparison, GNU getopt convention is --long-option

llvm/tools/llvm-libtool-darwin/LLVMBuild.txt

20 ↗

(On Diff #274931)

Have you tried a -DBUILD_SHARED_LIBS=on cmake build and ensured ninja llvm-libtool-darwin can build? -DBUILD_SHARED_LIBS=on sometimes has stricter dependency requirement. Every direct dependency must be listed to make -z defs happy.

[jhenderson]

+1 to llvm-libtool-darwin. I think avoiding a name clash with GNU libtool in the future is highly desirable. If the two tools are unrelated, then using two different directories makes a lot of sense to me.

The pre-merge bot claims your help test is failing. You'll need to fix that.

In D82923#2126187, @smeenai wrote:

Looking at libtool's options further, the only concern I have is with:

-      Treat all remaining arguments as names of files (or archives) and not as options.

In other words, if you include a single - by itself on your command line, all remaining arguments are parsed as input names. cl::opt supports similar functionality, but using -- instead of -. I don't know if the TableGen parsing can support that either though, so I don't know if it would be possible for us to keep the exact same command line interface (with respect to this flag) anyway.

Thanks. To be clear, I fully support using the tablegen style if it will make things easier - @sameerarora101, you might want to experiment with this issue @smeenai has highlighted before this gets landed, to see which works better.

Also, if you haven't already, you might want to email that mailing thread/post a new email on llvm-dev highlighting that this review now exists so that any interested parties can be aware and chip in if they want.

I'd recommend starting a doc in the CommandGuide folder, as part of this change, referenced from the main page, and updating it as you go, rather than having to write it all at once. That way users will know how much this tool supports.

llvm/tools/llvm-libtool-darwin/LLVMBuild.txt

1 ↗

(On Diff #274931)

This line doesn't look quite right. It looks too long and might need fixing. Is it normal to include the path here also? That seems a little weird to me.

llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp

13–24 ↗

(On Diff #274931)

You probably can get rid of most of these.

27 ↗

(On Diff #274931)

Again, this is redundant in this change.

29–30 ↗

(On Diff #274931)

This is not currently used by anything, so you can postpone adding it.

32–40 ↗

(On Diff #274931)

If you are going to add the input/output file options, you need test cases showing what is/isn't accepted in terms of number of arguments and option names.

35 ↗

(On Diff #274931)

Are you sure you want this as OneOrMore?

[sameerarora101]

llvm/test/tools/llvm-libtool-darwin/help-message.test

5 ↗

(On Diff #274931)

Yup, it uses -long-option.

llvm/tools/llvm-libtool-darwin/LLVMBuild.txt

1 ↗

(On Diff #274931)

oh sorry abt that, I forgot to remove --- from the ends in order to align the line. I'll update this.

But yeah, for every other tool I checked (ar,link,lipo,lto,size) they have the path.

20 ↗

(On Diff #274931)

yup, I tried just now and it passes. Thanks.

llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp

32–40 ↗

(On Diff #274931)

ok added.

35 ↗

(On Diff #274931)

So I was thinking of allowing user to change the output file by passing in another -o option at the end (since we pick the last one here). But I just checked and cctool's libtool doesn't allow this. So, in order to keep the behavior same, i'll change this to cl::Required. Thanks

[sameerarora101]

Thanks. To be clear, I fully support using the tablegen style if it will make things easier - @sameerarora101, you might want to experiment with this issue @smeenai has highlighted before this gets landed, to see which works better.

Yup, I talked to @smeenai about it. Since tablegen also wouldn't be able to handle - case, I'll simply use cl::opt for now.

Also, if you haven't already, you might want to email that mailing thread/post a new email on llvm-dev highlighting that this review now exists so that any interested parties can be aware and chip in if they want.

Ok, I'll send an email with a link to this review.

I'd recommend starting a doc in the CommandGuide folder, as part of this change, referenced from the main page, and updating it as you go, rather than having to write it all at once. That way users will know how much this tool supports.

Added now, thanks.

[sameerarora101]

Removing redundant includes and adding basic documentation

[sameerarora101]

Here is how the doc looks:

[jhenderson]

llvm/docs/CommandGuide/index.rst

23 ↗

(On Diff #275133)

Would you mind, whilst you are modifying this list, putting this list in alphabetical order? I think it makes more sense that way.

llvm/docs/CommandGuide/llvm-libtool-darwin.rst

24–26 ↗

(On Diff #275133)

I suspect if you do -help you'll see one or two other options too. You'll probably want to include -help-list here at least, and might need to hide some other options. Could you post (out-of-line) what the full help text is, please?

40 ↗

(On Diff #275133)

It might also be worth adding a "See Also" section for llvm-ar since the two tools are somewhat related.

llvm/test/tools/llvm-libtool-darwin/help-message.test

4 ↗

(On Diff #275133)

You might want to add a -help version here too.

10 ↗

(On Diff #275133)

I believe this should include error: as a prefix? Please add it, if so. Same applies in the other test.

llvm/test/tools/llvm-libtool-darwin/invalid-arguments.test

1 ↗

(On Diff #275133)

I'd dedicate this test to specifically input/output file arguments. Perhaps rename it to invalid-input-output-args.test

4 ↗

(On Diff #275133)

Use %t or similar, or possibly /dev/null, here, even if the tool shouldn't actually write anything, to avoid any remote risk of it writing to the wrong place.

22 ↗

(On Diff #275133)

Same as above - use a %t variant or /dev/null.

25 ↗

(On Diff #275133)

You probably want a test that shows that the expected passing cases also work (i.e. exit with code 0 for now). This could probably be a test file called basic.test for now. You can replace or expand the test as you add useful functionality. I'd expect the test to have cases for both one input and multiple inputs.

llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp

22–23 ↗

(On Diff #275133)

A common thing you may not be aware of is that cl::opt aliases don't appear in the help text by default. I imagine this is not desirable for you, so you probably want to add a cl::NotHidden here (I think that's the right term anyway).

32 ↗

(On Diff #275133)

I don't think you need to explicitly return EXIT_SUCCESS. That's the default behaviour of main in C++.

[sameerarora101]

llvm/docs/CommandGuide/llvm-libtool-darwin.rst

24–26 ↗

(On Diff #275133)

here is the full help text from cmd line:

OVERVIEW: llvm-libtool-darwin

USAGE: llvm-libtool-darwin [options] <input files>

OPTIONS:

Color Options:

  --color             - Use colors in output (default=autodetect)

General options:

  -o                  - Alias for --output
  --output=<filename> - Specify output filename

Generic Options:

  --help              - Display available options (--help-hidden for more)
  --help-list         - Display list of available options (--help-list-hidden for more)
  --version           - Display the version of this program

I have added description for --help-list and --color now as well

40 ↗

(On Diff #275133)

Makes sense, thanks!

llvm/test/tools/llvm-libtool-darwin/help-message.test

10 ↗

(On Diff #275133)

No, the output doesn't have error: as a prefix. Here is the output for passing -abcabc:

llvm-libtool-darwin: Unknown command line argument '-abcabc'.  Try: './bin/llvm-libtool-darwin --help'

error: is also not there as a prefix for the other test.

llvm/test/tools/llvm-libtool-darwin/invalid-arguments.test

25 ↗

(On Diff #275133)

Ok, I added basic.test where I simply run

# RUN: yaml2obj %S/Inputs/input1.yaml -o %t-input1.o
# RUN: yaml2obj %S/Inputs/input2.yaml -o %t-input2.o

## Pass single input:
# RUN: llvm-libtool-darwin -o %t.lib %t-input1.o

## Pass multiple inputs:
# RUN: llvm-libtool-darwin -o %t.lib %t-input1.o %t-input2.o

Is this sufficient? Or is there some other way I need to verify that the exit code was indeed 0?

llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp

22–23 ↗

(On Diff #275133)

thanks

[sameerarora101]

Updating help information; adding basic.test and reordering index.rst

[jhenderson]

llvm/docs/CommandGuide/llvm-libtool-darwin.rst

24–26 ↗

(On Diff #275133)

Thanks. Some more comments:

1. As this is a Darwin-inspired tool, we should use the standard option naming throughout. If I understand it correctly, this means single dashes rather than double.
2. You probably want to use the documentation for the various common options (help, version, color etc) used in the other tool documentation, for consistency. Take a look at e.g. llvm-objcopy or llvm-dwarfdump. In particular, I wouldn't report the "hidden" versions of the help options (they're hidden for a reason...).
3. Documentation should use full English grammar rules with leading caps and trailing full stops, like comments in the code.

llvm/test/tools/llvm-libtool-darwin/basic.test

1 ↗

(On Diff #275574)

Nit: use '##' for comments.

llvm/test/tools/llvm-libtool-darwin/help-message.test

10 ↗

(On Diff #275133)

Yuck, okay. Maybe something to look at another time, I guess.

llvm/test/tools/llvm-libtool-darwin/invalid-arguments.test

25 ↗

(On Diff #275133)

That's sufficient, thanks. If a tool returns a non-zero exit code, lit will automatically fail unless not is prepended.

llvm/test/tools/llvm-libtool-darwin/invalid-input-output-args.test

1 ↗

(On Diff #275574)

On further reflection, perhaps it makes sense to combine this and basic.test into a single test. What do you think?

llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp

22 ↗

(On Diff #275574)

Similar to my documentation comment, I'm okay with this using single-dash if it's more common on Darwin.

[jhenderson]

llvm/test/tools/llvm-libtool-darwin/invalid-input-output-args.test

1 ↗

(On Diff #275574)

Actually, ignore my previous comment, since basic.test is only short-term.

You'll probably want to add --static to these tests when you add support to that option to avoid any potential confusion.

[sameerarora101]

llvm/docs/CommandGuide/llvm-libtool-darwin.rst

24–26 ↗

(On Diff #275133)

Ok, I have replaced -- with - and took help from llvm-dwarfdump for the common options.

llvm/test/tools/llvm-libtool-darwin/invalid-input-output-args.test

1 ↗

(On Diff #275574)

Ya I agree, basic.test is temporary and I replace it with create-static-lib.test when adding the -static option.

[sameerarora101]

Updating docs

[jhenderson]

LGTM, but please give others a chance to review too.

[smeenai]

LGTM.

llvm/docs/CommandGuide/llvm-libtool-darwin.rst

17 ↗

(On Diff #275715)

Nit: The package name is "cctools", so you should say "cctools'" (trailing apostrophe) instead of "cctool's".

llvm/test/tools/llvm-libtool-darwin/basic.test

1 ↗

(On Diff #275715)

Nit: just spell out "error code" instead of abbreviating it as EC.

llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp

18 ↗

(On Diff #275715)

As far as I can see, cctools libtool doesn't support the -output spelling, only -o. Is there any reason for us to support it?

[sameerarora101]

llvm/docs/CommandGuide/llvm-libtool-darwin.rst

17 ↗

(On Diff #275715)

good catch, thanks 😊

llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp

18 ↗

(On Diff #275715)

Yup, that is true. I was just looking at other llvm tools and they have -output in addition to -o. So I thought of adding both. I can remove -output if you guys prefer that?

[sameerarora101]

@smeenai I have also moved OptionCategory and hide-unrelated-options.test to this diff instead of D83002 that adds the support for -static. Thanks

[sameerarora101]

Add OptionCategory and hide-unrelated-options.test

[smeenai]

llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp

18 ↗

(On Diff #275715)

I'd prefer to remove it, to mimic cctools libtool's interface as closely as possible.

[jhenderson]

llvm/test/tools/llvm-libtool-darwin/hide-unrelated-options.test

1 ↗

(On Diff #276422)

This is probably fine, but an alternative that might be more consistent is to expand help-message.test to show that the option categories that should be supported are printed (by checking the e.g. "Color options:" text), and that the unrelated options aren't (by similarly checking that the header for them isn't included). There are some examples of this for some tools like llvm-size. You might also want to add a --help-list test case as in llvm-size's help.test.

llvm/tools/llvm-libtool-darwin/llvm-libtool-darwin.cpp

18 ↗

(On Diff #275715)

No issues removing -output from me.

[sameerarora101]

llvm/test/tools/llvm-libtool-darwin/hide-unrelated-options.test

1 ↗

(On Diff #276422)

ok, I have modeled help.test under llvm-libtool-darwin in a similar fashion as llvm-size. Thanks! (I have also removed hide-unrelated-options.test now).

[sameerarora101]

Remove --output option (keeping -o) and update help.test

[jhenderson]

llvm/test/tools/llvm-libtool-darwin/help-message.test

5 ↗

(On Diff #276735)

It's quite possible the llvm-size test doesn't have testing for unrelated options. How is it tested in this version now?

[sameerarora101]

llvm/test/tools/llvm-libtool-darwin/help-message.test

5 ↗

(On Diff #276735)

yup, you are right, llvm-size doesn't test that unrelated options are not present. For my case, the unrelated option --safepoint-ir-verifier-print-only: comes under General Options: when I add the support for -static. I can add --implicit-check-not=General in the second diff D83002 for that?

[jhenderson]

llvm/test/tools/llvm-libtool-darwin/help-message.test

5 ↗

(On Diff #276735)

I think we've done something similar elsewhere. Take a look around, and try seeing if there's a precedent.

I might be inclined for a more verbose --implicit-check-not for "General Options:" for safety (since "General" might appear in somebdoy's path).

[sameerarora101]

llvm/test/tools/llvm-libtool-darwin/help-message.test

5 ↗

(On Diff #276735)

ok got it, thanks!

llvm/test/CMakeLists.txt

set(LLVM_TEST_DEPENDS
           llvm-exegesis
           llvm-extract
           llvm-gsymutil
           llvm-isel-fuzzer
           llvm-ifs
           llvm-install-name-tool
           llvm-jitlink
           llvm-lib
+          llvm-libtool-darwin
           llvm-link
           llvm-lipo
           llvm-locstats
           llvm-lto2
           llvm-mc
           llvm-mca
           llvm-ml
           llvm-modextract

llvm/test/tools/llvm-libtool/Darwin/Inputs/helloMachO.yaml

+# int hello() {
+#   return 0;
+# }
+--- !mach-o
+FileHeader:
+  magic:           0xFEEDFACF
+  cputype:         0x01000007
+  cpusubtype:      0x00000003
+  filetype:        0x00000001
+  ncmds:           2
+  sizeofcmds:      176
+  flags:           0x00002000
+  reserved:        0x00000000
+LoadCommands:
+  - cmd:             LC_SEGMENT_64
+    cmdsize:         152
+    segname:         ''
+    vmaddr:          0
+    vmsize:          8
+    fileoff:         312
+    filesize:        8
+    maxprot:         7
+    initprot:        7
+    nsects:          1
+    flags:           0
+    Sections:
+      - sectname:        __text
+        segname:         __TEXT
+        addr:            0x0000000000000000
+        size:            8
+        offset:          0x00000138
+        align:           4
+        reloff:          0x00000000
+        nreloc:          0
+        flags:           0x80000400
+        reserved1:       0x00000000
+        reserved2:       0x00000000
+        reserved3:       0x00000000
+        content:         554889E531C05DC3
+  - cmd:             LC_SYMTAB
+    cmdsize:         24
+    symoff:          320
+    nsyms:           1
+    stroff:          336
+    strsize:         8
+LinkEditData:
+  NameList:
+    - n_strx:          1
+      n_type:          0x0F
+      n_sect:          1
+      n_desc:          0
+      n_value:         0
+  StringTable:
+    - ''
+    - _hello
+...

llvm/test/tools/llvm-libtool/Darwin/Inputs/mainMachO.yaml

+# int main() {
+#   return 0;
+# }
+--- !mach-o
+FileHeader:
+  magic:           0xFEEDFACF
+  cputype:         0x01000007
+  cpusubtype:      0x00000003
+  filetype:        0x00000001
+  ncmds:           2
+  sizeofcmds:      176
+  flags:           0x00002000
+  reserved:        0x00000000
+LoadCommands:
+  - cmd:             LC_SEGMENT_64
+    cmdsize:         152
+    segname:         ''
+    vmaddr:          0
+    vmsize:          15
+    fileoff:         312
+    filesize:        15
+    maxprot:         7
+    initprot:        7
+    nsects:          1
+    flags:           0
+    Sections:
+      - sectname:        __text
+        segname:         __TEXT
+        addr:            0x0000000000000000
+        size:            15
+        offset:          0x00000138
+        align:           4
+        reloff:          0x00000000
+        nreloc:          0
+        flags:           0x80000400
+        reserved1:       0x00000000
+        reserved2:       0x00000000
+        reserved3:       0x00000000
+        content:         554889E531C0C745FC000000005DC3
+  - cmd:             LC_SYMTAB
+    cmdsize:         24
+    symoff:          328
+    nsyms:           1
+    stroff:          344
+    strsize:         8
+LinkEditData:
+  NameList:
+    - n_strx:          1
+      n_type:          0x0F
+      n_sect:          1
+      n_desc:          0
+      n_value:         0
+  StringTable:
+    - ''
+    - _main
+    - ''
+...

llvm/test/tools/llvm-libtool/Darwin/create-static-lib.test

+## This test checks that a correct static library is created.
+
+# RUN: yaml2obj %S/Inputs/helloMachO.yaml -o %t-hello.o
+# RUN: yaml2obj %S/Inputs/mainMachO.yaml -o %t-main.o
+
+# RUN: rm -rf %t.lib
+# RUN: llvm-libtool-darwin -static -o %t.lib %t-hello.o %t-main.o
+
+## Check that binaries are present:
+# RUN: llvm-ar tv %t.lib | \
+# RUN:   FileCheck %s --check-prefix=CHECK-NAMES --implicit-check-not=.o
+
+# CHECK-NAMES: hello.o
+# CHECK-NAMES: main.o
+
+## Check that symbols are present:
+# RUN: llvm-nm %t.lib | \
+# RUN:   FileCheck %s --check-prefix=CHECK-SYMBOLS --implicit-check-not=T
+
+# CHECK-SYMBOLS: T _hello
+# CHECK-SYMBOLS: T _main
+
+## Check that output archive is in Darwin format:
+# RUN: llvm-objdump --macho --archive-headers %t.lib | \
+# RUN:  FileCheck %s --check-prefix=FORMAT --implicit-check-not=.o
+
+# FORMAT: __.SYMDEF
+# FORMAT-NEXT: hello.o
+# FORMAT-NEXT: main.o
+
+## Checking that the output file is overwritten:
+# RUN: llvm-libtool-darwin -static -o %t.lib %t-main.o %t-hello.o
+# RUN: llvm-ar tv %t.lib | \
+# RUN:   FileCheck %s --check-prefix=OVERWRITE-NAMES --implicit-check-not=.o
+# RUN: llvm-nm %t.lib | \
+# RUN:   FileCheck %s --check-prefix=OVERWRITE-SYMBOLS --implicit-check-not=T
+
+# OVERWRITE-NAMES: main.o
+# OVERWRITE-NAMES: hello.o
+# OVERWRITE-SYMBOLS: T _main
+# OVERWRITE-SYMBOLS: T _hello
+
+## Duplicate a binary:
+# RUN: llvm-libtool-darwin -static -o %t.lib %t-hello.o %t-main.o %t-hello.o
+# RUN: llvm-ar tv %t.lib | \
+# RUN:   FileCheck %s --check-prefix=DUPLICATE-NAMES --implicit-check-not=.o
+# RUN: llvm-nm %t.lib | \
+# RUN:   FileCheck %s --check-prefix=DUPLICATE-SYMBOLS --implicit-check-not=T
+
+# DUPLICATE-NAMES: hello.o
+# DUPLICATE-NAMES: main.o
+# DUPLICATE-NAMES: hello.o
+
+# DUPLICATE-SYMBOLS: T _hello
+# DUPLICATE-SYMBOLS: T _main
+# DUPLICATE-SYMBOLS: T _hello

llvm/test/tools/llvm-libtool/Darwin/help-message.test

+## This test checks that the help message is displayed correctly.
+
+# RUN: llvm-libtool-darwin -h | FileCheck --check-prefix=LIBTOOL-USAGE %s --match-full-lines
+# RUN: llvm-libtool-darwin --help | FileCheck --check-prefix=LIBTOOL-USAGE %s --match-full-lines
+# RUN: not llvm-libtool-darwin 2>&1 | FileCheck --check-prefix=LIBTOOL-USAGE %s --match-full-lines
+# RUN: not llvm-libtool-darwin -abcabc 2>&1 | FileCheck --check-prefix=UNKNOWN-ARG %s
+# RUN: not llvm-libtool-darwin --abcabc 2>&1 | FileCheck --check-prefix=UNKNOWN-ARG %s
+
+# LIBTOOL-USAGE: USAGE: llvm-libtool option[s] -o output input[s]
+
+# UNKNOWN-ARG: unknown argument '{{-+}}abcabc'

llvm/test/tools/llvm-libtool/Darwin/invalid-arguments.test

+## This test checks that an error is thrown in case of invalid argument(s).
+
+## Missing input file:
+# RUN: not llvm-libtool-darwin -o libOut.a 2>&1 | \
+# RUN:   FileCheck %s --check-prefix=NO-INPUT
+
+# NO-INPUT: no input file specified
+
+## Missing output file:
+# RUN: not llvm-libtool-darwin %t 2>&1 | \
+# RUN:   FileCheck %s --check-prefix=NO-OUTPUT
+
+# NO-OUTPUT: no output file specified (specify with -o output)
+
+## Missing argument to -o:
+# RUN: not llvm-libtool-darwin %t -o 2>&1 | \
+# RUN:   FileCheck %s --check-prefix=MISSING
+
+# MISSING: missing argument to -o option
+
+## Missing both -static and -dynamic options:
+# RUN: not llvm-libtool-darwin -o libOut.a %t 2>&1 | \
+# RUN:   FileCheck %s --check-prefix=MISSING-OPERATION
+
+# MISSING-OPERATION: must specify either -static or -dynamic option
+
+## Passing both -static and -dynamic options:
+# RUN: not llvm-libtool-darwin -static -dynamic -o libOut.a %t 2>&1 | \
+# RUN:   FileCheck %s --check-prefix=DOUBLE-OPERATION
+
+# DOUBLE-OPERATION: cannot specify both -static and -dynamic options
+
+## Input file not found:
+# RUN: not llvm-libtool-darwin -static -o libOut.a %t.missing 2>&1 | \
+# RUN:   FileCheck %s --check-prefix=NO-FILE -DFILE=%t.missing
+
+# NO-FILE: '[[FILE]]': {{[nN]}}o such file or directory
+
+## Input file is not an object file:
+# RUN: touch %t.invalid
+# RUN: not llvm-libtool-darwin -static -o libOut.a %t.invalid 2>&1 | \
+# RUN:   FileCheck %s --check-prefix=NOT-OBJECT
+
+# NOT-OBJECT: The file was not recognized as a valid object file
+
+## Input file is not a MachO object file:
+# RUN: yaml2obj %s -o %t
+# RUN: not llvm-libtool-darwin -static -o libOut.a %t 2>&1 | \
+# RUN:   FileCheck %s --check-prefix=NOT-MACHO
+
+# NOT-MACHO: format not supported
+
+--- !ELF
+FileHeader:
+  Class:           ELFCLASS64
+  Data:            ELFDATA2LSB
+  Type:            ET_REL
+  Machine:         EM_X86_64
+Sections:
+  - Name:            .text
+    Type:            SHT_PROGBITS
+    Flags:           [ SHF_ALLOC, SHF_EXECINSTR ]
+    AddressAlign:    0x0000000000000001
+  - Name:            .data
+    Type:            SHT_PROGBITS
+    Flags:           [ SHF_WRITE, SHF_ALLOC ]
+    AddressAlign:    0x0000000000000001
+  - Name:            .bss
+    Type:            SHT_NOBITS
+    Flags:           [ SHF_WRITE, SHF_ALLOC ]
+    AddressAlign:    0x0000000000000001
+  - Name:            .comment
+    Type:            SHT_PROGBITS
+    Flags:           [ SHF_MERGE, SHF_STRINGS ]
+    AddressAlign:    0x0000000000000001
+    EntSize:         0x0000000000000001
+    Content:         004743433A2028474E552920382E332E3120323031393131323120285265642048617420382E332E312D352900
+  - Name:            .note.GNU-stack
+    Type:            SHT_PROGBITS
+    AddressAlign:    0x0000000000000001
+Symbols:
+  - Name:            foo.c
+    Type:            STT_FILE
+    Index:           SHN_ABS
+  - Name:            .text
+    Type:            STT_SECTION
+    Section:         .text
+  - Name:            .data
+    Type:            STT_SECTION
+    Section:         .data
+  - Name:            .bss
+    Type:            STT_SECTION
+    Section:         .bss
+  - Name:            .note.GNU-stack
+    Type:            STT_SECTION
+    Section:         .note.GNU-stack
+  - Name:            .comment
+    Type:            STT_SECTION
+    Section:         .comment
+...

llvm/tools/llvm-libtool/CMakeLists.txt

+add_subdirectory(Darwin)

llvm/tools/llvm-libtool/Darwin/CMakeLists.txt

+set(LLVM_LINK_COMPONENTS
+  Object
+  Option
+  Support
+  )
+
+set(LLVM_TARGET_DEFINITIONS LibtoolOpts.td)
+tablegen(LLVM LibtoolOpts.inc -gen-opt-parser-defs)
+add_public_tablegen_target(LibtoolOptsTableGen)
+
+add_llvm_tool(llvm-libtool-darwin
+  llvm-libtool.cpp
+  DEPENDS
+  LibtoolOptsTableGen
+)

llvm/tools/llvm-libtool/Darwin/LLVMBuild.txt

+;===- ./tools/llvm-libtool/Darwin/LVMBuild.txt --------------------------*- Conf -*--===;
+;
+; Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+; See https://llvm.org/LICENSE.txt for license information.
+; SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+;
+;===------------------------------------------------------------------------===;
+;
+; This is an LLVMBuild description file for the components in this subdirectory.
+;
+; For more information on the LLVMBuild system, please see:
+;
+;   http://llvm.org/docs/LLVMBuild.html
+;
+;===------------------------------------------------------------------------===;
+[component_0]
+type = Tool
+name = llvm-libtool-darwin
+parent = Tools
+required_libraries = Object Option Support

llvm/tools/llvm-libtool/Darwin/LibtoolOpts.td

+include "llvm/Option/OptParser.td"
+
+def help : Flag<["-", "--"], "help">;
+def h : Flag<["-"], "h">, Alias<help>;
+
+def version : Flag<["-", "--"], "version">,
+              HelpText<"Print the version and exit.">;
+
+def output : JoinedOrSeparate<["-"], "o">, HelpText<"Write output to <file>">,
+             MetaVarName<"<file>">;
+
+def static : Flag<["-"], "static">,
+             HelpText<"Produce a statically linked library from the "
+                      "input files">;
+
+def dynamic : Flag<["-"], "dynamic">,
+             HelpText<"Produce a shared dynamic library from the "
+                      "input files">;

llvm/tools/llvm-libtool/Darwin/llvm-libtool.cpp

+//===-- llvm-libtool.cpp - a tool for creating libraries --------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+//
+// A utility for creating static and dynamic libraries for Darwin.
+//
+//===----------------------------------------------------------------------===//
+
+#include "llvm/Object/Archive.h"
+#include "llvm/Object/ArchiveWriter.h"
+#include "llvm/Object/Binary.h"
+#include "llvm/Object/MachO.h"
+#include "llvm/Object/MachOUniversal.h"
+#include "llvm/Object/ObjectFile.h"
+#include "llvm/Option/Arg.h"
+#include "llvm/Option/ArgList.h"
+#include "llvm/Support/CommandLine.h"
+#include "llvm/Support/Error.h"
+#include "llvm/Support/InitLLVM.h"
+#include "llvm/Support/WithColor.h"
+
+using namespace llvm;
+using namespace llvm::object;
+
+// The name this program was invoked as.
+static StringRef ToolName;
+
+LLVM_ATTRIBUTE_NORETURN static void reportError(Twine Message) {
+  WithColor::error(errs(), ToolName) << Message << "\n";
+  errs().flush();
+  exit(EXIT_FAILURE);
+}
+
+LLVM_ATTRIBUTE_NORETURN static void reportError(StringRef File, Error E) {
+  assert(E);
+  std::string Buf;
+  raw_string_ostream OS(Buf);
+  logAllUnhandledErrors(std::move(E), OS);
+  OS.flush();
+  WithColor::error(errs(), ToolName) << "'" << File << "': " << Buf;
+  exit(EXIT_FAILURE);
+}
+
+namespace {
+
+enum LibtoolID {
+  LIBTOOL_INVALID = 0, // This is not an option ID.
+#define OPTION(PREFIX, NAME, ID, KIND, GROUP, ALIAS, ALIASARGS, FLAGS, PARAM,  \
+               HELPTEXT, METAVAR, VALUES)                                      \
+  LIBTOOL_##ID,
+#include "LibtoolOpts.inc"
+#undef OPTION
+};
+
+#define PREFIX(NAME, VALUE) const char *const LIBTOOL_##NAME[] = VALUE;
+#include "LibtoolOpts.inc"
+#undef PREFIX
+
+static const opt::OptTable::Info LibtoolInfoTable[] = {
+#define OPTION(PREFIX, NAME, ID, KIND, GROUP, ALIAS, ALIASARGS, FLAGS, PARAM,  \
+               HELPTEXT, METAVAR, VALUES)                                      \
+  {LIBTOOL_##PREFIX,                                                           \
+   NAME,                                                                       \
+   HELPTEXT,                                                                   \
+   METAVAR,                                                                    \
+   LIBTOOL_##ID,                                                               \
+   opt::Option::KIND##Class,                                                   \
+   PARAM,                                                                      \
+   FLAGS,                                                                      \
+   LIBTOOL_##GROUP,                                                            \
+   LIBTOOL_##ALIAS,                                                            \
+   ALIASARGS,                                                                  \
+   VALUES},
+#include "LibtoolOpts.inc"
+#undef OPTION
+};
+
+class LibtoolOptTable : public opt::OptTable {
+public:
+  LibtoolOptTable() : OptTable(LibtoolInfoTable) {}
+};
+
+struct Config {
+  std::vector<StringRef> InputFiles;
+  StringRef OutputFile;
+
+  // Boolean options
+
+  // Create static library
+  bool Static;
+
+  // Create shared dynamic library
+  bool Dynamic;
+
+  // Use zeroes for timestamps and UIDs/GIDs
+  // TODO implement option -D to modify Deterministic
+  bool Deterministic = false;
+};
+
+} // namespace
+
+static Config parseLibtoolOptions(ArrayRef<const char *> ArgsArr) {
+  Config C;
+  LibtoolOptTable T;
+  unsigned MissingArgumentIndex, MissingArgumentCount;
+  opt::InputArgList InputArgs =
+      T.ParseArgs(ArgsArr, MissingArgumentIndex, MissingArgumentCount);
+
+  if (MissingArgumentCount)
+    reportError("missing argument to " +
+                StringRef(InputArgs.getArgString(MissingArgumentIndex)) +
+                " option");
+
+  if (InputArgs.size() == 0) {
+    T.PrintHelp(errs(), "llvm-libtool option[s] -o output input[s]",
+                ToolName.str().c_str());
+    exit(EXIT_FAILURE);
+  }
+
+  if (InputArgs.hasArg(LIBTOOL_help)) {
+    T.PrintHelp(outs(), "llvm-libtool option[s] -o output input[s]",
+                ToolName.str().c_str());
+    exit(EXIT_SUCCESS);
+  }
+
+  if (InputArgs.hasArg(LIBTOOL_version)) {
+    outs() << ToolName + "\n";
+    cl::PrintVersionMessage();
+    exit(EXIT_SUCCESS);
+  }
+
+  for (auto *Arg : InputArgs.filtered(LIBTOOL_UNKNOWN))
+    reportError("unknown argument '" + Arg->getAsString(InputArgs) + "'");
+
+  if (!InputArgs.hasArg(LIBTOOL_output))
+    reportError("no output file specified (specify with -o output)");
+  C.OutputFile = InputArgs.getLastArgValue(LIBTOOL_output);
+
+  for (auto *Arg : InputArgs.filtered(LIBTOOL_INPUT)) {
+    C.InputFiles.push_back(Arg->getValue());
+  }
+  if (C.InputFiles.empty())
+    reportError("no input file specified");
+
+  C.Static = InputArgs.hasArg(LIBTOOL_static);
+  C.Dynamic = InputArgs.hasArg(LIBTOOL_dynamic);
+  if (C.Static && C.Dynamic)
+    reportError("cannot specify both -static and -dynamic options");
+  if (!C.Static && !C.Dynamic)
+    reportError("must specify either -static or -dynamic option");
+
+  return C;
+}
+
+static void verifyDarwinObject(const NewArchiveMember &Member) {
+  auto MBRef = Member.Buf->getMemBufferRef();
+  Expected<std::unique_ptr<object::ObjectFile>> ObjOrErr =
+      object::ObjectFile::createObjectFile(MBRef);
+
+  // throw error if not a valid object file
+  if (Error E = ObjOrErr.takeError())
+    reportError(Member.MemberName, std::move(E));
+
+  // throw error if not in darwin format
+  if (!isa<object::MachOObjectFile>(**ObjOrErr))
+    reportError("'" + Member.MemberName + "': format not supported");
+}
+
+static void addMember(std::vector<NewArchiveMember> &Members,
+                      StringRef FileName, bool Deterministic) {
+  Expected<NewArchiveMember> NMOrErr =
+      NewArchiveMember::getFile(FileName, Deterministic);
+
+  if (Error E = NMOrErr.takeError())
+    reportError(FileName, std::move(E));
+
+  // For regular archives, use the basename of the object path for the member
+  // name.
+  NMOrErr->MemberName = sys::path::filename(NMOrErr->MemberName);
+
+  // verify that Member is a darwin object file
+  verifyDarwinObject(*NMOrErr);
+
+  Members.push_back(std::move(*NMOrErr));
+}
+
+static void createStaticLibrary(const Config &Config) {
+  std::vector<NewArchiveMember> NewMembers;
+  for (const auto &Member : Config.InputFiles)
+    addMember(NewMembers, Member, Config.Deterministic);
+
+  if (Error E =
+          writeArchive(Config.OutputFile, NewMembers,
+                       /*symtab=*/true,
+                       /*kind=*/object::Archive::K_DARWIN, Config.Deterministic,
+                       /*thin=*/false))
+    reportError(Config.OutputFile, std::move(E));
+}
+
+int main(int Argc, char **Argv) {
+  InitLLVM X(Argc, Argv);
+  ToolName = Argv[0];
+  Config C = parseLibtoolOptions(makeArrayRef(Argv + 1, Argc));
+
+  if (C.Static)
+    createStaticLibrary(C);
+  else
+    reportError("dynamic is currently unsupported");
+  return EXIT_SUCCESS;
+}