| Reid Spencer | ea8b07e | 2007-03-23 20:48:34 +0000 | [diff] [blame^] | 1 | ; Tests to make sure elimination of casts is working correctly |
| 2 | ; RUN: llvm-as < %s | opt -instcombine -disable-output && |
| 3 | ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | notcast |
| 4 | |
| 5 | define i17 @test1(i17 %a) { |
| 6 | %tmp = zext i17 %a to i37 ; <i37> [#uses=2] |
| 7 | %tmp21 = lshr i37 %tmp, 8 ; <i37> [#uses=1] |
| 8 | %tmp5 = shl i37 %tmp, 8 ; <i37> [#uses=1] |
| 9 | %tmp.upgrd.32 = or i37 %tmp21, %tmp5 ; <i37> [#uses=1] |
| 10 | %tmp.upgrd.3 = trunc i37 %tmp.upgrd.32 to i17 ; <i17> [#uses=1] |
| 11 | ret i17 %tmp.upgrd.3 |
| 12 | } |
| 13 | |
| 14 | define i167 @test2(i167 %a) { |
| 15 | %tmp = zext i167 %a to i577 ; <i577> [#uses=2] |
| 16 | %tmp21 = lshr i577 %tmp, 9 ; <i577> [#uses=1] |
| 17 | %tmp5 = shl i577 %tmp, 8 ; <i577> [#uses=1] |
| 18 | %tmp.upgrd.32 = or i577 %tmp21, %tmp5 ; <i577> [#uses=1] |
| 19 | %tmp.upgrd.3 = trunc i577 %tmp.upgrd.32 to i167 ; <i167> [#uses=1] |
| 20 | ret i167 %tmp.upgrd.3 |
| 21 | } |