xref: /llvm-project/llvm/test/Analysis/BasicAA/2007-08-05-GetOverloadedModRef.ll (revision 05ff7606c9d47135ecf5b69e25b1327634f6fa27)
1; RUN: opt < %s -aa-pipeline=basic-aa -passes=gvn,instcombine -S | FileCheck %s
2; PR1600
3
4declare i16 @llvm.cttz.i16(i16, i1)
5
6define i32 @test(ptr %P, ptr %Q) {
7; CHECK: ret i32 0
8        %A = load i16, ptr %Q               ; <i16> [#uses=1]
9        %x = load i32, ptr %P               ; <i32> [#uses=1]
10        %B = call i16 @llvm.cttz.i16( i16 %A, i1 true )          ; <i16> [#uses=1]
11        %y = load i32, ptr %P               ; <i32> [#uses=1]
12        store i16 %B, ptr %Q
13        %z = sub i32 %x, %y             ; <i32> [#uses=1]
14        ret i32 %z
15}
16
17