[prev in list] [next in list] [prev in thread] [next in thread] 

List:       linux-sparse
Subject:    Re: Sparse and LLVM
From:       "Chris Li" <sparse () chrisli ! org>
Date:       2006-12-27 11:15:33
Message-ID: 70318cbf0612270315p483df383l6d91ca0280a0af27 () mail ! gmail ! com
[Download RAW message or body]

It is on my todo list, I even have some half baked patches try to do
that.

Converting from sparse linearized code to llvm byte code should
be very straight forward. Like llvm, the sparse pesudo stay in SSA
from. The only tricky part is GEP, sparse convert member deference
to ptr + constant + type cast on the symbol expand stage. Even before
linearization. It is still doable by guesting the type plus offset. I have
some idea how to preserve that information in sparse but I haven't complete
it.

If you try to write a sparse to llvm byte code converter, please start
from the linearized instructions. It will save you a lot of work.

Chris

On 12/27/06, Sanghyeon Seo <sanxiyn@gmail.com> wrote:
> I can't be the first person to think of this, can I? But I couldn't
> locate any reference on this combination. If you know of one, please
> tell me.
>
> Sparse: http://kernel.org/pub/linux/kernel/people/josh/sparse/
> LLVM: http://llvm.org/
>
> So, you may expect compile-llvm.c in a few days. :)
>
> --
> Seo Sanghyeon
> -
> To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html
>
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
[prev in list] [next in list] [prev in thread] [next in thread]