Displaying 2 results from an estimated 2 matches for "make32bit".
2008 Nov 26
3
[LLVMdev] Proposal for TableML, llvmc2 configuration language
...es a
definition of "RegisterNames : string list". Then we could have a
TableML input file like this:
def val RegisterInfo = [ "eax", "ebx", "ecx", "edx" ]
Or we could have a more complex one that performs computation to produce
the result.
val make32bit = (fn x => strcat("e", x))
def val RegisterInfo = map make32bit [ "ax", "bx", "cx", "dx" ]
Obviously, this example is somewhat contrived, but it's just to
illustrate that arbitrary computation is allowed (and is performed at
compile time),...
2008 Nov 27
0
[LLVMdev] Proposal for TableML, llvmc2 configuration language
...le for use throughout LLVM if other projects
> would like to make use of it.
Your proposal seems interesting - I especially like that you are using a
functional language. When your compiler will be able to generate llvmc plugins,
it will provide a nice TableGen alternative for llvmc.
> val make32bit = (fn x => strcat("e", x))
> def val RegisterInfo = map make32bit [ "ax", "bx", "cx", "dx" ]
It'd probably be nice if it was possible to syntactically distinguish between
what is evaluated at run-time and at compile-time (like in Template...