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

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: test/codegen/expect/language/range_analysis3_test.js

Issue 2128353002: Check in codegen test expectations. (Closed) Base URL: git@github.com:dart-lang/dev_compiler.git@master
Patch Set: Created 4 years, 5 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 side-by-side diff with in-line comments
Download patch
« no previous file with comments | « test/codegen/expect/language/range_analysis2_test.js ('k') | test/codegen/expect/language/range_analysis_test.js » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: test/codegen/expect/language/range_analysis3_test.js
diff --git a/test/codegen/expect/language/range_analysis3_test.js b/test/codegen/expect/language/range_analysis3_test.js
new file mode 100644
index 0000000000000000000000000000000000000000..9700ed6c0fc1a5d59d6da5a708a58c0bd281113f
--- /dev/null
+++ b/test/codegen/expect/language/range_analysis3_test.js
@@ -0,0 +1,189 @@
+dart_library.library('language/range_analysis3_test', null, /* Imports */[
+ 'dart_sdk',
+ 'expect'
+], function load__range_analysis3_test(exports, dart_sdk, expect) {
+ 'use strict';
+ const core = dart_sdk.core;
+ const dart = dart_sdk.dart;
+ const dartx = dart_sdk.dartx;
+ const expect$ = expect.expect;
+ const range_analysis3_test = Object.create(null);
+ let dynamicTodynamic = () => (dynamicTodynamic = dart.constFn(dart.definiteFunctionType(dart.dynamic, [dart.dynamic])))();
+ let VoidTodynamic = () => (VoidTodynamic = dart.constFn(dart.definiteFunctionType(dart.dynamic, [])))();
+ range_analysis3_test.confuse = function(x) {
+ if (new core.DateTime.now().millisecondsSinceEpoch == 0) {
+ return range_analysis3_test.confuse(dart.dsend(x, '+', 1));
+ } else if (new core.DateTime.now().millisecondsSinceEpoch == 0) {
+ return range_analysis3_test.confuse(dart.dsend(x, '-', 1));
+ }
+ return x;
+ };
+ dart.fn(range_analysis3_test.confuse, dynamicTodynamic());
+ range_analysis3_test.test1 = function() {
+ let x = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) x = -1;
+ let y = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) y = 1;
+ let zero = 0;
+ let status = "bad";
+ if (x < zero) {
+ expect$.Expect.fail("unreachable");
+ } else {
+ if (y <= zero) {
+ status = "good";
+ }
+ }
+ expect$.Expect.equals("good", status);
+ };
+ dart.fn(range_analysis3_test.test1, VoidTodynamic());
+ range_analysis3_test.test2 = function() {
+ let x = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) x = -1;
+ let y = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) y = 1;
+ if (dart.equals(range_analysis3_test.confuse(1), 2)) y = -1;
+ let status = "good";
+ if (x < y) {
+ expect$.Expect.fail("unreachable");
+ } else {
+ if (y == -1) {
+ status = "bad";
+ }
+ }
+ expect$.Expect.equals("good", status);
+ };
+ dart.fn(range_analysis3_test.test2, VoidTodynamic());
+ range_analysis3_test.test3a = function() {
+ let x = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) x = -1;
+ if (dart.equals(range_analysis3_test.confuse(1), 2)) x = 1;
+ let y = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) y = 1;
+ if (dart.equals(range_analysis3_test.confuse(1), 2)) y = -1;
+ let status = "good";
+ if (x < y) {
+ expect$.Expect.fail("unreachable");
+ } else {
+ if (x <= -1) status = "bad";
+ if (x >= 1) status = "bad";
+ if (x < 0) status = "bad";
+ if (x > 0) status = "bad";
+ if (-1 >= x) status = "bad";
+ if (1 <= x) status = "bad";
+ if (0 > x) status = "bad";
+ if (0 < x) status = "bad";
+ if (y <= -1) status = "bad";
+ if (y >= 1) status = "bad";
+ if (y < 0) status = "bad";
+ if (y > 0) status = "bad";
+ if (-1 >= y) status = "bad";
+ if (1 <= y) status = "bad";
+ if (0 > y) status = "bad";
+ if (0 < y) status = "bad";
+ }
+ expect$.Expect.equals("good", status);
+ };
+ dart.fn(range_analysis3_test.test3a, VoidTodynamic());
+ range_analysis3_test.test3b = function() {
+ let x = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) x = -2;
+ let y = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) y = 1;
+ if (dart.equals(range_analysis3_test.confuse(1), 2)) y = -1;
+ let status = "good";
+ if (x < y) {
+ expect$.Expect.fail("unreachable");
+ } else {
+ if (x <= -1) status = "bad";
+ if (x >= 1) status = "bad";
+ if (x < 0) status = "bad";
+ if (x > 0) status = "bad";
+ if (-1 >= x) status = "bad";
+ if (1 <= x) status = "bad";
+ if (0 > x) status = "bad";
+ if (0 < x) status = "bad";
+ if (y <= -1) status = "bad";
+ if (y >= 1) status = "bad";
+ if (y < 0) status = "bad";
+ if (y > 0) status = "bad";
+ if (-1 >= y) status = "bad";
+ if (1 <= y) status = "bad";
+ if (0 > y) status = "bad";
+ if (0 < y) status = "bad";
+ }
+ expect$.Expect.equals("good", status);
+ };
+ dart.fn(range_analysis3_test.test3b, VoidTodynamic());
+ range_analysis3_test.test4a = function() {
+ let x = -1;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) x = 1;
+ let y = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) y = 1;
+ if (dart.equals(range_analysis3_test.confuse(1), 2)) y = -1;
+ let status = "good";
+ if (x < y) {
+ if (x <= -2) status = "bad";
+ if (x >= 0) status = "bad";
+ if (x < -1) status = "bad";
+ if (x > -1) status = "bad";
+ if (-2 >= x) status = "bad";
+ if (0 <= x) status = "bad";
+ if (-1 > x) status = "bad";
+ if (-1 < x) status = "bad";
+ if (y <= -1) status = "bad";
+ if (y >= 1) status = "bad";
+ if (y < 0) status = "bad";
+ if (y > 0) status = "bad";
+ if (-1 >= y) status = "bad";
+ if (1 <= y) status = "bad";
+ if (0 > y) status = "bad";
+ if (0 < y) status = "bad";
+ } else {
+ expect$.Expect.fail("unreachable");
+ }
+ expect$.Expect.equals("good", status);
+ };
+ dart.fn(range_analysis3_test.test4a, VoidTodynamic());
+ range_analysis3_test.test4b = function() {
+ let x = -1;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) x = -2;
+ if (dart.equals(range_analysis3_test.confuse(1), 2)) x = 0;
+ let y = 0;
+ if (dart.equals(range_analysis3_test.confuse(0), 1)) y = 1;
+ if (dart.equals(range_analysis3_test.confuse(1), 2)) y = -1;
+ let status = "good";
+ if (x < y) {
+ if (x <= -2) status = "bad";
+ if (x >= 0) status = "bad";
+ if (x < -1) status = "bad";
+ if (x > -1) status = "bad";
+ if (-2 >= x) status = "bad";
+ if (0 <= x) status = "bad";
+ if (-1 > x) status = "bad";
+ if (-1 < x) status = "bad";
+ if (y <= -1) status = "bad";
+ if (y >= 1) status = "bad";
+ if (y < 0) status = "bad";
+ if (y > 0) status = "bad";
+ if (-1 >= y) status = "bad";
+ if (1 <= y) status = "bad";
+ if (0 > y) status = "bad";
+ if (0 < y) status = "bad";
+ } else {
+ expect$.Expect.fail("unreachable");
+ }
+ expect$.Expect.equals("good", status);
+ };
+ dart.fn(range_analysis3_test.test4b, VoidTodynamic());
+ range_analysis3_test.main = function() {
+ range_analysis3_test.test1();
+ range_analysis3_test.test2();
+ range_analysis3_test.test3a();
+ range_analysis3_test.test3b();
+ range_analysis3_test.test4a();
+ range_analysis3_test.test4b();
+ };
+ dart.fn(range_analysis3_test.main, VoidTodynamic());
+ // Exports:
+ exports.range_analysis3_test = range_analysis3_test;
+});
« no previous file with comments | « test/codegen/expect/language/range_analysis2_test.js ('k') | test/codegen/expect/language/range_analysis_test.js » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698