blob: c0fa3771cc15ddcc5ec69131fb3c0be0366b1846 [file] [log] [blame]
; Tests to make sure elimination of casts is working correctly
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | \
; RUN: notcast {} {%c1.*}
define i64 @test_sext_zext(i16 %A) {
%c1 = zext i16 %A to i32 ; <i32> [#uses=1]
%c2 = sext i32 %c1 to i64 ; <i64> [#uses=1]
ret i64 %c2
}
; PR3599
define i32 @test2(i64 %tmp) nounwind readnone {
entry:
%tmp5 = trunc i64 %tmp to i8 ; <i8> [#uses=1]
%tmp7 = lshr i64 %tmp, 8 ; <i64> [#uses=1]
%tmp8 = trunc i64 %tmp7 to i8 ; <i8> [#uses=1]
%tmp10 = lshr i64 %tmp, 16 ; <i64> [#uses=1]
%tmp11 = trunc i64 %tmp10 to i8 ; <i8> [#uses=1]
%tmp13 = lshr i64 %tmp, 24 ; <i64> [#uses=1]
%tmp14 = trunc i64 %tmp13 to i8 ; <i8> [#uses=1]
%tmp1 = zext i8 %tmp5 to i32 ; <i32> [#uses=1]
%tmp2 = zext i8 %tmp8 to i32 ; <i32> [#uses=1]
%tmp3 = shl i32 %tmp2, 8 ; <i32> [#uses=1]
%tmp4 = zext i8 %tmp11 to i32 ; <i32> [#uses=1]
%tmp6 = shl i32 %tmp4, 16 ; <i32> [#uses=1]
%tmp9 = zext i8 %tmp14 to i32 ; <i32> [#uses=1]
%tmp12 = shl i32 %tmp9, 24 ; <i32> [#uses=1]
%tmp15 = or i32 %tmp12, %tmp1 ; <i32> [#uses=1]
%tmp16 = or i32 %tmp15, %tmp6 ; <i32> [#uses=1]
%tmp17 = or i32 %tmp16, %tmp3 ; <i32> [#uses=1]
ret i32 %tmp17
}