| Nick Lewycky | 6f9646c | 2009-02-13 07:15:53 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -inline -simplify-libcalls -functionattrs | \ |
| 2 | ; RUN: llvm-dis | grep nocapture | count 2 |
| Duncan Sands | 91e6474 | 2009-02-11 09:58:43 +0000 | [diff] [blame] | 3 | ; Check that nocapture attributes are added when run after an SCC pass. |
| 4 | ; PR3520 |
| Duncan Sands | 91e6474 | 2009-02-11 09:58:43 +0000 | [diff] [blame] | 5 | |
| 6 | define i32 @use(i8* %x) nounwind readonly { |
| 7 | entry: |
| 8 | %0 = tail call i64 @strlen(i8* %x) nounwind readonly ; <i64> [#uses=1] |
| 9 | %1 = trunc i64 %0 to i32 ; <i32> [#uses=1] |
| 10 | ret i32 %1 |
| 11 | } |
| 12 | |
| 13 | declare i64 @strlen(i8*) nounwind readonly |