From b5ee8b3e899f4de7e2493f416b9d9b15dd39e8a8 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Wed, 18 Jun 2008 04:00:49 +0000
Subject: make truncate/sext elimination capable of changing phi's.  This
 implements rdar://6013816 and the testcase in
 Transforms/InstCombine/sext-misc.ll.

llvm-svn: 52440
---
 llvm/test/Transforms/InstCombine/sext-misc.ll | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

(limited to 'llvm/test/Transforms')

diff --git a/llvm/test/Transforms/InstCombine/sext-misc.ll b/llvm/test/Transforms/InstCombine/sext-misc.ll
index 076f59568b7..69850025aca 100644
--- a/llvm/test/Transforms/InstCombine/sext-misc.ll
+++ b/llvm/test/Transforms/InstCombine/sext-misc.ll
@@ -1,6 +1,4 @@
 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep sext
-; RUN: llvm-as < %s | llc -march=x86-64 | not grep movslq
-; RUN: llvm-as < %s | llc -march=x86 | not grep sar
 
 declare i32 @llvm.ctpop.i32(i32)
 declare i32 @llvm.ctlz.i32(i32)
@@ -50,3 +48,18 @@ define i32 @woo(i8 %a, i32 %f, i1 %p, i32* %z) {
   %n = sext i16 %s to i32
   ret i32 %n
 }
+
+; rdar://6013816
+define i16 @test(i16 %t, i1 %cond) nounwind {
+entry:
+	br i1 %cond, label %T, label %F
+T:
+	%t2 = sext i16 %t to i32
+	br label %F
+
+F:
+	%V = phi i32 [%t2, %T], [42, %entry]
+	%W = trunc i32 %V to i16
+	ret i16 %W
+}
+
-- 
cgit v1.2.3