; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
; PR1600

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

define i32 @test(i32* %P, i16* %Q) {
; CHECK: ret i32 0
        %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
}