; RUN: opt < %s -instcombine -S | \
; RUN:   not grep bitcast

define i1 @test1(i32 %val) {
        %t1 = bitcast i32 %val to i32           ; <i32> [#uses=1]
        %t2 = and i32 %t1, 1            ; <i32> [#uses=1]
        %t3 = trunc i32 %t2 to i1               ; <i1> [#uses=1]
        ret i1 %t3
}

define i16 @test1.upgrd.1(i32 %val) {
        %t1 = bitcast i32 %val to i32           ; <i32> [#uses=1]
        %t2 = and i32 %t1, 1            ; <i32> [#uses=1]
        %t3 = trunc i32 %t2 to i16              ; <i16> [#uses=1]
        ret i16 %t3
}