Remove unnecassary variables storing in `currentB` and `currentC`
ilitteri opened this issue · 1 comments
ilitteri commented
Context: P256VERIFY.yul#L152
Description:
There is no need to store b and c in additional variables before passing them to switch statement.
Recommendation:
Remove these variables.
TODO: Add bytecode size comparison.
diff --git a/precompiles/P256VERIFY.yul b/precompiles/P256VERIFY.yul
index c75be80..1f82a84 100644
--- a/precompiles/P256VERIFY.yul
+++ b/precompiles/P256VERIFY.yul
@@ -149,8 +149,7 @@ object "P256VERIFY" {
for {} and(iszero(eq(u, 0x1)), iszero(eq(v, 0x1))) {} {
for {} iszero(and(u, 0x1)) {} {
u := shr(1, u)
- let currentB := b
- switch and(currentB, 0x1)
+ switch and(b, 0x1)
case 0 {
b := shr(1, b)
}
@@ -166,8 +165,7 @@ object "P256VERIFY" {
for {} iszero(and(v, 0x1)) {} {
v := shr(1, v)
- let currentC := c
- switch and(currentC, 0x1)
+ switch and(c, 0x1)
case 0 {
c := shr(1, c)
}