| ; Tests to make sure elimination of casts is working correctly | |
| ; This test is for Integer BitWidth <= 64 && BitWidth % 2 != 0. | |
| ; RUN: opt < %s -instcombine -S | FileCheck %s | |
| define i47 @test_sext_zext(i11 %A) { | |
| %c1 = zext i11 %A to i39 | |
| %c2 = sext i39 %c1 to i47 | |
| ret i47 %c2 | |
| ; CHECK: %c2 = zext i11 %A to i47 | |
| ; CHECK: ret i47 %c2 | |
| } |