1 ; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s 2 ; PR1600 3 4 declare i16 @llvm.cttz.i16(i16, i1) 5 6 define 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