[llvm-dev] Simplistic Backend
Eli Bendersky via llvm-dev
llvm-dev at lists.llvm.org
Wed Feb 17 08:04:38 PST 2016
On Wed, Feb 17, 2016 at 4:59 AM, Christian Reitwiessner via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
> I'm working on a project that aims to do very cheap verification of
> generic computations on blockchains (specifically Ethereum).
> For that, I would like to compile complex code (think of hash functions
> or key derivation functions) into a very simplistic architecture for
> which it is trivial to write an interpreter.
> An architecture like TinyRAM  would be ideal, i.e. it has the usual
> arithmetic and logical operations on registers, conditional jumps and
> memory read- and write access only via specific instructions (although
> this is not too important).
> Is there an llvm backend that comes close to that? If not, how hard is
> it to implement such a backend?
> Oh and by the way, brainfuck might also be a suitable architecture :-)
Good timing, Christian!
We're now in the process of upstreaming a very simple backend for a
processor with similar characteristics (integer registers, register-memory
operations) and enough power to run C++. Here's the email with links to
The backend is now being reviewed - its ISA is described in comments in the
Tablegen file contained in the backend patch
Feel free to take a look and leave comments
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev