| Reid Spencer | 3da59db | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 1 | ; Check to make sure that Value Numbering doesn't merge casts of different |
| 2 | ; flavors. |
| Reid Spencer | 73e7082 | 2006-12-29 20:01:32 +0000 | [diff] [blame] | 3 | ; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse | llvm-dis | \ |
| Reid Spencer | b477f7d | 2007-04-15 09:31:07 +0000 | [diff] [blame] | 4 | ; RUN: grep {\[sz\]ext} | wc -l | grep 2 |
| Reid Spencer | 3da59db | 2006-11-27 01:05:10 +0000 | [diff] [blame] | 5 | |
| 6 | declare void %external(int) |
| 7 | |
| 8 | int %test_casts(short %x) { |
| 9 | %a = sext short %x to int |
| 10 | %b = zext short %x to int |
| 11 | call void %external(int %a) |
| 12 | ret int %b |
| 13 | } |