Merge pull request #6425 from ethereum/test-requiring-constantinople

Add bitshift optimizer tests

test/libyul/yulOptimizerTests/expressionSimplifier/remove_redundant_shift_masking.yul

@@ -0,0 +1,16 @@
+{
+    let a := and(0xff, shr(248, calldataload(0)))
+    let b := and(shr(248, calldataload(0)), 0xff)
+    let c := and(shr(249, calldataload(0)), 0xfa)
+    let d := and(shr(247, calldataload(0)), 0xff)
+}
+// ====
+// EVMVersion: >byzantium
+// step: expressionSimplifier
+// ----
+// {
+//     let a := shr(248, calldataload(0))
+//     let b := shr(248, calldataload(0))
+//     let c := and(shr(249, calldataload(0)), 0xfa)
+//     let d := and(shr(247, calldataload(0)), 0xff)
+// }

test/libyul/yulOptimizerTests/expressionSimplifier/replace_too_large_shift.yul

@@ -0,0 +1,16 @@
+{
+    let a := shl(299, calldataload(0))
+    let b := shr(299, calldataload(1))
+    let c := shl(255, calldataload(2))
+    let d := shr(255, calldataload(3))
+}
+// ====
+// EVMVersion: >byzantium
+// step: expressionSimplifier
+// ----
+// {
+//     let a := 0
+//     let b := 0
+//     let c := shl(255, calldataload(2))
+//     let d := shr(255, calldataload(3))
+// }