search for: henriksen

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...