FileCheck-ize another X86 test, making it more precisely verify the

desired result based on the comments in the file.

llvm-svn: 134354
This commit is contained in:
Chandler Carruth 2011-07-02 20:43:16 +00:00
parent af39a720fa
commit a33e630c55
1 changed files with 24 additions and 13 deletions

View File

@ -1,5 +1,4 @@
; RUN: llc < %s -relocation-model=static -march=x86 | \ ; RUN: llc < %s -relocation-model=static -march=x86 | FileCheck %s
; RUN: grep {shll \$3} | count 2
; This should produce two shll instructions, not any lea's. ; This should produce two shll instructions, not any lea's.
@ -9,19 +8,31 @@ target triple = "i686-apple-darwin8"
define void @fn1() { define void @fn1() {
entry: ; CHECK: fn1:
%tmp = load i32* @Y ; <i32> [#uses=1] ; CHECK-NOT: ret
%tmp1 = shl i32 %tmp, 3 ; <i32> [#uses=1] ; CHECK-NOT: lea
%tmp2 = load i32* @X ; <i32> [#uses=1] ; CHECK: shll $3
%tmp3 = or i32 %tmp1, %tmp2 ; <i32> [#uses=1] ; CHECK-NOT: lea
store i32 %tmp3, i32* @X ; CHECK: ret
ret void
%tmp = load i32* @Y ; <i32> [#uses=1]
%tmp1 = shl i32 %tmp, 3 ; <i32> [#uses=1]
%tmp2 = load i32* @X ; <i32> [#uses=1]
%tmp3 = or i32 %tmp1, %tmp2 ; <i32> [#uses=1]
store i32 %tmp3, i32* @X
ret void
} }
define i32 @fn2(i32 %X, i32 %Y) { define i32 @fn2(i32 %X, i32 %Y) {
entry: ; CHECK: fn2:
%tmp2 = shl i32 %Y, 3 ; <i32> [#uses=1] ; CHECK-NOT: ret
%tmp4 = or i32 %tmp2, %X ; <i32> [#uses=1] ; CHECK-NOT: lea
ret i32 %tmp4 ; CHECK: shll $3
; CHECK-NOT: lea
; CHECK: ret
%tmp2 = shl i32 %Y, 3 ; <i32> [#uses=1]
%tmp4 = or i32 %tmp2, %X ; <i32> [#uses=1]
ret i32 %tmp4
} }