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

Implement constant propogation of multiply and divide instructions!!

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2134 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner
2002-04-07 08:10:14 +00:00
parent 24823ccd47
commit 05c05ea9ca
4 changed files with 41 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
include/llvm/ConstantHandling.h
View File

@@ -73,6 +73,8 @@ public:
const Constant *V2) const = 0; const Constant *V2) const = 0;
virtual Constant *mul(const Constant *V1, virtual Constant *mul(const Constant *V1,
const Constant *V2) const = 0; const Constant *V2) const = 0;
virtual Constant *div(const Constant *V1,
const Constant *V2) const = 0;
virtual ConstantBool *lessthan(const Constant *V1, virtual ConstantBool *lessthan(const Constant *V1,
const Constant *V2) const = 0; const Constant *V2) const = 0;
@@ -146,6 +148,11 @@ inline Constant *operator*(const Constant &V1, const Constant &V2) {
return ConstRules::get(V1)->mul(&V1, &V2); return ConstRules::get(V1)->mul(&V1, &V2);
} }
inline Constant *operator/(const Constant &V1, const Constant &V2) {
assert(V1.getType() == V2.getType() && "Constant types must be identical!");
return ConstRules::get(V1)->div(&V1, &V2);
}
inline ConstantBool *operator<(const Constant &V1, inline ConstantBool *operator<(const Constant &V1,
const Constant &V2) { const Constant &V2) {
assert(V1.getType() == V2.getType() && "Constant types must be identical!"); assert(V1.getType() == V2.getType() && "Constant types must be identical!");
@@ -197,6 +204,8 @@ inline Constant *ConstantFoldBinaryInstruction(unsigned Opcode,
switch (Opcode) { switch (Opcode) {
case Instruction::Add: return *V1 + *V2; case Instruction::Add: return *V1 + *V2;
case Instruction::Sub: return *V1 - *V2; case Instruction::Sub: return *V1 - *V2;
case Instruction::Mul: return *V1 * *V2;
case Instruction::Div: return *V1 / *V2;
case Instruction::SetEQ: return *V1 == *V2; case Instruction::SetEQ: return *V1 == *V2;
case Instruction::SetNE: return *V1 != *V2; case Instruction::SetNE: return *V1 != *V2;

14
lib/VMCore/ConstantFold.cpp
View File

@@ -47,6 +47,10 @@ class TemplateRules : public ConstRules {
const Constant *V2) const { const Constant *V2) const {
return SubClassName::Mul((const ArgType *)V1, (const ArgType *)V2); return SubClassName::Mul((const ArgType *)V1, (const ArgType *)V2);
} }
virtual Constant *div(const Constant *V1,
const Constant *V2) const {
return SubClassName::Div((const ArgType *)V1, (const ArgType *)V2);
}
virtual ConstantBool *lessthan(const Constant *V1, virtual ConstantBool *lessthan(const Constant *V1,
const Constant *V2) const { const Constant *V2) const {
@@ -107,6 +111,9 @@ class TemplateRules : public ConstRules {
inline static Constant *Mul(const ArgType *V1, const ArgType *V2) { inline static Constant *Mul(const ArgType *V1, const ArgType *V2) {
return 0; return 0;
} }
inline static Constant *Div(const ArgType *V1, const ArgType *V2) {
return 0;
}
inline static ConstantBool *LessThan(const ArgType *V1, const ArgType *V2) { inline static ConstantBool *LessThan(const ArgType *V1, const ArgType *V2) {
return 0; return 0;
} }
@@ -263,6 +270,13 @@ struct DirectRules
return ConstantClass::get(*Ty, Result); return ConstantClass::get(*Ty, Result);
} }
inline static Constant *Div(const ConstantClass *V1,
const ConstantClass *V2) {
BuiltinType Result = (BuiltinType)V1->getValue() /
(BuiltinType)V2->getValue();
return ConstantClass::get(*Ty, Result);
}
inline static ConstantBool *LessThan(const ConstantClass *V1, inline static ConstantBool *LessThan(const ConstantClass *V1,
const ConstantClass *V2) { const ConstantClass *V2) {
bool Result = (BuiltinType)V1->getValue() < (BuiltinType)V2->getValue(); bool Result = (BuiltinType)V1->getValue() < (BuiltinType)V2->getValue();

9
lib/VMCore/ConstantFold.h
View File

@@ -73,6 +73,8 @@ public:
const Constant *V2) const = 0; const Constant *V2) const = 0;
virtual Constant *mul(const Constant *V1, virtual Constant *mul(const Constant *V1,
const Constant *V2) const = 0; const Constant *V2) const = 0;
virtual Constant *div(const Constant *V1,
const Constant *V2) const = 0;
virtual ConstantBool *lessthan(const Constant *V1, virtual ConstantBool *lessthan(const Constant *V1,
const Constant *V2) const = 0; const Constant *V2) const = 0;
@@ -146,6 +148,11 @@ inline Constant *operator*(const Constant &V1, const Constant &V2) {
return ConstRules::get(V1)->mul(&V1, &V2); return ConstRules::get(V1)->mul(&V1, &V2);
} }
inline Constant *operator/(const Constant &V1, const Constant &V2) {
assert(V1.getType() == V2.getType() && "Constant types must be identical!");
return ConstRules::get(V1)->div(&V1, &V2);
}
inline ConstantBool *operator<(const Constant &V1, inline ConstantBool *operator<(const Constant &V1,
const Constant &V2) { const Constant &V2) {
assert(V1.getType() == V2.getType() && "Constant types must be identical!"); assert(V1.getType() == V2.getType() && "Constant types must be identical!");
@@ -197,6 +204,8 @@ inline Constant *ConstantFoldBinaryInstruction(unsigned Opcode,
switch (Opcode) { switch (Opcode) {
case Instruction::Add: return *V1 + *V2; case Instruction::Add: return *V1 + *V2;
case Instruction::Sub: return *V1 - *V2; case Instruction::Sub: return *V1 - *V2;
case Instruction::Mul: return *V1 * *V2;
case Instruction::Div: return *V1 / *V2;
case Instruction::SetEQ: return *V1 == *V2; case Instruction::SetEQ: return *V1 == *V2;
case Instruction::SetNE: return *V1 != *V2; case Instruction::SetNE: return *V1 != *V2;

9
lib/VMCore/ConstantFolding.h
View File

@@ -73,6 +73,8 @@ public:
const Constant *V2) const = 0; const Constant *V2) const = 0;
virtual Constant *mul(const Constant *V1, virtual Constant *mul(const Constant *V1,
const Constant *V2) const = 0; const Constant *V2) const = 0;
virtual Constant *div(const Constant *V1,
const Constant *V2) const = 0;
virtual ConstantBool *lessthan(const Constant *V1, virtual ConstantBool *lessthan(const Constant *V1,
const Constant *V2) const = 0; const Constant *V2) const = 0;
@@ -146,6 +148,11 @@ inline Constant *operator*(const Constant &V1, const Constant &V2) {
return ConstRules::get(V1)->mul(&V1, &V2); return ConstRules::get(V1)->mul(&V1, &V2);
} }
inline Constant *operator/(const Constant &V1, const Constant &V2) {
assert(V1.getType() == V2.getType() && "Constant types must be identical!");
return ConstRules::get(V1)->div(&V1, &V2);
}
inline ConstantBool *operator<(const Constant &V1, inline ConstantBool *operator<(const Constant &V1,
const Constant &V2) { const Constant &V2) {
assert(V1.getType() == V2.getType() && "Constant types must be identical!"); assert(V1.getType() == V2.getType() && "Constant types must be identical!");
@@ -197,6 +204,8 @@ inline Constant *ConstantFoldBinaryInstruction(unsigned Opcode,
switch (Opcode) { switch (Opcode) {
case Instruction::Add: return *V1 + *V2; case Instruction::Add: return *V1 + *V2;
case Instruction::Sub: return *V1 - *V2; case Instruction::Sub: return *V1 - *V2;
case Instruction::Mul: return *V1 * *V2;
case Instruction::Div: return *V1 / *V2;
case Instruction::SetEQ: return *V1 == *V2; case Instruction::SetEQ: return *V1 == *V2;
case Instruction::SetNE: return *V1 != *V2; case Instruction::SetNE: return *V1 != *V2;