; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,instcombine -S | FileCheck %s
; PR1600

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

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