#ifndef DFGNodeFlags_h
#define DFGNodeFlags_h
#include <wtf/Platform.h>
#if ENABLE(DFG_JIT)
#include <wtf/StdLibExtras.h>
namespace JSC { namespace DFG {
#define NodeResultMask 0xF
#define NodeResultJS 0x1
#define NodeResultNumber 0x2
#define NodeResultInt32 0x3
#define NodeResultBoolean 0x4
#define NodeResultStorage 0x5
#define NodeMustGenerate 0x10 // set on nodes that have side effects, and may not trivially be removed by DCE.
#define NodeHasVarArgs 0x20
#define NodeClobbersWorld 0x40
#define NodeMightClobber 0x80
#define NodeBehaviorMask 0x300
#define NodeMayOverflow 0x100
#define NodeMayNegZero 0x200
#define NodeBackPropMask 0x1C00
#define NodeUseBottom 0x000
#define NodeUsedAsNumber 0x400 // The result of this computation may be used in a context that observes fractional results.
#define NodeNeedsNegZero 0x800 // The result of this computation may be used in a context that observes -0.
#define NodeUsedAsValue (NodeUsedAsNumber | NodeNeedsNegZero)
#define NodeUsedAsInt 0x1000 // The result of this computation is known to be used in a context that prefers, but does not require, integer values.
typedef uint16_t NodeFlags;
static inline bool nodeUsedAsNumber(NodeFlags flags)
{
return !!(flags & NodeUsedAsNumber);
}
static inline bool nodeCanTruncateInteger(NodeFlags flags)
{
return !nodeUsedAsNumber(flags);
}
static inline bool nodeCanIgnoreNegativeZero(NodeFlags flags)
{
return !(flags & NodeNeedsNegZero);
}
static inline bool nodeMayOverflow(NodeFlags flags)
{
return !!(flags & NodeMayOverflow);
}
static inline bool nodeCanSpeculateInteger(NodeFlags flags)
{
if (flags & NodeMayOverflow)
return !nodeUsedAsNumber(flags);
if (flags & NodeMayNegZero)
return nodeCanIgnoreNegativeZero(flags);
return true;
}
const char* nodeFlagsAsString(NodeFlags);
} }
#endif // ENABLE(DFG_JIT)
#endif // DFGNodeFlags_h