1; RUN: opt < %s -inferattrs -S | FileCheck %s 2; RUN: opt < %s -passes=inferattrs -S | FileCheck %s 3; RUN: opt < %s -mtriple=x86_64-apple-macosx10.8.0 -inferattrs -S | FileCheck -check-prefix=CHECK-POSIX %s 4; RUN: opt < %s -mtriple=nvptx -inferattrs -S | FileCheck -check-prefix=CHECK-NVPTX %s 5 6declare i8* @fopen(i8*, i8*) 7; CHECK: declare noalias i8* @fopen(i8* nocapture readonly, i8* nocapture readonly) [[G0:#[0-9]]] 8 9declare i8 @strlen(i8*) 10; CHECK: declare i8 @strlen(i8* nocapture) [[G1:#[0-9]]] 11 12declare i32* @realloc(i32*, i32) 13; CHECK: declare noalias i32* @realloc(i32* nocapture, i32) [[G0]] 14 15; Test deliberately wrong declaration 16 17declare i32 @strcpy(...) 18; CHECK: declare i32 @strcpy(...) 19 20; operator new routines 21declare i8* @_Znwj(i64) 22; CHECK: declare noalias nonnull i8* @_Znwj(i64) 23declare i8* @_Znwm(i64) 24; CHECK: declare noalias nonnull i8* @_Znwm(i64) 25 26declare void @memset_pattern16(i8*, i8*, i64) 27; CHECK: declare void @memset_pattern16(i8*, i8*, i64) 28; CHECK-POSIX: declare void @memset_pattern16(i8* nocapture, i8* nocapture readonly, i64) [[G2:#[0-9]+]] 29 30declare i32 @gettimeofday(i8*, i8*) 31; CHECK-POSIX: declare i32 @gettimeofday(i8* nocapture, i8* nocapture) [[G0:#[0-9]+]] 32 33; CHECK: attributes [[G0]] = { nounwind } 34; CHECK: attributes [[G1]] = { nounwind readonly } 35; CHECK-POSIX: attributes [[G0]] = { nounwind } 36; CHECK-POSIX: attributes [[G2]] = { argmemonly } 37 38declare i32 @__nvvm_reflect(i8*) 39; CHECK-NVPTX: declare i32 @__nvvm_reflect(i8*) [[G0:#[0-9]+]] 40; CHECK-NVPTX: attributes [[G0]] = { nounwind readnone } 41