[InstCombine] Signed saturation tests. NFC
[llvm-core.git] / test / Analysis / BasicAA / 2007-08-05-GetOverloadedModRef.ll
blob5f0e1170f0448febf878b5260a9bff48c61260a4
1 ; RUN: opt < %s -basicaa -gvn -instcombine -S | FileCheck %s
2 ; PR1600
4 declare i16 @llvm.cttz.i16(i16, i1)
6 define i32 @test(i32* %P, i16* %Q) {
7 ; CHECK: ret i32 0
8         %A = load i16, i16* %Q               ; <i16> [#uses=1]
9         %x = load i32, i32* %P               ; <i32> [#uses=1]
10         %B = call i16 @llvm.cttz.i16( i16 %A, i1 true )          ; <i16> [#uses=1]
11         %y = load i32, i32* %P               ; <i32> [#uses=1]
12         store i16 %B, i16* %Q
13         %z = sub i32 %x, %y             ; <i32> [#uses=1]
14         ret i32 %z