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
5 define i16 @test1(i16 %a) {
6 %tmp = zext i16 %a to i32 ; <i32> [#uses=2]
7 %tmp21 = lshr i32 %tmp, 8 ; <i32> [#uses=1]
8 %tmp5 = shl i32 %tmp, 8 ; <i32> [#uses=1]
9 %tmp.upgrd.32 = or i32 %tmp21, %tmp5 ; <i32> [#uses=1]
10 %tmp.upgrd.3 = trunc i32 %tmp.upgrd.32 to i16 ; <i16> [#uses=1]
14 define i16 @test2(i16 %a) {
15 %tmp = zext i16 %a to i32 ; <i32> [#uses=2]
16 %tmp21 = lshr i32 %tmp, 9 ; <i32> [#uses=1]
17 %tmp5 = shl i32 %tmp, 8 ; <i32> [#uses=1]
18 %tmp.upgrd.32 = or i32 %tmp21, %tmp5 ; <i32> [#uses=1]
19 %tmp.upgrd.3 = trunc i32 %tmp.upgrd.32 to i16 ; <i16> [#uses=1]
24 define i32* @test3(i32* %tmp1) {
25 %tmp64 = bitcast i32* %tmp1 to { i32 }* ; <{ i32 }*> [#uses=1]
26 %tmp65 = getelementptr { i32 }* %tmp64, i32 0, i32 0 ; <i32*> [#uses=1]