fix specs and conditional op/taiko flags, todo: taiko handlers

Author: CeciliaZ030

crates/interpreter/src/instruction_result.rs

@@ -87,7 +87,7 @@ impl From<HaltReason> for InstructionResult {
             HaltReason::CallNotAllowedInsideStatic => Self::CallNotAllowedInsideStatic,
             HaltReason::OutOfFunds => Self::OutOfFunds,
             HaltReason::CallTooDeep => Self::CallTooDeep,
-            #[cfg(feature = "optimism")]
+            #[cfg(all(feature = "optimism", not(feature = "taiko")))]
             HaltReason::FailedDeposit => Self::FatalExternalError,
         }
     }

crates/interpreter/src/instructions/opcode.rs

@@ -857,21 +857,26 @@ pub const fn spec_opcode_gas(spec_id: SpecId) -> &'static [OpInfo; 256] {
                     TABLE
                 }
             )*
-                #[cfg(feature = "optimism")]
+                #[cfg(all(feature = "optimism", not(feature = "taiko")))]
                 SpecId::BEDROCK => {
                     const TABLE: &[OpInfo;256] = &make_gas_table(SpecId::BEDROCK);
                     TABLE
                 }
-                #[cfg(feature = "optimism")]
+                #[cfg(all(feature = "optimism", not(feature = "taiko")))]
                 SpecId::REGOLITH => {
                     const TABLE: &[OpInfo;256] = &make_gas_table(SpecId::REGOLITH);
                     TABLE
                 }
-                #[cfg(feature = "optimism")]
+                #[cfg(all(feature = "optimism", not(feature = "taiko")))]
                 SpecId::CANYON => {
                     const TABLE: &[OpInfo;256] = &make_gas_table(SpecId::CANYON);
                     TABLE
                 }
+                #[cfg(all(feature = "taiko", not(feature = "optimism")))]
+                SpecId::KATLA => {
+                    const TABLE: &[OpInfo;256] = &make_gas_table(SpecId::KATLA);
+                    TABLE
+                }
             }
         };
     }

crates/precompile/src/lib.rs

@@ -256,8 +256,10 @@ impl PrecompileSpecId {
             BERLIN | LONDON | ARROW_GLACIER | GRAY_GLACIER | MERGE | SHANGHAI => Self::BERLIN,
             CANCUN => Self::CANCUN,
             LATEST => Self::LATEST,
-            #[cfg(feature = "optimism")]
+            #[cfg(all(feature = "optimism", not(feature = "taiko")))]
             BEDROCK | REGOLITH | CANYON => Self::BERLIN,
+            #[cfg(all(feature = "taiko", not(feature = "optimism")))]
+            KATLA => Self::BERLIN, // TODO(Cecilia): what is this?
         }
     }
 }