Displaying 6 results from an estimated 6 matches for "proguan".
Did you mean:
progman
2008 Apr 30
1
[LLVMdev] Is it possible to write a llvm pass in OCaml?
Dear All,
Is it possible to write a llvm pass in OCaml? Is there any API such as
runOnModule() in ModulePass, runOnFunction() in FunctionPass in OCaml?
I have looked through the tutorial,
http://llvm.org/docs/tutorial/OCamlLangImpl1.html, it looks like just a
tutorial about "Implementing a language with LLVM" in Objective Caml.
Thank you for your help.
Best Regards,
GUanhua
2008 May 01
0
[LLVMdev] Is it possible to write a llvm pass in OCaml?
On May 1, 2008, at 15:09, proguan wrote:
> Thank you very much for your reply and your suggestion. It seems not
> easily to write a Pass by OCaml...
>
> Is there a way to analyse the IR in OCaml without using a Pass or
> building a IR syntax tree and a parser by myself? Is there any
> existing thing can hel...
2008 Apr 17
2
[LLVMdev] measuring the stack size
Dear All,
Does anyone have good ideas to dynamically measure the stack size of a
program by using LLVM.
I am trying to add some new intrinsic functions after each "alloca" in
bitcode. Is it a good way to do it?
Any existing tools can help me to do so?
Any help will be deeply appreciated.
Thank you,
GUanhua
-------------- next part --------------
An HTML attachment was scrubbed...
2008 Apr 18
0
[LLVMdev] measuring the stack size
> Date: Thu, 17 Apr 2008 13:54:12 -0400
> From: "Jonathan S. Shapiro" <shap at eros-os.com>
>
> >
> > The GC infrastructure exposes this information in a framework suitable
> > for emitting metadata tables from a compiler plugin, if your interest
> > lies in that direction.
>
> That too, but my immediate interest was computing an upper bound
2008 Apr 18
0
[LLVMdev] measuring the stack size
I mean to compute the upper bound dynamically at run time, not
statically at compile time.
Is it possible to do so by LLVM? If so, how? by using
"llvm.frameaddress"? Is it precise?
Thanks,
GUan
Jonathan S. Shapiro wrote:
> On Fri, 2008-04-18 at 03:01 +0100, guan mailist wrote:
>
>
>> Is it possible to compute the upper bound of stack size in bits?
>>
2011 Apr 19
1
[LLVMdev] Fully funded University Ph.D. studentship in University of Teesside, UK
SCHOOL OF COMPUTING
University of Teesside
Fully funded University Ph.D. studentship (3 years) Ref: QinOCT11
Applications are invited for a Ph.D. student to work on program analysis
and
software verification or a closely related topic under the supervision of
Dr.
Shengchao Qin in the School of Computing in Teesside University.
Dr. Qin currently has a number of postdoc and Ph.D students in his