test/ThinLTO/X86/cache-icall.ll

   1 ; Test that the list of CFI jumptable entries is part of ThinLTO cache key.
   2
   3 ; Linking Inputs/cache-icall.ll results in f() being added to CFI jumptable; otherwise it is not.
   4 ; This affects code generated for any users of f(). Make sure that we don't pull a stale object
   5 ; file for %t.o from the cache.
   6
   7 ; RUN: opt -module-hash -module-summary -thinlto-bc -thinlto-split-lto-unit %s -o %t.bc
   8 ; RUN: opt -module-hash -module-summary -thinlto-bc -thinlto-split-lto-unit %p/Inputs/cache-icall.ll -o %t2.bc
   9
  10 ; RUN: rm -Rf %t.cache && mkdir %t.cache
  11
  12 ; RUN: llvm-lto2 run -o %t-no.o %t.bc -cache-dir %t.cache \
  13 ; RUN:   -r=%t.bc,_start,px \
  14 ; RUN:   -r=%t.bc,f,
  15
  16 ; RUN: llvm-readelf -s %t-no.o.* | FileCheck %s --check-prefix=SYMBOLS-NO
  17
  18 ; RUN: llvm-lto2 run -o %t-yes.o %t.bc %t2.bc -cache-dir %t.cache \
  19 ; RUN:   -r=%t.bc,_start,px \
  20 ; RUN:   -r=%t.bc,f, \
  21 ; RUN:   -r=%t2.bc,f,p
  22
  23 ; RUN: llvm-readelf -s %t-yes.o.* | FileCheck %s --check-prefix=SYMBOLS-YES
  24
  25 ; SYMBOLS-NO-DAG: {{FUNC .* f.cfi_jt$}}
  26 ; SYMBOLS-NO-DAG: {{NOTYPE .* UND f.cfi_jt$}}
  27
  28 ; SYMBOLS-YES-NOT: f.cfi_jt
  29 ; SYMBOLS-YES-DAG: {{FUNC .* f.cfi$}}
  30 ; SYMBOLS-YES-DAG: {{NOTYPE .* UND f.cfi$}}
  31
  32 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  33 target triple = "x86_64-unknown-linux-gnu"
  34
  35 define i8* @_start(void ()* %p) !type !0 {
  36 entry:
  37   %0 = bitcast void ()* %p to i8*
  38   %1 = tail call i1 @llvm.type.test(i8* %0, metadata !"_ZTSFvvE")
  39   br i1 %1, label %cont, label %trap
  40
  41 trap:                                             ; preds = %entry
  42   tail call void @llvm.trap()
  43   unreachable
  44
  45 cont:                                             ; preds = %entry
  46   tail call void %p()
  47   ret i8* bitcast (void ()* @f to i8*)
  48 }
  49
  50 declare i1 @llvm.type.test(i8*, metadata)
  51 declare void @llvm.trap()
  52 declare !type !1 void @f()
  53
  54 !0 = !{i64 0, !"_ZTSFPvPFvvEE"}
  55 !1 = !{i64 0, !"_ZTSFvvE"}