1 // Copyright 2014 the V8 project authors. All rights reserved. 2 // Use of this source code is governed by a BSD-style license that can be 3 // found in the LICENSE file. 4 5 #ifndef V8_COMPILER_MACHINE_OPERATOR_REDUCER_H_ 6 #define V8_COMPILER_MACHINE_OPERATOR_REDUCER_H_ 7 8 #include "src/base/compiler-specific.h" 9 #include "src/common/globals.h" 10 #include "src/compiler/graph-reducer.h" 11 #include "src/compiler/machine-operator.h" 12 13 namespace v8 { 14 namespace internal { 15 namespace compiler { 16 17 // Forward declarations. 18 class CommonOperatorBuilder; 19 class MachineGraph; 20 class Word32Adapter; 21 class Word64Adapter; 22 23 // Performs constant folding and strength reduction on nodes that have 24 // machine operators. 25 class V8_EXPORT_PRIVATE MachineOperatorReducer final NON_EXPORTED_BASE(AdvancedReducer)26 : public NON_EXPORTED_BASE(AdvancedReducer) { 27 public: 28 explicit MachineOperatorReducer(Editor* editor, MachineGraph* mcgraph, 29 bool allow_signalling_nan = true); 30 ~MachineOperatorReducer() override; 31 32 const char* reducer_name() const override { return "MachineOperatorReducer"; } 33 34 Reduction Reduce(Node* node) override; 35 36 private: 37 friend class Word32Adapter; 38 friend class Word64Adapter; 39 40 Node* Float32Constant(volatile float value); 41 Node* Float64Constant(volatile double value); 42 Node* Int32Constant(int32_t value); 43 Node* Int64Constant(int64_t value); 44 Node* Uint32Constant(uint32_t value) { 45 return Int32Constant(bit_cast<int32_t>(value)); 46 } 47 Node* Uint64Constant(uint64_t value) { 48 return Int64Constant(bit_cast<int64_t>(value)); 49 } 50 Node* Float64Mul(Node* lhs, Node* rhs); 51 Node* Float64PowHalf(Node* value); 52 Node* Word32And(Node* lhs, Node* rhs); 53 Node* Word32And(Node* lhs, uint32_t rhs) { 54 return Word32And(lhs, Uint32Constant(rhs)); 55 } 56 Node* Word32Sar(Node* lhs, uint32_t rhs); 57 Node* Word32Shr(Node* lhs, uint32_t rhs); 58 Node* Word32Equal(Node* lhs, Node* rhs); 59 Node* Word64And(Node* lhs, Node* rhs); 60 Node* Int32Add(Node* lhs, Node* rhs); 61 Node* Int32Sub(Node* lhs, Node* rhs); 62 Node* Int32Mul(Node* lhs, Node* rhs); 63 Node* Int32Div(Node* dividend, int32_t divisor); 64 Node* Uint32Div(Node* dividend, uint32_t divisor); 65 66 Reduction ReplaceBool(bool value) { return ReplaceInt32(value ? 1 : 0); } 67 Reduction ReplaceFloat32(volatile float value) { 68 return Replace(Float32Constant(value)); 69 } 70 Reduction ReplaceFloat64(volatile double value) { 71 return Replace(Float64Constant(value)); 72 } 73 Reduction ReplaceInt32(int32_t value) { 74 return Replace(Int32Constant(value)); 75 } 76 Reduction ReplaceUint32(uint32_t value) { 77 return Replace(Uint32Constant(value)); 78 } 79 Reduction ReplaceInt64(int64_t value) { 80 return Replace(Int64Constant(value)); 81 } 82 83 Reduction ReduceInt32Add(Node* node); 84 Reduction ReduceInt64Add(Node* node); 85 Reduction ReduceInt32Sub(Node* node); 86 Reduction ReduceInt64Sub(Node* node); 87 Reduction ReduceInt64Mul(Node* node); 88 Reduction ReduceInt32Div(Node* node); 89 Reduction ReduceUint32Div(Node* node); 90 Reduction ReduceInt32Mod(Node* node); 91 Reduction ReduceUint32Mod(Node* node); 92 Reduction ReduceStore(Node* node); 93 Reduction ReduceProjection(size_t index, Node* node); 94 Reduction ReduceWord32Shifts(Node* node); 95 Reduction ReduceWord32Shl(Node* node); 96 Reduction ReduceWord64Shl(Node* node); 97 Reduction ReduceWord32Shr(Node* node); 98 Reduction ReduceWord64Shr(Node* node); 99 Reduction ReduceWord32Sar(Node* node); 100 Reduction ReduceWord64Sar(Node* node); 101 Reduction ReduceWord32And(Node* node); 102 Reduction ReduceWord64And(Node* node); 103 Reduction TryMatchWord32Ror(Node* node); 104 Reduction ReduceWord32Or(Node* node); 105 Reduction ReduceWord64Or(Node* node); 106 Reduction ReduceWord32Xor(Node* node); 107 Reduction ReduceWord64Xor(Node* node); 108 Reduction ReduceFloat64InsertLowWord32(Node* node); 109 Reduction ReduceFloat64InsertHighWord32(Node* node); 110 Reduction ReduceFloat64Compare(Node* node); 111 Reduction ReduceFloat64RoundDown(Node* node); 112 Reduction ReduceConditional(Node* node); 113 114 Graph* graph() const; 115 MachineGraph* mcgraph() const { return mcgraph_; } 116 CommonOperatorBuilder* common() const; 117 MachineOperatorBuilder* machine() const; 118 119 // These reductions can be applied to operations of different word sizes. 120 // Use Word32Adapter or Word64Adapter to specialize for a particular one. 121 template <typename WordNAdapter> 122 Reduction ReduceWordNAnd(Node* node); 123 template <typename WordNAdapter> 124 Reduction ReduceWordNOr(Node* node); 125 template <typename WordNAdapter> 126 Reduction ReduceWordNXor(Node* node); 127 128 MachineGraph* mcgraph_; 129 bool allow_signalling_nan_; 130 }; 131 132 } // namespace compiler 133 } // namespace internal 134 } // namespace v8 135 136 #endif // V8_COMPILER_MACHINE_OPERATOR_REDUCER_H_ 137