Add a test case for sext bug that Leo found.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33393 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Integer/2007-01-19-TruncSext.ll b/test/Integer/2007-01-19-TruncSext.ll
new file mode 100644 (file)
index 0000000..7b89033
--- /dev/null
+++ b/test/Integer/2007-01-19-TruncSext.ll
@@ -0,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
+}
+