diff options
| author | Simon Pilgrim <llvm-dev@redking.me.uk> | 2018-02-08 18:36:01 +0000 |
|---|---|---|
| committer | Simon Pilgrim <llvm-dev@redking.me.uk> | 2018-02-08 18:36:01 +0000 |
| commit | 1889f26b94c5ef8fa20df1e64a801e8f39ff9fef (patch) | |
| tree | 69bc55f51c6394c3da2660dc3013296a0f45a31f /llvm/lib/Transforms/InstCombine | |
| parent | 7aee1a838ee3be747a50ce86a2a0df407600e999 (diff) | |
| download | bcm5719-llvm-1889f26b94c5ef8fa20df1e64a801e8f39ff9fef.tar.gz bcm5719-llvm-1889f26b94c5ef8fa20df1e64a801e8f39ff9fef.zip | |
[InstCombine] Add m_Negative pattern matching
Allows us to add non-uniform constant vector support for "X urem C -> X < C ? X : X - C, where C >= signbit."
llvm-svn: 324631
Diffstat (limited to 'llvm/lib/Transforms/InstCombine')
| -rw-r--r-- | llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp b/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp index 9bbabd9203b..21318251da3 100644 --- a/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp +++ b/llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp @@ -1604,8 +1604,7 @@ Instruction *InstCombiner::visitURem(BinaryOperator &I) { } // X urem C -> X < C ? X : X - C, where C >= signbit. - const APInt *DivisorC; - if (match(Op1, m_APInt(DivisorC)) && DivisorC->isNegative()) { + if (match(Op1, m_Negative())) { Value *Cmp = Builder.CreateICmpULT(Op0, Op1); Value *Sub = Builder.CreateSub(Op0, Op1); return SelectInst::Create(Cmp, Op0, Sub); |
