Index: llvm/test/tools/llvm-ar/bitcode.ll
===================================================================
--- /dev/null
+++ llvm/test/tools/llvm-ar/bitcode.ll
@@ -0,0 +1,119 @@
+## Show that when bitcode is added to an archive it is handled correctly.
+## The symbol table is as expected and it can be extracted without issue.
+
+# RUN: rm -rf %t
+# RUN: split-file %s %t && mkdir -p %t/extracted
+# RUN: cd %t
+# RUN: llvm-as a.ll -o a.bc
+
+## Create symtab from bitcode for a new archive.
+# RUN: llvm-ar rcs new.a a.bc
+# RUN: llvm-ar t new.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap new.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+# FILES: a.bc
+
+# SYMS: -------- D gdata
+# SYMS: -------- d ldata
+# SYMS: -------- T gfunc
+# SYMS: -------- t lfunc
+# SYMS: a.bc:
+# SYMS: Archive map
+# SYMS: gdata in a.bc
+# SYMS: gfunc in a.bc
+
+## Update symtab from bitcode in an existing archive.
+# RUN: llvm-ar rcS update.a a.bc
+# RUN: llvm-ar t update.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+## Check no symbol table is present.
+# RUN: llvm-nm --print-armap update.a | FileCheck --check-prefix=NOSYMS %s --implicit-check-not={{.}}
+# RUN: llvm-ar s update.a
+# RUN: llvm-ar t update.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap update.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+# NOSYMS: a.bc:
+# NOSYMS: -------- D gdata
+# NOSYMS: -------- T gfunc
+# NOSYMS: -------- d ldata
+# NOSYMS: -------- t lfunc
+
+## Create symtab from bitcode for a regular archive via MRI script.
+# RUN: llvm-ar -M < add.mri
+# RUN: llvm-ar t mri.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap mri.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+## Create symtab from bitcode for a new thin archive.
+# RUN: llvm-ar rcs --thin new-thin.a a.bc
+# RUN: llvm-ar t new-thin.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap new-thin.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+## Update symtab from bitcode in an existing thin archive.
+# RUN: llvm-ar rcS --thin update-thin.a a.bc
+# RUN: llvm-ar t update-thin.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+## Check no symbol table is present.
+# RUN: llvm-nm --print-armap update-thin.a | FileCheck --check-prefix=NOSYMS %s --implicit-check-not={{.}}
+# RUN: llvm-ar s update-thin.a
+# RUN: llvm-ar t update-thin.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap update-thin.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+## Create symtab from bitcode for a thin archive via MRI script.
+# RUN: llvm-ar -M < add-thin.mri
+# RUN: llvm-ar t mri-thin.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap mri-thin.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+## Create symtab from bitcode from another archive.
+# RUN: llvm-ar rcs input.a a.bc
+# RUN: llvm-ar qsL lib.a input.a
+# RUN: llvm-ar t lib.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap lib.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+## Create symtab from bitcode from another archive via MRI script.
+# RUN: llvm-ar -M < addlib.mri
+# RUN: llvm-ar t mri-addlib.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap mri-addlib.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+## Create symtab from bitcode from another thin archive.
+# RUN: llvm-ar rcs --thin input-thin.a a.bc
+# RUN: llvm-ar qsL --thin lib-thin.a input-thin.a
+# RUN: llvm-ar t lib-thin.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap lib-thin.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+## Create symtab from bitcode from another thin archive another archive via MRI script.
+# RUN: llvm-ar -M < addlib-thin.mri
+# RUN: llvm-ar t mri-addlib-thin.a | FileCheck --check-prefix=FILES %s --implicit-check-not={{.}}
+# RUN: llvm-nm --print-armap mri-addlib-thin.a | sort | FileCheck --check-prefix=SYMS %s --implicit-check-not={{.}}
+
+## Extract bitcode and ensure it has not been changed.
+# RUN: cd extracted
+# RUN: llvm-ar x ../new.a a.bc
+# RUN: diff a.bc a.bc
+
+#--- a.ll
+@gdata = global i32 0
+@ldata = internal global i32 0
+define void @gfunc() { ret void }
+define internal void @lfunc() { ret void }
+
+#--- add.mri
+CREATE mri.a
+ADDMOD a.bc
+SAVE
+END
+
+#--- add-thin.mri
+CREATETHIN mri-thin.a
+ADDMOD a.bc
+SAVE
+END
+
+#--- addlib.mri
+CREATE mri-addlib.a
+ADDLIB input.a
+SAVE
+END
+
+#--- addlib-thin.mri
+CREATE mri-addlib-thin.a
+ADDLIB input-thin.a
+SAVE
+END