Storten Number and Infinity constants

lib/squeeze-more.js

@@ -44,6 +44,37 @@ function ast_squeeze_more(ast) {
                                 }
                         }
                 },
+
+                // shorten Number constants:
+                // Number.POSITIVE_INFINITY to 1/0, Number.NEGATIVE_INFINITY to -1/0, Number.NaN to NaN
+                "dot": function(expr, name) {
+                        if (expr[0] == "name" && expr[1] == "Number" && !scope.has("Number")) {
+                                if (name == "POSITIVE_INFINITY") {
+                                        return [ "binary", "/", [ "num", 1 ], [ "num", 0 ] ];
+                                }
+                                if (name == "NEGATIVE_INFINITY") {
+                                        return [ "binary", "/", [ "num", -1 ], [ "num", 0 ] ];
+                                }
+                                if (name == "NaN" && !scope.has("NaN")) {
+                                        return [ "binary", "/", [ "num", 0 ], [ "num", 0 ] ];
+                                }
+                        }
+                },
+
+                // shorten Infinity constant to 1/0
+                "name": function(name) {
+                        if (name == "Infinity" && !scope.has("Infinity")) {
+                                return [ "binary", "/", [ "num", 1 ], [ "num", 0 ] ];
+                        }
+                },
+
+                // shorten -Infinity constant to -1/0
+                "unary-prefix": function(op, expr) {
+                        if (op == "-" && expr[0] == "name" && expr[1] == "Infinity" && !scope.has("Infinity")) {
+                                return [ "binary", "/", [ "num", -1 ], [ "num", 0 ] ]; 
+                        }
+                },
+
                 "call": function(expr, args) {
                         if (expr[0] == "dot" && expr[1][0] == "string" && args.length == 1
                             && (args[0][1] > 0 && expr[2] == "substring" || expr[2] == "substr")) {

test/unit/compress/expected/infinity.js

@@ -0,0 +1 @@
+function test(){var a={};return a}1/0,-1/0;

test/unit/compress/expected/number1.js

@@ -0,0 +1 @@
+1/0,-1/0,0/0

test/unit/compress/expected/number2.js

@@ -0,0 +1 @@
+(function(){var a={};return a.POSITIVE_INFINITY||a.NEGATIVE_INFINITY||a.NaN})()

test/unit/compress/test/infinity.js

@@ -0,0 +1,8 @@
+Infinity;
+-Infinity;
+
+function test()
+{
+        var Infinity = {};
+        return Infinity;
+}

test/unit/compress/test/number1.js

@@ -0,0 +1,3 @@
+Number.POSITIVE_INFINITY;
+Number.NEGATIVE_INFINITY;
+Number.NaN;

test/unit/compress/test/number2.js

@@ -0,0 +1,4 @@
+(function(){
+        var Number = {};
+        return Number.POSITIVE_INFINITY || Number.NEGATIVE_INFINITY || Number.NaN;
+})();