RPCS3/llvm
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm.git synced 2025-01-22 02:05:01 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

FileCheckize this test.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@158044 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chad Rosier 2012-06-06 01:38:32 +00:00
parent 0e5a60b4eb
commit b169e2d19a
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
test/Transforms/InstCombine/and-fcmp.ll
View File

@ -1,5 +1,4 @@
; RUN: opt < %s -instcombine -S | grep fcmp | count 3 ; RUN: opt < %s -instcombine -S | FileCheck %s
; RUN: opt < %s -instcombine -S | grep ret | grep 0
define zeroext i8 @t1(float %x, float %y) nounwind { define zeroext i8 @t1(float %x, float %y) nounwind {
%a = fcmp ueq float %x, %y %a = fcmp ueq float %x, %y
@ -7,6 +6,11 @@ define zeroext i8 @t1(float %x, float %y) nounwind {
%c = and i1 %a, %b %c = and i1 %a, %b
%retval = zext i1 %c to i8 %retval = zext i1 %c to i8
ret i8 %retval ret i8 %retval
; CHECK: t1
; CHECK: fcmp oeq float %x, %y
; CHECK-NOT: fcmp ueq float %x, %y
; CHECK-NOT: fcmp ord float %x, %y
; CHECK-NOW: and
} }
define zeroext i8 @t2(float %x, float %y) nounwind { define zeroext i8 @t2(float %x, float %y) nounwind {
@ -15,6 +19,11 @@ define zeroext i8 @t2(float %x, float %y) nounwind {
%c = and i1 %a, %b %c = and i1 %a, %b
%retval = zext i1 %c to i8 %retval = zext i1 %c to i8
ret i8 %retval ret i8 %retval
; CHECK: t2
; CHECK: fcmp olt float %x, %y
; CHECK-NOT: fcmp olt float %x, %y
; CHECK-NOT: fcmp ord float %x, %y
; CHECK-NOT: and
} }
define zeroext i8 @t3(float %x, float %y) nounwind { define zeroext i8 @t3(float %x, float %y) nounwind {
@ -23,6 +32,8 @@ define zeroext i8 @t3(float %x, float %y) nounwind {
%c = and i1 %a, %b %c = and i1 %a, %b
%retval = zext i1 %c to i8 %retval = zext i1 %c to i8
ret i8 %retval ret i8 %retval
; CHECK: t3
; CHECK: ret i8 0
} }
define zeroext i8 @t4(float %x, float %y) nounwind { define zeroext i8 @t4(float %x, float %y) nounwind {
@ -31,4 +42,9 @@ define zeroext i8 @t4(float %x, float %y) nounwind {
%c = and i1 %a, %b %c = and i1 %a, %b
%retval = zext i1 %c to i8 %retval = zext i1 %c to i8
ret i8 %retval ret i8 %retval
; CHECK: t4
; CHECK: fcmp one float %y, %x
; CHECK-NOT: fcmp one float %y, %x
; CHECK-NOT: fcmp ord float %x, %y
; CHECK-NOT: and
} }