Optimize signed variants of getAmount0Delta and getAmount1Delta

.forge-snapshots/add liquidity to already existing position with salt.snap

@@ -1 +1 @@
-149323
+149249

.forge-snapshots/addLiquidity CA fee.snap

@@ -1 +1 @@
-326027
+325953

.forge-snapshots/addLiquidity with empty hook.snap

@@ -1 +1 @@
-280141
+280067

.forge-snapshots/addLiquidity with native token.snap

@@ -1 +1 @@
-139529
+139455

.forge-snapshots/create new liquidity to a position with salt.snap

@@ -1 +1 @@
-297501
+297427

.forge-snapshots/poolManager bytecode size.snap

@@ -1 +1 @@
-19986
+19961

.forge-snapshots/removeLiquidity CA fee.snap

@@ -1 +1 @@
-181644
+181594

.forge-snapshots/removeLiquidity with empty hook.snap

@@ -1 +1 @@
-135933
+135883

.forge-snapshots/removeLiquidity with native token.snap

@@ -1 +1 @@
-115761
+115711

.forge-snapshots/simple addLiquidity second addition same range.snap

@@ -1 +1 @@
-102765
+102728

.forge-snapshots/simple addLiquidity.snap

@@ -1 +1 @@
-165257
+165220

.forge-snapshots/simple removeLiquidity some liquidity remains.snap

@@ -1 +1 @@
-96504
+96479

.forge-snapshots/simple removeLiquidity.snap

@@ -1 +1 @@
-88544
+88519

src/libraries/SqrtPriceMath.sol

@@ -259,10 +259,30 @@ library SqrtPriceMath {
         pure
         returns (int256 amount0)
     {
-        unchecked {
-            return liquidity < 0
-                ? getAmount0Delta(sqrtPriceAX96, sqrtPriceBX96, uint128(-liquidity), false).toInt256()
-                : -getAmount0Delta(sqrtPriceAX96, sqrtPriceBX96, uint128(liquidity), true).toInt256();
+        /**
+         * Equivalent to:
+         *   amount0 = liquidity < 0
+         *       ? getAmount0Delta(sqrtPriceAX96, sqrtPriceBX96, uint128(-liquidity), false).toInt256()
+         *       : -getAmount0Delta(sqrtPriceAX96, sqrtPriceBX96, uint128(liquidity), true).toInt256();
+         */
+        bool roundUp;
+        uint128 liquidityAbs;
+        assembly {
+            // mask = 0 if liquidity >= 0 else -1
+            let mask := sar(255, liquidity)
+            // roundUp = 1 if liquidity >= 0 else 0
+            roundUp := iszero(mask)
+            liquidityAbs := xor(mask, add(mask, liquidity))
+        }
+        // amount0Abs = liquidity / sqrt(lower) - liquidity / sqrt(upper) < type(uint224).max
+        // always fits in 224 bits, no need for toInt256()
+        uint256 amount0Abs = getAmount0Delta(sqrtPriceAX96, sqrtPriceBX96, liquidityAbs, roundUp);
+        assembly {
+            // mask = -1 if liquidity >= 0 else 0
+            let mask := sub(0, roundUp)
+            // If liquidity < 0, amount0 = |amount0| = 0 ^ |amount0|
+            // If liquidity >= 0, amount0 = -|amount0| = ~|amount0| + 1 = (-1) ^ |amount0| - (-1)
+            amount0 := sub(xor(amount0Abs, mask), mask)
         }
     }
 
@@ -276,10 +296,30 @@ library SqrtPriceMath {
         pure
         returns (int256 amount1)
     {
-        unchecked {
-            return liquidity < 0
-                ? getAmount1Delta(sqrtPriceAX96, sqrtPriceBX96, uint128(-liquidity), false).toInt256()
-                : -getAmount1Delta(sqrtPriceAX96, sqrtPriceBX96, uint128(liquidity), true).toInt256();
+        /**
+         * Equivalent to:
+         *   amount1 = liquidity < 0
+         *       ? getAmount1Delta(sqrtPriceAX96, sqrtPriceBX96, uint128(-liquidity), false).toInt256()
+         *       : -getAmount1Delta(sqrtPriceAX96, sqrtPriceBX96, uint128(liquidity), true).toInt256();
+         */
+        bool roundUp;
+        uint128 liquidityAbs;
+        assembly {
+            // mask = 0 if liquidity >= 0 else -1
+            let mask := sar(255, liquidity)
+            // roundUp = 1 if liquidity >= 0 else 0
+            roundUp := iszero(mask)
+            liquidityAbs := xor(mask, add(mask, liquidity))
+        }
+        // amount1Abs = liquidity * (sqrt(upper) - sqrt(lower)) < type(uint192).max
+        // always fits in 192 bits, no need for toInt256()
+        uint256 amount1Abs = getAmount1Delta(sqrtPriceAX96, sqrtPriceBX96, liquidityAbs, roundUp);
+        assembly {
+            // mask = -1 if liquidity >= 0 else 0
+            let mask := sub(0, roundUp)
+            // If liquidity < 0, amount1 = |amount1| = 0 ^ |amount1|
+            // If liquidity >= 0, amount1 = -|amount1| = ~|amount1| + 1 = (-1) ^ |amount1| - (-1)
+            amount1 := sub(xor(amount1Abs, mask), mask)
         }
     }
 }