1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
; REQUIRES: aarch64
; RUN: rm -rf %t; mkdir %t
; RUN: llc -filetype=obj %s -O3 -o %t/icf-obj.o -enable-machine-outliner=never -mtriple arm64-apple-macos -addrsig
; RUN: %lld -arch arm64 -lSystem --icf=safe -dylib -o %t/icf-safe.dylib %t/icf-obj.o
; RUN: %lld -arch arm64 -lSystem --icf=all -dylib -o %t/icf-all.dylib %t/icf-obj.o
; RUN: llvm-objdump %t/icf-safe.dylib -d -h --macho | FileCheck %s --check-prefixes=ICFSAFE,CHECK
; RUN: llvm-objdump %t/icf-all.dylib -d -h --macho | FileCheck %s --check-prefixes=ICFALL,CHECK
; RUN: llvm-as %s -o %t/icf-bitcode.o
; RUN: %lld -arch arm64 -lSystem --icf=safe -dylib -o %t/icf-safe-bitcode.dylib %t/icf-bitcode.o
; RUN: %lld -arch arm64 -lSystem --icf=all -dylib -o %t/icf-all-bitcode.dylib %t/icf-bitcode.o
; RUN: llvm-objdump %t/icf-safe-bitcode.dylib -d -h --macho | FileCheck %s --check-prefixes=ICFSAFE,CHECK
; RUN: llvm-objdump %t/icf-all-bitcode.dylib -d -h --macho | FileCheck %s --check-prefixes=ICFALL,CHECK
;; Regression test: if we tried writing __llvm_addrsig to the output, -fixup_chains would fail with a "fixups overlap"
;; error, as the relocations (which reference the address-taken functions) are all at offset 0.
; RUN: %lld -arch arm64 -lSystem --icf=safe -fixup_chains -dylib -o %t/icf-safe-chained.dylib %t/icf-obj.o
; RUN: llvm-objdump %t/icf-safe-chained.dylib -d -h --macho | FileCheck %s --check-prefixes=ICFSAFE,CHECK
; ICFSAFE-LABEL: _callAllFunctions
; ICFSAFE: bl _func02
; ICFSAFE-NEXT: bl _func02
; ICFSAFE-NEXT: bl _func03_takeaddr
; ICFALL-LABEL: _callAllFunctions
; ICFALL: bl _func03_takeaddr
; ICFALL-NEXT: bl _func03_takeaddr
; ICFALL-NEXT: bl _func03_takeaddr
; CHECK-LABEL: Sections:
; CHECK-NOT: __llvm_addrsig
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
target triple = "arm64-apple-macos11.0"
@result = global i32 0, align 4
define void @func01() local_unnamed_addr noinline {
entry:
%0 = load volatile i32, ptr @result, align 4
%add = add nsw i32 %0, 1
store volatile i32 %add, ptr @result, align 4
ret void
}
define void @func02() local_unnamed_addr noinline {
entry:
%0 = load volatile i32, ptr @result, align 4
%add = add nsw i32 %0, 1
store volatile i32 %add, ptr @result, align 4
ret void
}
define void @func03_takeaddr() noinline {
entry:
%0 = load volatile i32, ptr @result, align 4
%add = add nsw i32 %0, 1
store volatile i32 %add, ptr @result, align 4
ret void
}
define void @callAllFunctions() local_unnamed_addr {
entry:
tail call void @func01()
tail call void @func02()
tail call void @func03_takeaddr()
%0 = load volatile i32, ptr @result, align 4
%add = add nsw i32 %0, ptrtoint (ptr @func03_takeaddr to i32)
store volatile i32 %add, ptr @result, align 4
ret void
}
|
