[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / apint-and-compare.ll
blob53e591e69c9df66443d8c3c0917006c7781a5ab3
1 ; RUN: opt < %s -instcombine -S | grep and | count 2
3 ; Should be optimized to one and.
4 define i1 @test1(i33 %a, i33 %b) {
5         %tmp1 = and i33 %a, 65280
6         %tmp3 = and i33 %b, 65280
7         %tmp = icmp ne i33 %tmp1, %tmp3
8         ret i1 %tmp
11 define i1 @test2(i999 %a, i999 %b) {
12         %tmp1 = and i999 %a, 65280
13         %tmp3 = and i999 %b, 65280
14         %tmp = icmp ne i999 %tmp1, %tmp3
15         ret i1 %tmp