| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; Check to make sure that Value Numbering doesn't merge casts of different |
| 2 | ; flavors. |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame^] | 3 | ; RUN: llvm-as < %s | opt -load-vn -gcse | llvm-dis | \ |
| Dan Gohman | 8c89a50 | 2007-08-15 13:36:28 +0000 | [diff] [blame] | 4 | ; RUN: grep {\[sz\]ext} | count 2 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 5 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame^] | 6 | declare void @external(i32) |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame^] | 8 | define i32 @test_casts(i16 %x) { |
| 9 | %a = sext i16 %x to i32 ; <i32> [#uses=1] |
| 10 | %b = zext i16 %x to i32 ; <i32> [#uses=1] |
| 11 | call void @external( i32 %a ) |
| 12 | ret i32 %b |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 13 | } |