Improved expression simplification + more unit tests

MiniMETestCases/TestScripts/OperatorLtrPrecedence.txt

@@ -0,0 +1,81 @@
+// [Formatted][NoObfuscate]
+var x;
+x=a+b+c;
+x=a*b+c;
+x=a*(b+c);
+x=a/b+c;
+x=a/(b+c);
+x=a%b+c;
+x=a%(b+c);
+x=a*b-c;
+x=a*(b-c);
+x=a/b-c;
+x=a/(b-c);
+x=a%b-c;
+x=a%(b-c);
+x=a+(b*c);
+x=a-(b*c);
+x=a+(b/c);
+x=a-(b/c);
+x=a+(b%c);
+x=a-(b%c);
+x=a-d*(b%c);
+x=a-d/(b%c);
+x=a<<b>>c;
+x=a<<b>>>c;
+x=a>>b<<c;
+x=a>>>b<<c;
+x=a<<(b>>c);
+x=a<<(b>>>c);
+x=a>>(b<<c);
+x=a>>>(b<<c);
+x=a||b&&c;
+x=(a||b)&&c;
+x=a||(b&&c);
+x=a|b&c;
+x=(a|b)&c;
+x=a|(b&c);
+x=a|b^c;
+x=(a|b)^c;
+x=a|(b^c);
+-----
+var x;
+x=a+b+c;
+x=a*b+c;
+x=a*(b+c);
+x=a/b+c;
+x=a/(b+c);
+x=a%b+c;
+x=a%(b+c);
+x=a*b-c;
+x=a*(b-c);
+x=a/b-c;
+x=a/(b-c);
+x=a%b-c;
+x=a%(b-c);
+x=a+b*c;
+x=a-b*c;
+x=a+b/c;
+x=a-b/c;
+x=a+b%c;
+x=a-b%c;
+x=a-d*(b%c);
+x=a-d/(b%c);
+x=a<<b>>c;
+x=a<<b>>>c;
+x=a>>b<<c;
+x=a>>>b<<c;
+x=a<<(b>>c);
+x=a<<(b>>>c);
+x=a>>(b<<c);
+x=a>>>(b<<c);
+x=a||b&&c;
+x=(a||b)&&c;
+x=a||b&&c;
+x=a|b&c;
+x=(a|b)&c;
+x=a|b&c;
+x=a|b^c;
+x=(a|b)^c;
+x=a|b^c;
+-----

MiniMETestCases/TestScripts/SimplifyAdd.txt

@@ -0,0 +1,19 @@
+// [Formatted][NoObfuscate]
+var x;
+x=a+b+c;
+x=a+(b+c);
+x=a-(b+c);
+x=(a-b)+c;
+x=(a-b)-(c-d);
+x=a+-1;
+x=a-(-b+c);
+-----
+var x;
+x=a+b+c;
+x=a+b+c;
+x=a-b-c;
+x=a-b+c;
+x=a-b-c+d;
+x=a-1;
+x=a+b-c;
+-----

MiniMETestCases/TestScripts/SimplifyMultiply.txt

@@ -0,0 +1,29 @@
+// [Formatted][NoObfuscate]
+var x;
+x=a*b*c;		
+x=a*(b*c);		// Parens can be removed
+x=-a*-b;		// Negative * negative = positive
+x=-a*-b*-c;		// Triple negative = single negative
+x=a/(b*c);		// This should stay as is.  We don't optimize division of nested terms.
+x=a/(b/c);		// Same here.
+x=a*(b%c);		// Never optimize modulus
+x=a*(b*c%d);
+x=a*(b/c);
+x=a*(b/(c%d));
+x=a*(b%c*d);
+x=a*(b%c*d/e);
+-----
+var x;
+x=a*b*c;
+x=a*b*c;
+x=a*b;
+x=-a*b*c;
+x=a/(b*c);
+x=a/(b/c);
+x=a*(b%c);
+x=a*(b*c%d);
+x=a*b/c;
+x=a*b/(c%d);
+x=a*(b%c)*d;
+x=a*(b%c)*d/e;
+-----

MiniMETestCases/TestScripts/SimplifyUnary.txt

@@ -0,0 +1,29 @@
+// [Formatted][NoObfuscate]
+x=-a;
+x=+a;
+x=+(a-b);
+x=-(-a);
+x=+(-a);
+x=-(+a);
+x=+(+a);
+x=-(a+b);
+x=-(a-b);
+x=-(-a+b);
+x=-(-a-b);
+x=-(a*b);
+x=-(a*-b);
+-----
+x=-a;
+x=a;
+x=a-b;
+x=a;
+x=-a;
+x=-a;
+x=a;
+x=-a-b;
+x=-a+b;
+x=a-b;
+x=a+b;
+x=-a*b;
+x=a*b;
+-----