diff options
| author | Chris Lattner <sabre@nondot.org> | 2011-02-06 22:05:31 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2011-02-06 22:05:31 +0000 |
| commit | 6e57b152283cbf1b4a9a75e9b1fb1b6d6eb5f6d6 (patch) | |
| tree | 7fa41e33b08add60afcfa09b3375c663bd6653f4 /llvm/lib/Analysis/InstructionSimplify.cpp | |
| parent | 9c70414551ec49955d3777bb294e1ebeb7d5da6a (diff) | |
| download | bcm5719-llvm-6e57b152283cbf1b4a9a75e9b1fb1b6d6eb5f6d6.tar.gz bcm5719-llvm-6e57b152283cbf1b4a9a75e9b1fb1b6d6eb5f6d6.zip | |
teach instsimplify to transform (X / Y) * Y to X
when the div is an exact udiv.
llvm-svn: 124994
Diffstat (limited to 'llvm/lib/Analysis/InstructionSimplify.cpp')
| -rw-r--r-- | llvm/lib/Analysis/InstructionSimplify.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/llvm/lib/Analysis/InstructionSimplify.cpp b/llvm/lib/Analysis/InstructionSimplify.cpp index 220868fe1db..7bb8f699928 100644 --- a/llvm/lib/Analysis/InstructionSimplify.cpp +++ b/llvm/lib/Analysis/InstructionSimplify.cpp @@ -735,9 +735,11 @@ static Value *SimplifyMulInst(Value *Op0, Value *Op1, const TargetData *TD, // (X / Y) * Y -> X if the division is exact. Value *X = 0, *Y = 0; if ((match(Op0, m_SDiv(m_Value(X), m_Value(Y))) && Y == Op1) || // (X / Y) * Y - (match(Op1, m_SDiv(m_Value(X), m_Value(Y))) && Y == Op0)) { // Y * (X / Y) - BinaryOperator *SDiv = cast<BinaryOperator>(Y == Op1 ? Op0 : Op1); - if (SDiv->isExact()) + (match(Op0, m_UDiv(m_Value(X), m_Value(Y))) && Y == Op1) || + (match(Op1, m_SDiv(m_Value(X), m_Value(Y))) && Y == Op0) || // Y * (X / Y) + (match(Op1, m_UDiv(m_Value(X), m_Value(Y))) && Y == Op0)) { + BinaryOperator *Div = cast<BinaryOperator>(Y == Op1 ? Op0 : Op1); + if (Div->isExact()) return X; } |
