ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-24 10:41:57 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add core mapping functions to AST

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2023-04-03 08:04:22 -07:00
parent 34fb0d1815
commit 10875c7edb
2 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
compiler/ast/src/functions/core_function.rs
View File

@ -36,6 +36,10 @@ pub enum CoreFunction {
Poseidon2Hash,
Poseidon4Hash,
Poseidon8Hash,
MappingGet,
MappingGetOr,
MappingPut,
}
impl CoreFunction {
@ -59,6 +63,10 @@ impl CoreFunction {
(sym::Poseidon2, sym::hash) => Self::Poseidon2Hash,
(sym::Poseidon4, sym::hash) => Self::Poseidon4Hash,
(sym::Poseidon8, sym::hash) => Self::Poseidon8Hash,
(sym::Mapping, sym::get) => Self::MappingGet,
(sym::Mapping, sym::get_or) => Self::MappingGetOr,
(sym::Mapping, sym::put) => Self::MappingPut,
_ => return None,
})
}
@ -83,6 +91,10 @@ impl CoreFunction {
Self::Poseidon2Hash => 1,
Self::Poseidon4Hash => 1,
Self::Poseidon8Hash => 1,
Self::MappingGet => 2,
Self::MappingGetOr => 3,
Self::MappingPut => 3,
}
}
}

4
compiler/span/src/symbol.rs
View File

@ -147,7 +147,11 @@ symbols! {
BHP768,
BHP1024,
commit,
get,
get_or,
hash,
put,
Mapping,
Pedersen64,
Pedersen128,
Poseidon2,