[compiler] Initial TurboFan code stubs for abstract relational comparison.

src/compiler/code-stub-assembler.h

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef V8_COMPILER_CODE_STUB_ASSEMBLER_H_
 #define V8_COMPILER_CODE_STUB_ASSEMBLER_H_
 
 #include <map>
 
 // Clients of this interface shouldn't depend on lots of compiler internals.
@@ skipping 21 matching lines @@
 class Node;
 class Operator;
 class RawMachineAssembler;
 class RawMachineLabel;
 class Schedule;
 
 #define CODE_STUB_ASSEMBLER_BINARY_OP_LIST(V) \
   V(Float64Equal)                             \
   V(Float64LessThan)                          \
   V(Float64LessThanOrEqual)                   \
+  V(Float64GreaterThan)                       \
+  V(Float64GreaterThanOrEqual)                \
   V(IntPtrAdd)                                \
   V(IntPtrSub)                                \
   V(Int32Add)                                 \
   V(Int32Sub)                                 \
   V(Int32Mul)                                 \
+  V(Int32GreaterThan)                         \
   V(Int32GreaterThanOrEqual)                  \
   V(Int32LessThan)                            \
+  V(Int32LessThanOrEqual)                     \
   V(WordEqual)                                \
   V(WordNotEqual)                             \
   V(WordOr)                                   \
   V(WordAnd)                                  \
   V(WordXor)                                  \
   V(WordShl)                                  \
   V(WordShr)                                  \
   V(WordSar)                                  \
   V(WordRor)                                  \
   V(Word32Equal)                              \
   V(Word32NotEqual)                           \
   V(Word32Or)                                 \
   V(Word32And)                                \
   V(Word32Xor)                                \
   V(Word32Shl)                                \
   V(Word32Shr)                                \
   V(Word32Sar)                                \
   V(Word32Ror)                                \
   V(Word64Equal)                              \
   V(Word64NotEqual)                           \
   V(Word64Or)                                 \
   V(Word64And)                                \
   V(Word64Xor)                                \
   V(Word64Shr)                                \
   V(Word64Sar)                                \
   V(Word64Ror)                                \
