From: Chandler Carruth Date: Sat, 2 Jul 2011 20:43:16 +0000 (+0000) Subject: FileCheck-ize another X86 test, making it more precisely verify the X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a42e665442e5c8156c18eeb3bbcdfdb046063a2e;p=oota-llvm.git 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 --- 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 }