lld/test/MachO/symbol-resolution-error.ll

   1 ; REQUIRES: x86
   2 ; RUN: rm -rf %t; split-file %s %t
   3
   4 ; RUN: opt --thinlto-bc %t/f.ll -o %t/f.o
   5 ; RUN: llvm-ar rcs %t/libf.a %t/f.o
   6 ; RUN: opt --thinlto-bc %t/q.ll -o %t/q.o
   7 ; RUN: llvm-ar rcs %t/libq.a %t/q.o
   8 ; RUN: opt --thinlto-bc %t/b.ll -o %t/b.o
   9 ; RUN: llvm-ar rcs %t/libb.a %t/b.o
  10 ; RUN: opt --thinlto-bc %t/m.ll -o %t/m.o
  11
  12 ; RUN: not %no-fatal-warnings-lld -lSystem %t/libf.a %t/libq.a %t/libb.a %t/m.o -o %t/test.out 2>&1 | FileCheck %s
  13
  14 ; We can't read symbols that are set by `module asm` in the bitcode's symbol table.
  15 ; LTO compiles only f.ll, b.ll, and m.ll without q.ll due to missing reference to `q_asm` in f.ll.
  16 ; However, later `q_asm` appears in the resulting object for `f.ll`, which triggers resolving
  17 ; a ODR symbol `q_odr` from `q.ll,` as opposed to one expected from `b.ll`.
  18 ; As a result, we have invalid relocation for `q_odr` as `q.ll` is neither compiled, nor linked.
  19
  20 ; CHECK: error: The pending prevailing symbol(_q_odr) in the bitcode file({{.*}}libb.a(b.o)) is overridden by a non-native object (from bitcode): {{.*}}libq.a(q.o)
  21
  22 ;--- f.ll
  23 target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  24 target triple = "x86_64-apple-macosx10.15.0"
  25
  26 module asm ".no_dead_strip _q_asm"
  27
  28 define i64 @f() {
  29   ret i64 1
  30 }
  31
  32 ;--- q.ll
  33 target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  34 target triple = "x86_64-apple-macosx10.15.0"
  35
  36 @q_asm = global i64 1
  37
  38 @q_odr = linkonce_odr hidden unnamed_addr constant i64 0
  39
  40
  41 ;--- b.ll
  42 target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  43 target triple = "x86_64-apple-macosx10.15.0"
  44
  45 @q_odr = linkonce_odr hidden unnamed_addr constant i64 1
  46
  47 define i64 @b() {
  48   ret i64 ptrtoint (i64* @q_odr to i64)
  49 }
  50
  51 ;--- m.ll
  52 target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  53 target triple = "x86_64-apple-macosx10.15.0"
  54
  55 declare i64 @f()
  56 declare i64 @b()
  57
  58 define i64 @main() {
  59   %call1 = call i64 @f()
  60   %call2 = call i64 @b()
  61   %add = add nsw i64 %call1, %call2
  62   ret i64 %add
  63 }