-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
8 changed files
with
180 additions
and
17 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
65 changes: 65 additions & 0 deletions
65
compiler/lib/backend/optree/optimizer/transforms/fold_constants.cpp
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,65 @@ | ||
#include "optimizer/transform.hpp" | ||
|
||
#include <cstdint> | ||
#include <memory> | ||
|
||
#include "compiler/optree/adaptors.hpp" | ||
#include "compiler/optree/definitions.hpp" | ||
#include "compiler/optree/helpers.hpp" | ||
#include "compiler/optree/operation.hpp" | ||
#include "compiler/optree/types.hpp" | ||
|
||
#include "optimizer/opt_builder.hpp" | ||
|
||
using namespace optree; | ||
using namespace optree::optimizer; | ||
|
||
namespace { | ||
|
||
struct FoldConstants : public Transform<ArithBinaryOp, ArithCastOp, LogicBinaryOp, LogicUnaryOp> { | ||
using Transform::Transform; | ||
|
||
static void foldArithBinaryOp(const ArithBinaryOp &op, OptBuilder &builder) { | ||
auto lhsOp = getValueOwnerAs<ConstantOp>(op.lhs()); | ||
auto rhsOp = getValueOwnerAs<ConstantOp>(op.rhs()); | ||
if (!lhsOp || !rhsOp) | ||
return; | ||
auto type = op.result()->type; | ||
if (type->is<IntegerType>()) { | ||
int64_t folded = 0; | ||
int64_t lhs = lhsOp.value().as<int64_t>(); | ||
int64_t rhs = rhsOp.value().as<int64_t>(); | ||
switch (op.kind()) { | ||
case ArithBinOpKind::AddI: | ||
folded = lhs + rhs; | ||
break; | ||
case ArithBinOpKind::MulI: | ||
folded = lhs * rhs; | ||
break; | ||
default: | ||
folded = -1; // TODO: extend | ||
} | ||
auto newOp = builder.insert<ConstantOp>(op.ref(), type, folded); | ||
builder.replace(op, newOp); | ||
return; | ||
} | ||
// TODO: support other types | ||
} | ||
|
||
void run(const Operation::Ptr &op, OptBuilder &builder) const override { | ||
if (op->is<ArithBinaryOp>()) | ||
foldArithBinaryOp(op->as<ArithBinaryOp>(), builder); | ||
} | ||
}; | ||
|
||
} // namespace | ||
|
||
namespace optree { | ||
namespace optimizer { | ||
|
||
BaseTransform::Ptr createFoldConstants() { | ||
return std::make_shared<FoldConstants>(); | ||
} | ||
|
||
} // namespace optimizer | ||
} // namespace optree |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters