llvm/test/Transforms/ThinLTOBitcodeWriter/split.ll

   1 ; Generate bitcode files with summary, as well as minimized bitcode without
   2 ; the debug metadata for the thin link.
   3 ; RUN: opt -thinlto-bc -thin-link-bitcode-file=%t2 -thinlto-split-lto-unit -o %t %s
   4 ; RUN: llvm-modextract -b -n 0 -o %t0.bc %t
   5 ; RUN: llvm-modextract -b -n 1 -o %t1.bc %t
   6 ; RUN: llvm-modextract -b -n 0 -o %t0.thinlink.bc %t2
   7 ; RUN: llvm-modextract -b -n 1 -o %t1.thinlink.bc %t2
   8 ; RUN: not llvm-modextract -b -n 2 -o - %t 2>&1 | FileCheck --check-prefix=ERROR %s
   9 ; RUN: llvm-dis -o - %t0.bc | FileCheck --check-prefix=M0 %s
  10 ; RUN: llvm-dis -o - %t1.bc | FileCheck --check-prefix=M1 %s
  11 ; RUN: llvm-bcanalyzer -dump %t0.bc | FileCheck --check-prefix=BCA0 %s
  12 ; RUN: llvm-bcanalyzer -dump %t1.bc | FileCheck --check-prefix=BCA1 %s
  13
  14 ; Make sure the combined index files produced by both the normal and the
  15 ; thin link bitcode files are identical
  16 ; RUN: llvm-lto -thinlto -o %t3 %t0.bc
  17 ; Copy the minimized bitcode to the regular bitcode path so the module
  18 ; paths in the index are the same.
  19 ; RUN: cp %t0.thinlink.bc %t0.bc
  20 ; RUN: llvm-lto -thinlto -o %t4 %t0.bc
  21 ; RUN: diff %t3.thinlto.bc %t4.thinlto.bc
  22
  23 ; ERROR: llvm-modextract: error: module index out of range; bitcode file contains 2 module(s)
  24
  25 ; BCA0: <GLOBALVAL_SUMMARY_BLOCK
  26 ; BCA1: <FULL_LTO_GLOBALVAL_SUMMARY_BLOCK
  27 ; 16 = not eligible to import
  28 ; BCA1: <PERMODULE_GLOBALVAR_INIT_REFS {{.*}} op1=16
  29 ; BCA1-NOT: <GLOBALVAL_SUMMARY_BLOCK
  30
  31 $g = comdat any
  32
  33 ; M0: @g = external global i8{{$}}
  34 ; M1: @g = global i8 42, comdat, !type !0
  35 @g = global i8 42, comdat, !type !0
  36
  37 ; M0: define ptr @f()
  38 ; M1-NOT: @f()
  39 define ptr @f() {
  40   ret ptr @g
  41 }
  42
  43 ; M1: !0 = !{i32 0, !"typeid"}
  44 !0 = !{i32 0, !"typeid"}