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