new(tests): DATALOADN with truncated immediate bytes (#1127)

Author: chfast

converted-ethereum-tests.txt

@@ -18,6 +18,7 @@ EOFTests/efValidation/callf_into_nonreturning_.json
 EOFTests/efValidation/EOF1_embedded_container_.json
 EOFTests/efValidation/EOF1_eofcreate_valid_.json
 EOFTests/efValidation/EOF1_callf_truncated_.json
+EOFTests/efValidation/EOF1_dataloadn_truncated_.json
 EOFTests/efValidation/EOF1_valid_rjump_.json
 EOFTests/efValidation/EOF1_valid_rjumpi_.json
 EOFTests/efValidation/EOF1_valid_rjumpv_.json

tests/osaka/eip7692_eof_v1/eip4750_functions/test_code_validation.py

@@ -185,7 +185,6 @@ def test_eof_validity(
                     code=Op.CALLF,
                 )
             ],
-            validity_error=EOFException.TRUNCATED_INSTRUCTION,
         ),
         Container(
             name="imm1",
@@ -194,7 +193,6 @@ def test_eof_validity(
                     code=Op.CALLF + Op.STOP,
                 )
             ],
-            validity_error=EOFException.TRUNCATED_INSTRUCTION,
         ),
         Container(
             name="imm_from_next_section",
@@ -215,7 +213,6 @@ def test_eof_validity(
                     max_stack_height=2,
                 ),
             ],
-            validity_error=EOFException.TRUNCATED_INSTRUCTION,
         ),
     ],
     ids=container_name,

tests/osaka/eip7692_eof_v1/eip7480_data_section/test_code_validation.py

@@ -177,3 +177,48 @@ def test_legacy_initcode_invalid_eof_v1_contract(
         data=container,
         expect_exception=container.validity_error,
     )
+
+
+@pytest.mark.parametrize(
+    "container",
+    [
+        Container(
+            name="imm0",
+            sections=[
+                Section.Code(Op.DATALOADN),
+                Section.Data(b"\xff" * 32),
+            ],
+        ),
+        Container(
+            name="imm1",
+            sections=[
+                Section.Code(Op.DATALOADN + Op.STOP),
+                Section.Data(b"\xff" * 32),
+            ],
+        ),
+        Container(
+            name="imm_from_next_section",
+            sections=[
+                Section.Code(
+                    Op.CALLF[1] + Op.JUMPF[2],
+                    max_stack_height=1,
+                ),
+                Section.Code(
+                    Op.DATALOADN + Op.STOP,
+                    code_outputs=1,
+                ),
+                Section.Code(
+                    Op.STOP,
+                ),
+                Section.Data(b"\xff" * 32),
+            ],
+        ),
+    ],
+    ids=container_name,
+)
+def test_dataloadn_truncated_immediate(
+    eof_test: EOFTestFiller,
+    container: Container,
+):
+    """Test cases for DATALOADN instructions with truncated immediate bytes."""
+    eof_test(data=container, expect_exception=EOFException.TRUNCATED_INSTRUCTION)

tests/osaka/eip7692_eof_v1/eof_tracker.md

@@ -354,7 +354,7 @@
 ### Validation
 
 - [ ] Valid DATALOADN with various offsets (ethereum/tests: src/EOFTestsFiller/efValidation/dataloadn_Copier.json)
-- [ ] Truncated DATALOADN immediate (ethereum/tests: ./src/EOFTestsFiller/efValidation/EOF1_dataloadn_truncated_Copier.json)
+- [x] Truncated DATALOADN immediate ([`tests/osaka/eip7692_eof_v1/eip7480_data_section/test_code_validation.py::test_dataloadn_truncated_immediate`](./eip7480_data_section/test_code_validation/test_dataloadn_truncated_immediate.md)
 - [ ] DATALOADN offset out of bounds (ethereum/tests: src/EOFTestsFiller/efValidation/dataloadn_Copier.json)
 - [ ] DATALOADN accessing not full word (ethereum/tests: src/EOFTestsFiller/efValidation/dataloadn_Copier.json)