116823adfSArthur Eubanks; RUN: opt < %s -passes=lint -disable-output 2>&1 | FileCheck %s 2fb2fd20fSMikael Holmen 3fb2fd20fSMikael Holmen%s = type { i8 } 4fb2fd20fSMikael Holmen 5fb2fd20fSMikael Holmen; Function Attrs: argmemonly nounwind 6ead84636SNikita Popovdeclare void @llvm.memcpy.p0.p0.i32(ptr nocapture writeonly, ptr nocapture readonly, i32, i1) #0 7fb2fd20fSMikael Holmen 8fb2fd20fSMikael Holmen; Function Attrs: argmemonly nounwind 9ead84636SNikita Popovdeclare void @llvm.memset.p0.i32(ptr nocapture writeonly, i8, i32, i1) #0 10fb2fd20fSMikael Holmen 11*c0682840SBjorn Petterssondeclare void @f1(ptr noalias nocapture sret(%s), ptr nocapture) 12fb2fd20fSMikael Holmen 13fb2fd20fSMikael Holmendefine void @f2() { 14fb2fd20fSMikael Holmenentry: 15fb2fd20fSMikael Holmen %c = alloca %s 16fb2fd20fSMikael Holmen %tmp = alloca %s 17ead84636SNikita Popov call void @llvm.memset.p0.i32(ptr %c, i8 0, i32 1, i1 false) 18ead84636SNikita Popov call void @f1(ptr sret(%s) %c, ptr %c) 19fb2fd20fSMikael Holmen ret void 20fb2fd20fSMikael Holmen} 21fb2fd20fSMikael Holmen 22fb2fd20fSMikael Holmen; Lint should complain about us passing %c to both arguments since one of them 23fb2fd20fSMikael Holmen; is noalias. 24fb2fd20fSMikael Holmen; CHECK: Unusual: noalias argument aliases another argument 25ead84636SNikita Popov; CHECK-NEXT: call void @f1(ptr sret(%s) %c, ptr %c) 26fb2fd20fSMikael Holmen 27ead84636SNikita Popovdeclare void @f3(ptr noalias nocapture sret(%s), ptr byval(%s) nocapture readnone) 28fb2fd20fSMikael Holmen 29fb2fd20fSMikael Holmendefine void @f4() { 30fb2fd20fSMikael Holmenentry: 31fb2fd20fSMikael Holmen %c = alloca %s 32fb2fd20fSMikael Holmen %tmp = alloca %s 33ead84636SNikita Popov call void @llvm.memset.p0.i32(ptr %c, i8 0, i32 1, i1 false) 34ead84636SNikita Popov call void @f3(ptr sret(%s) %c, ptr byval(%s) %c) 35fb2fd20fSMikael Holmen ret void 36fb2fd20fSMikael Holmen} 37fb2fd20fSMikael Holmen 38fb2fd20fSMikael Holmen; Lint should not complain about passing %c to both arguments even if one is 39fb2fd20fSMikael Holmen; noalias, since the other one is byval, effectively copying the data to the 40fb2fd20fSMikael Holmen; stack instead of passing the pointer itself. 41fb2fd20fSMikael Holmen; CHECK-NOT: Unusual: noalias argument aliases another argument 42ead84636SNikita Popov; CHECK-NOT: call void @f3(ptr sret(%s) %c, ptr byval(%s) %c) 43fb2fd20fSMikael Holmen 44fb2fd20fSMikael Holmenattributes #0 = { argmemonly nounwind } 45