Nick Lewycky | 4c49841 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -simplify-libcalls | llvm-dis > %t |
| 2 | ; RUN: grep nocapture %t | count 2 |
| 3 | ; RUN: grep null %t | grep nocapture | count 1 |
Nick Lewycky | 02b6a6a | 2009-02-13 17:08:33 +0000 | [diff] [blame^] | 4 | ; RUN: grep null %t | grep call | grep readonly | count 1 |
Nick Lewycky | 4c49841 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 5 | |
Nick Lewycky | 02b6a6a | 2009-02-13 17:08:33 +0000 | [diff] [blame^] | 6 | ; Test that we add nocapture to the declaration, and to the second call only. |
Nick Lewycky | 4c49841 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 7 | |
Nick Lewycky | 02b6a6a | 2009-02-13 17:08:33 +0000 | [diff] [blame^] | 8 | declare float @strtol(i8* %s, i8** %endptr, i32 %base) |
Nick Lewycky | 4c49841 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 9 | |
| 10 | define void @foo(i8* %x, i8** %endptr) { |
Nick Lewycky | 02b6a6a | 2009-02-13 17:08:33 +0000 | [diff] [blame^] | 11 | call float @strtol(i8* %x, i8** %endptr, i32 10) |
| 12 | call float @strtol(i8* %x, i8** null, i32 10) |
Nick Lewycky | 4c49841 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 13 | ret void |
| 14 | } |