DFGArgumentPosition.h [plain text]
#ifndef DFGArgumentPosition_h
#define DFGArgumentPosition_h
#include "DFGDoubleFormatState.h"
#include "DFGVariableAccessData.h"
#include "DFGVariableAccessDataDump.h"
#include "SpeculatedType.h"
namespace JSC { namespace DFG {
class ArgumentPosition {
public:
ArgumentPosition()
: m_prediction(SpecNone)
, m_doubleFormatState(EmptyDoubleFormatState)
, m_isProfitableToUnbox(false)
, m_shouldNeverUnbox(false)
{
}
void addVariable(VariableAccessData* variable)
{
m_variables.append(variable);
}
bool mergeShouldNeverUnbox(bool shouldNeverUnbox)
{
return checkAndSet(m_shouldNeverUnbox, m_shouldNeverUnbox | shouldNeverUnbox);
}
bool mergeArgumentPredictionAwareness()
{
bool changed = false;
for (unsigned i = 0; i < m_variables.size(); ++i) {
VariableAccessData* variable = m_variables[i]->find();
changed |= mergeSpeculation(m_prediction, variable->argumentAwarePrediction());
changed |= mergeDoubleFormatState(m_doubleFormatState, variable->doubleFormatState());
changed |= mergeShouldNeverUnbox(variable->shouldNeverUnbox());
}
if (!changed)
return false;
changed = false;
for (unsigned i = 0; i < m_variables.size(); ++i) {
VariableAccessData* variable = m_variables[i]->find();
changed |= variable->mergeArgumentAwarePrediction(m_prediction);
changed |= variable->mergeDoubleFormatState(m_doubleFormatState);
changed |= variable->mergeShouldNeverUnbox(m_shouldNeverUnbox);
}
return changed;
}
bool mergeArgumentUnboxingAwareness()
{
bool changed = false;
for (unsigned i = 0; i < m_variables.size(); ++i) {
VariableAccessData* variable = m_variables[i]->find();
changed |= checkAndSet(m_isProfitableToUnbox, m_isProfitableToUnbox | variable->isProfitableToUnbox());
}
if (!changed)
return false;
changed = false;
for (unsigned i = 0; i < m_variables.size(); ++i) {
VariableAccessData* variable = m_variables[i]->find();
changed |= variable->mergeIsProfitableToUnbox(m_isProfitableToUnbox);
}
return changed;
}
bool shouldUnboxIfPossible() const { return m_isProfitableToUnbox && !m_shouldNeverUnbox; }
SpeculatedType prediction() const { return m_prediction; }
DoubleFormatState doubleFormatState() const { return m_doubleFormatState; }
bool shouldUseDoubleFormat() const
{
return doubleFormatState() == UsingDoubleFormat && shouldUnboxIfPossible();
}
void dump(PrintStream& out, Graph* graph)
{
for (unsigned i = 0; i < m_variables.size(); ++i) {
VariableAccessData* variable = m_variables[i]->find();
int operand = variable->operand();
if (i)
out.print(" ");
if (operandIsArgument(operand))
out.print("arg", operandToArgument(operand), "(", VariableAccessDataDump(*graph, variable), ")");
else
out.print("r", operand, "(", VariableAccessDataDump(*graph, variable), ")");
}
out.print("\n");
}
private:
SpeculatedType m_prediction;
DoubleFormatState m_doubleFormatState;
bool m_isProfitableToUnbox;
bool m_shouldNeverUnbox;
Vector<VariableAccessData*, 2> m_variables;
};
} }
#endif // DFGArgumentPosition_h