| ; RUN: opt < %s -inferattrs -S | FileCheck %s |
| ; RUN: opt < %s -passes=inferattrs -S | FileCheck %s |
| ; RUN: opt < %s -mtriple=x86_64-apple-macosx10.8.0 -inferattrs -S | FileCheck -check-prefix=CHECK-POSIX %s |
| |
| declare i8* @fopen(i8*, i8*) |
| ; CHECK: declare noalias i8* @fopen(i8* nocapture readonly, i8* nocapture readonly) [[G0:#[0-9]]] |
| |
| declare i8 @strlen(i8*) |
| ; CHECK: declare i8 @strlen(i8* nocapture) [[G1:#[0-9]]] |
| |
| declare i32* @realloc(i32*, i32) |
| ; CHECK: declare noalias i32* @realloc(i32* nocapture, i32) [[G0]] |
| |
| ; Test deliberately wrong declaration |
| |
| declare i32 @strcpy(...) |
| ; CHECK: declare i32 @strcpy(...) |
| |
| ; operator new routines |
| declare i8* @_Znwj(i64) |
| ; CHECK: declare noalias nonnull i8* @_Znwj(i64) |
| declare i8* @_Znwm(i64) |
| ; CHECK: declare noalias nonnull i8* @_Znwm(i64) |
| |
| declare void @memset_pattern16(i8*, i8*, i64) |
| ; CHECK: declare void @memset_pattern16(i8*, i8*, i64) |
| ; CHECK-POSIX: declare void @memset_pattern16(i8*, i8* readonly, i64) [[G2:#[0-9]+]] |
| |
| declare i32 @gettimeofday(i8*, i8*) |
| ; CHECK-POSIX: declare i32 @gettimeofday(i8* nocapture, i8* nocapture) [[G0:#[0-9]+]] |
| |
| ; CHECK: attributes [[G0]] = { nounwind } |
| ; CHECK: attributes [[G1]] = { nounwind readonly } |
| ; CHECK-POSIX: attributes [[G0]] = { nounwind } |
| ; CHECK-POSIX: attributes [[G2]] = { argmemonly } |