summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorReid Spencer <rspencer@reidspencer.com>2007-03-19 23:28:16 +0000
committerReid Spencer <rspencer@reidspencer.com>2007-03-19 23:28:16 +0000
commiteb0a221186cb3b0d754dd8fcddd2f2626b7d4c97 (patch)
treef4d28165d9a0adbef56eab83c9c8e786f11131cb
parent1d3bb03aa12c9f842e40f773c558a08fc5ac2172 (diff)
downloadbcm5719-llvm-eb0a221186cb3b0d754dd8fcddd2f2626b7d4c97.tar.gz
bcm5719-llvm-eb0a221186cb3b0d754dd8fcddd2f2626b7d4c97.zip
Add test case for PR1261, currently XFAILed.
llvm-svn: 35192
-rw-r--r--llvm/test/Transforms/InstCombine/2007-03-19-BadTruncChangePR1261.ll14
1 files changed, 14 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/2007-03-19-BadTruncChangePR1261.ll b/llvm/test/Transforms/InstCombine/2007-03-19-BadTruncChangePR1261.ll
new file mode 100644
index 00000000000..bdf3cca0b52
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/2007-03-19-BadTruncChangePR1261.ll
@@ -0,0 +1,14 @@
+; For PR1261. Before bit accurate type support in InstCombine, this would
+; turn the sext into a zext.
+; RUN: llvm-as %s -o - | opt -instcombine | llvm-dis &&
+; RUN: llvm-as %s -o - | opt -instcombine | llvm-dis | not grep zext
+; XFAIL: *
+
+define i16 @test(i31 %zzz) {
+entry:
+ %A = sext i31 %zzz to i32
+ %B = add i32 %A, 16384
+ %C = lshr i32 %B, 15
+ %D = trunc i32 %C to i16
+ ret i16 %D
+}
OpenPOWER on IntegriCloud