[mlir] Lower addr.code.length and the inline-assembly clz builtin

[abinavpp]

NomicFoundation/solx-llvm#121

[Copilot]

Pull request overview

This PR extends the Solidity→MLIR lowering pipeline with a couple of small but meaningful feature additions (Yul leave, Yul clz, and a special-case for addr.code.length) and updates the MLIR FileCheck fixtures accordingly, also removing several items from the semtest failure allowlist.

Changes:

• Add Yul lowering support for leave (early return) and the clz builtin in YulToMLIR.
• Lower addr.code.length directly to a code-size operation (avoids materializing code bytes just to read length).
• Update MLIR codegen tests / EVM FileCheck expectations and reduce the semtest failure list.

Reviewed changes

Copilot reviewed 14 out of 14 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
test/mlirSemtestFailures.txt	Removes multiple tests from the known-fail list as the lowering now supports them.
test/lit/mlirCodegen/inline-asm.sol	Adds a Solidity wrapper calling Yul clz and updates MLIR checks.
test/lit/mlirCodegen/inline-asm-functions.sol	Adds an inline-asm nested function using leave and updates MLIR checks.
test/lit/mlirCodegen/EVM/load-store-memory-cleanup.sol	Reorders/updates constants in expected EVM MLIR output.
test/lit/mlirCodegen/EVM/load-calldata-cleanup.sol	Reorders/updates constants in expected EVM MLIR output.
test/lit/mlirCodegen/EVM/inline-asm.sol	Adds clz case and updates deployed-module and dispatch checks.
test/lit/mlirCodegen/EVM/inline-asm-functions.sol	Adds leave case and updates expected EVM MLIR lowering for nested Yul functions.
test/lit/mlirCodegen/EVM/fixedbytes-memory-store.sol	Reorders constant emission in expected output.
test/lit/mlirCodegen/EVM/code.sol	Adds payable-address .code/.codehash and .code.length tests; expands dispatch + helper function checks.
test/lit/mlirCodegen/EVM/bytes-to-storage-cleanup.sol	Reorders/updates constants in expected EVM MLIR output.
test/lit/mlirCodegen/EVM/array.sol	Reorders constant emission in expected output for multiple functions.
test/lit/mlirCodegen/code.sol	Adds .code.length test and updates non-EVM MLIR checks (sol.code_size).
libsolidity/codegen/mlir/YulToMLIR.cpp	Implements lowering for Yul leave and adds clz to builtin generation.
libsolidity/codegen/mlir/SolidityToMLIR.cpp	Special-cases addr.code.length to generate a code-size op instead of materializing bytes.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[PavelKopyl]

LGTM.