llvm dev - Mar 2004 - [LLVMdev] Extending LLVM

Hi all,

I had a quick question. I think it's possible to do this, but just
wanted to make sure.

It is possible to extend LLVM to add, say, matrix operations at a higher
level and then "lower" them into some version of LLVM
"proper" after
performing any transformations on them, right? Also, it's possible to
have any custom-made types (like "matrix") as well?

Thanks!

-bw

-- 
||  "If wishes and buts were clusters of nuts, we'd all have a bowl of
||   granola!" - Mr. Jellineck

On Fri, 26 Mar 2004, Bill Wendling wrote:
> It is possible to extend LLVM to add, say, matrix operations at a higher
> level and then "lower" them into some version of LLVM
"proper" after
> performing any transformations on them, right? Also, it's possible to
> have any custom-made types (like "matrix") as well?
It is certainly possible to do things like this.  I would recommend adding
a small set of intrinsic functions for the various operations that you
would like to support (matrix matrix multiply, etc), which your high-level
passes would easily recognize and be able to transform.  You would then
have a lowering pass that did the obvious expansion on them.

I don't think that you'd need to have an LLVM "matrix" type. 
You should
be able to just use a two dimensional array, or opaque type, or
whatever.

-Chris

-- 
http://llvm.cs.uiuc.edu/
http://www.nondot.org/~sabre/Projects/

I was going to wait to bring this up but since the topic has been
addressed ...

Would people other than myself find it useful to have a standardized
extension framework for LLVM? I'm thinking of something that would allow
new LLVM instructions, fundamental types, structured types, etc. This
would require significant work to allow the various pieces of LLVM
(assembler, disassembler, runtime, JIT, optimization, analysis, code
gen, etc.) to be extended arbitrarily.  Each extension would be a
self-contained piece of code that could be dynamically loaded by LLVM
core and used at the right times during LLVM execution. Such things as
threading support, advanced math functions, scientific computations and
types (rational,complex,etc.), higher order data structures, etc. could
all be done as extensions instead of adding them to the core. This would
keep the core small(ish) and allow researchers and implementors to add
things to LLVM in an isolated fashion.

What think ye?

Reid.

On Fri, 2004-03-26 at 11:29, Chris Lattner wrote:
> On Fri, 26 Mar 2004, Bill Wendling wrote:
> 
> > It is possible to extend LLVM to add, say, matrix operations at a
higher
> > level and then "lower" them into some version of LLVM
"proper" after
> > performing any transformations on them, right? Also, it's possible
to
> > have any custom-made types (like "matrix") as well?
> 
> It is certainly possible to do things like this.  I would recommend adding
> a small set of intrinsic functions for the various operations that you
> would like to support (matrix matrix multiply, etc), which your high-level
> passes would easily recognize and be able to transform.  You would then
> have a lowering pass that did the obvious expansion on them.
> 
> I don't think that you'd need to have an LLVM "matrix"
type.  You should
> be able to just use a two dimensional array, or opaque type, or
> whatever.
> 
> -Chris
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20040326/bd30238a/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: This is a digitally signed message part
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20040326/bd30238a/attachment.sig>