Division between deterministic tokens is now solely handled by consta…

…nt folding
Muqsit · Nov 3, 2022 · 1990dfa · 1990dfa
1 parent e38a5ba
commit 1990dfa
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/tests/muqsit/arithmexp/OptimizerTest.php b/tests/muqsit/arithmexp/OptimizerTest.php
@@ -61,6 +61,12 @@ public function testConstantPropagationOptimization() : void{
 		self::assertExpressionsEqual($expected, $actual);
 	}
 
+	public function testDivisionConstantFoldingForEqualOperandsReturningNan() : void{
+		$expression = $this->parser->parse("sqrt(-1) / sqrt(-1)");
+		self::assertInstanceOf(ConstantExpression::class, $expression);
+		self::assertNan($expression->evaluate());
+	}
+
 	public function testNoOptimization() : void{
 		$actual = $this->parser->parse("37.28 * cos(mt_rand(x, y) / 23.84) ** 3");
 		$expected = $this->unoptimized_parser->parse("cos(mt_rand(x, y) / 23.84) ** 3 * 37.28");
@@ -198,12 +204,6 @@ public function testDivisionOperatorStrengthReductionForEqualOperandsWithGroupin
 		self::assertEquals(1, $expression->evaluate());
 	}
 
-	public function testDivisionOperatorStrengthReductionForEqualOperandsReturningNan() : void{
-		$expression = $this->parser->parse("sqrt(-1) / sqrt(-1)");
-		self::assertInstanceOf(ConstantExpression::class, $expression);
-		self::assertNan($expression->evaluate());
-	}
-
 	public function testDivisionOperatorStrengthReductionForCommutativelyEqualOperands() : void{
 		$expression = $this->parser->parse("(x + y + z) / (y + x + z)");
 		self::assertInstanceOf(ConstantExpression::class, $expression);