llvm-project

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
}
64