+  V(IntPtrLessThan)                           \
+  V(IntPtrLessThanOrEqual)                    \
   V(UintPtrGreaterThanOrEqual)
 
 #define CODE_STUB_ASSEMBLER_UNARY_OP_LIST(V) \
   V(ChangeFloat64ToUint32)                   \
   V(ChangeInt32ToFloat64)                    \
   V(ChangeInt32ToInt64)                      \
   V(ChangeUint32ToFloat64)                   \
   V(ChangeUint32ToUint64)
 
 class CodeStubAssembler {
@@ skipping 110 matching lines @@
   Node* TailCallRuntime(Runtime::FunctionId function_id, Node* context);
   Node* TailCallRuntime(Runtime::FunctionId function_id, Node* context,
                         Node* arg1);
   Node* TailCallRuntime(Runtime::FunctionId function_id, Node* context,
                         Node* arg1, Node* arg2);
   Node* TailCallRuntime(Runtime::FunctionId function_id, Node* context,
                         Node* arg1, Node* arg2, Node* arg3);
   Node* TailCallRuntime(Runtime::FunctionId function_id, Node* context,
                         Node* arg1, Node* arg2, Node* arg3, Node* arg4);
 
+  Node* CallStub(Callable const& callable, Node* context, Node* arg1,
+                 size_t result_size = 1);
+
   Node* CallStub(const CallInterfaceDescriptor& descriptor, Node* target,
                  Node* context, Node* arg1, size_t result_size = 1);
   Node* CallStub(const CallInterfaceDescriptor& descriptor, Node* target,
                  Node* context, Node* arg1, Node* arg2, size_t result_size = 1);
   Node* CallStub(const CallInterfaceDescriptor& descriptor, Node* target,
                  Node* context, Node* arg1, Node* arg2, Node* arg3,
                  size_t result_size = 1);
   Node* CallStub(const CallInterfaceDescriptor& descriptor, Node* target,
                  Node* context, Node* arg1, Node* arg2, Node* arg3, Node* arg4,
                  size_t result_size = 1);
@@ skipping 20 matching lines @@
   // Untag a Smi value as a Word.
   Node* SmiUntag(Node* value);
 
   // Smi conversions.
   Node* SmiToFloat64(Node* value);
   Node* SmiToInt32(Node* value);
 
   // Smi operations.
   Node* SmiAdd(Node* a, Node* b);
   Node* SmiEqual(Node* a, Node* b);
+  Node* SmiLessThan(Node* a, Node* b);
+  Node* SmiLessThanOrEqual(Node* a, Node* b);
 
   // Load a value from the root array.
   Node* LoadRoot(Heap::RootListIndex root_index);
 
   // Check a value for smi-ness
   Node* WordIsSmi(Node* a);
 
   // Load an object pointer from a buffer that isn't in the heap.
   Node* LoadBufferObject(Node* buffer, int offset);
   // Load a field from an object on the heap.
@@ skipping 19 matching lines @@
   // Returns a node that is true if the given bit is set in |word32|.
   template <typename T>
   Node* BitFieldDecode(Node* word32) {
     return BitFieldDecode(word32, T::kShift, T::kMask);
   }
 
   Node* BitFieldDecode(Node* word32, uint32_t shift, uint32_t mask);
 
   // Branching helpers.
   // TODO(danno): Can we be more cleverish wrt. edge-split?
+  void BranchIfSmiLessThan(Node* a, Node* b, Label* if_true, Label* if_false);
+  void BranchIfSmiLessThanOrEqual(Node* a, Node* b, Label* if_true,
+                                  Label* if_false);
   void BranchIfFloat64Equal(Node* a, Node* b, Label* if_true, Label* if_false);
+  void BranchIfFloat64LessThan(Node* a, Node* b, Label* if_true,
+                               Label* if_false);
+  void BranchIfFloat64LessThanOrEqual(Node* a, Node* b, Label* if_true,
+                                      Label* if_false);
+  void BranchIfFloat64GreaterThan(Node* a, Node* b, Label* if_true,
+                                  Label* if_false);
+  void BranchIfFloat64GreaterThanOrEqual(Node* a, Node* b, Label* if_true,
+                                         Label* if_false);
   void BranchIfFloat64IsNaN(Node* value, Label* if_true, Label* if_false) {
     BranchIfFloat64Equal(value, value, if_false, if_true);
   }
 
- protected:
-  // Protected helpers which delegate to RawMachineAssembler.
-  Graph* graph() const;
+  // Helpers which delegate to RawMachineAssembler.
   Factory* factory() const;
   Isolate* isolate() const;
   Zone* zone() const;
 
+ protected:
+  // Protected helpers which delegate to RawMachineAssembler.
+  Graph* graph() const;
+
   // Enables subclasses to perform operations before and after a call.
   virtual void CallPrologue();
   virtual void CallEpilogue();
 
  private:
   friend class CodeStubAssemblerTester;
 
   Node* CallN(CallDescriptor* descriptor, Node* code_target, Node** args);
   Node* TailCallN(CallDescriptor* descriptor, Node* code_target, Node** args);
 
@@ skipping 10 matching lines @@
   bool code_generated_;
   ZoneVector<Variable::Impl*> variables_;
 
   DISALLOW_COPY_AND_ASSIGN(CodeStubAssembler);
 };
 
 DEFINE_OPERATORS_FOR_FLAGS(CodeStubAssembler::AllocationFlags);
 
 class CodeStubAssembler::Label {
  public:
-  explicit Label(CodeStubAssembler* assembler);
+  enum Type { kDeferred, kNonDeferred };
+
+  explicit Label(CodeStubAssembler* assembler,
+                 CodeStubAssembler::Label::Type type =
+                     CodeStubAssembler::Label::kNonDeferred)
+      : CodeStubAssembler::Label(assembler, 0, nullptr, type) {}
+  Label(CodeStubAssembler* assembler,
+        CodeStubAssembler::Variable* merged_variable,
+        CodeStubAssembler::Label::Type type =
+            CodeStubAssembler::Label::kNonDeferred)
+      : CodeStubAssembler::Label(assembler, 1, &merged_variable, type) {}
   Label(CodeStubAssembler* assembler, int merged_variable_count,
-        CodeStubAssembler::Variable** merged_variables);
-  Label(CodeStubAssembler* assembler,
-        CodeStubAssembler::Variable* merged_variable);
+        CodeStubAssembler::Variable** merged_variables,
+        CodeStubAssembler::Label::Type type =
+            CodeStubAssembler::Label::kNonDeferred);
   ~Label() {}
 
  private:
   friend class CodeStubAssembler;
 
   void Bind();
   void MergeVariables();
 
   bool bound_;
   size_t merge_count_;
   CodeStubAssembler* assembler_;
   RawMachineLabel* label_;
   // Map of variables that need to be merged to their phi nodes (or placeholders
   // for those phis).
   std::map<Variable::Impl*, Node*> variable_phis_;
   // Map of variables to the list of value nodes that have been added from each
   // merge path in their order of merging.
   std::map<Variable::Impl*, std::vector<Node*>> variable_merges_;
 };
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_COMPILER_CODE_STUB_ASSEMBLER_H_