[llvm] r255394 - use FileCheck for better checking

[Sanjay Patel via llvm-commits]

Author: spatel
Date: Fri Dec 11 18:01:10 2015
New Revision: 255394

URL: http://llvm.org/viewvc/llvm-project?rev=255394&view=rev
Log:
use FileCheck for better checking

Modified:
    llvm/trunk/test/Transforms/InstCombine/bitcast-vec-canon.ll

Modified: llvm/trunk/test/Transforms/InstCombine/bitcast-vec-canon.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/bitcast-vec-canon.ll?rev=255394&r1=255393&r2=255394&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/bitcast-vec-canon.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/bitcast-vec-canon.ll Fri Dec 11 18:01:10 2015
@@ -1,22 +1,41 @@
-; RUN: opt < %s -instcombine -S | grep element | count 4
+; RUN: opt < %s -instcombine -S | FileCheck %s
 
 define double @a(<1 x i64> %y) {
   %c = bitcast <1 x i64> %y to double
-  ret double %c 
+  ret double %c
+ 
+; CHECK-LABEL: @a(
+; CHECK-NEXT:  extractelement <1 x i64> %y, i32 0
+; CHECK-NEXT:  bitcast i64 {{.*}} to double
+; CHECK-NEXT:  ret double
 }
 
 define i64 @b(<1 x i64> %y) {
   %c = bitcast <1 x i64> %y to i64
-  ret i64 %c 
+  ret i64 %c
+
+; CHECK-LABEL: @b(
+; CHECK-NEXT:  extractelement <1 x i64> %y, i32 0
+; CHECK-NEXT:  ret i64
 }
 
 define <1 x i64> @c(double %y) {
   %c = bitcast double %y to <1 x i64>
   ret <1 x i64> %c
+
+; CHECK-LABEL: @c(
+; CHECK-NEXT:  bitcast double %y to i64
+; CHECK-NEXT:  insertelement <1 x i64> undef, i64 {{.*}}, i32 0
+; CHECK-NEXT:  ret <1 x i64>
 }
 
 define <1 x i64> @d(i64 %y) {
   %c = bitcast i64 %y to <1 x i64>
   ret <1 x i64> %c
+
+; CHECK-LABEL: @d(
+; CHECK-NEXT:  insertelement <1 x i64> undef, i64 %y, i32 0
+; CHECK-NEXT:  ret <1 x i64>
 }
 
+