chore: use const blocks

.github/workflows/ci.yml

@@ -31,8 +31,8 @@ jobs:
       - uses: Swatinem/rust-cache@v2
       - run: cargo test --workspace ${{ matrix.flags }}
 
-  test-no-std:
-    name: test no_std
+  check-no-std:
+    name: check no_std
     runs-on: ubuntu-latest
     timeout-minutes: 30
     steps:
@@ -48,29 +48,26 @@ jobs:
     timeout-minutes: 30
     steps:
       - uses: actions/checkout@v4
-      - run: |
-          cd crates/revm
-          cargo check --no-default-features
+      - uses: dtolnay/rust-toolchain@stable
+      - run: cargo check --no-default-features -p revm
 
   check-serde:
     name: check serde
     runs-on: ubuntu-latest
     timeout-minutes: 30
     steps:
       - uses: actions/checkout@v4
-      - run: |
-          cd crates/revm
-          cargo check --no-default-features --features serde
+      - uses: dtolnay/rust-toolchain@stable
+      - run: cargo check --no-default-features --features serde -p revm
 
   check-std:
     name: check std
     runs-on: ubuntu-latest
     timeout-minutes: 30
     steps:
       - uses: actions/checkout@v4
-      - run: |
-          cd crates/revm
-          cargo check --no-default-features --features std
+      - uses: dtolnay/rust-toolchain@stable
+      - run: cargo check --no-default-features --features std -p revm
 
   clippy:
     name: clippy

crates/interpreter/src/instructions/contract.rs

@@ -192,7 +192,7 @@ pub fn extcall<H: Host + ?Sized, SPEC: Spec>(interpreter: &mut Interpreter, host
     require_eof!(interpreter);
     pop_address!(interpreter, target_address);
 
-    // TODO check if target is left paddded with zeroes.
+    // TODO check if target is left padded with zeroes.
 
     // input call
     let Some(input) = extcall_input(interpreter) else {
@@ -264,7 +264,7 @@ pub fn extstaticcall<H: Host + ?Sized>(interpreter: &mut Interpreter, host: &mut
     require_eof!(interpreter);
     pop_address!(interpreter, target_address);
 
-    // TODO check if target is left paddded with zeroes.
+    // TODO check if target is left padded with zeroes.
 
     // input call
     let Some(input) = extcall_input(interpreter) else {

crates/interpreter/src/instructions/macros.rs

@@ -37,8 +37,10 @@ macro_rules! require_init_eof {
 #[macro_export]
 macro_rules! check {
     ($interp:expr, $min:ident) => {
-        // TODO: Force const-eval on the condition with a `const {}` block once they are stable
-        if !<SPEC as $crate::primitives::Spec>::enabled($crate::primitives::SpecId::$min) {
+        if const {
+            !<SPEC as $crate::primitives::Spec>::SPEC_ID
+                .is_enabled_in($crate::primitives::SpecId::$min)
+        } {
             $interp.instruction_result = $crate::InstructionResult::NotActivated;
             return;
         }

crates/interpreter/src/interpreter.rs

@@ -467,13 +467,13 @@ mod tests {
         let mut interp = Interpreter::new(Contract::default(), u64::MAX, false);
 
         let mut host = crate::DummyHost::default();
-        let table: InstructionTable<DummyHost> =
-            crate::opcode::make_instruction_table::<DummyHost, CancunSpec>();
-        let _ = interp.run(EMPTY_SHARED_MEMORY, &table, &mut host);
+        let table: &InstructionTable<DummyHost> =
+            &crate::opcode::make_instruction_table::<DummyHost, CancunSpec>();
+        let _ = interp.run(EMPTY_SHARED_MEMORY, table, &mut host);
 
         let host: &mut dyn Host = &mut host as &mut dyn Host;
-        let table: InstructionTable<dyn Host> =
-            crate::opcode::make_instruction_table::<dyn Host, CancunSpec>();
-        let _ = interp.run(EMPTY_SHARED_MEMORY, &table, host);
+        let table: &InstructionTable<dyn Host> =
+            &crate::opcode::make_instruction_table::<dyn Host, CancunSpec>();
+        let _ = interp.run(EMPTY_SHARED_MEMORY, table, host);
     }
 }

crates/interpreter/src/opcode/tables.rs

@@ -133,24 +133,15 @@ impl<'a, H: Host + ?Sized + 'a> InstructionTables<'a, H> {
 /// Make instruction table.
 #[inline]
 pub const fn make_instruction_table<H: Host + ?Sized, SPEC: Spec>() -> InstructionTable<H> {
-    // Force const-eval of the table creation, making this function trivial.
-    // TODO: Replace this with a `const {}` block once it is stable.
-    struct ConstTable<H: Host + ?Sized, SPEC: Spec> {
-        _host: core::marker::PhantomData<H>,
-        _spec: core::marker::PhantomData<SPEC>,
-    }
-    impl<H: Host + ?Sized, SPEC: Spec> ConstTable<H, SPEC> {
-        const NEW: InstructionTable<H> = {
-            let mut tables: InstructionTable<H> = [control::unknown; 256];
-            let mut i = 0;
-            while i < 256 {
-                tables[i] = instruction::<H, SPEC>(i as u8);
-                i += 1;
-            }
-            tables
-        };
+    const {
+        let mut tables: InstructionTable<H> = [control::unknown; 256];
+        let mut i = 0;
+        while i < 256 {
+            tables[i] = instruction::<H, SPEC>(i as u8);
+            i += 1;
+        }
+        tables
     }
-    ConstTable::<H, SPEC>::NEW
 }
 
 /// Make boxed instruction table that calls `f` closure for every instruction.

crates/revm/src/db/states/cache.rs

@@ -14,10 +14,10 @@ use std::vec::Vec;
 /// It generates transitions that is used to build BundleState.
 #[derive(Clone, Debug, PartialEq, Eq)]
 pub struct CacheState {
-    /// Block state account with account state
+    /// Block state account with account state.
     pub accounts: HashMap<Address, CacheAccount>,
-    /// created contracts
-    /// TODO add bytecode counter for number of bytecodes added/removed.
+    /// Created contracts.
+    // TODO add bytecode counter for number of bytecodes added/removed.
     pub contracts: HashMap<B256, Bytecode>,
     /// Has EIP-161 state clear enabled (Spurious Dragon hardfork).
     pub has_state_clear: bool,

crates/revm/src/handler/mainnet/execution.rs

@@ -231,7 +231,6 @@ mod tests {
         assert_eq!(gas.refunded(), 0);
     }
 
-    // TODO
     #[test]
     fn test_consume_gas_with_refund() {
         let mut return_gas = Gas::new(90);