1; REQUIRES: x86-registered-target 2 3; check the -lto-embed-bitcode=post-thinlto-merge does not perform optimizations 4; we expect 't1' - i.e start-lib1.ll's products - have both foo and bar defined, 5; but the bar call is still made from foo. 6; RUN: opt -module-summary %p/Inputs/start-lib1.ll -o %t1.bc 7; RUN: opt -module-summary %p/Inputs/start-lib2.ll -o %t2.bc 8; RUN: llvm-lto -thinlto -o %t.o %t1.bc %t2.bc 9 10; For the optimized case, we expect the inlining of foo into bar to happen. 11; RUN: %clang -target x86_64-unknown-linux-gnu -O2 -o %t-opt.o -x ir %t1.bc -c -fthinlto-index=%t.o.thinlto.bc -mllvm -lto-embed-bitcode=optimized 12; RUN: llvm-readelf -S %t-opt.o | FileCheck %s --check-prefixes=CHECK-ELF,CHECK-ELF-NO-CMD 13; RUN: llvm-objcopy --dump-section=.llvmbc=%t-embedded.bc %t-opt.o /dev/null 14; RUN: llvm-dis %t-embedded.bc -o - | FileCheck %s --check-prefixes=CHECK,CHECK-OPT 15 16; For the post-merge case, perform the embedded bitcode extraction, then 17; round-trip through compilation and ensure the objects are the same. 18; RUN: %clang -target x86_64-unknown-linux-gnu -O2 -o %t.o -x ir %t1.bc -c -fthinlto-index=%t.o.thinlto.bc -mllvm -lto-embed-bitcode=post-merge-pre-opt 19; RUN: llvm-readelf -S %t.o | FileCheck %s --check-prefixes=CHECK-ELF,CHECK-ELF-CMD 20; RUN: llvm-objcopy --dump-section=.llvmcmd=%t-embedded.cmd %t.o /dev/null 21; RUN: FileCheck %s --check-prefixes=CHECK-EMBEDDED-CMD <%t-embedded.cmd 22; RUN: llvm-objcopy --dump-section=.llvmbc=%t-embedded.bc %t.o /dev/null 23; RUN: llvm-dis %t-embedded.bc -o - | FileCheck %s --check-prefixes=CHECK,CHECK-NOOPT 24; We should only need the index and the post-thinlto merged module to generate 25; the exact same .o as we originally did. 26; RUN: rm %t1.bc %t2.bc 27; RUN: %clang -target x86_64-unknown-linux-gnu -O2 -o %t-redo.o -x ir %t-embedded.bc -c -fthinlto-index=%t.o.thinlto.bc -mllvm -lto-embed-bitcode=post-merge-pre-opt -mllvm -thinlto-assume-merged 28; 29; The resulting .o is almost the same, but the .llvmcmd section would be 30; different because of the extra -thinlto-assume-merged. 31; A simple, meaningful comparison is to just compare the stripped objects. 32; RUN: llvm-strip --strip-all %t-redo.o 33; RUN: llvm-strip --strip-all %t.o 34; RUN: diff %t-redo.o %t.o 35 36; CHECK-ELF: .text PROGBITS 0000000000000000 [[#%x,OFF:]] [[#%x,SIZE:]] 00 AX 0 37; CHECK-ELF-NEXT: .llvmbc PROGBITS 0000000000000000 [[#%x,OFF:]] [[#%x,SIZE:]] 00 0 38; CHECK-ELF-CMD: .llvmcmd 39; CHECK-ELF-NO-CMD-NOT: .llvmcmd 40 41; CHECK: define void @foo() 42; CHECK-OPT-NEXT: ret void 43; CHECK-NOOPT-NEXT: call void @bar() 44; CHECK-NOOPT: define available_externally void @bar() 45; CHECK-NOOPT-NEXT: ret void 46 47; CHECK-EMBEDDED-CMD: x86_64-unknown-linux-gnu{{.*$}} 48; CHECK-EMBEDDED-CMD-NOT: x86_64-unknown-linux-gnu 49