RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 11:42:57 +01:00
Code Issues Projects Releases Wiki Activity

InstCombine: Check the operand types before merging fcmp ord & fcmp ord.

Browse Source 
Fixes PR15737.

llvm-svn: 179417
This commit is contained in:
Benjamin Kramer 2013-04-12 21:56:23 +00:00
parent 51df846152
commit 9f30ffb4a7
2 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
View File

@ -934,6 +934,9 @@ Value *InstCombiner::FoldAndOfICmps(ICmpInst *LHS, ICmpInst *RHS) {
Value *InstCombiner::FoldAndOfFCmps(FCmpInst *LHS, FCmpInst *RHS) {
if (LHS->getPredicate() == FCmpInst::FCMP_ORD &&
RHS->getPredicate() == FCmpInst::FCMP_ORD) {
if (LHS->getOperand(0)->getType() != RHS->getOperand(0)->getType())
return 0;
// (fcmp ord x, c) & (fcmp ord y, c) -> (fcmp ord x, y)
if (ConstantFP *LHSC = dyn_cast<ConstantFP>(LHS->getOperand(1)))
if (ConstantFP *RHSC = dyn_cast<ConstantFP>(RHS->getOperand(1))) {

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

@ -77,3 +77,24 @@ define zeroext i8 @t7(float %x, float %y) nounwind {
; CHECK: fcmp uno
; CHECK-NOT: fcmp ult
}
; PR15737
define i1 @t8(float %a, double %b) {
%cmp = fcmp ord float %a, 0.000000e+00
%cmp1 = fcmp ord double %b, 0.000000e+00
%and = and i1 %cmp, %cmp1
ret i1 %and
; CHECK: t8
; CHECK: fcmp ord
; CHECK: fcmp ord
}
define <2 x i1> @t9(<2 x float> %a, <2 x double> %b) {
%cmp = fcmp ord <2 x float> %a, zeroinitializer
%cmp1 = fcmp ord <2 x double> %b, zeroinitializer
%and = and <2 x i1> %cmp, %cmp1
ret <2 x i1> %and
; CHECK: t9
; CHECK: fcmp ord
; CHECK: fcmp ord
}