Verify the predicates on icmp/fcmp. Suggested by Jeff Yasskin!
[llvm.git] / test / Integer / 2007-01-19-TruncSext.ll
blob3fee6bc8b6e386c703295f9f1276f7b199507a3b
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
4 ; RUN: llvm-as < %s | lli --force-interpreter=true | grep -- -255
6 @ARRAY   = global [ 20 x i17 ] zeroinitializer
7 @FORMAT  = constant [ 4 x i8 ] c"%d\0A\00"
9 declare i32 @printf(i8* %format, ...)
11 define void @multiply(i32 %index, i32 %X, i32 %Y) {
12   %Z = mul i32 %X, %Y
13   %P = getelementptr [20 x i17]* @ARRAY, i32 0, i32 %index
14   %Result = trunc i32 %Z to i17
15   store i17 %Result, i17* %P
16   ret void
19 define i32 @main(i32 %argc, i8** %argv) {
20   %i = bitcast i32 0 to i32
21   call void @multiply(i32 %i, i32 -1, i32 255) 
22   %P = getelementptr [20 x i17]* @ARRAY, i32 0, i32 0
23   %X = load i17* %P
24   %result = sext i17 %X to i32
25   %fmt = getelementptr [4 x i8]* @FORMAT, i32 0, i32 0
26   call i32 (i8*,...)* @printf(i8* %fmt, i32 %result)
27   ret i32 0