| ; Check to make sure that Value Numbering doesn't merge casts of different | |
| ; flavors. | |
| ; RUN: llvm-upgrade < %s | llvm-as | opt -load-vn -gcse | llvm-dis | \ | |
| ; RUN: grep {\[sz\]ext} | count 2 | |
| declare void %external(int) | |
| int %test_casts(short %x) { | |
| %a = sext short %x to int | |
| %b = zext short %x to int | |
| call void %external(int %a) | |
| ret int %b | |
| } |