test/Transforms/FunctionAttrs/noalias_returned.ll

   1 ; RUN: opt -S -passes=attributor -aa-pipeline='basic-aa' -attributor-disable=false -attributor-max-iterations-verify -attributor-max-iterations=3 < %s | FileCheck %s
   2
   3 ; TEST 1 - negative.
   4
   5 ; void *G;
   6 ; void *foo(){
   7 ;   void *V = malloc(4);
   8 ;   G = V;
   9 ;   return V;
  10 ; }
  11
  12 @G = external global i8*
  13
  14 ; CHECK: define i8* @foo()
  15 define i8* @foo() {
  16   %1 = tail call noalias i8* @malloc(i64 4)
  17   store i8* %1, i8** @G, align 8
  18   ret i8* %1
  19 }
  20
  21 declare noalias i8* @malloc(i64)
  22
  23 ; TEST 2
  24 ; call noalias function in return instruction.
  25
  26 ; CHECK: define noalias i8* @return_noalias()
  27 define i8* @return_noalias(){
  28   %1 = tail call noalias i8* @malloc(i64 4)
  29   ret i8* %1
  30 }
  31
  32 define void @nocapture(i8* %a){
  33   ret void
  34 }
  35
  36 ; CHECK: define noalias i8* @return_noalias_looks_like_capture()
  37 define i8* @return_noalias_looks_like_capture(){
  38   %1 = tail call noalias i8* @malloc(i64 4)
  39   call void @nocapture(i8* %1)
  40   ret i8* %1
  41 }
  42
  43 declare i8* @alias()
  44
  45 ; TEST 3
  46 ; CHECK: define i8* @call_alias()
  47 ; CHECK-NOT: noalias
  48 define i8* @call_alias(){
  49   %1 = tail call i8* @alias()
  50   ret i8* %1
  51 }
  52
  53 ; TEST 4
  54 ; void *baz();
  55 ; void *foo(int a);
  56 ;
  57 ; void *bar()  {
  58 ;   foo(0);
  59 ;    return baz();
  60 ; }
  61 ;
  62 ; void *foo(int a)  {
  63 ;   if (a)
  64 ;   bar();
  65 ;   return malloc(4);
  66 ; }
  67
  68 ; CHECK: define i8* @bar()
  69 define i8* @bar() nounwind uwtable {
  70   %1 = tail call i8* (...) @baz()
  71   ret i8* %1
  72 }
  73
  74 ; CHECK: define noalias i8* @foo1(i32 %0)
  75 define i8* @foo1(i32 %0) nounwind uwtable {
  76   %2 = icmp eq i32 %0, 0
  77   br i1 %2, label %5, label %3
  78
  79 3:                                                ; preds = %1
  80   %4 = tail call i8* (...) @baz()
  81   br label %5
  82
  83 5:                                                ; preds = %1, %3
  84   %6 = tail call noalias i8* @malloc(i64 4)
  85   ret i8* %6
  86 }
  87
  88 declare i8* @baz(...) nounwind uwtable
  89
  90 ; TEST 5
  91
  92 ; Returning global pointer. Should not be noalias.
  93 ; CHECK: define nonnull align 8 dereferenceable(8) i8** @getter()
  94 define i8** @getter() {
  95   ret i8** @G
  96 }
  97
  98 ; Returning global pointer. Should not be noalias.
  99 ; CHECK: define nonnull align 8 dereferenceable(8) i8** @calle1()
 100 define i8** @calle1(){
 101   %1 = call i8** @getter()
 102   ret i8** %1
 103 }
 104
 105 ; TEST 6
 106 declare noalias i8* @strdup(i8* nocapture) nounwind
 107
 108 ; CHECK: define noalias i8* @test6()
 109 define i8* @test6() nounwind uwtable ssp {
 110   %x = alloca [2 x i8], align 1
 111   %arrayidx = getelementptr inbounds [2 x i8], [2 x i8]* %x, i64 0, i64 0
 112   store i8 97, i8* %arrayidx, align 1
 113   %arrayidx1 = getelementptr inbounds [2 x i8], [2 x i8]* %x, i64 0, i64 1
 114   store i8 0, i8* %arrayidx1, align 1
 115   %call = call noalias i8* @strdup(i8* %arrayidx) nounwind
 116   ret i8* %call
 117 }
 118
 119 ; TEST 7
 120
 121 ; CHECK: define noalias i8* @test7()
 122 define i8* @test7() nounwind {
 123 entry:
 124   %A = call noalias i8* @malloc(i64 4) nounwind
 125   %tobool = icmp eq i8* %A, null
 126   br i1 %tobool, label %return, label %if.end
 127
 128 if.end:
 129   store i8 7, i8* %A
 130   br label %return
 131
 132 return:
 133   %retval.0 = phi i8* [ %A, %if.end ], [ null, %entry ]
 134   ret i8* %retval.0
 135 }
 136
 137 ; TEST 8
 138
 139 ; CHECK: define noalias i8* @test8(i32* %0)
 140 define i8* @test8(i32* %0) nounwind uwtable {
 141   %2 = tail call noalias i8* @malloc(i64 4)
 142   %3 = icmp ne i32* %0, null
 143   br i1 %3, label %4, label %5
 144
 145 4:                                                ; preds = %1
 146   store i8 10, i8* %2
 147   br label %5
 148
 149 5:                                                ; preds = %1, %4
 150   ret i8* %2
 151 }
 152
 153 ; TEST 9
 154 ; Simple Argument Test
 155 define internal void @test9(i8* %a, i8* %b) {
 156 ; CHECK: define internal void @test9(i8* noalias nocapture readnone %a, i8* nocapture readnone %b)
 157   ret void
 158 }
 159 define void @test9_helper(i8* %a, i8* %b) {
 160   tail call void @test9(i8* noalias %a, i8* %b)
 161   tail call void @test9(i8* noalias %b, i8* noalias %a)
 162   ret void
 163 }
 164
 165
 166 ; TEST 10
 167 ; Simple CallSite Test
 168
 169 declare void @test10_helper_1(i8* %a)
 170 define void @test10_helper_2(i8* noalias %a) {
 171   ret void
 172 }
 173 define void @test10(i8* noalias %a) {
 174 ; CHECK: define void @test10(i8* noalias %a)
 175 ; FIXME: missing noalias
 176 ; CHECK-NEXT:   tail call void @test10_helper_1(i8* %a)
 177   tail call void @test10_helper_1(i8* %a)
 178
 179 ; CHECK-NEXT:   tail call void @test10_helper_2(i8* noalias %a)
 180   tail call void @test10_helper_2(i8* %a)
 181   ret void
 182 }
 183
 184 ; TEST 11
 185 ; CallSite Test
 186
 187 declare void @test11_helper(i8* %a, i8 *%b)
 188 define void @test11(i8* noalias %a) {
 189 ; CHECK: define void @test11(i8* noalias %a)
 190 ; CHECK-NEXT:   tail call void @test11_helper(i8* %a, i8* %a)
 191   tail call void @test11_helper(i8* %a, i8* %a)
 192   ret void
 193 }
 194
 195
 196 ; TEST 12
 197 ; CallSite Argument
 198 declare void @use_nocapture(i8* nocapture)
 199 declare void @use(i8*)
 200 define void @test12_1() {
 201 ; CHECK-LABEL: @test12_1(
 202 ; CHECK-NEXT:    [[A:%.*]] = alloca i8, align 4
 203 ; CHECK-NEXT:    [[B:%.*]] = tail call noalias i8* @malloc(i64 4)
 204 ; CHECK-NEXT:    tail call void @use_nocapture(i8* noalias nonnull align 4 dereferenceable(1) [[A]])
 205 ; CHECK-NEXT:    tail call void @use_nocapture(i8* noalias nonnull align 4 dereferenceable(1) [[A]])
 206 ; CHECK-NEXT:    tail call void @use_nocapture(i8* noalias nocapture [[B]])
 207 ; CHECK-NEXT:    tail call void @use_nocapture(i8* noalias [[B]])
 208 ; CHECK-NEXT:    ret void
 209 ;
 210   %A = alloca i8, align 4
 211   %B = tail call noalias i8* @malloc(i64 4)
 212   tail call void @use_nocapture(i8* %A)
 213   tail call void @use_nocapture(i8* %A)
 214   tail call void @use_nocapture(i8* %B)
 215   tail call void @use_nocapture(i8* %B)
 216   ret void
 217 }
 218
 219 define void @test12_2(){
 220 ; CHECK-LABEL: @test12_2(
 221 ; CHECK-NEXT:    [[A:%.*]] = tail call noalias i8* @malloc(i64 4)
 222 ; FIXME: This should be @use_nocapture(i8* noalias [[A]])
 223 ; CHECK-NEXT:    tail call void @use_nocapture(i8* nocapture [[A]])
 224 ; FIXME: This should be @use_nocapture(i8* noalias [[A]])
 225 ; CHECK-NEXT:    tail call void @use_nocapture(i8* [[A]])
 226 ; CHECK-NEXT:    tail call void @use(i8* [[A]])
 227 ; CHECK-NEXT:    tail call void @use_nocapture(i8* [[A]])
 228 ; CHECK-NEXT:    ret void
 229 ;
 230   %A = tail call noalias i8* @malloc(i64 4)
 231   tail call void @use_nocapture(i8* %A)
 232   tail call void @use_nocapture(i8* %A)
 233   tail call void @use(i8* %A)
 234   tail call void @use_nocapture(i8* %A)
 235   ret void
 236 }
 237
 238 declare void @two_args(i8* nocapture , i8* nocapture)
 239 define void @test12_3(){
 240 ; CHECK-LABEL: @test12_3(
 241   %A = tail call noalias i8* @malloc(i64 4)
 242 ; CHECK: tail call void @two_args(i8* nocapture %A, i8* %A)
 243   tail call void @two_args(i8* %A, i8* %A)
 244   ret void
 245 }
 246
 247 define void @test12_4(){
 248 ; CHECK-LABEL: @test12_4(
 249   %A = tail call noalias i8* @malloc(i64 4)
 250   %B = tail call noalias i8* @malloc(i64 4)
 251   %A_0 = getelementptr i8, i8* %A, i64 0
 252   %A_1 = getelementptr i8, i8* %A, i64 1
 253   %B_0 = getelementptr i8, i8* %B, i64 0
 254
 255 ; CHECK: tail call void @two_args(i8* noalias %A, i8* noalias %B)
 256   tail call void @two_args(i8* %A, i8* %B)
 257
 258 ; CHECK: tail call void @two_args(i8* %A, i8* nocapture %A_0)
 259   tail call void @two_args(i8* %A, i8* %A_0)
 260
 261 ; CHECK: tail call void @two_args(i8* %A, i8* %A_1)
 262   tail call void @two_args(i8* %A, i8* %A_1)
 263
 264 ; FIXME: This should be @two_args(i8* noalias %A_0, i8* noalias %B_0)
 265 ; CHECK: tail call void @two_args(i8* %A_0, i8* nocapture %B_0)
 266   tail call void @two_args(i8* %A_0, i8* %B_0)
 267   ret void
 268 }