1; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
2; PR1600
3
4declare i16 @llvm.cttz.i16(i16, i1)
5
6define i32 @test(i32* %P, i16* %Q) {
7; CHECK: ret i32 0
8        %A = load i16* %Q               ; <i16> [#uses=1]
9        %x = load i32* %P               ; <i32> [#uses=1]
10        %B = call i16 @llvm.cttz.i16( i16 %A, i1 true )          ; <i16> [#uses=1]
11        %y = load i32* %P               ; <i32> [#uses=1]
12        store i16 %B, i16* %Q
13        %z = sub i32 %x, %y             ; <i32> [#uses=1]
14        ret i32 %z
15}
16
17