mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
Implement constant propogation of multiply and divide instructions!!
llvm-svn: 2134
This commit is contained in:
parent
d84b895d43
commit
e7b5d159c5
@ -73,6 +73,8 @@ public:
|
||||
const Constant *V2) const = 0;
|
||||
virtual Constant *mul(const Constant *V1,
|
||||
const Constant *V2) const = 0;
|
||||
virtual Constant *div(const Constant *V1,
|
||||
const Constant *V2) const = 0;
|
||||
|
||||
virtual ConstantBool *lessthan(const Constant *V1,
|
||||
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);
|
||||
}
|
||||
|
||||
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,
|
||||
const Constant &V2) {
|
||||
assert(V1.getType() == V2.getType() && "Constant types must be identical!");
|
||||
@ -197,6 +204,8 @@ inline Constant *ConstantFoldBinaryInstruction(unsigned Opcode,
|
||||
switch (Opcode) {
|
||||
case Instruction::Add: 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::SetNE: return *V1 != *V2;
|
||||
|
@ -47,6 +47,10 @@ class TemplateRules : public ConstRules {
|
||||
const Constant *V2) const {
|
||||
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,
|
||||
const Constant *V2) const {
|
||||
@ -107,6 +111,9 @@ class TemplateRules : public ConstRules {
|
||||
inline static Constant *Mul(const ArgType *V1, const ArgType *V2) {
|
||||
return 0;
|
||||
}
|
||||
inline static Constant *Div(const ArgType *V1, const ArgType *V2) {
|
||||
return 0;
|
||||
}
|
||||
inline static ConstantBool *LessThan(const ArgType *V1, const ArgType *V2) {
|
||||
return 0;
|
||||
}
|
||||
@ -263,6 +270,13 @@ struct DirectRules
|
||||
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,
|
||||
const ConstantClass *V2) {
|
||||
bool Result = (BuiltinType)V1->getValue() < (BuiltinType)V2->getValue();
|
||||
|
Loading…
Reference in New Issue
Block a user