; 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 ; [#uses=1] %c2 = sext i32 %c1 to i64 ; [#uses=1] ret i64 %c2 } ; PR3599 define i32 @test2(i64 %tmp) nounwind readnone { entry: %tmp5 = trunc i64 %tmp to i8 ; [#uses=1] %tmp7 = lshr i64 %tmp, 8 ; [#uses=1] %tmp8 = trunc i64 %tmp7 to i8 ; [#uses=1] %tmp10 = lshr i64 %tmp, 16 ; [#uses=1] %tmp11 = trunc i64 %tmp10 to i8 ; [#uses=1] %tmp13 = lshr i64 %tmp, 24 ; [#uses=1] %tmp14 = trunc i64 %tmp13 to i8 ; [#uses=1] %tmp1 = zext i8 %tmp5 to i32 ; [#uses=1] %tmp2 = zext i8 %tmp8 to i32 ; [#uses=1] %tmp3 = shl i32 %tmp2, 8 ; [#uses=1] %tmp4 = zext i8 %tmp11 to i32 ; [#uses=1] %tmp6 = shl i32 %tmp4, 16 ; [#uses=1] %tmp9 = zext i8 %tmp14 to i32 ; [#uses=1] %tmp12 = shl i32 %tmp9, 24 ; [#uses=1] %tmp15 = or i32 %tmp12, %tmp1 ; [#uses=1] %tmp16 = or i32 %tmp15, %tmp6 ; [#uses=1] %tmp17 = or i32 %tmp16, %tmp3 ; [#uses=1] ret i32 %tmp17 }