| Meador Inge | 6b6a161 | 2013-03-21 00:55:59 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -functionattrs -S | FileCheck %s |
| 2 | |
| 3 | declare i8* @fopen(i8*, i8*) |
| 4 | ; CHECK: declare noalias i8* @fopen(i8* nocapture, i8* nocapture) [[G0:#[0-9]]] |
| 5 | |
| 6 | declare i8 @strlen(i8*) |
| 7 | ; CHECK: declare i8 @strlen(i8* nocapture) [[G1:#[0-9]]] |
| 8 | |
| 9 | declare i32* @realloc(i32*, i32) |
| 10 | ; CHECK: declare noalias i32* @realloc(i32* nocapture, i32) [[G0]] |
| 11 | |
| 12 | ; Test deliberately wrong declaration |
| 13 | |
| 14 | declare i32 @strcpy(...) |
| 15 | ; CHECK: declare i32 @strcpy(...) |
| 16 | |
| Michael Gottesman | 2db1116 | 2013-07-03 04:00:54 +0000 | [diff] [blame^] | 17 | declare i32 @gettimeofday(i8*, i8*) |
| 18 | ; CHECK: declare i32 @gettimeofday(i8* nocapture, i8* nocapture) [[G0]] |
| 19 | |
| Meador Inge | 6b6a161 | 2013-03-21 00:55:59 +0000 | [diff] [blame] | 20 | ; CHECK: attributes [[G0]] = { nounwind } |
| 21 | ; CHECK: attributes [[G1]] = { nounwind readonly } |