Skip to content
This repository has been archived by the owner on Oct 20, 2024. It is now read-only.

Latest commit

 

History

History

huff_codegen

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 

Codegen

Bytecode Generation Module for the Huff Language.

Architecture

The huff_codegen module exposes a few main bytecode generation functions. It is expected that both the huff_lexer and huff_parser are executed before huff_codegen to produce a valid abstract syntax tree (Contract in our case) that huff_codegen can walk.

Once the AST (Contract) is produced, Codegen can be used to produce the MAIN and CONSTRUCTOR bytecode.

The generate_main_bytecode function takes a reference of Contract and produces a bytecode String on success or a CodegenError on failure.

Likewise, the generate_constructor_bytecode function takes a reference of Contract and produces a bytecode String on success or a CodegenError on failure.

churn takes the generated CONSTRUCTOR and MAIN macros' bytecode and produces an Artifact containing:

Usage

Below we showcase generating a compile artifact from compiled bytecode using huff_codegen.

use huff_codegen::*;
use huff_utils::files::FileSource;
use std::sync::Arc;
use std::cell::RefCell;
use std::rc::Rc;

// Instantiate an empty Codegen
let mut cg = Codegen::new();
assert!(cg.ast.is_none());
assert!(cg.artifact.is_none());

// ERC20 Bytecode
let main_bytecode = "5f3560e01c8063a9059cbb1461004757806340c10f19146100d757806370a082311461014157806318160ddd1461015c578063095ea7b314610166578063dd62ed3e1461017d575b600435336024358160016000526000602001526040600020548082116100d3578190038260016000526000602001526040600020558281906001600052600060200152604060002054018360016000526000602001526040600020555f527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60205fa360015f5260205ff35b5f5ffd5b5f5433146100e3575f5ffd5b6004355f60243582819060016000526000602001526040600020540183600160005260006020015260406000205580600254016002555f527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60205fa35b60043560016000526000602001526040600020545f5260205ff35b6002545f5260205ff35b602435600435336000526000602001526040600020555b6024356004356000526000602001526040600020545f5260205ff3";
let constructor_bytecode = "335f55";
let inputs = vec![];
let churn_res = cg.churn(Arc::new(FileSource::default()), inputs, main_bytecode, constructor_bytecode, false);

// Validate the output bytecode
assert_eq!(churn_res.unwrap().bytecode, "335f5561019980600d3d393df35f3560e01c8063a9059cbb1461004757806340c10f19146100d757806370a082311461014157806318160ddd1461015c578063095ea7b314610166578063dd62ed3e1461017d575b600435336024358160016000526000602001526040600020548082116100d3578190038260016000526000602001526040600020558281906001600052600060200152604060002054018360016000526000602001526040600020555f527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60205fa360015f5260205ff35b5f5ffd5b5f5433146100e3575f5ffd5b6004355f60243582819060016000526000602001526040600020540183600160005260006020015260406000205580600254016002555f527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60205fa35b60043560016000526000602001526040600020545f5260205ff35b6002545f5260205ff35b602435600435336000526000602001526040600020555b6024356004356000526000602001526040600020545f5260205ff3".to_lowercase());

// Write the compile artifact out to a file
// cg.export("./output.json");

Let's say you have a Contract instance with a simple MAIN macro. You can generate the main macro bytecode using the generate_main_bytecode function.

use huff_codegen::*;
use huff_utils::prelude::*;
use std::sync::{Arc, Mutex};

// Mock contract with a main macro
let contract = Contract {
  macros: vec![
    MacroDefinition {
      name: "MAIN".to_string(),
      decorator: None,
      parameters: vec![],
      statements: vec![
        Statement {
          ty: StatementType::Literal(str_to_bytes32("00")),
          span: AstSpan(vec![]),
        },
        Statement {
          ty: StatementType::Opcode(Opcode::Calldataload),
          span: AstSpan(vec![]),
        },
        Statement {
          ty: StatementType::Literal(str_to_bytes32("E0")),
          span: AstSpan(vec![]),
        },
        Statement {
          ty: StatementType::Opcode(Opcode::Shr),
          span: AstSpan(vec![]),
        }
      ],
      takes: 0,
      returns: 0,
      span: AstSpan(vec![]),
      outlined: false,
      test: false,
    }
  ],
  invocations: vec![],
  imports: vec![],
  constants: Arc::new(Mutex::new(vec![])),
  errors: vec![],
  functions: vec![],
  events: vec![],
  tables: vec![],
};

// Generate the main bytecode
let main_bytecode: String = Codegen::generate_main_bytecode(&EVMVersion::default(), &contract, None).unwrap();

// Validate the output bytecode
assert_eq!(main_bytecode, "5f3560e01c");

Similarly, once you have a Contract instance with a simple CONSTRUCTOR macro definition. You can generate the constructor/creation bytecode using the generate_constructor_bytecode function.

use huff_codegen::*;
use huff_utils::prelude::*;
use std::sync::{Arc, Mutex};

// Mock contract with a constructor macro
let contract = Contract {
  macros: vec![
    MacroDefinition {
      name: "CONSTRUCTOR".to_string(),
      decorator: None,
      parameters: vec![],
      statements: vec![
        Statement {
          ty: StatementType::Literal(str_to_bytes32("00")),
          span: AstSpan(vec![]),
        },
        Statement {
          ty: StatementType::Opcode(Opcode::Calldataload),
          span: AstSpan(vec![]),
        },
        Statement {
          ty: StatementType::Literal(str_to_bytes32("E0")),
          span: AstSpan(vec![]),
        },
        Statement {
          ty: StatementType::Opcode(Opcode::Shr),
          span: AstSpan(vec![]),
        }
      ],
      takes: 0,
      returns: 0,
      span: AstSpan(vec![]),
      outlined: false,
      test: false,
    }
  ],
  invocations: vec![],
  imports: vec![],
  constants: Arc::new(Mutex::new(vec![])),
  errors: vec![],
  functions: vec![],
  events: vec![],
  tables: vec![],
};

// Generate the constructor bytecode
let (constructor_bytecode, has_custom_bootstrap): (String, bool) = Codegen::generate_constructor_bytecode(&EVMVersion::default(), &contract, None).unwrap();

// Validate the output bytecode
assert_eq!(constructor_bytecode, "5f3560e01c");
assert_eq!(has_custom_bootstrap, false);