llvm/test/Analysis/StackSafetyAnalysis/ipa-alias.ll

   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
  44 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
  45 target triple = "aarch64-unknown-linux"
  46
  47 attributes #0 = { noinline sanitize_memtag "target-features"="+mte,+neon" }
  48
  49 declare void @PreemptableAliasWrite1(i8* %p)
  50 declare void @AliasToPreemptableAliasWrite1(i8* %p)
  51
  52 declare void @InterposableAliasWrite1(i8* %p)
  53 ; Aliases to interposable aliases are not allowed
  54
  55 declare void @AliasWrite1(i8* %p)
  56
  57 declare void @BitcastAliasWrite1(i32* %p)
  58 declare void @AliasToBitcastAliasWrite1(i8* %p)
  59
  60 ; Call to dso_preemptable alias to a dso_local aliasee
  61 define 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:
  71 entry:
  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
  82 define 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:
  91 entry:
  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
  99 define 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:
 107 entry:
 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
 114 define 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:
 124 entry:
 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: