[llvm-commits] CVS: llvm/test/Integer/2007-01-19-TruncSext.ll

[Reid Spencer]

Changes in directory llvm/test/Integer:

2007-01-19-TruncSext.ll added (r1.1)
---
Log message:

Add a test case for sext bug that Leo found.


---
Diffs of the changes:  (+29 -0)

 2007-01-19-TruncSext.ll |   29 +++++++++++++++++++++++++++++
 1 files changed, 29 insertions(+)


Index: llvm/test/Integer/2007-01-19-TruncSext.ll
diff -c /dev/null llvm/test/Integer/2007-01-19-TruncSext.ll:1.1
*** /dev/null	Sat Jan 20 02:31:55 2007
--- llvm/test/Integer/2007-01-19-TruncSext.ll	Sat Jan 20 02:31:45 2007
***************
*** 0 ****
--- 1,29 ----
+ ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
+ ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
+ ; RUN: diff %t1.ll %t2.ll
+ ; RUN: llvm-as < %s | lli --force-interpreter=true | grep -- '-255'
+ 
+ %ARRAY   = global [ 20 x i17 ] zeroinitializer
+ %FORMAT  = constant [ 4 x i8 ] c"%d\0A\00"
+ 
+ declare i32 %printf(i8* %format, ...)
+ 
+ define void %multiply(i32 %index, i32 %X, i32 %Y) {
+   %Z = mul i32 %X, %Y
+   %P = getelementptr [20 x i17]* %ARRAY, i32 0, i32 %index
+   %Result = trunc i32 %Z to i17
+   store i17 %Result, i17* %P
+   ret void
+ }
+ 
+ define i32 %main(i32 %argc, i8** %argc) {
+   %i = bitcast i32 0 to i32
+   call void %multiply(i32 %i, i32 -1, i32 255) 
+   %P = getelementptr [20 x i17]* %ARRAY, i32 0, i32 0
+   %X = load i17* %P
+   %result = sext i17 %X to i32
+   %fmt = getelementptr [4 x i8]* %FORMAT, i32 0, i32 0
+   call i32 (i8*,...)* %printf(i8* %fmt, i32 %result)
+   ret i32 %result
+ }
+