Add InstCombine::visitFNeg(...)

Differential Revision: https://reviews.llvm.org/D61784

llvm-svn: 360461
This commit is contained in:
Cameron McInally 2019-05-10 20:01:04 +00:00
parent e99486dc11
commit e75412ab47
3 changed files with 11 additions and 3 deletions

View File

@ -1821,6 +1821,15 @@ Instruction *InstCombiner::visitSub(BinaryOperator &I) {
return Changed ? &I : nullptr;
}
Instruction *InstCombiner::visitFNeg(UnaryOperator &I) {
if (Value *V = SimplifyFNegInst(I.getOperand(0), I.getFastMathFlags(),
SQ.getWithInstruction(&I)))
return replaceInstUsesWith(I, V);
return nullptr;
}
Instruction *InstCombiner::visitFSub(BinaryOperator &I) {
if (Value *V = SimplifyFSubInst(I.getOperand(0), I.getOperand(1),
I.getFastMathFlags(),

View File

@ -347,6 +347,7 @@ public:
// I - Change was made, I is still valid, I may be dead though
// otherwise - Change was made, replace I with returned instruction
//
Instruction *visitFNeg(UnaryOperator &I);
Instruction *visitAdd(BinaryOperator &I);
Instruction *visitFAdd(BinaryOperator &I);
Value *OptimizePointerDifference(Value *LHS, Value *RHS, Type *Ty);

View File

@ -6,9 +6,7 @@ declare void @use(float)
define float @fneg_fneg(float %a) {
;
; CHECK-LABEL: @fneg_fneg(
; CHECK-NEXT: [[F:%.*]] = fneg float [[A:%.*]]
; CHECK-NEXT: [[R:%.*]] = fneg float [[F]]
; CHECK-NEXT: ret float [[R]]
; CHECK-NEXT: ret float [[A:%.*]]
;
%f = fneg float %a
%r = fneg float %f