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