scala-wasm
diff --git a/‎linker/shared/src/main/scala/org/scalajs/linker/frontend/optimizer/OptimizerCore.scala
Lines changed: 16 additions & 0 deletions b/‎linker/shared/src/main/scala/org/scalajs/linker/frontend/optimizer/OptimizerCore.scala
Lines changed: 16 additions & 0 deletions
diff --git a/‎project/Build.scala
Lines changed: 11 additions & 11 deletions b/‎project/Build.scala
Lines changed: 11 additions & 11 deletions
@@ -4167,6 +4167,10 @@ private[optimizer] abstract class OptimizerCore(
                   PreTransLit(IntLiteral(y)), z)) =>
             foldBinaryOp(innerOp, PreTransLit(IntLiteral(x + y)), z)
 
+          // 1 + (-1 ^ x) == 1 + ~x == -x == 0 - x (this appears when optimizing a Range with step == -1)
+          case (PreTransLit(IntLiteral(1)), PreTransBinaryOp(Int_^, PreTransLit(IntLiteral(-1)), x)) =>
+            foldBinaryOp(Int_-, PreTransLit(IntLiteral(0)), x)
+
           case _ => default
         }
 
@@ -4435,6 +4439,9 @@ private[optimizer] abstract class OptimizerCore(
               PreTransLit(IntLiteral(z))) =>
             foldBinaryOp(op, y, PreTransLit(IntLiteral(x ^ z)))
 
+          case (PreTransLocalDef(l), PreTransLocalDef(r)) if l eq r =>
+            booleanLit(op == Int_==)
+
           case (PreTransLit(_), _) => foldBinaryOp(op, rhs, lhs)
 
           case _ => default
@@ -4486,6 +4493,9 @@ private[optimizer] abstract class OptimizerCore(
               case _ => default
             }
 
+          case (PreTransLocalDef(l), PreTransLocalDef(r)) if l eq r =>
+            booleanLit(op == Int_<= || op == Int_>=)
+
           case (PreTransLit(IntLiteral(_)), _) =>
             foldBinaryOp(flippedOp, rhs, lhs)
 
@@ -4729,6 +4739,9 @@ private[optimizer] abstract class OptimizerCore(
               PreTransLit(LongLiteral(z))) =>
             foldBinaryOp(op, y, PreTransLit(LongLiteral(x ^ z)))
 
+          case (PreTransLocalDef(l), PreTransLocalDef(r)) if l eq r =>
+            booleanLit(positive)
+
           case (PreTransLit(LongLiteral(_)), _) => foldBinaryOp(op, rhs, lhs)
 
           case _ => default
@@ -4852,6 +4865,9 @@ private[optimizer] abstract class OptimizerCore(
               } (finishTransform(isStat = false))(emptyScope)
             }.toPreTransform
 
+          case (PreTransLocalDef(l), PreTransLocalDef(r)) if l eq r =>
+            booleanLit(op == Long_<= || op == Long_>=)
+
           case (PreTransLit(LongLiteral(_)), _) =>
             foldBinaryOp(flippedOp, rhs, lhs)
 
 
@@ -2053,32 +2053,32 @@ object Build {
           case `default212Version` =>
             if (!useMinifySizes) {
               Some(ExpectedSizes(
-                  fastLink = 626000 to 627000,
-                  fullLink = 96000 to 97000,
+                  fastLink = 624000 to 625000,
+                  fullLink = 94000 to 95000,
                   fastLinkGz = 75000 to 79000,
-                  fullLinkGz = 25000 to 26000,
+                  fullLinkGz = 24000 to 25000,
               ))
             } else {
               Some(ExpectedSizes(
-                  fastLink = 425000 to 426000,
-                  fullLink = 283000 to 284000,
-                  fastLinkGz = 61000 to 62000,
+                  fastLink = 424000 to 425000,
+                  fullLink = 281000 to 282000,
+                  fastLinkGz = 60000 to 61000,
                   fullLinkGz = 43000 to 44000,
               ))
             }
 
           case `default213Version` =>
             if (!useMinifySizes) {
               Some(ExpectedSizes(
-                  fastLink = 443000 to 444000,
-                  fullLink = 92000 to 93000,
+                  fastLink = 442000 to 443000,
+                  fullLink = 90000 to 91000,
                   fastLinkGz = 57000 to 58000,
-                  fullLinkGz = 25000 to 26000,
+                  fullLinkGz = 24000 to 25000,
               ))
             } else {
               Some(ExpectedSizes(
-                  fastLink = 301000 to 302000,
-                  fullLink = 258000 to 259000,
+                  fastLink = 299000 to 300000,
+                  fullLink = 257000 to 258000,
                   fastLinkGz = 47000 to 48000,
                   fullLinkGz = 42000 to 43000,
               ))