6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-03-25 16:30:05 +00:00
Code Issues Projects Releases Wiki Activity

Implement X + X for vectors.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51472 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2008-05-23 04:14:51 +00:00
parent 39ac3b57bc
commit 8539fe26b7
2 changed files with 19 additions and 5 deletions
lib/Transforms/Scalar
InstructionCombining.cpp
test/Transforms/InstCombine
2008-05-22-FoldAddIVec.ll

18
lib/Transforms/Scalar/InstructionCombining.cpp

@ -2292,14 +2292,22 @@ static Instruction *AssociativeOpt(BinaryOperator &Root, const Functor &F) {
namespace {
// AddRHS - Implements: X + X --> X << 1
// AddRHS - Implements: X + X --> X << 1 and X + X --> X * 2 for vectors
struct AddRHS {
Value *RHS;
AddRHS(Value *rhs) : RHS(rhs) {}
bool shouldApply(Value *LHS) const { return LHS == RHS; }
Instruction *apply(BinaryOperator &Add) const {
return BinaryOperator::CreateShl(Add.getOperand(0),
ConstantInt::get(Add.getType(), 1));
if (Add.getType()->getTypeID() == Type::VectorTyID) {
const VectorType *VTy = cast<VectorType>(Add.getType());
ConstantInt *CI = ConstantInt::get(VTy->getElementType(), 2);
std::vector<Constant*> Elts(VTy->getNumElements(), CI);
return BinaryOperator::CreateMul(Add.getOperand(0),
ConstantVector::get(Elts));
} else {
return BinaryOperator::CreateShl(Add.getOperand(0),
ConstantInt::get(Add.getType(), 1));
}
}
};
@ -2627,8 +2635,8 @@ Instruction *InstCombiner::visitAdd(BinaryOperator &I) {
}
}
// X + X --> X << 1
if (I.getType()->isInteger() && I.getType() != Type::Int1Ty) {
// X + X --> X << 1 and X + X --> X * 2 for vectors
if (I.getType()->isIntOrIntVector() && I.getType() != Type::Int1Ty) {
if (Instruction *Result = AssociativeOpt(I, AddRHS(RHS))) return Result;
if (Instruction *RHSI = dyn_cast<Instruction>(RHS)) {

6
test/Transforms/InstCombine/2008-05-22-FoldAddIVec.ll Normal file

@ -0,0 +1,6 @@
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep mul
define <3 x i8> @f(<3 x i8> %i) {
%A = add <3 x i8> %i, %i
ret <3 x i8> %A
}