Verify the predicates on icmp/fcmp. Suggested by Jeff Yasskin!
[llvm.git] / test / Integer / BitBit.ll
blob420bbe5a5fca47f85ca83cc5058ab865c00d3b86
1 ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
3 ; RUN: diff %t1.ll %t2.ll
5 declare void @"foo"(i31 %i, i33 %j)
8 ; foo test basic bitwise operations
9 define void @"foo"(i31 %i, i33 %j)
10 begin
11         %t1 = trunc i33 %j to i31 
12         %t2 = and i31 %t1, %i
13         %t3 = sext i31 %i to i33
14         %t4 = or i33 %t3, %j 
15         %t5 = xor i31 %t2, 7 
16         %t6 = shl i31 %i, 2
17         %t7 = trunc i31 %i to i8
18         %t8 = shl i8 %t7, 3
19         %t9 = lshr i33 %j, 31
20         %t7z = zext i8 %t7 to i33
21         %t10 = ashr i33 %j, %t7z
22         ret void
23 end