Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -simplify-libcalls -S > %t |
Nick Lewycky | 5ace582 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 2 | ; RUN: grep nocapture %t | count 2 |
| 3 | ; RUN: grep null %t | grep nocapture | count 1 |
Nick Lewycky | 05967c8 | 2009-02-13 17:08:33 +0000 | [diff] [blame] | 4 | ; RUN: grep null %t | grep call | grep readonly | count 1 |
Nick Lewycky | 5ace582 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 5 | |
Nick Lewycky | 05967c8 | 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 | 5ace582 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 7 | |
Nick Lewycky | 05967c8 | 2009-02-13 17:08:33 +0000 | [diff] [blame] | 8 | declare float @strtol(i8* %s, i8** %endptr, i32 %base) |
Nick Lewycky | 5ace582 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 9 | |
| 10 | define void @foo(i8* %x, i8** %endptr) { |
Nick Lewycky | 05967c8 | 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 | 5ace582 | 2009-02-13 15:31:46 +0000 | [diff] [blame] | 13 | ret void |
| 14 | } |