Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(418)

Side by Side Diff: src/compiler/effect-control-linearizer.cc

Issue 1941373002: [turbofan] Remove atomic regions during effect/control linearization. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@Jaro
Patch Set: Created 4 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « no previous file | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2015 the V8 project authors. All rights reserved. 1 // Copyright 2015 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 #include "src/compiler/effect-control-linearizer.h" 5 #include "src/compiler/effect-control-linearizer.h"
6 6
7 #include "src/code-factory.h" 7 #include "src/code-factory.h"
8 #include "src/compiler/access-builder.h" 8 #include "src/compiler/access-builder.h"
9 #include "src/compiler/js-graph.h" 9 #include "src/compiler/js-graph.h"
10 #include "src/compiler/linkage.h" 10 #include "src/compiler/linkage.h"
(...skipping 272 matching lines...) Expand 10 before | Expand all | Expand 10 after
283 if (TryWireInStateEffect(node, effect, control)) { 283 if (TryWireInStateEffect(node, effect, control)) {
284 return; 284 return;
285 } 285 }
286 286
287 // Remove the end markers of 'atomic' allocation region because the 287 // Remove the end markers of 'atomic' allocation region because the
288 // region should be wired-in now. 288 // region should be wired-in now.
289 if (node->opcode() == IrOpcode::kFinishRegion || 289 if (node->opcode() == IrOpcode::kFinishRegion ||
290 node->opcode() == IrOpcode::kBeginRegion) { 290 node->opcode() == IrOpcode::kBeginRegion) {
291 // Update the value uses to the value input of the finish node and 291 // Update the value uses to the value input of the finish node and
292 // the effect uses to the effect input. 292 // the effect uses to the effect input.
293 293 return RemoveRegionNode(node);
294 // TODO(jarin) Enable this once we make sure everything with side effects
295 // is marked as effectful.
296 if (false) {
297 return RemoveRegionNode(node);
298 }
299 } 294 }
300 295
301 if (node->opcode() == IrOpcode::kIfSuccess) { 296 if (node->opcode() == IrOpcode::kIfSuccess) {
302 // We always schedule IfSuccess with its call, so skip it here. 297 // We always schedule IfSuccess with its call, so skip it here.
303 DCHECK_EQ(IrOpcode::kCall, node->InputAt(0)->opcode()); 298 DCHECK_EQ(IrOpcode::kCall, node->InputAt(0)->opcode());
304 // The IfSuccess node should not belong to an exceptional call node 299 // The IfSuccess node should not belong to an exceptional call node
305 // because such IfSuccess nodes should only start a basic block (and 300 // because such IfSuccess nodes should only start a basic block (and
306 // basic block start nodes are not handled in the ProcessNode method). 301 // basic block start nodes are not handled in the ProcessNode method).
307 DCHECK(!NodeProperties::IsExceptionalCall(node->InputAt(0))); 302 DCHECK(!NodeProperties::IsExceptionalCall(node->InputAt(0)));
308 return; 303 return;
(...skipping 592 matching lines...) Expand 10 before | Expand all | Expand 10 after
901 effect = graph()->NewNode(common()->EffectPhi(2), etrue, efalse, control); 896 effect = graph()->NewNode(common()->EffectPhi(2), etrue, efalse, control);
902 value = graph()->NewNode(common()->Phi(MachineRepresentation::kBit, 2), vtrue, 897 value = graph()->NewNode(common()->Phi(MachineRepresentation::kBit, 2), vtrue,
903 vfalse, control); 898 vfalse, control);
904 899
905 return ValueEffectControl(value, effect, control); 900 return ValueEffectControl(value, effect, control);
906 } 901 }
907 902
908 EffectControlLinearizer::ValueEffectControl 903 EffectControlLinearizer::ValueEffectControl
909 EffectControlLinearizer::AllocateHeapNumberWithValue(Node* value, Node* effect, 904 EffectControlLinearizer::AllocateHeapNumberWithValue(Node* value, Node* effect,
910 Node* control) { 905 Node* control) {
911 effect = graph()->NewNode(common()->BeginRegion(), effect);
912 Node* result = effect = graph()->NewNode( 906 Node* result = effect = graph()->NewNode(
913 simplified()->Allocate(NOT_TENURED), 907 simplified()->Allocate(NOT_TENURED),
914 jsgraph()->Int32Constant(HeapNumber::kSize), effect, control); 908 jsgraph()->Int32Constant(HeapNumber::kSize), effect, control);
915 effect = graph()->NewNode(simplified()->StoreField(AccessBuilder::ForMap()), 909 effect = graph()->NewNode(simplified()->StoreField(AccessBuilder::ForMap()),
916 result, jsgraph()->HeapNumberMapConstant(), effect, 910 result, jsgraph()->HeapNumberMapConstant(), effect,
917 control); 911 control);
918 effect = graph()->NewNode( 912 effect = graph()->NewNode(
919 simplified()->StoreField(AccessBuilder::ForHeapNumberValue()), result, 913 simplified()->StoreField(AccessBuilder::ForHeapNumberValue()), result,
920 value, effect, control); 914 value, effect, control);
921 result = effect = graph()->NewNode(common()->FinishRegion(), result, effect);
922 return ValueEffectControl(result, effect, control); 915 return ValueEffectControl(result, effect, control);
923 } 916 }
924 917
925 Node* EffectControlLinearizer::ChangeInt32ToSmi(Node* value) { 918 Node* EffectControlLinearizer::ChangeInt32ToSmi(Node* value) {
926 if (machine()->Is64()) { 919 if (machine()->Is64()) {
927 value = graph()->NewNode(machine()->ChangeInt32ToInt64(), value); 920 value = graph()->NewNode(machine()->ChangeInt32ToInt64(), value);
928 } 921 }
929 return graph()->NewNode(machine()->WordShl(), value, SmiShiftBitsConstant()); 922 return graph()->NewNode(machine()->WordShl(), value, SmiShiftBitsConstant());
930 } 923 }
931 924
(...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after
964 return jsgraph()->Int32Constant(Smi::kMaxValue); 957 return jsgraph()->Int32Constant(Smi::kMaxValue);
965 } 958 }
966 959
967 Node* EffectControlLinearizer::SmiShiftBitsConstant() { 960 Node* EffectControlLinearizer::SmiShiftBitsConstant() {
968 return jsgraph()->IntPtrConstant(kSmiShiftSize + kSmiTagSize); 961 return jsgraph()->IntPtrConstant(kSmiShiftSize + kSmiTagSize);
969 } 962 }
970 963
971 } // namespace compiler 964 } // namespace compiler
972 } // namespace internal 965 } // namespace internal
973 } // namespace v8 966 } // namespace v8
OLDNEW
« no previous file with comments | « no previous file | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698