llvm/test/Transforms/ThinLTOBitcodeWriter/split-vfunc.ll

   1 ; RUN: opt -thinlto-bc -thinlto-split-lto-unit -o %t %s
   2 ; RUN: llvm-modextract -b -n 0 -o - %t | llvm-dis | FileCheck --check-prefix=M0 %s
   3 ; RUN: llvm-modextract -b -n 1 -o - %t | llvm-dis | FileCheck --check-prefix=M1 %s
   4
   5 ; M0: @g = external constant [10 x ptr]{{$}}
   6 ; M1: @g = constant [10 x ptr]
   7 @g = constant [10 x ptr] [
   8   ptr @ok1,
   9   ptr @ok2,
  10   ptr @wrongtype1,
  11   ptr @wrongtype2,
  12   ptr @wrongtype3,
  13   ptr @wrongtype4,
  14   ptr @wrongtype5,
  15   ptr @usesthis,
  16   ptr @reads,
  17   ptr @attributedFunc
  18 ], !type !0
  19
  20 ; M0: define i64 @ok1
  21 ; M1: define available_externally i64 @ok1
  22 define i64 @ok1(ptr %this) {
  23   ret i64 42
  24 }
  25
  26 ; M0: define i64 @ok2
  27 ; M1: define available_externally i64 @ok2
  28 define i64 @ok2(ptr %this, i64 %arg) {
  29   %1 = tail call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %arg, i64 %arg)
  30   ret i64 %arg
  31 }
  32
  33 ; M1: declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64)
  34 declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64)
  35
  36 ; M0: define void @wrongtype1
  37 ; M1: declare void @wrongtype1()
  38 define void @wrongtype1(ptr) {
  39   ret void
  40 }
  41
  42 ; M0: define i128 @wrongtype2
  43 ; M1: declare void @wrongtype2()
  44 define i128 @wrongtype2(ptr) {
  45   ret i128 0
  46 }
  47
  48 ; M0: define i64 @wrongtype3
  49 ; M1: declare void @wrongtype3()
  50 define i64 @wrongtype3() {
  51   ret i64 0
  52 }
  53
  54 ; M0: define i64 @wrongtype4
  55 ; M1: declare void @wrongtype4()
  56 define i64 @wrongtype4(ptr, ptr) {
  57   ret i64 0
  58 }
  59
  60 ; M0: define i64 @wrongtype5
  61 ; M1: declare void @wrongtype5()
  62 define i64 @wrongtype5(ptr, i128) {
  63   ret i64 0
  64 }
  65
  66 ; M0: define i64 @usesthis
  67 ; M1: declare void @usesthis()
  68 define i64 @usesthis(ptr %this) {
  69   %i = ptrtoint ptr %this to i64
  70   ret i64 %i
  71 }
  72
  73 ; M0: define i8 @reads
  74 ; M1: declare void @reads()
  75 define i8 @reads(ptr %this) {
  76   %l = load i8, ptr %this
  77   ret i8 %l
  78 }
  79
  80 ; Check function attributes are copied over splitted module
  81 ; M0: declare dso_local noundef ptr @attributedFunc(ptr noalias, i8 zeroext) unnamed_addr #[[ATTR0:[0-9]+]]
  82 ; M1: declare dso_local void @attributedFunc() unnamed_addr #[[ATTR1:[0-9]+]]
  83 declare dso_local noundef ptr @attributedFunc(ptr noalias, i8 zeroext) unnamed_addr alwaysinline willreturn
  84 ; M0: attributes #[[ATTR0]] = { alwaysinline willreturn }
  85 ; M1: attributes #[[ATTR1]] = { alwaysinline willreturn }
  86
  87 !0 = !{i32 0, !"typeid"}