| ; Tests to make sure elimination of casts is working correctly | |
| ; RUN: opt < %s -instcombine -S | FileCheck %s | |
| 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 | |
| ; CHECK-NOT: %c1 | |
| ; CHECK: %c2 = zext i16 %A to i64 | |
| ; CHECK: ret i64 %c2 | |
| } |