OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 4381 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4392 for (HInstruction* current = blocks_[i]->first(); | 4392 for (HInstruction* current = blocks_[i]->first(); |
4393 current != NULL; | 4393 current != NULL; |
4394 current = current->next()) { | 4394 current = current->next()) { |
4395 if (current->IsChange()) { | 4395 if (current->IsChange()) { |
4396 HChange* change = HChange::cast(current); | 4396 HChange* change = HChange::cast(current); |
4397 // Propagate flags for negative zero checks upwards from conversions | 4397 // Propagate flags for negative zero checks upwards from conversions |
4398 // int32-to-tagged and int32-to-double. | 4398 // int32-to-tagged and int32-to-double. |
4399 Representation from = change->value()->representation(); | 4399 Representation from = change->value()->representation(); |
4400 ASSERT(from.Equals(change->from())); | 4400 ASSERT(from.Equals(change->from())); |
4401 if (from.IsInteger32()) { | 4401 if (from.IsInteger32()) { |
4402 ASSERT(change->to().IsTagged() || change->to().IsDouble()); | 4402 ASSERT(change->to().IsTagged() || |
| 4403 change->to().IsDouble() || |
| 4404 change->to().IsSmi()); |
4403 ASSERT(visited.IsEmpty()); | 4405 ASSERT(visited.IsEmpty()); |
4404 PropagateMinusZeroChecks(change->value(), &visited); | 4406 PropagateMinusZeroChecks(change->value(), &visited); |
4405 visited.Clear(); | 4407 visited.Clear(); |
4406 } | 4408 } |
4407 } | 4409 } |
4408 } | 4410 } |
4409 } | 4411 } |
4410 } | 4412 } |
4411 | 4413 |
4412 | 4414 |
(...skipping 8056 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
12469 } | 12471 } |
12470 } | 12472 } |
12471 | 12473 |
12472 #ifdef DEBUG | 12474 #ifdef DEBUG |
12473 if (graph_ != NULL) graph_->Verify(false); // No full verify. | 12475 if (graph_ != NULL) graph_->Verify(false); // No full verify. |
12474 if (allocator_ != NULL) allocator_->Verify(); | 12476 if (allocator_ != NULL) allocator_->Verify(); |
12475 #endif | 12477 #endif |
12476 } | 12478 } |
12477 | 12479 |
12478 } } // namespace v8::internal | 12480 } } // namespace v8::internal |
OLD | NEW |