aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChristian <c@ethdev.com>2014-11-06 21:50:18 +0800
committerChristian <c@ethdev.com>2014-11-06 21:50:18 +0800
commit476853f3feb2159fa24a85826c19e7e5190d3770 (patch)
tree6bda3f938d8e0332e8cbe1374d88dfc4f1103678
parentfd980ea543a9d666dd20289ac61cfbe40a039d5e (diff)
downloaddexon-solidity-476853f3feb2159fa24a85826c19e7e5190d3770.tar.gz
dexon-solidity-476853f3feb2159fa24a85826c19e7e5190d3770.tar.zst
dexon-solidity-476853f3feb2159fa24a85826c19e7e5190d3770.zip
Moved instructions and assembly to new libevmcore.
-rw-r--r--All.h1
-rw-r--r--Assembly.cpp447
-rw-r--r--Assembly.h139
-rw-r--r--CMakeLists.txt2
-rw-r--r--CodeFragment.cpp2
-rw-r--r--CodeFragment.h4
-rw-r--r--Exceptions.h3
7 files changed, 4 insertions, 594 deletions
diff --git a/All.h b/All.h
index ec6989e6..7c4192f6 100644
--- a/All.h
+++ b/All.h
@@ -1,6 +1,5 @@
#pragma once
-#include "Assembly.h"
#include "CodeFragment.h"
#include "Compiler.h"
#include "CompilerState.h"
diff --git a/Assembly.cpp b/Assembly.cpp
deleted file mode 100644
index d4f6c0a7..00000000
--- a/Assembly.cpp
+++ /dev/null
@@ -1,447 +0,0 @@
-/*
- This file is part of cpp-ethereum.
-
- cpp-ethereum 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.
-
- cpp-ethereum 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 cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
-*/
-/** @file Assembly.cpp
- * @author Gav Wood <i@gavwood.com>
- * @date 2014
- */
-
-#include "Assembly.h"
-
-#include <libdevcore/Log.h>
-
-using namespace std;
-using namespace dev;
-using namespace dev::eth;
-
-int AssemblyItem::deposit() const
-{
- switch (m_type)
- {
- case Operation:
- return instructionInfo((Instruction)(byte)m_data).ret - instructionInfo((Instruction)(byte)m_data).args;
- case Push: case PushString: case PushTag: case PushData: case PushSub: case PushSubSize:
- return 1;
- case Tag:
- return 0;
- default:;
- }
- return 0;
-}
-
-unsigned Assembly::bytesRequired() const
-{
- for (unsigned br = 1;; ++br)
- {
- unsigned ret = 1;
- for (auto const& i: m_data)
- ret += i.second.size();
-
- for (AssemblyItem const& i: m_items)
- switch (i.m_type)
- {
- case Operation:
- case Tag: // 1 byte for the JUMPDEST
- ret++;
- break;
- case PushString:
- ret += 33;
- break;
- case Push:
- ret += 1 + max<unsigned>(1, dev::bytesRequired(i.m_data));
- break;
- case PushSubSize:
- ret += 4; // worst case: a 16MB program
- break;
- case PushTag:
- case PushData:
- case PushSub:
- ret += 1 + br;
- default:;
- }
- if (dev::bytesRequired(ret) <= br)
- return ret;
- }
-}
-
-void Assembly::append(Assembly const& _a)
-{
- auto newDeposit = m_deposit + _a.deposit();
- for (AssemblyItem i: _a.m_items)
- {
- if (i.type() == Tag || i.type() == PushTag)
- i.m_data += m_usedTags;
- append(i);
- }
- m_deposit = newDeposit;
- m_usedTags += _a.m_usedTags;
- for (auto const& i: _a.m_data)
- m_data.insert(i);
- for (auto const& i: _a.m_strings)
- m_strings.insert(i);
- for (auto const& i: _a.m_subs)
- m_subs.insert(i);
-
- assert(!_a.m_baseDeposit);
- assert(!_a.m_totalDeposit);
-}
-
-void Assembly::append(Assembly const& _a, int _deposit)
-{
- if (_deposit > _a.m_deposit)
- BOOST_THROW_EXCEPTION(InvalidDeposit());
- else
- {
- append(_a);
- while (_deposit++ < _a.m_deposit)
- append(Instruction::POP);
- }
-}
-
-ostream& dev::eth::operator<<(ostream& _out, AssemblyItemsConstRef _i)
-{
- for (AssemblyItem const& i: _i)
- switch (i.type())
- {
- case Operation:
- _out << " " << instructionInfo((Instruction)(byte)i.data()).name;
- break;
- case Push:
- _out << " PUSH" << i.data();
- break;
- case PushString:
- _out << " PUSH'[" << hex << (unsigned)i.data() << "]";
- break;
- case PushTag:
- _out << " PUSH[tag" << i.data() << "]";
- break;
- case Tag:
- _out << " tag" << i.data() << ": JUMPDEST";
- break;
- case PushData:
- _out << " PUSH*[" << hex << (unsigned)i.data() << "]";
- break;
- case PushSub:
- _out << " PUSHs[" << hex << h256(i.data()).abridged() << "]";
- break;
- case PushSubSize:
- _out << " PUSHss[" << hex << h256(i.data()).abridged() << "]";
- break;
- case UndefinedItem:
- _out << " ???";
- default:;
- }
- return _out;
-}
-
-ostream& Assembly::streamRLP(ostream& _out, string const& _prefix) const
-{
- _out << _prefix << ".code:" << endl;
- for (AssemblyItem const& i: m_items)
- switch (i.m_type)
- {
- case Operation:
- _out << _prefix << " " << instructionInfo((Instruction)(byte)i.m_data).name << endl;
- break;
- case Push:
- _out << _prefix << " PUSH " << i.m_data << endl;
- break;
- case PushString:
- _out << _prefix << " PUSH \"" << m_strings.at((h256)i.m_data) << "\"" << endl;
- break;
- case PushTag:
- _out << _prefix << " PUSH [tag" << i.m_data << "]" << endl;
- break;
- case PushSub:
- _out << _prefix << " PUSH [$" << h256(i.m_data).abridged() << "]" << endl;
- break;
- case PushSubSize:
- _out << _prefix << " PUSH #[$" << h256(i.m_data).abridged() << "]" << endl;
- break;
- case Tag:
- _out << _prefix << "tag" << i.m_data << ": " << endl << _prefix << " JUMPDEST" << endl;
- break;
- case PushData:
- _out << _prefix << " PUSH [" << hex << (unsigned)i.m_data << "]" << endl;
- break;
- default:;
- }
-
- if (m_data.size() || m_subs.size())
- {
- _out << _prefix << ".data:" << endl;
- for (auto const& i: m_data)
- if (!m_subs.count(i.first))
- _out << _prefix << " " << hex << (unsigned)(u256)i.first << ": " << toHex(i.second) << endl;
- for (auto const& i: m_subs)
- {
- _out << _prefix << " " << hex << (unsigned)(u256)i.first << ": " << endl;
- i.second.streamRLP(_out, _prefix + " ");
- }
- }
- return _out;
-}
-
-AssemblyItem const& Assembly::append(AssemblyItem const& _i)
-{
- m_deposit += _i.deposit();
- m_items.push_back(_i);
- return back();
-}
-
-void Assembly::injectStart(AssemblyItem const& _i)
-{
- m_items.insert(m_items.begin(), _i);
-}
-
-inline bool matches(AssemblyItemsConstRef _a, AssemblyItemsConstRef _b)
-{
- if (_a.size() != _b.size())
- return false;
- for (unsigned i = 0; i < _a.size(); ++i)
- if (!_a[i].match(_b[i]))
- return false;
- return true;
-}
-
-struct OptimiserChannel: public LogChannel { static const char* name() { return "OPT"; } static const int verbosity = 12; };
-#define copt dev::LogOutputStream<OptimiserChannel, true>()
-
-Assembly& Assembly::optimise(bool _enable)
-{
- if (!_enable)
- return *this;
- map<Instruction, function<u256(u256, u256)>> c_simple =
- {
- { Instruction::SUB, [](u256 a, u256 b)->u256{return a - b;} },
- { Instruction::DIV, [](u256 a, u256 b)->u256{return a / b;} },
- { Instruction::SDIV, [](u256 a, u256 b)->u256{return s2u(u2s(a) / u2s(b));} },
- { Instruction::MOD, [](u256 a, u256 b)->u256{return a % b;} },
- { Instruction::SMOD, [](u256 a, u256 b)->u256{return s2u(u2s(a) % u2s(b));} },
- { Instruction::EXP, [](u256 a, u256 b)->u256{return (u256)boost::multiprecision::powm((bigint)a, (bigint)b, bigint(2) << 256);} },
- { Instruction::LT, [](u256 a, u256 b)->u256{return a < b ? 1 : 0;} },
- { Instruction::GT, [](u256 a, u256 b)->u256{return a > b ? 1 : 0;} },
- { Instruction::SLT, [](u256 a, u256 b)->u256{return u2s(a) < u2s(b) ? 1 : 0;} },
- { Instruction::SGT, [](u256 a, u256 b)->u256{return u2s(a) > u2s(b) ? 1 : 0;} },
- { Instruction::EQ, [](u256 a, u256 b)->u256{return a == b ? 1 : 0;} },
- };
- map<Instruction, function<u256(u256, u256)>> c_associative =
- {
- { Instruction::ADD, [](u256 a, u256 b)->u256{return a + b;} },
- { Instruction::MUL, [](u256 a, u256 b)->u256{return a * b;} },
- };
- std::vector<pair<AssemblyItems, function<AssemblyItems(AssemblyItemsConstRef)>>> rules =
- {
- { { Push, Instruction::POP }, [](AssemblyItemsConstRef) -> AssemblyItems { return {}; } },
- { { PushTag, Instruction::POP }, [](AssemblyItemsConstRef) -> AssemblyItems { return {}; } },
- { { PushString, Instruction::POP }, [](AssemblyItemsConstRef) -> AssemblyItems { return {}; } },
- { { PushSub, Instruction::POP }, [](AssemblyItemsConstRef) -> AssemblyItems { return {}; } },
- { { PushSubSize, Instruction::POP }, [](AssemblyItemsConstRef) -> AssemblyItems { return {}; } },
- { { Push, PushTag, Instruction::JUMPI }, [](AssemblyItemsConstRef m) -> AssemblyItems { if (m[0].data()) return { m[1], Instruction::JUMP }; else return {}; } },
- { { Instruction::ISZERO, Instruction::ISZERO }, [](AssemblyItemsConstRef) -> AssemblyItems { return {}; } },
- };
-
- for (auto const& i: c_simple)
- rules.push_back({ { Push, Push, i.first }, [&](AssemblyItemsConstRef m) -> AssemblyItems { return { i.second(m[1].data(), m[0].data()) }; } });
- for (auto const& i: c_associative)
- {
- rules.push_back({ { Push, Push, i.first }, [&](AssemblyItemsConstRef m) -> AssemblyItems { return { i.second(m[1].data(), m[0].data()) }; } });
- rules.push_back({ { Push, i.first, Push, i.first }, [&](AssemblyItemsConstRef m) -> AssemblyItems { return { i.second(m[2].data(), m[0].data()), i.first }; } });
- rules.push_back({ { PushTag, Instruction::JUMP, Tag }, [&](AssemblyItemsConstRef m) -> AssemblyItems { if (m[0].m_data == m[2].m_data) return {}; else return m.toVector(); }});
- }
-
- copt << *this;
-
- unsigned total = 0;
- for (unsigned count = 1; count > 0; total += count)
- {
- count = 0;
- map<u256, unsigned> tags;
- for (unsigned i = 0; i < m_items.size(); ++i)
- {
- for (auto const& r: rules)
- {
- auto vr = AssemblyItemsConstRef(&m_items).cropped(i, r.first.size());
- if (matches(&r.first, vr))
- {
- auto rw = r.second(vr);
- if (rw.size() < vr.size())
- {
- copt << vr << "matches" << AssemblyItemsConstRef(&r.first) << "becomes...";
- for (unsigned j = 0; j < vr.size(); ++j)
- if (j < rw.size())
- m_items[i + j] = rw[j];
- else
- m_items.erase(m_items.begin() + i + rw.size());
- copt << AssemblyItemsConstRef(&rw);
- count++;
- copt << "Now:\n" << m_items;
- }
- }
- }
- if (m_items[i].type() == Operation && m_items[i].data() == (byte)Instruction::JUMP)
- {
- bool o = false;
- while (m_items.size() > i + 1 && m_items[i + 1].type() != Tag)
- {
- m_items.erase(m_items.begin() + i + 1);
- o = true;
- }
- if (o)
- {
- copt << "Jump with no tag. Now:\n" << m_items;
- ++count;
- }
- }
- }
-
- for (unsigned i = 0; i < m_items.size(); ++i)
- if (m_items[i].type() == Tag)
- tags.insert(make_pair(m_items[i].data(), i));
-
- for (auto const& i: m_items)
- if (i.type() == PushTag)
- tags.erase(i.data());
-
- if (tags.size())
- {
- auto t = *tags.begin();
- unsigned i = t.second;
- if (i && m_items[i - 1].type() == Operation && m_items[i - 1].data() == (byte)Instruction::JUMP)
- while (i < m_items.size() && (m_items[i].type() != Tag || tags.count(m_items[i].data())))
- {
- if (m_items[i].type() == Tag && tags.count(m_items[i].data()))
- tags.erase(m_items[i].data());
- m_items.erase(m_items.begin() + i);
- }
- else
- {
- m_items.erase(m_items.begin() + i);
- tags.erase(t.first);
- }
- copt << "Unused tag. Now:\n" << m_items;
- ++count;
- }
- }
-
- copt << total << " optimisations done.";
-
- for (auto& i: m_subs)
- i.second.optimise(true);
-
- return *this;
-}
-
-bytes Assembly::assemble() const
-{
- bytes ret;
-
- unsigned totalBytes = bytesRequired();
- ret.reserve(totalBytes);
- vector<unsigned> tagPos(m_usedTags);
- map<unsigned, unsigned> tagRef;
- multimap<h256, unsigned> dataRef;
- unsigned bytesPerTag = dev::bytesRequired(totalBytes);
- byte tagPush = (byte)Instruction::PUSH1 - 1 + bytesPerTag;
-
- for (auto const& i: m_subs)
- m_data[i.first] = i.second.assemble();
-
- for (AssemblyItem const& i: m_items)
- switch (i.m_type)
- {
- case Operation:
- ret.push_back((byte)i.m_data);
- break;
- case PushString:
- {
- ret.push_back((byte)Instruction::PUSH32);
- unsigned ii = 0;
- for (auto j: m_strings.at((h256)i.m_data))
- if (++ii > 32)
- break;
- else
- ret.push_back((byte)j);
- while (ii++ < 32)
- ret.push_back(0);
- break;
- }
- case Push:
- {
- byte b = max<unsigned>(1, dev::bytesRequired(i.m_data));
- ret.push_back((byte)Instruction::PUSH1 - 1 + b);
- ret.resize(ret.size() + b);
- bytesRef byr(&ret.back() + 1 - b, b);
- toBigEndian(i.m_data, byr);
- break;
- }
- case PushTag:
- {
- ret.push_back(tagPush);
- tagRef[ret.size()] = (unsigned)i.m_data;
- ret.resize(ret.size() + bytesPerTag);
- break;
- }
- case PushData: case PushSub:
- {
- ret.push_back(tagPush);
- dataRef.insert(make_pair((h256)i.m_data, ret.size()));
- ret.resize(ret.size() + bytesPerTag);
- break;
- }
- case PushSubSize:
- {
- auto s = m_data[i.m_data].size();
- byte b = max<unsigned>(1, dev::bytesRequired(s));
- ret.push_back((byte)Instruction::PUSH1 - 1 + b);
- ret.resize(ret.size() + b);
- bytesRef byr(&ret.back() + 1 - b, b);
- toBigEndian(s, byr);
- break;
- }
- case Tag:
- tagPos[(unsigned)i.m_data] = ret.size();
- ret.push_back((byte)Instruction::JUMPDEST);
- break;
- default:;
- }
-
- for (auto const& i: tagRef)
- {
- bytesRef r(ret.data() + i.first, bytesPerTag);
- toBigEndian(tagPos[i.second], r);
- }
-
- if (m_data.size())
- {
- ret.push_back(0);
- for (auto const& i: m_data)
- {
- auto its = dataRef.equal_range(i.first);
- if (its.first != its.second)
- {
- for (auto it = its.first; it != its.second; ++it)
- {
- bytesRef r(ret.data() + it->second, bytesPerTag);
- toBigEndian(ret.size(), r);
- }
- for (auto b: i.second)
- ret.push_back(b);
- }
- }
- }
- return ret;
-}
diff --git a/Assembly.h b/Assembly.h
deleted file mode 100644
index e39f1899..00000000
--- a/Assembly.h
+++ /dev/null
@@ -1,139 +0,0 @@
-/*
- This file is part of cpp-ethereum.
-
- cpp-ethereum 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.
-
- cpp-ethereum 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 cpp-ethereum. If not, see <http://www.gnu.org/licenses/>.
-*/
-/** @file CodeFragment.h
- * @author Gav Wood <i@gavwood.com>
- * @date 2014
- */
-
-#pragma once
-
-#include <iostream>
-#include <sstream>
-#include <libdevcore/Common.h>
-#include <libevmface/Instruction.h>
-#include "Exceptions.h"
-
-namespace dev
-{
-namespace eth
-{
-
-enum AssemblyItemType { UndefinedItem, Operation, Push, PushString, PushTag, PushSub, PushSubSize, Tag, PushData };
-
-class Assembly;
-
-class AssemblyItem
-{
- friend class Assembly;
-
-public:
- AssemblyItem(u256 _push): m_type(Push), m_data(_push) {}
- AssemblyItem(Instruction _i): m_type(Operation), m_data((byte)_i) {}
- AssemblyItem(AssemblyItemType _type, u256 _data = 0): m_type(_type), m_data(_data) {}
-
- AssemblyItem tag() const { if (asserts(m_type == PushTag || m_type == Tag)) BOOST_THROW_EXCEPTION(Exception()); return AssemblyItem(Tag, m_data); }
- AssemblyItem pushTag() const { if (asserts(m_type == PushTag || m_type == Tag)) BOOST_THROW_EXCEPTION(Exception()); return AssemblyItem(PushTag, m_data); }
-
- AssemblyItemType type() const { return m_type; }
- u256 data() const { return m_data; }
-
- int deposit() const;
-
- bool match(AssemblyItem const& _i) const { return _i.m_type == UndefinedItem || (m_type == _i.m_type && (m_type != Operation || m_data == _i.m_data)); }
-
-private:
- AssemblyItemType m_type;
- u256 m_data;
-};
-
-typedef std::vector<AssemblyItem> AssemblyItems;
-typedef vector_ref<AssemblyItem const> AssemblyItemsConstRef;
-
-std::ostream& operator<<(std::ostream& _out, AssemblyItemsConstRef _i);
-inline std::ostream& operator<<(std::ostream& _out, AssemblyItems const& _i) { return operator<<(_out, AssemblyItemsConstRef(&_i)); }
-
-class Assembly
-{
-public:
- AssemblyItem newTag() { return AssemblyItem(Tag, m_usedTags++); }
- AssemblyItem newPushTag() { return AssemblyItem(PushTag, m_usedTags++); }
- AssemblyItem newData(bytes const& _data) { h256 h = (u256)std::hash<std::string>()(asString(_data)); m_data[h] = _data; return AssemblyItem(PushData, h); }
- AssemblyItem newSub(Assembly const& _sub) { h256 h = h256::random(s_fixedHashEngine); m_subs[h] = _sub; return AssemblyItem(PushSub, h); }
- AssemblyItem newPushString(std::string const& _data) { h256 h = (u256)std::hash<std::string>()(_data); m_strings[h] = _data; return AssemblyItem(PushString, h); }
- AssemblyItem newPushSubSize(h256 const& _subId) { return AssemblyItem(PushSubSize, _subId); }
-
- AssemblyItem append() { return append(newTag()); }
- void append(Assembly const& _a);
- void append(Assembly const& _a, int _deposit);
- AssemblyItem const& append(AssemblyItem const& _i);
- AssemblyItem const& append(std::string const& _data) { return append(newPushString(_data)); }
- AssemblyItem const& append(bytes const& _data) { return append(newData(_data)); }
- AssemblyItem appendSubSize(Assembly const& _a) { auto ret = newSub(_a); append(newPushSubSize(ret.data())); return ret; }
-
- AssemblyItem appendJump() { auto ret = append(newPushTag()); append(Instruction::JUMP); return ret; }
- AssemblyItem appendJumpI() { auto ret = append(newPushTag()); append(Instruction::JUMPI); return ret; }
- AssemblyItem appendJump(AssemblyItem const& _tag) { auto ret = append(_tag.pushTag()); append(Instruction::JUMP); return ret; }
- AssemblyItem appendJumpI(AssemblyItem const& _tag) { auto ret = append(_tag.pushTag()); append(Instruction::JUMPI); return ret; }
-
- template <class T> Assembly& operator<<(T const& _d) { append(_d); return *this; }
-
- AssemblyItem const& back() { return m_items.back(); }
- std::string backString() const { return m_items.size() && m_items.back().m_type == PushString ? m_strings.at((h256)m_items.back().m_data) : std::string(); }
-
- void onePath() { if (asserts(!m_totalDeposit && !m_baseDeposit)) BOOST_THROW_EXCEPTION(InvalidDeposit()); m_baseDeposit = m_deposit; m_totalDeposit = INT_MAX; }
- void otherPath() { donePath(); m_totalDeposit = m_deposit; m_deposit = m_baseDeposit; }
- void donePaths() { donePath(); m_totalDeposit = m_baseDeposit = 0; }
- void ignored() { m_baseDeposit = m_deposit; }
- void endIgnored() { m_deposit = m_baseDeposit; m_baseDeposit = 0; }
-
- void popTo(int _deposit) { while (m_deposit > _deposit) append(Instruction::POP); }
-
- void injectStart(AssemblyItem const& _i);
-
- std::string out() const { std::stringstream ret; streamRLP(ret); return ret.str(); }
-
- int deposit() const { return m_deposit; }
- void adjustDeposit(int _adjustment) { m_deposit += _adjustment; if (asserts(m_deposit >= 0)) BOOST_THROW_EXCEPTION(InvalidDeposit()); }
- void setDeposit(int _deposit) { m_deposit = _deposit; if (asserts(m_deposit >= 0)) BOOST_THROW_EXCEPTION(InvalidDeposit()); }
-
- bytes assemble() const;
- Assembly& optimise(bool _enable);
- std::ostream& streamRLP(std::ostream& _out, std::string const& _prefix = "") const;
-
-private:
- void donePath() { if (m_totalDeposit != INT_MAX && m_totalDeposit != m_deposit) BOOST_THROW_EXCEPTION(InvalidDeposit()); }
- unsigned bytesRequired() const;
-
- unsigned m_usedTags = 0;
- AssemblyItems m_items;
- mutable std::map<h256, bytes> m_data;
- std::map<h256, Assembly> m_subs;
- std::map<h256, std::string> m_strings;
-
- int m_deposit = 0;
- int m_baseDeposit = 0;
- int m_totalDeposit = 0;
-};
-
-inline std::ostream& operator<<(std::ostream& _out, Assembly const& _a)
-{
- _a.streamRLP(_out);
- return _out;
-}
-
-}
-}
diff --git a/CMakeLists.txt b/CMakeLists.txt
index cb50cc36..8b158178 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -15,7 +15,7 @@ endif()
include_directories(..)
-target_link_libraries(${EXECUTABLE} evmface)
+target_link_libraries(${EXECUTABLE} evmcore)
target_link_libraries(${EXECUTABLE} devcore)
diff --git a/CodeFragment.cpp b/CodeFragment.cpp
index 47df8f3b..2c200caa 100644
--- a/CodeFragment.cpp
+++ b/CodeFragment.cpp
@@ -25,7 +25,7 @@
#include <boost/spirit/include/support_utree.hpp>
#include <libdevcore/Log.h>
#include <libdevcore/CommonIO.h>
-#include <libevmface/Instruction.h>
+#include <libevmcore/Instruction.h>
#include "CompilerState.h"
#include "Parser.h"
using namespace std;
diff --git a/CodeFragment.h b/CodeFragment.h
index d6ca86bb..b24b474d 100644
--- a/CodeFragment.h
+++ b/CodeFragment.h
@@ -22,8 +22,8 @@
#pragma once
#include <libdevcore/Common.h>
-#include <libevmface/Instruction.h>
-#include "Assembly.h"
+#include <libevmcore/Instruction.h>
+#include <libevmcore/Assembly.h>
#include "Exceptions.h"
namespace boost { namespace spirit { class utree; } }
diff --git a/Exceptions.h b/Exceptions.h
index c45215f1..1e9671b3 100644
--- a/Exceptions.h
+++ b/Exceptions.h
@@ -32,16 +32,13 @@ namespace eth
class CompilerException: public dev::Exception {};
class InvalidOperation: public CompilerException {};
class IntegerOutOfRange: public CompilerException {};
-class StringTooLong: public CompilerException {};
class EmptyList: public CompilerException {};
class DataNotExecutable: public CompilerException {};
class IncorrectParameterCount: public CompilerException {};
-class InvalidDeposit: public CompilerException {};
class InvalidName: public CompilerException {};
class InvalidMacroArgs: public CompilerException {};
class InvalidLiteral: public CompilerException {};
class BareSymbol: public CompilerException {};
-class ExpectedLiteral: public CompilerException {};
}
}