This is an archive of the discontinued LLVM Phabricator instance.

Differential D41561

Test commit
ClosedPublic

Authored by Quolyk on Dec 24 2017, 2:02 AM.

Details

Reviewers
Quolyk
Commits
rGd2257be8b76b: Test commit
rL321636: Test commit

Diff Detail

Event Timeline

Quolyk created this revision.Dec 24 2017, 2:02 AM
Quolyk accepted this revision.Dec 24 2017, 2:03 AM
This revision is now accepted and ready to land.Dec 24 2017, 2:03 AM
Quolyk closed this revision.Dec 25 2017, 11:31 PM
Quolyk reopened this revision.Dec 25 2017, 11:45 PM
This revision is now accepted and ready to land.Dec 25 2017, 11:45 PM
Quolyk closed this revision.Jan 1 2018, 9:48 PM

Revision Contents

PathSize
lib/
Analysis/
2 lines

Diff 128102

lib/Analysis/InstructionSimplify.cpp

Show First 20 Lines • Show All 820 Lines • ▼ Show 20 Lines if (MaxRecurse && Op0->getType()->isIntOrIntVectorTy(1))
if (Value *V = SimplifyAndInst(Op0, Op1, Q, MaxRecurse-1)) if (Value *V = SimplifyAndInst(Op0, Op1, Q, MaxRecurse-1))
return V; return V;
// Try some generic simplifications for associative operations. // Try some generic simplifications for associative operations.
if (Value *V = SimplifyAssociativeBinOp(Instruction::Mul, Op0, Op1, Q, if (Value *V = SimplifyAssociativeBinOp(Instruction::Mul, Op0, Op1, Q,
MaxRecurse)) MaxRecurse))
return V; return V;
// Mul distributes over Add. Try some generic simplifications based on this. // Mul distributes over Add. Try some generic simplifications based on this.
if (Value *V = ExpandBinOp(Instruction::Mul, Op0, Op1, Instruction::Add, if (Value *V = ExpandBinOp(Instruction::Mul, Op0, Op1, Instruction::Add,
Q, MaxRecurse)) Q, MaxRecurse))
return V; return V;
// If the operation is with the result of a select instruction, check whether // If the operation is with the result of a select instruction, check whether
// operating on either branch of the select always yields the same value. // operating on either branch of the select always yields the same value.
if (isa<SelectInst>(Op0) || isa<SelectInst>(Op1)) if (isa<SelectInst>(Op0) || isa<SelectInst>(Op1))
if (Value *V = ThreadBinOpOverSelect(Instruction::Mul, Op0, Op1, Q, if (Value *V = ThreadBinOpOverSelect(Instruction::Mul, Op0, Op1, Q,
▲ Show 20 Lines • Show All 4,055 Lines • Show Last 20 Lines