6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-06-17 04:24:00 +00:00
Code Issues Projects Releases Wiki Activity

Add support for select constant expressions. Use reserve a bit more to avoid

Browse Source 
memory wasteage.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@12323 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner
2004-03-12 05:54:04 +00:00
parent 647f82be07
commit 08a45cc2ff
1 changed files with 35 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
lib/VMCore/Constants.cpp
View File

@ -267,14 +267,26 @@ ConstantStruct::ConstantStruct(const StructType *T,
ConstantPointerRef::ConstantPointerRef(GlobalValue *GV) ConstantPointerRef::ConstantPointerRef(GlobalValue *GV)
: Constant(GV->getType()) { : Constant(GV->getType()) {
Operands.reserve(1);
Operands.push_back(Use(GV, this)); Operands.push_back(Use(GV, this));
} }
ConstantExpr::ConstantExpr(unsigned Opcode, Constant *C, const Type *Ty) ConstantExpr::ConstantExpr(unsigned Opcode, Constant *C, const Type *Ty)
: Constant(Ty), iType(Opcode) { : Constant(Ty), iType(Opcode) {
Operands.reserve(1);
Operands.push_back(Use(C, this)); Operands.push_back(Use(C, this));
} }
// Select instruction creation ctor
ConstantExpr::ConstantExpr(Constant *C, Constant *V1, Constant *V2)
: Constant(V1->getType()), iType(Instruction::Select) {
Operands.reserve(3);
Operands.push_back(Use(C, this));
Operands.push_back(Use(V1, this));
Operands.push_back(Use(V2, this));
}
static bool isSetCC(unsigned Opcode) { static bool isSetCC(unsigned Opcode) {
return Opcode == Instruction::SetEQ || Opcode == Instruction::SetNE || return Opcode == Instruction::SetEQ || Opcode == Instruction::SetNE ||
Opcode == Instruction::SetLT || Opcode == Instruction::SetGT || Opcode == Instruction::SetLT || Opcode == Instruction::SetGT ||
@ -283,6 +295,7 @@ static bool isSetCC(unsigned Opcode) {
ConstantExpr::ConstantExpr(unsigned Opcode, Constant *C1, Constant *C2) ConstantExpr::ConstantExpr(unsigned Opcode, Constant *C1, Constant *C2)
: Constant(isSetCC(Opcode) ? Type::BoolTy : C1->getType()), iType(Opcode) { : Constant(isSetCC(Opcode) ? Type::BoolTy : C1->getType()), iType(Opcode) {
Operands.reserve(2);
Operands.push_back(Use(C1, this)); Operands.push_back(Use(C1, this));
Operands.push_back(Use(C2, this)); Operands.push_back(Use(C2, this));
} }
@ -997,6 +1010,11 @@ namespace llvm {
case Instruction::Cast: case Instruction::Cast:
New = ConstantExpr::getCast(OldC->getOperand(0), NewTy); New = ConstantExpr::getCast(OldC->getOperand(0), NewTy);
break; break;
case Instruction::Select:
New = ConstantExpr::getSelectTy(NewTy, OldC->getOperand(0),
OldC->getOperand(1),
OldC->getOperand(2));
break;
case Instruction::Shl: case Instruction::Shl:
case Instruction::Shr: case Instruction::Shr:
New = ConstantExpr::getShiftTy(NewTy, OldC->getOpcode(), New = ConstantExpr::getShiftTy(NewTy, OldC->getOpcode(),
@ -1059,6 +1077,23 @@ Constant *ConstantExpr::getTy(const Type *ReqTy, unsigned Opcode,
return ExprConstants.getOrCreate(ReqTy, Key); return ExprConstants.getOrCreate(ReqTy, Key);
} }
Constant *ConstantExpr::getSelectTy(const Type *ReqTy, Constant *C,
Constant *V1, Constant *V2) {
assert(C->getType() == Type::BoolTy && "Select condition must be bool!");
assert(V1->getType() == V2->getType() && "Select value types must match!");
assert(V1->getType()->isFirstClassType() && "Cannot select aggregate type!");
if (ReqTy == V1->getType())
if (Constant *SC = ConstantFoldSelectInstruction(C, V1, V2))
return SC; // Fold common cases
std::vector<Constant*> argVec(3, C);
argVec[1] = V1;
argVec[2] = V2;
ExprMapKeyType Key = std::make_pair(Instruction::Select, argVec);
return ExprConstants.getOrCreate(ReqTy, Key);
}
/// getShiftTy - Return a shift left or shift right constant expr /// getShiftTy - Return a shift left or shift right constant expr
Constant *ConstantExpr::getShiftTy(const Type *ReqTy, unsigned Opcode, Constant *ConstantExpr::getShiftTy(const Type *ReqTy, unsigned Opcode,
Constant *C1, Constant *C2) { Constant *C1, Constant *C2) {