Commit 42edc5e9 authored by Ballabriga Clément's avatar Ballabriga Clément
Browse files

ugly hack stack frame

parent eb7d4dd6
......@@ -29,8 +29,8 @@ enum bound_t : signed long {
};
/* TODO(clement): detect stack conf. from OTAWA */
enum stackconf_t : uint32_t {
STACK_TOP = 0x70000000,
enum stackconf_t : int32_t {
STACK_TOP = -0x60000000,
STACK_SIZE = 0x10000000,
};
......
......@@ -11,7 +11,7 @@
#include "MyHTable.h"
// #define POLY_DEBUG 1
//#define POLY_DEBUG 1
namespace otawa {
namespace poly {
......
......@@ -41,6 +41,8 @@ PPLManager::PPLManager(const PropList &props, WorkSpace *ws)
/* TODO(clement): get real stack base address */
_init.doNewConstraint(var_ssp >= int(stackconf_t::STACK_TOP));
_init.doNewConstraint(var_sfp >= int(stackconf_t::STACK_TOP));
_init.doNewConstraint(var_ssp <= int(stackconf_t::STACK_TOP + 0x1000000));
_init.doNewConstraint(var_sfp <= int(stackconf_t::STACK_TOP + 0x1000000));
}
} // namespace poly
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment