1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -functionattrs -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -aa-pipeline=basic-aa -passes='cgscc(function-attrs)' -S | FileCheck %s 3*9880d681SAndroid Build Coastguard Worker@x = global i32 0 4*9880d681SAndroid Build Coastguard Worker 5*9880d681SAndroid Build Coastguard Workerdeclare void @test1_1(i8* %x1_1, i8* readonly %y1_1, ...) 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Worker; CHECK: define void @test1_2(i8* %x1_2, i8* readonly %y1_2, i8* %z1_2) 8*9880d681SAndroid Build Coastguard Workerdefine void @test1_2(i8* %x1_2, i8* %y1_2, i8* %z1_2) { 9*9880d681SAndroid Build Coastguard Worker call void (i8*, i8*, ...) @test1_1(i8* %x1_2, i8* %y1_2, i8* %z1_2) 10*9880d681SAndroid Build Coastguard Worker store i32 0, i32* @x 11*9880d681SAndroid Build Coastguard Worker ret void 12*9880d681SAndroid Build Coastguard Worker} 13*9880d681SAndroid Build Coastguard Worker 14*9880d681SAndroid Build Coastguard Worker; CHECK: define i8* @test2(i8* readnone %p) 15*9880d681SAndroid Build Coastguard Workerdefine i8* @test2(i8* %p) { 16*9880d681SAndroid Build Coastguard Worker store i32 0, i32* @x 17*9880d681SAndroid Build Coastguard Worker ret i8* %p 18*9880d681SAndroid Build Coastguard Worker} 19*9880d681SAndroid Build Coastguard Worker 20*9880d681SAndroid Build Coastguard Worker; CHECK: define i1 @test3(i8* readnone %p, i8* readnone %q) 21*9880d681SAndroid Build Coastguard Workerdefine i1 @test3(i8* %p, i8* %q) { 22*9880d681SAndroid Build Coastguard Worker %A = icmp ult i8* %p, %q 23*9880d681SAndroid Build Coastguard Worker ret i1 %A 24*9880d681SAndroid Build Coastguard Worker} 25*9880d681SAndroid Build Coastguard Worker 26*9880d681SAndroid Build Coastguard Workerdeclare void @test4_1(i8* nocapture) readonly 27*9880d681SAndroid Build Coastguard Worker 28*9880d681SAndroid Build Coastguard Worker; CHECK: define void @test4_2(i8* nocapture readonly %p) 29*9880d681SAndroid Build Coastguard Workerdefine void @test4_2(i8* %p) { 30*9880d681SAndroid Build Coastguard Worker call void @test4_1(i8* %p) 31*9880d681SAndroid Build Coastguard Worker ret void 32*9880d681SAndroid Build Coastguard Worker} 33*9880d681SAndroid Build Coastguard Worker 34*9880d681SAndroid Build Coastguard Worker; CHECK: define void @test5(i8** nocapture %p, i8* %q) 35*9880d681SAndroid Build Coastguard Worker; Missed optz'n: we could make %q readnone, but don't break test6! 36*9880d681SAndroid Build Coastguard Workerdefine void @test5(i8** %p, i8* %q) { 37*9880d681SAndroid Build Coastguard Worker store i8* %q, i8** %p 38*9880d681SAndroid Build Coastguard Worker ret void 39*9880d681SAndroid Build Coastguard Worker} 40*9880d681SAndroid Build Coastguard Worker 41*9880d681SAndroid Build Coastguard Workerdeclare void @test6_1() 42*9880d681SAndroid Build Coastguard Worker; CHECK: define void @test6_2(i8** nocapture %p, i8* %q) 43*9880d681SAndroid Build Coastguard Worker; This is not a missed optz'n. 44*9880d681SAndroid Build Coastguard Workerdefine void @test6_2(i8** %p, i8* %q) { 45*9880d681SAndroid Build Coastguard Worker store i8* %q, i8** %p 46*9880d681SAndroid Build Coastguard Worker call void @test6_1() 47*9880d681SAndroid Build Coastguard Worker ret void 48*9880d681SAndroid Build Coastguard Worker} 49*9880d681SAndroid Build Coastguard Worker 50*9880d681SAndroid Build Coastguard Worker; CHECK: define void @test7_1(i32* inalloca nocapture %a) 51*9880d681SAndroid Build Coastguard Worker; inalloca parameters are always considered written 52*9880d681SAndroid Build Coastguard Workerdefine void @test7_1(i32* inalloca %a) { 53*9880d681SAndroid Build Coastguard Worker ret void 54*9880d681SAndroid Build Coastguard Worker} 55*9880d681SAndroid Build Coastguard Worker 56*9880d681SAndroid Build Coastguard Worker; CHECK: define i32* @test8_1(i32* readnone %p) 57*9880d681SAndroid Build Coastguard Workerdefine i32* @test8_1(i32* %p) { 58*9880d681SAndroid Build Coastguard Workerentry: 59*9880d681SAndroid Build Coastguard Worker ret i32* %p 60*9880d681SAndroid Build Coastguard Worker} 61*9880d681SAndroid Build Coastguard Worker 62*9880d681SAndroid Build Coastguard Worker; CHECK: define void @test8_2(i32* %p) 63*9880d681SAndroid Build Coastguard Workerdefine void @test8_2(i32* %p) { 64*9880d681SAndroid Build Coastguard Workerentry: 65*9880d681SAndroid Build Coastguard Worker %call = call i32* @test8_1(i32* %p) 66*9880d681SAndroid Build Coastguard Worker store i32 10, i32* %call, align 4 67*9880d681SAndroid Build Coastguard Worker ret void 68*9880d681SAndroid Build Coastguard Worker} 69*9880d681SAndroid Build Coastguard Worker 70*9880d681SAndroid Build Coastguard Worker; CHECK: declare void @llvm.masked.scatter 71*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.masked.scatter.v4i32(<4 x i32>%val, <4 x i32*>, i32, <4 x i1>) 72*9880d681SAndroid Build Coastguard Worker 73*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: readnone 74*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: readonly 75*9880d681SAndroid Build Coastguard Worker; CHECK: define void @test9 76*9880d681SAndroid Build Coastguard Workerdefine void @test9(<4 x i32*> %ptrs, <4 x i32>%val) { 77*9880d681SAndroid Build Coastguard Worker call void @llvm.masked.scatter.v4i32(<4 x i32>%val, <4 x i32*> %ptrs, i32 4, <4 x i1><i1 true, i1 false, i1 true, i1 false>) 78*9880d681SAndroid Build Coastguard Worker ret void 79*9880d681SAndroid Build Coastguard Worker} 80*9880d681SAndroid Build Coastguard Worker 81*9880d681SAndroid Build Coastguard Worker; CHECK: declare <4 x i32> @llvm.masked.gather 82*9880d681SAndroid Build Coastguard Workerdeclare <4 x i32> @llvm.masked.gather.v4i32(<4 x i32*>, i32, <4 x i1>, <4 x i32>) 83*9880d681SAndroid Build Coastguard Worker; CHECK: readonly 84*9880d681SAndroid Build Coastguard Worker; CHECK: define <4 x i32> @test10 85*9880d681SAndroid Build Coastguard Workerdefine <4 x i32> @test10(<4 x i32*> %ptrs) { 86*9880d681SAndroid Build Coastguard Worker %res = call <4 x i32> @llvm.masked.gather.v4i32(<4 x i32*> %ptrs, i32 4, <4 x i1><i1 true, i1 false, i1 true, i1 false>, <4 x i32>undef) 87*9880d681SAndroid Build Coastguard Worker ret <4 x i32> %res 88*9880d681SAndroid Build Coastguard Worker} 89*9880d681SAndroid Build Coastguard Worker 90*9880d681SAndroid Build Coastguard Worker; CHECK: declare <4 x i32> @test11_1 91*9880d681SAndroid Build Coastguard Workerdeclare <4 x i32> @test11_1(<4 x i32*>) argmemonly nounwind readonly 92*9880d681SAndroid Build Coastguard Worker; CHECK: readonly 93*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: readnone 94*9880d681SAndroid Build Coastguard Worker; CHECK: define <4 x i32> @test11_2 95*9880d681SAndroid Build Coastguard Workerdefine <4 x i32> @test11_2(<4 x i32*> %ptrs) { 96*9880d681SAndroid Build Coastguard Worker %res = call <4 x i32> @test11_1(<4 x i32*> %ptrs) 97*9880d681SAndroid Build Coastguard Worker ret <4 x i32> %res 98*9880d681SAndroid Build Coastguard Worker} 99*9880d681SAndroid Build Coastguard Worker 100*9880d681SAndroid Build Coastguard Workerdeclare <4 x i32> @test12_1(<4 x i32*>) argmemonly nounwind 101*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: readnone 102*9880d681SAndroid Build Coastguard Worker; CHECK: define <4 x i32> @test12_2 103*9880d681SAndroid Build Coastguard Workerdefine <4 x i32> @test12_2(<4 x i32*> %ptrs) { 104*9880d681SAndroid Build Coastguard Worker %res = call <4 x i32> @test12_1(<4 x i32*> %ptrs) 105*9880d681SAndroid Build Coastguard Worker ret <4 x i32> %res 106*9880d681SAndroid Build Coastguard Worker} 107*9880d681SAndroid Build Coastguard Worker 108*9880d681SAndroid Build Coastguard Worker; CHECK: define i32 @volatile_load( 109*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: readonly 110*9880d681SAndroid Build Coastguard Worker; CHECK: ret 111*9880d681SAndroid Build Coastguard Workerdefine i32 @volatile_load(i32* %p) { 112*9880d681SAndroid Build Coastguard Worker %load = load volatile i32, i32* %p 113*9880d681SAndroid Build Coastguard Worker ret i32 %load 114*9880d681SAndroid Build Coastguard Worker} 115