subtly
10 years ago
262 changed files with 12748 additions and 867 deletions
@ -0,0 +1,29 @@ |
|||
cmake_minimum_required(VERSION 2.8.12) |
|||
|
|||
project(evmjit) |
|||
|
|||
set_property(GLOBAL PROPERTY USE_FOLDERS ON) |
|||
|
|||
# LLVM |
|||
if(LLVM_DIR) # local LLVM build |
|||
find_package(LLVM REQUIRED CONFIG) |
|||
message(STATUS "Found LLVM ${LLVM_PACKAGE_VERSION}") |
|||
message(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}") |
|||
# TODO: bitwriter is needed only for evmcc |
|||
llvm_map_components_to_libnames(LLVM_LIBS core support mcjit x86asmparser x86codegen bitwriter) |
|||
else() |
|||
# Workaround for Ubuntu broken LLVM package |
|||
message(STATUS "Using llvm-3.5-dev package from Ubuntu. If does not work, build LLVM and set -DLLVM_DIR=llvm-build/share/llvm/cmake") |
|||
execute_process(COMMAND llvm-config-3.5 --includedir OUTPUT_VARIABLE LLVM_INCLUDE_DIRS) |
|||
message(STATUS "LLVM include dirs: ${LLVM_INCLUDE_DIRS}") |
|||
set(LLVM_LIBS "-lLLVMBitWriter -lLLVMX86CodeGen -lLLVMSelectionDAG -lLLVMAsmPrinter -lLLVMCodeGen -lLLVMScalarOpts -lLLVMInstCombine -lLLVMTransformUtils -lLLVMipa -lLLVMAnalysis -lLLVMX86AsmParser -lLLVMX86Desc -lLLVMX86Info -lLLVMX86AsmPrinter -lLLVMX86Utils -lLLVMMCJIT -lLLVMTarget -lLLVMRuntimeDyld -lLLVMObject -lLLVMMCParser -lLLVMBitReader -lLLVMExecutionEngine -lLLVMMC -lLLVMCore -lLLVMSupport -lz -lpthread -lffi -ltinfo -ldl -lm") |
|||
endif() |
|||
|
|||
add_definitions(-D_SCL_SECURE_NO_WARNINGS) # LLVM needs it on Windows |
|||
|
|||
# Boost |
|||
find_package(Boost REQUIRED) |
|||
|
|||
add_subdirectory(libevmjit) |
|||
add_subdirectory(libevmjit-cpp) |
|||
add_subdirectory(evmcc) |
|||
@ -0,0 +1,18 @@ |
|||
set(TARGET_NAME evmcc) |
|||
|
|||
set(SOURCES |
|||
evmcc.cpp |
|||
) |
|||
source_group("" FILES ${SOURCES}) |
|||
|
|||
add_executable(${TARGET_NAME} ${SOURCES}) |
|||
set_property(TARGET ${TARGET_NAME} PROPERTY FOLDER "tools") |
|||
|
|||
include_directories(../..) |
|||
include_directories(${LLVM_INCLUDE_DIRS}) |
|||
include_directories(${Boost_INCLUDE_DIRS}) |
|||
|
|||
target_link_libraries(${TARGET_NAME} ethereum) |
|||
target_link_libraries(${TARGET_NAME} ${Boost_PROGRAM_OPTIONS_LIBRARIES}) |
|||
|
|||
install(TARGETS ${TARGET_NAME} DESTINATION bin ) |
|||
@ -0,0 +1,210 @@ |
|||
|
|||
#include <chrono> |
|||
#include <iostream> |
|||
#include <fstream> |
|||
#include <ostream> |
|||
#include <string> |
|||
#include <vector> |
|||
|
|||
#include <boost/algorithm/string.hpp> |
|||
#include <boost/program_options.hpp> |
|||
|
|||
#include <llvm/Bitcode/ReaderWriter.h> |
|||
#include <llvm/Support/raw_os_ostream.h> |
|||
#include <llvm/Support/Signals.h> |
|||
#include <llvm/Support/PrettyStackTrace.h> |
|||
|
|||
#include <libdevcore/Common.h> |
|||
#include <libdevcore/CommonIO.h> |
|||
#include <libevmcore/Instruction.h> |
|||
#include <libevm/ExtVMFace.h> |
|||
#include <evmjit/libevmjit/Compiler.h> |
|||
#include <evmjit/libevmjit/ExecutionEngine.h> |
|||
|
|||
|
|||
void parseProgramOptions(int _argc, char** _argv, boost::program_options::variables_map& _varMap) |
|||
{ |
|||
namespace opt = boost::program_options; |
|||
|
|||
opt::options_description explicitOpts("Allowed options"); |
|||
explicitOpts.add_options() |
|||
("help,h", "show usage information") |
|||
("compile,c", "compile the code to LLVM IR") |
|||
("interpret,i", "compile the code to LLVM IR and execute") |
|||
("gas,g", opt::value<size_t>(), "set initial gas for execution") |
|||
("disassemble,d", "dissassemble the code") |
|||
("dump-cfg", "dump control flow graph to graphviz file") |
|||
("dont-optimize", "turn off optimizations") |
|||
("optimize-stack", "optimize stack use between basic blocks (default: on)") |
|||
("rewrite-switch", "rewrite LLVM switch to branches (default: on)") |
|||
("output-ll", opt::value<std::string>(), "dump generated LLVM IR to file") |
|||
("output-bc", opt::value<std::string>(), "dump generated LLVM bitcode to file") |
|||
("show-logs", "output LOG statements to stderr") |
|||
("verbose,V", "enable verbose output"); |
|||
|
|||
opt::options_description implicitOpts("Input files"); |
|||
implicitOpts.add_options() |
|||
("input-file", opt::value<std::string>(), "input file"); |
|||
|
|||
opt::options_description allOpts(""); |
|||
allOpts.add(explicitOpts).add(implicitOpts); |
|||
|
|||
opt::positional_options_description inputOpts; |
|||
inputOpts.add("input-file", 1); |
|||
|
|||
const char* errorMsg = nullptr; |
|||
try |
|||
{ |
|||
auto parser = opt::command_line_parser(_argc, _argv).options(allOpts).positional(inputOpts); |
|||
opt::store(parser.run(), _varMap); |
|||
opt::notify(_varMap); |
|||
} |
|||
catch (boost::program_options::error& err) |
|||
{ |
|||
errorMsg = err.what(); |
|||
} |
|||
|
|||
if (!errorMsg && _varMap.count("input-file") == 0) |
|||
errorMsg = "missing input file name"; |
|||
|
|||
if (_varMap.count("disassemble") == 0 |
|||
&& _varMap.count("compile") == 0 |
|||
&& _varMap.count("interpret") == 0) |
|||
{ |
|||
errorMsg = "at least one of -c, -i, -d is required"; |
|||
} |
|||
|
|||
if (errorMsg || _varMap.count("help")) |
|||
{ |
|||
if (errorMsg) |
|||
std::cerr << "Error: " << errorMsg << std::endl; |
|||
|
|||
std::cout << "Usage: " << _argv[0] << " <options> input-file " << std::endl |
|||
<< explicitOpts << std::endl; |
|||
std::exit(errorMsg ? 1 : 0); |
|||
} |
|||
} |
|||
|
|||
int main(int argc, char** argv) |
|||
{ |
|||
llvm::sys::PrintStackTraceOnErrorSignal(); |
|||
llvm::PrettyStackTraceProgram X(argc, argv); |
|||
|
|||
boost::program_options::variables_map options; |
|||
parseProgramOptions(argc, argv, options); |
|||
|
|||
auto inputFile = options["input-file"].as<std::string>(); |
|||
std::ifstream ifs(inputFile); |
|||
if (!ifs.is_open()) |
|||
{ |
|||
std::cerr << "cannot open input file " << inputFile << std::endl; |
|||
exit(1); |
|||
} |
|||
|
|||
std::string src((std::istreambuf_iterator<char>(ifs)), |
|||
(std::istreambuf_iterator<char>())); |
|||
|
|||
boost::algorithm::trim(src); |
|||
|
|||
using namespace dev; |
|||
|
|||
bytes bytecode = fromHex(src); |
|||
|
|||
if (options.count("disassemble")) |
|||
{ |
|||
std::string assembly = eth::disassemble(bytecode); |
|||
std::cout << assembly << std::endl; |
|||
} |
|||
|
|||
if (options.count("compile") || options.count("interpret")) |
|||
{ |
|||
size_t initialGas = 10000; |
|||
|
|||
if (options.count("gas")) |
|||
initialGas = options["gas"].as<size_t>(); |
|||
|
|||
auto compilationStartTime = std::chrono::high_resolution_clock::now(); |
|||
|
|||
eth::jit::Compiler::Options compilerOptions; |
|||
compilerOptions.dumpCFG = options.count("dump-cfg") > 0; |
|||
bool optimize = options.count("dont-optimize") == 0; |
|||
compilerOptions.optimizeStack = optimize || options.count("optimize-stack") > 0; |
|||
compilerOptions.rewriteSwitchToBranches = optimize || options.count("rewrite-switch") > 0; |
|||
|
|||
auto compiler = eth::jit::Compiler(compilerOptions); |
|||
auto module = compiler.compile(bytecode, "main"); |
|||
|
|||
auto compilationEndTime = std::chrono::high_resolution_clock::now(); |
|||
|
|||
module->dump(); |
|||
|
|||
if (options.count("output-ll")) |
|||
{ |
|||
auto outputFile = options["output-ll"].as<std::string>(); |
|||
std::ofstream ofs(outputFile); |
|||
if (!ofs.is_open()) |
|||
{ |
|||
std::cerr << "cannot open output file " << outputFile << std::endl; |
|||
exit(1); |
|||
} |
|||
llvm::raw_os_ostream ros(ofs); |
|||
module->print(ros, nullptr); |
|||
ofs.close(); |
|||
} |
|||
|
|||
if (options.count("output-bc")) |
|||
{ |
|||
auto outputFile = options["output-bc"].as<std::string>(); |
|||
std::ofstream ofs(outputFile); |
|||
if (!ofs.is_open()) |
|||
{ |
|||
std::cerr << "cannot open output file " << outputFile << std::endl; |
|||
exit(1); |
|||
} |
|||
llvm::raw_os_ostream ros(ofs); |
|||
llvm::WriteBitcodeToFile(module.get(), ros); |
|||
ros.flush(); |
|||
ofs.close(); |
|||
} |
|||
|
|||
if (options.count("verbose")) |
|||
{ |
|||
std::cerr << "*** Compilation time: " |
|||
<< std::chrono::duration_cast<std::chrono::microseconds>(compilationEndTime - compilationStartTime).count() |
|||
<< std::endl; |
|||
} |
|||
|
|||
if (options.count("interpret")) |
|||
{ |
|||
using namespace eth::jit; |
|||
|
|||
ExecutionEngine engine; |
|||
eth::jit::u256 gas = initialGas; |
|||
|
|||
// Create random runtime data
|
|||
RuntimeData data; |
|||
data.set(RuntimeData::Gas, gas); |
|||
data.set(RuntimeData::Address, (u160)Address(1122334455667788)); |
|||
data.set(RuntimeData::Caller, (u160)Address(0xfacefacefaceface)); |
|||
data.set(RuntimeData::Origin, (u160)Address(101010101010101010)); |
|||
data.set(RuntimeData::CallValue, 0xabcd); |
|||
data.set(RuntimeData::CallDataSize, 3); |
|||
data.set(RuntimeData::GasPrice, 1003); |
|||
data.set(RuntimeData::CoinBase, (u160)Address(101010101010101015)); |
|||
data.set(RuntimeData::TimeStamp, 1005); |
|||
data.set(RuntimeData::Number, 1006); |
|||
data.set(RuntimeData::Difficulty, 16); |
|||
data.set(RuntimeData::GasLimit, 1008); |
|||
data.set(RuntimeData::CodeSize, bytecode.size()); |
|||
data.callData = (uint8_t*)"abc"; |
|||
data.code = bytecode.data(); |
|||
|
|||
// BROKEN: env_* functions must be implemented & RuntimeData struct created
|
|||
// TODO: Do not compile module again
|
|||
auto result = engine.run(bytecode, &data, nullptr); |
|||
return static_cast<int>(result); |
|||
} |
|||
} |
|||
|
|||
return 0; |
|||
} |
|||
@ -0,0 +1 @@ |
|||
60646107b760271460005560006001f2 |
|||
@ -0,0 +1,12 @@ |
|||
;; Should return (1975 + 39) `mod` 100 = 14 = 0x0e |
|||
(asm |
|||
100 |
|||
1975 |
|||
39 |
|||
ADDMOD |
|||
0 |
|||
MSTORE8 |
|||
0 |
|||
1 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
60016001900160070260050160029004600490066021900560150160030260059007600303600960110860005460086000f2 |
|||
@ -0,0 +1,37 @@ |
|||
|
|||
(asm |
|||
1 |
|||
1 |
|||
SWAP1 |
|||
ADD ;; 2 |
|||
7 |
|||
MUL ;; 14 |
|||
5 |
|||
ADD ;; 19 |
|||
2 |
|||
SWAP1 |
|||
DIV ;; 9 |
|||
4 |
|||
SWAP1 |
|||
MOD ;; 1 |
|||
33 |
|||
SWAP1 |
|||
SDIV;; 0 |
|||
21 |
|||
ADD ;; 21 |
|||
3 |
|||
MUL ;; 63 |
|||
5 |
|||
SWAP1 |
|||
SMOD;; 3 |
|||
3 |
|||
SUB ;; 0 |
|||
9 |
|||
17 |
|||
EXP ;; 17^9 |
|||
0 |
|||
MSTORE |
|||
8 |
|||
0 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
6201e2406000546000530960005460206000f2 |
|||
@ -0,0 +1,14 @@ |
|||
|
|||
(asm |
|||
123456 |
|||
0 |
|||
MSTORE |
|||
0 |
|||
MLOAD |
|||
BNOT |
|||
0 |
|||
MSTORE |
|||
32 |
|||
0 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
60027ffedcba9876543210fedcba9876543210fedcba9876543210fedcba98765432100460005460206000f2 |
|||
@ -0,0 +1,10 @@ |
|||
(asm |
|||
0x2 |
|||
0xfedcba9876543210fedcba9876543210fedcba9876543210fedcba9876543210 |
|||
DIV |
|||
0 |
|||
MSTORE |
|||
32 |
|||
0 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
60016001818101818101818101818101818101818101818101818101818101818101818101818101818101818101818101818101818101 |
|||
@ -0,0 +1,57 @@ |
|||
;; Fibbonacci unrolled |
|||
|
|||
(asm |
|||
1 |
|||
1 |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
DUP2 |
|||
DUP2 |
|||
ADD |
|||
) |
|||
@ -0,0 +1 @@ |
|||
7001234567890abcdef0fedcba09876543217001234567890abcdef0fedcba09876543217001234567890abcdef0fedcba0987654321020260005460206000f2 |
|||
@ -0,0 +1,13 @@ |
|||
(asm |
|||
0x1234567890abcdef0fedcba0987654321 |
|||
0x1234567890abcdef0fedcba0987654321 |
|||
0x1234567890abcdef0fedcba0987654321 |
|||
MUL |
|||
MUL |
|||
0 |
|||
MSTORE |
|||
32 |
|||
0 |
|||
RETURN |
|||
;; 47d0817e4167b1eb4f9fc722b133ef9d7d9a6fb4c2c1c442d000107a5e419561 |
|||
) |
|||
@ -0,0 +1 @@ |
|||
6064601b60251560005560006001f2 |
|||
@ -0,0 +1,12 @@ |
|||
;; Should return (27 * 37) `mod` 100 = 99 = 0x63 |
|||
(asm |
|||
100 |
|||
27 |
|||
37 |
|||
MULMOD |
|||
0 |
|||
MSTORE8 |
|||
0 |
|||
1 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
4a |
|||
@ -0,0 +1 @@ |
|||
60326000600a37600053600a6014f2 |
|||
@ -0,0 +1,13 @@ |
|||
(asm |
|||
50 ;; byte count |
|||
0 ;; source index in calldata array |
|||
10 ;; dest index in memory |
|||
CALLDATACOPY |
|||
|
|||
0 |
|||
MLOAD ;; to dump memory |
|||
|
|||
10 |
|||
20 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
606464e8d4a510006000376000536000600af2 |
|||
@ -0,0 +1,13 @@ |
|||
(asm |
|||
100 ;; byte count |
|||
1000000000000 ;; source index in calldata array |
|||
0 ;; dest index in memory |
|||
CALLDATACOPY |
|||
|
|||
0 |
|||
MLOAD ;; to dump memory |
|||
|
|||
0 |
|||
10 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
60146000600a39600053600a6014f2 |
|||
@ -0,0 +1,13 @@ |
|||
(asm |
|||
20 ;; byte count |
|||
0 ;; source index in code array |
|||
10 ;; dest index in memory |
|||
CODECOPY |
|||
|
|||
0 |
|||
MLOAD ;; to dump memory |
|||
|
|||
10 |
|||
20 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
606464e8d4a510006000396000536000600af2 |
|||
@ -0,0 +1,13 @@ |
|||
(asm |
|||
100 ;; byte count |
|||
1000000000000 ;; source index in code array |
|||
0 ;; dest index in memory |
|||
CODECOPY |
|||
|
|||
0 |
|||
MLOAD ;; to dump memory |
|||
|
|||
0 |
|||
10 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
3860006000396000536000600af2 |
|||
@ -0,0 +1,13 @@ |
|||
(asm |
|||
CODESIZE ;; byte count |
|||
0 ;; source index in code array |
|||
0 ;; dest index in memory |
|||
CODECOPY |
|||
|
|||
0 |
|||
MLOAD ;; to dump memory |
|||
|
|||
0 |
|||
10 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
5a3031333234363a4041424344455a36600035602635601335387f1111222233334444555566667777888899990000aaaabbbbccccddddeeeeffff600054602060006000f06020600060206000600030610bb8f1600053611000545b60200260002030ff60016002f2 |
|||
@ -0,0 +1,55 @@ |
|||
|
|||
(asm |
|||
PC |
|||
ADDRESS |
|||
BALANCE |
|||
CALLER |
|||
ORIGIN |
|||
CALLVALUE |
|||
CALLDATASIZE |
|||
GASPRICE |
|||
PREVHASH |
|||
COINBASE |
|||
TIMESTAMP |
|||
NUMBER |
|||
DIFFICULTY |
|||
GASLIMIT |
|||
PC |
|||
CALLDATASIZE |
|||
0 |
|||
CALLDATALOAD |
|||
38 |
|||
CALLDATALOAD |
|||
19 |
|||
CALLDATALOAD |
|||
CODESIZE |
|||
0x1111222233334444555566667777888899990000aaaabbbbccccddddeeeeffff |
|||
0 |
|||
MSTORE |
|||
32 |
|||
0 |
|||
0 |
|||
CREATE |
|||
32 |
|||
0 |
|||
32 |
|||
0 |
|||
0 |
|||
ADDRESS |
|||
3000 |
|||
CALL |
|||
0 |
|||
MLOAD |
|||
4096 |
|||
MSTORE |
|||
MSIZE |
|||
32 |
|||
MUL |
|||
0 |
|||
SHA3 |
|||
ADDRESS |
|||
SUICIDE |
|||
1 |
|||
2 |
|||
RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
60c86000600a303c60005360006020f2 |
|||
@ -0,0 +1,11 @@ |
|||
(asm |
|||
200 ;; byte count |
|||
0 ;; source index in code array |
|||
10 ;; dest index in memory |
|||
ADDRESS |
|||
EXTCODECOPY |
|||
|
|||
0 MLOAD ;; to dump memory |
|||
|
|||
0 32 RETURN |
|||
) |
|||
@ -0,0 +1 @@ |
|||
6104d26063576000606357 |
|||
@ -0,0 +1,9 @@ |
|||
|
|||
(asm |
|||
1234 |
|||
99 |
|||
SSTORE |
|||
0 |
|||
99 |
|||
SSTORE |
|||
) |
|||
@ -0,0 +1 @@ |
|||
607b607c60015760005760015660005603 |
|||
@ -0,0 +1,14 @@ |
|||
|
|||
(asm |
|||
123 |
|||
124 |
|||
1 |
|||
SSTORE |
|||
0 |
|||
SSTORE |
|||
1 |
|||
SLOAD |
|||
0 |
|||
SLOAD |
|||
SUB |
|||
) |
|||
@ -0,0 +1,7 @@ |
|||
let A m n = |
|||
if m == 0 then n+1 |
|||
else if n == 0 then A (m-1) 1 |
|||
else A (m-1) (A (m) (n-1)) |
|||
|
|||
return A 3 8 |
|||
|
|||
@ -0,0 +1 @@ |
|||
6009600360086012585d60005460206000f26000820e6047596000810e603859603460018303603084600185036012585d6012585d60445860436001830360016012585d604b5860018101905090509058 |
|||
@ -0,0 +1 @@ |
|||
601b602502585d |
|||
@ -0,0 +1,9 @@ |
|||
;; Indirect jump out of code |
|||
|
|||
(asm |
|||
27 |
|||
37 |
|||
MUL |
|||
JUMP |
|||
JUMPDEST |
|||
) |
|||
@ -0,0 +1 @@ |
|||
60016003600302596000600058 |
|||
@ -0,0 +1,12 @@ |
|||
;; Indirect jump into data |
|||
|
|||
(asm |
|||
1 ;; 0 |
|||
3 |
|||
3 |
|||
MUL ;; 6 |
|||
JUMPI ;; 7 |
|||
0 ;; 8 |
|||
0 |
|||
JUMP |
|||
) |
|||
@ -0,0 +1 @@ |
|||
6103e758 |
|||
@ -0,0 +1,6 @@ |
|||
;; Direct jump out of code. |
|||
|
|||
(asm |
|||
999 |
|||
JUMP |
|||
) |
|||
@ -0,0 +1 @@ |
|||
6004586000600058 |
|||
@ -0,0 +1,9 @@ |
|||
;; Direct jump into data |
|||
|
|||
(asm |
|||
4 ;; 0 0-3 |
|||
JUMP ;; 2 |
|||
0 ;; 3 3-4 |
|||
0 ;; 5 4-7 |
|||
JUMP ;; 6 |
|||
) |
|||
@ -0,0 +1,5 @@ |
|||
let f n = n + 1 |
|||
|
|||
return f 2 |
|||
|
|||
|
|||
@ -0,0 +1 @@ |
|||
600760026010585d60005460206000f28060010190509058 |
|||
@ -0,0 +1,5 @@ |
|||
let f a b = a + b |
|||
|
|||
return f 2 3 |
|||
|
|||
|
|||
@ -0,0 +1 @@ |
|||
6009600260036012585d60005460206000f2818101905090509058 |
|||
@ -0,0 +1,5 @@ |
|||
let fac n = |
|||
if n == 0 then 1 |
|||
else n * fac (n-1) |
|||
|
|||
return fac 60 |
|||
@ -0,0 +1 @@ |
|||
6007603c6010585d60005460206000f26000810e6026596020600182036010585d8102602858600190509058 |
|||
@ -0,0 +1,5 @@ |
|||
let fac a n = |
|||
if n == 0 then a |
|||
else fac (a*n) (n-1) |
|||
|
|||
return fac 1 60 |
|||
@ -0,0 +1 @@ |
|||
60096001603c6012585d60005460206000f26000810e6029596025818302600183036012585d602a5881905090509058 |
|||
@ -0,0 +1,6 @@ |
|||
let fib n = |
|||
if n < 3 then 1 |
|||
else fib (n-1) + fib (n-2) |
|||
|
|||
return fib 10 |
|||
|
|||
@ -0,0 +1 @@ |
|||
6007600a6010585d60005460206000f26003810a602f596020600282036010585d602a600183036010585d01603158600190509058 |
|||
@ -0,0 +1 @@ |
|||
600a60805460006080530b0f60255960a0536080530160a054600160805303608054600558 |
|||
@ -0,0 +1,3 @@ |
|||
(for [i]:10 (> @i 0) [i](- @i 1) |
|||
[j](+ @i @j) |
|||
) |
|||
@ -0,0 +1 @@ |
|||
6000608054600a6080530a0f60255960a0536080530160a054600160805301608054600558 |
|||
@ -0,0 +1,3 @@ |
|||
(for [i]:0 (< @i 10) [i](+ @i 1) |
|||
[j](+ @i @j) |
|||
) |
|||
@ -0,0 +1 @@ |
|||
return if 0 then 1 else 2 |
|||
@ -0,0 +1 @@ |
|||
60006300000010596002630000001258600160005460206000f2 |
|||
@ -0,0 +1 @@ |
|||
return if 1 then 1 else 2 |
|||
@ -0,0 +1 @@ |
|||
60016300000010596002630000001258600160005460206000f2 |
|||
@ -0,0 +1 @@ |
|||
600460030158005d6001600054 |
|||
@ -0,0 +1,13 @@ |
|||
;; Indirect JUMP |
|||
|
|||
(asm |
|||
4 ;; 0 |
|||
3 ;; 2 |
|||
ADD ;; 4 |
|||
JUMP ;; 5 |
|||
STOP ;; 6 |
|||
JUMPDEST ;; 7 |
|||
1 |
|||
0 |
|||
MSTORE |
|||
) |
|||
@ -0,0 +1 @@ |
|||
600860060158005d6001600054005d600260005400 |
|||
@ -0,0 +1,19 @@ |
|||
;; Indirect JUMP |
|||
|
|||
(asm |
|||
8 ;; 0 |
|||
6 ;; 2 |
|||
ADD ;; 4 |
|||
JUMP ;; 5 --> 14 |
|||
STOP ;; 6 |
|||
JUMPDEST ;; 7 |
|||
1 ;; 8 |
|||
0 ;; 10 |
|||
MSTORE ;; 12 |
|||
STOP ;; 13 |
|||
JUMPDEST ;; 14 |
|||
2 |
|||
0 |
|||
MSTORE |
|||
STOP |
|||
) |
|||
@ -0,0 +1 @@ |
|||
6001600460050159005d6001600054 |
|||
@ -0,0 +1,14 @@ |
|||
;; Indirect JUMP |
|||
|
|||
(asm |
|||
1 ;; 0 |
|||
4 ;; 2 |
|||
5 ;; 4 |
|||
ADD ;; 6 |
|||
JUMPI ;; 7 |
|||
STOP ;; 8 |
|||
JUMPDEST ;; 9 |
|||
1 |
|||
0 |
|||
MSTORE |
|||
) |
|||
@ -0,0 +1 @@ |
|||
60006007600501596001600054005d00 |
|||
@ -0,0 +1,15 @@ |
|||
;; Indirect JUMP |
|||
|
|||
(asm |
|||
0 ;; 0 |
|||
7 ;; 2 |
|||
5 ;; 4 |
|||
ADD ;; 6 |
|||
JUMPI ;; 7 |
|||
1 ;; 8 |
|||
0 ;; 9 |
|||
MSTORE ;; 10 |
|||
STOP ;; 11 |
|||
JUMPDEST ;; 12 |
|||
STOP |
|||
) |
|||
@ -0,0 +1 @@ |
|||
600458006001600154 |
|||
@ -0,0 +1,11 @@ |
|||
;; Direct JUMP. |
|||
;; output: memory[1] == 1 |
|||
|
|||
(asm |
|||
4 ;; 0 |
|||
JUMP ;; 2 |
|||
STOP ;; 3 |
|||
1 ;; 4 |
|||
1 ;; 6 |
|||
MSTORE ;; 8 |
|||
) |
|||
@ -0,0 +1 @@ |
|||
6008586001600154 |
|||
@ -0,0 +1,10 @@ |
|||
;; Direct JUMP to the end of code. |
|||
;; output: memory should have size 0. |
|||
|
|||
(asm |
|||
8 ;; 0 |
|||
JUMP ;; 2 |
|||
1 ;; 3 |
|||
1 ;; 5 |
|||
MSTORE ;; 7 |
|||
) |
|||
@ -0,0 +1 @@ |
|||
602a586001600154 |
|||
@ -0,0 +1,10 @@ |
|||
;; Direct JUMP past the end of code. |
|||
;; output: memory should have size 0. |
|||
|
|||
(asm |
|||
42 |
|||
JUMP |
|||
1 |
|||
1 |
|||
MSTORE |
|||
) |
|||
@ -0,0 +1 @@ |
|||
600b6009580000600558005d6001600154 |
|||
@ -0,0 +1,17 @@ |
|||
;; Direct JUMP. |
|||
;; output: memory[1] = 1 |
|||
|
|||
(asm |
|||
11 ;; 0 |
|||
9 ;; 2 |
|||
JUMP ;; 4 --> 9 |
|||
STOP ;; 5 |
|||
STOP ;; 6 |
|||
5 ;; 7 |
|||
JUMP ;; 9 --> 11 |
|||
STOP ;; 10 |
|||
JUMPDEST |
|||
1 ;; 11 |
|||
1 |
|||
MSTORE |
|||
) |
|||
@ -0,0 +1 @@ |
|||
6005600e585d600160015400600f5800 |
|||
@ -0,0 +1,16 @@ |
|||
;; Direct JUMP. |
|||
;; output: memory[1] = 1 |
|||
|
|||
(asm |
|||
5 ;; 0 |
|||
14 ;; 2 |
|||
JUMP ;; 4 --> 14 |
|||
JUMPDEST ;; 5 |
|||
1 ;; 6 |
|||
1 ;; 8 |
|||
MSTORE ;; 10 |
|||
STOP ;; 11 |
|||
15 ;; 12 |
|||
JUMP ;; 14 --> 5 |
|||
STOP ;; 15 |
|||
) |
|||
@ -0,0 +1 @@ |
|||
600358600f600d58006014600758005d6001600154005d600260025400 |
|||
@ -0,0 +1,32 @@ |
|||
;; Direct JUMP. |
|||
;; output: memory[1] = 1 |
|||
|
|||
;; 0, 2 --> 3 .. 7 --> 13 -*-> 15 .. 19 |
|||
|
|||
(asm |
|||
3 ;; 0 |
|||
JUMP ;; 2 |
|||
|
|||
15 ;; 3 <- start |
|||
13 ;; 5 |
|||
JUMP ;; 7 <- b |
|||
STOP ;; 8 |
|||
|
|||
20 ;; 9 |
|||
7 ;; 11 |
|||
|
|||
JUMP ;; 13 <- a |
|||
STOP ;; 14 |
|||
|
|||
JUMPDEST ;; 15 <- c |
|||
1 ;; 16 |
|||
1 ;; 18 |
|||
MSTORE ;; 19 |
|||
STOP ;; 20 |
|||
|
|||
JUMPDEST ;; 21 <- d |
|||
2 ;; 22 |
|||
2 ;; 24 |
|||
MSTORE ;; 26 |
|||
STOP ;; 27 |
|||
) |
|||
@ -0,0 +1 @@ |
|||
600a6000545d6000536001900380600054600659 |
|||
@ -0,0 +1 @@ |
|||
(asm 10 0 MSTORE JUMPDEST 0 MLOAD 1 SWAP1 SUB DUP1 0 MSTORE 6 JUMPI) |
|||
@ -0,0 +1 @@ |
|||
600a600181038060025960005460015460025400 |
|||
@ -0,0 +1,27 @@ |
|||
;; Produces 1 2 3 4 5 6 7 8 9 10 on the stack and exits |
|||
|
|||
(asm |
|||
10 |
|||
|
|||
;; 2 |
|||
1 |
|||
DUP2 |
|||
SUB |
|||
DUP1 |
|||
2 |
|||
JUMPI |
|||
|
|||
;; stack = 1 2 3 4 5 6 7 8 9 10 |
|||
0 |
|||
MSTORE |
|||
1 |
|||
MSTORE |
|||
2 |
|||
MSTORE |
|||
;;3 |
|||
;;MSTORE |
|||
|
|||
STOP |
|||
) |
|||
|
|||
|
|||
@ -0,0 +1 @@ |
|||
600a80600190038060025960005460015460025400 |
|||
@ -0,0 +1,28 @@ |
|||
;; Produces 1 2 3 4 5 6 7 8 9 10 on the stack and exits |
|||
|
|||
(asm |
|||
10 |
|||
|
|||
;; 2 |
|||
DUP1 |
|||
1 |
|||
SWAP1 |
|||
SUB |
|||
DUP1 |
|||
2 |
|||
JUMPI |
|||
|
|||
;; stack = 1 2 3 4 5 6 7 8 9 10 |
|||
0 |
|||
MSTORE |
|||
1 |
|||
MSTORE |
|||
2 |
|||
MSTORE |
|||
;;3 |
|||
;;MSTORE |
|||
|
|||
STOP |
|||
) |
|||
|
|||
|
|||
@ -0,0 +1,4 @@ |
|||
let f n = |
|||
if n == 0 then 2 else f (n-1) |
|||
|
|||
return f 10 |
|||
@ -0,0 +1 @@ |
|||
6007600a6010585d60005460206000f26000810e6024596020600182036010585d602658600290509058 |
|||
@ -0,0 +1,10 @@ |
|||
.code: |
|||
PUSH 1 |
|||
NOT |
|||
PUSH [tag0] |
|||
JUMPI |
|||
PUSH 13 |
|||
PUSH 128 |
|||
MSTORE |
|||
tag0: |
|||
|
|||
Some files were not shown because too many files changed in this diff
Loading…
Reference in new issue