Changeset 155499 in webkit for trunk/Source/JavaScriptCore/dfg/DFGNode.h

Timestamp:

Sep 10, 2013, 9:35:16 PM (12 years ago)

Author:

[email protected]

Message:

Propagate the Int48 stuff into the prediction propagator.
​https://bugs.webkit.org/show_bug.cgi?id=121132

Reviewed by Mark Hahnenberg.

This still has no effect on codegen since Int48 still looks like a Double right now.

• bytecode/ExitKind.cpp:

(JSC::exitKindToString):

• bytecode/ExitKind.h:
• bytecode/SpeculatedType.cpp:

(JSC::speculationFromValue):

• bytecode/SpeculatedType.h:

(JSC::isMachineIntSpeculation):
(JSC::isMachineIntSpeculationExpectingDefined):
(JSC::isMachineIntSpeculationForArithmetic):

• dfg/DFGGraph.cpp:

(JSC::DFG::Graph::dump):

• dfg/DFGGraph.h:

(JSC::DFG::Graph::addShouldSpeculateMachineInt):
(JSC::DFG::Graph::mulShouldSpeculateInt32):
(JSC::DFG::Graph::mulShouldSpeculateMachineInt):
(JSC::DFG::Graph::negateShouldSpeculateMachineInt):
(JSC::DFG::Graph::hasExitSite):

• dfg/DFGNode.h:

(JSC::DFG::Node::shouldSpeculateMachineInt):
(JSC::DFG::Node::shouldSpeculateMachineIntForArithmetic):
(JSC::DFG::Node::shouldSpeculateMachineIntExpectingDefined):
(JSC::DFG::Node::canSpeculateInt48):

• dfg/DFGNodeFlags.h:

(JSC::DFG::nodeCanSpeculateInt48):

• dfg/DFGPredictionPropagationPhase.cpp:

(JSC::DFG::PredictionPropagationPhase::propagate):

File:

• trunk/Source/JavaScriptCore/dfg/DFGNode.h (modified) (3 diffs)

trunk/Source/JavaScriptCore/dfg/DFGNode.h

@@ -1215 +1215 @@
     }
     
+    bool shouldSpeculateMachineInt()
+    {
+        return isMachineIntSpeculation(prediction());
+    }
+    
+    bool shouldSpeculateMachineIntForArithmetic()
+    {
+        return isMachineIntSpeculationForArithmetic(prediction());
+    }
+    
+    bool shouldSpeculateMachineIntExpectingDefined()
+    {
+        return isMachineIntSpeculationExpectingDefined(prediction());
+    }
+    
     bool shouldSpeculateDouble()
     {
@@ -1365 +1380 @@
     }
     
+    static bool shouldSpeculateMachineInt(Node* op1, Node* op2)
+    {
+        return op1->shouldSpeculateMachineInt() && op2->shouldSpeculateMachineInt();
+    }
+    
+    static bool shouldSpeculateMachineIntForArithmetic(Node* op1, Node* op2)
+    {
+        return op1->shouldSpeculateMachineIntForArithmetic() && op2->shouldSpeculateMachineIntForArithmetic();
+    }
+    
+    static bool shouldSpeculateMachineIntExpectingDefined(Node* op1, Node* op2)
+    {
+        return op1->shouldSpeculateMachineIntExpectingDefined() && op2->shouldSpeculateMachineIntExpectingDefined();
+    }
+    
     static bool shouldSpeculateDoubleForArithmetic(Node* op1, Node* op2)
     {
@@ -1393 +1423 @@
     {
         return nodeCanSpeculateInt32(arithNodeFlags());
+    }
+    
+    bool canSpeculateInt48()
+    {
+        return nodeCanSpeculateInt48(arithNodeFlags());
     }