; PR1600
; RUN: opt < %s -basicaa -gvn -instcombine -S | \
; RUN:   grep {ret i32 0}
; END.

declare i16 @llvm.cttz.i16(i16, i1)

define i32 @test(i32* %P, i16* %Q) {
        %A = load i16* %Q               ; <i16> [#uses=1]
        %x = load i32* %P               ; <i32> [#uses=1]
        %B = call i16 @llvm.cttz.i16( i16 %A, i1 true )          ; <i16> [#uses=1]
        %y = load i32* %P               ; <i32> [#uses=1]
        store i16 %B, i16* %Q
        %z = sub i32 %x, %y             ; <i32> [#uses=1]
        ret i32 %z
}