mirror of
https://github.com/pezkuwichain/revive.git
synced 2026-06-15 03:21:06 +00:00
426f673b0a
Signed-off-by: xermicus <cyrill@parity.io>
90 lines
2.7 KiB
Rust
90 lines
2.7 KiB
Rust
//! The Yul IR lexer tests.
|
|
|
|
use crate::yul::lexer::error::Error;
|
|
use crate::yul::lexer::token::lexeme::Lexeme;
|
|
use crate::yul::lexer::token::location::Location;
|
|
use crate::yul::lexer::Lexer;
|
|
|
|
#[test]
|
|
fn default() {
|
|
let input = r#"
|
|
object "Test" {
|
|
code {
|
|
{
|
|
/*
|
|
The deploy code.
|
|
*/
|
|
mstore(64, 128)
|
|
if callvalue() { revert(0, 0) }
|
|
let _1 := datasize("Test_deployed")
|
|
codecopy(0, dataoffset("Test_deployed"), _1)
|
|
return(0, _1)
|
|
}
|
|
}
|
|
object "Test_deployed" {
|
|
code {
|
|
{
|
|
/*
|
|
The runtime code.
|
|
*/
|
|
mstore(64, 128)
|
|
if iszero(lt(calldatasize(), 4))
|
|
{
|
|
let _1 := 0
|
|
switch shr(224, calldataload(_1))
|
|
case 0x3df4ddf4 {
|
|
if callvalue() { revert(_1, _1) }
|
|
if slt(add(calldatasize(), not(3)), _1) { revert(_1, _1) }
|
|
let memPos := allocate_memory(_1)
|
|
mstore(memPos, 0x2a)
|
|
return(memPos, 32)
|
|
}
|
|
case 0x5a8ac02d {
|
|
if callvalue() { revert(_1, _1) }
|
|
if slt(add(calldatasize(), not(3)), _1) { revert(_1, _1) }
|
|
let memPos_1 := allocate_memory(_1)
|
|
return(memPos_1, sub(abi_encode_uint256(memPos_1, 0x63), memPos_1))
|
|
}
|
|
}
|
|
revert(0, 0)
|
|
}
|
|
function abi_encode_uint256(headStart, value0) -> tail
|
|
{
|
|
tail := add(headStart, 32)
|
|
mstore(headStart, value0)
|
|
}
|
|
function allocate_memory(size) -> memPtr
|
|
{
|
|
memPtr := mload(64)
|
|
let newFreePtr := add(memPtr, and(add(size, 31), not(31)))
|
|
if or(gt(newFreePtr, 0xffffffffffffffff)#, lt(newFreePtr, memPtr))
|
|
{
|
|
mstore(0, shl(224, 0x4e487b71))
|
|
mstore(4, 0x41)
|
|
revert(0, 0x24)
|
|
}
|
|
mstore(64, newFreePtr)
|
|
}
|
|
}
|
|
}
|
|
}
|
|
"#;
|
|
|
|
let mut lexer = Lexer::new(input.to_owned());
|
|
loop {
|
|
match lexer.next() {
|
|
Ok(token) => assert_ne!(token.lexeme, Lexeme::EndOfFile),
|
|
Err(error) => {
|
|
assert_eq!(
|
|
error,
|
|
Error::InvalidLexeme {
|
|
location: Location::new(51, 57),
|
|
sequence: "#,".to_owned(),
|
|
}
|
|
);
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
}
|