Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 1 | // Copyright 2013 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_H_ |
| 6 | #define V8_COMPILER_MACHINE_OPERATOR_H_ |
| 7 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 8 | #include "src/base/flags.h" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 9 | #include "src/machine-type.h" |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 10 | |
| 11 | namespace v8 { |
| 12 | namespace internal { |
| 13 | namespace compiler { |
| 14 | |
| 15 | // Forward declarations. |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 16 | struct MachineOperatorGlobalCache; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 17 | class Operator; |
| 18 | |
| 19 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 20 | // For operators that are not supported on all platforms. |
| 21 | class OptionalOperator final { |
| 22 | public: |
| 23 | explicit OptionalOperator(const Operator* op) : op_(op) {} |
| 24 | |
| 25 | bool IsSupported() const { return op_ != nullptr; } |
| 26 | const Operator* op() const { |
| 27 | DCHECK_NOT_NULL(op_); |
| 28 | return op_; |
| 29 | } |
| 30 | |
| 31 | private: |
| 32 | const Operator* const op_; |
| 33 | }; |
| 34 | |
| 35 | |
| 36 | // Supported float64 to int32 truncation modes. |
| 37 | enum class TruncationMode : uint8_t { |
| 38 | kJavaScript, // ES6 section 7.1.5 |
| 39 | kRoundToZero // Round towards zero. Implementation defined for NaN and ovf. |
| 40 | }; |
| 41 | |
| 42 | V8_INLINE size_t hash_value(TruncationMode mode) { |
| 43 | return static_cast<uint8_t>(mode); |
| 44 | } |
| 45 | |
| 46 | std::ostream& operator<<(std::ostream&, TruncationMode); |
| 47 | |
| 48 | TruncationMode TruncationModeOf(Operator const*); |
| 49 | |
| 50 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 51 | // Supported write barrier modes. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 52 | enum WriteBarrierKind { |
| 53 | kNoWriteBarrier, |
| 54 | kMapWriteBarrier, |
| 55 | kPointerWriteBarrier, |
| 56 | kFullWriteBarrier |
| 57 | }; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 58 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 59 | std::ostream& operator<<(std::ostream& os, WriteBarrierKind); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 60 | |
| 61 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 62 | // A Load needs a MachineType. |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 63 | typedef MachineType LoadRepresentation; |
| 64 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 65 | LoadRepresentation LoadRepresentationOf(Operator const*); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 66 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 67 | // A Store needs a MachineType and a WriteBarrierKind in order to emit the |
| 68 | // correct write barrier. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 69 | class StoreRepresentation final { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 70 | public: |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 71 | StoreRepresentation(MachineRepresentation representation, |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 72 | WriteBarrierKind write_barrier_kind) |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 73 | : representation_(representation), |
| 74 | write_barrier_kind_(write_barrier_kind) {} |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 75 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 76 | MachineRepresentation representation() const { return representation_; } |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 77 | WriteBarrierKind write_barrier_kind() const { return write_barrier_kind_; } |
| 78 | |
| 79 | private: |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 80 | MachineRepresentation representation_; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 81 | WriteBarrierKind write_barrier_kind_; |
| 82 | }; |
| 83 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 84 | bool operator==(StoreRepresentation, StoreRepresentation); |
| 85 | bool operator!=(StoreRepresentation, StoreRepresentation); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 86 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 87 | size_t hash_value(StoreRepresentation); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 88 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 89 | std::ostream& operator<<(std::ostream&, StoreRepresentation); |
| 90 | |
| 91 | StoreRepresentation const& StoreRepresentationOf(Operator const*); |
| 92 | |
| 93 | |
| 94 | // A CheckedLoad needs a MachineType. |
| 95 | typedef MachineType CheckedLoadRepresentation; |
| 96 | |
| 97 | CheckedLoadRepresentation CheckedLoadRepresentationOf(Operator const*); |
| 98 | |
| 99 | |
| 100 | // A CheckedStore needs a MachineType. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 101 | typedef MachineRepresentation CheckedStoreRepresentation; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 102 | |
| 103 | CheckedStoreRepresentation CheckedStoreRepresentationOf(Operator const*); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 104 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 105 | MachineRepresentation StackSlotRepresentationOf(Operator const* op); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 106 | |
| 107 | // Interface for building machine-level operators. These operators are |
| 108 | // machine-level but machine-independent and thus define a language suitable |
| 109 | // for generating code to run on architectures such as ia32, x64, arm, etc. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 110 | class MachineOperatorBuilder final : public ZoneObject { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 111 | public: |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 112 | // Flags that specify which operations are available. This is useful |
| 113 | // for operations that are unsupported by some back-ends. |
| 114 | enum Flag { |
| 115 | kNoFlags = 0u, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 116 | // Note that Float*Max behaves like `(b < a) ? a : b`, not like Math.max(). |
| 117 | // Note that Float*Min behaves like `(a < b) ? a : b`, not like Math.min(). |
| 118 | kFloat32Max = 1u << 0, |
| 119 | kFloat32Min = 1u << 1, |
| 120 | kFloat64Max = 1u << 2, |
| 121 | kFloat64Min = 1u << 3, |
| 122 | kFloat32RoundDown = 1u << 4, |
| 123 | kFloat64RoundDown = 1u << 5, |
| 124 | kFloat32RoundUp = 1u << 6, |
| 125 | kFloat64RoundUp = 1u << 7, |
| 126 | kFloat32RoundTruncate = 1u << 8, |
| 127 | kFloat64RoundTruncate = 1u << 9, |
| 128 | kFloat32RoundTiesEven = 1u << 10, |
| 129 | kFloat64RoundTiesEven = 1u << 11, |
| 130 | kFloat64RoundTiesAway = 1u << 12, |
| 131 | kInt32DivIsSafe = 1u << 13, |
| 132 | kUint32DivIsSafe = 1u << 14, |
| 133 | kWord32ShiftIsSafe = 1u << 15, |
| 134 | kWord32Ctz = 1u << 16, |
| 135 | kWord64Ctz = 1u << 17, |
| 136 | kWord32Popcnt = 1u << 18, |
| 137 | kWord64Popcnt = 1u << 19, |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 138 | kWord32ReverseBits = 1u << 20, |
| 139 | kWord64ReverseBits = 1u << 21, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 140 | kAllOptionalOps = kFloat32Max | kFloat32Min | kFloat64Max | kFloat64Min | |
| 141 | kFloat32RoundDown | kFloat64RoundDown | kFloat32RoundUp | |
| 142 | kFloat64RoundUp | kFloat32RoundTruncate | |
| 143 | kFloat64RoundTruncate | kFloat64RoundTiesAway | |
| 144 | kFloat32RoundTiesEven | kFloat64RoundTiesEven | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 145 | kWord32Ctz | kWord64Ctz | kWord32Popcnt | kWord64Popcnt | |
| 146 | kWord32ReverseBits | kWord64ReverseBits |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 147 | }; |
| 148 | typedef base::Flags<Flag, unsigned> Flags; |
| 149 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 150 | explicit MachineOperatorBuilder( |
| 151 | Zone* zone, |
| 152 | MachineRepresentation word = MachineType::PointerRepresentation(), |
| 153 | Flags supportedOperators = kNoFlags); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 154 | |
| 155 | const Operator* Word32And(); |
| 156 | const Operator* Word32Or(); |
| 157 | const Operator* Word32Xor(); |
| 158 | const Operator* Word32Shl(); |
| 159 | const Operator* Word32Shr(); |
| 160 | const Operator* Word32Sar(); |
| 161 | const Operator* Word32Ror(); |
| 162 | const Operator* Word32Equal(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 163 | const Operator* Word32Clz(); |
| 164 | const OptionalOperator Word32Ctz(); |
| 165 | const OptionalOperator Word32Popcnt(); |
| 166 | const OptionalOperator Word64Popcnt(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 167 | const OptionalOperator Word32ReverseBits(); |
| 168 | const OptionalOperator Word64ReverseBits(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 169 | bool Word32ShiftIsSafe() const { return flags_ & kWord32ShiftIsSafe; } |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 170 | |
| 171 | const Operator* Word64And(); |
| 172 | const Operator* Word64Or(); |
| 173 | const Operator* Word64Xor(); |
| 174 | const Operator* Word64Shl(); |
| 175 | const Operator* Word64Shr(); |
| 176 | const Operator* Word64Sar(); |
| 177 | const Operator* Word64Ror(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 178 | const Operator* Word64Clz(); |
| 179 | const OptionalOperator Word64Ctz(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 180 | const Operator* Word64Equal(); |
| 181 | |
| 182 | const Operator* Int32Add(); |
| 183 | const Operator* Int32AddWithOverflow(); |
| 184 | const Operator* Int32Sub(); |
| 185 | const Operator* Int32SubWithOverflow(); |
| 186 | const Operator* Int32Mul(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 187 | const Operator* Int32MulHigh(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 188 | const Operator* Int32Div(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 189 | const Operator* Int32Mod(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 190 | const Operator* Int32LessThan(); |
| 191 | const Operator* Int32LessThanOrEqual(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 192 | const Operator* Uint32Div(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 193 | const Operator* Uint32LessThan(); |
| 194 | const Operator* Uint32LessThanOrEqual(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 195 | const Operator* Uint32Mod(); |
| 196 | const Operator* Uint32MulHigh(); |
| 197 | bool Int32DivIsSafe() const { return flags_ & kInt32DivIsSafe; } |
| 198 | bool Uint32DivIsSafe() const { return flags_ & kUint32DivIsSafe; } |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 199 | |
| 200 | const Operator* Int64Add(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 201 | const Operator* Int64AddWithOverflow(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 202 | const Operator* Int64Sub(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 203 | const Operator* Int64SubWithOverflow(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 204 | const Operator* Int64Mul(); |
| 205 | const Operator* Int64Div(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 206 | const Operator* Int64Mod(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 207 | const Operator* Int64LessThan(); |
| 208 | const Operator* Int64LessThanOrEqual(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 209 | const Operator* Uint64Div(); |
| 210 | const Operator* Uint64LessThan(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 211 | const Operator* Uint64LessThanOrEqual(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 212 | const Operator* Uint64Mod(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 213 | |
| 214 | // These operators change the representation of numbers while preserving the |
| 215 | // value of the number. Narrowing operators assume the input is representable |
| 216 | // in the target type and are *not* defined for other inputs. |
| 217 | // Use narrowing change operators only when there is a static guarantee that |
| 218 | // the input value is representable in the target value. |
| 219 | const Operator* ChangeFloat32ToFloat64(); |
| 220 | const Operator* ChangeFloat64ToInt32(); // narrowing |
| 221 | const Operator* ChangeFloat64ToUint32(); // narrowing |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 222 | const Operator* TruncateFloat32ToInt32(); |
| 223 | const Operator* TruncateFloat32ToUint32(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 224 | const Operator* TryTruncateFloat32ToInt64(); |
| 225 | const Operator* TryTruncateFloat64ToInt64(); |
| 226 | const Operator* TryTruncateFloat32ToUint64(); |
| 227 | const Operator* TryTruncateFloat64ToUint64(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 228 | const Operator* ChangeInt32ToFloat64(); |
| 229 | const Operator* ChangeInt32ToInt64(); |
| 230 | const Operator* ChangeUint32ToFloat64(); |
| 231 | const Operator* ChangeUint32ToUint64(); |
| 232 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 233 | // These operators truncate or round numbers, both changing the representation |
| 234 | // of the number and mapping multiple input values onto the same output value. |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 235 | const Operator* TruncateFloat64ToFloat32(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 236 | const Operator* TruncateFloat64ToInt32(TruncationMode); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 237 | const Operator* TruncateInt64ToInt32(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 238 | const Operator* RoundInt32ToFloat32(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 239 | const Operator* RoundInt64ToFloat32(); |
| 240 | const Operator* RoundInt64ToFloat64(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 241 | const Operator* RoundUint32ToFloat32(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 242 | const Operator* RoundUint64ToFloat32(); |
| 243 | const Operator* RoundUint64ToFloat64(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 244 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 245 | // These operators reinterpret the bits of a floating point number as an |
| 246 | // integer and vice versa. |
| 247 | const Operator* BitcastFloat32ToInt32(); |
| 248 | const Operator* BitcastFloat64ToInt64(); |
| 249 | const Operator* BitcastInt32ToFloat32(); |
| 250 | const Operator* BitcastInt64ToFloat64(); |
| 251 | |
| 252 | // Floating point operators always operate with IEEE 754 round-to-nearest |
| 253 | // (single-precision). |
| 254 | const Operator* Float32Add(); |
| 255 | const Operator* Float32Sub(); |
| 256 | const Operator* Float32Mul(); |
| 257 | const Operator* Float32Div(); |
| 258 | const Operator* Float32Sqrt(); |
| 259 | |
| 260 | // Floating point operators always operate with IEEE 754 round-to-nearest |
| 261 | // (double-precision). |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 262 | const Operator* Float64Add(); |
| 263 | const Operator* Float64Sub(); |
| 264 | const Operator* Float64Mul(); |
| 265 | const Operator* Float64Div(); |
| 266 | const Operator* Float64Mod(); |
| 267 | const Operator* Float64Sqrt(); |
| 268 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 269 | // Floating point comparisons complying to IEEE 754 (single-precision). |
| 270 | const Operator* Float32Equal(); |
| 271 | const Operator* Float32LessThan(); |
| 272 | const Operator* Float32LessThanOrEqual(); |
| 273 | |
| 274 | // Floating point comparisons complying to IEEE 754 (double-precision). |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 275 | const Operator* Float64Equal(); |
| 276 | const Operator* Float64LessThan(); |
| 277 | const Operator* Float64LessThanOrEqual(); |
| 278 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 279 | // Floating point min/max complying to IEEE 754 (single-precision). |
| 280 | const OptionalOperator Float32Max(); |
| 281 | const OptionalOperator Float32Min(); |
| 282 | |
| 283 | // Floating point min/max complying to IEEE 754 (double-precision). |
| 284 | const OptionalOperator Float64Max(); |
| 285 | const OptionalOperator Float64Min(); |
| 286 | |
| 287 | // Floating point abs complying to IEEE 754 (single-precision). |
| 288 | const Operator* Float32Abs(); |
| 289 | |
| 290 | // Floating point abs complying to IEEE 754 (double-precision). |
| 291 | const Operator* Float64Abs(); |
| 292 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 293 | // Floating point rounding. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 294 | const OptionalOperator Float32RoundDown(); |
| 295 | const OptionalOperator Float64RoundDown(); |
| 296 | const OptionalOperator Float32RoundUp(); |
| 297 | const OptionalOperator Float64RoundUp(); |
| 298 | const OptionalOperator Float32RoundTruncate(); |
| 299 | const OptionalOperator Float64RoundTruncate(); |
| 300 | const OptionalOperator Float64RoundTiesAway(); |
| 301 | const OptionalOperator Float32RoundTiesEven(); |
| 302 | const OptionalOperator Float64RoundTiesEven(); |
| 303 | |
| 304 | // Floating point bit representation. |
| 305 | const Operator* Float64ExtractLowWord32(); |
| 306 | const Operator* Float64ExtractHighWord32(); |
| 307 | const Operator* Float64InsertLowWord32(); |
| 308 | const Operator* Float64InsertHighWord32(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 309 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 310 | // load [base + index] |
| 311 | const Operator* Load(LoadRepresentation rep); |
| 312 | |
| 313 | // store [base + index], value |
| 314 | const Operator* Store(StoreRepresentation rep); |
| 315 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 316 | const Operator* StackSlot(MachineRepresentation rep); |
| 317 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 318 | // Access to the machine stack. |
| 319 | const Operator* LoadStackPointer(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 320 | const Operator* LoadFramePointer(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame^] | 321 | const Operator* LoadParentFramePointer(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 322 | |
| 323 | // checked-load heap, index, length |
| 324 | const Operator* CheckedLoad(CheckedLoadRepresentation); |
| 325 | // checked-store heap, index, length, value |
| 326 | const Operator* CheckedStore(CheckedStoreRepresentation); |
| 327 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 328 | // Target machine word-size assumed by this builder. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 329 | bool Is32() const { return word() == MachineRepresentation::kWord32; } |
| 330 | bool Is64() const { return word() == MachineRepresentation::kWord64; } |
| 331 | MachineRepresentation word() const { return word_; } |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 332 | |
| 333 | // Pseudo operators that translate to 32/64-bit operators depending on the |
| 334 | // word-size of the target machine assumed by this builder. |
| 335 | #define PSEUDO_OP_LIST(V) \ |
| 336 | V(Word, And) \ |
| 337 | V(Word, Or) \ |
| 338 | V(Word, Xor) \ |
| 339 | V(Word, Shl) \ |
| 340 | V(Word, Shr) \ |
| 341 | V(Word, Sar) \ |
| 342 | V(Word, Ror) \ |
| 343 | V(Word, Equal) \ |
| 344 | V(Int, Add) \ |
| 345 | V(Int, Sub) \ |
| 346 | V(Int, Mul) \ |
| 347 | V(Int, Div) \ |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 348 | V(Int, Mod) \ |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 349 | V(Int, LessThan) \ |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 350 | V(Int, LessThanOrEqual) \ |
| 351 | V(Uint, Div) \ |
| 352 | V(Uint, LessThan) \ |
| 353 | V(Uint, Mod) |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 354 | #define PSEUDO_OP(Prefix, Suffix) \ |
| 355 | const Operator* Prefix##Suffix() { \ |
| 356 | return Is32() ? Prefix##32##Suffix() : Prefix##64##Suffix(); \ |
| 357 | } |
| 358 | PSEUDO_OP_LIST(PSEUDO_OP) |
| 359 | #undef PSEUDO_OP |
| 360 | #undef PSEUDO_OP_LIST |
| 361 | |
| 362 | private: |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 363 | MachineOperatorGlobalCache const& cache_; |
| 364 | MachineRepresentation const word_; |
| 365 | Flags const flags_; |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 366 | |
| 367 | DISALLOW_COPY_AND_ASSIGN(MachineOperatorBuilder); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 368 | }; |
| 369 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 370 | |
| 371 | DEFINE_OPERATORS_FOR_FLAGS(MachineOperatorBuilder::Flags) |
| 372 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 373 | } // namespace compiler |
| 374 | } // namespace internal |
| 375 | } // namespace v8 |
| 376 | |
| 377 | #endif // V8_COMPILER_MACHINE_OPERATOR_H_ |