[llvm] 264b9a4 - [llvm-ar][test] Add testing for bitcode file handling

[via llvm-commits]

Author: gbreynoo
Date: 2022-07-14T10:56:07+01:00
New Revision: 264b9a4885e6f1beac3de72ee55c15dc78981927

URL: https://github.com/llvm/llvm-project/commit/264b9a4885e6f1beac3de72ee55c15dc78981927
DIFF: https://github.com/llvm/llvm-project/commit/264b9a4885e6f1beac3de72ee55c15dc78981927.diff

LOG: [llvm-ar][test] Add testing for bitcode file handling

This change adds testing for handling of bitcode files in archives,
particularly the creation of symbol tables and through MRI scripts.
Although there is some testing of bitcode handling in the archive
library testing, this was not covered.

Differential Revision: https://reviews.llvm.org/D129088

Added: 
    llvm/test/tools/llvm-ar/bitcode.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/tools/llvm-ar/bitcode.ll b/llvm/test/tools/llvm-ar/bitcode.ll
new file mode 100644
index 0000000000000..d41d65ed9e91f
--- /dev/null
+++ b/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-NEXT: -------- d ldata
+# SYMS-NEXT: -------- T gfunc
+# SYMS-NEXT: -------- t lfunc
+# SYMS-NEXT: a.bc:
+# SYMS-NEXT: Archive map
+# SYMS-NEXT: gdata in a.bc
+# SYMS-NEXT: 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-NEXT: -------- T gfunc
+# NOSYMS-NEXT: -------- d ldata
+# NOSYMS-NEXT: -------- 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 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: cmp a.bc a.bc
+
+#--- a.ll
+ at gdata = global i32 0
+ at 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