summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ast/chillASTs.cc5
-rw-r--r--src/ast/node.cpp2
-rw-r--r--src/frontend/clang.cpp2
-rwxr-xr-xsrc/ir_chill.cc60
-rw-r--r--src/omegatools.cc2
5 files changed, 12 insertions, 59 deletions
diff --git a/src/ast/chillASTs.cc b/src/ast/chillASTs.cc
index 60603d2..4181638 100644
--- a/src/ast/chillASTs.cc
+++ b/src/ast/chillASTs.cc
@@ -1986,6 +1986,11 @@ chillAST_Node *chillAST_ParenExpr::clone() {
return PE;
}
+chillAST_Node *chillAST_ParenExpr::constantFold() {
+ chillAST_Node::constantFold();
+ return getSubExpr();
+}
+
chillAST_Sizeof::chillAST_Sizeof(char *athing) {
thing = strdup(athing); // memory leak
}
diff --git a/src/ast/node.cpp b/src/ast/node.cpp
index 6117f91..cad5f4c 100644
--- a/src/ast/node.cpp
+++ b/src/ast/node.cpp
@@ -34,7 +34,7 @@ const char *ChillAST_Node_Names[] = {
"ImplicitCastExpr", // not sure we need this
"ReturnStmt",
"CallExpr",
- "DeclStmt",
+// "DeclStmt",
"ParenExpr",
"CStyleCastExpr",
"CStyleAddressOf",
diff --git a/src/frontend/clang.cpp b/src/frontend/clang.cpp
index e7b74ed..9324ba8 100644
--- a/src/frontend/clang.cpp
+++ b/src/frontend/clang.cpp
@@ -378,7 +378,7 @@ chillAST_NodeList* ConvertIfStmt(IfStmt *clangIS) {
chillAST_NodeList* ConvertUnaryOperator(UnaryOperator *clangUO) {
const char *op = unops[clangUO->getOpcode()].c_str();
- bool pre = clangUO->isPrefix();
+ bool pre = !clangUO->isPostfix();
chillAST_Node *sub = unwrap(ConvertGenericClangAST(clangUO->getSubExpr()));
chillAST_UnaryOperator *chillUO = new chillAST_UnaryOperator(op, pre, sub);
diff --git a/src/ir_chill.cc b/src/ir_chill.cc
index 4e37b48..933e59c 100755
--- a/src/ir_chill.cc
+++ b/src/ir_chill.cc
@@ -19,21 +19,6 @@ History:
#include "loop.hh"
#include "chill_error.hh"
-#include "clang/Frontend/FrontendActions.h"
-#include <clang/CodeGen/CodeGenAction.h>
-#include <clang/Frontend/CompilerInstance.h>
-#include <clang/Frontend/CompilerInvocation.h>
-#include <clang/Basic/DiagnosticOptions.h>
-#include <clang/Frontend/TextDiagnosticPrinter.h>
-#include <clang/AST/ASTContext.h>
-#include <clang/AST/RecordLayout.h>
-#include <clang/AST/Decl.h>
-#include <clang/Parse/ParseAST.h>
-#include <clang/Basic/TargetInfo.h>
-
-#include <llvm/ADT/IntrusiveRefCntPtr.h>
-#include <llvm/Support/Host.h>
-
#include "code_gen/CG_chillRepr.h"
#include "code_gen/CG_chillBuilder.h"
#include <vector>
@@ -1201,6 +1186,7 @@ void IR_clangCode::ReplaceExpression(IR_Ref *old, omega::CG_outputRepr *repr) {
IR_CONDITION_TYPE IR_clangCode::QueryBooleanExpOperation(const omega::CG_outputRepr *repr) const {
CG_chillRepr *crepr = (CG_chillRepr *)repr;
chillAST_Node *node = crepr->chillnodes[0];
+ node = node->constantFold();
if (!node->isBinaryOperator()) {
if (node->isUnaryOperator()) {
chillAST_UnaryOperator *uop = (chillAST_UnaryOperator*)node;
@@ -1225,10 +1211,7 @@ IR_CONDITION_TYPE IR_clangCode::QueryBooleanExpOperation(const omega::CG_outputR
IR_OPERATION_TYPE IR_clangCode::QueryExpOperation(const omega::CG_outputRepr *repr) const {
CG_chillRepr *crepr = (CG_chillRepr *) repr;
chillAST_Node *node = crepr->chillnodes[0];
- // really need to be more rigorous than this hack // TODO
- if (node->isImplicitCastExpr()) node = ((chillAST_ImplicitCastExpr *) node)->getSubExpr();
- if (node->isCStyleCastExpr()) node = ((chillAST_CStyleCastExpr *) node)->getSubExpr();
- if (node->isParenExpr()) node = ((chillAST_ParenExpr *) node)->getSubExpr();
+ node = node->constantFold();
if (node->isIntegerLiteral() || node->isFloatingLiteral()) return IR_OP_CONSTANT;
else if (node->isBinaryOperator() || node->isUnaryOperator()) {
@@ -1252,39 +1235,6 @@ IR_OPERATION_TYPE IR_clangCode::QueryExpOperation(const omega::CG_outputRepr *re
CHILL_ERROR("IR_clangCode::QueryExpOperation() UNHANDLED NODE TYPE %s\n", node->getTypeString());
exit(-1);
}
-
- /* CLANG
- Expr *e = static_cast<const omega::CG_chillRepr *>(repr)->GetExpression();
- if(isa<IntegerLiteral>(e) || isa<FloatingLiteral>(e)) return IR_OP_CONSTANT;
- else if(isa<DeclRefExpr>(e)) return IR_OP_VARIABLE;
- else if(BinaryOperator *bop = dyn_cast<BinaryOperator>(e)) {
- switch(bop->getOpcode()) {
- case BO_Assign: return IR_OP_ASSIGNMENT;
- case BO_Add: return IR_OP_PLUS;
- case BO_Sub: return IR_OP_MINUS;
- case BO_Mul: return IR_OP_MULTIPLY;
- case BO_Div: return IR_OP_DIVIDE;
- default: return IR_OP_UNKNOWN;
- }
- } else if(UnaryOperator *uop = dyn_cast<UnaryOperator>(e)) {
- switch(uop->getOpcode()) {
- case UO_Minus: return IR_OP_NEGATIVE;
- case UO_Plus: return IR_OP_POSITIVE;
- default: return IR_OP_UNKNOWN;
- }
- } else if(ConditionalOperator *cop = dyn_cast<ConditionalOperator>(e)) {
- BinaryOperator *bop;
- if(bop = dyn_cast<BinaryOperator>(cop->getCond())) {
- if(bop->getOpcode() == BO_GT) return IR_OP_MAX;
- else if(bop->getOpcode() == BO_LT) return IR_OP_MIN;
- } else return IR_OP_UNKNOWN;
-
- }
-
- else if(e == NULL) return IR_OP_NULL;
- else return IR_OP_UNKNOWN;
- }
- END CLANG */
}
@@ -1294,11 +1244,7 @@ std::vector<omega::CG_outputRepr *> IR_clangCode::QueryExpOperand(const omega::C
CG_chillRepr *crepr = (CG_chillRepr *) repr;
chillAST_Node *e = crepr->chillnodes[0]; // ??
- // really need to be more rigorous than this hack // TODO
- if (e->isImplicitCastExpr()) e = ((chillAST_ImplicitCastExpr *) e)->getSubExpr();
- if (e->isCStyleCastExpr()) e = ((chillAST_CStyleCastExpr *) e)->getSubExpr();
- if (e->isParenExpr()) e = ((chillAST_ParenExpr *) e)->getSubExpr();
-
+ e = e->constantFold();
if (e->isIntegerLiteral() || e->isFloatingLiteral() || e->isDeclRefExpr()) {
omega::CG_chillRepr *repr = new omega::CG_chillRepr(e);
diff --git a/src/omegatools.cc b/src/omegatools.cc
index 36b0e8d..6d48a3c 100644
--- a/src/omegatools.cc
+++ b/src/omegatools.cc
@@ -1072,11 +1072,13 @@ void exp2constraint(IR_Code *ir, Relation &r, F_And *f_root,
F_And *fa = f_root->add_not()->add_and();
std::vector<omega::CG_outputRepr *> op = ir->QueryExpOperand(repr);
exp2constraint(ir, r, fa, freevars, op[0], false, uninterpreted_symbols, uninterpreted_symbols_stringrepr);
+ break;
}
case IR_COND_AND: {
std::vector<omega::CG_outputRepr *> op = ir->QueryExpOperand(repr);
exp2constraint(ir, r, f_root, freevars, op[0], false, uninterpreted_symbols, uninterpreted_symbols_stringrepr);
exp2constraint(ir, r, f_root, freevars, op[1], false, uninterpreted_symbols, uninterpreted_symbols_stringrepr);
+ break;
}
case IR_COND_OR: {
F_Or *f_or = f_root->add_or();
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-02-02 03:56:50 +0000