Displaying 20 results from an estimated 441 matches for "henriksen".
2007 Dec 10
4
[LLVMdev] ocaml binding question
On Monday 10 December 2007 23:14, Gordon Henriksen wrote:
> On 2007-12-10, at 18:04, Sarah Thompson wrote:
> >> Is it reasonable for me to hack on this, or would you rather do it
> >> yourself? (If the latter, you would be very much in my debt...)
> >
> > Or the other way around, or something. :)
>
> :) I'...
2007 Dec 10
0
[LLVMdev] ocaml binding question
Hi Jon,
On 2007-12-10, at 18:28, Jon Harrop wrote:
> On Monday 10 December 2007 23:14, Gordon Henriksen wrote:
>
>> On 2007-12-10, at 18:04, Sarah Thompson wrote:
>>
>>>> Is it reasonable for me to hack on this, or would you rather do
>>>> it yourself? (If the latter, you would be very much in my debt...)
>>>
>>> Or the other way around, or s...
2007 Aug 14
4
[LLVMdev] ocaml+llvm
On Aug 14, 2007, at 00:23, Chris Lattner wrote:
> On Mon, 13 Aug 2007, Gordon Henriksen wrote:
>
>> Changing these structures breaks binary compatibility (including C
>> interop).
>
> If that is so, and if there is no way around this, then it makes
> sense to develop some compatibility mode. How does native C code
> generate these tables?
I might'...
2008 Apr 26
2
[LLVMdev] ParamAttr Patch - Alignment fix
On Sunday 27 April 2008 00:48:00 Gordon Henriksen wrote:
> On Apr 26, 2008, at 17:41, Anders Johnsen wrote:
> > Hi Gordon,
> >
> > Thanks a lot for the feedback. I can see I've been way to
> > concentrated on how
> > llvm is build, then on this particular patch. I've done the changes
> > you have
>...
2007 Aug 20
2
[LLVMdev] ocaml+llvm
On Aug 14, 2007, at 4:35 AM, Gordon Henriksen wrote:
> On Aug 14, 2007, at 06:24, Gordon Henriksen wrote:
>
>> The two major problems I had really boil down to identifying GC
>> points in machine code and statically identifying live roots at
>> those GC points, both problems common to many collection
>> tec...
2008 Apr 29
2
[LLVMdev] getting started with IR needing GC
On Mon, Apr 28, 2008 at 2:13 PM, Gordon Henriksen
<gordonhenriksen at mac.com> wrote:
> > If so, then a Collector plugin would need to have info about every
> > supported backend lays out the runtime stack?
>
> Yes. This information is actually available in a target-independent
> fashion with LLVM, so the Collector i...
2007 Oct 02
4
[LLVMdev] OCaml Install Error
On 2007-10-02, at 03:19, Gordon Henriksen wrote:
> On Oct 2, 2007, at 00:17, Bill Wendling wrote:
>
>> I get this error duing a "make install":
>>
>> llvm[3]: Installing Debug /usr/local/lib/ocaml/libllvm.a
>> install: /usr/local/lib/ocaml/libllvm.a: Permission denied
>> make[3]: *** [install-...
2008 Jan 07
2
[LLVMdev] GC infrastructure checked in
On 2008-01-07, at 05:29, Jon Harrop wrote:
> On Monday 07 January 2008 02:32:47 Gordon Henriksen wrote:
>
>> Everything described in GarbageCollection.html should now be live.
>> Phew!
>>
>
> This is wonderful news! Are there any example programs using these
> GCs?
The division of labor is such that the user program must provide the
stack walker (in additio...
2008 Mar 29
2
[LLVMdev] unwinds to in the CFG
Gordon Henriksen wrote:
> What blocks would a phi node in %catch require for a case like this?
>
> define i8 @f(i1 %b) {
>
> entry:
>
> b label %try
>
> try: unwinds to %catch
>
> b i1 %b, label %then, label %else
>
> then: unwinds to %catch
&...
2008 Jul 26
2
[LLVMdev] CollectorRegistry
2008/7/26 Gordon Henriksen <gordonhenriksen at me.com>:
> I'm not sure the purpose of doing so—llvm::Collector (poorly named;
> I'm open to suggestions) exists only in the compiler, not at runtime
> in the compiled program. You should need access to it at runtime no
> more than you might need access...
2007 Nov 25
0
[LLVMdev] OCaml
...r functional programming
> . Exceptions
> . Some interface to LLVM from OCaml
>
> What work has already been done on this and similar ideas? What is the
> easiest
> way to interface a front-end written in OCaml with an LLVM backend?
There are some ocaml bindings in CVS by Gordon Henriksen :-
http://llvm.org/viewvc/llvm-project/llvm/trunk/bindings/ocaml/
Dont know anything about them but they seem pritty extensive.
Aaron
2007 Dec 12
2
[LLVMdev] ocaml binding question
On Monday 10 December 2007 23:52, Gordon Henriksen wrote:
> On 2007-12-10, at 18:28, Jon Harrop wrote:
> > Incidentally, should more OCaml stuff beyond the bindings be part of
> > LLVM or would it be better to fork them into a separate project
>
> Can you be more specific than "stuff"?
I'm thinking of a library t...
2008 Apr 26
0
[LLVMdev] ParamAttr Patch - Alignment fix
On Apr 26, 2008, at 19:09, Anders Johnsen wrote:
> On Sunday 27 April 2008 00:48:00 Gordon Henriksen wrote:
>
>> On Apr 26, 2008, at 17:41, Anders Johnsen wrote:
>>
>>
>>> +void LLVMSetInstrParamAlignment(LLVMValueRef Instr, unsigned index,
>>> unsigned align) {
>>> + CallSite Call = CallSite(unwrap<Instruction>(Instr));
>>> + Call.s...
2008 Apr 28
3
[LLVMdev] ParamAttr Patch - Alignment fix
On Sunday 27 April 2008 01:33:31 Gordon Henriksen wrote:
> On Apr 26, 2008, at 19:09, Anders Johnsen wrote:
> > On Sunday 27 April 2008 00:48:00 Gordon Henriksen wrote:
> >> On Apr 26, 2008, at 17:41, Anders Johnsen wrote:
> >>> +void LLVMSetInstrParamAlignment(LLVMValueRef Instr, unsigned index,
> >>> uns...
2008 Jan 03
0
[LLVMdev] x86 calling conventions refactoring
On 2008-01-01, at 20:05, Gordon Henriksen wrote:
> The attachment supersedes the previous patch. It incorporates some
> feedback from Anton and takes the next step of merging the largely
> duplicated calling convention logic in X86ISelLowering.
>
> • LowerCCCArguments, LowerX86_64CCCArguments and
> LowerFastCCArgum...
2008 Jan 07
2
[LLVMdev] GC infrastructure checked in
On Jan 7, 2008, at 10:54, Carl Friedrich Bolz wrote:
> Gordon Henriksen wrote:
>
>> That said, the PyPy group has llvmgcroot support on a branch; you
>> could ask Armin Rigo <arigo at tunes dot org> for details about
>> accessing it.
>>
>> On his benchmarks, Armin saw an 8% speedup vs. a shadow stack.
>> Their gcc bac...
2008 Apr 29
0
[LLVMdev] getting started with IR needing GC
On 2008-04-28, at 21:19, Lane Schwartz wrote:
> On Mon, Apr 28, 2008 at 2:13 PM, Gordon Henriksen <gordonhenriksen at mac.com
> > wrote:
>
>>> If so, then a Collector plugin would need to have info about every
>>> supported backend lays out the runtime stack?
>>
>> Yes. This information is actually available in a target-independent
>> fashion...
2007 Sep 16
2
[LLVMdev] More Garbage Collection Questions
Gordon Henriksen wrote:
> Can you be more specific the algorithm for which you need type
> metadata in a write barrier? No algorithms I am aware of perform any
> tracing from a write barrier.
>
This one does:
http://citeseer.ist.psu.edu/cache/papers/cs2/442/http:zSzzSzwww.cs.technion.ac.ilzSz~er...
2007 Aug 14
0
[LLVMdev] ocaml+llvm
On Aug 14, 2007, at 06:24, Gordon Henriksen wrote:
> The two major problems I had really boil down to identifying GC
> points in machine code and statically identifying live roots at
> those GC points, both problems common to many collection
> techniques. Looking at the problem from that perspective makes the
> proble...
2008 Apr 01
2
[LLVMdev] Reference Manual Clarifications
Gordon Henriksen wrote:
> Hi Jon,
>
> Please you'll want to submit patches as unified diffs and as
> attachments.
>
> I notice you're using Thunderbird, so I refer you to this tip:
>
> http://lists.cs.uiuc.edu/pipermail/llvmdev/2008-January/011992.html
>
> Although this n...