From e5f6bfffe7d72e4682fb6e5823776f1c7afc8c13 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Thu, 23 Jul 2009 05:27:48 +0000
Subject: [PATCH] convert a test to filecheck format.  This fixes an endemic
 problem with negative tests: this test wasn't checking what it thought it was
 because it was grepping .bc, not .ll.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76861 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/InstCombine/vector-casts.ll | 17 ++++++++++++-----
 1 file changed, 12 insertions(+), 5 deletions(-)

diff --git a/test/Transforms/InstCombine/vector-casts.ll b/test/Transforms/InstCombine/vector-casts.ll
index a73a84ac1e0..c6d1eaa1ff0 100644
--- a/test/Transforms/InstCombine/vector-casts.ll
+++ b/test/Transforms/InstCombine/vector-casts.ll
@@ -1,15 +1,22 @@
-; RUN: llvm-as < %s | opt -instcombine > %t
-; RUN: not grep trunc %t
-; RUN: not grep ashr %t
+; RUN: llvm-as < %s | opt -instcombine | llvm-dis | FileCheck %s
 
 ; This turns into a&1 != 0
-define <2 x i1> @a(<2 x i64> %a) {
+define <2 x i1> @test1(<2 x i64> %a) {
   %t = trunc <2 x i64> %a to <2 x i1>
   ret <2 x i1> %t
+
+; CHECK: define <2 x i1> @test1
+; CHECK:   and <2 x i64> %a, <i64 1, i64 1>
+; CHECK:   icmp ne <2 x i64> %tmp, zeroinitializer
 }
+
 ; The ashr turns into an lshr.
-define <2 x i64> @b(<2 x i64> %a) {
+define <2 x i64> @test2(<2 x i64> %a) {
   %b = and <2 x i64> %a, <i64 65535, i64 65535>
   %t = ashr <2 x i64> %b, <i64 1, i64 1>
   ret <2 x i64> %t
+
+; CHECK: define <2 x i64> @test2
+; CHECK:   and <2 x i64> %a, <i64 65535, i64 65535>
+; CHECK:   lshr <2 x i64> %b, <i64 1, i64 1>
 }