From 1395cf0d3ca571d5223432da5e85bea78eebee4f Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Fri, 25 Mar 2016 18:02:14 +0000 Subject: [PATCH] [InstCombine] use FileCheck for better checking (testing script for autogeneration of check lines) llvm-svn: 264434 --- llvm/test/Transforms/InstCombine/mul-masked-bits.ll | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/llvm/test/Transforms/InstCombine/mul-masked-bits.ll b/llvm/test/Transforms/InstCombine/mul-masked-bits.ll index a43d5f2..9055f33 100644 --- a/llvm/test/Transforms/InstCombine/mul-masked-bits.ll +++ b/llvm/test/Transforms/InstCombine/mul-masked-bits.ll @@ -1,6 +1,15 @@ -; RUN: opt < %s -instcombine -S | grep ashr +; NOTE: Assertions have been autogenerated by update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s define i32 @foo(i32 %x, i32 %y) { +; CHECK-LABEL: @foo( +; CHECK: [[A:%.*]] = and i32 %x, 7 +; CHECK-NEXT: [[B:%.*]] = and i32 %y, 7 +; CHECK-NEXT: [[C:%.*]] = mul nuw nsw i32 [[A]], [[B]] +; CHECK-NEXT: [[D:%.*]] = shl nuw i32 [[C]], 26 +; CHECK-NEXT: [[E:%.*]] = ashr exact i32 [[D]], 26 +; CHECK-NEXT: ret i32 [[E]] +; %a = and i32 %x, 7 %b = and i32 %y, 7 %c = mul i32 %a, %b -- 2.7.4