| OLD | NEW |
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 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 | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef V8_COMPILER_REPRESENTATION_CHANGE_H_ | 5 #ifndef V8_COMPILER_REPRESENTATION_CHANGE_H_ |
| 6 #define V8_COMPILER_REPRESENTATION_CHANGE_H_ | 6 #define V8_COMPILER_REPRESENTATION_CHANGE_H_ |
| 7 | 7 |
| 8 #include "src/base/bits.h" | 8 #include "src/base/bits.h" |
| 9 #include "src/compiler/js-graph.h" | 9 #include "src/compiler/js-graph.h" |
| 10 #include "src/compiler/machine-operator.h" | 10 #include "src/compiler/machine-operator.h" |
| (...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 84 : jsgraph()->TrueConstant(); | 84 : jsgraph()->TrueConstant(); |
| 85 } else { | 85 } else { |
| 86 return TypeError(node, output_type, kRepTagged); | 86 return TypeError(node, output_type, kRepTagged); |
| 87 } | 87 } |
| 88 case IrOpcode::kFloat64Constant: | 88 case IrOpcode::kFloat64Constant: |
| 89 return jsgraph()->Constant(OpParameter<double>(node)); | 89 return jsgraph()->Constant(OpParameter<double>(node)); |
| 90 default: | 90 default: |
| 91 break; | 91 break; |
| 92 } | 92 } |
| 93 // Select the correct X -> Tagged operator. | 93 // Select the correct X -> Tagged operator. |
| 94 Operator* op; | 94 const Operator* op; |
| 95 if (output_type & kRepBit) { | 95 if (output_type & kRepBit) { |
| 96 op = simplified()->ChangeBitToBool(); | 96 op = simplified()->ChangeBitToBool(); |
| 97 } else if (output_type & rWord) { | 97 } else if (output_type & rWord) { |
| 98 if (output_type & kTypeUint32) { | 98 if (output_type & kTypeUint32) { |
| 99 op = simplified()->ChangeUint32ToTagged(); | 99 op = simplified()->ChangeUint32ToTagged(); |
| 100 } else if (output_type & kTypeInt32) { | 100 } else if (output_type & kTypeInt32) { |
| 101 op = simplified()->ChangeInt32ToTagged(); | 101 op = simplified()->ChangeInt32ToTagged(); |
| 102 } else { | 102 } else { |
| 103 return TypeError(node, output_type, kRepTagged); | 103 return TypeError(node, output_type, kRepTagged); |
| 104 } | 104 } |
| (...skipping 17 matching lines...) Expand all Loading... |
| 122 } else { | 122 } else { |
| 123 int32_t value = OpParameter<int32_t>(node); | 123 int32_t value = OpParameter<int32_t>(node); |
| 124 return jsgraph()->Float64Constant(value); | 124 return jsgraph()->Float64Constant(value); |
| 125 } | 125 } |
| 126 case IrOpcode::kFloat64Constant: | 126 case IrOpcode::kFloat64Constant: |
| 127 return node; // No change necessary. | 127 return node; // No change necessary. |
| 128 default: | 128 default: |
| 129 break; | 129 break; |
| 130 } | 130 } |
| 131 // Select the correct X -> Float64 operator. | 131 // Select the correct X -> Float64 operator. |
| 132 Operator* op; | 132 const Operator* op; |
| 133 if (output_type & kRepBit) { | 133 if (output_type & kRepBit) { |
| 134 return TypeError(node, output_type, kRepFloat64); | 134 return TypeError(node, output_type, kRepFloat64); |
| 135 } else if (output_type & rWord) { | 135 } else if (output_type & rWord) { |
| 136 if (output_type & kTypeUint32) { | 136 if (output_type & kTypeUint32) { |
| 137 op = machine()->ChangeUint32ToFloat64(); | 137 op = machine()->ChangeUint32ToFloat64(); |
| 138 } else { | 138 } else { |
| 139 op = machine()->ChangeInt32ToFloat64(); | 139 op = machine()->ChangeInt32ToFloat64(); |
| 140 } | 140 } |
| 141 } else if (output_type & kRepTagged) { | 141 } else if (output_type & kRepTagged) { |
| 142 op = simplified()->ChangeTaggedToFloat64(); | 142 op = simplified()->ChangeTaggedToFloat64(); |
| (...skipping 19 matching lines...) Expand all Loading... |
| 162 } else { | 162 } else { |
| 163 DCHECK(IsUint32Double(value)); | 163 DCHECK(IsUint32Double(value)); |
| 164 int32_t iv = static_cast<int32_t>(static_cast<uint32_t>(value)); | 164 int32_t iv = static_cast<int32_t>(static_cast<uint32_t>(value)); |
| 165 return jsgraph()->Int32Constant(iv); | 165 return jsgraph()->Int32Constant(iv); |
| 166 } | 166 } |
| 167 } | 167 } |
| 168 default: | 168 default: |
| 169 break; | 169 break; |
| 170 } | 170 } |
| 171 // Select the correct X -> Word32 operator. | 171 // Select the correct X -> Word32 operator. |
| 172 Operator* op = NULL; | 172 const Operator* op = NULL; |
| 173 if (output_type & kRepFloat64) { | 173 if (output_type & kRepFloat64) { |
| 174 if (output_type & kTypeUint32 || use_unsigned) { | 174 if (output_type & kTypeUint32 || use_unsigned) { |
| 175 op = machine()->ChangeFloat64ToUint32(); | 175 op = machine()->ChangeFloat64ToUint32(); |
| 176 } else { | 176 } else { |
| 177 op = machine()->ChangeFloat64ToInt32(); | 177 op = machine()->ChangeFloat64ToInt32(); |
| 178 } | 178 } |
| 179 } else if (output_type & kRepTagged) { | 179 } else if (output_type & kRepTagged) { |
| 180 if (output_type & kTypeUint32 || use_unsigned) { | 180 if (output_type & kTypeUint32 || use_unsigned) { |
| 181 op = simplified()->ChangeTaggedToUint32(); | 181 op = simplified()->ChangeTaggedToUint32(); |
| 182 } else { | 182 } else { |
| (...skipping 17 matching lines...) Expand all Loading... |
| 200 Handle<Object> handle = OpParameter<Unique<Object> >(node).handle(); | 200 Handle<Object> handle = OpParameter<Unique<Object> >(node).handle(); |
| 201 DCHECK(*handle == isolate()->heap()->true_value() || | 201 DCHECK(*handle == isolate()->heap()->true_value() || |
| 202 *handle == isolate()->heap()->false_value()); | 202 *handle == isolate()->heap()->false_value()); |
| 203 return jsgraph()->Int32Constant( | 203 return jsgraph()->Int32Constant( |
| 204 *handle == isolate()->heap()->true_value() ? 1 : 0); | 204 *handle == isolate()->heap()->true_value() ? 1 : 0); |
| 205 } | 205 } |
| 206 default: | 206 default: |
| 207 break; | 207 break; |
| 208 } | 208 } |
| 209 // Select the correct X -> Bit operator. | 209 // Select the correct X -> Bit operator. |
| 210 Operator* op; | 210 const Operator* op; |
| 211 if (output_type & rWord) { | 211 if (output_type & rWord) { |
| 212 return node; // No change necessary. | 212 return node; // No change necessary. |
| 213 } else if (output_type & kRepWord64) { | 213 } else if (output_type & kRepWord64) { |
| 214 return node; // TODO(titzer): No change necessary, on 64-bit. | 214 return node; // TODO(titzer): No change necessary, on 64-bit. |
| 215 } else if (output_type & kRepTagged) { | 215 } else if (output_type & kRepTagged) { |
| 216 op = simplified()->ChangeBoolToBit(); | 216 op = simplified()->ChangeBoolToBit(); |
| 217 } else { | 217 } else { |
| 218 return TypeError(node, output_type, kRepBit); | 218 return TypeError(node, output_type, kRepBit); |
| 219 } | 219 } |
| 220 return jsgraph()->graph()->NewNode(op, node); | 220 return jsgraph()->graph()->NewNode(op, node); |
| 221 } | 221 } |
| 222 | 222 |
| 223 Node* GetWord64RepresentationFor(Node* node, MachineTypeUnion output_type) { | 223 Node* GetWord64RepresentationFor(Node* node, MachineTypeUnion output_type) { |
| 224 if (output_type & kRepBit) { | 224 if (output_type & kRepBit) { |
| 225 return node; // Sloppy comparison -> word64 | 225 return node; // Sloppy comparison -> word64 |
| 226 } | 226 } |
| 227 // Can't really convert Word64 to anything else. Purported to be internal. | 227 // Can't really convert Word64 to anything else. Purported to be internal. |
| 228 return TypeError(node, output_type, kRepWord64); | 228 return TypeError(node, output_type, kRepWord64); |
| 229 } | 229 } |
| 230 | 230 |
| 231 Operator* Int32OperatorFor(IrOpcode::Value opcode) { | 231 const Operator* Int32OperatorFor(IrOpcode::Value opcode) { |
| 232 switch (opcode) { | 232 switch (opcode) { |
| 233 case IrOpcode::kNumberAdd: | 233 case IrOpcode::kNumberAdd: |
| 234 return machine()->Int32Add(); | 234 return machine()->Int32Add(); |
| 235 case IrOpcode::kNumberSubtract: | 235 case IrOpcode::kNumberSubtract: |
| 236 return machine()->Int32Sub(); | 236 return machine()->Int32Sub(); |
| 237 case IrOpcode::kNumberEqual: | 237 case IrOpcode::kNumberEqual: |
| 238 return machine()->Word32Equal(); | 238 return machine()->Word32Equal(); |
| 239 case IrOpcode::kNumberLessThan: | 239 case IrOpcode::kNumberLessThan: |
| 240 return machine()->Int32LessThan(); | 240 return machine()->Int32LessThan(); |
| 241 case IrOpcode::kNumberLessThanOrEqual: | 241 case IrOpcode::kNumberLessThanOrEqual: |
| 242 return machine()->Int32LessThanOrEqual(); | 242 return machine()->Int32LessThanOrEqual(); |
| 243 default: | 243 default: |
| 244 UNREACHABLE(); | 244 UNREACHABLE(); |
| 245 return NULL; | 245 return NULL; |
| 246 } | 246 } |
| 247 } | 247 } |
| 248 | 248 |
| 249 Operator* Uint32OperatorFor(IrOpcode::Value opcode) { | 249 const Operator* Uint32OperatorFor(IrOpcode::Value opcode) { |
| 250 switch (opcode) { | 250 switch (opcode) { |
| 251 case IrOpcode::kNumberAdd: | 251 case IrOpcode::kNumberAdd: |
| 252 return machine()->Int32Add(); | 252 return machine()->Int32Add(); |
| 253 case IrOpcode::kNumberSubtract: | 253 case IrOpcode::kNumberSubtract: |
| 254 return machine()->Int32Sub(); | 254 return machine()->Int32Sub(); |
| 255 case IrOpcode::kNumberEqual: | 255 case IrOpcode::kNumberEqual: |
| 256 return machine()->Word32Equal(); | 256 return machine()->Word32Equal(); |
| 257 case IrOpcode::kNumberLessThan: | 257 case IrOpcode::kNumberLessThan: |
| 258 return machine()->Uint32LessThan(); | 258 return machine()->Uint32LessThan(); |
| 259 case IrOpcode::kNumberLessThanOrEqual: | 259 case IrOpcode::kNumberLessThanOrEqual: |
| 260 return machine()->Uint32LessThanOrEqual(); | 260 return machine()->Uint32LessThanOrEqual(); |
| 261 default: | 261 default: |
| 262 UNREACHABLE(); | 262 UNREACHABLE(); |
| 263 return NULL; | 263 return NULL; |
| 264 } | 264 } |
| 265 } | 265 } |
| 266 | 266 |
| 267 Operator* Float64OperatorFor(IrOpcode::Value opcode) { | 267 const Operator* Float64OperatorFor(IrOpcode::Value opcode) { |
| 268 switch (opcode) { | 268 switch (opcode) { |
| 269 case IrOpcode::kNumberAdd: | 269 case IrOpcode::kNumberAdd: |
| 270 return machine()->Float64Add(); | 270 return machine()->Float64Add(); |
| 271 case IrOpcode::kNumberSubtract: | 271 case IrOpcode::kNumberSubtract: |
| 272 return machine()->Float64Sub(); | 272 return machine()->Float64Sub(); |
| 273 case IrOpcode::kNumberMultiply: | 273 case IrOpcode::kNumberMultiply: |
| 274 return machine()->Float64Mul(); | 274 return machine()->Float64Mul(); |
| 275 case IrOpcode::kNumberDivide: | 275 case IrOpcode::kNumberDivide: |
| 276 return machine()->Float64Div(); | 276 return machine()->Float64Div(); |
| 277 case IrOpcode::kNumberModulus: | 277 case IrOpcode::kNumberModulus: |
| (...skipping 61 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 339 JSGraph* jsgraph() { return jsgraph_; } | 339 JSGraph* jsgraph() { return jsgraph_; } |
| 340 Isolate* isolate() { return isolate_; } | 340 Isolate* isolate() { return isolate_; } |
| 341 SimplifiedOperatorBuilder* simplified() { return simplified_; } | 341 SimplifiedOperatorBuilder* simplified() { return simplified_; } |
| 342 MachineOperatorBuilder* machine() { return machine_; } | 342 MachineOperatorBuilder* machine() { return machine_; } |
| 343 }; | 343 }; |
| 344 } | 344 } |
| 345 } | 345 } |
| 346 } // namespace v8::internal::compiler | 346 } // namespace v8::internal::compiler |
| 347 | 347 |
| 348 #endif // V8_COMPILER_REPRESENTATION_CHANGE_H_ | 348 #endif // V8_COMPILER_REPRESENTATION_CHANGE_H_ |
| OLD | NEW |