1; REQUIRES: aarch64-registered-target
2; REQUIRES: shell
3
4; Test IPA over a single combined file
5; RUN: llvm-as %s -o %t0.bc
6; RUN: llvm-as %S/Inputs/ipa-alias.ll -o %t1.bc
7; RUN: llvm-link %t0.bc %t1.bc -o %t.combined.bc
8
9; RUN: opt -S -passes="print<stack-safety-local>" -disable-output %t.combined.bc 2>&1 | FileCheck %s --check-prefixes=CHECK,LOCAL
10
11; RUN: opt -S -passes="print-stack-safety" -disable-output %t.combined.bc 2>&1 | FileCheck %s --check-prefixes=CHECK,GLOBAL,NOLTO
12
13; Do an end-to-test using the new LTO API
14; RUN: opt -module-summary %s -o %t.summ0.bc
15; RUN: opt -module-summary %S/Inputs/ipa-alias.ll -o %t.summ1.bc
16
17; RUN: echo > %t.res.txt \
18; RUN:  -r %t.summ0.bc,AliasCall,px \
19; RUN:  -r %t.summ0.bc,AliasToBitcastAliasWrite1, \
20; RUN:  -r %t.summ0.bc,AliasToPreemptableAliasWrite1, \
21; RUN:  -r %t.summ0.bc,AliasWrite1, \
22; RUN:  -r %t.summ0.bc,BitcastAliasCall,px \
23; RUN:  -r %t.summ0.bc,BitcastAliasWrite1, \
24; RUN:  -r %t.summ0.bc,InterposableAliasCall,px \
25; RUN:  -r %t.summ0.bc,InterposableAliasWrite1, \
26; RUN:  -r %t.summ0.bc,PreemptableAliasCall,px \
27; RUN:  -r %t.summ0.bc,PreemptableAliasWrite1, \
28; RUN:  -r %t.summ1.bc,AliasToBitcastAliasWrite1,px \
29; RUN:  -r %t.summ1.bc,AliasToPreemptableAliasWrite1,px \
30; RUN:  -r %t.summ1.bc,AliasWrite1,px \
31; RUN:  -r %t.summ1.bc,BitcastAliasWrite1,px \
32; RUN:  -r %t.summ1.bc,InterposableAliasWrite1,px \
33; RUN:  -r %t.summ1.bc,PreemptableAliasWrite1,px \
34; RUN:  -r %t.summ1.bc,Write1,px
35
36; RUN: llvm-lto2 run %t.summ0.bc %t.summ1.bc -o %t.lto -stack-safety-print -stack-safety-run -save-temps -thinlto-threads 1 -O0 \
37; RUN:  $(cat %t.res.txt) \
38; RUN:    2>&1 | FileCheck %s --check-prefixes=CHECK,GLOBAL,LTO
39
40; RUN: llvm-lto2 run %t.summ0.bc %t.summ1.bc -o %t-newpm.lto -stack-safety-print -stack-safety-run -save-temps -use-new-pm -thinlto-threads 1 -O0 \
41; RUN:  $(cat %t.res.txt) \
42; RUN:    2>&1 | FileCheck %s --check-prefixes=CHECK,GLOBAL,LTO
43
44target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
45target triple = "aarch64-unknown-linux"
46
47attributes #0 = { noinline sanitize_memtag "target-features"="+mte,+neon" }
48
49declare void @PreemptableAliasWrite1(i8* %p)
50declare void @AliasToPreemptableAliasWrite1(i8* %p)
51
52declare void @InterposableAliasWrite1(i8* %p)
53; Aliases to interposable aliases are not allowed
54
55declare void @AliasWrite1(i8* %p)
56
57declare void @BitcastAliasWrite1(i32* %p)
58declare void @AliasToBitcastAliasWrite1(i8* %p)
59
60; Call to dso_preemptable alias to a dso_local aliasee
61define void @PreemptableAliasCall() #0 {
62; CHECK-LABEL: @PreemptableAliasCall dso_preemptable{{$}}
63; CHECK-NEXT: args uses:
64; CHECK-NEXT: allocas uses:
65; LOCAL-NEXT: x1[1]: empty-set, @PreemptableAliasWrite1(arg0, [0,1)){{$}}
66; GLOBAL-NEXT: x1[1]: full-set, @PreemptableAliasWrite1(arg0, [0,1)){{$}}
67; LOCAL-NEXT: x2[1]: empty-set, @AliasToPreemptableAliasWrite1(arg0, [0,1)){{$}}
68; GLOBAL-NEXT: x2[1]: [0,1), @AliasToPreemptableAliasWrite1(arg0, [0,1)){{$}}
69; GLOBAL-NEXT: safe accesses:
70; CHECK-EMPTY:
71entry:
72  %x1 = alloca i8
73  call void @PreemptableAliasWrite1(i8* %x1)
74
75  %x2 = alloca i8
76; Alias to a preemptable alias is not preemptable
77  call void @AliasToPreemptableAliasWrite1(i8* %x2)
78  ret void
79}
80
81; Call to an interposable alias to a non-interposable aliasee
82define void @InterposableAliasCall() #0 {
83; CHECK-LABEL: @InterposableAliasCall dso_preemptable{{$}}
84; CHECK-NEXT: args uses:
85; CHECK-NEXT: allocas uses:
86; LOCAL-NEXT: x[1]: empty-set, @InterposableAliasWrite1(arg0, [0,1)){{$}}
87; NOLTO-NEXT: x[1]: full-set, @InterposableAliasWrite1(arg0, [0,1)){{$}}
88; LTO-NEXT: x[1]: [0,1), @InterposableAliasWrite1(arg0, [0,1)){{$}}
89; GLOBAL-NEXT: safe accesses:
90; CHECK-EMPTY:
91entry:
92  %x = alloca i8
93; ThinLTO can resolve the prevailing implementation for interposable definitions.
94  call void @InterposableAliasWrite1(i8* %x)
95  ret void
96}
97
98; Call to a dso_local/non-interposable alias/aliasee
99define void @AliasCall() #0 {
100; CHECK-LABEL: @AliasCall dso_preemptable{{$}}
101; CHECK-NEXT: args uses:
102; CHECK-NEXT: allocas uses:
103; LOCAL-NEXT: x[1]: empty-set, @AliasWrite1(arg0, [0,1)){{$}}
104; GLOBAL-NEXT: x[1]: [0,1), @AliasWrite1(arg0, [0,1)){{$}}
105; GLOBAL-NEXT: safe accesses:
106; CHECK-EMPTY:
107entry:
108  %x = alloca i8
109  call void @AliasWrite1(i8* %x)
110  ret void
111}
112
113; Call to a bitcasted dso_local/non-interposable alias/aliasee
114define void @BitcastAliasCall() #0 {
115; CHECK-LABEL: @BitcastAliasCall dso_preemptable{{$}}
116; CHECK-NEXT: args uses:
117; CHECK-NEXT: allocas uses:
118; LOCAL-NEXT: x1[4]: empty-set, @BitcastAliasWrite1(arg0, [0,1)){{$}}
119; GLOBAL-NEXT: x1[4]: [0,1), @BitcastAliasWrite1(arg0, [0,1)){{$}}
120; LOCAL-NEXT: x2[1]: empty-set, @AliasToBitcastAliasWrite1(arg0, [0,1)){{$}}
121; GLOBAL-NEXT: x2[1]: [0,1), @AliasToBitcastAliasWrite1(arg0, [0,1)){{$}}
122; GLOBAL-NEXT: safe accesses:
123; CHECK-EMPTY:
124entry:
125  %x1 = alloca i32
126  call void @BitcastAliasWrite1(i32* %x1)
127  %x2 = alloca i8
128  call void @AliasToBitcastAliasWrite1(i8* %x2)
129  ret void
130}
131
132; The rest is from Inputs/ipa-alias.ll
133
134; CHECK-LABEL: @Write1{{$}}
135; CHECK-NEXT: args uses:
136; CHECK-NEXT: p[]: [0,1){{$}}
137; CHECK-NEXT: allocas uses:
138; GLOBAL-NEXT: safe accesses:
139; GLOBAL-NEXT: store i8 0, i8* %p, align 1
140; CHECK-EMPTY:
141