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

Side by Side Diff: test/cctest/compiler/test-representation-change.cc

Issue 2545393002: [turbofan] Properly check Tagged->Word32 changes. (Closed)
Patch Set: Created 4 years 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 | « src/compiler/representation-change.cc ('k') | 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 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 #include <limits> 5 #include <limits>
6 6
7 #include "test/cctest/cctest.h" 7 #include "test/cctest/cctest.h"
8 #include "test/cctest/compiler/codegen-tester.h" 8 #include "test/cctest/compiler/codegen-tester.h"
9 #include "test/cctest/compiler/graph-builder-tester.h" 9 #include "test/cctest/compiler/graph-builder-tester.h"
10 #include "test/cctest/compiler/value-helper.h" 10 #include "test/cctest/compiler/value-helper.h"
(...skipping 409 matching lines...) Expand 10 before | Expand all | Expand 10 after
420 CheckChange(IrOpcode::kChangeTaggedToUint32, MachineRepresentation::kTagged, 420 CheckChange(IrOpcode::kChangeTaggedToUint32, MachineRepresentation::kTagged,
421 Type::Unsigned32(), MachineRepresentation::kWord32); 421 Type::Unsigned32(), MachineRepresentation::kWord32);
422 CheckChange(IrOpcode::kChangeInt32ToFloat64, MachineRepresentation::kWord32, 422 CheckChange(IrOpcode::kChangeInt32ToFloat64, MachineRepresentation::kWord32,
423 Type::Signed32(), MachineRepresentation::kFloat64); 423 Type::Signed32(), MachineRepresentation::kFloat64);
424 CheckChange(IrOpcode::kChangeFloat64ToInt32, MachineRepresentation::kFloat64, 424 CheckChange(IrOpcode::kChangeFloat64ToInt32, MachineRepresentation::kFloat64,
425 Type::Signed32(), MachineRepresentation::kWord32); 425 Type::Signed32(), MachineRepresentation::kWord32);
426 CheckChange(IrOpcode::kTruncateFloat64ToWord32, 426 CheckChange(IrOpcode::kTruncateFloat64ToWord32,
427 MachineRepresentation::kFloat64, Type::Number(), 427 MachineRepresentation::kFloat64, Type::Number(),
428 MachineRepresentation::kWord32); 428 MachineRepresentation::kWord32);
429 CheckChange(IrOpcode::kCheckedTruncateTaggedToWord32, 429 CheckChange(IrOpcode::kCheckedTruncateTaggedToWord32,
430 MachineRepresentation::kTagged, Type::NumberOrOddball(), 430 MachineRepresentation::kTagged, Type::NonInternal(),
431 MachineRepresentation::kWord32, 431 MachineRepresentation::kWord32,
432 UseInfo::CheckedNumberOrOddballAsWord32()); 432 UseInfo::CheckedNumberOrOddballAsWord32());
433 433
434 CheckTwoChanges(IrOpcode::kChangeInt32ToFloat64, 434 CheckTwoChanges(IrOpcode::kChangeInt32ToFloat64,
435 IrOpcode::kTruncateFloat64ToFloat32, 435 IrOpcode::kTruncateFloat64ToFloat32,
436 MachineRepresentation::kWord32, Type::Signed32(), 436 MachineRepresentation::kWord32, Type::Signed32(),
437 MachineRepresentation::kFloat32); 437 MachineRepresentation::kFloat32);
438 CheckTwoChanges(IrOpcode::kChangeFloat32ToFloat64, 438 CheckTwoChanges(IrOpcode::kChangeFloat32ToFloat64,
439 IrOpcode::kTruncateFloat64ToWord32, 439 IrOpcode::kTruncateFloat64ToWord32,
440 MachineRepresentation::kFloat32, Type::Number(), 440 MachineRepresentation::kFloat32, Type::Number(),
(...skipping 90 matching lines...) Expand 10 before | Expand all | Expand 10 after
531 MachineRepresentation::kWord64); 531 MachineRepresentation::kWord64);
532 r.CheckTypeError(MachineRepresentation::kWord32, Type::Signed32(), 532 r.CheckTypeError(MachineRepresentation::kWord32, Type::Signed32(),
533 MachineRepresentation::kWord64); 533 MachineRepresentation::kWord64);
534 r.CheckTypeError(MachineRepresentation::kWord32, Type::Unsigned32(), 534 r.CheckTypeError(MachineRepresentation::kWord32, Type::Unsigned32(),
535 MachineRepresentation::kWord64); 535 MachineRepresentation::kWord64);
536 } 536 }
537 537
538 } // namespace compiler 538 } // namespace compiler
539 } // namespace internal 539 } // namespace internal
540 } // namespace v8 540 } // namespace v8
OLDNEW
« no previous file with comments | « src/compiler/representation-change.cc ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698