| Meador Inge | 6b6a161 | 2013-03-21 00:55:59 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -inline -instcombine -functionattrs | llvm-dis |
| 2 | ; | ||||
| 3 | ; Check that nocapture attributes are added when run after an SCC pass. | ||||
| 4 | ; PR3520 | ||||
| 5 | |||||
| 6 | define i32 @use(i8* %x) nounwind readonly { | ||||
| 7 | ; CHECK: @use(i8* nocapture %x) | ||||
| 8 | %1 = tail call i64 @strlen(i8* %x) nounwind readonly | ||||
| 9 | %2 = trunc i64 %1 to i32 | ||||
| 10 | ret i32 %2 | ||||
| 11 | } | ||||
| 12 | |||||
| 13 | declare i64 @strlen(i8*) nounwind readonly | ||||
| 14 | ; CHECK: declare i64 @strlen(i8* nocapture) nounwind readonly | ||||