Index: src/hydrogen-representation-changes.cc |
diff --git a/src/hydrogen-representation-changes.cc b/src/hydrogen-representation-changes.cc |
deleted file mode 100644 |
index 4af4e01a5b81f93700ab5728d910eb21f8814f92..0000000000000000000000000000000000000000 |
--- a/src/hydrogen-representation-changes.cc |
+++ /dev/null |
@@ -1,214 +0,0 @@ |
-// Copyright 2013 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. |
- |
-#include "src/hydrogen-representation-changes.h" |
- |
-namespace v8 { |
-namespace internal { |
- |
-void HRepresentationChangesPhase::InsertRepresentationChangeForUse( |
- HValue* value, HValue* use_value, int use_index, Representation to) { |
- // Insert the representation change right before its use. For phi-uses we |
- // insert at the end of the corresponding predecessor. |
- HInstruction* next = NULL; |
- if (use_value->IsPhi()) { |
- next = use_value->block()->predecessors()->at(use_index)->end(); |
- } else { |
- next = HInstruction::cast(use_value); |
- } |
- // For constants we try to make the representation change at compile |
- // time. When a representation change is not possible without loss of |
- // information we treat constants like normal instructions and insert the |
- // change instructions for them. |
- HInstruction* new_value = NULL; |
- bool is_truncating_to_smi = use_value->CheckFlag(HValue::kTruncatingToSmi); |
- bool is_truncating_to_int = use_value->CheckFlag(HValue::kTruncatingToInt32); |
- if (value->IsConstant()) { |
- HConstant* constant = HConstant::cast(value); |
- // Try to create a new copy of the constant with the new representation. |
- if (is_truncating_to_int && to.IsInteger32()) { |
- Maybe<HConstant*> res = constant->CopyToTruncatedInt32(graph()->zone()); |
- if (res.IsJust()) new_value = res.FromJust(); |
- } else { |
- new_value = constant->CopyToRepresentation(to, graph()->zone()); |
- } |
- } |
- |
- if (new_value == NULL) { |
- new_value = new(graph()->zone()) HChange( |
- value, to, is_truncating_to_smi, is_truncating_to_int); |
- if (!use_value->operand_position(use_index).IsUnknown()) { |
- new_value->set_position(use_value->operand_position(use_index)); |
- } else { |
- DCHECK(!FLAG_hydrogen_track_positions || |
- !graph()->info()->IsOptimizing()); |
- } |
- } |
- |
- new_value->InsertBefore(next); |
- use_value->SetOperandAt(use_index, new_value); |
-} |
- |
- |
-static bool IsNonDeoptingIntToSmiChange(HChange* change) { |
- Representation from_rep = change->from(); |
- Representation to_rep = change->to(); |
- // Flags indicating Uint32 operations are set in a later Hydrogen phase. |
- DCHECK(!change->CheckFlag(HValue::kUint32)); |
- return from_rep.IsInteger32() && to_rep.IsSmi() && SmiValuesAre32Bits(); |
-} |
- |
- |
-void HRepresentationChangesPhase::InsertRepresentationChangesForValue( |
- HValue* value) { |
- Representation r = value->representation(); |
- if (r.IsNone()) { |
-#ifdef DEBUG |
- for (HUseIterator it(value->uses()); !it.Done(); it.Advance()) { |
- HValue* use_value = it.value(); |
- int use_index = it.index(); |
- Representation req = use_value->RequiredInputRepresentation(use_index); |
- DCHECK(req.IsNone()); |
- } |
-#endif |
- return; |
- } |
- if (value->HasNoUses()) { |
- if (value->IsForceRepresentation()) value->DeleteAndReplaceWith(NULL); |
- return; |
- } |
- |
- for (HUseIterator it(value->uses()); !it.Done(); it.Advance()) { |
- HValue* use_value = it.value(); |
- int use_index = it.index(); |
- Representation req = use_value->RequiredInputRepresentation(use_index); |
- if (req.IsNone() || req.Equals(r)) continue; |
- |
- // If this is an HForceRepresentation instruction, and an HChange has been |
- // inserted above it, examine the input representation of the HChange. If |
- // that's int32, and this HForceRepresentation use is int32, and int32 to |
- // smi changes can't cause deoptimisation, set the input of the use to the |
- // input of the HChange. |
- if (value->IsForceRepresentation()) { |
- HValue* input = HForceRepresentation::cast(value)->value(); |
- if (input->IsChange()) { |
- HChange* change = HChange::cast(input); |
- if (change->from().Equals(req) && IsNonDeoptingIntToSmiChange(change)) { |
- use_value->SetOperandAt(use_index, change->value()); |
- continue; |
- } |
- } |
- } |
- InsertRepresentationChangeForUse(value, use_value, use_index, req); |
- } |
- if (value->HasNoUses()) { |
- DCHECK(value->IsConstant() || value->IsForceRepresentation()); |
- value->DeleteAndReplaceWith(NULL); |
- } else { |
- // The only purpose of a HForceRepresentation is to represent the value |
- // after the (possible) HChange instruction. We make it disappear. |
- if (value->IsForceRepresentation()) { |
- value->DeleteAndReplaceWith(HForceRepresentation::cast(value)->value()); |
- } |
- } |
-} |
- |
- |
-void HRepresentationChangesPhase::Run() { |
- // Compute truncation flag for phis: Initially assume that all |
- // int32-phis allow truncation and iteratively remove the ones that |
- // are used in an operation that does not allow a truncating |
- // conversion. |
- ZoneList<HPhi*> int_worklist(8, zone()); |
- ZoneList<HPhi*> smi_worklist(8, zone()); |
- |
- const ZoneList<HPhi*>* phi_list(graph()->phi_list()); |
- for (int i = 0; i < phi_list->length(); i++) { |
- HPhi* phi = phi_list->at(i); |
- if (phi->representation().IsInteger32()) { |
- phi->SetFlag(HValue::kTruncatingToInt32); |
- } else if (phi->representation().IsSmi()) { |
- phi->SetFlag(HValue::kTruncatingToSmi); |
- phi->SetFlag(HValue::kTruncatingToInt32); |
- } |
- } |
- |
- for (int i = 0; i < phi_list->length(); i++) { |
- HPhi* phi = phi_list->at(i); |
- HValue* value = NULL; |
- if (phi->representation().IsSmiOrInteger32() && |
- !phi->CheckUsesForFlag(HValue::kTruncatingToInt32, &value)) { |
- int_worklist.Add(phi, zone()); |
- phi->ClearFlag(HValue::kTruncatingToInt32); |
- if (FLAG_trace_representation) { |
- PrintF("#%d Phi is not truncating Int32 because of #%d %s\n", |
- phi->id(), value->id(), value->Mnemonic()); |
- } |
- } |
- |
- if (phi->representation().IsSmi() && |
- !phi->CheckUsesForFlag(HValue::kTruncatingToSmi, &value)) { |
- smi_worklist.Add(phi, zone()); |
- phi->ClearFlag(HValue::kTruncatingToSmi); |
- if (FLAG_trace_representation) { |
- PrintF("#%d Phi is not truncating Smi because of #%d %s\n", |
- phi->id(), value->id(), value->Mnemonic()); |
- } |
- } |
- } |
- |
- while (!int_worklist.is_empty()) { |
- HPhi* current = int_worklist.RemoveLast(); |
- for (int i = 0; i < current->OperandCount(); ++i) { |
- HValue* input = current->OperandAt(i); |
- if (input->IsPhi() && |
- input->representation().IsSmiOrInteger32() && |
- input->CheckFlag(HValue::kTruncatingToInt32)) { |
- if (FLAG_trace_representation) { |
- PrintF("#%d Phi is not truncating Int32 because of #%d %s\n", |
- input->id(), current->id(), current->Mnemonic()); |
- } |
- input->ClearFlag(HValue::kTruncatingToInt32); |
- int_worklist.Add(HPhi::cast(input), zone()); |
- } |
- } |
- } |
- |
- while (!smi_worklist.is_empty()) { |
- HPhi* current = smi_worklist.RemoveLast(); |
- for (int i = 0; i < current->OperandCount(); ++i) { |
- HValue* input = current->OperandAt(i); |
- if (input->IsPhi() && |
- input->representation().IsSmi() && |
- input->CheckFlag(HValue::kTruncatingToSmi)) { |
- if (FLAG_trace_representation) { |
- PrintF("#%d Phi is not truncating Smi because of #%d %s\n", |
- input->id(), current->id(), current->Mnemonic()); |
- } |
- input->ClearFlag(HValue::kTruncatingToSmi); |
- smi_worklist.Add(HPhi::cast(input), zone()); |
- } |
- } |
- } |
- |
- const ZoneList<HBasicBlock*>* blocks(graph()->blocks()); |
- for (int i = 0; i < blocks->length(); ++i) { |
- // Process phi instructions first. |
- const HBasicBlock* block(blocks->at(i)); |
- const ZoneList<HPhi*>* phis = block->phis(); |
- for (int j = 0; j < phis->length(); j++) { |
- InsertRepresentationChangesForValue(phis->at(j)); |
- } |
- |
- // Process normal instructions. |
- for (HInstruction* current = block->first(); current != NULL; ) { |
- HInstruction* next = current->next(); |
- InsertRepresentationChangesForValue(current); |
- current = next; |
- } |
- } |
-} |
- |
-} // namespace internal |
-} // namespace v8 |