mirror of
				https://github.com/ethereum/solidity
				synced 2023-10-03 13:03:40 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			73 lines
		
	
	
		
			2.1 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			73 lines
		
	
	
		
			2.1 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
| /*
 | |
| 	This file is part of solidity.
 | |
| 
 | |
| 	solidity is free software: you can redistribute it and/or modify
 | |
| 	it under the terms of the GNU General Public License as published by
 | |
| 	the Free Software Foundation, either version 3 of the License, or
 | |
| 	(at your option) any later version.
 | |
| 
 | |
| 	solidity is distributed in the hope that it will be useful,
 | |
| 	but WITHOUT ANY WARRANTY; without even the implied warranty of
 | |
| 	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 | |
| 	GNU General Public License for more details.
 | |
| 
 | |
| 	You should have received a copy of the GNU General Public License
 | |
| 	along with solidity.  If not, see <http://www.gnu.org/licenses/>.
 | |
| */
 | |
| /**
 | |
|  * Yul dialect.
 | |
|  */
 | |
| 
 | |
| #pragma once
 | |
| 
 | |
| #include <libyul/YulString.h>
 | |
| 
 | |
| #include <boost/noncopyable.hpp>
 | |
| 
 | |
| #include <vector>
 | |
| 
 | |
| namespace yul
 | |
| {
 | |
| 
 | |
| class YulString;
 | |
| using Type = YulString;
 | |
| 
 | |
| enum class AsmFlavour
 | |
| {
 | |
| 	Loose,  // no types, EVM instructions as function, jumps and direct stack manipulations
 | |
| 	Strict, // no types, EVM instructions as functions, but no jumps and no direct stack manipulations
 | |
| 	Yul     // same as Strict mode with types
 | |
| };
 | |
| 
 | |
| struct BuiltinFunction
 | |
| {
 | |
| 	YulString name;
 | |
| 	std::vector<Type> parameters;
 | |
| 	std::vector<Type> returns;
 | |
| 	/// If true, calls to this function can be freely moved and copied (as long as their
 | |
| 	/// arguments are either variables or also movable) without altering the semantics.
 | |
| 	/// This means the function cannot depend on storage or memory, cannot have any side-effects,
 | |
| 	/// but it can depend on state that is constant across an EVM-call.
 | |
| 	bool movable = false;
 | |
| 	/// If true, can only accept literals as arguments and they cannot be moved to voriables.
 | |
| 	bool literalArguments = false;
 | |
| };
 | |
| 
 | |
| struct Dialect: boost::noncopyable
 | |
| {
 | |
| 	AsmFlavour const flavour = AsmFlavour::Loose;
 | |
| 	/// @returns the builtin function of the given name or a nullptr if it is not a builtin function.
 | |
| 	virtual BuiltinFunction const* builtin(YulString /*_name*/) const { return nullptr; }
 | |
| 
 | |
| 	Dialect(AsmFlavour _flavour): flavour(_flavour) {}
 | |
| 	virtual ~Dialect() = default;
 | |
| 
 | |
| 	static std::shared_ptr<Dialect> yul()
 | |
| 	{
 | |
| 		// Will have to add builtins later.
 | |
| 		return std::make_shared<Dialect>(AsmFlavour::Yul);
 | |
| 	}
 | |
| };
 | |
| 
 | |
| }
 |