From a42e665442e5c8156c18eeb3bbcdfdb046063a2e Mon Sep 17 00:00:00 2001 From: Chandler Carruth Date: Sat, 2 Jul 2011 20:43:16 +0000 Subject: [PATCH] FileCheck-ize another X86 test, making it more precisely verify the desired result based on the comments in the file. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@134354 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/CodeGen/X86/shift-codegen.ll | 37 ++++++++++++++++++++----------- 1 file changed, 24 insertions(+), 13 deletions(-) diff --git a/test/CodeGen/X86/shift-codegen.ll b/test/CodeGen/X86/shift-codegen.ll index 4cba1834bf6..7d961e8a9c0 100644 --- a/test/CodeGen/X86/shift-codegen.ll +++ b/test/CodeGen/X86/shift-codegen.ll @@ -1,5 +1,4 @@ -; RUN: llc < %s -relocation-model=static -march=x86 | \ -; RUN: grep {shll \$3} | count 2 +; RUN: llc < %s -relocation-model=static -march=x86 | FileCheck %s ; This should produce two shll instructions, not any lea's. @@ -9,19 +8,31 @@ target triple = "i686-apple-darwin8" define void @fn1() { -entry: - %tmp = load i32* @Y ; [#uses=1] - %tmp1 = shl i32 %tmp, 3 ; [#uses=1] - %tmp2 = load i32* @X ; [#uses=1] - %tmp3 = or i32 %tmp1, %tmp2 ; [#uses=1] - store i32 %tmp3, i32* @X - ret void +; CHECK: fn1: +; CHECK-NOT: ret +; CHECK-NOT: lea +; CHECK: shll $3 +; CHECK-NOT: lea +; CHECK: ret + + %tmp = load i32* @Y ; [#uses=1] + %tmp1 = shl i32 %tmp, 3 ; [#uses=1] + %tmp2 = load i32* @X ; [#uses=1] + %tmp3 = or i32 %tmp1, %tmp2 ; [#uses=1] + store i32 %tmp3, i32* @X + ret void } define i32 @fn2(i32 %X, i32 %Y) { -entry: - %tmp2 = shl i32 %Y, 3 ; [#uses=1] - %tmp4 = or i32 %tmp2, %X ; [#uses=1] - ret i32 %tmp4 +; CHECK: fn2: +; CHECK-NOT: ret +; CHECK-NOT: lea +; CHECK: shll $3 +; CHECK-NOT: lea +; CHECK: ret + + %tmp2 = shl i32 %Y, 3 ; [#uses=1] + %tmp4 = or i32 %tmp2, %X ; [#uses=1] + ret i32 %tmp4 } -- 2.34.1