#ifndef DFGNodeFlags_h
#define DFGNodeFlags_h
#if ENABLE(DFG_JIT)
#include <wtf/PrintStream.h>
#include <wtf/StdLibExtras.h>
namespace JSC { namespace DFG {
#define NodeResultMask 0x0007
#define NodeResultJS 0x0001
#define NodeResultNumber 0x0002
#define NodeResultDouble 0x0003
#define NodeResultInt32 0x0004
#define NodeResultInt52 0x0005
#define NodeResultBoolean 0x0006
#define NodeResultStorage 0x0007
#define NodeMustGenerate 0x0008 // set on nodes that have side effects, and may not trivially be removed by DCE.
#define NodeHasVarArgs 0x0010
#define NodeClobbersWorld 0x0020
#define NodeMightClobber 0x0040
#define NodeBehaviorMask 0x0780
#define NodeMayOverflowInBaseline 0x0080
#define NodeMayOverflowInDFG 0x0100
#define NodeMayNegZeroInBaseline 0x0200
#define NodeMayNegZeroInDFG 0x0400
#define NodeBytecodeBackPropMask 0xf800
#define NodeBytecodeUseBottom 0x0000
#define NodeBytecodeUsesAsNumber 0x0800 // The result of this computation may be used in a context that observes fractional, or bigger-than-int32, results.
#define NodeBytecodeNeedsNegZero 0x1000 // The result of this computation may be used in a context that observes -0.
#define NodeBytecodeUsesAsOther 0x2000 // The result of this computation may be used in a context that distinguishes between NaN and other things (like undefined).
#define NodeBytecodeUsesAsValue (NodeBytecodeUsesAsNumber | NodeBytecodeNeedsNegZero | NodeBytecodeUsesAsOther)
#define NodeBytecodeUsesAsInt 0x4000 // The result of this computation is known to be used in a context that prefers, but does not require, integer values.
#define NodeBytecodeUsesAsArrayIndex 0x8000 // The result of this computation is known to be used in a context that strongly prefers integer values, to the point that we should avoid using doubles if at all possible.
#define NodeArithFlagsMask (NodeBehaviorMask | NodeBytecodeBackPropMask)
#define NodeDoesNotExit 0x10000 // This flag is negated to make it natural for the default to be that a node does exit.
#define NodeRelevantToOSR 0x20000
#define NodeIsFlushed 0x40000 // Used by Graph::computeIsFlushed(), will tell you which local nodes are backwards-reachable from a Flush.
typedef uint32_t NodeFlags;
static inline bool bytecodeUsesAsNumber(NodeFlags flags)
{
return !!(flags & NodeBytecodeUsesAsNumber);
}
static inline bool bytecodeCanTruncateInteger(NodeFlags flags)
{
return !bytecodeUsesAsNumber(flags);
}
static inline bool bytecodeCanIgnoreNegativeZero(NodeFlags flags)
{
return !(flags & NodeBytecodeNeedsNegZero);
}
enum RareCaseProfilingSource {
BaselineRareCase, DFGRareCase, AllRareCases
};
static inline bool nodeMayOverflow(NodeFlags flags, RareCaseProfilingSource source)
{
NodeFlags mask;
switch (source) {
case BaselineRareCase:
mask = NodeMayOverflowInBaseline;
break;
case DFGRareCase:
mask = NodeMayOverflowInDFG;
break;
case AllRareCases:
mask = NodeMayOverflowInBaseline | NodeMayOverflowInDFG;
break;
}
return !!(flags & mask);
}
static inline bool nodeMayNegZero(NodeFlags flags, RareCaseProfilingSource source)
{
NodeFlags mask;
switch (source) {
case BaselineRareCase:
mask = NodeMayNegZeroInBaseline;
break;
case DFGRareCase:
mask = NodeMayNegZeroInDFG;
break;
case AllRareCases:
mask = NodeMayNegZeroInBaseline | NodeMayNegZeroInDFG;
break;
}
return !!(flags & mask);
}
static inline bool nodeCanSpeculateInt32(NodeFlags flags, RareCaseProfilingSource source)
{
if (nodeMayOverflow(flags, source))
return !bytecodeUsesAsNumber(flags);
if (nodeMayNegZero(flags, source))
return bytecodeCanIgnoreNegativeZero(flags);
return true;
}
static inline bool nodeCanSpeculateInt52(NodeFlags flags, RareCaseProfilingSource source)
{
if (nodeMayNegZero(flags, source))
return bytecodeCanIgnoreNegativeZero(flags);
return true;
}
static inline NodeFlags canonicalResultRepresentation(NodeFlags flags)
{
switch (flags) {
case NodeResultDouble:
case NodeResultInt52:
case NodeResultStorage:
return flags;
default:
return NodeResultJS;
}
}
void dumpNodeFlags(PrintStream&, NodeFlags);
MAKE_PRINT_ADAPTOR(NodeFlagsDump, NodeFlags, dumpNodeFlags);
} }
#endif // ENABLE(DFG_JIT)
#endif // DFGNodeFlags_h